Trace number 4241905

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

General information on the benchmark

NameCoveringArray/CoveringArray-elt-s1/
CoveringArray-elt-3-06-2-12.xml
MD5SUM6a2428e0ea9e56c54fb162011650005e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.86371601
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints192
Number of domains2
Minimum domain size8
Maximum domain size12
Distribution of domain sizes[{"size":8,"count":240},{"size":12,"count":160}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":160},{"degree":9,"count":240}]
Minimum constraint arity8
Maximum constraint arity20
Distribution of constraint arities[{"arity":8,"count":20},{"arity":13,"count":160},{"arity":20,"count":12}]
Number of extensional constraints12
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":12},{"type":"allDifferent","count":20},{"type":"element","count":160}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.09	c SAT : Variables: 3840 -- Clauses: 17680
0.00/0.09	c root propagations     : 0           
0.00/0.09	c restarts enabled, print stats at every restarts
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c This is cosoco 1.0 --  
0.00/0.09	c
0.00/0.09	c ========================================[ Problem Statistics ]===========================================
0.00/0.09	c |                                                                                                       
0.00/0.09	c |  Parse time        :         0.01 s 
0.00/0.09	c |
0.00/0.09	c |               Variables: 400
0.00/0.09	c |            Domain Sizes: 8..12
0.00/0.09	c |
0.00/0.09	c |             Constraints: 192
0.00/0.09	c |                   Arity: 8..20
0.00/0.09	c | 
0.00/0.09	c |                   Types: 
0.00/0.09	c |                          All Different: 20
0.00/0.09	c |                          Element Constant: 160
0.00/0.09	c |                          Extension: 12  (nb tuples: 64..64) -- (shared: 11)
0.00/0.09	c |                          
0.00/0.09	c =========================================================================================================
0.00/0.09	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.09	c 10             198            6795           4748           0              6              181   184   165
0.00/0.09	c 20             454            14215          10505          0              10             233   238   213
0.01/0.10	c 30             600            20777          17863          0              14             39   102   52  
0.01/0.10	c 40             769            27561          23857          0              18             64   102   83  
0.01/0.10	c 50             905            33569          29974          0              19             89   108   84  
0.01/0.10	c 60             1018           39345          35236          0              22             90   92   83   
0.01/0.11	c 70             1102           45720          42639          0              30             68   70   62   
0.01/0.11	c 80             1205           50482          46197          0              32             79   86   74   
0.01/0.11	c 90             1411           58170          54837          0              34             145   151   133
0.01/0.11	c 100            1536           65105          61929          0              42             79   91   75   
0.01/0.11	c 101            1623           68687          64347          0              43             87   87   43   
0.01/0.12	c 110            1759           75763          72009          0              47             92   102   87  
0.01/0.12	c 120            1890           82123          78528          0              55             77   106   86  
0.01/0.12	c 130            2009           87306          82611          0              57             92   97   87   
0.01/0.12	c 140            2137           93866          89108          0              63             71   98   76   
0.01/0.13	c 150            2234           99080          94814          0              65             78   81   71   
0.01/0.13	c 160            2377           106623         103038         0              69             72   92   77   
0.01/0.13	c 170            2490           113878         111532         0              72             77   86   72   
0.01/0.13	c 180            2598           121290         121723         0              76             83   86   77   
0.01/0.14	c 190            2717           127158         127464         0              85             95   100   87  
0.01/0.14	c 200            2848           133251         133752         0              86             91   100   88  
0.01/0.14	c 210            2993           140856         143264         0              92             93   105   88  
0.01/0.14	c 211            3094           144579         145723         0              93             101   101   50 
0.01/0.15	c 220            3213           151399         153614         0              96             90   94   82   
0.01/0.15	c 230            3339           156936         158456         0              100            94   99   86   
0.01/0.15	c 240            3435           162544         163706         0              105            72   82   72   
0.01/0.15	c 250            3538           167518         167196         0              109            84   89   79   
0.01/0.15	c 260            3676           174035         174163         0              113            93   97   87   
0.01/0.16	c 270            3778           179008         179153         0              118            80   88   77   
0.01/0.16	c 280            3877           185040         183752         0              122            72   80   70   
0.01/0.16	c 290            3978           190182         188067         0              127            76   80   71   
0.01/0.16	c 300            4092           196881         195486         0              130            82   88   77   
0.01/0.16	c 310            4205           202483         201017         0              136            86   94   82   
0.01/0.17	c 320            4294           207489         204679         0              139            62   70   60   
0.01/0.17	c 330            4393           213534         210472         0              145            75   80   70   
0.01/0.17	c 332            4468           217276         213836         0              147            71   74   48   
0.01/0.17	c 340            4565           222683         218088         0              151            76   83   72   
0.01/0.17	c 350            4635           227355         222957         0              153            53   55   48   
0.01/0.18	c 360            4699           231657         227270         0              158            46   50   44   
0.01/0.18	c 370            4764           235802         230918         0              161            39   43   37   
0.01/0.18	c 380            4934           242477         238010         0              165            30   61   52   
0.01/0.18	c 390            4995           246362         241695         0              169            42   48   41   
0.01/0.18	c 400            5042           249878         245411         0              176            26   31   26   
0.01/0.18	c 410            5208           255723         251135         0              179            49   54   47   
0.01/0.19	c 420            5306           262770         259179         0              182            50   66   51   
0.01/0.19	c 430            5597           271032         268765         0              185            65   72   62   
0.01/0.19	c 440            5685           276932         274322         0              190            66   70   62   
0.01/0.20	c 450            5763           283058         281193         0              192            57   58   51   
0.11/0.20	c 460            5849           291948         292629         0              196            52   63   49   
0.11/0.20	c 465            5918           297256         298550         0              198            59   64   50   
0.11/0.20	c 470            5988           302570         304444         0              200            60   65   51   
0.11/0.21	c 480            6072           310192         314050         0              204            63   68   58   
0.11/0.21	c 490            6167           320145         325318         0              213            61   65   57   
0.11/0.21	c 500            6252           327830         334902         0              217            64   69   59   
0.11/0.21	c 510            6339           335531         344488         0              221            66   71   61   
0.11/0.22	c 520            6425           341557         351551         0              223            66   67   60   
0.11/0.22	c 530            6530           350454         362525         0              227            59   76   57   
0.11/0.22	c 540            6622           357982         371269         0              231            65   71   61   
0.11/0.22	c 550            6714           365467         380025         0              235            65   71   61   
0.11/0.23	c 560            6805           371251         387482         0              240            72   76   67   
0.11/0.23	c 570            6912           378222         395323         0              245            76   83   72   
0.11/0.23	c 580            7005           384180         402826         0              250            72   78   68   
0.11/0.23	c 590            7103           390233         410000         0              256            77   79   70   
0.11/0.24	c 600            7196           395911         417160         0              260            75   78   69   
0.11/0.24	c 610            7293           402521         425588         0              263            74   78   69   
0.11/0.24	c 611            7369           405990         428031         0              264            76   76   38   
0.11/0.24	c 620            7472           412773         435517         0              266            79   84   73   
0.11/0.24	c 630            7565           418478         442702         0              271            75   78   69   
0.11/0.25	c 640            7657           424301         450162         0              276            73   77   68   
0.11/0.25	c 650            7766           430685         457109         0              278            81   84   74   
0.11/0.25	c 660            7867           436324         463370         0              283            72   86   75   
0.11/0.25	c 670            7962           442453         471854         0              285            74   78   69   
0.11/0.26	c 680            8078           448874         478309         0              289            75   89   77   
0.11/0.26	c 690            8177           454540         484600         0              294            81   84   74   
0.11/0.26	c 700            8308           460654         491210         0              298            76   94   78   
0.11/0.26	c 710            8431           466944         497440         0              303            80   90   79   
0.11/0.26	c 720            8537           472821         502758         0              306            79   90   76   
0.11/0.27	c 730            8634           479415         507116         0              308            72   77   68   
0.11/0.27	c 740            8756           485396         512208         0              311            87   91   80   
0.11/0.27	c 750            8873           491485         518319         0              313            84   87   78   
0.11/0.27	c 760            8991           496970         522979         0              318            86   98   86   
0.11/0.28	c 770            9103           502821         528537         0              320            84   88   78   
0.11/0.28	c 771            9190           506856         531530         0              321            87   87   43   
0.11/0.28	c 780            9306           512337         536997         0              325            85   97   84   
0.11/0.28	c 790            9428           518611         543499         0              329            87   91   80   
0.11/0.28	c 800            9537           523614         546882         0              334            79   91   79   
0.11/0.28	c 810            9656           529894         553913         0              337            81   92   81   
0.11/0.29	c 820            9762           534870         557284         0              342            78   89   78   
0.11/0.29	c 830            9863           539991         561143         0              347            76   84   74   
0.11/0.29	c 840            9966           545319         566572         0              352            78   86   76   
0.11/0.29	c 850            10066          550455         570428         0              357            75   83   73   
0.11/0.29	c 860            10166          555453         574002         0              362            75   83   73   
0.21/0.30	c 870            10282          562548         581030         0              366            78   82   72   
0.21/0.30	c 880            10391          568423         586969         0              371            75   78   69   
0.21/0.30	c 890            10483          573110         590290         0              376            69   76   67   
0.21/0.30	c 900            10593          579497         597728         0              381            74   79   69   
0.21/0.30	c 910            10681          584105         601023         0              386            62   73   63   
0.21/0.31	c 920            10779          589807         606424         0              389            70   74   65   
0.21/0.31	c 930            10867          595032         611242         0              394            62   73   63   
0.21/0.31	c 940            10956          600313         616849         0              395            68   71   63   
0.21/0.31	c 947            11033          604281         619654         0              398            63   69   58   
0.21/0.31	c 950            11099          607846         622388         0              401            57   64   45   
0.21/0.31	c 960            11181          612963         628053         0              406            57   67   58   
0.21/0.32	c 970            11268          617430         632011         0              413            61   68   59   
0.21/0.32	c 980            11352          622420         637378         0              418            61   67   59   
0.21/0.32	c 990            11436          626861         641333         0              425            58   65   56   
0.21/0.32	c 1000           11520          631850         646701         0              430            60   66   58   
0.21/0.32	c 1010           11603          636305         650212         0              431            58   62   54   
0.21/0.33	c 1020           11705          641962         656545         0              436            61   62   55   
0.21/0.33	c 1030           11781          646722         661806         0              441            52   58   50   
0.21/0.33	c 1040           11859          651404         665506         0              446            52   59   51   
0.21/0.33	c 1050           11941          656285         670565         0              450            52   57   50   
0.21/0.33	c 1060           12020          662131         677962         0              453            52   58   50   
0.21/0.34	c 1070           12100          666993         683019         0              457            50   55   48   
0.21/0.34	c 1080           12172          672637         690242         0              460            51   56   49   
0.21/0.34	c 1090           12244          677411         695729         0              466            50   53   46   
0.21/0.34	c 1100           12311          681696         698958         0              471            44   52   45   
0.21/0.34	c 1110           12382          686320         703757         0              473            49   53   46   
0.21/0.34	c 1120           12456          692704         712681         0              476            48   54   47   
0.21/0.35	c 1130           12524          697395         718099         0              478            49   53   46   
0.21/0.35	c 1140           12601          703506         726298         0              483            48   54   47   
0.21/0.35	c 1141           12652          706563         728638         0              484            51   51   25   
0.21/0.35	c 1150           12720          712386         735731         0              486            50   53   46   
0.21/0.35	c 1160           12790          716870         739447         0              490            50   54   47   
0.21/0.36	c 1170           12861          722644         746465         0              493            48   53   46   
0.21/0.36	c 1180           12926          726883         749913         0              494            48   50   44   
0.21/0.36	c 1190           13060          732298         754132         0              497            74   81   71   
0.21/0.36	c 1200           13132          737041         759410         0              502            52   57   50   
0.21/0.36	c 1210           13195          741190         763008         0              503            42   45   39   
0.21/0.36	c 1220           13251          745501         768167         0              508            36   41   35   
0.21/0.37	c 1230           13306          749394         771702         0              509            34   37   32   
0.21/0.37	c 1240           13359          753178         774852         0              514            33   38   33   
0.21/0.37	c 1250           13413          757449         780406         0              516            32   36   31   
0.21/0.37	c 1260           13466          761556         784636         0              521            33   38   33   
0.21/0.37	c 1270           13519          765507         787985         0              525            32   36   31   
0.21/0.37	c 1280           13650          771286         792395         0              527            74   83   72   
0.21/0.38	c 1290           13703          775108         795514         0              528            36   38   33   
0.21/0.38	c 1300           13754          779161         800493         0              529            34   36   31   
0.21/0.38	c 1310           13804          782902         803583         0              530            33   35   30   
0.21/0.38	c 1320           13854          786644         806673         0              531            33   35   30   
0.21/0.38	c 1330           13904          790388         809770         0              532            33   35   30   
0.21/0.38	c 1340           13955          794439         814749         0              533            34   36   31   
0.21/0.38	c 1350           14008          798880         818357         0              534            34   35   31   
0.21/0.38	c 1352           14043          801808         821192         0              536            32   34   22   
0.21/0.39	c 1360           14091          806195         827111         0              543            33   34   29   
0.21/0.39	c 1370           14142          810246         832090         0              544            34   36   31   
0.21/0.39	c 1380           14190          814119         837199         0              545            31   33   28   
0.21/0.39	c 1390           14238          817993         842308         0              546            31   33   28   
0.21/0.39	c 1400           14286          821866         847417         0              547            31   33   28   
0.21/0.39	c 1410           14334          825740         852526         0              548            31   33   28   
0.21/0.40	c 1420           14382          829624         857636         0              549            31   33   28   
0.31/0.40	c 1430           14430          833497         862745         0              550            31   33   28   
0.31/0.40	c 1440           14479          837390         867856         0              551            32   34   29   
0.31/0.40	c 1450           14528          841283         872967         0              552            32   34   29   
0.31/0.40	c 1460           14577          845176         878078         0              553            32   34   29   
0.31/0.40	c 1470           14628          849311         883273         0              555            32   35   30   
0.31/0.40	c 1480           14679          853268         887422         0              556            34   36   31   
0.31/0.41	c 1490           14726          857040         892279         0              557            30   32   28   
0.31/0.41	c 1500           14758          860048         895107         0              558            15   17   14   
0.31/0.41	c 1510           14790          863057         897935         0              559            15   17   14   
0.31/0.41	c 1520           14825          866404         902632         0              560            18   20   17   
0.31/0.41	c 1530           14854          869395         905469         0              561            13   15   12   
0.31/0.41	c 1540           14882          872370         908292         0              562            12   14   11   
0.31/0.41	c 1550           14914          875689         912966         0              563            16   18   15   
0.31/0.41	c 1560           14942          878674         915803         0              564            12   14   11   
0.31/0.41	c 1570           14970          881659         918640         0              565            12   14   11   
0.31/0.42	c 1580           15002          884979         923332         0              566            16   18   15   
0.31/0.42	c 1585           15024          887687         925998         0              570            13   14   11   
0.31/0.42	c 1590           15047          890316         929264         0              571            16   18   14   
0.31/0.42	c 1600           15079          894086         932757         0              580            12   14   11   
0.31/0.42	c 1610           15111          897407         937449         0              581            16   18   15   
0.31/0.42	c 1620           15143          900727         942123         0              582            16   18   15   
0.31/0.42	c 1630           15175          904417         945471         0              583            13   14   12   
0.31/0.42	c 1640           15206          907731         950145         0              584            15   17   14   
0.31/0.43	c 1650           15237          911054         954819         0              585            15   17   14   
0.31/0.43	c 1660           15271          914959         958365         0              592            13   15   13   
0.31/0.43	c 1670           15302          918272         963039         0              593            15   17   14   
0.31/0.43	c 1680           15338          922229         966755         0              601            13   14   12   
0.31/0.43	c 1690           15373          926225         971340         0              603            15   16   13   
0.31/0.43	c 1700           15409          930227         975914         0              605            16   17   14   
0.31/0.43	c 1710           15444          934222         980499         0              607            15   16   13   
0.31/0.44	c 1720           15480          938462         985352         0              609            15   16   13   
0.31/0.44	c 1730           15510          941763         990024         0              610            14   16   13   
0.31/0.44	c 1740           15540          945067         994697         0              611            14   16   13   
0.31/0.44	c 1750           15570          948381         999370         0              612            14   16   13   
0.31/0.44	c 1760           15604          952389         1004657        0              614            14   16   13   
0.31/0.44	c 1770           15639          956384         1009231        0              616            15   16   13   
0.31/0.44	c 1780           15682          960589         1014814        0              620            14   16   14   
0.31/0.45	c 1790           15715          964561         1019389        0              622            13   16   13   
0.31/0.45	c 1800           15750          968556         1023974        0              624            15   16   13   
0.31/0.45	c 1810           15785          972557         1028547        0              626            15   16   13   
0.31/0.45	c 1820           15821          976650         1033178        0              628            15   16   13   
0.31/0.45	c 1830           15856          980671         1037731        0              630            15   16   13   
0.31/0.45	c 1840           15893          984888         1042746        0              633            15   16   13   
0.31/0.45	c 1841           15909          987009         1044805        0              634            16   16   8    
0.31/0.46	c 1850           15941          990387         1048824        0              637            15   18   14   
0.31/0.46	c 1860           15977          994449         1053737        0              640            16   19   16   
0.31/0.46	c 1870           16013          998518         1058351        0              642            15   16   13   
0.31/0.46	c 1880           16048          1002603        1062971        0              644            14   15   12   
0.31/0.46	c 1890           16082          1006597        1067521        0              646            14   15   12   
0.31/0.46	c 1900           16118          1010805        1072535        0              649            14   15   13   
0.31/0.46	c 1910           16152          1014687        1077095        0              651            12   15   12   
0.31/0.47	c 1920           16183          1018132        1081074        0              652            15   17   14   
0.31/0.47	c 1930           16212          1021435        1085728        0              653            13   15   12   
0.31/0.47	c 1940           16246          1025371        1089940        0              657            12   15   12   
0.31/0.47	c 1950           16281          1029612        1094790        0              659            14   15   12   
0.31/0.47	c 1960           16315          1033607        1099364        0              661            14   15   12   
0.31/0.47	c 1970           16349          1037603        1103937        0              663            14   15   12   
0.31/0.47	c 1980           16376          1040643        1107254        0              669            12   14   11   
0.31/0.48	c 1990           16410          1044629        1111828        0              671            14   15   12   
0.31/0.48	c 2000           16445          1048849        1116639        0              673            14   15   12   
0.31/0.48	c 2010           16480          1053093        1121466        0              675            14   15   12   
0.31/0.48	c 2020           16514          1057060        1126042        0              677            14   15   12   
0.31/0.48	c 2030           16548          1061057        1130593        0              679            14   15   12   
0.31/0.48	c 2040           16590          1065287        1136475        0              683            13   15   13   
0.31/0.48	c 2050           16624          1069223        1140687        0              687            12   15   12   
0.31/0.49	c 2060           16655          1073034        1145280        0              690            11   15   12   
0.31/0.49	c 2070           16684          1076327        1149970        0              691            13   15   12   
0.31/0.49	c 2080           16720          1080519        1154742        0              694            14   15   12   
0.31/0.49	c 2090           16749          1083812        1159432        0              695            13   15   12   
0.31/0.49	c 2100           16785          1088007        1164018        0              698            12   15   12   
0.31/0.49	c 2110           16820          1092328        1168907        0              700            14   15   12   
0.31/0.50	c 2120           16855          1096422        1173527        0              702            14   15   12   
0.41/0.50	c 2122           16872          1098755        1176407        0              703            15   15   10   
0.41/0.50	c 2130           16899          1102022        1181048        0              706            13   15   12   
0.41/0.50	c 2140           16934          1106053        1186070        0              714            14   15   12   
0.41/0.50	c 2150           16967          1109937        1190428        0              720            12   15   12   
0.41/0.50	c 2160           17001          1113819        1195014        0              722            12   15   12   
0.41/0.50	c 2170           17031          1117256        1198992        0              723            14   16   13   
0.41/0.50	c 2180           17064          1120852        1204125        0              725            13   15   12   
0.41/0.51	c 2190           17101          1125005        1209478        0              731            11   16   13   
0.41/0.51	c 2200           17136          1128978        1215104        0              733            13   15   12   
0.41/0.51	c 2210           17165          1132277        1219029        0              738            12   15   12   
0.41/0.51	c 2220           17199          1136261        1223613        0              740            14   15   12   
0.41/0.51	c 2230           17230          1139851        1227505        0              743            12   14   12   
0.41/0.51	c 2240           17265          1144104        1232375        0              745            14   15   12   
0.41/0.52	c 2250           17301          1148313        1237361        0              748            14   15   13   
0.41/0.52	c 2260           17332          1151903        1241253        0              751            12   14   12   
0.41/0.52	c 2270           17366          1155888        1245837        0              753            14   15   12   
0.41/0.52	c 2280           17405          1160211        1250834        0              761            14   15   13   
0.41/0.52	c 2290           17441          1164471        1255621        0              764            14   15   12   
0.41/0.52	c 2300           17469          1167678        1259287        0              769            11   14   11   
0.41/0.52	c 2310           17499          1171117        1263266        0              770            14   16   13   
0.41/0.53	c 2320           17533          1175052        1267475        0              774            12   15   12   
0.41/0.53	c 2330           17567          1179049        1272060        0              776            14   15   12   
0.41/0.53	c 2340           17602          1183156        1276457        0              779            12   15   12   
0.41/0.53	c 2350           17637          1187409        1281327        0              781            14   15   12   
0.41/0.53	c 2360           17669          1191215        1286437        0              784            12   15   12   
0.41/0.53	c 2370           17703          1195212        1291022        0              786            14   15   12   
0.41/0.53	c 2380           17732          1198508        1295695        0              787            13   15   12   
0.41/0.54	c 2390           17767          1202593        1300325        0              789            14   15   12   
0.41/0.54	c 2400           17802          1206691        1304923        0              791            14   15   12   
0.41/0.54	c 2410           17837          1210745        1309540        0              799            14   15   12   
0.41/0.54	c 2420           17864          1213788        1312858        0              805            12   14   11   
0.41/0.54	c 2430           17899          1217847        1317482        0              807            14   15   12   
0.41/0.54	c 2431           17913          1219747        1319503        0              808            14   14   7    
0.41/0.54	c 2440           17942          1223182        1323447        0              812            14   16   13   
0.41/0.55	c 2450           17977          1227461        1328357        0              814            14   15   12   
0.41/0.55	c 2460           18009          1231267        1333467        0              817            12   15   12   
0.41/0.55	c 2470           18046          1235578        1339277        0              823            11   16   13   
0.41/0.55	c 2480           18089          1239728        1343809        0              830            14   15   13   
0.41/0.55	c 2490           18119          1243340        1348257        0              833            11   15   11   
0.41/0.55	c 2500           18153          1247327        1352841        0              835            14   15   12   
0.41/0.55	c 2510           18187          1251121        1357845        0              838            12   15   12   
0.41/0.56	c 2520           18222          1255363        1362703        0              840            14   15   12   
0.41/0.56	c 2530           18249          1258404        1366018        0              846            12   14   11   
0.41/0.56	c 2540           18283          1262404        1370603        0              848            14   15   12   
0.41/0.56	c 2550           18316          1266262        1375266        0              849            13   15   12   
0.41/0.56	c 2560           18347          1269853        1379158        0              852            12   14   12   
0.41/0.56	c 2570           18382          1273949        1383891        0              854            14   15   12   
0.41/0.56	c 2580           18410          1277281        1388194        0              856            11   15   11   
0.41/0.57	c 2590           18444          1281567        1394805        0              857            15   16   13   
0.41/0.57	c 2600           18473          1284863        1399478        0              858            13   15   12   
0.41/0.57	c 2610           18502          1288149        1404168        0              859            13   15   12   
0.41/0.57	c 2620           18531          1291434        1408858        0              860            13   15   12   
0.41/0.57	c 2630           18560          1294732        1413531        0              861            13   15   12   
0.41/0.57	c 2640           18587          1297808        1416860        0              863            12   14   11   
0.41/0.57	c 2650           18616          1301107        1421534        0              864            13   15   12   
0.41/0.57	c 2660           18648          1305059        1426094        0              866            11   15   12   
0.41/0.58	c 2670           18682          1309048        1430682        0              868            14   15   12   
0.41/0.58	c 2680           18711          1312453        1435809        0              873            11   15   11   
0.41/0.58	c 2690           18744          1315573        1439806        0              880            11   16   11   
0.41/0.58	c 2700           18774          1318987        1443967        0              881            14   16   13   
0.41/0.58	c 2710           18809          1323075        1448601        0              883            14   15   12   
0.41/0.58	c 2720           18848          1327444        1453955        0              890            14   16   13   
0.41/0.59	c 2730           18884          1331656        1458971        0              893            14   15   13   
0.41/0.59	c 2740           18920          1335866        1463971        0              896            14   15   13   
0.41/0.59	c 2750           18954          1339805        1468195        0              900            12   15   12   
0.41/0.59	c 2760           18997          1344314        1474660        0              902            13   16   13   
0.41/0.59	c 2770           19026          1347610        1479334        0              903            13   15   12   
0.41/0.59	c 2771           19041          1349745        1481780        0              904            15   15   7    
0.41/0.59	c 2780           19067          1352692        1485045        0              909            12   14   11   
0.41/0.59	c 2790           19103          1356951        1489839        0              912            14   15   12   
0.51/0.60	c 2800           19135          1360904        1494425        0              914            11   15   12   
0.51/0.60	c 2810           19167          1364583        1499625        0              919            13   15   12   
0.51/0.60	c 2820           19201          1368704        1504042        0              922            12   15   12   
0.51/0.60	c 2830           19231          1372486        1508480        0              925            11   15   11   
0.51/0.60	c 2840           19265          1376475        1513064        0              927            14   15   12   
0.51/0.60	c 2850           19302          1380806        1518108        0              929            14   15   12   
0.51/0.60	c 2860           19331          1384094        1522799        0              930            13   15   12   
0.51/0.61	c 2870           19365          1387809        1528390        0              935            13   15   12   
0.51/0.61	c 2880           19400          1391884        1533404        0              943            14   15   12   
0.51/0.61	c 2890           19434          1395879        1537979        0              945            14   15   12   
0.51/0.61	c 2900           19467          1399822        1542550        0              946            14   15   12   
0.51/0.61	c 2910           19500          1403764        1547121        0              947            14   15   12   
0.51/0.61	c 2920           19533          1407803        1551855        0              948            14   15   12   
0.51/0.62	c 2930           19566          1411841        1556589        0              949            14   15   12   
0.51/0.62	c 2940           19599          1415783        1561161        0              950            14   15   12   
0.51/0.62	c 2950           19632          1419724        1565733        0              951            14   15   12   
0.51/0.62	c 2960           19665          1423599        1570320        0              952            14   15   12   
0.51/0.62	c 2970           19698          1427473        1574907        0              953            14   15   12   
0.51/0.62	c 2980           19727          1430768        1579598        0              954            13   15   12   
0.51/0.62	c 2990           19756          1434062        1584289        0              955            13   15   12   
0.51/0.63	c 3000           19785          1437359        1588981        0              956            13   15   12   
0.51/0.63	c 3010           19817          1441168        1594089        0              959            12   15   12   
0.51/0.63	c 3020           19852          1445258        1598724        0              961            14   15   12   
0.51/0.63	c 3030           19885          1449055        1603053        0              968            12   15   12   
0.51/0.63	c 3040           19917          1452874        1608162        0              971            12   15   12   
0.51/0.63	c 3050           19951          1456861        1612747        0              973            14   15   12   
0.51/0.63	c 3060           19984          1460813        1617319        0              974            14   15   12   
0.51/0.64	c 3070           20013          1464110        1622011        0              975            13   15   12   
0.51/0.64	c 3080           20040          1467238        1625358        0              977            12   14   11   
0.51/0.64	c 3090           20075          1471468        1630154        0              979            14   15   12   
0.51/0.64	c 3100           20102          1474595        1633499        0              981            12   14   11   
0.51/0.64	c 3110           20136          1478576        1638064        0              983            14   15   12   
0.51/0.64	c 3120           20171          1482552        1642821        0              985            12   15   12   
0.51/0.64	c 3130           20205          1486928        1649582        0              986            15   16   13   
0.51/0.65	c 3140           20240          1491162        1654381        0              988            14   15   12   
0.51/0.65	c 3142           20254          1493173        1656378        0              990            12   13   8    
0.51/0.65	c 3150           20282          1496552        1660316        0              993            14   16   13   
0.51/0.65	c 3160           20321          1500917        1665668        0              1000           14   16   13   
0.51/0.65	c 3170           20350          1504390        1670777        0              1001           11   15   11   
0.51/0.65	c 3180           20385          1508641        1675636        0              1003           14   15   12   
0.51/0.65	c 3190           20426          1512576        1680124        0              1007           11   16   12   
0.51/0.66	c 3200           20460          1516576        1684710        0              1009           14   15   12   
0.51/0.66	c 3210           20493          1520525        1689272        0              1010           14   15   12   
0.51/0.66	c 3220           20522          1523820        1693962        0              1011           13   15   12   
0.51/0.66	c 3230           20558          1527311        1699101        0              1013           13   16   12   
0.51/0.66	c 3240           20590          1530824        1703386        0              1016           14   17   14   
0.51/0.66	c 3250           20625          1534937        1708132        0              1018           14   15   12   
0.51/0.66	c 3260           20658          1538985        1712867        0              1019           14   15   12   
0.51/0.67	c 3270           20691          1542936        1717439        0              1020           14   15   12   
0.51/0.67	c 3280           20724          1546822        1722012        0              1021           14   15   12   
0.51/0.67	c 3290           20757          1550869        1726747        0              1022           14   15   12   
0.51/0.67	c 3300           20790          1554590        1731299        0              1023           14   15   12   
0.51/0.67	c 3310           20823          1558475        1735872        0              1024           14   15   12   
0.51/0.67	c 3320           20852          1561771        1740545        0              1025           13   15   12   
0.51/0.67	c 3330           20885          1565491        1745097        0              1026           14   15   12   
0.51/0.68	c 3340           20914          1568789        1749789        0              1027           13   15   12   
0.51/0.68	c 3350           20947          1572664        1754328        0              1028           14   15   12   
0.51/0.68	c 3360           20976          1575959        1759001        0              1029           13   15   12   
0.51/0.68	c 3370           21009          1579912        1763563        0              1030           14   15   12   
0.51/0.68	c 3380           21038          1583210        1768255        0              1031           13   15   12   
0.51/0.68	c 3390           21071          1587162        1772818        0              1032           14   15   12   
0.51/0.68	c 3400           21104          1591211        1777543        0              1033           14   15   12   
0.51/0.68	c 3410           21137          1595163        1782105        0              1034           14   15   12   
0.51/0.69	c 3420           21170          1599115        1786668        0              1035           14   15   12   
0.51/0.69	c 3430           21203          1603163        1791393        0              1036           14   15   12   
0.51/0.69	c 3440           21236          1607048        1795971        0              1037           14   15   12   
0.51/0.69	c 3450           21269          1610999        1800534        0              1038           14   15   12   
0.51/0.69	c 3460           21298          1614295        1805208        0              1039           13   15   12   
0.51/0.69	c 3470           21331          1618179        1809786        0              1040           14   15   12   
0.51/0.69	c 3480           21360          1621477        1814479        0              1041           13   15   12   
0.61/0.70	c 3490           21393          1625355        1819019        0              1042           14   15   12   
0.61/0.70	c 3500           21437          1629311        1823219        0              1044           13   15   12   
0.61/0.70	c 3510           21467          1632726        1827380        0              1045           14   16   13   
0.61/0.70	c 3520           21500          1636678        1831966        0              1046           14   15   12   
0.61/0.70	c 3530           21530          1640121        1836721        0              1048           12   15   12   
0.61/0.70	c 3540           21560          1643947        1841659        0              1057           12   16   12   
0.61/0.70	c 3550           21593          1647995        1846408        0              1058           14   15   12   
0.61/0.71	c 3551           21606          1649899        1848346        0              1059           13   13   6    
0.61/0.71	c 3560           21635          1653314        1852294        0              1063           14   16   13   
0.61/0.71	c 3570           21664          1656711        1857422        0              1068           11   15   11   
0.61/0.71	c 3580           21693          1660009        1862096        0              1069           13   15   12   
0.61/0.71	c 3590           21724          1663590        1865886        0              1073           12   14   11   
0.61/0.71	c 3600           21759          1667721        1870505        0              1081           14   15   12   
0.61/0.71	c 3610           21793          1671450        1875357        0              1087           13   15   12   
0.61/0.72	c 3620           21831          1675471        1880859        0              1091           11   15   12   
0.61/0.72	c 3630           21866          1679590        1885455        0              1099           14   15   12   
0.61/0.72	c 3640           21902          1683962        1890749        0              1108           13   15   12   
0.61/0.72	c 3650           21931          1687257        1895423        0              1109           13   15   12   
0.61/0.72	c 3660           21964          1691210        1899986        0              1110           14   15   12   
0.61/0.72	c 3670           21993          1694508        1904679        0              1111           13   15   12   
0.61/0.72	c 3680           22028          1698653        1909448        0              1120           14   15   12   
0.61/0.73	c 3690           22057          1701951        1914121        0              1121           13   15   12   
0.61/0.73	c 3700           22087          1705752        1918924        0              1124           11   15   11   
0.61/0.73	c 3710           22121          1709575        1922468        0              1126           13   14   12   
0.61/0.73	c 3720           22155          1713522        1926197        0              1135           13   14   12   
0.61/0.73	c 3730           22188          1717474        1930760        0              1136           14   15   12   
0.61/0.73	c 3740           22221          1721523        1935486        0              1137           14   15   12   
0.61/0.73	c 3750           22254          1725571        1940212        0              1138           14   15   12   
0.61/0.74	c 3760           22287          1729458        1944776        0              1139           14   15   12   
0.61/0.74	c 3770           22320          1733344        1949340        0              1140           14   15   12   
0.61/0.74	c 3780           22353          1737066        1953883        0              1141           14   15   12   
0.61/0.74	c 3790           22386          1740787        1958426        0              1142           14   15   12   
0.61/0.74	c 3800           22420          1744774        1963011        0              1144           14   15   12   
0.61/0.74	c 3810           22454          1748760        1967596        0              1146           14   15   12   
0.61/0.74	c 3820           22489          1753003        1972449        0              1148           14   15   12   
0.61/0.75	c 3830           22521          1756866        1977212        0              1152           12   15   12   
0.61/0.75	c 3840           22557          1761078        1982226        0              1155           14   15   13   
0.61/0.75	c 3850           22594          1765021        1985832        0              1163           13   15   12   
0.61/0.75	c 3860           22628          1769009        1990417        0              1165           14   15   12   
0.61/0.75	c 3870           22664          1773236        1995782        0              1173           14   15   12   
0.61/0.75	c 3880           22699          1777323        2000413        0              1175           14   15   12   
0.61/0.76	c 3890           22732          1781129        2003983        0              1177           13   14   12   
0.61/0.76	c 3900           22766          1785176        2008578        0              1179           14   15   12   
0.61/0.76	c 3910           22802          1789387        2013593        0              1182           14   15   13   
0.61/0.76	c 3920           22831          1792693        2018266        0              1183           13   15   12   
0.61/0.76	c 3930           22865          1796631        2022485        0              1187           12   15   12   
0.61/0.76	c 3940           22899          1800628        2027070        0              1189           14   15   12   
0.61/0.76	c 3950           22932          1804581        2031642        0              1190           14   15   12   
0.61/0.77	c 3960           22967          1808801        2036450        0              1192           14   15   12   
0.61/0.77	c 3970           22999          1812625        2041572        0              1194           13   15   12   
0.61/0.77	c 3980           23034          1816877        2046430        0              1196           14   15   12   
0.61/0.77	c 3990           23068          1821005        2051991        0              1203           13   15   13   
0.61/0.77	c 4000           23097          1824303        2056665        0              1204           13   15   12   
0.61/0.77	c 4001           23111          1826434        2058730        0              1205           14   14   7    
0.61/0.77	c 4010           23142          1830273        2063113        0              1206           14   15   12   
0.61/0.78	c 4020           23171          1833568        2067804        0              1207           13   15   12   
0.61/0.78	c 4030           23206          1837801        2072612        0              1209           14   15   12   
0.61/0.78	c 4040           23240          1841622        2076133        0              1211           13   14   12   
0.61/0.78	c 4050           23275          1845856        2080987        0              1213           14   15   12   
0.61/0.78	c 4060           23302          1848935        2084317        0              1215           12   14   11   
0.61/0.78	c 4070           23336          1852922        2088917        0              1217           14   15   12   
0.61/0.78	c 4080           23373          1857152        2093743        0              1225           14   15   12   
0.61/0.79	c 4090           23409          1861307        2098784        0              1228           14   15   13   
0.61/0.79	c 4100           23440          1864900        2102685        0              1231           12   14   12   
0.61/0.79	c 4110           23474          1868900        2107271        0              1233           14   15   12   
0.61/0.79	c 4120           23513          1873175        2112219        0              1241           14   15   13   
0.61/0.79	c 4130           23549          1877372        2116813        0              1244           12   15   12   
0.61/0.79	c 4140           23586          1881772        2121287        0              1247           14   15   12   
0.61/0.79	c 4150           23615          1885069        2125960        0              1248           13   15   12   
0.71/0.80	c 4160           23650          1889128        2130572        0              1256           14   15   12   
0.71/0.80	c 4170           23679          1892427        2135246        0              1257           13   15   12   
0.71/0.80	c 4180           23717          1896647        2140527        0              1260           14   15   13   
0.71/0.80	c 4190           23750          1900526        2145076        0              1261           14   15   12   
0.71/0.80	c 4200           23783          1904478        2149648        0              1262           14   15   12   
0.71/0.80	c 4210           23820          1908225        2154936        0              1263           11   15   12   
0.71/0.81	c 4220           23854          1912510        2161548        0              1264           15   16   13   
0.71/0.81	c 4230           23889          1916771        2167167        0              1272           14   15   13   
0.71/0.81	c 4240           23923          1920758        2171753        0              1274           14   15   12   
0.71/0.81	c 4250           23956          1924636        2176302        0              1275           14   15   12   
0.71/0.81	c 4260           23991          1928889        2181160        0              1277           14   15   12   
0.71/0.81	c 4270           24027          1933032        2186688        0              1280           11   15   12   
0.71/0.81	c 4280           24060          1936985        2191261        0              1281           14   15   12   
0.71/0.82	c 4290           24101          1941044        2196895        0              1286           11   15   12   
0.71/0.82	c 4300           24137          1945255        2201870        0              1289           14   15   13   
0.71/0.82	c 4310           24174          1949125        2205466        0              1291           14   15   13   
0.71/0.82	c 4320           24210          1953438        2210463        0              1300           14   15   12   
0.71/0.82	c 4330           24244          1957315        2215799        0              1305           13   15   12   
0.71/0.82	c 4340           24279          1961633        2220708        0              1307           14   15   12   
0.71/0.83	c 4350           24316          1965801        2225484        0              1309           12   15   12   
0.71/0.83	c 4360           24350          1970013        2232099        0              1310           15   16   13   
0.71/0.83	c 4370           24385          1974075        2236879        0              1319           14   15   12   
0.71/0.83	c 4380           24414          1977376        2240798        0              1324           12   15   12   
0.71/0.83	c 4390           24451          1981508        2246274        0              1329           11   16   13   
0.71/0.83	c 4400           24478          1984588        2249602        0              1335           12   14   11   
0.71/0.83	c 4410           24512          1988576        2254188        0              1337           14   15   12   
0.71/0.84	c 4420           24545          1992455        2258738        0              1338           14   15   12   
0.71/0.84	c 4430           24579          1996441        2263324        0              1340           14   15   12   
0.71/0.84	c 4440           24616          2000272        2268768        0              1341           11   15   12   
0.71/0.84	c 4450           24646          2003741        2272753        0              1342           14   16   13   
0.71/0.84	c 4460           24680          2007614        2276481        0              1351           13   14   12   
0.71/0.84	c 4470           24718          2011889        2281433        0              1359           14   15   13   
0.71/0.85	c 4480           24752          2015879        2286009        0              1361           14   15   12   
0.71/0.85	c 4490           24787          2020041        2291690        0              1362           14   15   12   
0.71/0.85	c 4493           24806          2022580        2294775        0              1364           14   15   11   
0.71/0.85	c 4500           24835          2026008        2298565        0              1369           14   15   12   
0.71/0.85	c 4510           24863          2029396        2303007        0              1373           11   15   11   
0.71/0.85	c 4520           24899          2033616        2308365        0              1381           14   15   12   
0.71/0.85	c 4530           24934          2037836        2313174        0              1383           14   15   12   
0.71/0.85	c 4540           24963          2041132        2317847        0              1384           13   15   12   
0.71/0.86	c 4550           24997          2044930        2322831        0              1387           12   15   12   
0.71/0.86	c 4560           25031          2048928        2327406        0              1389           14   15   12   
0.71/0.86	c 4570           25058          2051971        2330721        0              1395           12   14   11   
0.71/0.86	c 4580           25093          2056215        2335569        0              1397           14   15   12   
0.71/0.86	c 4590           25125          2060034        2340660        0              1400           12   15   12   
0.71/0.86	c 4600           25159          2064025        2345246        0              1402           14   15   12   
0.71/0.87	c 4610           25192          2067976        2349817        0              1403           14   15   12   
0.71/0.87	c 4620           25226          2071962        2354403        0              1405           14   15   12   
0.71/0.87	c 4630           25259          2075839        2358951        0              1406           14   15   12   
0.71/0.87	c 4640           25294          2080081        2363805        0              1408           14   15   12   
0.71/0.87	c 4650           25321          2083208        2367151        0              1410           12   14   11   
0.71/0.87	c 4660           25353          2086952        2372381        0              1415           13   15   12   
0.71/0.87	c 4670           25388          2091204        2377240        0              1417           14   15   12   
0.71/0.88	c 4680           25420          2095028        2382362        0              1419           13   15   12   
0.71/0.88	c 4690           25454          2099019        2386949        0              1421           14   15   12   
0.71/0.88	c 4700           25487          2102920        2391319        0              1427           12   15   12   
0.71/0.88	c 4710           25521          2106834        2395907        0              1429           14   15   12   
0.71/0.88	c 4720           25565          2111346        2400322        0              1435           14   15   13   
0.71/0.88	c 4730           25600          2115517        2405181        0              1437           14   15   12   
0.71/0.88	c 4740           25634          2119643        2410751        0              1444           13   15   13   
0.71/0.89	c 4750           25664          2123331        2415324        0              1446           11   15   11   
0.71/0.89	c 4760           25699          2126919        2420430        0              1448           13   15   12   
0.71/0.89	c 4770           25806          2131967        2425170        0              1451           14   88   32   
0.71/0.89	c 4780           25836          2135397        2429918        0              1452           14   16   13   
0.71/0.89	c 4790           25873          2139644        2434706        0              1459           14   15   12   
0.71/0.89	c 4800           25902          2142939        2439377        0              1460           13   15   12   
0.81/0.90	c 4810           25937          2146981        2443846        0              1461           14   15   12   
0.81/0.90	c 4820           25966          2150278        2448518        0              1462           13   15   12   
0.81/0.90	c 4830           25996          2154079        2453322        0              1465           11   15   11   
0.81/0.90	c 4840           26030          2158062        2457906        0              1467           14   15   12   
0.81/0.90	c 4850           26059          2161356        2462577        0              1468           13   15   12   
0.81/0.90	c 4860           26088          2164652        2467251        0              1469           13   15   12   
0.81/0.90	c 4870           26122          2168640        2471825        0              1471           14   15   12   
0.81/0.91	c 4880           26157          2172758        2476578        0              1473           14   15   12   
0.81/0.91	c 4890           26186          2176057        2481253        0              1474           13   15   12   
0.81/0.91	c 4900           26215          2179353        2485925        0              1475           13   15   12   
0.81/0.91	c 4910           26247          2183198        2490680        0              1479           12   15   12   
0.81/0.91	c 4920           26281          2187231        2495267        0              1481           14   15   12   
0.81/0.91	c 4930           26315          2191220        2499856        0              1483           14   15   12   
0.81/0.91	c 4940           26350          2195503        2504767        0              1486           12   15   12   
0.81/0.92	c 4950           26377          2198556        2508086        0              1492           12   14   11   
0.81/0.92	c 4960           26412          2202852        2513716        0              1498           12   15   12   
0.81/0.92	c 4970           26447          2206940        2518351        0              1500           14   15   12   
0.81/0.92	c 4980           26481          2210933        2522913        0              1502           14   15   12   
0.81/0.92	c 4990           26515          2214930        2527487        0              1504           14   15   12   
0.81/0.93	c 5035           26628          2226685        2540804        0              1509           13   15   13   
0.81/0.96	c 5631           27771          2331814        2666322        0              1520           11   15   12   
0.91/1.05	c 6286           39542          2542600        2809684        0              1527           13   92   53   
0.91/1.10	c 7006           41089          2680050        2990835        0              1535           11   17   13   
1.02/1.15	c 7798           42589          2817517        3149606        0              1546           10   15   12   
1.12/1.21	c 8669           44379          2974583        3345779        0              1560           10   16   12   
1.12/1.27	c 9627           46346          3148561        3561899        0              1572           7   15   12    
1.21/1.35	c 10680          48612          3349106        3811524        0              1585           9   15   12    
1.31/1.42	c 11838          51149          3571622        4017121        0              1601           8   16   11    
1.41/1.51	c 13111          53849          3809261        4229427        0              1621           8   16   11    
1.51/1.67	c 14511          68719          4263023        4655590        0              1628           11   99   51   
1.71/1.83	c 16051          84242          4740175        5056023        0              1637           12   83   41   
1.81/1.95	c 17745          87799          5056138        5409282        0              1653           10   18   14   
2.01/2.15	c 19608          104329         5665877        6000178        0              1667           11   69   40   
2.22/2.37	c 21657          122169         6351088        6568353        0              1679           13   73   51   
2.51/2.60	c 23910          144840         7149708        7033041        0              1687           21   60   58   
2.71/2.81	c 26388          150415         7712457        7800977        0              1696           34   42   38   
2.91/3.07	c 29113          163148         8389934        8706968        0              1705           31   60   42   
3.11/3.29	c 32110          169279         8987057        9573050        0              1720           35   44   39   
3.41/3.59	c 35406          200584         9846181        10283146       0              1735           15   60   41   
3.71/3.89	c 39031          209393         10688938       11116208       0              1751           37   49   42   
4.21/4.31	c 43018          232893         11814449       12723571       0              1757           32   61   48   
4.81/4.93	c 47403          244414         13505066       15606054       0              1771           38   54   45   
5.31/5.43	c 52226          255845         14832976       17924820       0              1791           44   56   49   
5.71/5.86	c 57531          267622         16003537       19411315       0              1809           44   60   48   
6.21/6.34	c 63366          280948         17304716       21296663       0              1816           40   54   45   
6.71/6.87	c 69784          308053         18675559       23005072       0              1836           37   72   48   
7.41/7.58	c 76843          350438         20500513       25554807       0              1852           26   59   39   
7.91/8.05	c 84607          366454         21859282       26757127       0              1863           20   31   24   
8.82/8.91	c 93147          460223         24438966       28655906       0              1870           21   68   59   
9.51/9.64	c 102541         480193         26404657       31316272       0              1889           40   49   44   
10.61/10.73	c 112874         503728         29381682       36322022       0              1907           40   56   46   
11.21/11.39	c 124240         526107         31299757       38126176       0              1921           40   54   45   
12.41/12.58	c 136742         646543         34548924       41052987       0              1933           22   68   56   
13.51/13.62	c 150494         674502         37389128       45027620       0              1939           38   54   46   
14.61/14.73	c 165621         708312         40465657       48324140       0              1953           38   49   43   
16.21/16.30	c 182260         826564         44686108       53214861       0              1966           20   61   44   
17.81/17.90	c 200562         870358         48959472       59054543       0              1970           38   51   44   
20.01/20.17	c 220694         1150315        56212387       65078236       0              1988           39   182   114 
22.21/22.36	c 242839         1270960        61889201       72750320       0              1997           31   72   48   
24.91/25.04	c 267198         1385081        69097925       84005982       0              2006           36   74   52   
27.01/27.10	c 293992         1442331        74661164       91577869       0              2021           39   53   45   
29.41/29.56	c 323465         1589463        80824342       99515214       0              2035           29   68   45   
32.41/32.55	c 355885         1669362        88948818       110268234      0              2051           37   51   44   
35.91/36.06	c 391547         1966164        98526312       120109849      0              2077           22   67   46   
39.71/39.83	c 430775         2061713        108295851      134578829      0              2094           37   53   44   
45.31/45.44	c 473925         2693096        125403067      149935614      0              2109           35   164   98  
49.51/49.62	c 521390         2903632        135966677      163764274      0              2122           35   73   47   
55.11/55.25	c 573601         3249166        149160848      183203937      0              2149           33   72   52   
60.21/60.38	c 631033         3489772        162413050      205199705      0              2171           36   70   50   
64.71/64.88	c 694208         3626851        174759508      220890841      0              2199           38   55   45   
70.91/71.06	c 763700         4244427        192768618      235697079      0              2232           19   69   58   
76.61/76.71	c 840141         4406111        208303352      255948463      0              2252           37   56   44   
83.51/83.62	c 924226         4658105        226926027      279306749      0              2274           37   72   45   
91.71/91.81	c 1016719        5242691        249471802      302445534      0              2294           17   72   40   
101.61/101.75	c 1118461        5501831        277073219      345973785      0              2324           36   77   47   
111.01/111.15	c 1230377        5843859        302476600      377506486      0              2346           34   72   45   
123.80/123.90	c 1353484        7067337        345468310      404839162      0              2366           19   72   65   
134.21/134.33	c 1488901        7365965        373867367      440951218      0              2384           36   58   44   
146.10/146.20	c 1637859        7690040        406391954      486161889      0              2406           33   53   42   
161.40/161.59	c 1801712        8102744        447350585      556167234      0              2426           32   70   44   
176.10/176.23	c 1981950        8511363        487959408      608841939      0              2452           31   47   39   
193.80/193.95	c 2180211        9893259        547049296      653684664      0              2467           19   67   56   
212.40/212.54	c 2398298        10403788       597945054      723843855      0              2476           29   53   39   
233.20/233.32	c 2638193        11228812       654480365      799360268      0              2492           27   67   40   
263.30/263.43	c 2902077        15189524       747478706      870428818      0              2509           29   166   128 
290.40/290.56	c 3192349        16532444       816657460      959760771      0              2529           26   64   38   
315.60/315.73	c 3511648        17481426       884202223      1049727050     0              2552           29   67   41   
349.59/349.70	c 3862876        20498151       1001306107     1124503141     0              2567           18   67   62   
384.59/384.72	c 4249226        21699735       1096283978     1254826220     0              2583           31   71   45   
421.49/421.63	c 4674211        23099305       1193761071     1390334021     0              2618           28   67   41   
460.80/460.97	c 5141694        24788383       1298563794     1529423365     0              2638           27   67   41   
509.29/509.45	c 5655925        26770090       1428855078     1714593976     0              2656           27   67   42   
561.38/561.59	c 6221579        29485231       1565996800     1892468303     0              2665           26   67   44   
617.58/617.72	c 6843798        31774989       1718081684     2104944349     0              2684           32   75   46   
677.28/677.43	c 7528238        34670409       1875320269     2310319125     0              2702           30   75   47   
746.78/746.96	c 8281122        37581610       2059596808     2568531295     0              2717           31   75   46   
820.87/821.07	c 9109294        40847742       2255987946     2848348356     0              2736           31   72   47   
918.27/918.49	c 10020283       50438864       2572471378     3048421752     0              2741           17   72   66   
1002.57/1002.74	c 11022370       52977434       2801707012     3375808541     0              2763           30   72   47   
1099.97/1100.19	c 12124665       56993365       3060345980     3738705897     0              2794           31   74   47   
1207.46/1207.64	c 13337189       61398758       3350774256     4210111662     0              2824           32   84   56   
1327.56/1327.74	c 14670965       67440354       3660546136     4643419926     0              2855           31   76   48   
1459.95/1460.14	c 16138118       72621401       4013678046     5167493487     0              2887           31   76   46   
1611.54/1611.74	c 17751986       84294357       4451465139     5573697500     0              2908           15   72   50   
1779.64/1779.86	c 19527240       90881100       4890091001     6237940023     0              2927           31   76   43   
1960.13/1960.37	c 21480019       100058044      5359549147     6924666743     0              2957           30   75   46   
2157.12/2157.31	c 23628075       108403334      5908441907     7749936331     0              2984           31   82   49

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-4241905-1502053710/watcher-4241905-1502053710 -o /tmp/evaluation-result-4241905-1502053710/solver-4241905-1502053710 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241905-1502053710.xml 

pid=30775
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: 6.28 3.70 2.66 4/182 30778
/proc/meminfo: memFree=23113584/32770624 swapFree=0/360232
[pid=30778] ppid=30775 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/30778/stat : 30778 (runsolver) D 30775 30778 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 7566793 24240128 108 18446744073709551615 4194304 4338465 140737483689408 140737483687048 140105118077655 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 23408640 140737483698330 140737483698762 140737483698762 140737483702218 0
/proc/30778/statm: 5918 108 54 36 0 2156 0

[startup+0.100153 s]
/proc/loadavg: 6.28 3.70 2.66 4/182 30778
/proc/meminfo: memFree=23113584/32770624 swapFree=0/360232
[pid=30778] ppid=30775 vsize=33912 CPUtime=0.01 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 1713 0 0 0 1 0 0 0 20 0 1 0 7566793 34725888 1558 18446744073709551615 4194304 5970956 140728812127856 140728812124504 5327843 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8478 1558 787 434 0 1842 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 33912

[startup+0.200281 s]
/proc/loadavg: 6.28 3.70 2.66 4/182 30778
/proc/meminfo: memFree=23113584/32770624 swapFree=0/360232
[pid=30778] ppid=30775 vsize=33912 CPUtime=0.11 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 1726 0 0 0 11 0 0 0 20 0 1 0 7566793 34725888 1558 18446744073709551615 4194304 5970956 140728812127856 140728812125192 140638434458720 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8478 1558 787 434 0 1842 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 33912

[startup+0.300261 s]
/proc/loadavg: 6.28 3.70 2.66 4/182 30778
/proc/meminfo: memFree=23113584/32770624 swapFree=0/360232
[pid=30778] ppid=30775 vsize=33912 CPUtime=0.21 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 1739 0 0 0 21 0 0 0 20 0 1 0 7566793 34725888 1558 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4994526 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8478 1558 787 434 0 1842 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 33912

[startup+0.70022 s]
/proc/loadavg: 6.28 3.70 2.66 4/182 30778
/proc/meminfo: memFree=23113584/32770624 swapFree=0/360232
[pid=30778] ppid=30775 vsize=33912 CPUtime=0.61 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 1762 0 0 0 61 0 0 0 20 0 1 0 7566793 34725888 1558 18446744073709551615 4194304 5970956 140728812127856 140728812125192 140638434458720 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8478 1558 787 434 0 1842 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 33912

[startup+1.50022 s]
/proc/loadavg: 6.28 3.70 2.66 3/183 30779
/proc/meminfo: memFree=23110220/32770624 swapFree=0/360156
[pid=30778] ppid=30775 vsize=33912 CPUtime=1.41 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 1777 0 0 0 141 0 0 0 20 0 1 0 7566793 34725888 1624 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4994432 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8478 1624 787 434 0 1842 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 33912

[startup+3.10022 s]
/proc/loadavg: 6.28 3.70 2.66 3/183 30779
/proc/meminfo: memFree=23109848/32770624 swapFree=0/360156
[pid=30778] ppid=30775 vsize=33912 CPUtime=3.01 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 2447 0 0 0 301 0 0 0 20 0 1 0 7566793 34725888 1628 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4974124 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8478 1628 787 434 0 1842 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 33912

[startup+6.30023 s]
/proc/loadavg: 5.85 3.65 2.65 3/183 30779
/proc/meminfo: memFree=23116840/32770624 swapFree=0/360172
[pid=30778] ppid=30775 vsize=33912 CPUtime=6.21 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 3125 0 0 0 621 0 0 0 20 0 1 0 7566793 34725888 1632 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5098896 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8478 1632 787 434 0 1842 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 33912

[startup+12.7002 s]
/proc/loadavg: 5.55 3.63 2.64 3/183 30779
/proc/meminfo: memFree=23117196/32770624 swapFree=0/360184
[pid=30778] ppid=30775 vsize=33912 CPUtime=12.61 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 3808 0 0 0 1261 0 0 0 20 0 1 0 7566793 34725888 1637 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4994596 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8478 1637 787 434 0 1842 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 33912

[startup+25.5003 s]
/proc/loadavg: 4.76 3.55 2.63 3/183 30779
/proc/meminfo: memFree=23117272/32770624 swapFree=0/360196
[pid=30778] ppid=30775 vsize=34044 CPUtime=25.41 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 5185 0 0 0 2541 0 0 0 20 0 1 0 7566793 34861056 1654 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4974412 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1654 787 434 0 1875 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 34044

[startup+51.1003 s]
/proc/loadavg: 3.82 3.42 2.62 3/182 30781
/proc/meminfo: memFree=23116744/32770624 swapFree=0/360228
[pid=30778] ppid=30775 vsize=34044 CPUtime=51.01 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 5900 0 0 0 5101 0 0 0 20 0 1 0 7566793 34861056 1659 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5327113 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1659 787 434 0 1875 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 34044

[startup+102.3 s]
/proc/loadavg: 2.73 3.18 2.58 3/182 30782
/proc/meminfo: memFree=23117644/32770624 swapFree=0/360292
[pid=30778] ppid=30775 vsize=34044 CPUtime=102.21 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 6613 0 0 0 10221 0 0 0 20 0 1 0 7566793 34861056 1666 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4974935 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1666 787 434 0 1875 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 34044

[startup+162.3 s]
/proc/loadavg: 2.29 2.98 2.55 3/182 30784
/proc/meminfo: memFree=23117928/32770624 swapFree=0/360352
[pid=30778] ppid=30775 vsize=34044 CPUtime=162.2 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 7330 0 0 0 16220 0 0 0 20 0 1 0 7566793 34861056 1676 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5311832 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1676 787 434 0 1875 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 34044

[startup+222.306 s]
/proc/loadavg: 2.11 2.80 2.51 3/182 30787
/proc/meminfo: memFree=23117564/32770624 swapFree=0/360404
[pid=30778] ppid=30775 vsize=34044 CPUtime=222.2 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 8046 0 0 0 22220 0 0 0 20 0 1 0 7566793 34861056 1679 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4908171 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1679 787 434 0 1875 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 34044

[startup+282.3 s]
/proc/loadavg: 2.04 2.66 2.48 3/182 30789
/proc/meminfo: memFree=23117476/32770624 swapFree=0/360444
[pid=30778] ppid=30775 vsize=34044 CPUtime=282.2 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 8769 0 0 0 28220 0 0 0 20 0 1 0 7566793 34861056 1680 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5337501 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1680 787 434 0 1875 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 34044

[startup+342.3 s]
/proc/loadavg: 2.01 2.54 2.45 3/185 30806
/proc/meminfo: memFree=23112604/32770624 swapFree=0/360536
[pid=30778] ppid=30775 vsize=34044 CPUtime=342.19 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 9483 0 0 0 34219 0 0 0 20 0 1 0 7566793 34861056 1682 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5337501 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1682 787 434 0 1875 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 34044

[startup+402.3 s]
/proc/loadavg: 2.01 2.44 2.42 3/185 30832
/proc/meminfo: memFree=23110920/32770624 swapFree=0/360616
[pid=30778] ppid=30775 vsize=34044 CPUtime=402.19 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 10214 0 0 0 40219 0 0 0 20 0 1 0 7566793 34861056 1685 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5093168 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1685 787 434 0 1875 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 34044

[startup+462.3 s]
/proc/loadavg: 2.00 2.36 2.40 3/185 30834
/proc/meminfo: memFree=23109472/32770624 swapFree=0/360652
[pid=30778] ppid=30775 vsize=34044 CPUtime=462.19 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 10941 0 0 0 46219 0 0 0 20 0 1 0 7566793 34861056 1688 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4974439 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1688 787 434 0 1875 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 34044

[startup+522.3 s]
/proc/loadavg: 2.00 2.29 2.37 3/182 30836
/proc/meminfo: memFree=23113812/32770624 swapFree=0/360692
[pid=30778] ppid=30775 vsize=34044 CPUtime=522.19 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 11662 0 0 0 52219 0 0 0 20 0 1 0 7566793 34861056 1690 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5098896 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1690 787 434 0 1875 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 34044

[startup+582.3 s]
/proc/loadavg: 2.05 2.26 2.36 3/182 30838
/proc/meminfo: memFree=23114212/32770624 swapFree=0/360736
[pid=30778] ppid=30775 vsize=34044 CPUtime=582.18 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 12386 0 0 0 58218 0 0 0 20 0 1 0 7566793 34861056 1690 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4977858 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1690 787 434 0 1875 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 34044


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

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.15 3/181 30882
/proc/meminfo: memFree=23114264/32770624 swapFree=0/361280
[pid=30778] ppid=30775 vsize=34044 CPUtime=1482.15 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 23054 0 0 0 148215 0 0 0 20 0 1 0 7566793 34861056 1702 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4994614 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1702 787 434 0 1875 0
Current children cumulated CPU time (s) 1482.15
Current children cumulated vsize (KiB) 34044

[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.13 3/184 30898
/proc/meminfo: memFree=23110344/32770624 swapFree=0/361348
[pid=30778] ppid=30775 vsize=34044 CPUtime=1542.15 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 23745 0 0 0 154215 0 0 0 20 0 1 0 7566793 34861056 1702 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5327840 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1702 787 434 0 1875 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 34044

[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.13 3/184 30900
/proc/meminfo: memFree=23109884/32770624 swapFree=0/361384
[pid=30778] ppid=30775 vsize=34044 CPUtime=1602.14 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 24452 0 0 0 160214 0 0 0 20 0 1 0 7566793 34861056 1702 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4934323 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1702 787 434 0 1875 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 34044

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.13 3/181 30902
/proc/meminfo: memFree=23113548/32770624 swapFree=0/361424
[pid=30778] ppid=30775 vsize=34044 CPUtime=1662.14 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 25152 0 0 0 166214 0 0 0 20 0 1 0 7566793 34861056 1703 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5327909 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1703 787 434 0 1875 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 34044

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.12 3/181 30904
/proc/meminfo: memFree=23113328/32770624 swapFree=0/361456
[pid=30778] ppid=30775 vsize=34044 CPUtime=1722.13 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 25786 0 0 0 172213 0 0 0 20 0 1 0 7566793 34861056 1703 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4976160 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1703 787 434 0 1875 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 34044

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/181 30906
/proc/meminfo: memFree=23113504/32770624 swapFree=0/361488
[pid=30778] ppid=30775 vsize=34044 CPUtime=1782.13 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 26519 0 0 0 178213 0 0 0 20 0 1 0 7566793 34861056 1703 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5239892 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1703 787 434 0 1875 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 34044

[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.12 3/181 30931
/proc/meminfo: memFree=23112840/32770624 swapFree=0/361540
[pid=30778] ppid=30775 vsize=34044 CPUtime=1842.13 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 27212 0 0 0 184213 0 0 0 20 0 1 0 7566793 34861056 1703 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4934046 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1703 787 434 0 1875 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 34044

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.11 3/181 30933
/proc/meminfo: memFree=23113112/32770624 swapFree=0/361572
[pid=30778] ppid=30775 vsize=34044 CPUtime=1902.13 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 27875 0 0 0 190213 0 0 0 20 0 1 0 7566793 34861056 1703 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5325063 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1703 787 434 0 1875 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 34044

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.10 3/181 30935
/proc/meminfo: memFree=23113264/32770624 swapFree=0/361600
[pid=30778] ppid=30775 vsize=34044 CPUtime=1962.13 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 28610 0 0 0 196213 0 0 0 20 0 1 0 7566793 34861056 1705 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5337501 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1705 787 434 0 1875 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 34044

[startup+2022.3 s]
/proc/loadavg: 1.92 2.00 2.09 3/181 30999
/proc/meminfo: memFree=31661928/32770624 swapFree=0/361668
[pid=30778] ppid=30775 vsize=34044 CPUtime=2022.12 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 29293 0 0 0 202212 0 0 0 20 0 1 0 7566793 34861056 1710 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4934545 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1710 787 434 0 1875 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 34044

[startup+2082.3 s]
/proc/loadavg: 2.02 2.01 2.09 3/181 31001
/proc/meminfo: memFree=31661656/32770624 swapFree=0/361752
[pid=30778] ppid=30775 vsize=34044 CPUtime=2082.13 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 29562 0 0 0 208213 0 0 0 20 0 1 0 7566793 34861056 1710 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5098896 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1710 787 434 0 1875 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 34044

[startup+2142.3 s]
/proc/loadavg: 2.01 2.01 2.09 3/184 31017
/proc/meminfo: memFree=31657136/32770624 swapFree=0/361848
[pid=30778] ppid=30775 vsize=34044 CPUtime=2142.12 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 29816 0 0 0 214212 0 0 0 20 0 1 0 7566793 34861056 1710 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4974608 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1710 787 434 0 1875 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 34044

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.08 3/184 31019
/proc/meminfo: memFree=31656704/32770624 swapFree=0/361912
[pid=30778] ppid=30775 vsize=34044 CPUtime=2202.12 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 30113 0 0 0 220212 0 0 0 20 0 1 0 7566793 34861056 1711 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4977807 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1711 787 434 0 1875 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 34044

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/181 31021
/proc/meminfo: memFree=31661052/32770624 swapFree=0/361956
[pid=30778] ppid=30775 vsize=34044 CPUtime=2262.11 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 30391 0 0 0 226211 0 0 0 20 0 1 0 7566793 34861056 1712 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5098928 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1712 787 434 0 1875 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 34044

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/181 31023
/proc/meminfo: memFree=31661056/32770624 swapFree=0/361984
[pid=30778] ppid=30775 vsize=34044 CPUtime=2322.11 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 30656 0 0 0 232211 0 0 0 20 0 1 0 7566793 34861056 1712 18446744073709551615 4194304 5970956 140728812127856 140728812125192 5325288 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1712 787 434 0 1875 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 34044

[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.07 3/181 31025
/proc/meminfo: memFree=31661588/32770624 swapFree=0/362020
[pid=30778] ppid=30775 vsize=34044 CPUtime=2382.11 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 30868 0 0 0 238211 0 0 0 20 0 1 0 7566793 34861056 1712 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4934116 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1712 787 434 0 1875 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 34044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.03 2.03 2.07 3/181 31026
/proc/meminfo: memFree=31661716/32770624 swapFree=0/362028
[pid=30778] ppid=30775 vsize=34044 CPUtime=2400.01 cores=1,3,5,7
/proc/30778/stat : 30778 (cosoco) R 30775 30778 21827 0 -1 4202496 31126 0 0 0 240001 0 0 0 20 0 1 0 7566793 34861056 1712 18446744073709551615 4194304 5970956 140728812127856 140728812125192 4994549 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 31170560 140728812130759 140728812130894 140728812130894 140728812134350 0
/proc/30778/statm: 8511 1712 787 434 0 1875 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 34044

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

Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.03
CPU user time (s): 2400.02
CPU system time (s): 0.009999
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 34044

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51614 second user time and 8.97767 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-06 22:54:32
IDJOB=4241905
IDBENCH=139765
IDSOLVER=2621
FILE ID=node126/4241905-1502053710
RUNJOBID= node126-1502042680-29187
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/CoveringArray/CoveringArray-elt-s1/CoveringArray-elt-3-06-2-12.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241905-1502053710/watcher-4241905-1502053710 -o /tmp/evaluation-result-4241905-1502053710/solver-4241905-1502053710 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241905-1502053710.xml

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

MD5SUM BENCH= 6a2428e0ea9e56c54fb162011650005e
RANDOM SEED=580311295

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23113324 kB
MemAvailable:   23469104 kB
Buffers:          135672 kB
Cached:           496476 kB
SwapCached:            0 kB
Active:          8852628 kB
Inactive:         369016 kB
Active(anon):    8589744 kB
Inactive(anon):     8524 kB
Active(file):     262884 kB
Inactive(file):   360492 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4328 kB
Writeback:             0 kB
AnonPages:       8589464 kB
Mapped:            32056 kB
Shmem:              8868 kB
Slab:             121888 kB
SReclaimable:      96476 kB
SUnreclaim:        25412 kB
KernelStack:        3232 kB
PageTables:        21404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9860356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    763904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node126 at 2017-08-06 23:34:33