Trace number 4266191

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco-sat 1.12SAT 36.352299 36.351299

General information on the benchmark

NameMultiKnapsack/MultiKnapsack-m1-gp/
MultiKnapsack-2-22.xml
MD5SUM63c49c4fa2f593a3284d3df8e40494dc
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.29601499
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints6
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":50}]
Minimum variable degree6
Maximum variable degree6
Distribution of variable degrees[{"degree":6,"count":50}]
Minimum constraint arity50
Maximum constraint arity50
Distribution of constraint arities[{"arity":50,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":6}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c SAT : Variables: 100 -- Clauses: 100
0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.12 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266191-1502568112.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 50
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 6
0.00/0.00	c |                   Arity: 46..50
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Sum: 6
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             47             475            336            0              2              17   24   18   
0.00/0.00	c 20             87             841            595            0              4              16   21   17   
0.00/0.00	c 30             129            1243           918            0              8              15   21   16   
0.00/0.01	c 40             180            1722           1247           0              12             12   17   13   
0.00/0.01	c 50             229            2174           1554           0              15             12   21   15   
0.00/0.01	c 60             272            2570           1867           0              18             14   21   15   
0.00/0.01	c 70             317            2959           2150           0              24             13   23   18   
0.00/0.01	c 80             371            3461           2531           0              29             16   27   21   
0.00/0.01	c 90             420            3936           2835           0              35             16   27   20   
0.00/0.01	c 100            461            4286           3049           0              44             16   28   21   
0.00/0.01	c 101            470            4347           3077           0              45             9   9   4      
0.00/0.01	c 110            507            4682           3351           0              51             11   21   14   
0.00/0.01	c 120            544            5039           3651           0              53             16   28   19   
0.00/0.02	c 130            589            5456           3941           0              60             9   23   16    
0.00/0.02	c 140            635            5861           4248           0              64             18   25   19   
0.00/0.02	c 150            690            6358           4589           0              68             16   29   22   
0.00/0.02	c 160            735            6767           4864           0              74             10   27   18   
0.00/0.02	c 170            778            7144           5149           0              79             11   32   20   
0.00/0.02	c 180            823            7574           5380           0              86             20   30   22   
0.00/0.02	c 190            872            8005           5646           0              91             21   31   23   
0.00/0.02	c 200            920            8439           5933           0              96             23   32   25   
0.00/0.02	c 210            965            8860           6162           0              99             19   31   22   
0.00/0.02	c 211            986            9009           6208           0              100            21   21   10   
0.00/0.03	c 220            1035           9449           6492           0              104            16   25   19   
0.00/0.03	c 230            1087           9953           6821           0              107            14   24   18   
0.00/0.03	c 240            1129           10346          7068           0              112            8   24   17    
0.00/0.03	c 250            1172           10758          7385           0              113            17   24   19   
0.00/0.03	c 260            1219           11201          7723           0              115            17   24   19   
0.00/0.03	c 270            1263           11641          8045           0              119            14   24   16   
0.00/0.03	c 280            1318           12150          8358           0              125            12   23   16   
0.00/0.03	c 290            1367           12596          8693           0              135            7   25   16    
0.00/0.04	c 300            1425           13138          9098           0              139            12   25   18   
0.00/0.04	c 310            1485           13707          9436           0              141            17   28   20   
0.00/0.04	c 320            1544           14245          9875           0              145            14   25   19   
0.00/0.04	c 330            1587           14620          10189          0              150            14   21   16   
0.00/0.04	c 332            1608           14773          10256          0              152            18   20   12   
0.00/0.04	c 340            1638           15064          10507          0              160            9   23   14    
0.00/0.04	c 350            1693           15591          10873          0              162            19   26   20   
0.00/0.04	c 360            1748           16127          11219          0              167            9   25   17    
0.00/0.04	c 370            1788           16502          11483          0              169            14   20   15   
0.00/0.05	c 380            1836           16927          11846          0              173            14   25   18   
0.00/0.05	c 390            1882           17349          12189          0              176            15   24   18   
0.00/0.05	c 400            1933           17794          12556          0              182            10   24   16   
0.00/0.05	c 410            1974           18169          12861          0              185            15   23   18   
0.00/0.05	c 420            2026           18657          13221          0              188            17   25   19   
0.00/0.05	c 430            2088           19202          13643          0              191            16   26   19   
0.00/0.05	c 440            2151           19788          14022          0              196            20   29   22   
0.00/0.05	c 450            2200           20269          14361          0              202            18   26   19   
0.00/0.06	c 460            2245           20681          14657          0              211            9   25   17    
0.00/0.06	c 465            2272           20894          14827          0              216            14   23   15   
0.00/0.06	c 470            2297           21093          14999          0              221            12   21   14   
0.00/0.06	c 480            2346           21549          15315          0              224            20   27   22   
0.00/0.06	c 490            2407           22058          15672          0              228            19   25   19   
0.00/0.06	c 500            2461           22553          16009          0              232            15   25   19   
0.00/0.06	c 510            2512           23001          16385          0              236            13   23   18   
0.00/0.06	c 520            2562           23446          16689          0              243            8   27   18    
0.00/0.06	c 530            2600           23818          16937          0              250            17   25   19   
0.00/0.06	c 540            2648           24268          17261          0              256            7   30   19    
0.00/0.07	c 550            2699           24749          17494          0              261            22   29   23   
0.00/0.07	c 560            2747           25177          17686          0              263            21   27   22   
0.00/0.07	c 570            2790           25577          17886          0              265            20   29   23   
0.00/0.07	c 580            2837           26000          18086          0              270            12   32   23   
0.00/0.07	c 590            2890           26484          18378          0              274            12   25   18   
0.00/0.07	c 600            2950           27003          18700          0              278            12   25   19   
0.00/0.07	c 610            3006           27489          19015          0              287            13   30   19   
0.00/0.07	c 611            3018           27571          19040          0              288            12   12   6    
0.00/0.07	c 620            3059           27959          19350          0              293            15   25   18   
0.00/0.08	c 630            3110           28423          19707          0              297            12   28   17   
0.00/0.08	c 640            3159           28881          20046          0              301            15   23   18   
0.00/0.08	c 650            3207           29345          20378          0              304            18   28   21   
0.00/0.08	c 660            3263           29849          20632          0              310            23   27   22   
0.00/0.08	c 670            3312           30269          20893          0              317            20   29   23   
0.00/0.08	c 680            3355           30661          21085          0              324            13   33   23   
0.00/0.08	c 690            3401           31077          21318          0              328            14   34   24   
0.00/0.08	c 700            3443           31447          21527          0              333            15   33   24   
0.00/0.08	c 710            3490           31873          21762          0              334            26   33   27   
0.00/0.08	c 720            3544           32361          22021          0              336            25   33   26   
0.00/0.09	c 730            3588           32766          22293          0              340            13   32   22   
0.00/0.09	c 740            3649           33301          22697          0              346            22   30   23   
0.00/0.09	c 750            3698           33722          22944          0              352            16   31   24   
0.00/0.09	c 760            3751           34216          23192          0              355            24   33   25   
0.00/0.09	c 770            3801           34660          23524          0              361            9   34   23    
0.00/0.09	c 771            3811           34730          23554          0              362            10   10   5    
0.00/0.09	c 780            3854           35119          23789          0              370            11   24   16   
0.00/0.09	c 790            3905           35566          24076          0              374            11   26   20   
0.00/0.09	c 800            3959           36026          24352          0              380            12   29   22   
0.00/0.10	c 810            4006           36479          24562          0              382            16   31   25   
0.00/0.10	c 820            4066           37017          24849          0              385            20   31   25   
0.00/0.10	c 830            4116           37451          25117          0              392            21   32   25   
0.00/0.10	c 840            4165           37893          25380          0              400            17   29   21   
0.00/0.10	c 850            4218           38378          25587          0              404            12   34   27   
0.00/0.10	c 860            4275           38900          25876          0              410            22   35   25   
0.00/0.10	c 870            4330           39387          26167          0              413            17   32   24   
0.00/0.10	c 880            4384           39856          26426          0              414            20   29   23   
0.10/0.10	c 890            4435           40315          26691          0              417            20   28   22   
0.10/0.11	c 900            4483           40743          27037          0              422            12   32   21   
0.10/0.11	c 910            4527           41153          27293          0              426            17   26   19   
0.10/0.11	c 920            4571           41584          27580          0              427            18   26   20   
0.10/0.11	c 930            4616           41983          27856          0              433            12   25   18   
0.10/0.11	c 940            4656           42364          28105          0              436            17   24   19   
0.10/0.11	c 947            4698           42751          28355          0              440            19   28   20   
0.10/0.11	c 950            4727           42982          28477          0              442            21   27   18   
0.10/0.11	c 960            4763           43321          28713          0              445            12   23   17   
0.10/0.11	c 970            4805           43741          28998          0              450            13   22   16   
0.10/0.11	c 980            4852           44172          29337          0              455            9   28   19    
0.10/0.12	c 990            4911           44740          29731          0              460            18   27   20   
0.10/0.12	c 1000           4955           45133          29951          0              465            17   24   19   
0.10/0.12	c 1010           5003           45594          30209          0              469            15   25   19   
0.10/0.12	c 1020           5053           46051          30513          0              471            20   26   20   
0.10/0.12	c 1030           5105           46523          30819          0              476            10   27   20   
0.10/0.12	c 1040           5152           46989          31087          0              482            18   28   20   
0.10/0.12	c 1050           5201           47449          31361          0              486            19   27   20   
0.10/0.12	c 1060           5240           47800          31651          0              489            16   24   18   
0.10/0.13	c 1070           5287           48236          31916          0              492            18   25   19   
0.10/0.13	c 1080           5327           48644          32172          0              494            15   25   18   
0.10/0.13	c 1090           5368           49013          32445          0              497            7   24   17    
0.10/0.13	c 1100           5414           49462          32807          0              500            17   24   19   
0.10/0.13	c 1110           5457           49882          33084          0              506            10   27   18   
0.10/0.13	c 1120           5501           50305          33451          0              507            18   26   20   
0.10/0.13	c 1130           5541           50672          33735          0              514            10   27   19   
0.10/0.13	c 1140           5602           51225          34078          0              516            17   27   19   
0.10/0.13	c 1141           5626           51400          34139          0              517            24   24   12   
0.10/0.13	c 1150           5670           51778          34408          0              524            17   22   18   
0.10/0.14	c 1160           5717           52231          34665          0              529            22   31   24   
0.10/0.14	c 1170           5773           52736          34924          0              534            19   29   23   
0.10/0.14	c 1180           5835           53311          35213          0              536            23   32   25   
0.10/0.14	c 1190           5892           53811          35526          0              542            14   32   24   
0.10/0.14	c 1200           5944           54275          35826          0              549            15   31   24   
0.10/0.14	c 1210           5998           54770          36132          0              553            21   34   26   
0.10/0.14	c 1220           6054           55269          36411          0              560            17   35   26   
0.10/0.14	c 1230           6106           55711          36653          0              566            22   34   25   
0.10/0.14	c 1240           6156           56139          36855          0              572            23   36   29   
0.10/0.15	c 1250           6212           56630          37090          0              581            14   34   24   
0.10/0.15	c 1260           6255           57037          37307          0              583            20   24   20   
0.10/0.15	c 1270           6304           57493          37593          0              584            20   31   23   
0.10/0.15	c 1280           6363           58012          37919          0              589            22   32   24   
0.10/0.15	c 1290           6413           58481          38250          0              594            17   26   20   
0.10/0.15	c 1300           6457           58894          38579          0              597            16   26   19   
0.10/0.15	c 1310           6495           59275          38863          0              598            14   21   16   
0.10/0.15	c 1320           6535           59665          39187          0              602            16   22   16   
0.10/0.15	c 1330           6588           60156          39605          0              607            14   26   18   
0.10/0.16	c 1340           6632           60580          39918          0              611            15   24   18   
0.10/0.16	c 1350           6694           61118          40215          0              619            16   29   19   
0.10/0.16	c 1352           6719           61310          40279          0              621            23   24   15   
0.10/0.16	c 1360           6770           61739          40533          0              626            18   26   20   
0.10/0.16	c 1370           6818           62225          40922          0              631            14   26   18   
0.10/0.16	c 1380           6867           62708          41215          0              638            11   25   18   
0.10/0.16	c 1390           6921           63202          41565          0              643            12   27   20   
0.10/0.16	c 1400           6965           63614          41811          0              648            19   25   20   
0.10/0.17	c 1410           7023           64120          42137          0              651            18   24   19   
0.10/0.17	c 1420           7069           64573          42469          0              658            13   26   19   
0.10/0.17	c 1430           7116           65021          42813          0              661            14   22   17   
0.10/0.17	c 1440           7171           65522          43157          0              667            15   27   20   
0.10/0.17	c 1450           7216           65957          43455          0              672            17   27   20   
0.10/0.17	c 1460           7265           66440          43805          0              676            16   25   18   
0.10/0.17	c 1470           7312           66889          44060          0              680            13   27   20   
0.10/0.17	c 1480           7362           67349          44311          0              683            15   26   19   
0.10/0.17	c 1490           7411           67796          44559          0              688            13   25   19   
0.10/0.18	c 1500           7461           68272          44927          0              690            19   26   19   
0.10/0.18	c 1510           7516           68764          45243          0              692            17   30   23   
0.10/0.18	c 1520           7566           69236          45530          0              699            16   28   20   
0.10/0.18	c 1530           7626           69792          45913          0              705            13   27   20   
0.10/0.18	c 1540           7678           70270          46170          0              713            16   31   22   
0.10/0.18	c 1550           7725           70718          46471          0              721            10   32   20   
0.10/0.18	c 1560           7774           71167          46831          0              724            15   25   18   
0.10/0.18	c 1570           7828           71633          47150          0              728            18   24   19   
0.10/0.19	c 1580           7870           72028          47475          0              729            14   21   16   
0.10/0.19	c 1585           7902           72298          47631          0              733            12   25   15   
0.10/0.19	c 1590           7933           72561          47794          0              737            18   23   17   
0.10/0.19	c 1600           7983           73008          48159          0              739            18   23   18   
0.10/0.19	c 1610           8034           73482          48442          0              745            15   23   18   
0.10/0.19	c 1620           8077           73893          48713          0              749            15   23   17   
0.10/0.19	c 1630           8116           74268          48994          0              751            16   21   16   
0.10/0.19	c 1640           8172           74776          49365          0              756            14   23   17   
0.10/0.19	c 1650           8214           75179          49701          0              758            15   22   17   
0.10/0.19	c 1660           8267           75635          50151          0              764            17   23   18   
0.10/0.20	c 1670           8317           76102          50484          0              766            11   24   18   
0.10/0.20	c 1680           8360           76502          50746          0              769            16   23   18   
0.10/0.20	c 1690           8404           76891          51013          0              772            17   26   20   
0.10/0.20	c 1700           8452           77337          51356          0              775            16   23   17   
0.10/0.20	c 1710           8497           77739          51633          0              781            16   22   18   
0.10/0.20	c 1720           8550           78201          51923          0              786            17   25   20   
0.10/0.20	c 1730           8598           78644          52236          0              788            18   26   20   
0.10/0.20	c 1740           8641           79062          52480          0              790            17   27   19   
0.10/0.20	c 1750           8685           79454          52692          0              793            20   27   21   
0.10/0.21	c 1760           8736           79944          52977          0              797            19   32   22   
0.10/0.21	c 1770           8782           80356          53248          0              806            8   32   20    
0.10/0.21	c 1780           8827           80804          53537          0              809            9   30   21    
0.10/0.21	c 1790           8873           81257          53834          0              812            10   30   22   
0.10/0.21	c 1800           8926           81754          54187          0              815            21   27   21   
0.10/0.21	c 1810           8981           82284          54476          0              819            17   24   19   
0.10/0.21	c 1820           9035           82757          54744          0              826            11   29   20   
0.10/0.21	c 1830           9081           83178          55073          0              831            12   29   21   
0.21/0.21	c 1840           9136           83672          55328          0              835            18   26   21   
0.21/0.22	c 1841           9153           83796          55365          0              836            17   17   8    
0.21/0.22	c 1850           9198           84209          55609          0              840            18   28   21   
0.21/0.22	c 1860           9248           84693          55915          0              846            9   30   21    
0.21/0.22	c 1870           9304           85187          56243          0              849            23   31   24   
0.21/0.22	c 1880           9363           85724          56547          0              855            22   32   25   
0.21/0.22	c 1890           9414           86181          56776          0              856            24   33   26   
0.21/0.22	c 1900           9466           86693          57040          0              862            20   33   24   
0.21/0.22	c 1910           9519           87198          57396          0              865            22   29   23   
0.21/0.22	c 1920           9571           87692          57715          0              866            20   31   24   
0.21/0.23	c 1930           9636           88287          58105          0              871            17   27   21   
0.21/0.23	c 1940           9680           88707          58347          0              879            15   32   22   
0.21/0.23	c 1950           9735           89187          58629          0              883            24   33   25   
0.21/0.23	c 1960           9784           89625          58932          0              890            15   34   24   
0.21/0.23	c 1970           9851           90188          59267          0              894            20   30   24   
0.21/0.23	c 1980           9914           90724          59574          0              899            19   31   23   
0.21/0.23	c 1990           9971           91247          59862          0              905            21   33   25   
0.21/0.23	c 2000           10021          91708          60108          0              912            22   33   26   
0.21/0.24	c 2010           10078          92186          60349          0              918            18   31   22   
0.21/0.24	c 2020           10130          92655          60629          0              921            17   34   25   
0.21/0.24	c 2030           10182          93124          60935          0              926            18   27   19   
0.21/0.24	c 2040           10232          93547          61159          0              934            9   31   22    
0.21/0.24	c 2050           10270          93912          61488          0              937            16   23   17   
0.21/0.24	c 2060           10321          94375          61728          0              942            11   31   21   
0.21/0.24	c 2070           10381          94907          61977          0              945            12   30   23   
0.21/0.24	c 2080           10438          95431          62349          0              947            13   31   23   
0.21/0.24	c 2090           10498          95968          62628          0              949            23   29   24   
0.21/0.25	c 2100           10538          96371          62926          0              952            16   26   18   
0.21/0.25	c 2110           10580          96762          63139          0              959            13   29   21   
0.21/0.25	c 2120           10631          97235          63467          0              961            18   26   19   
0.21/0.25	c 2122           10657          97449          63562          0              962            22   25   15   
0.21/0.25	c 2130           10701          97858          63831          0              968            13   25   17   
0.21/0.25	c 2140           10750          98329          64176          0              975            12   20   15   
0.21/0.25	c 2150           10786          98694          64442          0              976            13   19   15   
0.21/0.25	c 2160           10833          99191          64789          0              981            6   25   18    
0.21/0.25	c 2170           10880          99673          65058          0              985            18   26   20   
0.21/0.26	c 2180           10938          100202         65400          0              989            16   24   17   
0.21/0.26	c 2190           10978          100607         65635          0              993            17   25   18   
0.21/0.26	c 2200           11016          100967         65920          0              998            8   22   16    
0.21/0.26	c 2210           11061          101380         66210          0              1002           13   22   17   
0.21/0.26	c 2220           11103          101800         66448          0              1006           9   25   17    
0.21/0.26	c 2230           11150          102251         66710          0              1009           17   24   18   
0.21/0.26	c 2240           11198          102725         67068          0              1010           19   27   21   
0.21/0.26	c 2250           11244          103186         67452          0              1014           11   30   20   
0.21/0.26	c 2260           11291          103627         67685          0              1020           17   28   22   
0.21/0.27	c 2270           11346          104148         68006          0              1024           16   26   19   
0.21/0.27	c 2280           11388          104532         68273          0              1029           13   26   18   
0.21/0.27	c 2290           11435          104980         68602          0              1032           13   26   18   
0.21/0.27	c 2300           11479          105370         68872          0              1036           8   23   16    
0.21/0.27	c 2310           11532          105885         69270          0              1040           15   22   16   
0.21/0.27	c 2320           11593          106444         69632          0              1045           13   25   16   
0.21/0.27	c 2330           11645          106943         69888          0              1047           12   21   15   
0.21/0.27	c 2340           11690          107386         70134          0              1050           14   26   18   
0.21/0.28	c 2350           11742          107858         70469          0              1056           11   24   18   
0.21/0.28	c 2360           11797          108356         70786          0              1063           13   24   18   
0.21/0.28	c 2370           11847          108821         71154          0              1065           12   24   19   
0.21/0.28	c 2380           11888          109221         71366          0              1073           11   28   19   
0.21/0.28	c 2390           11932          109602         71714          0              1078           16   25   18   
0.21/0.28	c 2400           11984          110086         71997          0              1083           14   30   21   
0.21/0.28	c 2410           12041          110658         72455          0              1087           17   28   20   
0.21/0.28	c 2420           12098          111162         72837          0              1090           21   27   22   
0.21/0.29	c 2430           12151          111658         73152          0              1095           23   29   23   
0.21/0.29	c 2431           12167          111778         73193          0              1096           16   16   8    
0.21/0.29	c 2440           12227          112336         73519          0              1099           22   30   23   
0.21/0.29	c 2450           12264          112686         73727          0              1102           10   28   19   
0.21/0.29	c 2460           12314          113187         74056          0              1105           21   30   24   
0.21/0.29	c 2470           12356          113560         74306          0              1111           11   30   21   
0.21/0.29	c 2480           12402          113981         74595          0              1114           16   23   19   
0.21/0.29	c 2490           12452          114444         74872          0              1118           21   27   21   
0.21/0.29	c 2500           12509          114968         75202          0              1124           18   25   20   
0.21/0.29	c 2510           12553          115382         75443          0              1130           16   22   18   
0.21/0.30	c 2520           12596          115770         75647          0              1135           18   23   18   
0.21/0.30	c 2530           12641          116195         75929          0              1139           15   26   19   
0.21/0.30	c 2540           12682          116599         76212          0              1144           10   27   19   
0.21/0.30	c 2550           12725          117000         76523          0              1149           18   25   19   
0.21/0.30	c 2560           12768          117408         76847          0              1154           16   25   19   
0.21/0.30	c 2570           12823          117944         77217          0              1160           18   27   20   
0.21/0.30	c 2580           12876          118442         77518          0              1166           17   29   20   
0.21/0.30	c 2590           12921          118857         77865          0              1171           10   27   19   
0.21/0.30	c 2600           12964          119241         78135          0              1178           11   28   19   
0.21/0.31	c 2610           13018          119773         78513          0              1179           20   29   23   
0.21/0.31	c 2620           13066          120228         78821          0              1184           13   33   21   
0.21/0.31	c 2630           13116          120694         79102          0              1186           21   28   22   
0.21/0.31	c 2640           13157          121095         79319          0              1191           15   27   19   
0.21/0.31	c 2650           13205          121553         79611          0              1197           11   26   19   
0.21/0.31	c 2660           13262          122113         79958          0              1201           19   28   22   
0.21/0.31	c 2670           13305          122543         80240          0              1205           15   23   17   
0.31/0.31	c 2680           13350          122990         80590          0              1210           18   27   20   
0.31/0.32	c 2690           13395          123417         80883          0              1213           19   27   21   
0.31/0.32	c 2700           13440          123874         81181          0              1219           17   26   19   
0.31/0.32	c 2710           13492          124358         81531          0              1224           12   27   20   
0.31/0.32	c 2720           13536          124768         81827          0              1229           17   29   22   
0.31/0.32	c 2730           13595          125339         82236          0              1232           23   30   24   
0.31/0.32	c 2740           13645          125846         82607          0              1237           20   28   22   
0.31/0.32	c 2750           13696          126320         83010          0              1240           18   24   19   
0.31/0.32	c 2760           13750          126847         83330          0              1244           18   29   22   
0.31/0.33	c 2770           13806          127328         83588          0              1250           9   28   20    
0.31/0.33	c 2771           13825          127468         83642          0              1251           19   19   9    
0.31/0.33	c 2780           13872          127908         83885          0              1253           23   29   23   
0.31/0.33	c 2790           13927          128427         84255          0              1255           10   29   20   
0.31/0.33	c 2800           13979          128912         84569          0              1258           19   29   22   
0.31/0.33	c 2810           14031          129412         84927          0              1262           19   28   23   
0.31/0.33	c 2820           14093          129995         85250          0              1266           13   28   19   
0.31/0.33	c 2830           14139          130419         85597          0              1270           14   23   16   
0.31/0.33	c 2840           14190          130913         85960          0              1273           8   28   19    
0.31/0.34	c 2850           14242          131408         86295          0              1277           9   26   19    
0.31/0.34	c 2860           14290          131860         86641          0              1282           14   22   16   
0.31/0.34	c 2870           14333          132265         86899          0              1288           10   23   17   
0.31/0.34	c 2880           14373          132645         87207          0              1293           9   24   16    
0.31/0.34	c 2890           14418          133067         87487          0              1298           12   26   19   
0.31/0.34	c 2900           14472          133555         87791          0              1306           14   26   19   
0.31/0.34	c 2910           14515          133958         88041          0              1308           17   29   22   
0.31/0.34	c 2920           14558          134352         88275          0              1314           12   26   19   
0.31/0.34	c 2930           14615          134858         88600          0              1316           20   27   21   
0.31/0.35	c 2940           14658          135269         88829          0              1322           18   25   20   
0.31/0.35	c 2950           14712          135758         89118          0              1326           24   30   24   
0.31/0.35	c 2960           14760          136188         89384          0              1330           13   27   20   
0.31/0.35	c 2970           14807          136612         89608          0              1334           14   30   23   
0.31/0.35	c 2980           14863          137121         89890          0              1337           23   29   24   
0.31/0.35	c 2990           14916          137609         90210          0              1339           12   29   22   
0.31/0.35	c 3000           14967          138053         90508          0              1343           13   29   22   
0.31/0.35	c 3010           15010          138453         90727          0              1348           18   29   21   
0.31/0.36	c 3020           15061          138956         91070          0              1350           16   23   18   
0.31/0.36	c 3030           15111          139430         91307          0              1356           15   24   18   
0.31/0.36	c 3040           15164          139895         91588          0              1360           17   23   19   
0.31/0.36	c 3050           15216          140368         91945          0              1362           17   26   20   
0.31/0.36	c 3060           15258          140776         92209          0              1368           16   26   19   
0.31/0.36	c 3070           15307          141212         92460          0              1375           10   25   19   
0.31/0.36	c 3080           15347          141618         92815          0              1378           15   23   18   
0.31/0.36	c 3090           15400          142129         93178          0              1379           16   27   20   
0.31/0.36	c 3100           15443          142549         93436          0              1384           15   23   17   
0.31/0.37	c 3110           15496          143045         93750          0              1386           16   25   19   
0.31/0.37	c 3120           15544          143504         94083          0              1391           12   22   16   
0.31/0.37	c 3130           15586          143899         94334          0              1394           10   24   18   
0.31/0.37	c 3140           15644          144437         94687          0              1399           16   26   19   
0.31/0.37	c 3142           15671          144656         94781          0              1401           20   26   15   
0.31/0.37	c 3150           15708          145003         94979          0              1406           13   27   19   
0.31/0.37	c 3160           15752          145417         95267          0              1411           18   24   19   
0.31/0.37	c 3170           15800          145888         95592          0              1414           18   24   19   
0.31/0.37	c 3180           15837          146235         95840          0              1420           10   22   16   
0.31/0.38	c 3190           15895          146763         96187          0              1427           14   25   20   
0.31/0.38	c 3200           15959          147363         96594          0              1431           16   27   19   
0.31/0.38	c 3210           16014          147863         96915          0              1437           19   27   20   
0.31/0.38	c 3220           16054          148252         97203          0              1442           17   28   20   
0.31/0.38	c 3230           16096          148682         97503          0              1449           11   30   19   
0.31/0.38	c 3240           16150          149212         97850          0              1451           20   30   22   
0.31/0.38	c 3250           16207          149758         98163          0              1455           26   32   25   
0.31/0.38	c 3260           16258          150245         98464          0              1458           18   29   22   
0.31/0.39	c 3270           16305          150668         98686          0              1468           17   31   21   
0.31/0.39	c 3280           16356          151160         98997          0              1474           15   36   24   
0.31/0.39	c 3290           16407          151623         99260          0              1476           21   32   25   
0.31/0.39	c 3300           16455          152116         99568          0              1480           18   29   21   
0.31/0.39	c 3310           16505          152577         99862          0              1483           19   32   23   
0.31/0.39	c 3320           16546          152978         100060         0              1490           20   28   22   
0.31/0.39	c 3330           16594          153422         100394         0              1496           20   25   21   
0.31/0.39	c 3340           16634          153794         100612         0              1501           17   22   17   
0.31/0.39	c 3350           16683          154228         100935         0              1507           9   26   18    
0.31/0.40	c 3360           16726          154632         101196         0              1508           18   24   19   
0.31/0.40	c 3370           16770          155078         101517         0              1511           14   22   15   
0.31/0.40	c 3380           16810          155499         101798         0              1515           14   25   17   
0.31/0.40	c 3390           16853          155895         102118         0              1521           13   21   16   
0.31/0.40	c 3400           16893          156331         102421         0              1525           12   22   15   
0.31/0.40	c 3410           16932          156727         102806         0              1529           12   21   16   
0.31/0.40	c 3420           16989          157235         103208         0              1532           13   23   17   
0.31/0.40	c 3430           17044          157708         103539         0              1536           12   24   19   
0.31/0.40	c 3440           17094          158205         103872         0              1540           14   28   19   
0.31/0.41	c 3450           17139          158648         104167         0              1547           15   24   18   
0.31/0.41	c 3460           17183          159048         104473         0              1554           10   27   18   
0.31/0.41	c 3470           17231          159498         104759         0              1559           15   28   20   
0.31/0.41	c 3480           17271          159897         105010         0              1565           17   27   19   
0.31/0.41	c 3490           17322          160357         105312         0              1567           21   28   22   
0.31/0.41	c 3500           17382          160893         105593         0              1569           21   27   22   
0.31/0.41	c 3510           17446          161418         105988         0              1576           15   28   21   
0.41/0.41	c 3520           17506          161953         106301         0              1580           21   28   22   
0.41/0.42	c 3530           17554          162373         106613         0              1582           20   27   21   
0.41/0.42	c 3540           17596          162767         106870         0              1583           19   26   21   
0.41/0.42	c 3550           17646          163229         107165         0              1585           21   27   21   
0.41/0.42	c 3551           17675          163450         107236         0              1586           29   29   14   
0.41/0.42	c 3560           17729          163917         107480         0              1589           18   28   22   
0.41/0.42	c 3570           17777          164363         107700         0              1591           21   27   22   
0.41/0.42	c 3580           17823          164798         108006         0              1594           17   24   19   
0.41/0.42	c 3590           17865          165224         108275         0              1596           18   25   20   
0.41/0.42	c 3600           17913          165676         108654         0              1598           18   26   20   
0.41/0.43	c 3610           17963          166162         109040         0              1600           17   24   19   
0.41/0.43	c 3620           18017          166681         109328         0              1603           21   27   21   
0.41/0.43	c 3630           18067          167139         109644         0              1604           19   26   19   
0.41/0.43	c 3640           18117          167612         110008         0              1611           10   25   17   
0.41/0.43	c 3650           18158          168009         110229         0              1615           12   26   19   
0.41/0.43	c 3660           18204          168439         110487         0              1622           10   25   18   
0.41/0.43	c 3670           18247          168852         110771         0              1627           16   27   20   
0.41/0.43	c 3680           18296          169317         111045         0              1630           11   27   19   
0.41/0.43	c 3690           18343          169756         111333         0              1638           13   25   18   
0.41/0.44	c 3700           18382          170162         111575         0              1643           16   29   21   
0.41/0.44	c 3710           18428          170611         111845         0              1652           11   32   20   
0.41/0.44	c 3720           18479          171092         112164         0              1655           17   28   21   
0.41/0.44	c 3730           18529          171559         112509         0              1660           16   27   19   
0.41/0.44	c 3740           18571          171961         112702         0              1666           16   25   18   
0.41/0.44	c 3750           18620          172422         112940         0              1672           20   27   21   
0.41/0.44	c 3760           18674          172879         113238         0              1679           17   32   22   
0.41/0.44	c 3770           18723          173335         113564         0              1682           23   33   24   
0.41/0.44	c 3780           18773          173764         113844         0              1684           20   26   21   
0.41/0.45	c 3790           18820          174210         114109         0              1691           20   28   22   
0.41/0.45	c 3800           18858          174581         114336         0              1699           12   29   20   
0.41/0.45	c 3810           18903          175014         114612         0              1701           17   28   21   
0.41/0.45	c 3820           18952          175484         114939         0              1706           15   23   17   
0.41/0.45	c 3830           19001          175960         115233         0              1708           12   19   15   
0.41/0.45	c 3840           19048          176386         115557         0              1714           8   23   16    
0.41/0.45	c 3850           19095          176835         115936         0              1719           13   23   17   
0.41/0.45	c 3860           19141          177312         116328         0              1724           10   27   18   
0.41/0.46	c 3870           19206          177905         116725         0              1726           16   26   19   
0.41/0.46	c 3880           19257          178367         117103         0              1732           9   26   17    
0.41/0.46	c 3890           19304          178813         117455         0              1737           13   24   18   
0.41/0.46	c 3900           19351          179225         117760         0              1743           10   26   19   
0.41/0.46	c 3910           19398          179670         118025         0              1747           17   26   21   
0.41/0.46	c 3920           19460          180200         118390         0              1752           19   27   21   
0.41/0.46	c 3930           19515          180696         118673         0              1757           21   27   22   
0.41/0.46	c 3940           19561          181114         118945         0              1763           19   26   21   
0.41/0.47	c 3950           19608          181553         119171         0              1770           16   27   22   
0.41/0.47	c 3960           19649          181933         119372         0              1771           20   26   21   
0.41/0.47	c 3970           19693          182338         119574         0              1778           15   24   18   
0.41/0.47	c 3980           19737          182751         119827         0              1783           12   24   17   
0.41/0.47	c 3990           19794          183260         120131         0              1789           12   27   19   
0.41/0.47	c 4000           19837          183654         120376         0              1795           19   24   19   
0.41/0.47	c 4001           19859          183823         120424         0              1796           22   22   11   
0.41/0.47	c 4010           19893          184141         120681         0              1802           15   23   18   
0.41/0.47	c 4020           19935          184571         121015         0              1804           14   21   15   
0.41/0.47	c 4030           19986          185030         121429         0              1809           11   24   16   
0.41/0.48	c 4040           20024          185408         121733         0              1816           11   22   17   
0.41/0.48	c 4050           20067          185822         122061         0              1824           13   21   16   
0.41/0.48	c 4060           20118          186348         122453         0              1827           17   24   18   
0.41/0.48	c 4070           20173          186880         122793         0              1831           17   25   18   
0.41/0.48	c 4080           20220          187354         123086         0              1834           17   25   19   
0.41/0.48	c 4090           20272          187826         123365         0              1836           15   23   18   
0.41/0.48	c 4100           20317          188259         123683         0              1841           11   23   16   
0.41/0.48	c 4110           20364          188696         123988         0              1842           14   23   17   
0.41/0.49	c 4120           20422          189218         124372         0              1847           12   22   16   
0.41/0.49	c 4130           20466          189624         124714         0              1849           15   21   16   
0.41/0.49	c 4140           20512          190057         125025         0              1852           17   21   17   
0.41/0.49	c 4150           20561          190507         125331         0              1853           16   22   16   
0.41/0.49	c 4160           20607          190915         125585         0              1858           15   20   16   
0.41/0.49	c 4170           20660          191407         125946         0              1863           9   25   18    
0.41/0.49	c 4180           20715          191926         126263         0              1866           20   24   20   
0.41/0.49	c 4190           20764          192381         126522         0              1868           17   23   18   
0.41/0.50	c 4200           20810          192788         126804         0              1871           11   24   16   
0.41/0.50	c 4210           20876          193414         127178         0              1876           14   26   19   
0.41/0.50	c 4220           20932          193912         127518         0              1880           15   23   17   
0.41/0.50	c 4230           20989          194417         127867         0              1883           18   26   20   
0.41/0.50	c 4240           21037          194858         128165         0              1886           18   26   19   
0.41/0.50	c 4250           21085          195338         128486         0              1887           17   29   20   
0.41/0.50	c 4260           21130          195747         128744         0              1892           12   24   17   
0.41/0.50	c 4270           21177          196198         129066         0              1896           15   22   16   
0.41/0.51	c 4280           21221          196609         129353         0              1899           18   23   18   
0.41/0.51	c 4290           21261          196997         129719         0              1900           13   20   15   
0.41/0.51	c 4300           21305          197413         130032         0              1906           7   22   16    
0.41/0.51	c 4310           21350          197836         130340         0              1909           17   23   17   
0.41/0.51	c 4320           21392          198248         130632         0              1913           15   23   18   
0.41/0.51	c 4330           21440          198702         130997         0              1916           16   25   19   
0.41/0.51	c 4340           21479          199076         131333         0              1921           15   24   18   
0.41/0.51	c 4350           21520          199451         131589         0              1929           10   25   18   
0.51/0.51	c 4360           21575          199969         131919         0              1932           20   26   20   
0.51/0.52	c 4370           21629          200501         132247         0              1937           10   29   20   
0.51/0.52	c 4380           21672          200920         132473         0              1941           17   27   20   
0.51/0.52	c 4390           21736          201505         132867         0              1950           14   28   20   
0.51/0.52	c 4400           21781          201958         133152         0              1955           17   28   21   
0.51/0.52	c 4410           21835          202475         133397         0              1961           18   29   23   
0.51/0.52	c 4420           21881          202906         133584         0              1967           25   31   25   
0.51/0.52	c 4430           21934          203439         133910         0              1971           18   27   20   
0.51/0.52	c 4440           21976          203824         134175         0              1978           13   23   17   
0.51/0.53	c 4450           22016          204206         134464         0              1985           9   27   18    
0.51/0.53	c 4460           22063          204660         134735         0              1992           13   24   18   
0.51/0.53	c 4470           22121          205202         135078         0              1995           21   27   22   
0.51/0.53	c 4480           22169          205668         135344         0              2001           17   24   19   
0.51/0.53	c 4490           22217          206132         135655         0              2004           12   26   20   
0.51/0.53	c 4493           22242          206326         135741         0              2007           13   23   13   
0.51/0.53	c 4500           22282          206690         136025         0              2012           14   24   18   
0.51/0.53	c 4510           22329          207134         136328         0              2016           15   27   19   
0.51/0.53	c 4520           22371          207528         136606         0              2023           18   28   21   
0.51/0.54	c 4530           22417          207974         136895         0              2025           12   28   19   
0.51/0.54	c 4540           22464          208417         137227         0              2027           18   26   19   
0.51/0.54	c 4550           22514          208896         137513         0              2033           15   23   19   
0.51/0.54	c 4560           22559          209315         137774         0              2037           18   25   19   
0.51/0.54	c 4570           22597          209672         137987         0              2041           16   21   17   
0.51/0.54	c 4580           22637          210050         138292         0              2042           17   25   19   
0.51/0.54	c 4590           22684          210497         138648         0              2046           10   24   16   
0.51/0.54	c 4600           22731          210924         138948         0              2052           20   27   20   
0.51/0.54	c 4610           22780          211344         139228         0              2057           20   26   21   
0.51/0.55	c 4620           22833          211806         139574         0              2062           16   28   21   
0.51/0.55	c 4630           22876          212209         139807         0              2065           17   27   22   
0.51/0.55	c 4640           22923          212615         140072         0              2073           19   28   20   
0.51/0.55	c 4650           22968          213027         140412         0              2076           12   28   20   
0.51/0.55	c 4660           23015          213421         140676         0              2080           13   28   21   
0.51/0.55	c 4670           23064          213853         140943         0              2085           20   30   23   
0.51/0.55	c 4680           23119          214323         141208         0              2089           20   28   22   
0.51/0.55	c 4690           23164          214752         141458         0              2093           14   30   22   
0.51/0.55	c 4700           23212          215181         141674         0              2099           20   31   24   
0.51/0.55	c 4710           23256          215603         141911         0              2102           19   27   21   
0.51/0.56	c 4720           23315          216175         142352         0              2104           16   25   19   
0.51/0.56	c 4730           23370          216688         142686         0              2110           16   27   19   
0.51/0.56	c 4740           23412          217088         142952         0              2114           10   26   19   
0.51/0.56	c 4750           23461          217563         143337         0              2116           14   23   16   
0.51/0.56	c 4760           23517          218074         143759         0              2119           17   25   19   
0.51/0.56	c 4770           23563          218540         144104         0              2122           16   24   18   
0.51/0.56	c 4780           23606          218943         144424         0              2128           18   26   20   
0.51/0.56	c 4790           23649          219350         144655         0              2133           18   25   20   
0.51/0.57	c 4800           23689          219737         144928         0              2137           10   28   20   
0.51/0.57	c 4810           23734          220175         145227         0              2140           11   28   20   
0.51/0.57	c 4820           23803          220786         145551         0              2145           16   26   21   
0.51/0.57	c 4830           23858          221295         145809         0              2148           20   27   21   
0.51/0.57	c 4840           23906          221759         146100         0              2151           17   24   18   
0.51/0.57	c 4850           23960          222214         146374         0              2154           18   25   20   
0.51/0.57	c 4860           24005          222648         146709         0              2155           17   26   20   
0.51/0.57	c 4870           24052          223078         147006         0              2160           17   25   18   
0.51/0.58	c 4880           24097          223501         147283         0              2164           16   23   18   
0.51/0.58	c 4890           24142          223906         147600         0              2167           12   21   15   
0.51/0.58	c 4900           24187          224338         147976         0              2170           16   26   18   
0.51/0.58	c 4910           24244          224821         148302         0              2175           13   23   17   
0.51/0.58	c 4920           24302          225322         148598         0              2180           12   24   18   
0.51/0.58	c 4930           24341          225692         148809         0              2185           11   25   18   
0.51/0.58	c 4940           24393          226150         149156         0              2188           15   21   16   
0.51/0.58	c 4950           24438          226573         149508         0              2192           10   21   16   
0.51/0.58	c 4960           24475          226944         149834         0              2194           11   21   14   
0.51/0.59	c 4970           24518          227362         150198         0              2200           7   25   15    
0.51/0.59	conflict 14lvl : 16 bt16-43:0(16)X47362
0.51/0.59	 -> -43:X(16)c 4980           24559          227768         150452         0              2206           8   22   15    
0.51/0.59	c 4990           24600          228176         150655         0              2208           21   26   21   
0.51/0.59	c 5035           24744          229684         151720         0              2215           10   27   21   
0.60/0.65	c 5631           26806          251950         167726         0              2223           9   30   20    
0.69/0.71	c 6286           29301          279149         187677         0              2230           11   32   22   
0.69/0.78	c 7006           31803          306178         206221         0              2238           15   33   25   
0.79/0.85	c 7798           34654          336738         228166         0              2248           14   40   25   
0.79/0.85	conflict 10lvl : 24 bt19-63:0(23)X48266
0.89/0.93	c 8669           37954          371723         253953         0              2252           10   32   23   
1.00/1.02	c 9627           41347          407761         281884         0              2260           7   31   21    
1.10/1.13	c 10680          45302          450069         315234         0              2266           8   32   22    
1.19/1.23	c 11838          49132          491317         347525         0              2273           6   28   20    
1.29/1.35	c 13111          53447          538612         382447         0              2282           10   33   24   
1.39/1.47	c 14511          58488          593150         422984         0              2296           11   36   25   
1.59/1.61	c 16051          63798          651111         468609         0              2303           10   32   22   
1.69/1.77	c 17745          70074          720594         518119         0              2314           14   38   28   
1.89/1.93	c 19608          76677          794509         568419         0              2326           14   38   29   
2.00/2.10	c 21657          83698          871201         620194         0              2337           16   39   29   
2.19/2.29	c 23910          91026          949992         676748         0              2345           8   34   23    
2.49/2.51	c 26388          99906          1044990        746884         0              2352           8   34   24    
2.69/2.77	c 29113          109250         1145318        829031         0              2362           5   29   19    
3.00/3.08	c 32110          120134         1266474        930052         0              2374           7   30   21    
3.39/3.40	c 35406          132190         1401456        1035335        0              2381           10   37   25   
3.69/3.73	c 39031          144997         1546816        1141726        0              2388           13   38   27   
4.10/4.12	c 43018          159906         1709417        1259012        0              2397           9   37   25    
4.49/4.50	c 47403          175650         1883943        1377152        0              2406           12   40   29   
4.89/4.93	c 52226          193178         2074171        1510986        0              2413           11   38   27   
4.89/4.93	conflict 15lvl : 35 bt31-73:0(34)X51252
5.29/5.33	c 57531          211524         2270325        1630588        0              2426           15   41   31   
5.79/5.80	c 63366          231814         2490794        1777523        0              2437           8   40   27    
6.29/6.35	c 69784          255143         2744781        1952383        0              2444           13   40   28   
6.89/6.97	c 76843          282426         3040691        2153855        0              2454           13   40   29   
7.59/7.66	c 84607          312002         3359866        2374500        0              2462           12   40   28   
8.29/8.38	c 93147          343549         3693605        2600980        0              2472           14   39   29   
9.19/9.28	c 102541         378573         4081611        2883390        0              2481           7   41   27    
10.29/10.38	c 112874         418322         4527585        3265251        1              2491           4   38   22    
10.89/10.94	conflict 4lvl : 14 bt11-77:0(10)X52904
11.39/11.46	c 124240         461218         5007881        3620680        1              2506           9   41   27    
12.69/12.78	c 136742         507932         5533397        4080198        1              2517           7   34   21    
14.10/14.18	c 150494         561580         6142951        4566378        1              2528           8   41   26    
15.69/15.73	c 165621         621195         6814178        5092976        1              2540           12   41   27   
17.29/17.36	c 182260         681595         7484546        5637122        3              2552           6   40   22    
19.10/19.15	c 200562         751220         8269244        6231679        3              2563           13   41   27   
20.79/20.89	c 220694         825737         9112964        6788901        3              2574           16   44   31   
22.79/22.87	c 242839         910910         10075779       7439462        3              2582           16   43   31   
25.00/25.09	c 267198         1004995        11155643       8188031        3              2591           17   43   31   
27.59/27.63	c 293992         1107720        12316165       8995829        3              2598           13   42   29   
30.59/30.66	c 323465         1228110        13698252       10109715       4              2606           13   43   28   
33.89/33.95	c 355885         1356117        15165137       11266303       5              2614           15   42   27   
36.29/36.35	c solution 1
36.29/36.35	
36.29/36.35	v <instantiation type='solution'>
36.29/36.35	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] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
36.29/36.35	v <values>1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 </values>
36.29/36.35	v </instantiation>
36.29/36.35	
36.29/36.35	c restarts              : 561         
36.29/36.35	c conflicts             : 379696       (10446 /sec)
36.29/36.35	c decisions             : 1455251      (40034 /sec)
36.29/36.35	c propagations          : 12099589    (332863 /sec)
36.29/36.35	c root propagations     : 0           
36.29/36.35	c filter calls          : 16305833       (448578 /sec)
36.29/36.35	c useless filter calls  : 14234046       (87 %)
36.29/36.35	c
36.29/36.35	c clauses               : 2713
36.29/36.35	c SAT propagations      : 353
36.29/36.35	c SAT conflicts         : 68 (4 learnts)
36.29/36.35	c Memory used           : 30.88 MB
36.29/36.35	c CPU time              : 36.35 s
36.29/36.35	
36.29/36.35	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266191-1502568112/watcher-4266191-1502568112 -o /tmp/evaluation-result-4266191-1502568112/solver-4266191-1502568112 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23607 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266191-1502568112.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23637, runsolver pid=23634
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 0.01 0.04 0.05 3/189 23638
/proc/meminfo: memFree=30346548/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31480 memory=3624 CPUtime=0.1 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1069 0 0 0 10 0 0 0 20 0 1 0 89899084 32235520 906 33554432000 4194304 5972588 140721006921440 140721006918088 5048575 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7870 906 784 435 0 1233 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 3624 KiB

[startup+0.209379 s]*
/proc/loadavg: 0.01 0.04 0.05 3/189 23638
/proc/meminfo: memFree=30346548/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31480 memory=3624 CPUtime=0.21 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1082 0 0 0 21 0 0 0 20 0 1 0 89899084 32235520 906 33554432000 4194304 5972588 140721006921440 140721006918088 140076261125216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7870 906 784 435 0 1233 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 3624 KiB

[startup+0.309199 s]*
/proc/loadavg: 0.01 0.04 0.05 3/189 23638
/proc/meminfo: memFree=30346548/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31480 memory=3624 CPUtime=0.31 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1095 0 0 0 31 0 0 0 20 0 1 0 89899084 32235520 906 33554432000 4194304 5972588 140721006921440 140721006918088 140076261125216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7870 906 784 435 0 1233 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 3624 KiB

[startup+0.700222 s]
/proc/loadavg: 0.01 0.04 0.05 4/189 23638
/proc/meminfo: memFree=30345400/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3888 CPUtime=0.69 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1136 0 0 0 69 0 0 0 20 0 1 0 89899084 32374784 972 33554432000 4194304 5972588 140721006921440 140721006918088 5039714 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 972 786 435 0 1267 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3888 KiB

[startup+1.50022 s]
/proc/loadavg: 0.01 0.04 0.05 3/189 23638
/proc/meminfo: memFree=30345384/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3888 CPUtime=1.49 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1140 0 0 0 149 0 0 0 20 0 1 0 89899084 32374784 972 33554432000 4194304 5972588 140721006921440 140721006918744 5046284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 972 786 435 0 1267 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3888 KiB

[startup+3.10962 s]
/proc/loadavg: 0.01 0.04 0.05 2/203 23668
/proc/meminfo: memFree=30298380/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3920 CPUtime=3.1 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1268 0 0 0 310 0 0 0 20 0 1 0 89899084 32374784 980 33554432000 4194304 5972588 140721006921440 140721006918744 5139319 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 980 789 435 0 1267 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3920 KiB

[startup+6.30026 s]
/proc/loadavg: 0.17 0.07 0.06 3/190 23700
/proc/meminfo: memFree=30276540/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3940 CPUtime=6.29 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1403 0 0 0 629 0 0 0 20 0 1 0 89899084 32374784 985 33554432000 4194304 5972588 140721006921440 140721006918840 5139274 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 985 789 435 0 1267 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3940 KiB

[startup+12.7003 s]
/proc/loadavg: 0.32 0.10 0.07 3/190 23700
/proc/meminfo: memFree=30258396/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3956 CPUtime=12.69 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1539 0 0 0 1269 0 0 0 20 0 1 0 89899084 32374784 989 33554432000 4194304 5972588 140721006921440 140721006918744 5048580 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 989 789 435 0 1267 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3956 KiB

[startup+25.5003 s]
/proc/loadavg: 0.69 0.19 0.10 3/190 23700
/proc/meminfo: memFree=30257276/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3984 CPUtime=25.49 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1821 0 0 0 2549 0 0 0 20 0 1 0 89899084 32374784 996 33554432000 4194304 5972588 140721006921440 140721006918744 5046284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 996 789 435 0 1267 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3984 KiB

[startup+36.3513 s]
# the end of solver process 23637 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=36.3503 s, system=0.002001 s

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

[startup+25.6003 s]
/proc/loadavg: 0.69 0.19 0.10 3/190 23700
/proc/meminfo: memFree=30257276/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3984 CPUtime=25.59 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1821 0 0 0 2559 0 0 0 20 0 1 0 89899084 32374784 996 33554432000 4194304 5972588 140721006921440 140721006918744 5046624 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 996 789 435 0 1267 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3984 KiB

[startup+32.0003 s]*
/proc/loadavg: 0.80 0.22 0.11 3/190 23700
/proc/meminfo: memFree=30257656/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3984 CPUtime=32 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1821 0 0 0 3200 0 0 0 20 0 1 0 89899084 32374784 996 33554432000 4194304 5972588 140721006921440 140721006918744 5139333 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 996 789 435 0 1267 0
Current children cumulated CPU time: 32 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3984 KiB

[startup+33.6003 s]
/proc/loadavg: 0.80 0.22 0.11 3/190 23700
/proc/meminfo: memFree=30257656/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3984 CPUtime=33.59 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1823 0 0 0 3359 0 0 0 20 0 1 0 89899084 32374784 996 33554432000 4194304 5972588 140721006921440 140721006918744 5139490 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 996 789 435 0 1267 0
Current children cumulated CPU time: 33.59 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3984 KiB

[startup+35.2003 s]
/proc/loadavg: 0.89 0.25 0.12 3/190 23700
/proc/meminfo: memFree=30256152/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3984 CPUtime=35.19 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1823 0 0 0 3519 0 0 0 20 0 1 0 89899084 32374784 996 33554432000 4194304 5972588 140721006921440 140721006918744 5040622 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 996 789 435 0 1267 0
Current children cumulated CPU time: 35.19 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3984 KiB

[startup+36.0003 s]*
/proc/loadavg: 0.89 0.25 0.12 3/190 23700
/proc/meminfo: memFree=30256220/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3984 CPUtime=36 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1823 0 0 0 3600 0 0 0 20 0 1 0 89899084 32374784 996 33554432000 4194304 5972588 140721006921440 140721006918744 5139324 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 996 789 435 0 1267 0
Current children cumulated CPU time: 36 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3984 KiB

[startup+36.2002 s]
/proc/loadavg: 0.89 0.25 0.12 3/190 23700
/proc/meminfo: memFree=30256220/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3984 CPUtime=36.19 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1823 0 0 0 3619 0 0 0 20 0 1 0 89899084 32374784 996 33554432000 4194304 5972588 140721006921440 140721006918744 5048674 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 996 789 435 0 1267 0
Current children cumulated CPU time: 36.19 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3984 KiB

[startup+36.3003 s]
/proc/loadavg: 0.89 0.25 0.12 3/190 23700
/proc/meminfo: memFree=30256220/32770624 swapFree=67108860/67108860
[pid=23637] ppid=23634 vsize=31616 memory=3984 CPUtime=36.29 cores=1,3,5,7
/proc/23637/stat : 23637 (cosoco) R 23634 23637 23522 0 -1 4202496 1823 0 0 0 3629 0 0 0 20 0 1 0 89899084 32374784 996 33554432000 4194304 5972588 140721006921440 140721006918744 5046280 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15785984 140721006929082 140721006929182 140721006929182 140721006931918 0
/proc/23637/statm: 7904 996 789 435 0 1267 0
Current children cumulated CPU time: 36.29 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 3984 KiB

Child status: 0
Real time (s): 36.3513
CPU time (s): 36.3523
CPU user time (s): 36.3503
CPU system time (s): 0.002001
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 31616
Max. memory (cumulated for all children) (KiB): 3984

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


# summary of solver processes directly reported to runsolver:
#   pid: 23637
#   total CPU time (s): 36.3523
#   total CPU user time (s): 36.3503
#   total CPU system time (s): 0.002001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.166911 second user time and 0.293515 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-12 21:47:34
IDJOB=4266191
IDBENCH=120877
IDSOLVER=2655
FILE ID=node112/4266191-1502568112
RUNJOBID= node112-1502567254-23607
PBS_JOBID= 20628283
Free space on /tmp= 61788 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-2-22.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266191-1502568112/watcher-4266191-1502568112 -o /tmp/evaluation-result-4266191-1502568112/solver-4266191-1502568112 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23607 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266191-1502568112.xml

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

MD5SUM BENCH= 63c49c4fa2f593a3284d3df8e40494dc
RANDOM SEED=132921958

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30347896 kB
MemAvailable:   32002304 kB
Buffers:          120012 kB
Cached:          1832036 kB
SwapCached:            0 kB
Active:           341364 kB
Inactive:        1662384 kB
Active(anon):      55288 kB
Inactive(anon):    25020 kB
Active(file):     286076 kB
Inactive(file):  1637364 kB
Unevictable:        6280 kB
Mlocked:            6280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4760 kB
Writeback:             0 kB
AnonPages:         58208 kB
Mapped:            43872 kB
Shmem:             25224 kB
Slab:             117712 kB
SReclaimable:      93604 kB
SUnreclaim:        24108 kB
KernelStack:        3184 kB
PageTables:         4992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     355312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61776 MiB
End job on node112 at 2017-08-12 21:48:11