Trace number 4241957

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1SAT 29.7382 29.7447

General information on the benchmark

NameMarketSplit/MarketSplit-m1-gp/
MarketSplit-07.xml
MD5SUM36a2ff8d03acaab45f9eaaf5db6acf0d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.27421
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints4
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":30}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":2},{"degree":4,"count":28}]
Minimum constraint arity29
Maximum constraint arity30
Distribution of constraint arities[{"arity":29,"count":2},{"arity":30,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c SAT : Variables: 60 -- Clauses: 60
0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.0 --  
0.00/0.00	c
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 30
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 4
0.00/0.00	c |                   Arity: 29..30
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Sum: 4
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c 10             43             216            190            0              8              17   23   18   
0.00/0.00	c 20             92             452            387            0              13             16   25   20   
0.00/0.01	c 30             141            694            586            0              22             16   26   19   
0.00/0.01	c 40             201            981            808            0              28             15   26   20   
0.00/0.01	c 50             251            1229           991            0              30             19   26   21   
0.00/0.01	c 60             306            1490           1225           0              35             15   26   19   
0.00/0.01	c 70             357            1746           1423           0              40             18   25   20   
0.00/0.01	c 80             408            2004           1631           0              42             18   23   19   
0.00/0.01	c 90             460            2256           1844           0              51             16   24   18   
0.00/0.01	c 100            506            2497           2024           0              56             17   25   20   
0.00/0.01	c 101            524            2573           2061           0              57             18   18   9    
0.00/0.01	c 110            562            2765           2225           0              61             17   24   18   
0.00/0.01	c 120            595            2930           2384           0              71             12   24   17   
0.00/0.01	c 130            642            3160           2565           0              75             19   25   19   
0.00/0.01	c 140            688            3376           2732           0              80             21   26   21   
0.00/0.02	c 150            778            3769           3021           0              86             23   28   22   
0.00/0.02	c 160            832            4027           3205           0              89             21   25   21   
0.00/0.02	c 170            882            4252           3399           0              97             14   25   19   
0.00/0.02	c 180            935            4495           3598           0              101            16   26   20   
0.00/0.02	c 190            994            4760           3821           0              106            15   26   20   
0.00/0.02	c 200            1036           4959           3985           0              111            16   26   20   
0.00/0.02	c 210            1068           5111           4170           0              112            14   23   16   
0.00/0.02	c 211            1084           5178           4205           0              113            16   16   8    
0.00/0.02	c 220            1135           5405           4416           0              120            13   26   17   
0.00/0.02	c 230            1183           5634           4620           0              121            19   24   20   
0.00/0.02	c 240            1234           5869           4828           0              123            17   25   19   
0.00/0.02	c 250            1279           6079           5016           0              127            15   24   19   
0.00/0.02	c 260            1322           6290           5203           0              131            14   25   18   
0.00/0.03	c 270            1376           6543           5420           0              135            13   25   19   
0.00/0.03	c 280            1424           6771           5599           0              138            20   26   21   
0.00/0.03	c 290            1470           6998           5788           0              144            12   26   19   
0.00/0.03	c 300            1518           7249           6014           0              149            11   25   18   
0.00/0.03	c 310            1572           7527           6207           0              153            20   26   21   
0.00/0.03	c 320            1618           7756           6382           0              159            16   26   20   
0.00/0.03	c 330            1676           8042           6589           0              164            21   27   21   
0.00/0.03	c 332            1700           8146           6640           0              166            20   23   14   
0.00/0.03	c 340            1751           8391           6819           0              170            16   27   21   
0.00/0.03	c 350            1792           8599           6970           0              173            18   26   20   
0.00/0.03	c 360            1851           8887           7189           0              177            21   25   21   
0.00/0.03	c 370            1890           9078           7357           0              185            13   25   18   
0.00/0.03	c 380            1942           9321           7552           0              189            20   24   20   
0.00/0.03	c 390            1990           9550           7738           0              194            19   25   20   
0.00/0.04	c 400            2042           9797           7944           0              200            17   24   18   
0.00/0.04	c 410            2083           10003          8132           0              208            15   22   17   
0.00/0.04	c 420            2133           10239          8334           0              214            13   24   18   
0.00/0.04	c 430            2183           10488          8542           0              219            18   23   18   
0.00/0.04	c 440            2235           10735          8755           0              225            13   25   18   
0.00/0.04	c 450            2279           10957          8950           0              229            17   24   18   
0.00/0.04	c 460            2329           11203          9151           0              233            15   25   19   
0.00/0.04	c 465            2364           11364          9269           0              235            19   24   18   
0.00/0.04	c 470            2403           11555          9392           0              239            20   25   19   
0.00/0.04	c 480            2448           11792          9582           0              242            17   24   19   
0.00/0.04	c 490            2504           12066          9801           0              248            15   27   20   
0.00/0.04	c 500            2557           12320          10012          0              251            12   26   20   
0.00/0.04	c 510            2615           12591          10235          0              256            13   26   20   
0.00/0.05	c 520            2662           12813          10424          0              259            14   26   20   
0.00/0.05	c 530            2712           13050          10601          0              263            22   26   21   
0.00/0.05	c 540            2760           13304          10782          0              266            19   25   20   
0.00/0.05	c 550            2801           13493          10962          0              269            14   25   19   
0.00/0.05	c 560            2865           13807          11206          0              273            16   25   19   
0.00/0.05	c 570            2927           14109          11443          0              275            19   26   20   
0.00/0.05	c 580            2976           14340          11640          0              283            15   25   19   
0.00/0.05	c 590            3026           14586          11836          0              285            17   24   19   
0.00/0.05	c 600            3076           14835          12059          0              286            14   24   18   
0.00/0.05	c 610            3120           15060          12245          0              288            18   23   19   
0.00/0.05	c 611            3142           15152          12283          0              289            22   22   11   
0.00/0.05	c 620            3174           15310          12431          0              290            16   24   18   
0.00/0.05	c 630            3210           15490          12618          0              291            15   25   18   
0.00/0.05	c 640            3260           15732          12807          0              296            15   25   19   
0.00/0.06	c 650            3302           15949          13008          0              304            15   23   17   
0.00/0.06	c 660            3355           16201          13216          0              310            15   25   19   
0.00/0.06	c 670            3416           16500          13448          0              314            18   25   20   
0.00/0.06	c 680            3467           16757          13670          0              318            17   24   20   
0.00/0.06	c 690            3520           17029          13901          0              320            16   24   19   
0.00/0.06	c 700            3556           17208          14099          0              321            14   25   17   
0.00/0.06	c 710            3607           17458          14302          0              325            13   24   18   
0.00/0.06	c 720            3653           17695          14500          0              332            17   25   18   
0.00/0.06	c 730            3693           17884          14679          0              333            16   26   19   
0.00/0.06	c 740            3734           18086          14860          0              335            19   24   19   
0.00/0.06	c 750            3779           18312          15049          0              341            16   25   19   
0.00/0.06	c 760            3832           18565          15264          0              345            17   22   18   
0.00/0.07	c 770            3896           18865          15503          0              354            13   27   20   
0.00/0.07	c 771            3908           18918          15535          0              355            12   12   6    
0.00/0.07	c 780            3960           19157          15718          0              356            20   27   22   
0.00/0.07	c 790            3995           19326          15881          0              363            15   26   18   
0.00/0.07	c 800            4037           19528          16066          0              371            14   24   17   
0.00/0.07	c 810            4098           19831          16288          0              374            20   26   21   
0.00/0.07	c 820            4168           20160          16541          0              379            20   27   21   
0.00/0.07	c 830            4236           20469          16791          0              386            12   25   20   
0.00/0.07	c 840            4304           20792          17057          0              391            15   26   19   
0.00/0.07	c 850            4354           21022          17274          0              393            15   25   18   
0.00/0.07	c 860            4403           21265          17458          0              396            19   26   20   
0.00/0.07	c 870            4453           21499          17675          0              403            12   25   18   
0.00/0.07	c 880            4503           21743          17864          0              406            22   26   21   
0.00/0.07	c 890            4557           22008          18069          0              410            19   25   20   
0.00/0.07	c 900            4609           22259          18273          0              415            18   26   20   
0.00/0.08	c 910            4678           22593          18530          0              421            14   26   20   
0.00/0.08	c 920            4731           22863          18733          0              423            19   26   21   
0.00/0.08	c 930            4778           23089          18920          0              427            19   26   19   
0.00/0.08	c 940            4827           23319          19106          0              432            17   25   20   
0.00/0.08	c 947            4866           23508          19250          0              434            19   25   18   
0.00/0.08	c 950            4895           23640          19334          0              436            14   27   16   
0.00/0.08	c 960            4949           23881          19529          0              439            21   25   21   
0.00/0.08	c 970            5002           24132          19731          0              442            18   25   20   
0.00/0.08	c 980            5052           24371          19952          0              448            15   25   18   
0.00/0.08	c 990            5096           24586          20149          0              450            15   24   18   
0.00/0.08	c 1000           5142           24796          20333          0              456            20   25   20   
0.00/0.08	c 1010           5191           25018          20531          0              462            15   25   18   
0.00/0.08	c 1020           5247           25279          20759          0              467            17   24   18   
0.00/0.08	c 1030           5291           25493          20926          0              473            17   25   19   
0.00/0.08	c 1040           5347           25759          21139          0              478            13   26   19   
0.00/0.09	c 1050           5392           25979          21339          0              484            18   22   18   
0.00/0.09	c 1060           5450           26256          21565          0              490            18   24   19   
0.00/0.09	c 1070           5507           26525          21790          0              496            16   26   19   
0.00/0.09	c 1080           5569           26822          22030          0              500            19   23   19   
0.00/0.09	c 1090           5619           27072          22224          0              506            14   26   19   
0.00/0.09	c 1100           5667           27305          22435          0              507            15   26   18   
0.00/0.09	c 1110           5724           27564          22645          0              511            15   26   20   
0.00/0.09	c 1120           5765           27769          22836          0              512            15   25   18   
0.00/0.09	c 1130           5809           27989          23021          0              515            12   25   19   
0.00/0.09	c 1140           5864           28261          23229          0              521            19   26   20   
0.00/0.09	c 1141           5886           28355          23269          0              522            22   22   11   
0.00/0.09	c 1150           5941           28625          23478          0              528            15   26   19   
0.00/0.09	c 1160           5998           28893          23671          0              532            20   25   21   
0.00/0.09	c 1170           6051           29143          23874          0              538            20   24   19   
0.00/0.09	c 1180           6092           29343          24049          0              541            16   24   19   
0.00/0.10	c 1190           6159           29678          24298          0              547            14   27   20   
0.09/0.10	c 1200           6200           29864          24479          0              549            15   26   19   
0.09/0.10	c 1210           6237           30033          24635          0              553            15   26   19   
0.09/0.10	c 1220           6285           30267          24814          0              560            15   25   19   
0.09/0.10	c 1230           6325           30451          24968          0              567            17   25   20   
0.09/0.10	c 1240           6374           30672          25152          0              569            18   25   20   
0.09/0.10	c 1250           6419           30887          25367          0              571            15   25   17   
0.09/0.10	c 1260           6481           31165          25592          0              580            17   25   19   
0.09/0.10	c 1270           6520           31366          25771          0              581            17   24   19   
0.09/0.10	c 1280           6578           31638          26016          0              586            12   24   18   
0.09/0.10	c 1290           6633           31900          26248          0              593            13   26   18   
0.09/0.10	c 1300           6675           32103          26430          0              601            15   25   18   
0.09/0.10	c 1310           6721           32321          26608          0              605            14   25   20   
0.09/0.10	c 1320           6778           32588          26813          0              608            20   25   20   
0.09/0.10	c 1330           6849           32915          27077          0              613            12   26   20   
0.09/0.10	c 1340           6896           33146          27275          0              618            13   25   18   
0.09/0.11	c 1350           6958           33445          27510          0              621            18   27   20   
0.09/0.11	c 1352           6985           33562          27571          0              623            14   26   13   
0.09/0.11	c 1360           7014           33709          27722          0              624            15   22   16   
0.09/0.11	c 1370           7058           33925          27923          0              625            15   26   18   
0.09/0.11	c 1380           7110           34189          28138          0              626            16   26   20   
0.09/0.11	c 1390           7163           34459          28352          0              632            16   26   20   
0.09/0.11	c 1400           7215           34719          28552          0              635            20   26   21   
0.09/0.11	c 1410           7264           34960          28751          0              636            17   26   20   
0.09/0.11	c 1420           7307           35186          28929          0              642            16   25   19   
0.09/0.11	c 1430           7355           35410          29103          0              645            21   26   21   
0.09/0.11	c 1440           7396           35610          29260          0              651            17   26   20   
0.09/0.11	c 1450           7449           35862          29463          0              658            14   25   19   
0.09/0.11	c 1460           7501           36109          29663          0              662            19   25   20   
0.09/0.11	c 1470           7546           36322          29843          0              671            15   25   19   
0.09/0.11	c 1480           7587           36531          30034          0              674            14   24   18   
0.09/0.11	c 1490           7654           36838          30313          0              679            12   24   19   
0.09/0.11	c 1500           7711           37113          30548          0              684            12   24   18   
0.09/0.11	c 1510           7752           37312          30739          0              687            16   25   19   
0.09/0.12	c 1520           7796           37506          30939          0              692            14   25   18   
0.09/0.12	c 1530           7853           37759          31155          0              695            19   26   20   
0.09/0.12	c 1540           7900           37987          31371          0              701            12   24   17   
0.09/0.12	c 1550           7960           38281          31629          0              705            12   27   19   
0.09/0.12	c 1560           8010           38511          31841          0              711            11   25   18   
0.09/0.12	c 1570           8079           38875          32108          0              714            17   26   20   
0.09/0.12	c 1580           8120           39068          32276          0              721            15   26   19   
0.09/0.12	c 1585           8148           39196          32375          0              722            20   24   18   
0.09/0.12	c 1590           8174           39316          32466          0              727            18   22   16   
0.09/0.12	c 1600           8229           39572          32684          0              734            12   26   18   
0.09/0.12	c 1610           8274           39797          32889          0              739            11   23   17   
0.09/0.12	c 1620           8316           40005          33040          0              745            17   24   19   
0.09/0.12	c 1630           8357           40217          33240          0              748            12   22   15   
0.09/0.12	c 1640           8396           40414          33431          0              754            15   24   18   
0.09/0.12	c 1650           8430           40589          33620          0              764            11   23   15   
0.09/0.12	c 1660           8469           40784          33818          0              771            13   23   16   
0.09/0.12	c 1670           8531           41069          34053          0              776            19   24   19   
0.09/0.12	c 1680           8573           41278          34238          0              780            15   25   19   
0.09/0.13	c 1690           8630           41549          34462          0              783            18   25   20   
0.09/0.13	c 1700           8696           41856          34716          0              789            13   26   20   
0.09/0.13	c 1710           8740           42069          34904          0              793            12   25   19   
0.09/0.13	c 1720           8787           42296          35097          0              796            19   24   19   
0.09/0.13	c 1730           8845           42561          35312          0              799            14   25   20   
0.09/0.13	c 1740           8908           42848          35560          0              804            15   25   20   
0.09/0.13	c 1750           8949           43044          35764          0              809            16   22   17   
0.09/0.13	c 1760           8989           43243          35964          0              810            14   23   17   
0.09/0.13	c 1770           9043           43489          36175          0              817            15   23   19   
0.09/0.13	c 1780           9087           43688          36347          0              825            12   26   18   
0.09/0.13	c 1790           9132           43897          36546          0              826            17   24   19   
0.09/0.13	c 1800           9170           44071          36710          0              832            12   24   18   
0.09/0.13	c 1810           9212           44271          36874          0              835            17   24   19   
0.09/0.13	c 1820           9251           44453          37060          0              838            14   24   18   
0.09/0.13	c 1830           9295           44665          37260          0              843            12   25   17   
0.09/0.13	c 1840           9356           44945          37480          0              845            21   25   21   
0.09/0.13	c 1841           9381           45048          37534          0              846            25   25   12   
0.09/0.13	c 1850           9412           45201          37691          0              847            15   23   17   
0.09/0.14	c 1860           9466           45463          37921          0              856            12   27   17   
0.09/0.14	c 1870           9520           45717          38142          0              859            16   26   19   
0.09/0.14	c 1880           9555           45887          38305          0              862            14   23   16   
0.09/0.14	c 1890           9612           46153          38495          0              866            21   27   21   
0.09/0.14	c 1900           9656           46379          38691          0              868            15   26   19   
0.09/0.14	c 1910           9713           46656          38902          0              875            13   26   20   
0.09/0.14	c 1920           9763           46902          39096          0              879            16   25   20   
0.09/0.14	c 1930           9811           47136          39297          0              883            12   26   19   
0.09/0.14	c 1940           9869           47406          39503          0              888            20   25   21   
0.09/0.14	c 1950           9923           47662          39722          0              893            13   24   18   
0.09/0.14	c 1960           9975           47905          39916          0              900            17   26   20   
0.09/0.14	c 1970           10026          48151          40123          0              904            14   25   19   
0.09/0.14	c 1980           10079          48393          40312          0              906            20   26   21   
0.09/0.14	c 1990           10143          48675          40537          0              914            18   26   20   
0.09/0.14	c 2000           10200          48933          40753          0              918            18   25   20   
0.09/0.14	c 2010           10244          49136          40959          0              926            14   25   18   
0.09/0.14	c 2020           10300          49386          41169          0              932            12   25   19   
0.09/0.14	c 2030           10348          49609          41351          0              939            17   26   19   
0.09/0.15	c 2040           10382          49774          41527          0              941            13   25   18   
0.09/0.15	c 2050           10425          49976          41701          0              944            17   26   20   
0.09/0.15	c 2060           10482          50249          41910          0              947            16   26   21   
0.09/0.15	c 2070           10513          50419          42072          0              957            13   22   15   
0.09/0.15	c 2080           10555          50626          42255          0              960            13   24   18   
0.09/0.15	c 2090           10616          50923          42494          0              965            14   24   19   
0.09/0.15	c 2100           10668          51175          42689          0              970            12   25   19   
0.09/0.15	c 2110           10714          51407          42889          0              975            16   24   19   
0.09/0.15	c 2120           10763          51634          43092          0              978            15   25   19   
0.09/0.15	c 2122           10797          51785          43180          0              980            22   22   14   
0.09/0.15	c 2130           10851          52048          43402          0              986            14   24   18   
0.09/0.15	c 2140           10907          52315          43628          0              989            19   23   19   
0.09/0.15	c 2150           10960          52568          43839          0              994            14   25   19   
0.09/0.15	c 2160           11000          52757          44001          0              1000           16   25   19   
0.09/0.15	c 2170           11044          52962          44170          0              1006           17   25   19   
0.09/0.15	c 2180           11091          53175          44347          0              1012           11   26   20   
0.09/0.15	c 2190           11131          53365          44520          0              1015           18   25   20   
0.09/0.15	c 2200           11185          53622          44761          0              1025           12   25   16   
0.09/0.15	c 2210           11233          53855          44934          0              1032           19   27   20   
0.09/0.16	c 2220           11273          54034          45115          0              1038           13   26   18   
0.09/0.16	c 2230           11318          54242          45277          0              1042           19   25   19   
0.09/0.16	c 2240           11383          54541          45506          0              1049           13   25   19   
0.09/0.16	c 2250           11437          54790          45730          0              1054           13   25   19   
0.09/0.16	c 2260           11496          55066          45952          0              1057           17   25   20   
0.09/0.16	c 2270           11550          55325          46176          0              1062           17   26   19   
0.09/0.16	c 2280           11593          55533          46356          0              1069           17   24   18   
0.09/0.16	c 2290           11650          55790          46605          0              1074           12   26   18   
0.09/0.16	c 2300           11700          56030          46790          0              1078           19   25   20   
0.09/0.16	c 2310           11758          56305          47011          0              1081           18   25   19   
0.09/0.16	c 2320           11808          56548          47216          0              1086           12   24   18   
0.09/0.16	c 2330           11847          56738          47402          0              1090           16   23   17   
0.09/0.16	c 2340           11890          56946          47588          0              1099           16   23   18   
0.09/0.16	c 2350           11944          57210          47784          0              1102           18   27   21   
0.09/0.16	c 2360           11997          57473          47984          0              1104           20   26   21   
0.09/0.16	c 2370           12055          57742          48195          0              1107           18   25   20   
0.09/0.16	c 2380           12115          58037          48428          0              1109           17   25   20   
0.09/0.16	c 2390           12163          58273          48617          0              1113           16   25   20   
0.09/0.17	c 2400           12225          58569          48839          0              1117           21   24   20   
0.09/0.17	c 2410           12267          58775          49024          0              1124           16   24   18   
0.09/0.17	c 2420           12314          59003          49217          0              1127           13   27   19   
0.09/0.17	c 2430           12370          59261          49418          0              1132           14   26   20   
0.09/0.17	c 2431           12393          59355          49459          0              1133           23   23   11   
0.09/0.17	c 2440           12438          59568          49644          0              1136           14   25   19   
0.09/0.17	c 2450           12484          59785          49836          0              1138           17   25   19   
0.09/0.17	c 2460           12535          60010          50045          0              1143           14   24   19   
0.09/0.17	c 2470           12583          60240          50246          0              1153           14   25   18   
0.09/0.17	c 2480           12625          60440          50403          0              1155           21   26   21   
0.09/0.17	c 2490           12667          60637          50589          0              1162           15   26   18   
0.09/0.17	c 2500           12718          60875          50817          0              1166           12   24   18   
0.09/0.17	c 2510           12772          61136          51011          0              1168           21   26   21   
0.09/0.17	c 2520           12822          61393          51210          0              1171           19   25   20   
0.09/0.17	c 2530           12871          61647          51385          0              1174           21   26   21   
0.09/0.17	c 2540           12918          61879          51573          0              1177           17   26   19   
0.09/0.17	c 2550           12959          62078          51760          0              1187           13   23   17   
0.09/0.17	c 2560           13009          62317          51945          0              1192           20   26   20   
0.09/0.17	c 2570           13055          62542          52136          0              1197           18   25   19   
0.09/0.17	c 2580           13100          62758          52326          0              1204           16   25   18   
0.09/0.18	c 2590           13155          63044          52558          0              1207           12   26   19   
0.09/0.18	c 2600           13205          63288          52763          0              1210           14   25   18   
0.09/0.18	c 2610           13256          63549          52971          0              1212           17   25   19   
0.09/0.18	c 2620           13304          63796          53179          0              1217           11   23   18   
0.09/0.18	c 2630           13357          64064          53399          0              1220           20   24   20   
0.09/0.18	c 2640           13402          64284          53596          0              1223           17   24   18   
0.09/0.18	c 2650           13440          64471          53781          0              1227           15   24   17   
0.09/0.18	c 2660           13488          64704          53967          0              1230           19   25   20   
0.09/0.18	c 2670           13545          64977          54197          0              1233           19   25   20   
0.09/0.18	c 2680           13594          65205          54382          0              1238           15   25   19   
0.09/0.18	c 2690           13645          65448          54570          0              1244           17   25   20   
0.09/0.18	c 2700           13685          65648          54756          0              1253           13   25   17   
0.09/0.18	c 2710           13748          65957          54999          0              1258           19   25   20   
0.09/0.18	c 2720           13799          66196          55189          0              1262           19   24   19   
0.09/0.18	c 2730           13839          66385          55359          0              1263           18   25   20   
0.09/0.18	c 2740           13887          66623          55545          0              1265           20   26   20   
0.09/0.18	c 2750           13934          66850          55725          0              1267           19   25   19   
0.09/0.18	c 2760           13967          67011          55894          0              1269           13   24   17   
0.09/0.18	c 2770           14004          67195          56050          0              1272           16   26   19   
0.09/0.18	c 2771           14018          67254          56081          0              1273           14   14   7    
0.09/0.18	c 2780           14053          67420          56243          0              1278           13   25   17   
0.09/0.19	c 2790           14116          67712          56473          0              1281           20   26   21   
0.09/0.19	c 2800           14162          67947          56696          0              1282           14   24   17   
0.09/0.19	c 2810           14207          68176          56909          0              1286           12   25   17   
0.09/0.19	c 2820           14239          68353          57096          0              1288           12   23   16   
0.09/0.19	c 2830           14288          68599          57294          0              1296           15   25   19   
0.09/0.19	c 2840           14329          68802          57492          0              1306           12   25   16   
0.09/0.19	c 2850           14409          69176          57771          0              1312           22   26   21   
0.09/0.19	c 2860           14487          69533          58070          0              1315           17   27   20   
0.09/0.19	c 2870           14531          69748          58256          0              1318           14   25   19   
0.09/0.19	c 2880           14577          69968          58450          0              1320           19   24   19   
0.09/0.19	c 2890           14625          70199          58649          0              1324           14   26   19   
0.09/0.19	c 2900           14679          70445          58852          0              1329           20   25   20   
0.09/0.19	c 2910           14737          70725          59071          0              1336           18   26   20   
0.09/0.19	c 2920           14784          70954          59251          0              1343           18   26   20   
0.09/0.19	c 2930           14834          71188          59464          0              1350           13   26   18   
0.09/0.19	c 2940           14890          71477          59696          0              1355           16   27   20   
0.09/0.19	c 2950           14941          71724          59912          0              1357           16   26   19   
0.09/0.19	c 2960           14986          71934          60085          0              1362           17   26   20   
0.09/0.19	c 2970           15024          72118          60285          0              1365           14   23   16   
0.09/0.19	c 2980           15076          72364          60471          0              1368           20   26   21   
0.09/0.19	c 2990           15122          72572          60648          0              1372           16   27   20   
0.09/0.20	c 3000           15168          72784          60812          0              1377           20   26   21   
0.19/0.20	c 3010           15208          72965          60987          0              1384           14   26   18   
0.19/0.20	c 3020           15256          73187          61181          0              1392           18   24   19   
0.19/0.20	c 3030           15300          73386          61353          0              1397           17   25   19   
0.19/0.20	c 3040           15364          73675          61582          0              1401           19   24   19   
0.19/0.20	c 3050           15421          73947          61810          0              1404           16   25   20   
0.19/0.20	c 3060           15471          74193          62023          0              1408           13   25   19   
0.19/0.20	c 3070           15521          74423          62231          0              1417           14   26   18   
0.19/0.20	c 3080           15575          74669          62439          0              1421           12   26   20   
0.19/0.20	c 3090           15634          74931          62655          0              1425           15   25   19   
0.19/0.20	c 3100           15687          75172          62852          0              1432           14   27   19   
0.19/0.20	c 3110           15731          75390          63019          0              1438           20   25   20   
0.19/0.20	c 3120           15793          75669          63247          0              1444           13   25   19   
0.19/0.20	c 3130           15836          75880          63445          0              1450           10   26   18   
0.19/0.20	c 3140           15882          76090          63607          0              1454           14   25   20   
0.19/0.20	c 3142           15906          76197          63660          0              1456           22   23   15   
0.19/0.20	c 3150           15947          76389          63803          0              1459           17   26   20   
0.19/0.20	c 3160           16003          76656          64013          0              1464           14   26   20   
0.19/0.20	c 3170           16062          76956          64222          0              1468           19   26   20   
0.19/0.20	c 3180           16104          77150          64376          0              1474           19   25   20   
0.19/0.20	c 3190           16145          77352          64564          0              1483           14   25   17   
0.19/0.20	c 3200           16187          77544          64710          0              1490           19   27   21   
0.19/0.20	c 3210           16236          77760          64890          0              1492           18   26   20   
0.19/0.21	c 3220           16268          77904          65074          0              1497           12   23   16   
0.19/0.21	c 3230           16309          78091          65249          0              1502           18   23   18   
0.19/0.21	c 3240           16366          78346          65466          0              1506           13   25   20   
0.19/0.21	c 3250           16418          78590          65673          0              1512           14   25   19   
0.19/0.21	c 3260           16464          78800          65839          0              1517           17   25   20   
0.19/0.21	c 3270           16506          79004          66008          0              1526           15   26   18   
0.19/0.21	c 3280           16552          79235          66190          0              1530           19   26   20   
0.19/0.21	c 3290           16588          79413          66377          0              1533           14   24   17   
0.19/0.21	c 3300           16636          79642          66588          0              1535           12   26   19   
0.19/0.21	c 3310           16670          79810          66770          0              1543           13   25   16   
0.19/0.21	c 3320           16715          80016          66955          0              1547           13   25   18   
0.19/0.21	c 3330           16774          80287          67171          0              1549           19   27   21   
0.19/0.21	c 3340           16828          80544          67393          0              1555           14   26   19   
0.19/0.21	c 3350           16888          80824          67592          0              1558           20   26   21   
0.19/0.21	c 3360           16935          81049          67787          0              1560           17   26   19   
0.19/0.21	c 3370           16975          81244          67971          0              1568           13   26   17   
0.19/0.21	c 3380           17025          81488          68165          0              1570           18   25   20   
0.19/0.21	c 3390           17082          81759          68384          0              1574           13   25   20   
0.19/0.21	c 3400           17125          81968          68544          0              1576           20   26   21   
0.19/0.21	c 3410           17175          82197          68716          0              1580           21   26   21   
0.19/0.21	c 3420           17228          82452          68917          0              1587           15   26   19   
0.19/0.21	c 3430           17284          82725          69118          0              1592           20   26   21   
0.19/0.21	c 3440           17338          82984          69313          0              1594           19   26   20   
0.19/0.22	c 3450           17388          83212          69515          0              1598           19   26   20   
0.19/0.22	c 3460           17444          83474          69724          0              1604           17   25   20   
0.19/0.22	c 3470           17497          83730          69944          0              1610           15   25   18   
0.19/0.22	c 3480           17567          84055          70208          0              1616           13   24   20   
0.19/0.22	c 3490           17631          84354          70443          0              1622           16   24   20   
0.19/0.22	c 3500           17687          84621          70646          0              1628           20   26   20   
0.19/0.22	c 3510           17731          84833          70852          0              1631           16   24   17   
0.19/0.22	c 3520           17770          85016          71042          0              1638           13   24   17   
0.19/0.22	c 3530           17814          85223          71232          0              1640           17   25   19   
0.19/0.22	c 3540           17875          85501          71450          0              1647           15   26   20   
0.19/0.22	c 3550           17923          85718          71642          0              1652           13   26   19   
0.19/0.22	c 3551           17947          85820          71697          0              1653           24   24   12   
0.19/0.22	c 3560           17977          85973          71850          0              1662           14   22   16   
0.19/0.22	c 3570           18028          86212          72050          0              1666           14   25   19   
0.19/0.22	c 3580           18063          86371          72201          0              1667           17   26   19   
0.19/0.22	c 3590           18108          86586          72387          0              1669           18   25   20   
0.19/0.22	c 3600           18163          86848          72600          0              1673           13   25   20   
0.19/0.22	c 3610           18199          87034          72769          0              1678           14   25   18   
0.19/0.22	c 3620           18244          87255          72964          0              1683           13   25   18   
0.19/0.22	c 3630           18299          87518          73180          0              1687           13   25   18   
0.19/0.22	c 3640           18339          87715          73348          0              1692           16   25   19   
0.19/0.22	c 3650           18373          87896          73519          0              1695           13   25   18   
0.19/0.22	c 3660           18419          88132          73693          0              1698           16   25   20   
0.19/0.23	c 3670           18461          88340          73850          0              1702           17   26   20   
0.19/0.23	c 3680           18511          88604          74035          0              1707           19   26   21   
0.19/0.23	c 3690           18561          88861          74235          0              1711           16   26   20   
0.19/0.23	c 3700           18601          89057          74408          0              1712           18   25   20   
0.19/0.23	c 3710           18645          89267          74585          0              1720           15   26   19   
0.19/0.23	c 3720           18688          89475          74759          0              1727           17   26   19   
0.19/0.23	c 3730           18731          89667          74926          0              1729           15   26   21   
0.19/0.23	c 3740           18773          89880          75109          0              1735           16   24   19   
0.19/0.23	c 3750           18848          90228          75385          0              1740           17   26   20   
0.19/0.23	c 3760           18892          90445          75580          0              1742           19   24   19   
0.19/0.23	c 3770           18924          90608          75764          0              1749           12   23   15   
0.19/0.23	c 3780           18963          90799          75943          0              1757           12   24   16   
0.19/0.23	c 3790           19018          91042          76169          0              1762           12   25   19   
0.19/0.23	c 3800           19056          91230          76339          0              1763           18   24   19   
0.19/0.23	c 3810           19098          91421          76503          0              1770           17   25   19   
0.19/0.23	c 3820           19147          91646          76709          0              1778           12   25   18   
0.19/0.23	c 3830           19193          91861          76894          0              1784           16   25   19   
0.19/0.23	c 3840           19237          92070          77080          0              1786           16   24   18   
0.19/0.23	c 3850           19284          92301          77271          0              1794           15   26   19   
0.19/0.23	c 3860           19339          92554          77468          0              1797           22   26   21   
0.19/0.23	c 3870           19378          92732          77633          0              1802           13   26   19   
0.19/0.23	c 3880           19426          92960          77816          0              1805           19   25   20   
0.19/0.23	c 3890           19484          93234          78059          0              1813           13   25   18   
0.19/0.23	c 3900           19535          93467          78230          0              1819           20   26   21   
0.19/0.24	c 3910           19579          93683          78391          0              1825           20   24   20   
0.19/0.24	c 3920           19618          93874          78579          0              1833           13   25   17   
0.19/0.24	c 3930           19670          94132          78757          0              1837           22   25   21   
0.19/0.24	c 3940           19723          94381          78961          0              1840           17   25   19   
0.19/0.24	c 3950           19764          94578          79137          0              1842           16   24   18   
0.19/0.24	c 3960           19824          94869          79359          0              1845           18   27   20   
0.19/0.24	c 3970           19864          95068          79547          0              1853           14   25   17   
0.19/0.24	c 3980           19929          95376          79785          0              1860           15   26   20   
0.19/0.24	c 3990           19966          95555          79960          0              1864           14   25   18   
0.19/0.24	c 4000           20016          95834          80169          0              1868           19   25   19   
0.19/0.24	c 4001           20039          95936          80210          0              1869           23   23   11   
0.19/0.24	c 4010           20078          96116          80380          0              1875           13   25   17   
0.19/0.24	c 4020           20141          96423          80604          0              1877           18   25   21   
0.19/0.24	c 4030           20201          96723          80844          0              1883           14   24   19   
0.19/0.24	c 4040           20255          96996          81039          0              1886           21   25   21   
0.19/0.24	c 4050           20297          97197          81238          0              1887           15   25   18   
0.19/0.24	c 4060           20363          97496          81471          0              1893           13   26   20   
0.19/0.24	c 4070           20424          97775          81717          0              1900           14   25   19   
0.19/0.24	c 4080           20467          97980          81887          0              1905           18   24   19   
0.19/0.24	c 4090           20518          98206          82090          0              1913           14   26   19   
0.19/0.24	c 4100           20576          98471          82296          0              1915           20   26   21   
0.19/0.24	c 4110           20614          98656          82485          0              1923           13   23   16   
0.19/0.25	c 4120           20663          98894          82700          0              1927           12   24   18   
0.19/0.25	c 4130           20722          99166          82929          0              1930           20   25   20   
0.19/0.25	c 4140           20754          99324          83098          0              1932           13   23   16   
0.19/0.25	c 4150           20810          99579          83319          0              1937           20   24   19   
0.19/0.25	c 4160           20862          99840          83529          0              1940           12   25   20   
0.19/0.25	c 4170           20910          100065         83723          0              1947           13   27   19   
0.19/0.25	c 4180           20967          100314         83919          0              1953           15   26   21   
0.19/0.25	c 4190           21013          100524         84088          0              1954           20   26   22   
0.19/0.25	c 4200           21059          100749         84258          0              1960           16   25   19   
0.19/0.25	c 4210           21096          100924         84454          0              1969           12   23   16   
0.19/0.25	c 4220           21143          101150         84678          0              1973           12   24   18   
0.19/0.25	c 4230           21192          101374         84872          0              1976           18   24   19   
0.19/0.25	c 4240           21242          101616         85071          0              1978           18   24   19   
0.19/0.25	c 4250           21294          101857         85258          0              1981           20   25   20   
0.19/0.25	c 4260           21338          102066         85423          0              1987           19   24   19   
0.19/0.25	c 4270           21395          102341         85623          0              1992           17   26   21   
0.19/0.25	c 4280           21439          102544         85803          0              1998           15   25   18   
0.19/0.25	c 4290           21483          102757         85987          0              2001           17   25   19   
0.19/0.25	c 4300           21519          102931         86164          0              2002           15   25   17   
0.19/0.25	c 4310           21560          103130         86369          0              2007           12   24   17   
0.19/0.25	c 4320           21620          103400         86582          0              2010           21   25   21   
0.19/0.25	c 4330           21660          103585         86761          0              2016           14   26   18   
0.19/0.25	c 4340           21710          103826         86966          0              2017           17   27   20   
0.19/0.26	c 4350           21754          104039         87135          0              2023           18   25   20   
0.19/0.26	c 4360           21791          104217         87302          0              2026           15   24   18   
0.19/0.26	c 4370           21838          104443         87485          0              2029           17   25   20   
0.19/0.26	c 4380           21891          104694         87680          0              2034           14   26   20   
0.19/0.26	c 4390           21922          104850         87865          0              2035           13   22   15   
0.19/0.26	c 4400           21963          105065         88049          0              2036           15   25   18   
0.19/0.26	c 4410           22000          105251         88233          0              2046           13   23   16   
0.19/0.26	c 4420           22058          105523         88466          0              2056           14   25   18   
0.19/0.26	c 4430           22140          105910         88746          0              2061           20   27   22   
0.19/0.26	c 4440           22186          106129         88914          0              2066           19   26   20   
0.19/0.26	c 4450           22242          106383         89145          0              2076           13   25   18   
0.19/0.26	c 4460           22292          106612         89346          0              2080           17   25   19   
0.19/0.26	c 4470           22343          106850         89565          0              2089           13   26   17   
0.19/0.26	c 4480           22403          107143         89787          0              2091           18   26   20   
0.19/0.26	c 4490           22445          107354         89964          0              2096           17   25   19   
0.19/0.26	c 4493           22471          107471         90022          0              2099           22   24   17   
0.19/0.26	c 4500           22520          107701         90194          0              2104           16   26   19   
0.19/0.26	c 4510           22567          107932         90391          0              2106           17   25   19   
0.19/0.26	c 4520           22646          108291         90677          0              2111           20   25   21   
0.19/0.26	c 4530           22698          108547         90867          0              2116           21   26   21   
0.19/0.26	c 4540           22739          108748         91063          0              2118           16   23   17   
0.19/0.26	c 4550           22782          108947         91265          0              2124           14   25   17   
0.19/0.27	c 4560           22832          109186         91484          0              2131           15   24   18   
0.19/0.27	c 4570           22870          109368         91669          0              2139           14   25   17   
0.19/0.27	c 4580           22909          109558         91855          0              2147           15   25   18   
0.19/0.27	c 4590           22970          109837         92095          0              2155           13   26   19   
0.19/0.27	c 4600           23025          110110         92320          0              2156           18   26   21   
0.19/0.27	c 4610           23070          110336         92528          0              2164           12   25   17   
0.19/0.27	c 4620           23112          110550         92716          0              2173           14   26   17   
0.19/0.27	c 4630           23165          110802         92909          0              2175           19   26   21   
0.19/0.27	c 4640           23223          111054         93100          0              2178           20   26   21   
0.19/0.27	c 4650           23282          111323         93304          0              2181           20   25   21   
0.19/0.27	c 4660           23333          111563         93513          0              2183           17   26   19   
0.19/0.27	c 4670           23400          111855         93732          0              2189           18   26   21   
0.19/0.27	c 4680           23448          112090         93928          0              2191           18   25   19   
0.19/0.27	c 4690           23495          112318         94126          0              2194           18   26   19   
0.19/0.27	c 4700           23529          112501         94304          0              2196           15   23   16   
0.19/0.27	c 4710           23581          112740         94495          0              2200           19   26   20   
0.19/0.27	c 4720           23634          112998         94720          0              2203           13   26   19   
0.19/0.27	c 4730           23681          113254         94933          0              2209           15   22   18   
0.19/0.27	c 4740           23732          113507         95148          0              2215           13   25   19   
0.19/0.27	c 4750           23786          113784         95349          0              2219           21   24   20   
0.19/0.27	c 4760           23833          114014         95542          0              2224           19   24   19   
0.19/0.28	c 4770           23879          114227         95730          0              2231           15   25   18   
0.19/0.28	c 4780           23918          114418         95919          0              2236           14   26   17   
0.19/0.28	c 4790           23963          114632         96111          0              2237           18   25   20   
0.19/0.28	c 4800           24017          114889         96305          0              2242           12   26   20   
0.19/0.28	c 4810           24050          115049         96472          0              2252           13   24   16   
0.19/0.28	c 4820           24092          115249         96661          0              2259           15   25   18   
0.19/0.28	c 4830           24136          115469         96866          0              2264           11   24   17   
0.19/0.28	c 4840           24176          115678         97030          0              2269           19   25   20   
0.19/0.28	c 4850           24225          115939         97231          0              2274           18   26   20   
0.19/0.28	c 4860           24258          116106         97406          0              2275           14   24   16   
0.19/0.28	c 4870           24306          116328         97585          0              2281           19   26   20   
0.19/0.28	c 4880           24372          116629         97843          0              2288           13   24   19   
0.19/0.28	c 4890           24428          116897         98070          0              2292           13   26   20   
0.19/0.28	c 4900           24483          117146         98280          0              2297           15   25   20   
0.19/0.28	c 4910           24537          117399         98520          0              2300           13   26   18   
0.19/0.28	c 4920           24594          117655         98746          0              2303           21   26   20   
0.19/0.28	c 4930           24630          117832         98923          0              2307           16   24   18   
0.19/0.28	c 4940           24676          118046         99121          0              2309           19   25   20   
0.19/0.28	c 4950           24728          118286         99311          0              2314           19   25   20   
0.19/0.28	c 4960           24790          118570         99541          0              2319           13   24   19   
0.19/0.28	c 4970           24854          118853         99772          0              2324           17   26   20   
0.19/0.28	c 4980           24901          119078         99975          0              2330           16   26   19   
0.19/0.28	c 4990           24948          119308         100150         0              2334           18   25   20   
0.19/0.29	c 5035           25167          120381         101091         0              2342           12   27   22   
0.29/0.31	c 5631           27453          132412         112273         0              2349           14   27   22   
0.29/0.33	c 6286           29782          144391         123923         0              2358           13   27   22   
0.29/0.35	c 7006           32372          158545         137180         0              2368           10   27   22   
0.29/0.37	c 7798           35192          172996         151236         0              2375           10   27   22   
0.39/0.40	c 8669           38279          188836         166705         0              2383           11   26   22   
0.39/0.43	c 9627           41626          205811         183356         0              2393           12   27   22   
0.39/0.46	c 10680          45351          224189         202634         0              2401           11   26   21   
0.39/0.49	c 11838          49390          244048         222964         0              2412           11   27   22   
0.49/0.53	c 13111          53896          266445         245517         0              2420           12   27   22   
0.49/0.57	c 14511          58917          292228         270263         0              2431           12   27   22   
0.59/0.62	c 16051          64281          320916         298360         0              2437           11   27   21   
0.59/0.67	c 17745          70257          350727         328638         0              2450           12   27   22   
0.69/0.73	c 19608          76919          385258         362608         0              2459           12   27   22   
0.69/0.79	c 21657          83995          423362         399797         0              2468           10   27   22   
0.79/0.86	c 23910          91903          465104         439323         0              2480           13   27   22   
0.89/0.93	c 26388          100465         510189         483815         0              2489           12   27   22   
0.99/1.01	c 29113          110080         559043         533616         0              2498           12   27   22   
0.99/1.10	c 32110          119977         611427         585405         0              2504           14   28   22   
1.10/1.20	c 35406          131354         670777         644197         0              2510           14   28   23   
1.29/1.30	c 39031          143705         734646         709070         0              2520           13   27   22   
1.39/1.42	c 43018          157744         807903         782500         0              2529           12   27   22   
1.49/1.55	c 47403          172604         886905         860223         0              2535           14   28   22   
1.69/1.70	c 52226          189029         976355         945287         0              2539           12   28   22   
1.79/1.86	c 57531          207969         1076148        1041463        0              2549           11   27   22   
1.99/2.06	c 63366          229133         1198128        1151827        0              2562           9   28   22    
2.20/2.26	c 69784          251393         1319657        1266868        0              2573           11   27   22   
2.39/2.47	c 76843          275622         1450028        1393523        0              2586           12   28   22   
2.69/2.70	c 84607          302192         1591139        1530064        0              2597           12   27   22   
2.89/2.94	c 93147          331505         1742304        1679887        0              2608           14   28   23   
2.89/2.94	conflict 9lvl : 14 bt13-3:0(13)X51345
3.19/3.22	 -> -3:X(13)c 102541         364299         1913624        1849201        0              2616           13   28   22   
3.49/3.52	c 112874         399511         2099701        2037038        0              2624           11   28   22   
3.79/3.86	c 124240         438638         2307177        2241612        0              2634           13   27   22   
4.19/4.24	c 136742         481916         2541968        2470302        0              2642           13   27   22   
4.59/4.69	c 150494         531339         2816168        2730233        0              2653           12   27   22   
5.09/5.18	c 165621         585901         3114266        3014484        0              2663           11   28   22   
5.69/5.70	c 182260         644144         3430111        3320797        0              2670           11   28   22   
6.19/6.25	c 200562         708103         3764821        3653285        0              2681           11   28   22   
6.79/6.85	c 220694         777956         4135839        4018283        0              2692           11   28   22   
7.49/7.52	c 242839         854676         4545361        4427185        0              2703           12   28   22   
8.19/8.29	c 267198         940722         5012304        4888789        0              2710           10   27   22   
9.09/9.12	c 293992         1034159        5513321        5396978        0              2717           11   27   22   
10.00/10.01	c 323465         1136114        6059963        5945523        0              2727           12   27   22   
10.89/10.99	c 355885         1248079        6662906        6550125        0              2737           13   27   22   
11.99/12.07	c 391547         1371441        7325881        7208736        0              2747           13   28   22   
13.20/13.23	c 430775         1506953        8042983        7921531        0              2758           12   28   23   
14.49/14.57	c 473925         1657133        8850704        8724693        0              2767           10   27   22   
15.99/16.08	c 521390         1824084        9771075        9608579        0              2778           10   28   22   
17.70/17.72	c 573601         2006884        10775958       10607802       0              2789           11   28   22   
19.49/19.55	c 631033         2210940        11893356       11720193       0              2799           10   28   22   
21.49/21.52	c 694208         2432787        13106178       12919598       0              2810           11   28   22   
23.69/23.70	c 763700         2678064        14450224       14234336       0              2819           12   28   23   
26.09/26.13	c 840141         2948961        15953541       15684925       0              2828           11   28   23   
28.70/28.70	c 924226         3241592        17545993       17261299       0              2840           11   28   23   
29.70/29.74	c solution 1
29.70/29.74	
29.70/29.74	v <instantiation type='solution'>
29.70/29.74	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] </list>
29.70/29.74	v <values>0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 </values>
29.70/29.74	v </instantiation>
29.70/29.74	
29.70/29.74	c restarts              : 571         
29.70/29.74	c conflicts             : 957134       (32187 /sec)
29.70/29.74	c decisions             : 3358789      (112950 /sec)
29.70/29.74	c propagations          : 17879777    (601265 /sec)
29.70/29.74	c root propagations     : 0           
29.70/29.74	c filter calls          : 18183782       (611488 /sec)
29.70/29.74	c useless filter calls  : 15311882       (84 %)
29.70/29.74	c
29.70/29.74	c clauses               : 2900
29.70/29.74	c SAT propagations      : 112
29.70/29.74	c SAT conflicts         : 27 (1 learnts)
29.70/29.74	c Memory used           : 30.88 MB
29.70/29.74	c CPU time              : 29.7369 s
29.70/29.74	
29.70/29.74	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.07 2.00 3/243 3625
/proc/meminfo: memFree=32030784/32770624 swapFree=6096/209508
[pid=3625] ppid=3622 vsize=31348 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1036 0 0 0 1 0 0 0 20 0 1 0 572086 32100352 832 33554432000 4194304 5970956 140735166867616 140735166864952 5039683 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7837 832 740 434 0 1201 0

[startup+0.100155 s]
/proc/loadavg: 2.16 2.07 2.00 3/243 3625
/proc/meminfo: memFree=32030784/32770624 swapFree=6096/209508
[pid=3625] ppid=3622 vsize=31348 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1052 0 0 0 9 0 0 0 20 0 1 0 572086 32100352 832 33554432000 4194304 5970956 140735166867616 140735166864952 5040521 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7837 832 740 434 0 1201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31348

[startup+0.200296 s]
/proc/loadavg: 2.16 2.07 2.00 3/243 3625
/proc/meminfo: memFree=32030784/32770624 swapFree=6096/209508
[pid=3625] ppid=3622 vsize=31480 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1082 0 0 0 19 0 0 0 20 0 1 0 572086 32235520 898 33554432000 4194304 5970956 140735166867616 140735166864952 5038354 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7870 898 779 434 0 1234 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31480

[startup+0.300223 s]
/proc/loadavg: 2.16 2.07 2.00 3/243 3625
/proc/meminfo: memFree=32030784/32770624 swapFree=6096/209508
[pid=3625] ppid=3622 vsize=31480 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1103 0 0 0 29 0 0 0 20 0 1 0 572086 32235520 1410 33554432000 4194304 5970956 140735166867616 140735166864952 5038779 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7870 1410 779 434 0 1234 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31480

[startup+0.70021 s]
/proc/loadavg: 2.16 2.07 2.00 3/243 3625
/proc/meminfo: memFree=32030784/32770624 swapFree=6096/209508
[pid=3625] ppid=3622 vsize=31480 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1105 0 0 0 69 0 0 0 20 0 1 0 572086 32235520 1410 33554432000 4194304 5970956 140735166867616 140735166864952 5039132 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7870 1410 779 434 0 1234 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31480

[startup+1.50021 s]
/proc/loadavg: 2.23 2.09 2.01 3/244 3626
/proc/meminfo: memFree=32027548/32770624 swapFree=6096/209556
[pid=3625] ppid=3622 vsize=31612 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1109 0 0 0 149 0 0 0 20 0 1 0 572086 32370688 1410 33554432000 4194304 5970956 140735166867616 140735166864472 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7903 1410 779 434 0 1267 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31612

[startup+3.10021 s]
/proc/loadavg: 2.23 2.09 2.01 3/244 3626
/proc/meminfo: memFree=32027260/32770624 swapFree=6096/209556
[pid=3625] ppid=3622 vsize=31612 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1221 0 0 0 309 0 0 0 20 0 1 0 572086 32370688 1463 33554432000 4194304 5970956 140735166867616 140735166865048 5093158 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7903 1463 779 434 0 1267 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31612

[startup+6.30021 s]
/proc/loadavg: 2.21 2.08 2.01 3/244 3626
/proc/meminfo: memFree=32027496/32770624 swapFree=6096/209596
[pid=3625] ppid=3622 vsize=31612 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1327 0 0 0 629 0 0 0 20 0 1 0 572086 32370688 1466 33554432000 4194304 5970956 140735166867616 140735166864952 5038202 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7903 1466 782 434 0 1267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31612

[startup+12.7002 s]
/proc/loadavg: 2.19 2.08 2.01 3/244 3626
/proc/meminfo: memFree=32026984/32770624 swapFree=6096/209608
[pid=3625] ppid=3622 vsize=31612 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1439 0 0 0 1269 0 0 0 20 0 1 0 572086 32370688 1466 33554432000 4194304 5970956 140735166867616 140735166864952 5136560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7903 1466 782 434 0 1267 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31612

[startup+25.5003 s]
/proc/loadavg: 2.15 2.08 2.01 3/244 3626
/proc/meminfo: memFree=32027432/32770624 swapFree=6096/209624
[pid=3625] ppid=3622 vsize=31612 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1664 0 0 0 2549 0 0 0 20 0 1 0 572086 32370688 1472 33554432000 4194304 5970956 140735166867616 140735166864952 5038354 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7903 1472 782 434 0 1267 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31612

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

[startup+25.6002 s]
/proc/loadavg: 2.15 2.08 2.01 3/244 3626
/proc/meminfo: memFree=32027432/32770624 swapFree=6096/209624
[pid=3625] ppid=3622 vsize=31612 CPUtime=25.59 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1664 0 0 0 2559 0 0 0 20 0 1 0 572086 32370688 1472 33554432000 4194304 5970956 140735166867616 140735166864952 5038409 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7903 1472 782 434 0 1267 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 31612

[startup+27.2002 s]
/proc/loadavg: 2.15 2.08 2.01 3/244 3626
/proc/meminfo: memFree=32027440/32770624 swapFree=6096/209632
[pid=3625] ppid=3622 vsize=31612 CPUtime=27.19 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1664 0 0 0 2719 0 0 0 20 0 1 0 572086 32370688 1472 33554432000 4194304 5970956 140735166867616 140735166864952 5136786 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7903 1472 782 434 0 1267 0
Current children cumulated CPU time (s) 27.19
Current children cumulated vsize (KiB) 31612

[startup+28.8002 s]
/proc/loadavg: 2.15 2.08 2.01 3/244 3626
/proc/meminfo: memFree=32027448/32770624 swapFree=6096/209640
[pid=3625] ppid=3622 vsize=31612 CPUtime=28.79 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1664 0 0 0 2879 0 0 0 20 0 1 0 572086 32370688 1472 33554432000 4194304 5970956 140735166867616 140735166864952 5038560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7903 1472 782 434 0 1267 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 31612

[startup+29.2002 s]
/proc/loadavg: 2.15 2.08 2.01 3/244 3626
/proc/meminfo: memFree=32027448/32770624 swapFree=6096/209640
[pid=3625] ppid=3622 vsize=31612 CPUtime=29.19 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1664 0 0 0 2919 0 0 0 20 0 1 0 572086 32370688 1472 33554432000 4194304 5970956 140735166867616 140735166864952 5272985 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7903 1472 782 434 0 1267 0
Current children cumulated CPU time (s) 29.19
Current children cumulated vsize (KiB) 31612

[startup+29.6002 s]
/proc/loadavg: 2.15 2.08 2.01 3/244 3626
/proc/meminfo: memFree=32027448/32770624 swapFree=6096/209640
[pid=3625] ppid=3622 vsize=31612 CPUtime=29.59 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1664 0 0 0 2959 0 0 0 20 0 1 0 572086 32370688 1472 33554432000 4194304 5970956 140735166867616 140735166864952 5038696 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7903 1472 782 434 0 1267 0
Current children cumulated CPU time (s) 29.59
Current children cumulated vsize (KiB) 31612

[startup+29.7002 s]
/proc/loadavg: 2.15 2.08 2.01 3/244 3626
/proc/meminfo: memFree=32027572/32770624 swapFree=6096/209640
[pid=3625] ppid=3622 vsize=31612 CPUtime=29.7 cores=1,3,5,7,9,11,13,15
/proc/3625/stat : 3625 (cosoco) R 3622 3625 2461 0 -1 4202496 1664 0 0 0 2970 0 0 0 20 0 1 0 572086 32370688 1472 33554432000 4194304 5970956 140735166867616 140735166864952 5038350 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17506304 140735166870716 140735166870851 140735166870851 140735166873550 0
/proc/3625/statm: 7903 1472 782 434 0 1267 0
Current children cumulated CPU time (s) 29.7
Current children cumulated vsize (KiB) 31612

Child status: 0
Real time (s): 29.7447
CPU time (s): 29.7382
CPU user time (s): 29.7372
CPU system time (s): 0.001052
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 31612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.7372
system time used= 0.001052
maximum resident set size= 5972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1705
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= 8
involuntary context switches= 1496

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.117007 second user time and 0.157601 second system time

The end

Launcher Data 

Begin job on node121 at 2017-07-21 18:03:57
IDJOB=4241957
IDBENCH=133097
IDSOLVER=2621
FILE ID=node121/4241957-1500653037
RUNJOBID= node121-1500648175-2494
PBS_JOBID= 20623298
Free space on /tmp= 61984 MiB

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

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

MD5SUM BENCH= 36a2ff8d03acaab45f9eaaf5db6acf0d
RANDOM SEED=771942285

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32030784 kB
MemAvailable:   32013532 kB
Buffers:           29544 kB
Cached:           265544 kB
SwapCached:            0 kB
Active:           150264 kB
Inactive:         218052 kB
Active(anon):      76200 kB
Inactive(anon):     8544 kB
Active(file):      74064 kB
Inactive(file):   209508 kB
Unevictable:        6096 kB
Mlocked:            6096 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2592 kB
Writeback:             0 kB
AnonPages:         79204 kB
Mapped:            30728 kB
Shmem:              8840 kB
Slab:              61176 kB
SReclaimable:      30020 kB
SUnreclaim:        31156 kB
KernelStack:        4224 kB
PageTables:         5156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

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