Trace number 4241441

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.31

General information on the benchmark

NameDubois/Dubois-m1-s1/
Dubois-080.xml
MD5SUM48ff124294bde3e8e6ef7a0c7c897a65
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.01281
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints160
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":240}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":240}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":160}]
Number of extensional constraints160
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":160}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c SAT : Variables: 480 -- Clauses: 480
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: 240
0.00/0.01	c |            Domain Sizes: 2..2
0.00/0.01	c |
0.00/0.01	c |             Constraints: 160
0.00/0.01	c |                   Arity: 3..3  -- Ternary: 160
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Extension: 160  (nb tuples: 4..4) -- (shared: 155)
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             290            1584           1331           0              1              157   237   180
0.00/0.01	c 20             471            2103           1681           0              3              156   161   144
0.00/0.01	c 30             749            2912           2247           0              6              229   237   213
0.00/0.01	c 40             1098           4000           3130           0              9              200   223   193
0.00/0.01	c 50             1291           4542           3508           0              11             167   183   157
0.00/0.02	c 60             1383           4833           3734           0              12             63   81   63   
0.00/0.02	c 70             1600           5449           4157           0              15             69   205   166 
0.00/0.02	c 80             1833           6100           4600           0              16             210   222   196
0.00/0.02	c 90             1933           6405           4828           0              17             80   91   76   
0.00/0.02	c 100            2157           7038           5267           0              19             197   214   187
0.00/0.02	c 101            2355           7572           5610           0              20             198   198   99 
0.00/0.02	c 110            2564           8188           6033           0              22             186   192   169
0.00/0.02	c 120            2778           8813           6466           0              25             120   189   161
0.00/0.03	c 130            2926           9293           6829           0              27             109   114   102
0.00/0.03	c 140            3062           9709           7147           0              29             101   109   96 
0.00/0.03	c 150            3274           10320          7571           0              31             55   185   87  
0.00/0.03	c 160            3356           10580          7774           0              33             55   71   58   
0.00/0.03	c 170            3597           11267          8253           0              36             35   198   67  
0.00/0.03	c 180            3751           11756          8607           0              37             127   136   118
0.00/0.03	c 190            3967           12364          9017           0              41             103   200   164
0.00/0.03	c 200            4206           13039          9472           0              45             153   220   191
0.00/0.03	c 210            4408           13621          9883           0              48             114   187   151
0.00/0.04	c 211            4540           13974          10106          0              49             132   132   66 
0.00/0.04	c 220            4671           14358          10384          0              51             31   118   91  
0.00/0.04	c 230            4907           15053          10878          0              56             36   196   158 
0.00/0.04	c 240            5131           15718          11370          0              58             146   178   147
0.00/0.04	c 250            5311           16256          11773          0              60             127   134   120
0.00/0.04	c 260            5574           16991          12281          0              62             156   237   160
0.00/0.04	c 270            5822           17694          12769          0              67             198   218   191
0.00/0.04	c 280            6092           18461          13308          0              69             219   237   210
0.00/0.05	c 290            6358           19206          13826          0              73             198   237   195
0.00/0.05	c 300            6614           19965          14363          0              77             191   227   197
0.00/0.05	c 310            6881           20735          14920          0              79             217   232   205
0.00/0.05	c 320            7134           21464          15452          0              81             203   222   192
0.00/0.05	c 330            7371           22146          15946          0              83             190   211   182
0.00/0.05	c 332            7501           22493          16169          0              85             123   126   83 
0.00/0.05	c 340            7669           22997          16522          0              88             121   156   131
0.00/0.06	c 350            7817           23422          16836          0              90             110   133   107
0.00/0.06	c 360            7965           23839          17130          0              91             129   139   121
0.00/0.06	c 370            8086           24190          17390          0              92             98   112   97  
0.00/0.06	c 380            8259           24676          17726          0              95             98   158   130 
0.00/0.06	c 390            8469           25268          18141          0              96             184   201   173
0.00/0.06	c 400            8672           25846          18556          0              98             166   186   163
0.00/0.06	c 410            8967           26696          19186          0              101            217   235   207
0.00/0.06	c 420            9222           27433          19716          0              103            205   229   197
0.00/0.06	c 430            9490           28199          20259          0              105            212   236   202
0.00/0.07	c 440            9746           28928          20783          0              108            216   225   200
0.00/0.07	c 450            9940           29490          21180          0              110            158   181   156
0.00/0.07	c 460            10216          30281          21744          0              114            158   236   194
0.00/0.07	c 465            10460          30948          22199          0              115            226   236   192
0.00/0.07	c 470            10692          31599          22640          0              118            210   218   179
0.00/0.07	c 480            10952          32351          23198          0              119            190   204   181
0.00/0.07	c 490            11183          33011          23671          0              120            195   204   181
0.00/0.08	c 500            11433          33755          24258          0              123            152   189   151
0.00/0.08	c 510            11642          34380          24724          0              126            150   172   145
0.00/0.08	c 520            11807          34844          25056          0              128            135   154   132
0.00/0.08	c 530            11987          35351          25421          0              129            162   171   151
0.00/0.08	c 540            12137          35792          25751          0              130            113   129   109
0.00/0.08	c 550            12284          36224          26082          0              131            102   121   102
0.00/0.08	c 560            12427          36644          26396          0              133            103   120   101
0.00/0.08	c 570            12532          36955          26623          0              134            88   96   83   
0.00/0.08	c 580            12629          37295          26892          0              135            66   83   67   
0.00/0.08	c 590            12809          37846          27311          0              138            71   130   102 
0.00/0.09	c 600            12980          38347          27687          0              142            81   130   110 
0.00/0.09	c 610            13271          39195          28306          0              145            85   235   195 
0.00/0.09	c 611            13375          39474          28484          0              146            104   104   52 
0.00/0.09	c 620            13631          40204          29000          0              147            217   232   202
0.00/0.09	c 630            13933          41064          29640          0              150            213   232   204
0.00/0.09	c 640            14174          41756          30139          0              153            196   210   187
0.00/0.09	c 650            14540          42848          31031          0              157            208   236   207
0.00/0.09	c 660            14768          43499          31496          0              159            179   202   176
0.09/0.10	c 670            14943          44030          31888          0              161            137   157   134
0.09/0.10	c 680            15176          44694          32362          0              163            145   210   169
0.09/0.10	c 690            15342          45168          32707          0              165            133   156   131
0.09/0.10	c 700            15670          46122          33449          0              168            228   234   210
0.09/0.10	c 710            15916          46825          33960          0              169            202   225   192
0.09/0.10	c 720            16114          47387          34358          0              170            173   189   166
0.09/0.10	c 730            16416          48240          34984          0              174            217   233   209
0.09/0.11	c 740            16735          49156          35687          0              176            217   232   209
0.09/0.11	c 750            17026          50008          36314          0              180            218   231   205
0.09/0.11	c 760            17219          50552          36694          0              182            168   181   159
0.09/0.11	c 770            17414          51107          37098          0              183            155   170   146
0.09/0.11	c 771            17629          51678          37457          0              184            215   215   107
0.09/0.11	c 780            17824          52228          37836          0              185            175   185   162
0.09/0.11	c 790            18030          52813          38244          0              186            180   191   169
0.09/0.11	c 800            18247          53443          38705          0              188            159   169   149
0.09/0.11	c 810            18443          54010          39115          0              189            159   161   145
0.09/0.11	c 820            18692          54760          39731          0              194            132   154   134
0.09/0.12	c 830            18982          55658          40424          0              196            154   235   183
0.09/0.12	c 840            19266          56472          41028          0              198            218   235   206
0.09/0.12	c 850            19606          57479          41817          0              201            213   235   206
0.09/0.12	c 860            19905          58354          42480          0              206            155   230   198
0.09/0.12	c 870            20179          59135          43036          0              208            158   235   159
0.09/0.12	c 880            20464          59986          43665          0              209            225   235   210
0.09/0.12	c 890            20737          60746          44202          0              212            219   235   206
0.09/0.12	c 900            20996          61475          44725          0              213            220   234   204
0.09/0.13	c 910            21289          62307          45344          0              215            222   234   209
0.09/0.13	c 920            21558          63075          45910          0              218            173   223   190
0.09/0.13	c 930            21823          63821          46457          0              220            137   223   181
0.09/0.13	c 940            22040          64459          46898          0              221            193   208   181
0.09/0.13	c 947            22279          65138          47398          0              222            194   209   177
0.09/0.13	c 950            22454          65606          47704          0              224            126   171   105
0.09/0.13	c 960            22646          66198          48153          0              226            137   162   135
0.09/0.13	c 970            22769          66551          48409          0              227            101   114   99 
0.09/0.13	c 980            23063          67386          49022          0              231            95   236   175 
0.09/0.14	c 990            23331          68150          49578          0              234            211   228   201
0.09/0.14	c 1000           23517          68675          49960          0              236            88   166   135 
0.09/0.14	c 1010           23824          69555          50635          0              238            214   228   203
0.09/0.14	c 1020           24053          70223          51118          0              241            184   206   176
0.09/0.14	c 1030           24347          71052          51725          0              244            190   236   208
0.09/0.14	c 1040           24638          71898          52356          0              247            168   238   204
0.09/0.14	c 1050           24846          72512          52823          0              248            147   174   146
0.09/0.14	c 1060           24990          72928          53122          0              252            113   128   109
0.09/0.14	c 1070           25177          73477          53548          0              254            126   128   116
0.09/0.14	c 1080           25319          73894          53856          0              255            115   122   108
0.09/0.15	c 1090           25525          74478          54282          0              256            175   194   167
0.09/0.15	c 1100           25782          75206          54830          0              259            195   200   181
0.09/0.15	c 1110           25965          75738          55228          0              261            121   131   117
0.09/0.15	c 1120           26275          76644          55922          0              263            214   234   206
0.09/0.15	c 1130           26538          77414          56470          0              266            174   230   195
0.09/0.15	c 1140           26819          78213          57057          0              269            217   235   207
0.09/0.15	c 1141           27033          78777          57412          0              270            214   214   107
0.09/0.15	c 1150           27321          79604          58032          0              273            212   235   206
0.09/0.15	c 1160           27590          80375          58609          0              275            190   202   181
0.09/0.16	c 1170           27898          81245          59265          0              280            214   235   208
0.09/0.16	c 1180           28180          82063          59856          0              283            182   233   193
0.09/0.16	c 1190           28468          82875          60446          0              286            227   237   212
0.09/0.16	c 1200           28793          83823          61177          0              288            201   231   200
0.09/0.16	c 1210           29031          84508          61678          0              289            192   223   190
0.09/0.16	c 1220           29298          85290          62273          0              290            216   223   200
0.09/0.16	c 1230           29550          86038          62823          0              293            190   218   186
0.09/0.16	c 1240           29787          86714          63308          0              295            190   203   181
0.09/0.17	c 1250           30006          87351          63785          0              296            163   185   157
0.09/0.17	c 1260           30208          87921          64201          0              298            156   175   153
0.09/0.17	c 1270           30512          88797          64852          0              301            190   235   197
0.09/0.17	c 1280           30777          89568          65427          0              302            212   222   196
0.09/0.17	c 1290           31052          90341          65984          0              305            226   235   211
0.09/0.17	c 1300           31283          90993          66443          0              307            198   218   189
0.09/0.17	c 1310           31545          91737          66999          0              309            193   210   186
0.09/0.17	c 1320           31798          92462          67540          0              311            203   214   189
0.09/0.17	c 1330           32080          93255          68114          0              315            182   231   190
0.09/0.18	c 1340           32426          94237          68885          0              319            132   222   187
0.09/0.18	c 1350           32709          95069          69507          0              321            205   222   195
0.09/0.18	c 1352           32933          95677          69900          0              323            187   220   135
0.09/0.18	c 1360           33208          96500          70547          0              324            180   222   186
0.09/0.18	c 1370           33483          97302          71191          0              325            179   216   182
0.09/0.18	c 1380           33828          98276          71942          0              328            179   222   177
0.09/0.18	c 1390           34134          99184          72665          0              331            180   216   177
0.09/0.18	c 1400           34398          99959          73244          0              334            201   220   194
0.09/0.19	c 1410           34699          100867         73969          0              337            160   211   167
0.09/0.19	c 1420           35016          101804         74718          0              339            212   219   197
0.09/0.19	c 1430           35321          102693         75386          0              343            199   219   196
0.09/0.19	c 1440           35589          103458         75950          0              347            204   219   191
0.09/0.19	c 1450           35847          104212         76499          0              352            179   218   187
0.09/0.19	c 1460           36031          104769         76927          0              354            105   164   133
0.09/0.19	c 1470           36147          105095         77157          0              356            96   105   91  
0.09/0.19	c 1480           36350          105763         77682          0              359            129   166   139
0.09/0.19	c 1490           36587          106461         78219          0              361            150   184   156
0.09/0.20	c 1500           36754          106945         78578          0              362            126   144   122
0.19/0.20	c 1510           36917          107425         78927          0              365            127   144   123
0.19/0.20	c 1520           37064          107863         79250          0              367            106   117   100
0.19/0.20	c 1530           37224          108359         79635          0              370            96   102   90  
0.19/0.20	c 1540           37442          108973         80083          0              375            101   168   145
0.19/0.20	c 1550           37639          109542         80514          0              376            141   153   135
0.19/0.20	c 1560           37792          109979         80831          0              377            125   136   118
0.19/0.20	c 1570           38007          110610         81265          0              379            124   192   121
0.19/0.20	c 1580           38159          111044         81579          0              382            114   127   109
0.19/0.20	c 1585           38299          111438         81856          0              385            117   124   102
0.19/0.20	c 1590           38430          111808         82109          0              387            115   117   97 
0.19/0.20	c 1600           38601          112327         82530          0              390            63   113   95  
0.19/0.20	c 1610           38738          112734         82829          0              392            64   118   95  
0.19/0.21	c 1620           38919          113283         83265          0              395            99   111   97  
0.19/0.21	c 1630           39036          113630         83521          0              398            73   95   79   
0.19/0.21	c 1640           39129          113908         83735          0              399            70   84   70   
0.19/0.21	c 1650           39230          114211         83964          0              402            74   85   73   
0.19/0.21	c 1660           39376          114647         84297          0              404            65   110   76  
0.19/0.21	c 1670           39493          114996         84564          0              405            96   108   94  
0.19/0.21	c 1680           39641          115436         84903          0              408            96   103   91  
0.19/0.21	c 1690           39879          116134         85419          0              411            89   188   126 
0.19/0.21	c 1700           40172          116989         86060          0              414            104   213   173
0.19/0.21	c 1710           40420          117721         86603          0              416            86   202   125 
0.19/0.21	c 1720           40686          118494         87185          0              420            105   202   169
0.19/0.21	c 1730           40932          119207         87702          0              422            106   206   174
0.19/0.22	c 1740           41231          120060         88320          0              428            201   236   201
0.19/0.22	c 1750           41466          120731         88815          0              429            181   207   177
0.19/0.22	c 1760           41774          121607         89457          0              433            105   235   190
0.19/0.22	c 1770           42061          122432         90067          0              434            235   236   214
0.19/0.22	c 1780           42267          123010         90466          0              436            181   196   171
0.19/0.22	c 1790           42449          123530         90831          0              438            114   168   144
0.19/0.22	c 1800           42746          124383         91457          0              440            226   236   212
0.19/0.22	c 1810           43045          125249         92089          0              444            223   236   210
0.19/0.23	c 1820           43363          126172         92798          0              449            116   236   198
0.19/0.23	c 1830           43637          126960         93384          0              451            210   232   201
0.19/0.23	c 1840           43904          127722         93933          0              452            217   232   203
0.19/0.23	c 1841           44120          128299         94299          0              453            216   216   108
0.19/0.23	c 1850           44370          129039         94833          0              455            194   207   183
0.19/0.23	c 1860           44557          129565         95202          0              456            162   178   154
0.19/0.23	c 1870           44852          130416         95824          0              460            122   236   191
0.19/0.23	c 1880           45175          131349         96536          0              463            228   236   212
0.19/0.24	c 1890           45439          132114         97082          0              466            207   232   197
0.19/0.24	c 1900           45801          133156         97902          0              471            126   236   199
0.19/0.24	c 1910           46074          133934         98473          0              474            132   220   158
0.19/0.24	c 1920           46390          134824         99151          0              478            223   236   212
0.19/0.24	c 1930           46651          135581         99711          0              481            206   209   188
0.19/0.24	c 1940           46848          136137         100108         0              482            163   188   160
0.19/0.24	c 1950           47101          136843         100618         0              485            195   207   184
0.19/0.24	c 1960           47327          137475         101053         0              487            92   211   177 
0.19/0.24	c 1970           47588          138219         101602         0              490            174   201   176
0.19/0.25	c 1980           47814          138864         102074         0              493            182   195   173
0.19/0.25	c 1990           48037          139504         102538         0              495            173   191   168
0.19/0.25	c 2000           48234          140083         102984         0              496            139   169   137
0.19/0.25	c 2010           48445          140685         103414         0              497            173   186   164
0.19/0.25	c 2020           48714          141465         104019         0              501            167   179   160
0.19/0.25	c 2030           48922          142089         104509         0              503            136   171   138
0.19/0.25	c 2040           49066          142497         104805         0              505            113   125   110
0.19/0.25	c 2050           49177          142805         105027         0              508            69   87   71   
0.19/0.25	c 2060           49325          143227         105343         0              510            109   129   110
0.19/0.25	c 2070           49571          143951         105927         0              512            107   179   136
0.19/0.26	c 2080           49858          144766         106522         0              515            38   236   102 
0.19/0.26	c 2090           50101          145492         107076         0              519            149   180   150
0.19/0.26	c 2100           50340          146172         107588         0              521            172   179   160
0.19/0.26	c 2110           50562          146805         108047         0              523            172   179   161
0.19/0.26	c 2120           50863          147662         108669         0              526            129   236   151
0.19/0.26	c 2122           51104          148322         109113         0              527            230   230   153
0.19/0.26	c 2130           51370          149084         109638         0              530            177   236   200
0.19/0.26	c 2140           51649          149882         110216         0              532            225   236   211
0.19/0.26	c 2150           51917          150638         110762         0              534            222   236   208
0.19/0.27	c 2160           52229          151529         111423         0              538            175   236   207
0.19/0.27	c 2170           52478          152226         111921         0              540            205   236   196
0.19/0.27	c 2180           52824          153250         112715         0              542            212   236   208
0.19/0.27	c 2190           53106          154061         113292         0              546            223   236   212
0.19/0.27	c 2200           53392          154866         113880         0              548            222   232   209
0.19/0.27	c 2210           53668          155647         114445         0              549            224   236   210
0.19/0.27	c 2220           53895          156288         114897         0              550            201   218   190
0.19/0.27	c 2230           54147          157019         115440         0              553            184   195   174
0.19/0.28	c 2240           54405          157741         115947         0              554            225   228   205
0.19/0.28	c 2250           54684          158529         116513         0              556            227   236   212
0.19/0.28	c 2260           54915          159184         116990         0              557            189   209   183
0.19/0.28	c 2270           55182          159938         117562         0              562            69   205   172 
0.19/0.28	c 2280           55463          160739         118150         0              564            72   232   193 
0.19/0.28	c 2290           55704          161420         118633         0              565            208   232   200
0.19/0.28	c 2300           55922          162042         119081         0              567            162   177   154
0.19/0.28	c 2310           56127          162623         119488         0              570            170   177   158
0.19/0.28	c 2320           56307          163133         119855         0              572            151   169   144
0.19/0.29	c 2330           56464          163578         120169         0              574            135   146   127
0.19/0.29	c 2340           56796          164539         120897         0              577            232   236   213
0.19/0.29	c 2350           57003          165114         121302         0              580            142   180   138
0.19/0.29	c 2360           57269          165863         121835         0              584            210   232   201
0.19/0.29	c 2370           57567          166700         122439         0              587            224   236   212
0.19/0.29	c 2380           57875          167574         123107         0              590            178   231   201
0.19/0.29	c 2390           58088          168177         123534         0              592            162   182   153
0.19/0.29	c 2400           58381          168973         124151         0              593            212   217   196
0.19/0.29	c 2410           58613          169638         124642         0              594            181   208   178
0.29/0.30	c 2420           58859          170327         125131         0              596            207   220   195
0.29/0.30	c 2430           59107          171028         125663         0              598            179   189   169
0.29/0.30	c 2431           59246          171392         125892         0              599            139   139   69 
0.29/0.30	c 2440           59481          172093         126441         0              602            147   169   146
0.29/0.30	c 2450           59737          172824         126955         0              605            206   225   198
0.29/0.30	c 2460           59983          173521         127449         0              607            111   225   177
0.29/0.30	c 2470           60220          174200         127954         0              610            171   180   161
0.29/0.30	c 2480           60452          174871         128482         0              612            129   172   134
0.29/0.30	c 2490           60649          175443         128913         0              614            143   166   142
0.29/0.31	c 2500           60851          176083         129415         0              616            114   139   116
0.29/0.31	c 2510           61012          176545         129741         0              618            133   144   126
0.29/0.31	c 2520           61257          177248         130238         0              621            202   210   187
0.29/0.31	c 2530           61529          178025         130793         0              623            230   236   212
0.29/0.31	c 2540           61752          178665         131247         0              624            192   202   180
0.29/0.31	c 2550           61922          179171         131660         0              625            102   131   113
0.29/0.31	c 2560           62129          179784         132154         0              628            104   127   108
0.29/0.31	c 2570           62273          180197         132466         0              630            102   121   99 
0.29/0.31	c 2580           62584          181118         133162         0              632            220   236   209
0.29/0.31	c 2590           62872          181930         133749         0              636            97   236   197 
0.29/0.32	c 2600           63141          182717         134340         0              641            102   195   166
0.29/0.32	c 2610           63368          183359         134809         0              644            179   191   168
0.29/0.32	c 2620           63583          183959         135225         0              645            192   201   179
0.29/0.32	c 2630           63792          184566         135674         0              646            179   195   171
0.29/0.32	c 2640           64081          185386         136269         0              655            119   227   187
0.29/0.32	c 2650           64344          186145         136861         0              656            176   199   171
0.29/0.32	c 2660           64660          187073         137558         0              660            176   236   183
0.29/0.32	c 2670           64942          187878         138146         0              663            214   236   205
0.29/0.32	c 2680           65220          188659         138704         0              666            229   236   212
0.29/0.33	c 2690           65504          189478         139285         0              669            230   236   212
0.29/0.33	c 2700           65778          190269         139862         0              671            206   232   201
0.29/0.33	c 2710           66101          191179         140540         0              675            225   236   212
0.29/0.33	c 2720           66365          191939         141081         0              678            176   232   196
0.29/0.33	c 2730           66622          192679         141624         0              679            211   236   206
0.29/0.33	c 2740           66881          193431         142179         0              680            201   236   201
0.29/0.33	c 2750           67147          194182         142728         0              682            207   215   193
0.29/0.33	c 2760           67354          194762         143147         0              683            173   198   169
0.29/0.34	c 2770           67683          195709         143859         0              687            205   236   210
0.29/0.34	c 2771           67915          196330         144258         0              688            232   232   116
0.29/0.34	c 2780           68084          196803         144592         0              689            144   158   135
0.29/0.34	c 2790           68395          197707         145314         0              691            210   236   207
0.29/0.34	c 2800           68704          198582         145956         0              697            216   236   208
0.29/0.34	c 2810           69016          199519         146680         0              699            197   220   194
0.29/0.34	c 2820           69296          200312         147298         0              700            183   219   187
0.29/0.34	c 2830           69556          201062         147837         0              704            183   203   180
0.29/0.35	c 2840           69750          201617         148246         0              708            137   143   128
0.29/0.35	c 2850           69919          202100         148590         0              709            134   143   126
0.29/0.35	c 2860           70039          202443         148844         0              710            92   106   90  
0.29/0.35	c 2870           70161          202795         149106         0              711            89   97   85   
0.29/0.35	c 2880           70320          203246         149430         0              715            125   139   120
0.29/0.35	c 2890           70675          204296         150258         0              717            172   219   177
0.29/0.35	c 2900           70969          205122         150863         0              721            225   236   212
0.29/0.35	c 2910           71279          206028         151576         0              723            189   236   205
0.29/0.35	c 2920           71599          206961         152303         0              724            213   236   210
0.29/0.36	c 2930           71933          207939         153075         0              726            211   236   208
0.29/0.36	c 2940           72211          208730         153655         0              728            217   232   205
0.29/0.36	c 2950           72521          209633         154356         0              733            186   236   202
0.29/0.36	c 2960           72706          210126         154732         0              734            120   130   114
0.29/0.36	c 2970           72983          210934         155321         0              737            217   234   207
0.29/0.36	c 2980           73178          211514         155745         0              738            152   186   148
0.29/0.36	c 2990           73293          211845         155986         0              739            93   100   87  
0.29/0.36	c 3000           73657          212893         156806         0              742            192   234   194
0.29/0.36	c 3010           73862          213473         157225         0              745            152   169   147
0.29/0.37	c 3020           74061          214049         157663         0              748            140   163   140
0.29/0.37	c 3030           74291          214708         158170         0              750            159   168   150
0.29/0.37	c 3040           74464          215190         158509         0              751            150   164   142
0.29/0.37	c 3050           74639          215701         158885         0              752            134   152   132
0.29/0.37	c 3060           74782          216100         159162         0              753            128   134   119
0.29/0.37	c 3070           75049          216846         159689         0              758            172   236   191
0.29/0.37	c 3080           75323          217620         160242         0              761            223   236   209
0.29/0.37	c 3090           75622          218499         160913         0              764            211   229   201
0.29/0.37	c 3100           75905          219348         161562         0              767            201   225   196
0.29/0.37	c 3110           76175          220115         162130         0              768            217   225   202
0.29/0.38	c 3120           76433          220841         162657         0              771            206   222   195
0.29/0.38	c 3130           76696          221589         163200         0              774            206   225   198
0.29/0.38	c 3140           76955          222319         163718         0              778            209   220   195
0.29/0.38	c 3142           77164          222874         164076         0              780            203   203   135
0.29/0.38	c 3150           77376          223460         164478         0              781            194   202   176
0.29/0.38	c 3160           77662          224283         165092         0              783            168   229   200
0.29/0.38	c 3170           77907          224967         165582         0              786            57   211   162 
0.29/0.38	c 3180           78116          225562         166025         0              788            153   183   153
0.29/0.38	c 3190           78288          226049         166373         0              789            144   158   136
0.29/0.39	c 3200           78534          226794         166946         0              793            100   188   159
0.29/0.39	c 3210           78757          227434         167414         0              796            135   181   158
0.29/0.39	c 3220           79065          228335         168081         0              800            207   236   205
0.29/0.39	c 3230           79381          229228         168753         0              805            212   236   204
0.29/0.39	c 3240           79675          230065         169369         0              808            222   236   211
0.29/0.39	c 3250           79952          230839         169930         0              809            225   229   207
0.29/0.39	c 3260           80181          231513         170464         0              810            146   192   158
0.29/0.39	c 3270           80482          232383         171110         0              813            217   229   204
0.29/0.40	c 3280           80759          233172         171699         0              816            205   225   196
0.39/0.40	c 3290           81032          233947         172248         0              819            206   236   201
0.39/0.40	c 3300           81332          234807         172889         0              822            223   236   211
0.39/0.40	c 3310           81581          235535         173442         0              823            189   229   187
0.39/0.40	c 3320           81869          236356         174074         0              825            193   236   193
0.39/0.40	c 3330           82122          237104         174679         0              828            144   179   152
0.39/0.40	c 3340           82340          237727         175136         0              830            167   172   154
0.39/0.40	c 3350           82499          238183         175461         0              832            132   147   127
0.39/0.40	c 3360           82648          238611         175769         0              833            120   135   114
0.39/0.41	c 3370           82816          239112         176158         0              835            91   127   101 
0.39/0.41	c 3380           83074          239840         176680         0              837            83   236   118 
0.39/0.41	c 3390           83167          240115         176887         0              838            76   84   72   
0.39/0.41	c 3400           83478          241026         177591         0              840            224   236   211
0.39/0.41	c 3410           83768          241860         178211         0              841            213   236   209
0.39/0.41	c 3420           84071          242724         178865         0              844            218   236   209
0.39/0.41	c 3430           84381          243603         179511         0              846            210   236   207
0.39/0.41	c 3440           84659          244398         180082         0              849            233   236   213
0.39/0.41	c 3450           84941          245205         180654         0              853            217   236   211
0.39/0.42	c 3460           85234          246033         181276         0              854            213   232   205
0.39/0.42	c 3470           85481          246737         181798         0              857            79   212   171 
0.39/0.42	c 3480           85688          247337         182245         0              859            83   160   106 
0.39/0.42	c 3490           85836          247758         182542         0              860            126   134   117
0.39/0.42	c 3500           86095          248501         183078         0              862            146   232   175
0.39/0.42	c 3510           86316          249123         183513         0              863            191   204   178
0.39/0.42	c 3520           86508          249674         183907         0              864            161   176   155
0.39/0.42	c 3530           86774          250438         184455         0              866            167   236   181
0.39/0.42	c 3540           87079          251311         185096         0              868            227   236   211
0.39/0.43	c 3550           87361          252155         185714         0              870            220   236   207
0.39/0.43	c 3551           87590          252770         186116         0              871            229   229   114
0.39/0.43	c 3560           87855          253556         186694         0              872            214   232   201
0.39/0.43	c 3570           88145          254399         187322         0              875            211   232   206
0.39/0.43	c 3580           88394          255103         187820         0              877            205   222   194
0.39/0.43	c 3590           88671          255902         188396         0              881            215   229   205
0.39/0.43	c 3600           88974          256781         189062         0              883            192   222   192
0.39/0.43	c 3610           89271          257635         189683         0              885            154   236   177
0.39/0.43	c 3620           89503          258293         190178         0              887            165   197   170
0.39/0.44	c 3630           89777          259075         190740         0              890            209   232   200
0.39/0.44	c 3640           90083          259981         191467         0              891            181   209   180
0.39/0.44	c 3650           90309          260614         191924         0              892            184   217   182
0.39/0.44	c 3660           90537          261268         192416         0              897            152   162   145
0.39/0.44	c 3670           90737          261819         192818         0              898            143   154   137
0.39/0.44	c 3680           90892          262266         193145         0              900            123   143   120
0.39/0.44	c 3690           91022          262640         193421         0              901            102   121   100
0.39/0.44	c 3700           91199          263187         193858         0              904            98   121   103 
0.39/0.44	c 3710           91353          263639         194207         0              906            100   119   102
0.39/0.44	c 3720           91615          264383         194764         0              908            106   203   133
0.39/0.45	c 3730           91800          264948         195161         0              910            154   167   145
0.39/0.45	c 3740           91940          265349         195440         0              913            121   127   113
0.39/0.45	c 3750           92128          265887         195841         0              915            134   154   134
0.39/0.45	c 3760           92262          266270         196117         0              916            118   125   110
0.39/0.45	c 3770           92554          267135         196774         0              921            190   221   190
0.39/0.45	c 3780           92832          267918         197332         0              923            227   236   213
0.39/0.45	c 3790           93019          268470         197767         0              927            114   124   110
0.39/0.45	c 3800           93342          269394         198477         0              930            220   236   211
0.39/0.45	c 3810           93607          270150         199035         0              932            204   236   200
0.39/0.46	c 3820           93936          271087         199738         0              935            218   236   211
0.39/0.46	c 3830           94237          271972         200406         0              937            221   236   210
0.39/0.46	c 3840           94503          272717         200918         0              941            152   232   160
0.39/0.46	c 3850           94812          273593         201564         0              946            215   236   210
0.39/0.46	c 3860           95129          274526         202287         0              950            207   236   211
0.39/0.46	c 3870           95408          275315         202858         0              952            232   236   212
0.39/0.46	c 3880           95666          276037         203355         0              955            161   236   161
0.39/0.46	c 3890           95932          276793         203906         0              959            193   207   185
0.39/0.47	c 3900           96182          277493         204403         0              961            206   232   201
0.39/0.47	c 3910           96346          277967         204759         0              964            88   123   95  
0.39/0.47	c 3920           96522          278467         205124         0              966            87   150   87  
0.39/0.47	c 3930           96793          279263         205703         0              968            227   236   209
0.39/0.47	c 3940           97017          279898         206178         0              970            171   177   159
0.39/0.47	c 3950           97225          280523         206654         0              974            126   146   127
0.39/0.47	c 3960           97394          281014         207012         0              976            138   146   129
0.39/0.47	c 3970           97609          281680         207551         0              979            119   136   120
0.39/0.47	c 3980           97908          282526         208188         0              982            211   221   198
0.39/0.47	c 3990           98162          283237         208686         0              985            211   221   197
0.39/0.48	c 4000           98396          283895         209155         0              987            197   214   187
0.39/0.48	c 4001           98598          284433         209497         0              988            202   202   101
0.39/0.48	c 4010           98857          285191         210079         0              990            178   200   172
0.39/0.48	c 4020           99068          285784         210491         0              991            189   202   177
0.39/0.48	c 4030           99323          286528         211038         0              993            189   202   178
0.39/0.48	c 4040           99541          287152         211496         0              994            178   196   170
0.39/0.48	c 4050           99780          287842         212006         0              997            160   182   156
0.39/0.48	c 4060           100028         288548         212537         0              1000           176   182   162
0.39/0.48	c 4070           100255         289253         213102         0              1003           135   173   143
0.39/0.48	c 4080           100444         289797         213506         0              1004           162   174   154
0.39/0.49	c 4090           100707         290598         214143         0              1008           124   166   141
0.39/0.49	c 4100           100861         291041         214471         0              1011           111   122   108
0.39/0.49	c 4110           101003         291456         214800         0              1012           85   94   83   
0.39/0.49	c 4120           101106         291757         215020         0              1014           80   87   76   
0.39/0.49	c 4130           101379         292599         215693         0              1019           134   166   142
0.39/0.49	c 4140           101610         293292         216221         0              1022           147   166   145
0.39/0.49	c 4150           101806         293862         216647         0              1025           136   162   135
0.39/0.49	c 4160           102089         294665         217220         0              1030           208   236   203
0.39/0.49	c 4170           102311         295295         217662         0              1032           192   210   184
0.39/0.49	c 4180           102543         295982         218143         0              1035           195   209   184
0.49/0.50	c 4190           102830         296803         218736         0              1038           225   236   211
0.49/0.50	c 4200           103076         297510         219240         0              1040           199   207   185
0.49/0.50	c 4210           103309         298199         219735         0              1041           192   207   182
0.49/0.50	c 4220           103575         298974         220328         0              1044           153   185   157
0.49/0.50	c 4230           103796         299634         220819         0              1046           163   196   168
0.49/0.50	c 4240           104035         300341         221344         0              1050           170   187   165
0.49/0.50	c 4250           104227         300885         221737         0              1051           156   183   154
0.49/0.50	c 4260           104509         301709         222389         0              1053           175   187   168
0.49/0.50	c 4270           104733         302364         222862         0              1055           175   187   166
0.49/0.51	c 4280           105017         303213         223537         0              1058           170   187   167
0.49/0.51	c 4290           105292         304020         224173         0              1059           164   187   167
0.49/0.51	c 4300           105523         304696         224709         0              1061           153   186   160
0.49/0.51	c 4310           105718         305244         225108         0              1062           160   186   154
0.49/0.51	c 4320           105900         305765         225491         0              1064           142   169   143
0.49/0.51	c 4330           106160         306509         226058         0              1067           168   186   161
0.49/0.51	c 4340           106398         307188         226556         0              1070           176   186   166
0.49/0.51	c 4350           106653         307936         227142         0              1072           166   186   164
0.49/0.51	c 4360           106947         308741         227794         0              1073           182   186   168
0.49/0.52	c 4370           107107         309211         228150         0              1074           127   151   126
0.49/0.52	c 4380           107282         309712         228522         0              1077           124   133   116
0.49/0.52	c 4390           107442         310182         228879         0              1080           102   119   104
0.49/0.52	c 4400           107595         310636         229234         0              1082           85   109   91  
0.49/0.52	c 4410           107864         311404         229834         0              1084           170   186   165
0.49/0.52	c 4420           108142         312187         230400         0              1087           121   236   187
0.49/0.52	c 4430           108443         313058         231049         0              1091           220   236   212
0.49/0.52	c 4440           108713         313831         231605         0              1093           224   232   207
0.49/0.52	c 4450           108977         314574         232131         0              1096           116   232   167
0.49/0.53	c 4460           109288         315462         232784         0              1098           236   236   214
0.49/0.53	c 4470           109531         316148         233270         0              1100           189   229   197
0.49/0.53	c 4480           109784         316863         233780         0              1104           170   215   181
0.49/0.53	c 4490           110044         317609         234330         0              1109           171   193   167
0.49/0.53	c 4493           110235         318138         234697         0              1110           166   176   129
0.49/0.53	c 4500           110457         318749         235105         0              1111           209   215   185
0.49/0.53	c 4510           110734         319510         235643         0              1114           224   236   209
0.49/0.53	c 4520           111026         320345         236258         0              1117           231   236   213
0.49/0.53	c 4530           111295         321099         236783         0              1120           175   236   174
0.49/0.54	c 4540           111553         321830         237307         0              1121           216   236   206
0.49/0.54	c 4550           111804         322555         237829         0              1124           191   203   183
0.49/0.54	c 4560           112061         323300         238377         0              1126           178   203   178
0.49/0.54	c 4570           112352         324132         239030         0              1129           189   201   180
0.49/0.54	c 4580           112490         324531         239323         0              1131           109   127   108
0.49/0.54	c 4590           112746         325279         239868         0              1133           179   203   171
0.49/0.54	c 4600           112982         325971         240374         0              1135           185   195   172
0.49/0.54	c 4610           113163         326481         240742         0              1136           150   169   148
0.49/0.54	c 4620           113309         326893         241029         0              1138           126   136   119
0.49/0.55	c 4630           113637         327830         241743         0              1142           227   236   213
0.49/0.55	c 4640           113940         328686         242373         0              1145           224   234   206
0.49/0.55	c 4650           114262         329592         243047         0              1148           232   236   214
0.49/0.55	c 4660           114585         330525         243741         0              1150           228   236   212
0.49/0.55	c 4670           114889         331433         244451         0              1151           208   236   206
0.49/0.55	c 4680           115152         332190         245008         0              1154           191   215   187
0.49/0.55	c 4690           115341         332735         245401         0              1155           155   180   157
0.49/0.55	c 4700           115569         333398         245886         0              1157           183   218   184
0.49/0.56	c 4710           115879         334336         246634         0              1158           195   232   199
0.49/0.56	c 4720           116166         335163         247247         0              1161           206   232   202
0.49/0.56	c 4730           116414         335881         247756         0              1162           208   221   196
0.49/0.56	c 4740           116620         336469         248180         0              1164           166   188   163
0.49/0.56	c 4750           116831         337068         248609         0              1166           166   177   157
0.49/0.56	c 4760           117056         337700         249064         0              1168           190   201   178
0.49/0.56	c 4770           117293         338409         249587         0              1170           182   197   175
0.49/0.56	c 4780           117505         339009         250011         0              1171           180   197   173
0.49/0.56	c 4790           117745         339682         250517         0              1172           179   196   170
0.49/0.57	c 4800           117972         340350         251027         0              1174           167   179   158
0.49/0.57	c 4810           118195         341027         251558         0              1176           147   175   143
0.49/0.57	c 4820           118335         341426         251845         0              1178           113   129   110
0.49/0.57	c 4830           118504         341901         252178         0              1180           142   159   136
0.49/0.57	c 4840           118760         342636         252721         0              1184           123   196   140
0.49/0.57	c 4850           118964         343227         253151         0              1185           167   193   168
0.49/0.57	c 4860           119150         343764         253528         0              1187           158   167   147
0.49/0.57	c 4870           119310         344217         253862         0              1192           112   120   107
0.49/0.57	c 4880           119611         345079         254501         0              1195           194   236   201
0.49/0.57	c 4890           119947         346043         255263         0              1197           192   236   199
0.49/0.58	c 4900           120200         346773         255767         0              1199           217   219   198
0.49/0.58	c 4910           120448         347456         256276         0              1200           170   196   171
0.49/0.58	c 4920           120619         347932         256610         0              1201           149   162   142
0.49/0.58	c 4930           120936         348837         257305         0              1202           230   236   213
0.49/0.58	c 4940           121268         349784         258027         0              1204           219   236   211
0.49/0.58	c 4950           121573         350648         258664         0              1208           230   236   212
0.49/0.58	c 4960           121891         351539         259334         0              1210           232   236   213
0.49/0.58	c 4970           122315         352767         260331         0              1213           232   236   213
0.49/0.59	c 4980           122622         353669         261024         0              1216           217   236   207
0.49/0.59	c 4990           122937         354570         261691         0              1219           222   236   211
0.49/0.59	c 5035           123394         356025         262951         0              1223           173   232   184
0.59/0.61	c 5631           128289         372262         278887         0              1225           110   232   154
0.59/0.64	c 6286           134797         393952         300089         0              1231           25   236   166 
0.59/0.66	c 7006           139416         410143         315622         0              1237           91   216   134 
0.59/0.69	c 7798           148315         439461         344473         0              1243           183   238   224
0.69/0.72	c 8669           154653         461345         365619         0              1251           97   232   219 
0.69/0.75	c 9627           161684         485624         389287         0              1257           103   213   130
0.69/0.78	c 10680          169800         513604         416457         0              1263           77   236   215 
0.79/0.81	c 11838          178134         542621         444572         0              1270           187   236   227
0.79/0.85	c 13111          187629         576041         477050         0              1277           26   149   135 
0.79/0.89	c 14511          197953         611517         511539         0              1283           177   232   206
0.89/0.94	c 16051          209719         651677         550851         0              1292           21   236   224 
0.89/0.98	c 17745          220711         689634         587554         0              1297           72   228   123 
0.99/1.04	c 19608          232786         732022         628698         0              1306           18   215   145 
1.10/1.10	c 21657          247293         782437         677702         0              1310           33   122   67  
1.10/1.18	c 23910          265372         843863         737556         0              1320           32   181   154 
1.20/1.26	c 26388          283029         906470         798356         0              1328           41   133   126 
1.29/1.33	c 29113          301959         972479         862382         0              1339           20   237   221 
1.39/1.45	c 32110          329034         1064466        953058         0              1346           49   96   87   
1.49/1.56	c 35406          356749         1161028        1047128        0              1356           22   225   195 
1.59/1.68	c 39031          386162         1263657        1147056        0              1364           29   213   174 
1.79/1.81	c 43018          414352         1364030        1244484        0              1370           61   136   123 
1.89/1.97	c 47403          451024         1489505        1367975        0              1376           88   135   121 
2.09/2.17	c 52226          494198         1638977        1514542        0              1384           46   93   83   
2.30/2.31	c 57531          530963         1766127        1638713        0              1398           17   236   212 
2.49/2.53	c 63366          586200         1959069        1828382        0              1408           29   233   222 
2.69/2.73	c 69784          636951         2137742        2002076        0              1419           30   209   196 
2.89/2.95	c 76843          693207         2329549        2189389        0              1427           48   228   213 
3.19/3.21	c 84607          758752         2562715        2418441        0              1437           124   226   194
3.40/3.47	c 93147          823571         2791653        2640558        0              1448           64   224   198 
3.69/3.76	c 102541         893278         3035613        2878627        0              1453           110   198   152
4.09/4.10	c 112874         976087         3330131        3163952        0              1462           35   187   169 
4.50/4.51	c 124240         1069428        3656283        3484935        0              1472           51   178   130 
4.79/4.88	c 136742         1164921        3983093        3805420        0              1486           30   227   217 
5.29/5.34	c 150494         1269465        4349808        4163716        0              1491           73   177   131 
5.79/5.83	c 165621         1396827        4806066        4608541        0              1501           68   223   216 
6.29/6.36	c 182260         1529088        5279834        5071106        0              1511           35   220   202 
6.89/6.92	c 200562         1670718        5772661        5555547        0              1523           52   223   213 
7.59/7.60	c 220694         1837978        6365439        6131992        0              1530           146   214   179
8.29/8.34	c 242839         2004190        6951252        6702330        0              1538           41   185   109 
9.09/9.17	c 267198         2216523        7707335        7443499        0              1549           26   221   211 
10.00/10.04	c 293992         2423080        8444638        8161683        0              1554           34   219   161 
11.00/11.02	c 323465         2667248        9291816        8992525        0              1566           44   223   194 
12.09/12.18	c 355885         2959571        10332282       10009329       0              1582           44   221   202 
13.39/13.46	c 391547         3262764        11395111       11054031       0              1595           111   220   158
14.79/14.88	c 430775         3622510        12633350       12276668       0              1607           32   222   209 
16.29/16.35	c 473925         3966422        13823973       13451019       0              1613           89   220   143 
17.99/18.09	c 521390         4410679        15414109       15009393       0              1624           164   220   213
19.99/20.07	c 573601         4876798        17027298       16595728       0              1635           59   180   158 
22.29/22.33	c 631033         5454548        19062254       18609535       0              1655           28   220   212 
24.49/24.57	c 694208         5994668        20949978       20454790       0              1665           30   185   168 
26.79/26.83	c 763700         6566132        22974344       22432840       0              1680           40   220   203 
29.49/29.57	c 840141         7219070        25306679       24708129       0              1690           101   218   163
32.29/32.36	c 924226         7923919        27778834       27142929       0              1700           48   220   209 
35.59/35.61	c 1016719        8727794        30560831       29871547       0              1707           137   202   184
39.69/39.74	c 1118461        9773958        34267434       33522909       0              1714           38   218   209 
43.38/43.45	c 1230377        10699747       37512176       36707512       0              1725           52   220   195 
47.68/47.77	c 1353484        11756618       41185737       40293631       0              1738           125   214   176
53.08/53.10	c 1488901        13101893       45946866       44974243       0              1749           37   218   205 
58.18/58.29	c 1637859        14379518       50385916       49329644       0              1761           46   220   183 
64.68/64.74	c 1801712        15821007       55404317       54243806       0              1769           63   133   110 
71.68/71.78	c 1981950        17590776       61679171       60413550       0              1781           37   218   207 
78.78/78.89	c 2180211        19385619       67931345       66552882       0              1793           126   218   199
86.78/86.81	c 2398298        21163358       74155930       72637075       0              1802           47   130   113 
95.18/95.20	c 2638193        23282094       81615218       79968465       0              1824           52   220   207 
104.98/105.00	c 2902077        25722614       90153571       88337416       0              1831           53   218   191 
115.68/115.72	c 3192349        28185838       98817469       96836195       0              1843           86   146   135 
127.37/127.46	c 3511648        31161893       109205784      107052226      0              1856           48   221   208 
140.47/140.50	c 3862876        34498252       120844438      118474830      0              1872           51   219   211 
155.08/155.10	c 4249226        37831057       132551908      129953239      0              1879           72   146   129 
170.37/170.44	c 4674211        41705163       146245680      143487521      0              1894           43   221   209 
187.97/188.02	c 5141694        46202853       162036870      158959246      0              1907           45   218   211 
207.27/207.33	c 5655925        50673245       177692815      174334521      0              1919           51   158   139 
228.06/228.19	c 6221579        55937074       196285857      192694515      0              1932           44   220   208 
251.16/251.20	c 6843798        61816841       216937195      212927476      0              1947           49   218   210 
277.96/278.02	c 7528238        68048693       238779137      234364082      0              1957           89   213   143 
305.86/305.98	c 8281122        75144594       263641023      258831974      0              1970           38   219   208 
336.45/336.51	c 9109294        82940454       291091263      285784499      0              1981           101   218   209
373.15/373.20	c 10020283       91502375       321282667      315438812      0              1994           61   217   150 
408.84/408.98	c 11022370       100574372      352946644      346536204      0              2009           55   220   205 
449.74/449.82	c 12124665       110976645      389599002      382507851      0              2024           46   218   209 
497.14/497.21	c 13337189       121956917      427838472      420133183      0              2036           82   155   141 
544.53/544.66	c 14670965       133954599      470218947      461920071      0              2046           113   219   208
599.52/599.63	c 16138118       147964957      519277424      510293731      0              2057           58   218   209 
659.31/659.49	c 17751986       162921564      571759332      562038088      0              2072           59   218   200 
727.80/727.91	c 19527240       180406905      631781237      621308916      0              2091           57   220   210 
799.10/799.21	c 21480019       198175243      694450563      682664218      0              2104           61   218   193 
889.09/889.23	c 23628075       219086436      766423914      753118452      0              2117           83   154   141 
976.68/976.85	c 25990936       241176541      844638147      829987086      0              2129           40   219   207 
1068.57/1068.74	c 28590083       264036193      924903481      908760496      0              2143           42   218   190 
1177.05/1177.27	c 31449144       289691392      1015327334     997722250      0              2153           69   218   159 
1294.74/1294.96	c 34594111       319476146      1119837659     1100082547     0              2169           34   220   206 
1427.02/1427.21	c 38053574       352538976      1236283151     1214031346     0              2178           106   218   196
1570.71/1570.97	c 41858983       386746353      1355363707     1330937968     0              2194           83   220   160 
1720.30/1720.56	c 46044932       424106763      1486965642     1460314376     0              2207           46   220   197 
1891.08/1891.37	c 50649475       465970777      1634331204     1604772754     0              2220           55   218   182 
2077.56/2077.81	c 55714472       509641459      1789047499     1756693966     0              2233           64   220   152 
2279.34/2279.64	c 61285968       560651041      1968209669     1932765445     0              2253           46   220   206

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

pid=5795
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: 1.99 2.03 2.04 3/186 5798
/proc/meminfo: memFree=31810640/32770624 swapFree=6264/17196
[pid=5798] ppid=5795 vsize=27124 CPUtime=0 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 1002 0 0 0 0 0 0 0 20 0 1 0 16395599 27774976 831 33554432000 4194304 5970956 140720730411264 140720730407912 140478869158885 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 6781 831 706 434 0 145 0

[startup+0.100162 s]
/proc/loadavg: 1.99 2.03 2.04 3/186 5798
/proc/meminfo: memFree=31810640/32770624 swapFree=6264/17196
[pid=5798] ppid=5795 vsize=32420 CPUtime=0.09 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 1322 0 0 0 9 0 0 0 20 0 1 0 16395599 33198080 1161 33554432000 4194304 5970956 140720730411264 140720730408600 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8105 1161 765 434 0 1469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32420

[startup+0.200182 s]
/proc/loadavg: 1.99 2.03 2.04 3/186 5798
/proc/meminfo: memFree=31810640/32770624 swapFree=6264/17196
[pid=5798] ppid=5795 vsize=32544 CPUtime=0.19 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 1366 0 0 0 19 0 0 0 20 0 1 0 16395599 33325056 1172 33554432000 4194304 5970956 140720730411264 140720730408600 140478869597280 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1172 766 434 0 1500 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32544

[startup+0.300238 s]
/proc/loadavg: 1.99 2.03 2.04 3/186 5798
/proc/meminfo: memFree=31810640/32770624 swapFree=6264/17196
[pid=5798] ppid=5795 vsize=32544 CPUtime=0.29 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 1408 0 0 0 29 0 0 0 20 0 1 0 16395599 33325056 1237 33554432000 4194304 5970956 140720730411264 140720730408600 5338352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1237 766 434 0 1500 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32544

[startup+0.700227 s]
/proc/loadavg: 1.99 2.03 2.04 3/186 5798
/proc/meminfo: memFree=31810640/32770624 swapFree=6264/17196
[pid=5798] ppid=5795 vsize=32544 CPUtime=0.69 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 1530 0 0 0 69 0 0 0 20 0 1 0 16395599 33325056 1369 33554432000 4194304 5970956 140720730411264 140720730408600 4930544 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1369 766 434 0 1500 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32544

[startup+1.50022 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5799
/proc/meminfo: memFree=31808116/32770624 swapFree=6264/17176
[pid=5798] ppid=5795 vsize=32544 CPUtime=1.49 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 1545 0 0 0 149 0 0 0 20 0 1 0 16395599 33325056 1369 33554432000 4194304 5970956 140720730411264 140720730408600 5327383 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1369 766 434 0 1500 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32544

[startup+3.10022 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5799
/proc/meminfo: memFree=31807644/32770624 swapFree=6264/17188
[pid=5798] ppid=5795 vsize=32544 CPUtime=3.09 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 2103 0 0 0 309 0 0 0 20 0 1 0 16395599 33325056 1389 33554432000 4194304 5970956 140720730411264 140720730408600 5239888 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1389 766 434 0 1500 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32544

[startup+6.30023 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5799
/proc/meminfo: memFree=31807832/32770624 swapFree=6264/17196
[pid=5798] ppid=5795 vsize=32544 CPUtime=6.29 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 2674 0 0 0 629 0 0 0 20 0 1 0 16395599 33325056 1401 33554432000 4194304 5970956 140720730411264 140720730408600 5337487 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1401 766 434 0 1500 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32544

[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 2.04 3/188 5807
/proc/meminfo: memFree=31806452/32770624 swapFree=6264/17208
[pid=5798] ppid=5795 vsize=32544 CPUtime=12.69 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 3260 0 0 0 1269 0 0 0 20 0 1 0 16395599 33325056 1412 33554432000 4194304 5970956 140720730411264 140720730408600 5250384 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1412 766 434 0 1500 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32544

[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.04 3/188 5807
/proc/meminfo: memFree=31806572/32770624 swapFree=6264/17228
[pid=5798] ppid=5795 vsize=32544 CPUtime=25.49 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 4409 0 0 0 2549 0 0 0 20 0 1 0 16395599 33325056 1435 33554432000 4194304 5970956 140720730411264 140720730408600 5239899 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1435 766 434 0 1500 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32544

[startup+51.1003 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 5807
/proc/meminfo: memFree=31806696/32770624 swapFree=6264/17248
[pid=5798] ppid=5795 vsize=32544 CPUtime=51.08 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 5065 0 0 0 5108 0 0 0 20 0 1 0 16395599 33325056 1442 33554432000 4194304 5970956 140720730411264 140720730408600 4930560 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1442 766 434 0 1500 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32544

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/189 5831
/proc/meminfo: memFree=31805392/32770624 swapFree=6264/17304
[pid=5798] ppid=5795 vsize=32544 CPUtime=102.28 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 5690 0 0 0 10228 0 0 0 20 0 1 0 16395599 33325056 1457 33554432000 4194304 5970956 140720730411264 140720730408600 5337509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1457 766 434 0 1500 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 32544

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/189 5832
/proc/meminfo: memFree=31805516/32770624 swapFree=6264/17364
[pid=5798] ppid=5795 vsize=32544 CPUtime=162.27 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 6319 0 0 0 16227 0 0 0 20 0 1 0 16395599 33325056 1463 33554432000 4194304 5970956 140720730411264 140720730408600 5240208 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1463 766 434 0 1500 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 32544

[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 5833
/proc/meminfo: memFree=31805764/32770624 swapFree=6264/17416
[pid=5798] ppid=5795 vsize=32544 CPUtime=222.27 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 6955 0 0 0 22227 0 0 0 20 0 1 0 16395599 33325056 1474 33554432000 4194304 5970956 140720730411264 140720730408600 5322040 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1474 766 434 0 1500 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 32544

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 5834
/proc/meminfo: memFree=31805592/32770624 swapFree=6264/17452
[pid=5798] ppid=5795 vsize=32544 CPUtime=282.26 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 7596 0 0 0 28226 0 0 0 20 0 1 0 16395599 33325056 1478 33554432000 4194304 5970956 140720730411264 140720730408600 4934327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8136 1478 766 434 0 1500 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 32544

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5835
/proc/meminfo: memFree=31805244/32770624 swapFree=6264/17492
[pid=5798] ppid=5795 vsize=32668 CPUtime=342.25 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 8243 0 0 0 34225 0 0 0 20 0 1 0 16395599 33452032 1484 33554432000 4194304 5970956 140720730411264 140720730408600 5319868 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1484 766 434 0 1531 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 32668

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5836
/proc/meminfo: memFree=31805136/32770624 swapFree=6264/17520
[pid=5798] ppid=5795 vsize=32668 CPUtime=402.24 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 8889 0 0 0 40224 0 0 0 20 0 1 0 16395599 33452032 1487 33554432000 4194304 5970956 140720730411264 140720730408600 4930640 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1487 766 434 0 1531 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 32668

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5959
/proc/meminfo: memFree=32006332/32770624 swapFree=6264/17660
[pid=5798] ppid=5795 vsize=32668 CPUtime=462.24 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 9537 0 0 0 46224 0 0 0 20 0 1 0 16395599 33452032 1491 33554432000 4194304 5970956 140720730411264 140720730408600 4930630 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1491 766 434 0 1531 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 32668

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5960
/proc/meminfo: memFree=32006340/32770624 swapFree=6264/17744
[pid=5798] ppid=5795 vsize=32668 CPUtime=522.23 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 10188 0 0 0 52223 0 0 0 20 0 1 0 16395599 33452032 1492 33554432000 4194304 5970956 140720730411264 140720730408600 5322040 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1492 766 434 0 1531 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 32668

[startup+582.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/187 5961
/proc/meminfo: memFree=32006340/32770624 swapFree=6264/17792
[pid=5798] ppid=5795 vsize=32668 CPUtime=582.22 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 10842 0 0 0 58222 0 0 0 20 0 1 0 16395599 33452032 1494 33554432000 4194304 5970956 140720730411264 140720730408600 5311719 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1494 766 434 0 1531 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 32668


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5993
/proc/meminfo: memFree=32005096/32770624 swapFree=6264/18400
[pid=5798] ppid=5795 vsize=32668 CPUtime=1542.12 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 20253 0 0 0 154212 0 0 0 20 0 1 0 16395599 33452032 1514 33554432000 4194304 5970956 140720730411264 140720730408600 4930580 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1514 766 434 0 1531 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 32668

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 5994
/proc/meminfo: memFree=32005072/32770624 swapFree=6264/18428
[pid=5798] ppid=5795 vsize=32668 CPUtime=1602.1 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 20935 0 0 0 160210 0 0 0 20 0 1 0 16395599 33452032 1516 33554432000 4194304 5970956 140720730411264 140720730408600 5093504 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1516 766 434 0 1531 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 32668

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5995
/proc/meminfo: memFree=32005228/32770624 swapFree=6264/18460
[pid=5798] ppid=5795 vsize=32668 CPUtime=1662.11 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 21495 0 0 0 166210 1 0 0 20 0 1 0 16395599 33452032 1516 33554432000 4194304 5970956 140720730411264 140720730408600 5337501 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1516 766 434 0 1531 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 32668

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5997
/proc/meminfo: memFree=32005416/32770624 swapFree=6264/18492
[pid=5798] ppid=5795 vsize=32668 CPUtime=1722.1 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 22198 0 0 0 172209 1 0 0 20 0 1 0 16395599 33452032 1517 33554432000 4194304 5970956 140720730411264 140720730408600 5327374 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1517 766 434 0 1531 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 32668

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5998
/proc/meminfo: memFree=32004920/32770624 swapFree=6264/18524
[pid=5798] ppid=5795 vsize=32668 CPUtime=1782.09 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 22606 0 0 0 178208 1 0 0 20 0 1 0 16395599 33452032 1517 33554432000 4194304 5970956 140720730411264 140720730408600 4934354 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1517 766 434 0 1531 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 32668

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6007
/proc/meminfo: memFree=32004500/32770624 swapFree=6264/18556
[pid=5798] ppid=5795 vsize=32668 CPUtime=1842.09 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 23041 0 0 0 184208 1 0 0 20 0 1 0 16395599 33452032 1517 33554432000 4194304 5970956 140720730411264 140720730408600 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1517 766 434 0 1531 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 32668

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6008
/proc/meminfo: memFree=32004600/32770624 swapFree=6264/18592
[pid=5798] ppid=5795 vsize=32668 CPUtime=1902.08 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 23733 0 0 0 190207 1 0 0 20 0 1 0 16395599 33452032 1519 33554432000 4194304 5970956 140720730411264 140720730408600 5311659 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1519 766 434 0 1531 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 32668

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6009
/proc/meminfo: memFree=32004484/32770624 swapFree=6264/18612
[pid=5798] ppid=5795 vsize=32668 CPUtime=1962.07 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 24377 0 0 0 196206 1 0 0 20 0 1 0 16395599 33452032 1519 33554432000 4194304 5970956 140720730411264 140720730408600 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1519 766 434 0 1531 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 32668

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6010
/proc/meminfo: memFree=32004484/32770624 swapFree=6264/18644
[pid=5798] ppid=5795 vsize=32668 CPUtime=2022.06 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 24784 0 0 0 202205 1 0 0 20 0 1 0 16395599 33452032 1519 33554432000 4194304 5970956 140720730411264 140720730408600 4930654 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1519 766 434 0 1531 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 32668

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6011
/proc/meminfo: memFree=32004608/32770624 swapFree=6264/18672
[pid=5798] ppid=5795 vsize=32668 CPUtime=2082.06 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 25463 0 0 0 208205 1 0 0 20 0 1 0 16395599 33452032 1520 33554432000 4194304 5970956 140720730411264 140720730408600 4930640 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1520 766 434 0 1531 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 32668

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6012
/proc/meminfo: memFree=32004504/32770624 swapFree=6264/18708
[pid=5798] ppid=5795 vsize=32668 CPUtime=2142.05 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 26069 0 0 0 214204 1 0 0 20 0 1 0 16395599 33452032 1520 33554432000 4194304 5970956 140720730411264 140720730408600 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1520 766 434 0 1531 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 32668

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6013
/proc/meminfo: memFree=32004728/32770624 swapFree=6264/18728
[pid=5798] ppid=5795 vsize=32668 CPUtime=2202.05 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 26669 0 0 0 220204 1 0 0 20 0 1 0 16395599 33452032 1520 33554432000 4194304 5970956 140720730411264 140720730408600 4934318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1520 766 434 0 1531 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 32668

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6014
/proc/meminfo: memFree=32004496/32770624 swapFree=6264/18756
[pid=5798] ppid=5795 vsize=32668 CPUtime=2262.04 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 27249 0 0 0 226203 1 0 0 20 0 1 0 16395599 33452032 1520 33554432000 4194304 5970956 140720730411264 140720730408600 5327380 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1520 766 434 0 1531 0
Current children cumulated CPU time (s) 2262.04
Current children cumulated vsize (KiB) 32668

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6076
/proc/meminfo: memFree=30329656/32770624 swapFree=6264/18856
[pid=5798] ppid=5795 vsize=32668 CPUtime=2322.03 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 27958 0 0 0 232202 1 0 0 20 0 1 0 16395599 33452032 1523 33554432000 4194304 5970956 140720730411264 140720730408600 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1523 766 434 0 1531 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 32668

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6077
/proc/meminfo: memFree=30317216/32770624 swapFree=6264/18900
[pid=5798] ppid=5795 vsize=32668 CPUtime=2382.02 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 28414 0 0 0 238201 1 0 0 20 0 1 0 16395599 33452032 1523 33554432000 4194304 5970956 140720730411264 140720730408600 5338352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1523 766 434 0 1531 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 32668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6077
/proc/meminfo: memFree=30316828/32770624 swapFree=6264/18916
[pid=5798] ppid=5795 vsize=32668 CPUtime=2400.03 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 28766 0 0 0 240002 1 0 0 20 0 1 0 16395599 33452032 1523 33554432000 4194304 5970956 140720730411264 140720730408600 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1523 766 434 0 1531 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 32668

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 5798 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6077
/proc/meminfo: memFree=30316828/32770624 swapFree=6264/18916
[pid=5798] ppid=5795 vsize=32668 CPUtime=2400.03 cores=1,3,5,7
/proc/5798/stat : 5798 (cosoco) R 5795 5798 3975 0 -1 4202496 28766 0 0 0 240002 1 0 0 20 0 1 0 16395599 33452032 1523 33554432000 4194304 5970956 140720730411264 140720730408600 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 29470720 140720730412220 140720730412355 140720730412355 140720730415054 0
/proc/5798/statm: 8167 1523 766 434 0 1531 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 32668

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.03
CPU user time (s): 2400.02
CPU system time (s): 0.012998
CPU usage (%): 99.9886
Max. virtual memory (cumulated for all children) (KiB): 32668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.012998
maximum resident set size= 6136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28794
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 120673

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88114 second user time and 7.9116 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-21 11:59:50
IDJOB=4241441
IDBENCH=126865
IDSOLVER=2621
FILE ID=node131/4241441-1500631190
RUNJOBID= node131-1500623778-4007
PBS_JOBID= 20623002
Free space on /tmp= 61988 MiB

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

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

MD5SUM BENCH= 48ff124294bde3e8e6ef7a0c7c897a65
RANDOM SEED=577286252

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31811388 kB
MemAvailable:   31841016 kB
Buffers:           95248 kB
Cached:           208300 kB
SwapCached:            0 kB
Active:           447712 kB
Inactive:          80280 kB
Active(anon):     173164 kB
Inactive(anon):    63084 kB
Active(file):     274548 kB
Inactive(file):    17196 kB
Unevictable:        6264 kB
Mlocked:            6264 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2404 kB
Writeback:             0 kB
AnonPages:        235560 kB
Mapped:            34000 kB
Shmem:              8852 kB
Slab:             132792 kB
SReclaimable:     107440 kB
SUnreclaim:        25352 kB
KernelStack:        3552 kB
PageTables:         5308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 62020 MiB
End job on node131 at 2017-07-21 12:39:51