Trace number 4241433

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1? (TO) 2400.03 2400.4

General information on the benchmark

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

Solver Data 

0.00/0.01	c SAT : Variables: 300 -- Clauses: 300
0.00/0.01	c root propagations     : 0           
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.0 --  
0.00/0.01	c
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 150
0.00/0.01	c |            Domain Sizes: 2..2
0.00/0.01	c |
0.00/0.01	c |             Constraints: 100
0.00/0.01	c |                   Arity: 3..3  -- Ternary: 100
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Extension: 100  (nb tuples: 4..4) -- (shared: 95)
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 10             200            1044           881            0              1              97   147   112 
0.00/0.01	c 20             326            1428           1156           0              4              94   105   90  
0.00/0.01	c 30             468            1841           1447           0              5              124   131   116
0.00/0.01	c 40             568            2145           1678           0              7              74   90   74   
0.00/0.01	c 50             688            2518           1962           0              9              84   91   80   
0.00/0.01	c 60             863            3046           2360           0              11             135   147   127
0.00/0.01	c 70             1003           3460           2671           0              13             106   130   108
0.00/0.01	c 80             1165           3948           3035           0              15             121   128   112
0.00/0.01	c 90             1325           4443           3411           0              19             108   119   104
0.00/0.01	c 100            1399           4680           3603           0              20             51   65   54   
0.00/0.01	c 101            1522           5009           3814           0              21             123   123   61 
0.00/0.02	c 110            1713           5587           4244           0              24             98   147   102 
0.00/0.02	c 120            1836           5972           4555           0              26             72   89   78   
0.00/0.02	c 130            1944           6306           4842           0              27             59   72   60   
0.00/0.02	c 140            2024           6575           5059           0              30             52   60   51   
0.00/0.02	c 150            2168           7003           5369           0              34             43   116   60  
0.00/0.02	c 160            2361           7574           5795           0              38             96   147   108 
0.00/0.02	c 170            2533           8100           6194           0              39             125   147   122
0.00/0.02	c 180            2690           8565           6542           0              40             127   139   119
0.00/0.02	c 190            2878           9133           6971           0              43             47   138   116 
0.00/0.02	c 200            3023           9562           7288           0              45             49   128   104 
0.00/0.02	c 210            3203           10073          7664           0              47             70   140   86  
0.00/0.03	c 211            3340           10441          7902           0              48             137   137   68 
0.00/0.03	c 220            3502           10931          8263           0              49             133   140   122
0.00/0.03	c 230            3679           11474          8666           0              52             102   145   123
0.00/0.03	c 240            3773           11738          8856           0              53             77   85   73   
0.00/0.03	c 250            3957           12281          9271           0              55             129   144   125
0.00/0.03	c 260            4046           12555          9483           0              56             68   80   67   
0.00/0.03	c 270            4159           12892          9735           0              58             89   100   86  
0.00/0.03	c 280            4248           13174          9963           0              60             58   77   60   
0.00/0.03	c 290            4352           13489          10199          0              61             83   90   78   
0.00/0.03	c 300            4609           14286          10851          0              66             49   147   120 
0.00/0.03	c 310            4820           14924          11364          0              69             121   143   121
0.00/0.03	c 320            5021           15513          11827          0              71             131   145   127
0.00/0.04	c 330            5210           16096          12287          0              73             59   142   114 
0.00/0.04	c 332            5348           16468          12525          0              75             62   137   66  
0.00/0.04	c 340            5509           16995          12923          0              80             94   133   108 
0.00/0.04	c 350            5708           17601          13407          0              84             79   143   121 
0.00/0.04	c 360            5892           18142          13815          0              87             81   143   121 
0.00/0.04	c 370            6077           18716          14238          0              92             97   140   121 
0.00/0.04	c 380            6253           19261          14665          0              94             97   125   105 
0.00/0.04	c 390            6415           19738          15024          0              96             111   131   110
0.00/0.04	c 400            6554           20152          15349          0              98             81   102   84  
0.00/0.04	c 410            6682           20547          15667          0              99             79   93   78   
0.00/0.04	c 420            6763           20797          15864          0              100            54   65   53   
0.00/0.04	c 430            6943           21331          16270          0              102            116   136   116
0.00/0.05	c 440            7081           21739          16578          0              103            109   129   110
0.00/0.05	c 450            7250           22257          16995          0              106            103   121   101
0.00/0.05	c 460            7406           22721          17359          0              107            107   110   99 
0.00/0.05	c 465            7518           23032          17569          0              109            99   105   86  
0.00/0.05	c 470            7637           23361          17807          0              110            99   109   87  
0.00/0.05	c 480            7716           23604          17994          0              112            53   65   55   
0.00/0.05	c 490            7856           24016          18306          0              116            56   102   86  
0.00/0.05	c 500            7952           24355          18585          0              119            56   66   56   
0.00/0.05	c 510            8045           24657          18833          0              121            54   68   56   
0.00/0.05	c 520            8147           24969          19076          0              123            61   71   61   
0.00/0.05	c 530            8248           25299          19355          0              125            49   52   46   
0.00/0.05	c 540            8430           25833          19755          0              127            87   143   99  
0.00/0.05	c 550            8607           26360          20146          0              131            41   138   75  
0.00/0.05	c 560            8671           26542          20291          0              133            39   52   42   
0.00/0.06	c 570            8859           27086          20720          0              135            105   147   123
0.00/0.06	c 580            9074           27723          21213          0              137            128   147   130
0.00/0.06	c 590            9246           28240          21586          0              140            137   142   127
0.00/0.06	c 600            9416           28747          21972          0              144            106   119   102
0.00/0.06	c 610            9636           29396          22490          0              147            115   147   129
0.00/0.06	c 611            9769           29763          22732          0              148            133   133   66 
0.00/0.06	c 620            9969           30342          23180          0              151            31   147   84  
0.00/0.06	c 630            10129          30799          23518          0              154            14   144   92  
0.00/0.06	c 640            10324          31363          23955          0              158            133   144   127
0.00/0.06	c 650            10461          31763          24246          0              159            115   128   110
0.00/0.06	c 660            10653          32341          24687          0              162            106   145   126
0.00/0.07	c 670            10828          32869          25092          0              163            132   145   125
0.00/0.07	c 680            11000          33378          25481          0              166            123   141   123
0.00/0.07	c 690            11201          33972          25936          0              169            129   140   124
0.00/0.07	c 700            11382          34482          26338          0              170            118   133   117
0.00/0.07	c 710            11569          35023          26741          0              173            115   145   117
0.00/0.07	c 720            11744          35553          27153          0              176            117   130   112
0.00/0.07	c 730            11904          36033          27520          0              178            115   125   109
0.00/0.07	c 740            12115          36661          28006          0              181            134   145   127
0.00/0.07	c 750            12300          37207          28425          0              183            120   137   117
0.00/0.07	c 760            12490          37785          28862          0              186            127   144   128
0.00/0.07	c 770            12679          38359          29301          0              188            131   143   124
0.00/0.08	c 771            12766          38588          29446          0              189            87   87   43   
0.00/0.08	c 780            12961          39160          29895          0              190            134   146   129
0.00/0.08	c 790            13117          39615          30242          0              192            114   146   121
0.00/0.08	c 800            13302          40164          30669          0              195            124   141   121
0.00/0.08	c 810            13499          40728          31113          0              196            138   145   129
0.00/0.08	c 820            13659          41198          31476          0              198            105   129   108
0.00/0.08	c 830            13799          41624          31788          0              199            111   126   109
0.00/0.08	c 840            13869          41839          31954          0              201            49   59   49   
0.00/0.08	c 850            14019          42286          32291          0              207            43   113   80  
0.00/0.08	c 860            14188          42788          32673          0              209            116   141   117
0.00/0.08	c 870            14357          43281          33037          0              211            90   140   89  
0.00/0.08	c 880            14527          43789          33428          0              213            90   118   92  
0.00/0.08	c 890            14676          44245          33795          0              216            94   109   94  
0.00/0.08	c 900            14806          44625          34086          0              218            88   98   85   
0.00/0.09	c 910            14998          45200          34521          0              222            133   145   129
0.00/0.09	c 920            15177          45716          34900          0              224            109   145   108
0.00/0.09	c 930            15358          46246          35295          0              227            124   145   124
0.00/0.09	c 940            15590          46924          35835          0              230            136   145   128
0.00/0.09	c 947            15770          47449          36234          0              231            135   144   123
0.00/0.09	c 950            15952          47955          36598          0              233            140   144   106
0.00/0.09	c 960            16207          48781          37325          0              234            107   143   124
0.00/0.09	c 970            16397          49346          37767          0              235            126   144   126
0.00/0.09	c 980            16582          49896          38186          0              238            78   144   92  
0.00/0.09	c 990            16748          50394          38549          0              241            117   139   113
0.00/0.09	c 1000           16965          51083          39114          0              244            116   137   119
0.00/0.09	c 1010           17141          51606          39510          0              247            110   130   108
0.09/0.10	c 1020           17323          52146          39923          0              249            128   137   123
0.09/0.10	c 1030           17534          52786          40439          0              251            118   136   117
0.09/0.10	c 1040           17675          53215          40776          0              252            112   132   109
0.09/0.10	c 1050           17842          53704          41169          0              254            89   116   90  
0.09/0.10	c 1060           17963          54060          41435          0              255            97   112   93  
0.09/0.10	c 1070           18139          54572          41848          0              259            89   97   84   
0.09/0.10	c 1080           18332          55153          42284          0              262            131   144   127
0.09/0.10	c 1090           18608          55949          42942          0              268            115   144   125
0.09/0.10	c 1100           18822          56594          43456          0              272            123   144   127
0.09/0.10	c 1110           19012          57179          43908          0              274            132   144   126
0.09/0.10	c 1120           19248          57898          44518          0              277            103   136   110
0.09/0.10	c 1130           19371          58266          44795          0              279            88   105   89  
0.09/0.11	c 1140           19558          58855          45271          0              282            113   140   117
0.09/0.11	c 1141           19681          59188          45487          0              283            123   123   61 
0.09/0.11	c 1150           19828          59624          45816          0              286            107   120   101
0.09/0.11	c 1160           19970          60039          46126          0              287            112   128   109
0.09/0.11	c 1170           20156          60588          46540          0              290            98   140   107 
0.09/0.11	c 1180           20322          61080          46918          0              292            114   126   109
0.09/0.11	c 1190           20495          61603          47351          0              293            113   124   108
0.09/0.11	c 1200           20678          62142          47779          0              295            109   121   107
0.09/0.11	c 1210           20914          62889          48429          0              297            99   123   103 
0.09/0.11	c 1220           21076          63381          48808          0              299            107   116   102
0.09/0.11	c 1230           21225          63826          49170          0              300            86   111   87  
0.09/0.11	c 1240           21446          64469          49685          0              304            112   144   128
0.09/0.11	c 1250           21585          64905          50048          0              306            80   94   80   
0.09/0.11	c 1260           21677          65181          50266          0              308            59   74   59   
0.09/0.11	c 1270           21808          65577          50578          0              312            72   92   76   
0.09/0.12	c 1280           21916          65894          50820          0              315            74   83   72   
0.09/0.12	c 1290           22113          66469          51267          0              316            135   144   130
0.09/0.12	c 1300           22313          67056          51714          0              320            128   144   127
0.09/0.12	c 1310           22573          67869          52422          0              322            106   137   118
0.09/0.12	c 1320           22719          68308          52750          0              324            113   137   116
0.09/0.12	c 1330           22938          68949          53256          0              326            125   144   119
0.09/0.12	c 1340           23118          69470          53653          0              328            121   144   126
0.09/0.12	c 1350           23320          70072          54128          0              330            123   139   121
0.09/0.12	c 1352           23422          70357          54323          0              332            90   99   63   
0.09/0.12	c 1360           23578          70808          54653          0              334            82   143   87  
0.09/0.12	c 1370           23747          71311          55077          0              338            62   79   68   
0.09/0.12	c 1380           23944          71896          55520          0              342            67   143   83  
0.09/0.12	c 1390           24092          72340          55852          0              343            121   139   118
0.09/0.12	c 1400           24331          73058          56430          0              348            69   143   113 
0.09/0.13	c 1410           24557          73787          57019          0              350            123   144   124
0.09/0.13	c 1420           24756          74400          57514          0              351            120   144   120
0.09/0.13	c 1430           24963          75037          58015          0              354            129   144   127
0.09/0.13	c 1440           25173          75652          58505          0              356            124   142   121
0.09/0.13	c 1450           25387          76285          59010          0              358            116   131   117
0.09/0.13	c 1460           25521          76681          59330          0              359            80   109   89  
0.09/0.13	c 1470           25708          77252          59800          0              362            91   121   100 
0.09/0.13	c 1480           25925          77881          60289          0              366            115   144   126
0.09/0.13	c 1490           26089          78361          60663          0              369            102   128   102
0.09/0.13	c 1500           26280          78926          61090          0              373            95   144   110 
0.09/0.13	c 1510           26516          79681          61695          0              376            92   146   117 
0.09/0.13	c 1520           26692          80203          62096          0              379            91   143   114 
0.09/0.13	c 1530           26820          80571          62370          0              381            99   115   98  
0.09/0.14	c 1540           27038          81226          62885          0              383            128   143   126
0.09/0.14	c 1550           27240          81829          63358          0              385            120   143   122
0.09/0.14	c 1560           27411          82329          63729          0              388            125   142   122
0.09/0.14	c 1570           27629          82991          64266          0              391            125   139   122
0.09/0.14	c 1580           27769          83406          64602          0              393            84   97   82   
0.09/0.14	c 1585           27883          83729          64834          0              395            94   97   80   
0.09/0.14	c 1590           28032          84150          65141          0              396            120   132   106
0.09/0.14	c 1600           28192          84615          65499          0              399            112   125   109
0.09/0.14	c 1610           28365          85113          65877          0              403            127   136   120
0.09/0.14	c 1620           28580          85755          66383          0              406            123   136   120
0.09/0.14	c 1630           28829          86517          67009          0              409            123   136   120
0.09/0.14	c 1640           29076          87244          67607          0              414            116   136   120
0.09/0.14	c 1650           29319          87979          68245          0              416            101   129   112
0.09/0.14	c 1660           29538          88626          68782          0              417            117   129   115
0.09/0.15	c 1670           29721          89201          69229          0              421            99   126   106 
0.09/0.15	c 1680           29891          89725          69652          0              423            98   118   98  
0.09/0.15	c 1690           30023          90122          69956          0              425            86   106   89  
0.09/0.15	c 1700           30135          90437          70199          0              426            82   103   84  
0.09/0.15	c 1710           30253          90803          70498          0              427            86   101   87  
0.09/0.15	c 1720           30438          91395          71014          0              429            71   97   83   
0.09/0.15	c 1730           30602          91877          71402          0              433            86   97   85   
0.09/0.15	c 1740           30727          92254          71716          0              434            84   96   83   
0.09/0.15	c 1750           30929          92876          72256          0              438            70   94   81   
0.09/0.15	c 1760           31104          93397          72711          0              440            74   90   79   
0.09/0.15	c 1770           31267          93896          73137          0              442            80   94   82   
0.09/0.15	c 1780           31414          94332          73490          0              444            85   94   84   
0.09/0.15	c 1790           31608          94907          73925          0              448            127   136   121
0.09/0.15	c 1800           31788          95440          74335          0              451            99   128   102 
0.09/0.15	c 1810           31891          95763          74603          0              452            64   94   70   
0.09/0.15	c 1820           31980          96041          74826          0              453            59   63   55   
0.09/0.15	c 1830           32050          96270          75017          0              455            38   56   45   
0.09/0.16	c 1840           32216          96760          75388          0              459            46   128   85  
0.09/0.16	c 1841           32332          97065          75582          0              460            116   116   58 
0.09/0.16	c 1850           32513          97592          75979          0              463            118   145   125
0.09/0.16	c 1860           32689          98108          76376          0              467            122   128   114
0.09/0.16	c 1870           32820          98495          76667          0              468            105   122   102
0.09/0.16	c 1880           33016          99072          77110          0              472            126   144   125
0.09/0.16	c 1890           33191          99595          77519          0              474            116   144   123
0.09/0.16	c 1900           33397          100188         77965          0              478            115   144   117
0.09/0.16	c 1910           33616          100834         78469          0              482            129   144   128
0.09/0.16	c 1920           33816          101436         78946          0              485            125   144   127
0.09/0.16	c 1930           34007          102032         79411          0              487            129   144   125
0.09/0.16	c 1940           34298          102858         80133          0              490            127   142   125
0.09/0.16	c 1950           34529          103539         80696          0              493            128   144   128
0.09/0.16	c 1960           34824          104431         81443          0              497            113   144   127
0.09/0.17	c 1970           35109          105370         82255          0              500            111   143   119
0.09/0.17	c 1980           35359          106127         82875          0              505            116   143   123
0.09/0.17	c 1990           35504          106569         83217          0              508            78   108   83  
0.09/0.17	c 2000           35698          107143         83657          0              510            132   143   127
0.09/0.17	c 2010           35836          107549         83957          0              512            111   127   110
0.09/0.17	c 2020           36055          108177         84460          0              514            140   144   130
0.09/0.17	c 2030           36222          108692         84855          0              515            130   142   124
0.09/0.17	c 2040           36383          109175         85223          0              517            118   137   116
0.09/0.17	c 2050           36580          109773         85727          0              519            107   119   104
0.09/0.17	c 2060           36770          110334         86155          0              522            141   144   129
0.09/0.17	c 2070           36920          110788         86513          0              523            95   116   96  
0.09/0.17	c 2080           37020          111096         86763          0              524            56   77   60   
0.09/0.17	c 2090           37128          111414         86998          0              526            52   87   66   
0.09/0.17	c 2100           37325          111996         87435          0              529            131   144   125
0.09/0.17	c 2110           37508          112549         87874          0              532            110   135   113
0.09/0.17	c 2120           37670          113017         88235          0              535            114   123   108
0.09/0.18	c 2122           37795          113354         88453          0              537            122   122   81 
0.09/0.18	c 2130           37973          113885         88879          0              539            95   125   102 
0.09/0.18	c 2140           38164          114449         89322          0              543            106   122   105
0.09/0.18	c 2150           38314          114888         89660          0              544            108   125   103
0.09/0.18	c 2160           38462          115326         90011          0              545            90   107   90  
0.09/0.18	c 2170           38594          115743         90335          0              548            88   107   88  
0.09/0.18	c 2180           38743          116195         90687          0              552            77   107   85  
0.09/0.18	c 2190           38866          116573         90998          0              555            58   74   61   
0.09/0.18	c 2200           39070          117159         91475          0              557            135   144   127
0.09/0.18	c 2210           39282          117778         91978          0              560            131   144   127
0.09/0.18	c 2220           39501          118434         92524          0              561            120   143   124
0.09/0.18	c 2230           39760          119207         93189          0              562            118   143   127
0.09/0.18	c 2240           39882          119562         93457          0              563            97   113   93  
0.09/0.18	c 2250           40043          120031         93816          0              565            114   139   116
0.09/0.18	c 2260           40264          120692         94331          0              568            83   143   88  
0.09/0.18	c 2270           40458          121273         94774          0              571            132   143   126
0.09/0.19	c 2280           40662          121872         95235          0              574            133   143   126
0.09/0.19	c 2290           40826          122353         95603          0              575            125   143   122
0.09/0.19	c 2300           41018          122908         96026          0              578            129   139   124
0.09/0.19	c 2310           41198          123453         96460          0              580            115   136   116
0.09/0.19	c 2320           41421          124110         97013          0              581            109   126   108
0.09/0.19	c 2330           41549          124499         97323          0              583            79   108   84  
0.09/0.19	c 2340           41731          125034         97731          0              586            123   128   115
0.09/0.19	c 2350           41923          125636         98210          0              589            99   119   103 
0.09/0.19	c 2360           42092          126142         98592          0              593            105   117   103
0.09/0.19	c 2370           42308          126791         99091          0              597            134   143   128
0.09/0.19	c 2380           42479          127282         99457          0              598            134   143   127
0.09/0.19	c 2390           42671          127838         99876          0              600            135   143   128
0.09/0.19	c 2400           42842          128330         100237         0              602            130   143   123
0.09/0.19	c 2410           42994          128769         100566         0              603            118   143   120
0.09/0.19	c 2420           43164          129306         101005         0              605            98   118   97  
0.09/0.19	c 2430           43290          129690         101304         0              606            91   117   88  
0.09/0.19	c 2431           43387          129938         101456         0              607            97   97   48   
0.09/0.19	c 2440           43504          130288         101721         0              610            79   89   77   
0.09/0.19	c 2450           43605          130563         101919         0              611            82   92   79   
0.09/0.19	c 2460           43677          130794         102102         0              612            46   53   45   
0.09/0.20	c 2470           43772          131085         102324         0              613            68   82   69   
0.19/0.20	c 2480           43969          131661         102757         0              616            107   143   113
0.19/0.20	c 2490           44142          132179         103172         0              618            117   127   113
0.19/0.20	c 2500           44302          132654         103536         0              619            111   121   107
0.19/0.20	c 2510           44425          133025         103823         0              621            76   92   79   
0.19/0.20	c 2520           44551          133393         104137         0              622            67   76   65   
0.19/0.20	c 2530           44647          133683         104363         0              623            66   76   64   
0.19/0.20	c 2540           44733          133948         104562         0              624            67   76   65   
0.19/0.20	c 2550           44833          134261         104817         0              626            56   64   56   
0.19/0.20	c 2560           45017          134840         105258         0              630            103   143   108
0.19/0.20	c 2570           45193          135366         105657         0              632            130   143   125
0.19/0.20	c 2580           45352          135851         106035         0              633            107   117   102
0.19/0.20	c 2590           45542          136432         106484         0              637            121   143   126
0.19/0.20	c 2600           45759          137076         107007         0              639            134   143   127
0.19/0.20	c 2610           45971          137708         107519         0              643            127   143   127
0.19/0.20	c 2620           46173          138338         108034         0              646            69   143   110 
0.19/0.20	c 2630           46418          139122         108675         0              649            131   143   126
0.19/0.20	c 2640           46601          139684         109123         0              650            118   143   119
0.19/0.20	c 2650           46818          140341         109644         0              652            133   143   127
0.19/0.21	c 2660           47012          140914         110077         0              655            72   139   95  
0.19/0.21	c 2670           47212          141523         110573         0              656            124   143   125
0.19/0.21	c 2680           47388          142059         110986         0              658            120   133   115
0.19/0.21	c 2690           47590          142645         111455         0              660            124   132   117
0.19/0.21	c 2700           47742          143095         111799         0              662            108   114   102
0.19/0.21	c 2710           47914          143589         112177         0              663            119   132   116
0.19/0.21	c 2720           48112          144188         112643         0              666            119   132   113
0.19/0.21	c 2730           48251          144606         112982         0              667            74   87   75   
0.19/0.21	c 2740           48439          145174         113443         0              668            114   132   115
0.19/0.21	c 2750           48607          145689         113857         0              670            76   99   83   
0.19/0.21	c 2760           48715          146023         114127         0              672            61   80   65   
0.19/0.21	c 2770           48865          146486         114500         0              674            87   99   86   
0.19/0.21	c 2771           48930          146655         114606         0              675            65   65   32   
0.19/0.21	c 2780           49090          147126         114973         0              677            107   120   103
0.19/0.21	c 2790           49246          147601         115356         0              679            91   98   88   
0.19/0.21	c 2800           49321          147842         115548         0              680            53   64   53   
0.19/0.21	c 2810           49493          148343         115942         0              683            118   129   113
0.19/0.21	c 2820           49638          148783         116281         0              684            99   117   99  
0.19/0.21	c 2830           49812          149283         116657         0              687            119   126   112
0.19/0.21	c 2840           49981          149786         117052         0              690            112   125   110
0.19/0.21	c 2850           50143          150265         117422         0              692            106   121   104
0.19/0.22	c 2860           50328          150827         117878         0              694            104   119   100
0.19/0.22	c 2870           50460          151244         118224         0              698            68   83   70   
0.19/0.22	c 2880           50578          151622         118546         0              700            52   70   58   
0.19/0.22	c 2890           50668          151895         118769         0              701            56   61   54   
0.19/0.22	c 2900           50760          152191         119005         0              704            54   63   53   
0.19/0.22	c 2910           50831          152415         119185         0              705            45   56   45   
0.19/0.22	c 2920           51030          152991         119637         0              708            60   143   118 
0.19/0.22	c 2930           51213          153530         120034         0              713            130   143   126
0.19/0.22	c 2940           51414          154112         120487         0              715            137   143   129
0.19/0.22	c 2950           51636          154769         121012         0              719            130   145   128
0.19/0.22	c 2960           51829          155327         121453         0              720            132   143   126
0.19/0.22	c 2970           52011          155868         121883         0              723            113   139   119
0.19/0.22	c 2980           52209          156458         122330         0              727            51   143   92  
0.19/0.22	c 2990           52429          157162         122916         0              729            116   143   123
0.19/0.22	c 3000           52673          157887         123495         0              731            139   143   129
0.19/0.22	c 3010           52889          158520         123989         0              733            127   143   127
0.19/0.22	c 3020           53083          159092         124440         0              734            126   143   124
0.19/0.22	c 3030           53309          159751         124994         0              737            123   129   114
0.19/0.23	c 3040           53460          160220         125374         0              739            79   108   85  
0.19/0.23	c 3050           53591          160617         125696         0              740            76   86   75   
0.19/0.23	c 3060           53797          161215         126162         0              743            50   143   120 
0.19/0.23	c 3070           54014          161833         126653         0              745            141   145   130
0.19/0.23	c 3080           54213          162423         127109         0              748            133   143   126
0.19/0.23	c 3090           54410          162993         127563         0              749            128   143   126
0.19/0.23	c 3100           54657          163730         128166         0              752            128   143   127
0.19/0.23	c 3110           54892          164436         128746         0              754            123   143   126
0.19/0.23	c 3120           55085          164998         129178         0              758            135   143   127
0.19/0.23	c 3130           55295          165601         129649         0              760            127   139   125
0.19/0.23	c 3140           55469          166156         130109         0              761            102   129   108
0.19/0.23	c 3142           55607          166537         130362         0              763            124   132   85 
0.19/0.23	c 3150           55761          166996         130703         0              764            123   139   117
0.19/0.23	c 3160           55952          167555         131145         0              767            106   130   106
0.19/0.23	c 3170           56149          168133         131584         0              770            115   143   122
0.19/0.23	c 3180           56305          168597         131941         0              771            121   143   119
0.19/0.23	c 3190           56458          169050         132289         0              773            107   121   104
0.19/0.23	c 3200           56662          169642         132753         0              778            116   143   119
0.19/0.24	c 3210           56854          170204         133187         0              780            118   132   117
0.19/0.24	c 3220           57037          170751         133614         0              787            91   132   105 
0.19/0.24	c 3230           57157          171105         133882         0              788            95   111   92  
0.19/0.24	c 3240           57301          171539         134217         0              790            90   98   86   
0.19/0.24	c 3250           57492          172082         134622         0              793            136   143   128
0.19/0.24	c 3260           57661          172589         135018         0              795            82   129   97  
0.19/0.24	c 3270           57827          173088         135406         0              796            121   132   115
0.19/0.24	c 3280           58039          173746         135921         0              800            132   139   124
0.19/0.24	c 3290           58237          174341         136390         0              806            82   142   116 
0.19/0.24	c 3300           58429          174921         136848         0              808            114   128   112
0.19/0.24	c 3310           58626          175495         137291         0              810            138   143   129
0.19/0.24	c 3320           58823          176080         137752         0              813            137   146   128
0.19/0.24	c 3330           58888          176257         137886         0              814            47   56   46   
0.19/0.24	c 3340           59095          176869         138372         0              817            124   139   121
0.19/0.24	c 3350           59291          177442         138834         0              820            121   143   126
0.19/0.24	c 3360           59455          177930         139221         0              823            97   118   102 
0.19/0.24	c 3370           59674          178603         139771         0              828            64   143   118 
0.19/0.24	c 3380           59874          179211         140225         0              830            61   143   69  
0.19/0.25	c 3390           60107          179900         140798         0              834            71   145   114 
0.19/0.25	c 3400           60291          180446         141224         0              835            125   143   125
0.19/0.25	c 3410           60512          181104         141749         0              839            120   143   123
0.19/0.25	c 3420           60712          181739         142270         0              842            120   143   123
0.19/0.25	c 3430           60941          182406         142802         0              845            118   143   122
0.19/0.25	c 3440           61165          183060         143324         0              849            99   143   123 
0.19/0.25	c 3450           61317          183507         143665         0              850            118   143   119
0.19/0.25	c 3460           61500          184047         144096         0              853            107   139   113
0.19/0.25	c 3470           61678          184566         144496         0              854            122   139   119
0.19/0.25	c 3480           61886          185203         145017         0              856            116   127   111
0.19/0.25	c 3490           62022          185600         145317         0              857            106   127   106
0.19/0.25	c 3500           62223          186198         145792         0              859            133   143   126
0.19/0.25	c 3510           62418          186776         146224         0              863            91   143   123 
0.19/0.25	c 3520           62603          187326         146648         0              866            117   134   118
0.19/0.25	c 3530           62714          187667         146919         0              867            77   88   74   
0.19/0.25	c 3540           62818          187978         147169         0              868            63   80   64   
0.19/0.25	c 3550           62907          188279         147396         0              869            64   75   63   
0.19/0.25	c 3551           63012          188553         147568         0              870            105   105   52 
0.19/0.25	c 3560           63093          188793         147747         0              872            62   73   61   
0.19/0.26	c 3570           63253          189260         148118         0              875            37   112   62  
0.19/0.26	c 3580           63435          189783         148519         0              878            100   143   115
0.19/0.26	c 3590           63640          190389         148991         0              880            131   143   127
0.19/0.26	c 3600           63813          190885         149366         0              883            111   132   114
0.19/0.26	c 3610           64010          191470         149822         0              886            111   128   114
0.19/0.26	c 3620           64221          192122         150342         0              889            105   128   111
0.19/0.26	c 3630           64436          192772         150852         0              893            103   143   121
0.19/0.26	c 3640           64676          193498         151431         0              897            82   142   96  
0.19/0.26	c 3650           64906          194185         152008         0              899            130   144   125
0.19/0.26	c 3660           65058          194629         152344         0              900            114   131   110
0.19/0.26	c 3670           65177          194978         152601         0              901            102   110   96 
0.19/0.26	c 3680           65289          195309         152863         0              904            55   80   59   
0.19/0.26	c 3690           65454          195800         153255         0              906            105   138   110
0.19/0.26	c 3700           65661          196487         153827         0              909            98   142   115 
0.19/0.26	c 3710           65826          196975         154212         0              912            60   138   109 
0.19/0.26	c 3720           65978          197428         154565         0              917            71   95   82   
0.19/0.26	c 3730           66182          198009         155003         0              922            128   142   126
0.19/0.26	c 3740           66284          198339         155272         0              923            57   80   66   
0.19/0.27	c 3750           66473          198899         155700         0              926            134   142   127
0.19/0.27	c 3760           66671          199493         156153         0              929            74   142   96  
0.19/0.27	c 3770           66844          200021         156564         0              930            119   139   118
0.19/0.27	c 3780           67044          200612         157039         0              933            73   138   99  
0.19/0.27	c 3790           67216          201085         157403         0              935            95   110   96  
0.19/0.27	c 3800           67422          201703         157889         0              939            119   143   121
0.19/0.27	c 3810           67635          202342         158400         0              942            126   143   127
0.19/0.27	c 3820           67874          203040         158980         0              945            138   143   129
0.19/0.27	c 3830           68102          203740         159532         0              948            123   143   125
0.19/0.27	c 3840           68306          204335         160008         0              951            87   143   119 
0.19/0.27	c 3850           68482          204873         160438         0              952            103   135   111
0.19/0.27	c 3860           68663          205416         160862         0              954            126   143   121
0.19/0.27	c 3870           68882          206075         161394         0              956            127   144   126
0.19/0.27	c 3880           69112          206770         161950         0              960            135   144   127
0.19/0.27	c 3890           69395          207622         162666         0              962            117   144   125
0.19/0.28	c 3900           69615          208276         163183         0              967            127   144   127
0.19/0.28	c 3910           69738          208644         163462         0              968            94   114   95  
0.19/0.28	c 3920           69898          209124         163831         0              969            111   130   109
0.19/0.28	c 3930           70075          209650         164226         0              971            103   140   107
0.19/0.28	c 3940           70255          210191         164633         0              974            89   144   103 
0.19/0.28	c 3950           70420          210698         165027         0              976            99   130   104 
0.19/0.28	c 3960           70609          211261         165447         0              980            134   144   127
0.19/0.28	c 3970           70882          212100         166159         0              984            118   142   121
0.19/0.28	c 3980           71104          212763         166688         0              986            131   142   127
0.19/0.28	c 3990           71244          213164         167000         0              987            108   131   109
0.19/0.28	c 4000           71478          213850         167556         0              990            124   131   117
0.19/0.28	c 4001           71580          214124         167736         0              991            102   102   51 
0.19/0.28	c 4010           71713          214507         168028         0              994            90   112   92  
0.19/0.28	c 4020           71858          214958         168386         0              997            90   109   92  
0.19/0.28	c 4030           71971          215302         168659         0              999            77   101   82  
0.19/0.28	c 4040           72044          215522         168824         0              1001           56   63   54   
0.19/0.28	c 4050           72237          216084         169262         0              1004           121   144   123
0.19/0.28	c 4060           72475          216786         169844         0              1007           106   144   126
0.19/0.28	c 4070           72714          217499         170429         0              1010           123   144   128
0.19/0.29	c 4080           72982          218331         171140         0              1014           118   142   121
0.19/0.29	c 4090           73223          219029         171701         0              1019           125   144   127
0.19/0.29	c 4100           73492          219840         172380         0              1021           116   144   123
0.19/0.29	c 4110           73790          220750         173158         0              1023           101   144   126
0.19/0.29	c 4120           74013          221457         173728         0              1025           118   144   125
0.19/0.29	c 4130           74189          221993         174177         0              1027           81   105   89  
0.19/0.29	c 4140           74400          222599         174642         0              1031           135   144   129
0.19/0.29	c 4150           74636          223326         175235         0              1035           125   144   126
0.19/0.29	c 4160           74911          224142         175947         0              1037           105   144   125
0.19/0.29	c 4170           75145          224799         176501         0              1041           107   144   125
0.19/0.29	c 4180           75376          225512         177109         0              1044           106   140   117
0.19/0.29	c 4190           75534          225981         177471         0              1047           116   140   114
0.19/0.29	c 4200           75740          226612         177983         0              1051           102   144   110
0.19/0.29	c 4210           75948          227221         178481         0              1052           124   144   126
0.29/0.30	c 4220           76205          227983         179101         0              1056           120   144   126
0.29/0.30	c 4230           76362          228464         179494         0              1058           94   143   117 
0.29/0.30	c 4240           76473          228790         179741         0              1059           84   102   83  
0.29/0.30	c 4250           76645          229317         180167         0              1061           86   120   98  
0.29/0.30	c 4260           76860          229950         180674         0              1063           124   139   124
0.29/0.30	c 4270           76957          230235         180885         0              1064           78   88   76   
0.29/0.30	c 4280           77204          230953         181494         0              1066           109   139   119
0.29/0.30	c 4290           77356          231419         181848         0              1068           96   110   95  
0.29/0.30	c 4300           77491          231824         182152         0              1071           77   104   78  
0.29/0.30	c 4310           77603          232157         182395         0              1074           84   100   86  
0.29/0.30	c 4320           77745          232570         182707         0              1079           84   104   85  
0.29/0.30	c 4330           78003          233355         183364         0              1082           120   143   126
0.29/0.30	c 4340           78232          234043         183917         0              1085           127   143   126
0.29/0.30	c 4350           78380          234483         184258         0              1086           110   139   111
0.29/0.30	c 4360           78569          235028         184692         0              1088           122   139   119
0.29/0.30	c 4370           78736          235542         185123         0              1090           86   99   86   
0.29/0.30	c 4380           78948          236173         185630         0              1092           128   145   127
0.29/0.30	c 4390           79131          236699         186028         0              1096           131   143   127
0.29/0.31	c 4400           79338          237297         186492         0              1099           134   143   126
0.29/0.31	c 4410           79570          237981         187060         0              1101           97   142   116 
0.29/0.31	c 4420           79840          238825         187771         0              1104           124   142   124
0.29/0.31	c 4430           80313          240307         189103         0              1108           92   142   124 
0.29/0.31	c 4440           80617          241193         189851         0              1111           135   142   127
0.29/0.31	c 4450           80751          241599         190143         0              1114           109   117   103
0.29/0.31	c 4460           80851          241904         190383         0              1118           62   70   60   
0.29/0.31	c 4470           81066          242573         190922         0              1120           125   142   126
0.29/0.31	c 4480           81291          243260         191502         0              1122           123   142   123
0.29/0.31	c 4490           81472          243793         191922         0              1126           116   131   114
0.29/0.31	c 4493           81581          244085         192112         0              1128           104   107   79 
0.29/0.31	c 4500           81728          244510         192445         0              1131           93   99   84   
0.29/0.31	c 4510           81886          245013         192866         0              1132           77   104   88  
0.29/0.31	c 4520           82048          245507         193270         0              1134           97   104   92  
0.29/0.31	c 4530           82212          246002         193665         0              1136           88   100   88  
0.29/0.31	c 4540           82366          246489         194074         0              1137           76   93   79   
0.29/0.32	c 4550           82518          246938         194430         0              1141           64   89   72   
0.29/0.32	c 4560           82619          247243         194668         0              1142           72   92   74   
0.29/0.32	c 4570           82700          247465         194840         0              1143           60   72   58   
0.29/0.32	c 4580           82814          247807         195129         0              1144           64   69   61   
0.29/0.32	c 4590           82895          248062         195330         0              1145           53   65   54   
0.29/0.32	c 4600           83037          248487         195676         0              1146           81   97   84   
0.29/0.32	c 4610           83145          248805         195922         0              1148           75   90   73   
0.29/0.32	c 4620           83262          249149         196206         0              1151           66   73   64   
0.29/0.32	c 4630           83368          249480         196482         0              1155           45   59   49   
0.29/0.32	c 4640           83570          250068         196934         0              1158           134   142   127
0.29/0.32	c 4650           83789          250737         197458         0              1162           55   142   119 
0.29/0.32	c 4660           84006          251378         197979         0              1164           128   142   127
0.29/0.32	c 4670           84188          251911         198382         0              1167           50   142   115 
0.29/0.32	c 4680           84450          252684         199038         0              1169           118   142   125
0.29/0.32	c 4690           84619          253192         199427         0              1172           56   132   106 
0.29/0.32	c 4700           84839          253850         199945         0              1175           58   142   119 
0.29/0.32	c 4710           85029          254412         200381         0              1179           62   138   102 
0.29/0.32	c 4720           85224          254989         200815         0              1183           67   142   81  
0.29/0.32	c 4730           85408          255530         201224         0              1185           66   142   81  
0.29/0.33	c 4740           85638          256221         201793         0              1188           107   128   111
0.29/0.33	c 4750           85841          256816         202249         0              1191           135   142   127
0.29/0.33	c 4760           86031          257378         202691         0              1194           127   142   124
0.29/0.33	c 4770           86198          257881         203085         0              1196           118   138   115
0.29/0.33	c 4780           86411          258511         203571         0              1199           97   142   114 
0.29/0.33	c 4790           86611          259128         204052         0              1202           123   142   124
0.29/0.33	c 4800           86802          259691         204497         0              1205           119   143   121
0.29/0.33	c 4810           87014          260319         205000         0              1209           116   132   116
0.29/0.33	c 4820           87240          260970         205508         0              1213           125   142   125
0.29/0.33	c 4830           87435          261570         205983         0              1217           124   142   124
0.29/0.33	c 4840           87594          262036         206351         0              1219           103   133   105
0.29/0.33	c 4850           87759          262519         206731         0              1221           107   138   108
0.29/0.33	c 4860           87898          262925         207052         0              1223           94   105   91  
0.29/0.33	c 4870           88029          263325         207375         0              1224           83   105   83  
0.29/0.33	c 4880           88249          263992         207900         0              1230           69   143   104 
0.29/0.33	c 4890           88462          264639         208427         0              1232           71   142   119 
0.29/0.33	c 4900           88660          265218         208867         0              1235           75   143   121 
0.29/0.34	c 4910           88931          266095         209618         0              1238           111   142   123
0.29/0.34	c 4920           89191          266895         210285         0              1240           114   142   125
0.29/0.34	c 4930           89445          267676         210947         0              1243           119   143   124
0.29/0.34	c 4940           89633          268293         211437         0              1245           123   140   120
0.29/0.34	c 4950           89817          268862         211880         0              1247           118   136   117
0.29/0.34	c 4960           90030          269493         212381         0              1249           131   142   126
0.29/0.34	c 4970           90315          270286         213078         0              1250           102   144   115
0.29/0.34	c 4980           90530          270975         213636         0              1253           115   142   120
0.29/0.34	c 4990           90698          271513         214051         0              1255           122   141   120
0.29/0.34	c 5035           91562          274400         216832         0              1259           93   146   130 
0.29/0.36	c 5631           97604          294435         236512         0              1263           80   144   126 
0.29/0.37	c 6286           101910         309569         251297         0              1271           42   118   81  
0.29/0.39	c 7006           107260         328016         269201         0              1276           91   144   113 
0.39/0.40	c 7798           112536         346599         287140         0              1283           84   144   132 
0.39/0.42	c 8669           117715         365236         305062         0              1290           79   143   111 
0.39/0.44	c 9627           124811         389618         328742         0              1294           65   110   86  
0.39/0.46	c 10680          132141         415566         353790         0              1303           50   143   136 
0.39/0.48	c 11838          140041         442909         380392         0              1309           97   141   116 
0.49/0.50	c 13111          148139         470600         407606         0              1314           27   134   79  
0.49/0.53	c 14511          157781         503546         439825         0              1321           41   146   135 
0.49/0.55	c 16051          168255         541208         476433         0              1328           43   143   123 
0.49/0.59	c 17745          179801         581873         516196         0              1331           39   99   70   
0.59/0.63	c 19608          194831         633099         566426         0              1337           25   142   137 
0.59/0.66	c 21657          208557         680939         612743         0              1347           27   144   124 
0.69/0.71	c 23910          225543         740156         670791         0              1356           20   141   135 
0.69/0.76	c 26388          243233         801853         731379         0              1361           25   76   59   
0.79/0.81	c 29113          261780         867517         795053         0              1366           100   144   130
0.79/0.87	c 32110          283679         943303         869231         0              1370           115   144   137
0.89/0.93	c 35406          305995         1021609        945851         0              1378           59   141   95  
0.99/1.01	c 39031          335990         1125486        1047304        0              1390           17   141   135 
0.99/1.10	c 43018          366992         1232746        1152835        0              1397           24   143   111 
1.10/1.19	c 47403          396927         1336916        1255483        0              1404           44   89   71   
1.20/1.29	c 52226          437118         1476053        1392362        0              1412           33   143   134 
1.39/1.40	c 57531          479062         1622640        1535256        0              1424           21   141   126 
1.49/1.54	c 63366          527180         1790044        1699093        0              1429           50   126   86  
1.59/1.68	c 69784          579979         1970804        1877769        0              1436           28   141   131 
1.79/1.84	c 76843          637540         2171810        2074401        0              1446           34   139   130 
1.99/2.02	c 84607          707545         2410371        2309303        0              1457           36   141   133 
2.09/2.17	c 93147          764948         2615019        2509072        0              1467           100   138   128
2.30/2.39	c 102541         846972         2901646        2789712        0              1473           34   133   126 
2.59/2.61	c 112874         924498         3175178        3058278        0              1481           58   102   90  
2.79/2.86	c 124240         1017927        3497250        3373055        0              1493           28   139   131 
3.09/3.16	c 136742         1130440        3890068        3758506        0              1503           62   137   129 
3.40/3.47	c 150494         1239271        4281394        4140859        0              1514           66   131   98  
3.79/3.82	c 165621         1369801        4729862        4579101        0              1523           22   138   123 
4.09/4.19	c 182260         1505520        5218808        5056796        0              1533           77   136   128 
4.50/4.56	c 200562         1640566        5700705        5527198        0              1541           63   134   104 
4.99/5.04	c 220694         1817401        6313845        6127227        0              1552           69   137   127 
5.50/5.52	c 242839         1993957        6954043        6753035        0              1559           87   135   127 
5.99/6.03	c 267198         2179367        7609642        7394566        0              1566           33   136   104 
6.60/6.66	c 293992         2409412        8432451        8195672        0              1575           32   133   123 
7.29/7.30	c 323465         2637325        9228685        8973533        0              1587           43   135   103 
7.89/7.94	c 355885         2874410        10077743       9803607        0              1597           61   136   126 
8.69/8.78	c 391547         3188142        11192022       10893382       0              1605           72   133   125 
9.49/9.59	c 430775         3472506        12200587       11885964       0              1615           27   136   93  
10.59/10.69	c 473925         3881393        13619124       13277691       0              1625           69   135   126 
11.79/11.83	c 521390         4301496        15108748       14744473       0              1634           42   133   123 
12.99/13.07	c 573601         4764536        16732673       16342709       0              1646           52   135   124 
14.40/14.47	c 631033         5283517        18566399       18151245       0              1655           42   136   125 
16.09/16.18	c 694208         5915157        20778450       20325362       0              1663           33   135   125 
17.60/17.64	c 763700         6457498        22708283       22221197       0              1669           55   136   119 
19.69/19.77	c 840141         7244486        25448815       24928385       0              1680           32   135   125 
21.59/21.64	c 924226         7931865        27970054       27378854       0              1688           57   136   123 
23.99/24.08	c 1016719        8841529        31120879       30474702       0              1698           48   135   126 
26.29/26.37	c 1118461        9690610        34135542       33436013       0              1706           77   136   124 
29.09/29.10	c 1230377        10702638       37683790       36919012       0              1717           40   135   125 
31.89/31.95	c 1353484        11756594       41391310       40559037       0              1729           57   136   124 
35.29/35.39	c 1488901        13044552       45829175       44926971       0              1741           34   135   126 
38.89/38.91	c 1637859        14357982       50463495       49466072       0              1751           80   136   126 
42.79/42.82	c 1801712        15812062       55545358       54453678       0              1766           48   137   125 
47.19/47.26	c 1981950        17453059       61325331       60133143       0              1777           23   137   124 
51.98/52.02	c 2180211        19195488       67426572       66132168       0              1790           64   130   118 
57.58/57.61	c 2398298        21279152       74777278       73307675       0              1804           26   136   127 
63.48/63.50	c 2638193        23333317       82128565       80565806       0              1812           29   136   99  
69.18/69.26	c 2902077        25434210       89499218       87769908       0              1822           34   135   118 
75.28/75.32	c 3192349        27662125       97530540       95660711       0              1833           19   136   121 
83.69/83.75	c 3511648        30550276       107786956      105783646      0              1842           23   133   90  
90.98/91.03	c 3862876        33215965       117208948      114999984      0              1855           32   135   123 
99.88/99.95	c 4249226        36527680       128958826      126597970      0              1866           45   136   123 
110.28/110.34	c 4674211        40371195       142449020      139865727      0              1882           47   135   124 
120.67/120.76	c 5141694        44254089       156311100      153417813      0              1890           71   136   124 
133.18/133.28	c 5655925        48870371       172595229      169429036      0              1898           35   135   123 
145.57/145.62	c 6221579        53345080       188655866      185230056      0              1910           24   136   112 
160.57/160.68	c 6843798        58886932       208363732      204568550      0              1920           43   136   125 
179.07/179.10	c 7528238        65455155       231562253      227346769      0              1931           38   137   109 
196.46/196.56	c 8281122        71805167       253950218      249453884      0              1943           46   138   120 
218.16/218.22	c 9109294        79778305       281993599      277046825      0              1956           54   136   123 
242.26/242.33	c 10020283       88367153       312148311      306763763      0              1969           45   135   111 
264.45/264.51	c 11022370       96520712       341237219      335328723      0              1979           35   137   119 
292.45/292.53	c 12124665       106866431      377636652      371030576      0              1994           36   135   123 
324.04/324.15	c 13337189       118564423      419218836      411808194      0              2005           70   136   124 
359.24/359.37	c 14670965       131463613      464216464      456145972      0              2014           34   135   121 
395.03/395.12	c 16138118       144053752      508785318      500058701      0              2031           28   136   102 
434.13/434.25	c 17751986       158379094      559364733      549572220      0              2045           38   135   120 
476.82/476.99	c 19527240       174093236      614959826      604189709      0              2058           34   136   120 
529.41/529.54	c 21480019       193409150      682708632      670868556      0              2075           34   135   123 
584.01/584.16	c 23628075       213399117      753495684      740426688      0              2090           59   136   120 
645.60/645.70	c 25990936       236051462      832304549      818305212      0              2105           34   135   123 
715.38/715.54	c 28590083       260719670      918850556      903794874      0              2116           31   136   104 
787.07/787.21	c 31449144       286705318      1009080172     993002451      0              2131           28   136   115 
878.56/878.74	c 34594111       318077807      1122021784     1103408249     0              2145           24   133   93  
966.55/966.77	c 38053574       349945645      1233480340     1213547261     0              2161           32   136   117 
1066.94/1067.15	c 41858983       385089131      1359068456     1336931711     0              2170           25   136   101 
1163.52/1163.74	c 46044932       419812986      1482162695     1457080842     0              2183           27   136   112 
1283.50/1283.77	c 50649475       462178188      1631510891     1604152207     0              2197           25   136   106 
1416.38/1416.68	c 55714472       511014479      1804952250     1774731785     0              2210           31   136   124 
1570.05/1570.35	c 61285968       566609738      2001032829     1967822042     0              2222           24   136   120 
1731.63/1731.97	c 67414613       622667073      2201502108     2164838187     0              2233           26   136   99  
1922.89/1923.28	c 74156122       692284430      2445097807     2405926485     0              2243           34   136   121 
2124.16/2124.57	c 81571781       763493104      2698283580     2653488999     0              2259           23   136   110 
2352.82/2353.25	c 89729005       845334027      2986239048     2936510643     0              2278           19   133   110

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241433-1500631126/watcher-4241433-1500631126 -o /tmp/evaluation-result-4241433-1500631126/solver-4241433-1500631126 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500623778-4227 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241433-1500631126.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.77 2.19 2.10 3/190 6432
/proc/meminfo: memFree=31063256/32770624 swapFree=6232/499880
[pid=6432] ppid=6429 vsize=27256 CPUtime=0 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 1012 0 0 0 0 0 0 0 20 0 1 0 16562666 27910144 832 33554432000 4194304 5970956 140723245419024 140723245415672 139661195397950 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 6814 832 717 434 0 178 0

[startup+0.100118 s]
/proc/loadavg: 2.77 2.19 2.10 3/190 6432
/proc/meminfo: memFree=31063256/32770624 swapFree=6232/499880
[pid=6432] ppid=6429 vsize=31876 CPUtime=0.09 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 1166 0 0 0 9 0 0 0 20 0 1 0 16562666 32641024 1476 33554432000 4194304 5970956 140723245419024 140723245416360 139661195840608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 7969 1476 763 434 0 1333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31876

[startup+0.200275 s]
/proc/loadavg: 2.77 2.19 2.10 3/190 6432
/proc/meminfo: memFree=31063256/32770624 swapFree=6232/499880
[pid=6432] ppid=6429 vsize=31876 CPUtime=0.19 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 1169 0 0 0 19 0 0 0 20 0 1 0 16562666 32641024 1476 33554432000 4194304 5970956 140723245419024 140723245416360 4930544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 7969 1476 763 434 0 1333 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31876

[startup+0.300205 s]
/proc/loadavg: 2.77 2.19 2.10 3/190 6432
/proc/meminfo: memFree=31063256/32770624 swapFree=6232/499880
[pid=6432] ppid=6429 vsize=31876 CPUtime=0.29 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 1175 0 0 0 29 0 0 0 20 0 1 0 16562666 32641024 1476 33554432000 4194304 5970956 140723245419024 140723245416360 5311696 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 7969 1476 763 434 0 1333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31876

[startup+0.700204 s]
/proc/loadavg: 2.77 2.19 2.10 3/190 6432
/proc/meminfo: memFree=31063256/32770624 swapFree=6232/499880
[pid=6432] ppid=6429 vsize=32004 CPUtime=0.69 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 1182 0 0 0 69 0 0 0 20 0 1 0 16562666 32772096 1534 33554432000 4194304 5970956 140723245419024 140723245416360 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1534 766 434 0 1365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32004

[startup+1.50016 s]
/proc/loadavg: 2.77 2.19 2.10 3/191 6433
/proc/meminfo: memFree=31060044/32770624 swapFree=6232/499880
[pid=6432] ppid=6429 vsize=32004 CPUtime=1.49 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 1183 0 0 0 149 0 0 0 20 0 1 0 16562666 32772096 1534 33554432000 4194304 5970956 140723245419024 140723245416360 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1534 766 434 0 1365 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32004

[startup+3.10018 s]
/proc/loadavg: 2.63 2.17 2.09 3/191 6433
/proc/meminfo: memFree=31059764/32770624 swapFree=6232/499620
[pid=6432] ppid=6429 vsize=32004 CPUtime=3.09 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 1379 0 0 0 309 0 0 0 20 0 1 0 16562666 32772096 1536 33554432000 4194304 5970956 140723245419024 140723245416360 4930560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1536 766 434 0 1365 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32004

[startup+6.30018 s]
/proc/loadavg: 2.63 2.17 2.09 3/191 6433
/proc/meminfo: memFree=31060176/32770624 swapFree=6232/499640
[pid=6432] ppid=6429 vsize=32004 CPUtime=6.29 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 1577 0 0 0 629 0 0 0 20 0 1 0 16562666 32772096 1538 33554432000 4194304 5970956 140723245419024 140723245416360 5338352 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1538 766 434 0 1365 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32004

[startup+12.7002 s]
/proc/loadavg: 2.53 2.17 2.09 3/191 6433
/proc/meminfo: memFree=31060296/32770624 swapFree=6232/499644
[pid=6432] ppid=6429 vsize=32004 CPUtime=12.69 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 1774 0 0 0 1269 0 0 0 20 0 1 0 16562666 32772096 1539 33554432000 4194304 5970956 140723245419024 140723245416360 4934112 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1539 766 434 0 1365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32004

[startup+25.5002 s]
/proc/loadavg: 2.45 2.16 2.09 3/191 6433
/proc/meminfo: memFree=31060676/32770624 swapFree=6232/499672
[pid=6432] ppid=6429 vsize=32004 CPUtime=25.49 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 2171 0 0 0 2549 0 0 0 20 0 1 0 16562666 32772096 1542 33554432000 4194304 5970956 140723245419024 140723245416360 5322040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1542 766 434 0 1365 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32004

[startup+51.1002 s]
/proc/loadavg: 2.30 2.15 2.09 3/191 6433
/proc/meminfo: memFree=31061368/32770624 swapFree=6232/499696
[pid=6432] ppid=6429 vsize=32004 CPUtime=51.08 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 2374 0 0 0 5108 0 0 0 20 0 1 0 16562666 32772096 1544 33554432000 4194304 5970956 140723245419024 140723245416360 4908737 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1544 766 434 0 1365 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32004

[startup+102.3 s]
/proc/loadavg: 2.12 2.12 2.08 3/191 6441
/proc/meminfo: memFree=31060332/32770624 swapFree=6232/499776
[pid=6432] ppid=6429 vsize=32004 CPUtime=102.28 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 2584 0 0 0 10228 0 0 0 20 0 1 0 16562666 32772096 1546 33554432000 4194304 5970956 140723245419024 140723245416360 5322040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1546 766 434 0 1365 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 32004

[startup+162.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/190 6464
/proc/meminfo: memFree=31058992/32770624 swapFree=6232/499840
[pid=6432] ppid=6429 vsize=32004 CPUtime=162.27 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 2792 0 0 0 16227 0 0 0 20 0 1 0 16562666 32772096 1550 33554432000 4194304 5970956 140723245419024 140723245416360 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1550 766 434 0 1365 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 32004

[startup+222.306 s]
/proc/loadavg: 2.02 2.08 2.07 3/190 6465
/proc/meminfo: memFree=31059416/32770624 swapFree=6232/499880
[pid=6432] ppid=6429 vsize=32004 CPUtime=222.26 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 2999 0 0 0 22226 0 0 0 20 0 1 0 16562666 32772096 1551 33554432000 4194304 5970956 140723245419024 140723245416360 5337501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1551 766 434 0 1365 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 32004

[startup+282.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/190 6466
/proc/meminfo: memFree=31059648/32770624 swapFree=6232/499920
[pid=6432] ppid=6429 vsize=32004 CPUtime=282.25 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 3206 0 0 0 28225 0 0 0 20 0 1 0 16562666 32772096 1551 33554432000 4194304 5970956 140723245419024 140723245416360 4930614 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1551 766 434 0 1365 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 32004

[startup+342.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/190 6467
/proc/meminfo: memFree=31059956/32770624 swapFree=6232/499980
[pid=6432] ppid=6429 vsize=32004 CPUtime=342.24 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 3412 0 0 0 34224 0 0 0 20 0 1 0 16562666 32772096 1551 33554432000 4194304 5970956 140723245419024 140723245416360 4930600 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1551 766 434 0 1365 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 32004

[startup+402.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/190 6468
/proc/meminfo: memFree=31059476/32770624 swapFree=6232/500020
[pid=6432] ppid=6429 vsize=32004 CPUtime=402.23 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 3620 0 0 0 40223 0 0 0 20 0 1 0 16562666 32772096 1551 33554432000 4194304 5970956 140723245419024 140723245416360 5327380 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1551 766 434 0 1365 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 32004

[startup+462.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/190 6469
/proc/meminfo: memFree=31059468/32770624 swapFree=6232/500052
[pid=6432] ppid=6429 vsize=32004 CPUtime=462.22 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 3831 0 0 0 46222 0 0 0 20 0 1 0 16562666 32772096 1553 33554432000 4194304 5970956 140723245419024 140723245416360 5322042 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1553 766 434 0 1365 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 32004

[startup+522.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 6470
/proc/meminfo: memFree=31059584/32770624 swapFree=6232/500092
[pid=6432] ppid=6429 vsize=32004 CPUtime=522.21 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 4040 0 0 0 52221 0 0 0 20 0 1 0 16562666 32772096 1554 33554432000 4194304 5970956 140723245419024 140723245416360 5324848 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1554 766 434 0 1365 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 32004

[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 6471
/proc/meminfo: memFree=31059388/32770624 swapFree=6232/500140
[pid=6432] ppid=6429 vsize=32004 CPUtime=582.2 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 4230 0 0 0 58220 0 0 0 20 0 1 0 16562666 32772096 1555 33554432000 4194304 5970956 140723245419024 140723245416360 4930654 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1555 766 434 0 1365 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 32004


################
# More data... #
################


[startup+1482.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/192 6564
/proc/meminfo: memFree=30559328/32770624 swapFree=6232/500968
[pid=6432] ppid=6429 vsize=32004 CPUtime=1482.07 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 7369 0 0 0 148207 0 0 0 20 0 1 0 16562666 32772096 1559 33554432000 4194304 5970956 140723245419024 140723245416360 4930600 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1559 766 434 0 1365 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 32004

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 6565
/proc/meminfo: memFree=30543072/32770624 swapFree=6232/501060
[pid=6432] ppid=6429 vsize=32004 CPUtime=1542.06 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 7569 0 0 0 154206 0 0 0 20 0 1 0 16562666 32772096 1559 33554432000 4194304 5970956 140723245419024 140723245416360 4930665 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1559 766 434 0 1365 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 32004

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/191 6567
/proc/meminfo: memFree=30538768/32770624 swapFree=6232/501120
[pid=6432] ppid=6429 vsize=32004 CPUtime=1602.05 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 7783 0 0 0 160205 0 0 0 20 0 1 0 16562666 32772096 1559 33554432000 4194304 5970956 140723245419024 140723245416360 4930625 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1559 766 434 0 1365 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 32004

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 6568
/proc/meminfo: memFree=30536772/32770624 swapFree=6232/501180
[pid=6432] ppid=6429 vsize=32004 CPUtime=1662.04 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 7981 0 0 0 166204 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 5239888 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 32004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 6569
/proc/meminfo: memFree=30533240/32770624 swapFree=6232/501236
[pid=6432] ppid=6429 vsize=32004 CPUtime=1722.03 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 8172 0 0 0 172203 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 5327374 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 32004

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/190 6571
/proc/meminfo: memFree=30530792/32770624 swapFree=6232/501292
[pid=6432] ppid=6429 vsize=32004 CPUtime=1782.02 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 8393 0 0 0 178202 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 4934640 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 32004

[startup+1842.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/190 6572
/proc/meminfo: memFree=30530416/32770624 swapFree=6232/501344
[pid=6432] ppid=6429 vsize=32004 CPUtime=1842.01 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 8592 0 0 0 184201 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 5311586 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 1842.01
Current children cumulated vsize (KiB) 32004

[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/190 6580
/proc/meminfo: memFree=30530120/32770624 swapFree=6232/501380
[pid=6432] ppid=6429 vsize=32004 CPUtime=1902 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 8789 0 0 0 190200 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 4930544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 32004

[startup+1962.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/190 6581
/proc/meminfo: memFree=30530392/32770624 swapFree=6232/501424
[pid=6432] ppid=6429 vsize=32004 CPUtime=1961.99 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 9002 0 0 0 196199 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 5337472 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 32004

[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/190 6582
/proc/meminfo: memFree=30528332/32770624 swapFree=6232/501456
[pid=6432] ppid=6429 vsize=32004 CPUtime=2021.98 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 9189 0 0 0 202198 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 5093481 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 2021.98
Current children cumulated vsize (KiB) 32004

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 6583
/proc/meminfo: memFree=30528172/32770624 swapFree=6232/501492
[pid=6432] ppid=6429 vsize=32004 CPUtime=2081.97 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 9394 0 0 0 208197 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 4908592 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 2081.97
Current children cumulated vsize (KiB) 32004

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 6584
/proc/meminfo: memFree=30526344/32770624 swapFree=6232/501536
[pid=6432] ppid=6429 vsize=32004 CPUtime=2141.96 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 9607 0 0 0 214196 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 4930560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 2141.96
Current children cumulated vsize (KiB) 32004

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 6585
/proc/meminfo: memFree=30526088/32770624 swapFree=6232/501576
[pid=6432] ppid=6429 vsize=32004 CPUtime=2201.95 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 9797 0 0 0 220195 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 2201.95
Current children cumulated vsize (KiB) 32004

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6586
/proc/meminfo: memFree=30523128/32770624 swapFree=6232/501612
[pid=6432] ppid=6429 vsize=32004 CPUtime=2261.94 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 9993 0 0 0 226194 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 4930544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 2261.94
Current children cumulated vsize (KiB) 32004

[startup+2322.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/190 6587
/proc/meminfo: memFree=30522884/32770624 swapFree=6232/501652
[pid=6432] ppid=6429 vsize=32004 CPUtime=2321.93 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 10181 0 0 0 232193 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 4908750 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 2321.93
Current children cumulated vsize (KiB) 32004

[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/190 6588
/proc/meminfo: memFree=30522848/32770624 swapFree=6232/501692
[pid=6432] ppid=6429 vsize=32004 CPUtime=2381.92 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 10394 0 0 0 238192 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 5322024 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 2381.92
Current children cumulated vsize (KiB) 32004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.02 2.03 2.05 3/190 6588
/proc/meminfo: memFree=30520692/32770624 swapFree=6232/501700
[pid=6432] ppid=6429 vsize=32004 CPUtime=2400.02 cores=1,3,5,7
/proc/6432/stat : 6432 (cosoco) R 6429 6432 4195 0 -1 4202496 10589 0 0 0 240002 0 0 0 20 0 1 0 16562666 32772096 1560 33554432000 4194304 5970956 140723245419024 140723245416360 4930640 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18808832 140723245425852 140723245425987 140723245425987 140723245428686 0
/proc/6432/statm: 8001 1560 766 434 0 1365 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 32004

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.03
CPU user time (s): 2400.02
CPU system time (s): 0.005999
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 32004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.005999
maximum resident set size= 6284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10614
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= 7
involuntary context switches= 120681

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.22373 second user time and 10.7451 second system time

The end

Launcher Data 

Begin job on node134 at 2017-07-21 11:58:46
IDJOB=4241433
IDBENCH=126861
IDSOLVER=2621
FILE ID=node134/4241433-1500631126
RUNJOBID= node134-1500623778-4227
PBS_JOBID= 20622999
Free space on /tmp= 62008 MiB

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

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

MD5SUM BENCH= 630ab63eaf7c5bcaa7f0eb192a58705a
RANDOM SEED=1991629275

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31064028 kB
MemAvailable:   31641708 kB
Buffers:          161248 kB
Cached:           695284 kB
SwapCached:            0 kB
Active:           774160 kB
Inactive:         508688 kB
Active(anon):     428964 kB
Inactive(anon):     8808 kB
Active(file):     345196 kB
Inactive(file):   499880 kB
Unevictable:        6232 kB
Mlocked:            6232 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3528 kB
Writeback:             0 kB
AnonPages:        432036 kB
Mapped:            34436 kB
Shmem:              8872 kB
Slab:             122724 kB
SReclaimable:      96880 kB
SUnreclaim:        25844 kB
KernelStack:        3440 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     705884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    374784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62008 MiB
End job on node134 at 2017-07-21 12:38:47