Trace number 4241429

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.1UNSAT 64.1161 64.1248

General information on the benchmark

NameDubois/Dubois-m1-s1/
Dubois-021.xml
MD5SUM20df171288238b3174eb6e57a3777db0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.003364
Satisfiable
(Un)Satisfiability was proved
Number of variables63
Number of constraints42
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":63}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":63}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":42}]
Number of extensional constraints42
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":42}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c SAT : Variables: 126 -- Clauses: 126
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: 63
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 42
0.00/0.00	c |                   Arity: 3..3  -- Ternary: 42
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 42  (nb tuples: 4..4) -- (shared: 37)
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             113            522            446            0              1              39   60   46   
0.00/0.00	c 20             175            729            618            0              4              25   45   35   
0.00/0.00	c 30             284            1113           935            0              5              55   60   52   
0.00/0.00	c 40             353            1355           1134           0              9              32   46   38   
0.00/0.00	c 50             434            1637           1360           0              11             46   60   45   
0.00/0.00	c 60             529            1938           1612           0              12             49   59   49   
0.00/0.00	c 70             599            2170           1823           0              15             22   29   22   
0.00/0.00	c 80             687            2454           2062           0              18             7   54   34    
0.00/0.00	c 90             790            2785           2335           0              22             19   58   44   
0.00/0.00	c 100            863            3022           2536           0              23             40   49   41   
0.00/0.00	c 101            904            3133           2605           0              24             41   41   20   
0.00/0.00	c 110            1001           3434           2852           0              26             53   59   51   
0.00/0.00	c 120            1081           3711           3072           0              28             45   58   47   
0.00/0.00	c 130            1176           4017           3326           0              31             45   56   47   
0.00/0.00	c 140            1286           4369           3605           0              34             43   62   46   
0.00/0.00	c 150            1338           4548           3754           0              36             27   41   32   
0.00/0.01	c 160            1429           4832           3982           0              39             44   59   46   
0.00/0.01	c 170            1530           5164           4252           0              42             49   59   51   
0.00/0.01	c 180            1613           5449           4484           0              46             45   53   46   
0.00/0.01	c 190            1708           5767           4760           0              48             29   47   38   
0.00/0.01	c 200            1780           6013           4970           0              50             14   44   30   
0.00/0.01	c 210            1855           6245           5147           0              52             21   59   27   
0.00/0.01	c 211            1917           6416           5262           0              53             62   62   31   
0.00/0.01	c 220            2009           6710           5498           0              55             52   59   51   
0.00/0.01	c 230            2115           7045           5779           0              58             57   58   52   
0.00/0.01	c 240            2205           7317           6003           0              60             52   62   51   
0.00/0.01	c 250            2314           7665           6285           0              64             54   59   52   
0.00/0.01	c 260            2419           8010           6574           0              67             46   58   49   
0.00/0.01	c 270            2534           8360           6879           0              69             48   61   51   
0.00/0.01	c 280            2649           8739           7201           0              71             47   58   48   
0.00/0.01	c 290            2735           9026           7451           0              73             35   58   42   
0.00/0.01	c 300            2830           9333           7711           0              76             44   58   50   
0.00/0.01	c 310            2922           9631           7962           0              78             49   54   47   
0.00/0.01	c 320            3046           10011          8291           0              81             43   58   49   
0.00/0.01	c 330            3181           10444          8660           0              83             42   61   49   
0.00/0.01	c 332            3215           10549          8740           0              84             32   32   21   
0.00/0.01	c 340            3315           10869          9006           0              87             29   58   46   
0.00/0.01	c 350            3437           11260          9340           0              89             42   58   47   
0.00/0.01	c 360            3504           11494          9540           0              91             34   58   45   
0.00/0.01	c 370            3587           11766          9779           0              92             38   48   39   
0.00/0.01	c 380            3660           11997          9968           0              95             32   48   37   
0.00/0.01	c 390            3760           12330          10235          0              98             52   58   51   
0.00/0.01	c 400            3861           12652          10515          0              102            39   52   44   
0.00/0.01	c 410            3978           13002          10803          0              105            36   61   45   
0.00/0.01	c 420            4078           13324          11081          0              108            40   58   46   
0.00/0.01	c 430            4192           13684          11397          0              109            43   56   47   
0.00/0.01	c 440            4288           13990          11641          0              111            53   61   52   
0.00/0.01	c 450            4388           14319          11910          0              114            49   57   48   
0.00/0.01	c 460            4462           14564          12120          0              116            34   49   39   
0.00/0.01	c 465            4546           14828          12327          0              118            47   57   45   
0.00/0.01	c 470            4638           15093          12536          0              121            52   57   46   
0.00/0.01	c 480            4747           15460          12856          0              123            43   57   47   
0.00/0.01	c 490            4847           15807          13167          0              125            30   57   43   
0.00/0.01	c 500            4948           16125          13425          0              128            26   57   34   
0.00/0.01	c 510            5037           16399          13641          0              131            56   61   53   
0.00/0.01	c 520            5159           16768          13952          0              134            53   58   52   
0.00/0.01	c 530            5266           17098          14221          0              136            52   61   52   
0.00/0.01	c 540            5375           17446          14525          0              139            52   58   50   
0.00/0.01	c 550            5515           17857          14899          0              142            57   61   53   
0.00/0.01	c 560            5620           18197          15188          0              144            51   58   51   
0.00/0.01	c 570            5725           18539          15486          0              145            39   58   47   
0.00/0.01	c 580            5818           18840          15749          0              148            37   54   43   
0.00/0.01	c 590            5891           19081          15946          0              151            39   49   41   
0.00/0.01	c 600            5945           19261          16100          0              152            31   45   33   
0.00/0.01	c 610            6038           19556          16339          0              155            52   58   51   
0.00/0.01	c 611            6096           19719          16446          0              156            58   58   29   
0.00/0.01	c 620            6198           20052          16730          0              161            27   45   37   
0.00/0.01	c 630            6295           20375          17005          0              162            49   58   50   
0.00/0.01	c 640            6399           20700          17267          0              165            50   58   51   
0.00/0.01	c 650            6469           20907          17441          0              167            36   61   42   
0.00/0.02	c 660            6611           21352          17828          0              170            31   60   49   
0.00/0.02	c 670            6710           21675          18107          0              171            48   58   49   
0.00/0.02	c 680            6775           21917          18317          0              172            39   56   43   
0.00/0.02	c 690            6853           22171          18548          0              174            29   47   33   
0.00/0.02	c 700            6966           22539          18860          0              177            45   58   49   
0.00/0.02	c 710            7055           22812          19084          0              180            45   58   48   
0.00/0.02	c 720            7165           23162          19383          0              183            41   58   50   
0.00/0.02	c 730            7260           23471          19655          0              185            44   58   46   
0.00/0.02	c 740            7389           23865          20005          0              188            43   60   48   
0.00/0.02	c 750            7460           24111          20225          0              189            30   58   35   
0.00/0.02	c 760            7637           24643          20704          0              191            54   58   52   
0.00/0.02	c 770            7762           25043          21062          0              196            47   58   50   
0.00/0.02	c 771            7823           25208          21166          0              197            61   61   30   
0.00/0.02	c 780            7959           25632          21559          0              199            54   58   51   
0.00/0.02	c 790            8073           25987          21863          0              201            46   61   52   
0.00/0.02	c 800            8189           26373          22211          0              204            36   58   49   
0.00/0.02	c 810            8293           26707          22507          0              206            40   54   43   
0.00/0.02	c 820            8377           26971          22745          0              207            25   38   29   
0.00/0.02	c 830            8473           27261          22992          0              211            47   58   50   
0.00/0.02	c 840            8591           27636          23307          0              215            38   58   49   
0.00/0.02	c 850            8727           28066          23680          0              219            40   58   51   
0.00/0.02	c 860            8839           28421          24001          0              220            36   58   46   
0.00/0.02	c 870            8926           28692          24220          0              223            22   58   30   
0.00/0.02	c 880            9039           29046          24526          0              226            46   54   47   
0.00/0.02	c 890            9154           29400          24830          0              231            31   58   50   
0.00/0.02	c 900            9233           29649          25041          0              233            43   61   47   
0.00/0.02	c 910            9335           29969          25312          0              237            34   49   42   
0.00/0.02	c 920            9451           30329          25616          0              239            43   58   49   
0.00/0.02	c 930            9565           30687          25926          0              242            38   58   46   
0.00/0.02	c 940            9662           31016          26217          0              245            40   54   44   
0.00/0.02	c 947            9723           31207          26376          0              246            37   49   38   
0.00/0.02	c 950            9783           31376          26493          0              248            55   58   42   
0.00/0.02	c 960            9907           31752          26837          0              249            50   58   51   
0.00/0.02	c 970            9992           32022          27076          0              252            36   57   45   
0.00/0.02	c 980            10091          32336          27329          0              256            43   54   47   
0.00/0.02	c 990            10242          32794          27729          0              260            43   58   48   
0.00/0.02	c 1000           10325          33069          27973          0              261            32   45   35   
0.00/0.02	c 1010           10365          33190          28080          0              262            19   31   22   
0.00/0.02	c 1020           10501          33633          28483          0              266            40   58   48   
0.00/0.02	c 1030           10644          34059          28845          0              270            30   60   50   
0.00/0.02	c 1040           10769          34451          29193          0              272            45   58   50   
0.00/0.02	c 1050           10923          34968          29653          0              275            36   58   46   
0.00/0.02	c 1060           11064          35420          30040          0              278            45   58   49   
0.00/0.02	c 1070           11160          35719          30299          0              281            37   58   43   
0.00/0.02	c 1080           11261          36037          30561          0              286            37   58   44   
0.00/0.02	c 1090           11384          36412          30901          0              287            45   58   51   
0.00/0.02	c 1100           11481          36721          31161          0              289            31   58   35   
0.00/0.02	c 1110           11587          37051          31446          0              291            48   58   51   
0.00/0.03	c 1120           11690          37418          31762          0              294            43   56   47   
0.00/0.03	c 1130           11785          37733          32038          0              296            36   49   37   
0.00/0.03	c 1140           11878          38020          32269          0              299            9   58   26    
0.00/0.03	c 1141           11936          38176          32369          0              300            58   58   29   
0.00/0.03	c 1150           12053          38594          32739          0              303            37   58   46   
0.00/0.03	c 1160           12149          38904          32996          0              305            54   58   51   
0.00/0.03	c 1170           12268          39303          33341          0              307            42   58   49   
0.00/0.03	c 1180           12351          39570          33566          0              311            34   41   34   
0.00/0.03	c 1190           12468          39969          33910          0              315            45   61   50   
0.00/0.03	c 1200           12562          40274          34173          0              316            41   54   45   
0.00/0.03	c 1210           12628          40474          34337          0              317            33   57   40   
0.00/0.03	c 1220           12738          40834          34652          0              320            48   58   50   
0.00/0.03	c 1230           12833          41144          34906          0              324            51   58   50   
0.00/0.03	c 1240           12907          41381          35099          0              327            36   58   43   
0.00/0.03	c 1250           13010          41714          35375          0              330            54   58   51   
0.00/0.03	c 1260           13109          42035          35645          0              333            48   58   50   
0.00/0.03	c 1270           13239          42456          35999          0              337            48   58   50   
0.00/0.03	c 1280           13333          42767          36268          0              339            39   54   41   
0.00/0.03	c 1290           13438          43093          36550          0              340            46   58   49   
0.00/0.03	c 1300           13489          43247          36687          0              341            23   42   27   
0.00/0.03	c 1310           13590          43575          36966          0              344            45   58   49   
0.00/0.03	c 1320           13700          43935          37272          0              346            35   54   42   
0.00/0.03	c 1330           13804          44290          37581          0              347            38   50   39   
0.00/0.03	c 1340           13918          44659          37893          0              349            27   58   34   
0.00/0.03	c 1350           14029          45018          38197          0              353            44   58   50   
0.00/0.03	c 1352           14093          45216          38338          0              356            53   57   36   
0.00/0.03	c 1360           14185          45508          38571          0              360            48   57   46   
0.00/0.03	c 1370           14301          45906          38910          0              362            45   57   48   
0.00/0.03	c 1380           14415          46258          39225          0              363            36   53   45   
0.00/0.03	c 1390           14515          46579          39489          0              365            47   57   49   
0.00/0.03	c 1400           14610          46893          39747          0              368            50   57   49   
0.00/0.03	c 1410           14680          47142          39959          0              371            21   36   27   
0.00/0.03	c 1420           14804          47527          40285          0              374            36   57   47   
0.00/0.03	c 1430           14944          47981          40666          0              377            53   57   51   
0.00/0.03	c 1440           15107          48498          41109          0              381            47   57   50   
0.00/0.03	c 1450           15196          48774          41335          0              384            36   57   42   
0.00/0.03	c 1460           15295          49079          41602          0              387            42   53   44   
0.00/0.03	c 1470           15382          49361          41844          0              390            37   53   42   
0.00/0.03	c 1480           15487          49694          42128          0              393            47   57   50   
0.00/0.03	c 1490           15562          49968          42363          0              395            36   57   42   
0.00/0.03	c 1500           15633          50203          42570          0              397            34   58   43   
0.00/0.03	c 1510           15699          50436          42778          0              398            22   30   24   
0.00/0.03	c 1520           15786          50722          43005          0              403            23   54   33   
0.00/0.03	c 1530           15900          51079          43316          0              405            35   58   46   
0.00/0.03	c 1540           15983          51351          43538          0              408            22   58   44   
0.00/0.03	c 1550           16109          51748          43887          0              410            20   58   48   
0.00/0.03	c 1560           16193          52021          44103          0              415            17   53   40   
0.00/0.03	c 1570           16265          52270          44312          0              418            35   45   35   
0.00/0.03	c 1580           16373          52624          44621          0              420            28   58   47   
0.00/0.03	c 1585           16454          52876          44824          0              423            49   58   46   
0.00/0.04	c 1590           16522          53102          45004          0              424            42   58   42   
0.00/0.04	c 1600           16621          53416          45256          0              428            51   61   51   
0.00/0.04	c 1610           16746          53813          45597          0              430            44   58   49   
0.00/0.04	c 1620           16828          54084          45842          0              432            32   43   34   
0.00/0.04	c 1630           16894          54319          46048          0              433            19   37   25   
0.00/0.04	c 1640           16986          54593          46279          0              435            52   61   50   
0.00/0.04	c 1650           17097          54930          46578          0              437            36   58   46   
0.00/0.04	c 1660           17220          55317          46925          0              439            49   58   48   
0.00/0.04	c 1670           17328          55662          47221          0              441            46   58   50   
0.00/0.04	c 1680           17455          56057          47566          0              444            53   57   51   
0.00/0.04	c 1690           17570          56421          47885          0              448            46   57   49   
0.00/0.04	c 1700           17659          56717          48141          0              450            43   55   45   
0.00/0.04	c 1710           17755          57025          48391          0              453            40   55   45   
0.00/0.04	c 1720           17832          57275          48604          0              454            44   58   46   
0.00/0.04	c 1730           17920          57558          48841          0              456            35   55   42   
0.00/0.04	c 1740           17998          57818          49069          0              458            31   38   32   
0.00/0.04	c 1750           18129          58225          49425          0              461            48   59   50   
0.00/0.04	c 1760           18233          58557          49697          0              464            57   57   51   
0.00/0.04	c 1770           18348          58916          50020          0              467            30   51   33   
0.00/0.04	c 1780           18440          59228          50283          0              470            39   60   47   
0.00/0.04	c 1790           18544          59560          50574          0              473            51   60   50   
0.00/0.04	c 1800           18628          59866          50837          0              475            36   49   39   
0.00/0.04	c 1810           18735          60208          51137          0              480            38   57   48   
0.00/0.04	c 1820           18853          60575          51453          0              483            44   57   47   
0.00/0.04	c 1830           18949          60904          51733          0              486            44   57   47   
0.00/0.04	c 1840           19038          61194          51981          0              488            36   57   42   
0.00/0.04	c 1841           19087          61335          52080          0              489            49   49   24   
0.00/0.04	c 1850           19157          61577          52295          0              492            27   41   33   
0.00/0.04	c 1860           19233          61822          52507          0              494            41   52   42   
0.00/0.04	c 1870           19348          62186          52820          0              499            35   53   45   
0.00/0.04	c 1880           19438          62500          53087          0              503            37   53   43   
0.00/0.04	c 1890           19564          62906          53443          0              507            44   57   48   
0.00/0.04	c 1900           19704          63370          53841          0              512            34   57   43   
0.00/0.04	c 1910           19820          63739          54154          0              515            48   57   49   
0.00/0.04	c 1920           19929          64103          54458          0              518            47   56   49   
0.00/0.04	c 1930           20039          64462          54758          0              521            53   60   51   
0.00/0.04	c 1940           20141          64793          55040          0              524            52   60   51   
0.00/0.04	c 1950           20233          65094          55303          0              526            43   57   47   
0.00/0.04	c 1960           20327          65393          55563          0              527            45   57   47   
0.00/0.04	c 1970           20420          65694          55828          0              528            38   57   45   
0.00/0.04	c 1980           20566          66154          56229          0              531            37   60   49   
0.00/0.04	c 1990           20709          66612          56627          0              534            41   57   48   
0.00/0.04	c 2000           20842          67012          56984          0              537            46   57   49   
0.00/0.04	c 2010           20922          67278          57218          0              538            31   53   39   
0.00/0.04	c 2020           21027          67601          57500          0              541            38   50   41   
0.00/0.04	c 2030           21153          67998          57850          0              543            46   57   49   
0.00/0.04	c 2040           21253          68311          58116          0              546            39   57   47   
0.00/0.04	c 2050           21412          68819          58590          0              549            30   57   46   
0.00/0.04	c 2060           21487          69056          58789          0              551            19   56   32   
0.00/0.04	c 2070           21571          69331          59028          0              554            35   57   43   
0.00/0.04	c 2080           21694          69738          59384          0              556            46   53   47   
0.00/0.05	conflict 15lvl : 50 bt31-5:0(51)X24928
0.00/0.05	c 2090           21915          70462          60053          0              560            36   57   48   
0.00/0.05	c 2100           22073          70971          60521          0              564            49   57   48   
0.00/0.05	c 2110           22175          71308          60827          0              567            29   50   35   
0.00/0.05	c 2120           22244          71546          61038          0              569            18   31   23   
0.00/0.05	c 2122           22296          71692          61143          0              570            51   51   34   
0.00/0.05	c 2130           22386          71977          61377          0              573            53   60   50   
0.00/0.05	c 2140           22479          72291          61632          0              577            50   56   48   
0.00/0.05	c 2150           22603          72685          61971          0              581            46   57   49   
0.00/0.05	c 2160           22721          73044          62290          0              582            52   57   51   
0.00/0.05	c 2170           22815          73362          62572          0              585            38   57   43   
0.00/0.05	c 2180           22910          73662          62832          0              588            40   57   45   
0.00/0.05	c 2190           23047          74117          63252          0              593            37   60   46   
0.00/0.05	c 2200           23118          74347          63449          0              595            28   42   32   
0.00/0.05	c 2210           23189          74559          63633          0              597            30   60   42   
0.00/0.05	c 2220           23307          74925          63944          0              601            47   57   48   
0.00/0.05	c 2230           23456          75372          64353          0              602            47   57   50   
0.00/0.05	c 2240           23611          75893          64824          0              605            40   55   47   
0.00/0.05	c 2250           23725          76248          65142          0              607            51   55   49   
0.00/0.05	c 2260           23831          76596          65446          0              609            43   55   46   
0.00/0.05	c 2270           23925          76898          65695          0              612            32   59   39   
0.00/0.05	c 2280           24058          77330          66073          0              615            45   55   47   
0.00/0.05	c 2290           24179          77733          66432          0              617            33   55   44   
0.00/0.05	c 2300           24288          78122          66773          0              620            40   55   45   
0.00/0.05	c 2310           24392          78459          67057          0              623            45   55   47   
0.00/0.05	c 2320           24483          78753          67294          0              626            37   55   42   
0.00/0.05	c 2330           24573          79035          67521          0              628            48   58   49   
0.00/0.05	c 2340           24731          79507          67932          0              633            55   59   51   
0.00/0.05	c 2350           24835          79846          68215          0              636            46   57   48   
0.00/0.05	c 2360           24926          80150          68472          0              637            42   53   44   
0.00/0.05	c 2370           25054          80563          68827          0              641            38   57   48   
0.00/0.05	c 2380           25124          80803          69035          0              643            27   38   30   
0.00/0.05	c 2390           25263          81250          69411          0              647            49   57   51   
0.00/0.05	c 2400           25402          81706          69813          0              650            52   57   50   
0.00/0.05	c 2410           25515          82078          70130          0              653            47   57   50   
0.00/0.05	c 2420           25597          82330          70338          0              655            47   60   49   
0.00/0.05	c 2430           25677          82603          70579          0              656            38   51   39   
0.00/0.05	c 2431           25719          82726          70671          0              657            42   42   21   
0.00/0.05	c 2440           25833          83099          70991          0              661            41   55   44   
0.00/0.05	c 2450           25939          83438          71275          0              665            32   55   44   
0.00/0.05	c 2460           26056          83827          71608          0              667            42   58   48   
0.00/0.05	c 2470           26194          84254          71979          0              669            45   55   48   
0.00/0.05	c 2480           26332          84688          72359          0              672            37   55   44   
0.00/0.05	c 2490           26475          85144          72757          0              677            35   55   47   
0.00/0.05	c 2500           26610          85618          73178          0              681            29   55   44   
0.00/0.05	c 2510           26713          85963          73471          0              684            43   55   46   
0.00/0.05	c 2520           26763          86134          73621          0              685            26   41   29   
0.00/0.06	c 2530           26895          86571          74007          0              688            38   58   47   
0.00/0.06	conflict 27lvl : 47 bt37-79:0(48)X30505
0.00/0.06	c 2540           27019          86939          74310          0              691            54   59   52   
0.00/0.06	c 2550           27132          87331          74656          0              694            45   60   49   
0.00/0.06	c 2560           27254          87741          75023          0              696            42   57   46   
0.00/0.06	c 2570           27344          88057          75277          0              701            50   57   49   
0.00/0.06	c 2580           27453          88408          75570          0              704            31   53   40   
0.00/0.06	c 2590           27532          88660          75781          0              706            39   53   40   
0.00/0.06	c 2600           27643          89035          76110          0              709            38   53   43   
0.00/0.06	c 2610           27724          89297          76335          0              711            29   49   37   
0.00/0.06	c 2620           27830          89627          76627          0              712            44   53   46   
0.00/0.06	c 2630           27922          89932          76892          0              714            44   56   45   
0.00/0.06	c 2640           28056          90368          77285          0              717            39   53   45   
0.00/0.06	c 2650           28176          90755          77618          0              721            30   57   47   
0.00/0.06	c 2660           28295          91151          77967          0              724            35   57   42   
0.00/0.06	c 2670           28425          91573          78334          0              727            44   57   47   
0.00/0.06	c 2680           28526          91900          78622          0              728            46   57   48   
0.00/0.06	c 2690           28626          92235          78911          0              730            48   58   48   
0.00/0.06	c 2700           28721          92541          79172          0              732            47   55   48   
0.00/0.06	c 2710           28846          92946          79529          0              735            43   55   47   
0.00/0.06	c 2720           28939          93252          79784          0              738            46   55   46   
0.00/0.06	c 2730           29057          93645          80124          0              740            45   55   47   
0.00/0.06	c 2740           29168          93997          80437          0              743            38   49   43   
0.00/0.06	c 2750           29259          94296          80689          0              746            49   58   48   
0.00/0.06	c 2760           29352          94605          80958          0              750            42   54   44   
0.00/0.06	c 2770           29441          94891          81207          0              752            42   55   44   
0.00/0.06	c 2771           29496          95042          81304          0              753            55   55   27   
0.00/0.06	c 2780           29589          95331          81535          0              757            42   55   44   
0.00/0.06	c 2790           29705          95702          81876          0              759            42   55   46   
0.00/0.06	c 2800           29838          96124          82251          0              763            42   51   43   
0.00/0.06	c 2810           29983          96585          82680          0              766            49   55   48   
0.00/0.06	c 2820           30108          96981          83048          0              768            30   54   44   
0.00/0.06	c 2830           30232          97385          83417          0              770            37   54   46   
0.00/0.06	c 2840           30329          97697          83688          0              772            46   54   46   
0.00/0.06	c 2850           30465          98129          84083          0              774            47   56   49   
0.00/0.06	c 2860           30575          98474          84389          0              776            41   54   46   
0.00/0.06	c 2870           30660          98754          84624          0              778            36   54   42   
0.00/0.06	c 2880           30778          99137          84942          0              782            46   54   47   
0.00/0.06	c 2890           30917          99567          85311          0              785            45   57   48   
0.00/0.06	c 2900           31025          99916          85609          0              787            40   54   46   
0.00/0.06	c 2910           31162          100360         86013          0              789            42   54   46   
0.00/0.06	c 2920           31271          100708         86309          0              791            43   54   47   
0.00/0.06	c 2930           31339          100925         86496          0              793            31   53   36   
0.00/0.06	c 2940           31439          101251         86781          0              796            17   54   32   
0.00/0.06	c 2950           31561          101657         87131          0              799            45   54   46   
0.00/0.06	c 2960           31671          101997         87424          0              803            38   50   41   
0.00/0.06	c 2970           31791          102377         87745          0              808            39   54   46   
0.00/0.07	c 2980           31924          102809         88125          0              810            33   54   43   
0.00/0.07	c 2990           32036          103163         88452          0              812            32   50   41   
0.00/0.07	c 3000           32138          103509         88760          0              816            29   54   37   
0.00/0.07	c 3010           32267          103927         89138          0              818            48   54   47   
0.00/0.07	c 3020           32386          104344         89498          0              823            35   54   43   
0.00/0.07	c 3030           32483          104685         89781          0              826            43   54   45   
0.00/0.07	c 3040           32593          105052         90108          0              829            39   54   45   
0.00/0.07	c 3050           32695          105379         90380          0              833            46   57   47   
0.00/0.07	c 3060           32770          105659         90635          0              834            29   41   32   
0.00/0.07	c 3070           32835          105888         90837          0              837            27   39   32   
0.00/0.07	c 3080           32927          106160         91058          0              840            17   59   26   
0.00/0.07	c 3090           33073          106596         91444          0              844            29   59   50   
0.00/0.07	c 3100           33190          106980         91766          0              847            50   54   48   
0.00/0.07	c 3110           33294          107327         92061          0              850            43   54   46   
0.00/0.07	c 3120           33400          107687         92381          0              852            41   54   43   
0.00/0.07	c 3130           33514          108049         92691          0              855            45   54   46   
0.00/0.07	c 3140           33632          108423         93011          0              857            46   54   47   
0.00/0.07	c 3142           33665          108528         93087          0              859            28   32   20   
0.00/0.07	c 3150           33737          108767         93299          0              861            26   46   32   
0.00/0.07	c 3160           33809          109011         93520          0              862            29   54   36   
0.00/0.07	c 3170           33926          109394         93849          0              865            38   54   45   
0.00/0.07	c 3180           34010          109671         94079          0              869            32   54   40   
0.00/0.07	c 3190           34114          110009         94367          0              871            48   54   47   
0.00/0.07	c 3200           34214          110342         94645          0              877            39   54   46   
0.00/0.07	c 3210           34298          110623         94890          0              880            31   50   42   
0.00/0.07	c 3220           34401          110964         95185          0              882            42   54   46   
0.00/0.07	c 3230           34520          111374         95546          0              884            36   54   42   
0.00/0.07	c 3240           34648          111808         95935          0              885            40   54   46   
0.00/0.07	c 3250           34771          112239         96331          0              888            32   54   45   
0.00/0.07	c 3260           34878          112604         96649          0              889            38   54   43   
0.00/0.07	c 3270           34969          112900         96904          0              891            44   54   45   
0.00/0.07	c 3280           35098          113352         97298          0              893            49   54   48   
0.00/0.07	c 3290           35212          113737         97653          0              898            29   44   37   
0.00/0.07	c 3300           35336          114154         98022          0              900            48   54   48   
0.00/0.07	c 3310           35420          114431         98268          0              902            35   50   40   
0.00/0.07	c 3320           35504          114707         98494          0              906            25   53   33   
0.00/0.07	c 3330           35641          115107         98861          0              907            40   59   50   
0.00/0.07	c 3340           35739          115421         99136          0              910            38   54   46   
0.00/0.07	c 3350           35827          115712         99392          0              912            36   50   37   
0.00/0.07	c 3360           35918          116005         99642          0              915            45   55   47   
0.00/0.07	c 3370           36029          116384         99971          0              918            35   53   42   
0.00/0.07	c 3380           36126          116707         100250         0              921            39   52   42   
0.00/0.07	c 3390           36271          117149         100633         0              926            48   57   47   
0.00/0.07	c 3400           36376          117493         100920         0              930            47   53   46   
0.00/0.07	c 3410           36496          117887         101267         0              932            34   56   46   
0.00/0.07	c 3420           36589          118213         101563         0              934            28   36   29   
0.00/0.08	c 3430           36703          118586         101890         0              936            41   53   44   
0.00/0.08	c 3440           36792          118883         102152         0              938            28   52   35   
0.00/0.08	c 3450           36897          119257         102483         0              941            39   55   43   
0.00/0.08	c 3460           37005          119603         102786         0              945            48   53   47   
0.00/0.08	c 3470           37174          120166         103296         0              947            49   53   47   
0.00/0.08	c 3480           37278          120504         103586         0              949            41   53   45   
0.00/0.08	c 3490           37399          120891         103916         0              951            34   56   43   
0.00/0.08	c 3500           37546          121388         104375         0              956            35   53   45   
0.00/0.08	c 3510           37672          121827         104756         0              960            40   56   44   
0.00/0.08	c 3520           37781          122211         105082         0              963            41   56   45   
0.00/0.08	c 3530           37876          122529         105352         0              965            43   54   44   
0.00/0.08	c 3540           38016          123019         105798         0              968            36   54   44   
0.00/0.08	c 3550           38165          123583         106320         0              971            31   54   40   
0.00/0.08	c 3551           38219          123730         106415         0              972            54   54   27   
0.00/0.08	c 3560           38351          124124         106763         0              974            48   57   47   
0.00/0.08	c 3570           38492          124623         107207         0              977            30   54   42   
0.00/0.08	c 3580           38557          124839         107393         0              980            20   26   22   
0.00/0.08	c 3590           38668          125207         107705         0              982            43   57   47   
0.00/0.08	c 3600           38766          125529         107979         0              985            39   54   45   
0.00/0.08	c 3610           38886          125930         108328         0              987            46   57   47   
0.00/0.08	c 3620           38992          126265         108609         0              991            45   54   47   
0.00/0.08	c 3630           39096          126609         108911         0              993            37   54   44   
0.00/0.08	c 3640           39209          126955         109201         0              996            40   58   46   
0.00/0.08	c 3650           39328          127343         109529         0              1002           37   54   46   
0.00/0.08	c 3660           39462          127774         109919         0              1005           40   57   48   
0.00/0.08	c 3670           39574          128142         110238         0              1009           40   50   42   
0.00/0.08	c 3680           39675          128464         110510         0              1012           49   54   46   
0.00/0.08	c 3690           39773          128818         110837         0              1013           34   54   42   
0.00/0.08	c 3700           39901          129236         111216         0              1017           49   54   47   
0.00/0.08	c 3710           40007          129569         111491         0              1020           40   57   47   
0.00/0.08	c 3720           40157          130062         111932         0              1023           37   54   44   
0.00/0.08	c 3730           40311          130557         112372         0              1027           44   54   47   
0.00/0.08	c 3740           40432          131002         112775         0              1030           39   57   44   
0.00/0.08	c 3750           40515          131276         113009         0              1033           33   50   40   
0.00/0.08	c 3760           40572          131472         113181         0              1035           23   48   32   
0.00/0.08	c 3770           40663          131786         113445         0              1038           47   54   46   
0.00/0.08	c 3780           40768          132132         113749         0              1041           45   50   42   
0.00/0.08	c 3790           40872          132481         114051         0              1043           42   57   46   
0.00/0.08	c 3800           40965          132809         114329         0              1047           27   54   41   
0.00/0.08	c 3810           41085          133238         114717         0              1049           39   53   43   
0.00/0.08	c 3820           41205          133638         115076         0              1050           39   53   45   
0.00/0.08	c 3830           41309          133998         115391         0              1051           37   53   44   
0.00/0.08	c 3840           41404          134309         115660         0              1054           42   57   46   
0.00/0.08	c 3850           41496          134617         115921         0              1056           40   54   44   
0.00/0.09	c 3860           41617          134975         116240         0              1058           50   58   51   
0.00/0.09	c 3870           41723          135317         116533         0              1060           41   54   45   
0.00/0.09	c 3880           41824          135648         116826         0              1063           31   49   34   
0.00/0.09	c 3890           41919          135978         117112         0              1065           44   57   45   
0.00/0.09	c 3900           42002          136255         117348         0              1067           44   54   46   
0.00/0.09	c 3910           42152          136750         117803         0              1070           34   57   47   
0.00/0.09	c 3920           42256          137094         118108         0              1074           42   54   46   
0.00/0.09	c 3930           42359          137424         118387         0              1077           42   57   46   
0.00/0.09	c 3940           42445          137735         118657         0              1079           36   53   41   
0.00/0.09	c 3950           42538          138055         118941         0              1082           31   53   38   
0.00/0.09	c 3960           42617          138301         119144         0              1084           24   53   30   
0.00/0.09	c 3970           42770          138787         119578         0              1087           40   53   46   
0.00/0.09	c 3980           42898          139203         119948         0              1090           42   54   47   
0.00/0.09	c 3990           43000          139531         120223         0              1092           44   54   47   
0.00/0.09	c 4000           43127          139964         120591         0              1094           49   54   48   
0.00/0.09	c 4001           43180          140120         120696         0              1095           53   53   26   
0.00/0.09	c 4010           43303          140548         121064         0              1099           41   54   46   
0.00/0.09	c 4020           43426          140975         121429         0              1103           43   54   47   
0.00/0.09	c 4030           43535          141326         121728         0              1107           38   54   44   
0.00/0.09	c 4040           43669          141747         122087         0              1110           49   54   48   
0.00/0.09	c 4050           43784          142149         122455         0              1112           39   54   44   
0.00/0.09	c 4060           43874          142445         122695         0              1116           38   54   43   
0.00/0.09	c 4070           43965          142753         122960         0              1118           44   54   46   
0.00/0.09	c 4080           44055          143068         123238         0              1120           37   50   39   
0.00/0.09	c 4090           44119          143306         123439         0              1123           25   30   25   
0.00/0.09	c 4100           44223          143656         123733         0              1126           46   57   47   
0.00/0.09	c 4110           44364          144118         124147         0              1128           37   54   43   
0.00/0.09	c 4120           44477          144512         124474         0              1131           32   54   45   
0.00/0.09	c 4130           44581          144869         124766         0              1135           43   54   47   
0.00/0.09	c 4140           44733          145382         125228         0              1138           38   54   44   
0.00/0.09	c 4150           44882          145887         125678         0              1140           40   54   45   
0.00/0.09	c 4160           45000          146292         126026         0              1143           40   54   45   
0.00/0.09	c 4170           45112          146656         126344         0              1146           41   54   45   
0.00/0.09	c 4180           45216          147007         126634         0              1150           42   54   43   
0.00/0.09	c 4190           45331          147365         126936         0              1154           54   54   49   
0.00/0.09	c 4200           45431          147691         127202         0              1158           12   58   21   
0.00/0.09	c 4210           45548          148078         127544         0              1162           46   54   47   
0.00/0.09	c 4220           45648          148466         127887         0              1164           37   50   40   
0.00/0.09	c 4230           45776          148886         128255         0              1167           39   57   47   
0.00/0.09	c 4240           45888          149245         128573         0              1169           33   54   44   
0.00/0.09	c 4250           45982          149556         128846         0              1173           35   54   40   
0.00/0.09	c 4260           46085          149899         129139         0              1175           46   57   48   
0.00/0.09	c 4270           46214          150325         129500         0              1178           45   54   46   
0.00/0.09	c 4280           46327          150698         129817         0              1182           50   54   47   
0.00/0.10	c 4290           46440          151109         130187         0              1186           37   57   45   
0.00/0.10	c 4300           46566          151525         130565         0              1188           47   54   46   
0.09/0.10	c 4310           46661          151846         130827         0              1190           20   58   24   
0.09/0.10	c 4320           46762          152166         131113         0              1191           49   54   47   
0.09/0.10	c 4330           46852          152477         131392         0              1193           33   54   43   
0.09/0.10	c 4340           46969          152866         131726         0              1196           38   54   44   
0.09/0.10	c 4350           47072          153288         132093         0              1199           39   54   41   
0.09/0.10	c 4360           47184          153657         132406         0              1201           44   53   44   
0.09/0.10	c 4370           47307          154071         132769         0              1203           42   53   44   
0.09/0.10	c 4380           47374          154298         132974         0              1204           24   45   32   
0.09/0.10	c 4390           47462          154565         133197         0              1207           28   57   47   
0.09/0.10	c 4400           47587          154926         133514         0              1211           29   58   44   
0.09/0.10	c 4410           47684          155250         133792         0              1214           40   54   44   
0.09/0.10	c 4420           47808          155673         134170         0              1217           38   53   45   
0.09/0.10	c 4430           47896          155978         134443         0              1219           35   48   38   
0.09/0.10	c 4440           47968          156220         134652         0              1221           26   48   34   
0.09/0.10	c 4450           48068          156541         134914         0              1224           46   56   48   
0.09/0.10	c 4460           48181          156944         135261         0              1226           30   49   39   
0.09/0.10	c 4470           48286          157335         135608         0              1229           36   52   39   
0.09/0.10	c 4480           48381          157642         135865         0              1232           42   49   42   
0.09/0.10	c 4490           48465          157916         136109         0              1234           34   49   36   
0.09/0.10	c 4493           48520          158084         136229         0              1237           36   53   34   
0.09/0.10	c 4500           48630          158446         136539         0              1241           32   53   42   
0.09/0.10	c 4510           48747          158828         136887         0              1245           31   53   42   
0.09/0.10	c 4520           48843          159205         137231         0              1247           24   47   32   
0.09/0.10	c 4530           49024          159730         137709         0              1249           58   58   52   
0.09/0.10	c 4540           49138          160134         138077         0              1252           41   56   45   
0.09/0.10	c 4550           49274          160576         138470         0              1256           52   53   48   
0.09/0.10	c 4560           49366          160871         138717         0              1259           30   53   35   
0.09/0.10	c 4570           49452          161165         138974         0              1260           31   49   37   
0.09/0.10	c 4580           49566          161544         139296         0              1264           37   53   44   
0.09/0.10	c 4590           49699          162009         139705         0              1267           32   52   44   
0.09/0.10	c 4600           49836          162461         140117         0              1272           33   53   45   
0.09/0.10	c 4610           49966          162897         140501         0              1274           49   53   46   
0.09/0.10	c 4620           50111          163372         140928         0              1278           47   53   46   
0.09/0.10	c 4630           50321          164004         141500         0              1280           38   58   50   
0.09/0.10	c 4640           50442          164459         141915         0              1283           35   58   46   
0.09/0.10	c 4650           50558          164816         142238         0              1286           35   57   49   
0.09/0.10	c 4660           50661          165157         142543         0              1288           51   58   48   
0.09/0.10	c 4670           50791          165620         142954         0              1291           39   55   45   
0.09/0.10	c 4680           50933          166114         143389         0              1293           51   55   48   
0.09/0.11	c 4690           51084          166630         143855         0              1294           37   55   45   
0.09/0.11	c 4700           51208          167044         144227         0              1298           36   55   46   
0.09/0.11	c 4710           51383          167628         144741         0              1301           55   55   50   
0.09/0.11	c 4720           51524          168133         145204         0              1302           31   55   41   
0.09/0.11	c 4730           51637          168507         145550         0              1304           38   55   45   
0.09/0.11	c 4740           51739          168869         145853         0              1307           49   55   47   
0.09/0.11	c 4750           51870          169284         146223         0              1309           46   57   48   
0.09/0.11	c 4760           52012          169762         146645         0              1312           39   55   45   
0.09/0.11	c 4770           52118          170110         146941         0              1315           42   55   43   
0.09/0.11	c 4780           52168          170264         147079         0              1316           26   41   30   
0.09/0.11	c 4790           52256          170554         147325         0              1317           42   55   45   
0.09/0.11	c 4800           52359          170897         147621         0              1321           47   55   47   
0.09/0.11	c 4810           52457          171245         147925         0              1323           38   51   41   
0.09/0.11	c 4820           52599          171700         148328         0              1326           42   51   44   
0.09/0.11	c 4830           52696          172028         148611         0              1327           35   47   40   
0.09/0.11	c 4840           52813          172405         148951         0              1330           34   51   40   
0.09/0.11	c 4850           52924          172772         149262         0              1335           37   55   44   
0.09/0.11	c 4860           53049          173191         149639         0              1339           33   51   44   
0.09/0.11	c 4870           53169          173591         149975         0              1342           44   51   45   
0.09/0.11	c 4880           53323          174110         150432         0              1345           42   51   45   
0.09/0.11	c 4890           53438          174501         150773         0              1348           26   51   42   
0.09/0.11	c 4900           53533          174806         151035         0              1350           36   51   43   
0.09/0.11	c 4910           53621          175106         151288         0              1355           34   49   41   
0.09/0.11	c 4920           53715          175417         151568         0              1357           27   49   39   
0.09/0.11	c 4930           53842          175834         151932         0              1360           33   49   41   
0.09/0.11	c 4940           53964          176233         152281         0              1363           28   49   39   
0.09/0.11	c 4950           54065          176580         152601         0              1364           36   49   41   
0.09/0.11	c 4960           54165          176920         152904         0              1366           37   49   40   
0.09/0.11	c 4970           54273          177290         153219         0              1370           36   49   42   
0.09/0.11	c 4980           54407          177761         153635         0              1372           34   49   40   
0.09/0.11	c 4990           54488          178042         153874         0              1375           28   49   36   
0.09/0.11	c 5035           54818          179342         155118         0              1377           27   49   42   
0.09/0.12	c 5631           59253          195336         170934         0              1385           10   56   44   
0.09/0.13	c 6286           64346          212848         187971         0              1392           26   57   51   
0.09/0.14	c 7006           68868          229395         203916         0              1398           26   58   45   
0.09/0.14	c 7798           74355          248619         222519         0              1403           30   57   50   
0.09/0.15	c 8669           79761          268163         241554         0              1409           20   58   46   
0.09/0.17	c 9627           86903          293244         265804         0              1417           23   57   51   
0.09/0.18	c 10680          93650          317761         289655         0              1420           17   58   50   
0.09/0.19	c 11838          102298         348146         319254         0              1426           11   57   50   
0.19/0.20	c 13111          109662         375251         345392         0              1431           24   58   49   
0.19/0.22	c 14511          118434         406877         376182         0              1437           11   58   43   
0.19/0.24	c 16051          132543         457405         425767         0              1444           11   58   47   
0.19/0.26	c 17745          144634         503703         470877         0              1448           19   58   50   
0.19/0.28	c 19608          156972         547479         513926         0              1456           15   58   46   
0.29/0.31	c 21657          172661         604628         569551         0              1464           20   57   46   
0.29/0.33	c 23910          185990         654339         617983         0              1469           13   57   44   
0.29/0.37	c 26388          206817         726847         688732         0              1474           15   57   48   
0.39/0.40	c 29113          226808         800048         760602         0              1483           14   57   49   
0.39/0.44	c 32110          251778         888161         847749         0              1488           16   56   47   
0.39/0.48	c 35406          278122         981183         939885         0              1497           15   54   44   
0.49/0.53	c 39031          305775         1076861        1034639        0              1503           14   56   45   
0.49/0.58	c 43018          341463         1206056        1160531        0              1512           16   56   47   
0.59/0.63	c 47403          373209         1319539        1272077        0              1519           10   56   44   
0.59/0.69	c 52226          409059         1449638        1398619        0              1528           13   55   44   
0.69/0.76	c 57531          448162         1589079        1535423        0              1537           10   54   44   
0.79/0.83	c 63366          489659         1735092        1679752        0              1547           12   57   44   
0.89/0.91	c 69784          543434         1927817        1869048        0              1555           11   56   46   
0.99/1.03	c 76843          618279         2190732        2125172        0              1560           13   56   48   
1.09/1.14	c 84607          682811         2420403        2350744        0              1568           13   55   46   
1.19/1.25	c 93147          754959         2672718        2598955        0              1576           11   56   46   
1.29/1.35	c 102541         812554         2873743        2798213        0              1585           15   56   42   
1.39/1.48	c 112874         901050         3187032        3108108        0              1596           13   56   46   
1.59/1.62	c 124240         982816         3489597        3405534        0              1606           15   56   45   
1.69/1.77	c 136742         1072619        3808701        3719979        0              1613           10   55   41   
1.89/1.94	c 150494         1178828        4183039        4088568        0              1624           8   55   45    
2.09/2.10	c 165621         1279007        4544223        4444123        0              1628           13   56   45   
2.29/2.32	c 182260         1414266        5014256        4904087        0              1636           11   56   47   
2.49/2.56	c 200562         1562659        5551425        5432864        0              1646           7   56   47    
2.79/2.81	c 220694         1721060        6125771        5996885        0              1660           8   56   46    
2.99/3.07	c 242839         1885479        6719586        6578707        0              1668           11   56   46   
2.99/3.07	conflict 7lvl : 8 bt8-47:0(7)X65515
3.29/3.35	c 267198         2062061        7344031        7194219        0              1676           9   56   45    
3.69/3.70	c 293992         2284943        8132264        7975924        0              1684           9   56   46    
3.99/4.08	c 323465         2522911        9002016        8825501        0              1693           10   56   46   
4.49/4.51	c 355885         2798593        9964359        9774006        0              1702           8   55   46    
4.89/4.97	c 391547         3092475        10998388       10783836       0              1711           7   56   46    
5.39/5.41	c 430775         3376382        11999094       11773987       0              1719           12   56   44   
5.89/5.93	c 473925         3703388        13190544       12949865       0              1727           9   56   46    
6.49/6.54	c 521390         4089254        14577629       14300677       0              1735           9   56   46    
7.09/7.16	c 573601         4483727        15988344       15674510       0              1748           13   56   46   
7.69/7.80	c 631033         4873827        17383003       17054602       0              1757           10   56   45   
8.49/8.57	c 694208         5368758        19150292       18801476       0              1765           11   56   46   
9.39/9.41	c 763700         5889422        21023741       20650666       0              1775           12   56   44   
10.19/10.23	c 840141         6404941        22864800       22468126       0              1787           7   55   42    
11.09/11.19	c 924226         6999880        25010299       24577197       0              1795           9   54   42    
12.19/12.24	c 1016719        7682041        27363450       26902157       0              1805           8   56   46    
13.49/13.53	c 1118461        8505178        30304316       29802514       0              1816           9   56   47    
14.79/14.82	c 1230377        9342839        33249134       32681724       0              1825           8   56   45    
16.09/16.18	c 1353484        10209407       36293598       35677288       0              1834           9   56   44    
17.89/17.98	c 1488901        11374443       40426597       39691399       0              1847           6   55   46    
19.79/19.84	c 1637859        12577351       44707999       43885771       0              1856           7   56   46    
21.89/21.93	c 1801712        13930667       49518185       48641643       0              1868           7   56   47    
24.29/24.38	c 1981950        15521598       55046119       54066140       0              1880           8   55   47    
26.69/26.71	c 2180211        17022537       60395210       59339305       0              1892           10   56   47   
28.99/29.05	c 2398298        18481425       65750512       64566596       0              1902           8   55   44    
31.79/31.81	c 2638193        20206685       71900035       70589596       0              1908           9   55   45    
34.59/34.62	c 2902077        21990684       78218642       76852947       0              1920           9   56   45    
38.08/38.14	c 3192349        24232364       86218027       84700653       0              1930           10   55   45   
41.89/41.95	c 3511648        26619472       94699331       93044695       0              1946           7   57   45    
45.68/45.72	c 3862876        28963695       103017210      101276633      0              1959           7   57   44    
49.49/49.52	c 4249226        31340911       111467966      109638753      0              1967           7   57   43    
54.38/54.40	c 4674211        34417065       122447904      120419252      0              1975           4   56   45    
57.29/57.33	conflict 4lvl : 15 bt15-35:0(11)X72197
58.88/58.98	 -> -35:X(11)c 5141694        37264772       132509657      130361317      1              1985           6   57   41    
60.18/60.21	conflict 5lvl : 27 bt27-97:0(28)X72423
63.79/63.85	conflict 7lvl : 34 bt34-97:0(33)X72431
64.08/64.12	c restarts              : 589         
64.08/64.12	c conflicts             : 5581445      (87059 /sec)
64.08/64.12	c decisions             : 40478969     (631391 /sec)
64.08/64.12	c propagations          : 141497561   (2207078 /sec)
64.08/64.12	c root propagations     : 0           
64.08/64.12	c filter calls          : 144108419      (2247803 /sec)
64.08/64.12	c useless filter calls  : 81171620       (56 %)
64.08/64.12	c
64.08/64.12	c clauses               : 2111
64.08/64.12	c SAT propagations      : 47979
64.08/64.12	c SAT conflicts         : 11442 (6 learnts)
64.08/64.12	c Memory used           : 30.87 MB
64.08/64.12	c CPU time              : 64.1107 s
64.08/64.12	
64.08/64.12	s UNSATISFIABLE

Verifier Data


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-4241429-1500631126/watcher-4241429-1500631126 -o /tmp/evaluation-result-4241429-1500631126/solver-4241429-1500631126 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4007 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241429-1500631126.xml 

pid=5733
running on 4 cores: 1,3,5,7

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.07 2.05 2.05 3/186 5736
/proc/meminfo: memFree=31810932/32770624 swapFree=6264/17036
[pid=5736] ppid=5733 vsize=31480 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 1047 0 0 0 0 0 0 0 20 0 1 0 16389138 32235520 831 33554432000 4194304 5970956 140728359927600 140728359924248 139685521841125 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7870 831 724 434 0 1234 0

[startup+0.100176 s]
/proc/loadavg: 2.07 2.05 2.05 3/186 5736
/proc/meminfo: memFree=31810932/32770624 swapFree=6264/17036
[pid=5736] ppid=5733 vsize=31608 CPUtime=0.09 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 1118 0 0 0 9 0 0 0 20 0 1 0 16389138 32366592 952 33554432000 4194304 5970956 140728359927600 140728359924936 5328066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 952 770 434 0 1266 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31608

[startup+0.200271 s]
/proc/loadavg: 2.07 2.05 2.05 3/186 5736
/proc/meminfo: memFree=31810932/32770624 swapFree=6264/17036
[pid=5736] ppid=5733 vsize=31608 CPUtime=0.19 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 1134 0 0 0 19 0 0 0 20 0 1 0 16389138 32366592 952 33554432000 4194304 5970956 140728359927600 140728359924936 5328057 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 952 770 434 0 1266 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31608

[startup+0.300251 s]
/proc/loadavg: 2.07 2.05 2.05 3/186 5736
/proc/meminfo: memFree=31810932/32770624 swapFree=6264/17036
[pid=5736] ppid=5733 vsize=31608 CPUtime=0.29 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 1139 0 0 0 29 0 0 0 20 0 1 0 16389138 32366592 952 33554432000 4194304 5970956 140728359927600 140728359924936 5337513 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 952 770 434 0 1266 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31608

[startup+0.700221 s]
/proc/loadavg: 2.07 2.05 2.05 3/186 5736
/proc/meminfo: memFree=31810932/32770624 swapFree=6264/17036
[pid=5736] ppid=5733 vsize=31608 CPUtime=0.69 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 1143 0 0 0 69 0 0 0 20 0 1 0 16389138 32366592 952 33554432000 4194304 5970956 140728359927600 140728359924936 5273355 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 952 770 434 0 1266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31608

[startup+1.50022 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 5737
/proc/meminfo: memFree=31810140/32770624 swapFree=6264/17068
[pid=5736] ppid=5733 vsize=31608 CPUtime=1.49 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 1147 0 0 0 149 0 0 0 20 0 1 0 16389138 32366592 952 33554432000 4194304 5970956 140728359927600 140728359924936 5322042 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 952 770 434 0 1266 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31608

[startup+3.10022 s]
/proc/loadavg: 1.98 2.03 2.04 3/187 5737
/proc/meminfo: memFree=31809768/32770624 swapFree=6264/17068
[pid=5736] ppid=5733 vsize=31608 CPUtime=3.09 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 1302 0 0 0 309 0 0 0 20 0 1 0 16389138 32366592 987 33554432000 4194304 5970956 140728359927600 140728359925032 5337509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 987 770 434 0 1266 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31608

[startup+6.30022 s]
/proc/loadavg: 1.98 2.03 2.04 3/187 5737
/proc/meminfo: memFree=31809752/32770624 swapFree=6264/17076
[pid=5736] ppid=5733 vsize=31608 CPUtime=6.29 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 1462 0 0 0 629 0 0 0 20 0 1 0 16389138 32366592 989 33554432000 4194304 5970956 140728359927600 140728359924936 4933129 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 989 770 434 0 1266 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31608

[startup+12.7002 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5737
/proc/meminfo: memFree=31809380/32770624 swapFree=6264/17084
[pid=5736] ppid=5733 vsize=31608 CPUtime=12.69 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 1627 0 0 0 1269 0 0 0 20 0 1 0 16389138 32366592 993 33554432000 4194304 5970956 140728359927600 140728359924936 4934978 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 993 770 434 0 1266 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31608

[startup+25.5003 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5737
/proc/meminfo: memFree=31809256/32770624 swapFree=6264/17100
[pid=5736] ppid=5733 vsize=31608 CPUtime=25.49 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 1957 0 0 0 2549 0 0 0 20 0 1 0 16389138 32366592 998 33554432000 4194304 5970956 140728359927600 140728359924936 5322024 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 998 770 434 0 1266 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31608

[startup+51.1003 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5737
/proc/meminfo: memFree=31809380/32770624 swapFree=6264/17120
[pid=5736] ppid=5733 vsize=31608 CPUtime=51.08 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 2136 0 0 0 5108 0 0 0 20 0 1 0 16389138 32366592 1003 33554432000 4194304 5970956 140728359927600 140728359924936 5327736 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 1003 770 434 0 1266 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31608

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

[startup+51.2003 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5737
/proc/meminfo: memFree=31809380/32770624 swapFree=6264/17120
[pid=5736] ppid=5733 vsize=31608 CPUtime=51.18 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 2136 0 0 0 5118 0 0 0 20 0 1 0 16389138 32366592 1003 33554432000 4194304 5970956 140728359927600 140728359924936 4934432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 1003 770 434 0 1266 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 31608

[startup+57.6002 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5737
/proc/meminfo: memFree=31809380/32770624 swapFree=6264/17132
[pid=5736] ppid=5733 vsize=31608 CPUtime=57.58 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 2136 0 0 0 5758 0 0 0 20 0 1 0 16389138 32366592 1003 33554432000 4194304 5970956 140728359927600 140728359925032 5327383 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 1003 770 434 0 1266 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 31608

[startup+60.8002 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5738
/proc/meminfo: memFree=31809008/32770624 swapFree=6264/17156
[pid=5736] ppid=5733 vsize=31608 CPUtime=60.78 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 2137 0 0 0 6078 0 0 0 20 0 1 0 16389138 32366592 1003 33554432000 4194304 5970956 140728359927600 140728359925032 4934299 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 1003 770 434 0 1266 0
Current children cumulated CPU time (s) 60.78
Current children cumulated vsize (KiB) 31608

[startup+62.4002 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5738
/proc/meminfo: memFree=31809008/32770624 swapFree=6264/17156
[pid=5736] ppid=5733 vsize=31608 CPUtime=62.38 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 2137 0 0 0 6238 0 0 0 20 0 1 0 16389138 32366592 1003 33554432000 4194304 5970956 140728359927600 140728359925032 5325224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 1003 770 434 0 1266 0
Current children cumulated CPU time (s) 62.38
Current children cumulated vsize (KiB) 31608

[startup+63.2002 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5738
/proc/meminfo: memFree=31809008/32770624 swapFree=6264/17156
[pid=5736] ppid=5733 vsize=31608 CPUtime=63.18 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 2137 0 0 0 6318 0 0 0 20 0 1 0 16389138 32366592 1003 33554432000 4194304 5970956 140728359927600 140728359925032 4934778 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 1003 770 434 0 1266 0
Current children cumulated CPU time (s) 63.18
Current children cumulated vsize (KiB) 31608

[startup+63.6002 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5738
/proc/meminfo: memFree=31809008/32770624 swapFree=6264/17156
[pid=5736] ppid=5733 vsize=31608 CPUtime=63.58 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 2137 0 0 0 6358 0 0 0 20 0 1 0 16389138 32366592 1003 33554432000 4194304 5970956 140728359927600 140728359925032 5337505 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 1003 770 434 0 1266 0
Current children cumulated CPU time (s) 63.58
Current children cumulated vsize (KiB) 31608

[startup+64.0002 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5738
/proc/meminfo: memFree=31809008/32770624 swapFree=6264/17156
[pid=5736] ppid=5733 vsize=31608 CPUtime=63.98 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 2137 0 0 0 6398 0 0 0 20 0 1 0 16389138 32366592 1003 33554432000 4194304 5970956 140728359927600 140728359925032 5239872 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 1003 770 434 0 1266 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 31608

[startup+64.1002 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5738
/proc/meminfo: memFree=31809008/32770624 swapFree=6264/17156
[pid=5736] ppid=5733 vsize=31608 CPUtime=64.08 cores=1,3,5,7
/proc/5736/stat : 5736 (cosoco) R 5733 5736 3975 0 -1 4202496 2137 0 0 0 6408 0 0 0 20 0 1 0 16389138 32366592 1003 33554432000 4194304 5970956 140728359927600 140728359925032 4934781 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 21172224 140728359929020 140728359929155 140728359929155 140728359931854 0
/proc/5736/statm: 7902 1003 770 434 0 1266 0
Current children cumulated CPU time (s) 64.08
Current children cumulated vsize (KiB) 31608

Child status: 0
Real time (s): 64.1248
CPU time (s): 64.1161
CPU user time (s): 64.1111
CPU system time (s): 0.004999
CPU usage (%): 99.9864
Max. virtual memory (cumulated for all children) (KiB): 31608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.1111
system time used= 0.004999
maximum resident set size= 4104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2177
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= 12
involuntary context switches= 3223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.177095 second user time and 0.225632 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-21 11:58:46
IDJOB=4241429
IDBENCH=126855
IDSOLVER=2621
FILE ID=node131/4241429-1500631126
RUNJOBID= node131-1500623778-4007
PBS_JOBID= 20623002
Free space on /tmp= 61992 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-021.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241429-1500631126/watcher-4241429-1500631126 -o /tmp/evaluation-result-4241429-1500631126/solver-4241429-1500631126 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4007 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241429-1500631126.xml

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

MD5SUM BENCH= 20df171288238b3174eb6e57a3777db0
RANDOM SEED=1398630821

node131.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	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31811748 kB
MemAvailable:   31841204 kB
Buffers:           95140 kB
Cached:           208236 kB
SwapCached:            0 kB
Active:           447820 kB
Inactive:          80120 kB
Active(anon):     173284 kB
Inactive(anon):    63084 kB
Active(file):     274536 kB
Inactive(file):    17036 kB
Unevictable:        6264 kB
Mlocked:            6264 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2332 kB
Writeback:             0 kB
AnonPages:        232916 kB
Mapped:            34424 kB
Shmem:              8852 kB
Slab:             132808 kB
SReclaimable:     107440 kB
SUnreclaim:        25368 kB
KernelStack:        3360 kB
PageTables:         5552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61988 MiB
End job on node131 at 2017-07-21 11:59:50