Trace number 4240866

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.02 2400.8

General information on the benchmark

NameLangford/Langford-m1-k2/
Langford-2-18.xml
MD5SUM969713c535595664febe0b3c6e709240
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints19
Number of domains1
Minimum domain size36
Maximum domain size36
Distribution of domain sizes[{"size":36,"count":36}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":36}]
Minimum constraint arity2
Maximum constraint arity36
Distribution of constraint arities[{"arity":2,"count":18},{"arity":36,"count":1}]
Number of extensional constraints0
Number of intensional constraints18
Distribution of constraint types[{"type":"intension","count":18},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.04	c SAT : Variables: 1296 -- Clauses: 22716
0.00/0.04	c root propagations     : 378         
0.00/0.04	c restarts enabled, print stats at every restarts
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c This is cosoco 1.0 --  
0.00/0.04	c
0.00/0.04	c ========================================[ Problem Statistics ]===========================================
0.00/0.04	c |                                                                                                       
0.00/0.04	c |  Parse time        :         0.04 s 
0.00/0.04	c |
0.00/0.04	c |               Variables: 36
0.00/0.04	c |            Domain Sizes: 36..36
0.00/0.04	c |
0.00/0.04	c |             Constraints: 19
0.00/0.04	c |                   Arity: 2..36  -- Binary: 18
0.00/0.04	c | 
0.00/0.04	c |                   Types: 
0.00/0.04	c |                          All Different: 1
0.00/0.04	c |                          Intension: 18
0.00/0.04	c |                          
0.00/0.04	c =========================================================================================================
0.00/0.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.05	c 10             48             674            3437           36             7              19   27   21   
0.00/0.05	c 20             96             1225           5875           36             11             19   23   18   
0.00/0.06	c 30             132            1698           8183           36             17             21   27   22   
0.00/0.06	c 40             178            2269           10612          36             19             19   25   19   
0.00/0.07	c 50             222            2980           13970          36             23             21   27   22   
0.00/0.07	c 60             268            3599           16611          36             29             21   25   21   
0.00/0.07	c 70             314            4195           19378          36             32             19   25   19   
0.00/0.08	c 80             354            4799           22166          36             38             23   25   22   
0.00/0.08	c 90             402            5321           24141          36             42             19   23   19   
0.00/0.08	c 100            452            5957           26802          36             45             21   27   21   
0.00/0.09	c 101            473            6199           27445          36             46             21   21   10   
0.00/0.09	c 110            518            6714           29657          36             51             21   25   21   
0.00/0.09	c 120            562            7248           32221          36             54             21   25   20   
0.09/0.10	c 130            616            7925           35040          36             56             17   23   19   
0.09/0.10	c 140            668            8634           38579          36             60             19   25   21   
0.09/0.10	c 150            724            9286           41364          36             66             21   23   20   
0.09/0.11	c 160            786            10282          46037          36             70             21   29   22   
0.09/0.11	c 170            834            10881          48494          36             72             21   25   21   
0.09/0.12	c 180            890            11566          51421          36             75             21   25   20   
0.09/0.12	c 190            938            12258          54551          36             79             19   27   19   
0.09/0.12	c 200            984            12805          56768          36             84             21   25   21   
0.09/0.13	c 210            1040           13491          59531          36             87             19   25   20   
0.09/0.13	c 211            1067           13781          60256          36             88             27   27   13   
0.09/0.13	c 220            1114           14457          63485          36             90             23   27   22   
0.09/0.14	c 230            1162           15156          67330          36             94             19   27   20   
0.09/0.14	c 240            1218           15822          70341          36             98             19   23   19   
0.09/0.14	c 250            1290           16626          73654          36             105            25   31   24   
0.09/0.15	c 260            1342           17221          76163          36             109            19   23   19   
0.09/0.15	c 270            1390           17807          78593          36             114            21   25   21   
0.09/0.15	c 280            1434           18407          81074          36             119            19   25   20   
0.09/0.16	c 290            1510           19290          85007          36             122            19   29   22   
0.09/0.16	c 300            1566           20056          88871          36             127            21   27   22   
0.09/0.16	c 310            1610           20746          91812          36             133            19   25   21   
0.09/0.17	c 320            1662           21341          94210          36             137            21   23   20   
0.09/0.17	c 330            1728           22093          96957          36             141            21   31   23   
0.09/0.17	c 332            1750           22357          97562          36             143            21   21   14   
0.09/0.18	c 340            1800           23073          100659         36             145            23   27   22   
0.09/0.18	c 350            1844           23677          103562         36             151            23   27   22   
0.09/0.18	c 360            1896           24277          106403         36             154            21   25   21   
0.09/0.18	c 370            1940           24966          109623         36             155            21   25   20   
0.09/0.19	c 380            1984           25563          112415         36             158            23   27   22   
0.09/0.19	c 390            2032           26116          114912         36             162            19   23   19   
0.09/0.19	c 400            2084           26807          117752         36             166            23   29   23   
0.09/0.19	c 410            2138           27417          120436         36             167            21   25   20   
0.19/0.20	c 420            2214           28484          125884         36             170            21   29   23   
0.19/0.20	c 430            2260           29093          128253         36             173            25   27   24   
0.19/0.20	c 440            2308           29686          131216         36             175            19   25   19   
0.19/0.21	c 450            2352           30437          134809         36             176            23   27   23   
0.19/0.21	c 460            2421           31572          140364         36             177            23   27   22   
0.19/0.21	c 465            2468           32119          142459         36             179            25   29   22   
0.19/0.22	c 470            2509           32595          144557         36             181            23   31   20   
0.19/0.22	c 480            2565           33399          148162         36             186            19   27   20   
0.19/0.22	c 490            2641           34285          151718         36             189            21   31   24   
0.19/0.23	c 500            2691           34992          154652         36             193            21   25   20   
0.19/0.23	c 510            2741           35679          157587         36             195            17   25   19   
0.19/0.23	c 520            2799           36449          161040         36             199            23   31   23   
0.19/0.23	c 530            2849           37108          164282         36             205            21   29   21   
0.19/0.24	c 540            2893           37637          166423         36             210            19   23   18   
0.19/0.24	c 550            2945           38346          169559         36             215            21   27   22   
0.19/0.24	c 560            2995           39001          172464         36             219            21   29   22   
0.19/0.24	c 570            3037           39525          174306         36             224            19   23   18   
0.19/0.25	c 580            3101           40226          176782         36             226            25   31   25   
0.19/0.25	c 590            3149           40911          180140         36             231            21   27   21   
0.19/0.25	c 600            3199           41702          183874         36             237            21   29   21   
0.19/0.26	c 610            3273           42614          188100         36             242            19   31   23   
0.19/0.26	c 611            3298           42898          188869         36             243            25   25   12   
0.19/0.26	c 620            3345           43488          191145         36             246            21   25   20   
0.19/0.26	c 630            3410           44408          195836         36             249            17   29   22   
0.19/0.27	c 640            3486           45502          200566         36             251            25   31   24   
0.19/0.27	c 650            3538           46275          204206         36             253            17   25   19   
0.19/0.27	c 660            3586           47064          207739         36             259            23   27   22   
0.19/0.28	c 670            3630           47760          210864         36             260            21   27   22   
0.19/0.28	c 680            3678           48322          213492         36             264            19   23   19   
0.19/0.28	c 690            3740           49118          216326         36             268            23   27   24   
0.19/0.29	c 700            3782           49652          218456         36             271            19   23   19   
0.19/0.29	c 710            3826           50251          221250         36             278            21   25   20   
0.19/0.29	c 720            3872           50811          223504         36             284            21   25   21   
0.19/0.29	c 730            3922           51436          226449         36             287            19   23   19   
0.29/0.30	c 740            3978           52240          229646         36             289            23   29   23   
0.29/0.30	c 750            4030           52981          233208         36             292            21   27   22   
0.29/0.30	c 760            4076           53543          235411         36             296            21   25   20   
0.29/0.30	c 770            4130           54258          238812         36             299            21   29   24   
0.29/0.31	c 771            4151           54496          239628         36             300            21   21   10   
0.29/0.31	c 780            4208           55262          243277         36             303            19   29   21   
0.29/0.31	c 790            4264           56138          247115         36             305            23   29   23   
0.29/0.31	c 800            4316           56701          249606         36             307            17   23   18   
0.29/0.32	c 810            4362           57468          253312         36             312            19   23   19   
0.29/0.32	c 820            4420           58307          257321         36             315            21   27   22   
0.29/0.32	c 830            4470           59040          260362         36             316            21   27   22   
0.29/0.33	c 840            4536           59677          262583         36             321            23   33   25   
0.29/0.33	c 850            4580           60225          265304         36             323            19   25   18   
0.29/0.33	c 860            4652           60992          268396         36             326            21   33   25   
0.29/0.34	c 870            4700           61643          271618         36             331            21   27   21   
0.29/0.34	c 880            4752           62375          275168         36             333            19   27   20   
0.29/0.34	c 890            4802           62987          277395         36             339            21   27   22   
0.29/0.34	c 900            4862           63693          280388         36             345            23   31   24   
0.29/0.35	c 910            4917           64574          283652         36             349            23   29   23   
0.29/0.35	c 920            4961           65177          285911         36             351            23   27   23   
0.29/0.35	c 930            5011           65812          288965         36             356            19   23   19   
0.29/0.35	c 940            5063           66535          291990         36             362            21   29   22   
0.29/0.36	c 947            5104           67113          294525         36             365            25   27   22   
0.29/0.36	c 950            5127           67379          295369         36             367            19   19   14   
0.29/0.36	c 960            5195           68307          299180         36             372            21   29   23   
0.29/0.36	c 970            5239           68886          301964         36             377            17   23   18   
0.29/0.37	c 980            5291           69547          304571         36             379            21   29   22   
0.29/0.37	c 990            5355           70452          308111         36             382            23   29   23   
0.29/0.37	c 1000           5419           71301          312292         36             386            19   23   19   
0.29/0.38	c 1010           5479           72017          314971         36             389            21   31   23   
0.29/0.38	c 1020           5533           72692          317914         36             392            19   25   20   
0.29/0.38	c 1030           5581           73349          320622         36             397            19   23   18   
0.29/0.39	c 1040           5637           74144          324118         36             400            23   31   24   
0.29/0.39	c 1050           5681           74868          327323         36             404            25   27   22   
0.29/0.39	c 1060           5733           75521          330040         36             406            19   25   20   
0.29/0.40	c 1070           5789           76313          334023         36             410            21   29   21   
0.39/0.40	c 1080           5855           77057          337326         36             414            19   31   22   
0.39/0.40	c 1090           5910           77779          340532         36             418            23   29   23   
0.39/0.40	c 1100           5966           78534          344132         36             423            17   27   20   
0.39/0.41	c 1110           6014           79173          347158         36             427            19   23   18   
0.39/0.41	c 1120           6082           79931          350101         36             429            19   31   22   
0.39/0.41	c 1130           6138           80710          353879         36             433            21   27   24   
0.39/0.42	c 1140           6188           81491          356841         36             436            23   29   23   
0.39/0.42	c 1141           6209           81738          357399         36             437            21   21   10   
0.39/0.42	c 1150           6260           82558          361006         36             440            23   31   23   
0.39/0.42	c 1160           6322           83426          365005         36             444            21   27   21   
0.39/0.43	c 1170           6370           84214          368627         36             449            23   29   22   
0.39/0.43	c 1180           6431           84890          371584         36             450            19   27   20   
0.39/0.43	c 1190           6489           85644          375292         36             452            19   27   21   
0.39/0.44	c 1200           6559           86412          378682         36             457            19   29   22   
0.39/0.44	c 1210           6625           87274          382813         36             462            21   25   21   
0.39/0.44	c 1220           6683           88069          386005         36             464            25   29   23   
0.39/0.45	c 1230           6741           88956          390295         36             471            19   25   20   
0.39/0.45	c 1240           6793           89703          393677         36             474            23   29   23   
0.39/0.45	c 1250           6839           90218          395626         36             477            21   27   21   
0.39/0.46	c 1260           6891           90980          398853         36             480            23   29   24   
0.39/0.46	c 1270           6961           91922          403308         36             485            21   31   23   
0.39/0.46	c 1280           7013           92545          405981         36             488            21   27   20   
0.39/0.47	c 1290           7067           93325          409935         36             492            21   27   21   
0.39/0.47	c 1300           7131           94164          413978         36             497            21   31   23   
0.39/0.47	c 1310           7189           94945          417519         36             501            19   25   19   
0.39/0.48	c 1320           7241           95730          421256         36             507            19   29   22   
0.39/0.48	c 1330           7287           96490          425102         36             511            19   27   19   
0.39/0.48	c 1340           7354           97364          428499         36             515            23   31   24   
0.39/0.49	c 1350           7402           98286          432925         36             518            23   27   22   
0.39/0.49	c 1352           7426           98568          433952         36             519            23   23   15   
0.39/0.49	c 1360           7488           99428          437820         36             523            19   29   23   
0.39/0.49	c 1370           7540           100184         441593         36             528            23   31   23   
0.49/0.50	c 1380           7588           100950         445216         36             531            23   27   22   
0.49/0.50	c 1390           7638           101787         449121         36             538            23   27   22   
0.49/0.50	c 1400           7694           102563         453211         36             543            19   27   20   
0.49/0.51	c 1410           7746           103331         456907         36             546            19   27   21   
0.49/0.51	c 1420           7802           104051         460206         36             551            21   31   24   
0.49/0.51	c 1430           7850           104617         462591         36             553            17   25   19   
0.49/0.52	c 1440           7914           105450         466616         36             555            23   29   23   
0.49/0.52	c 1450           7984           106314         469951         36             559            19   29   22   
0.49/0.52	c 1460           8046           107064         473276         36             564            21   31   23   
0.49/0.53	c 1470           8102           107784         476231         36             570            23   27   21   
0.49/0.53	c 1480           8158           108542         479401         36             572            23   33   23   
0.49/0.53	c 1490           8206           109067         481693         36             574            19   25   19   
0.49/0.53	c 1500           8252           109729         484678         36             577            21   25   20   
0.49/0.54	c 1510           8312           110684         488812         36             578            21   29   22   
0.49/0.54	c 1520           8372           111613         493206         36             581            21   29   22   
0.49/0.54	c 1530           8424           112406         496493         36             584            21   27   22   
0.49/0.55	c 1540           8476           113248         500459         36             589            21   27   21   
0.49/0.55	c 1550           8526           113909         503434         36             592            19   27   19   
0.49/0.55	c 1560           8576           114671         506563         36             596            21   27   22   
0.49/0.56	c 1570           8628           115280         509143         36             599            19   25   21   
0.49/0.56	c 1580           8674           116101         512729         36             602            21   27   22   
0.49/0.56	c 1585           8715           116601         514373         36             604            23   29   22   
0.49/0.56	c 1590           8752           117081         516362         36             608            23   29   21   
0.49/0.57	c 1600           8796           117691         519071         36             610            19   25   19   
0.49/0.57	c 1610           8866           118617         522872         36             612            21   29   24   
0.49/0.57	c 1620           8920           119323         526092         36             615            21   25   20   
0.49/0.58	c 1630           8998           120281         530502         36             620            19   31   24   
0.49/0.58	c 1640           9048           120962         532977         36             624            21   29   23   
0.49/0.58	c 1650           9108           121805         537256         36             627            19   25   20   
0.49/0.59	c 1660           9152           122551         541302         36             630            21   27   22   
0.49/0.59	c 1670           9215           123424         545831         36             632            21   25   21   
0.49/0.59	c 1680           9281           124315         549718         36             636            19   31   24   
0.59/0.60	c 1690           9327           124970         552558         36             639            21   23   20   
0.59/0.60	c 1700           9375           125766         556284         36             644            23   29   23   
0.59/0.60	c 1710           9425           126529         559841         36             646            23   27   23   
0.59/0.61	c 1720           9483           127433         564339         36             649            19   27   20   
0.59/0.61	c 1730           9547           128376         568385         36             652            23   27   24   
0.59/0.62	c 1740           9601           129137         571853         36             656            21   31   23   
0.59/0.62	c 1750           9657           129930         575259         36             658            21   29   22   
0.59/0.62	c 1760           9707           130686         578356         36             663            19   29   21   
0.59/0.63	c 1770           9766           131623         582526         36             669            19   23   20   
0.59/0.63	c 1780           9830           132350         586116         36             673            21   27   21   
0.59/0.63	c 1790           9904           133215         589495         36             679            23   31   24   
0.59/0.64	c 1800           9954           133928         592410         36             683            23   31   23   
0.59/0.64	c 1810           10010          134760         595957         36             687            23   27   23   
0.59/0.64	c 1820           10072          135607         599577         36             691            23   29   24   
0.59/0.65	c 1830           10132          136509         603465         36             693            23   29   23   
0.59/0.65	c 1840           10184          137310         607039         36             697            21   29   23   
0.59/0.65	c 1841           10205          137570         607882         36             698            21   21   10   
0.59/0.65	c 1850           10270          138374         611248         36             703            19   29   21   
0.59/0.66	c 1860           10318          139040         614504         36             707            23   27   23   
0.59/0.66	c 1870           10374          139618         616785         36             709            17   25   19   
0.59/0.66	c 1880           10431          140541         620900         36             715            21   27   22   
0.59/0.67	c 1890           10479          141229         624040         36             717            19   25   20   
0.59/0.67	c 1900           10533          142071         627688         36             721            21   29   22   
0.59/0.67	c 1910           10577          142635         630234         36             725            19   25   20   
0.59/0.67	c 1920           10621          143122         632163         36             729            19   25   19   
0.59/0.68	c 1930           10677          143886         635605         36             732            23   29   23   
0.59/0.68	c 1940           10721          144471         638501         36             737            19   25   19   
0.59/0.68	c 1950           10767          145248         642371         36             740            19   29   21   
0.59/0.68	c 1960           10819          145903         645242         36             747            23   27   22   
0.59/0.69	c 1970           10859          146541         648213         36             752            19   25   19   
0.59/0.69	c 1980           10915          147451         652235         36             754            23   27   22   
0.59/0.70	c 1990           10979          148326         656349         36             759            23   27   22   
0.69/0.70	c 2000           11037          149002         659426         36             762            23   25   21   
0.69/0.70	c 2010           11077          149645         662318         36             763            21   25   21   
0.69/0.70	c 2020           11145          150439         665418         36             764            23   33   24   
0.69/0.71	c 2030           11203          151187         669009         36             768            23   33   24   
0.69/0.71	c 2040           11247          151804         672245         36             769            21   27   21   
0.69/0.71	c 2050           11289          152508         675633         36             771            21   27   21   
0.69/0.72	c 2060           11343          153281         679095         36             772            21   27   22   
0.69/0.72	c 2070           11399          154076         682706         36             778            21   29   22   
0.69/0.72	c 2080           11447          154692         685762         36             784            19   25   19   
0.69/0.72	c 2090           11501          155406         688872         36             786            25   27   23   
0.69/0.73	c 2100           11545          155980         691220         36             791            19   25   19   
0.69/0.73	c 2110           11589          156610         694464         36             793            23   29   22   
0.69/0.73	c 2120           11633          157161         696971         36             795            19   23   19   
0.69/0.73	c 2122           11661          157536         698238         36             796            25   27   17   
0.69/0.74	c 2130           11719          158223         701314         36             798            21   25   20   
0.69/0.74	c 2140           11769          159032         704819         36             800            23   29   22   
0.69/0.74	c 2150           11827          159814         708223         36             805            21   31   22   
0.69/0.75	c 2160           11885          160768         712772         36             806            21   27   22   
0.69/0.75	c 2170           11929          161413         715542         36             809            23   27   23   
0.69/0.75	c 2180           11981          162221         719963         36             813            19   27   21   
0.69/0.76	c 2190           12047          163013         723314         36             815            23   33   24   
0.69/0.76	c 2200           12111          163864         727158         36             818            23   31   24   
0.69/0.76	c 2210           12175          164648         730567         36             822            21   29   22   
0.69/0.77	c 2220           12219          165190         732769         36             826            19   25   20   
0.69/0.77	c 2230           12271          165946         736395         36             830            19   29   23   
0.69/0.77	c 2240           12323          166641         739578         36             834            19   25   20   
0.69/0.77	c 2250           12363          167279         742633         36             836            19   27   21   
0.69/0.78	c 2260           12421          168114         746395         36             838            23   31   23   
0.69/0.78	c 2270           12475          168832         749240         36             842            25   27   23   
0.69/0.78	c 2280           12527          169627         752993         36             845            23   27   22   
0.69/0.79	c 2290           12569          170155         754874         36             849            19   25   20   
0.69/0.79	c 2300           12635          170978         758489         36             852            25   31   24   
0.69/0.79	c 2310           12697          171602         761301         36             857            23   29   23   
0.69/0.79	c 2320           12749          172307         764377         36             859            19   27   20   
0.79/0.80	c 2330           12813          173096         767920         36             862            25   31   25   
0.79/0.80	c 2340           12869          173870         772280         36             865            23   27   22   
0.79/0.80	c 2350           12917          174519         775755         36             868            23   27   22   
0.79/0.81	c 2360           12957          175019         778442         36             870            19   23   19   
0.79/0.81	c 2370           13023          175893         782154         36             875            25   31   24   
0.79/0.81	c 2380           13071          176457         784553         36             877            19   23   19   
0.79/0.82	c 2390           13139          177403         789327         36             880            21   29   23   
0.79/0.82	c 2400           13189          178190         793548         36             883            23   27   22   
0.79/0.82	c 2410           13241          178877         796845         36             886            21   27   22   
0.79/0.83	c 2420           13287          179505         800107         36             890            25   29   23   
0.79/0.83	c 2430           13335          180247         803361         36             893            17   23   18   
0.79/0.83	c 2431           13362          180582         804303         36             894            27   27   13   
0.79/0.83	c 2440           13407          181158         806401         36             897            25   29   23   
0.79/0.83	c 2450           13459          181756         809291         36             900            19   25   20   
0.79/0.84	c 2460           13527          182692         813859         36             903            23   31   24   
0.79/0.84	c 2470           13583          183504         817661         36             907            19   25   20   
0.79/0.84	c 2480           13635          184188         820375         36             913            21   27   22   
0.79/0.85	c 2490           13683          184750         823222         36             916            19   23   20   
0.79/0.85	c 2500           13735          185480         827084         36             920            21   29   23   
0.79/0.85	c 2510           13797          186219         830347         36             924            21   25   21   
0.79/0.86	c 2520           13879          187149         835061         36             928            23   33   25   
0.79/0.86	c 2530           13947          188014         838493         36             932            21   31   24   
0.79/0.86	c 2540           13995          188864         842557         36             937            19   27   20   
0.79/0.87	c 2550           14055          189641         845589         36             941            25   31   23   
0.79/0.87	c 2560           14117          190462         848988         36             944            21   27   22   
0.79/0.87	c 2570           14167          191288         852827         36             947            23   27   23   
0.79/0.88	c 2580           14219          191884         855734         36             952            19   25   20   
0.79/0.88	c 2590           14293          192814         859660         36             956            25   31   25   
0.79/0.88	c 2600           14339          193429         862728         36             959            21   25   21   
0.79/0.89	c 2610           14389          194164         866446         36             963            21   25   20   
0.79/0.89	c 2620           14449          194879         869628         36             966            19   25   19   
0.79/0.89	c 2630           14505          195643         873164         36             971            23   29   22   
0.79/0.89	c 2640           14549          196196         875555         36             977            21   27   20   
0.89/0.90	c 2650           14613          197193         880506         36             981            25   27   23   
0.89/0.90	c 2660           14671          197853         883577         36             984            21   27   21   
0.89/0.90	c 2670           14723          198532         886269         36             987            23   29   23   
0.89/0.91	c 2680           14765          199105         888893         36             993            21   25   20   
0.89/0.91	c 2690           14809          199759         891733         36             998            21   23   19   
0.89/0.91	c 2700           14869          200683         895554         36             1000           21   29   23   
0.89/0.92	c 2710           14915          201330         898302         36             1004           19   25   20   
0.89/0.92	c 2720           14965          202017         901275         36             1009           23   27   23   
0.89/0.92	c 2730           15019          202762         904689         36             1012           17   27   19   
0.89/0.93	c 2740           15065          203466         908005         36             1015           23   27   22   
0.89/0.93	c 2750           15125          204198         910781         36             1018           19   29   21   
0.89/0.93	c 2760           15179          204907         913941         36             1021           21   25   21   
0.89/0.93	c 2770           15247          205719         917400         36             1026           21   31   22   
0.89/0.94	c 2771           15272          206014         918082         36             1027           25   25   12   
0.89/0.94	c 2780           15317          206687         921022         36             1032           23   27   22   
0.89/0.94	c 2790           15361          207330         924048         36             1039           21   25   20   
0.89/0.94	c 2800           15411          208030         927376         36             1041           21   27   21   
0.89/0.95	c 2810           15473          208895         931256         36             1045           23   27   22   
0.89/0.95	c 2820           15523          209697         934787         36             1050           21   29   22   
0.89/0.95	c 2830           15583          210477         938779         36             1055           21   27   20   
0.89/0.96	c 2840           15637          211246         941820         36             1059           25   27   23   
0.89/0.96	c 2850           15699          211933         944602         36             1060           21   29   22   
0.89/0.96	c 2860           15767          212725         947806         36             1064           21   25   21   
0.89/0.97	c 2870           15813          213446         951141         36             1069           19   25   20   
0.89/0.97	c 2880           15859          214019         953445         36             1072           19   23   19   
0.89/0.97	c 2890           15927          214960         958637         36             1076           21   29   22   
0.89/0.98	c 2900           15975          215513         961089         36             1078           21   25   20   
0.89/0.98	c 2910           16031          216331         964524         36             1081           21   31   24   
0.89/0.98	c 2920           16095          217200         968351         36             1085           21   29   23   
0.89/0.98	c 2930           16135          217797         970792         36             1091           19   27   19   
0.89/0.99	c 2940           16181          218498         974041         36             1095           21   27   21   
0.89/0.99	c 2950           16235          219171         977253         36             1101           19   27   21   
0.89/0.99	c 2960           16281          219935         980879         36             1104           23   27   22   
0.99/1.00	c 2970           16333          220657         984386         36             1106           23   29   23   
0.99/1.00	c 2980           16383          221350         987213         36             1109           21   27   21   
0.99/1.00	c 2990           16429          221974         989733         36             1112           19   25   19   
0.99/1.01	c 3000           16475          222739         993087         36             1114           21   29   22   
0.99/1.01	c 3010           16525          223434         996135         36             1115           17   25   19   
0.99/1.01	c 3020           16573          224127         999726         36             1125           21   27   22   
0.99/1.01	c 3030           16625          224829         1002656        36             1130           21   27   21   
0.99/1.02	c 3040           16691          225821         1007179        36             1133           21   25   21   
0.99/1.02	c 3050           16737          226510         1009786        36             1136           23   27   23   
0.99/1.03	c 3060           16797          227321         1013639        36             1137           25   29   24   
0.99/1.03	c 3070           16851          228086         1017042        36             1139           21   29   22   
0.99/1.03	c 3080           16909          228919         1020759        36             1143           21   31   22   
0.99/1.04	c 3090           16965          229723         1024137        36             1148           21   27   22   
0.99/1.04	c 3100           17011          230392         1027334        36             1153           21   27   21   
0.99/1.04	c 3110           17087          231350         1031633        36             1159           21   33   24   
0.99/1.05	c 3120           17141          232133         1035105        36             1163           23   29   23   
0.99/1.05	c 3130           17182          232671         1037580        36             1168           19   25   19   
0.99/1.05	c 3140           17240          233333         1039918        36             1174           19   25   20   
0.99/1.05	c 3142           17266          233620         1040768        36             1176           23   25   16   
0.99/1.05	c 3150           17316          234236         1043607        36             1179           19   27   20   
0.99/1.06	c 3160           17360          234982         1046882        36             1183           23   27   22   
0.99/1.06	c 3170           17408          235690         1050372        36             1186           23   29   22   
0.99/1.06	c 3180           17460          236298         1052973        36             1189           21   27   21   
0.99/1.07	c 3190           17535          237223         1057233        36             1193           23   31   24   
0.99/1.07	c 3200           17595          238056         1061000        36             1196           25   29   23   
0.99/1.07	c 3210           17657          238761         1063944        36             1198           21   31   22   
0.99/1.08	c 3220           17705          239392         1067093        36             1201           23   27   23   
0.99/1.08	c 3230           17767          240071         1070163        36             1202           21   27   22   
0.99/1.08	c 3240           17823          241010         1074383        36             1205           21   27   21   
0.99/1.08	c 3250           17871          241596         1076889        36             1209           21   27   21   
0.99/1.09	c 3260           17931          242422         1080517        36             1212           25   33   24   
0.99/1.09	c 3270           17985          243031         1082976        36             1217           19   23   20   
0.99/1.09	c 3280           18053          243747         1086558        36             1222           21   31   24   
0.99/1.10	c 3290           18115          244683         1091326        36             1224           21   25   20   
1.10/1.10	c 3300           18165          245549         1095024        36             1227           23   27   22   
1.10/1.11	c 3310           18219          246336         1098397        36             1231           23   29   22   
1.10/1.11	c 3320           18267          246971         1101627        36             1235           23   29   24   
1.10/1.11	c 3330           18316          247660         1104951        36             1237           21   25   20   
1.10/1.12	c 3340           18378          248580         1109190        36             1239           23   29   23   
1.10/1.12	c 3350           18446          249471         1113410        36             1242           21   25   21   
1.10/1.12	c 3360           18510          250475         1117917        36             1247           25   27   23   
1.10/1.13	c 3370           18556          251103         1120636        36             1249           19   23   19   
1.10/1.13	c 3380           18629          252074         1125072        36             1252           23   29   24   
1.10/1.13	c 3390           18677          252707         1127783        36             1254           23   29   24   
1.10/1.14	c 3400           18741          253530         1131012        36             1259           21   29   23   
1.10/1.14	c 3410           18791          254304         1134179        36             1260           21   25   21   
1.10/1.14	c 3420           18837          254954         1137236        36             1264           19   23   19   
1.10/1.14	c 3430           18895          255813         1140995        36             1269           21   29   22   
1.10/1.15	c 3440           18959          256754         1145308        36             1273           25   31   24   
1.10/1.15	c 3450           19018          257497         1149049        36             1277           21   27   22   
1.10/1.16	c 3460           19075          258286         1152704        36             1283           21   29   22   
1.10/1.16	c 3470           19119          258927         1155764        36             1285           23   27   22   
1.10/1.16	c 3480           19171          259612         1158810        36             1290           21   25   20   
1.10/1.16	c 3490           19231          260422         1162287        36             1292           23   27   23   
1.10/1.17	c 3500           19303          261230         1165884        36             1297           23   33   24   
1.10/1.17	c 3510           19347          261821         1168213        36             1298           21   25   21   
1.10/1.17	c 3520           19403          262427         1170495        36             1303           19   29   20   
1.10/1.18	c 3530           19461          263190         1174191        36             1304           23   29   23   
1.10/1.18	c 3540           19515          263966         1177479        36             1306           25   31   24   
1.10/1.18	c 3550           19561          264573         1179814        36             1312           21   27   21   
1.10/1.18	c 3551           19586          264853         1180549        36             1313           25   25   12   
1.10/1.19	c 3560           19645          265751         1184450        36             1319           23   31   23   
1.10/1.19	c 3570           19689          266384         1187084        36             1323           21   25   21   
1.10/1.19	c 3580           19741          267274         1191164        36             1325           23   29   23   
1.10/1.20	c 3590           19791          267944         1194070        36             1330           19   25   20   
1.10/1.20	c 3600           19837          268629         1196965        36             1332           25   27   23   
1.10/1.20	c 3610           19885          269255         1199379        36             1338           23   27   23   
1.20/1.20	c 3620           19937          270027         1202608        36             1344           21   29   22   
1.20/1.21	c 3630           19990          270698         1205472        36             1347           25   29   24   
1.20/1.21	c 3640           20058          271529         1209609        36             1350           23   27   22   
1.20/1.21	c 3650           20102          272255         1212924        36             1355           21   27   22   
1.20/1.22	c 3660           20152          272890         1215931        36             1359           19   25   20   
1.20/1.22	c 3670           20208          273780         1219788        36             1363           23   27   23   
1.20/1.22	c 3680           20250          274360         1222283        36             1368           21   25   21   
1.20/1.22	c 3690           20294          274980         1224771        36             1370           21   27   21   
1.20/1.23	c 3700           20354          275774         1228165        36             1373           21   27   22   
1.20/1.23	c 3710           20409          276461         1231323        36             1377           19   25   20   
1.20/1.23	c 3720           20467          277310         1234707        36             1380           25   29   24   
1.20/1.24	c 3730           20515          278021         1237552        36             1384           23   27   22   
1.20/1.24	c 3740           20561          278657         1240295        36             1389           21   27   21   
1.20/1.24	c 3750           20617          279354         1243405        36             1391           19   25   20   
1.20/1.25	c 3760           20679          280258         1247332        36             1395           23   27   23   
1.20/1.25	c 3770           20725          280898         1250161        36             1397           19   27   19   
1.20/1.25	c 3780           20777          281663         1253645        36             1400           25   31   23   
1.20/1.25	c 3790           20827          282247         1256204        36             1405           19   27   20   
1.20/1.26	c 3800           20875          282981         1259570        36             1408           23   29   23   
1.20/1.26	c 3810           20927          283601         1262142        36             1411           21   27   22   
1.20/1.26	c 3820           20979          284419         1265771        36             1414           21   27   22   
1.20/1.27	c 3830           21035          285099         1268442        36             1416           17   25   19   
1.20/1.27	c 3840           21089          285960         1272129        36             1421           21   27   22   
1.20/1.27	c 3850           21143          286737         1275524        36             1427           19   25   20   
1.20/1.28	c 3860           21201          287554         1279480        36             1432           21   27   23   
1.20/1.28	c 3870           21251          288226         1282545        36             1437           21   27   20   
1.20/1.28	c 3880           21314          289182         1286750        36             1439           23   29   23   
1.20/1.29	c 3890           21362          289817         1289087        36             1443           23   29   24   
1.20/1.29	c 3900           21412          290399         1291628        36             1447           23   23   20   
1.20/1.29	c 3910           21466          291069         1294359        36             1449           23   33   24   
1.20/1.29	c 3920           21516          291690         1297038        36             1454           19   25   20   
1.29/1.30	c 3930           21568          292325         1299659        36             1459           21   25   20   
1.29/1.30	c 3940           21624          293073         1303342        36             1460           25   29   24   
1.29/1.30	c 3950           21676          293704         1305933        36             1463           19   31   20   
1.29/1.31	c 3960           21720          294394         1309030        36             1465           19   27   22   
1.29/1.31	c 3970           21776          295298         1313171        36             1468           21   31   23   
1.29/1.31	c 3980           21824          296066         1317143        36             1471           21   27   21   
1.29/1.32	c 3990           21882          296873         1320328        36             1473           21   29   22   
1.29/1.32	c 4000           21936          297598         1323396        36             1475           25   29   23   
1.29/1.32	c 4001           21963          297896         1324161        36             1476           27   27   13   
1.29/1.32	c 4010           22010          298590         1327667        36             1481           21   25   20   
1.29/1.33	c 4020           22068          299297         1330406        36             1483           21   27   22   
1.29/1.33	c 4030           22124          300133         1334032        36             1489           23   29   24   
1.29/1.33	c 4040           22174          300679         1336455        36             1493           19   25   20   
1.29/1.33	c 4050           22232          301424         1339580        36             1499           19   25   20   
1.29/1.34	c 4060           22278          302031         1342485        36             1502           19   25   19   
1.29/1.34	c 4070           22338          303021         1347248        36             1505           23   29   23   
1.29/1.34	c 4080           22382          303649         1349898        36             1507           21   25   20   
1.29/1.35	c 4090           22434          304395         1353273        36             1512           21   29   23   
1.29/1.35	c 4100           22488          305126         1356332        36             1517           19   25   20   
1.29/1.35	c 4110           22538          305839         1359638        36             1521           21   25   20   
1.29/1.36	c 4120           22594          306666         1363506        36             1525           23   27   22   
1.29/1.36	c 4130           22638          307299         1366245        36             1530           21   27   22   
1.29/1.36	c 4140           22686          308004         1369374        36             1537           19   25   20   
1.29/1.36	c 4150           22736          308765         1372534        36             1542           23   27   22   
1.29/1.37	c 4160           22780          309661         1377040        36             1546           21   25   20   
1.29/1.37	c 4170           22832          310431         1380807        36             1549           23   27   23   
1.29/1.38	c 4180           22887          311219         1384201        36             1550           19   27   20   
1.29/1.38	c 4190           22945          312099         1387901        36             1552           21   27   22   
1.29/1.38	c 4200           22999          312988         1391856        36             1555           23   27   22   
1.29/1.39	c 4210           23069          313790         1395709        36             1560           21   31   22   
1.29/1.39	c 4220           23121          314533         1399308        36             1563           21   29   21   
1.29/1.39	c 4230           23173          315192         1402259        36             1567           19   27   21   
1.29/1.40	c 4240           23231          315856         1404587        36             1572           23   27   22   
1.39/1.40	c 4250           23279          316538         1407419        36             1576           21   27   21   
1.39/1.40	c 4260           23335          317348         1411327        36             1578           21   27   22   
1.39/1.40	c 4270           23396          318053         1414156        36             1581           23   29   23   
1.39/1.41	c 4280           23444          318797         1418027        36             1585           21   27   22   
1.39/1.41	c 4290           23496          319495         1421433        36             1590           23   27   22   
1.39/1.41	c 4300           23552          320167         1424093        36             1592           21   25   20   
1.39/1.42	c 4310           23610          320957         1427615        36             1597           25   31   24   
1.39/1.42	c 4320           23665          321723         1431134        36             1600           23   27   22   
1.39/1.42	c 4330           23725          322536         1434944        36             1607           23   29   23   
1.39/1.43	c 4340           23781          323179         1438183        36             1609           23   25   21   
1.39/1.43	c 4350           23843          324034         1441935        36             1612           23   29   24   
1.39/1.43	c 4360           23895          324627         1444756        36             1615           19   25   19   
1.39/1.43	c 4370           23943          325353         1448033        36             1618           23   27   22   
1.39/1.44	c 4380           24001          326092         1451506        36             1623           23   25   22   
1.39/1.44	c 4390           24052          326769         1454536        36             1628           23   29   23   
1.39/1.44	c 4400           24094          327276         1456933        36             1633           21   27   21   
1.39/1.45	c 4410           24148          328083         1460821        36             1635           25   27   24   
1.39/1.45	c 4420           24206          328816         1463829        36             1638           23   29   23   
1.39/1.45	c 4430           24258          329606         1467636        36             1640           19   25   20   
1.39/1.46	c 4440           24302          330300         1470274        36             1642           21   29   24   
1.39/1.46	c 4450           24360          331143         1474069        36             1647           23   27   22   
1.39/1.46	c 4460           24414          331932         1477627        36             1652           23   29   23   
1.39/1.47	c 4470           24478          332740         1481597        36             1655           17   25   20   
1.39/1.47	c 4480           24534          333646         1485856        36             1656           25   27   23   
1.39/1.47	c 4490           24590          334505         1489426        36             1657           25   27   23   
1.39/1.47	c 4493           24619          334839         1490482        36             1658           25   27   19   
1.39/1.48	c 4500           24662          335420         1492804        36             1661           21   29   21   
1.39/1.48	c 4510           24718          336139         1495421        36             1664           23   31   24   
1.39/1.48	c 4520           24770          336813         1498170        36             1668           23   27   22   
1.39/1.49	c 4530           24814          337556         1501883        36             1672           19   25   20   
1.39/1.49	c 4540           24862          338380         1505802        36             1673           23   29   22   
1.39/1.49	c 4550           24932          339000         1507705        36             1674           23   33   25   
1.39/1.50	c 4560           24996          339958         1512129        36             1679           23   27   22   
1.49/1.50	c 4570           25048          340514         1514782        36             1682           21   25   20   
1.49/1.50	c 4580           25100          341329         1518121        36             1684           23   27   22   
1.49/1.50	c 4590           25154          342105         1521468        36             1686           23   29   22   
1.49/1.51	c 4600           25204          342835         1524960        36             1690           21   25   20   
1.49/1.51	c 4610           25254          343636         1528182        36             1694           23   29   23   
1.49/1.51	c 4620           25304          344333         1531508        36             1696           21   25   20   
1.49/1.52	c 4630           25352          345024         1534250        36             1698           23   29   23   
1.49/1.52	c 4640           25407          345676         1537225        36             1699           21   23   19   
1.49/1.52	c 4650           25463          346399         1540267        36             1701           23   29   23   
1.49/1.53	c 4660           25517          347239         1544031        36             1708           19   27   21   
1.49/1.53	c 4670           25567          347952         1547654        36             1711           19   23   19   
1.49/1.53	c 4680           25625          348709         1551047        36             1714           25   29   24   
1.49/1.54	c 4690           25677          349517         1554625        36             1719           21   27   21   
1.49/1.54	c 4700           25729          350288         1558214        36             1723           19   25   21   
1.49/1.54	c 4710           25783          351058         1561484        36             1726           21   33   23   
1.49/1.54	c 4720           25831          351791         1564604        36             1729           23   27   22   
1.49/1.55	c 4730           25889          352696         1568819        36             1735           19   27   20   
1.49/1.55	c 4740           25939          353502         1572692        36             1736           21   27   21   
1.49/1.55	c 4750           26003          354293         1575815        36             1740           23   29   24   
1.49/1.56	c 4760           26047          354852         1578409        36             1746           21   25   20   
1.49/1.56	c 4770           26101          355611         1582500        36             1750           23   29   22   
1.49/1.56	c 4780           26161          356467         1586596        36             1753           23   27   23   
1.49/1.57	c 4790           26215          357251         1589852        36             1758           23   29   22   
1.49/1.57	c 4800           26267          358091         1593490        36             1761           21   27   22   
1.49/1.57	c 4810           26321          358728         1596030        36             1766           21   25   20   
1.49/1.58	c 4820           26373          359567         1599995        36             1770           21   27   23   
1.49/1.58	c 4830           26435          360251         1602912        36             1774           23   31   23   
1.49/1.58	c 4840           26485          360878         1605742        36             1781           21   29   22   
1.49/1.59	c 4850           26537          361648         1609537        36             1786           21   27   21   
1.49/1.59	c 4860           26599          362514         1613055        36             1791           21   33   23   
1.49/1.59	c 4870           26651          363202         1616538        36             1794           21   25   20   
1.59/1.60	c 4880           26701          363987         1620108        36             1798           21   25   20   
1.59/1.60	c 4890           26745          364796         1624008        36             1804           21   25   21   
1.59/1.60	c 4900           26815          365701         1627522        36             1806           21   33   23   
1.59/1.61	c 4910           26873          366498         1630653        36             1808           23   29   24   
1.59/1.61	c 4920           26937          367335         1634361        36             1811           23   29   24   
1.59/1.61	c 4930           26987          368143         1637495        36             1814           23   29   22   
1.59/1.62	c 4940           27041          368824         1640877        36             1817           23   27   21   
1.59/1.62	c 4950           27093          369599         1644338        36             1820           23   27   22   
1.59/1.62	c 4960           27167          370519         1648019        36             1825           21   31   24   
1.59/1.63	c 4970           27216          371267         1651257        36             1829           19   25   20   
1.59/1.63	c 4980           27262          372026         1654328        36             1831           23   25   22   
1.59/1.63	c 4990           27306          372627         1656565        36             1836           21   25   19   
1.59/1.64	c 5035           27474          375253         1668701        36             1843           21   29   24   
1.69/1.76	c 5631           29722          404763         1825835        36             1849           17   33   25   
1.89/1.90	c 6286           32319          439015         2022634        36             1863           17   33   24   
1.99/2.06	c 7006           35041          476773         2221484        36             1871           17   33   25   
2.20/2.22	c 7798           37907          516515         2430312        36             1883           17   33   25   
2.30/2.39	c 8669           40758          557549         2665987        36             1898           17   29   23   
2.49/2.59	c 9627           44270          607762         2934374        36             1907           17   33   25   
2.79/2.80	c 10680          48129          660238         3223344        36             1920           17   33   24   
2.99/3.03	c 11838          52047          716100         3532834        36             1930           17   31   24   
3.19/3.27	c 13111          56364          773947         3868295        36             1941           15   29   22   
3.49/3.56	c 14511          61446          846524         4258184        36             1954           17   33   25   
3.79/3.84	c 16051          66558          915000         4634204        36             1971           15   31   22   
4.09/4.19	c 17745          72776          999803         5115368        36             1976           15   33   24   
4.50/4.54	c 19608          78897          1087023        5592036        36             1996           19   33   24   
4.89/4.92	c 21657          85874          1179747        6099204        36             2005           15   31   23   
5.29/5.39	c 23910          93907          1295660        6699929        36             2010           17   33   25   
5.79/5.86	c 26388          102754         1415143        7315154        36             2019           17   33   25   
6.29/6.39	c 29113          111979         1540638        8040666        36             2035           15   29   22   
6.99/7.02	c 32110          123060         1695224        8858854        36             2047           15   33   24   
7.59/7.63	c 35406          135042         1849578        9692732        36             2057           15   33   24   
8.29/8.31	c 39031          147663         2019485        10627859       36             2074           17   33   23   
9.09/9.12	c 43018          161624         2219342        11699072       36             2083           17   33   25   
9.89/10.00	c 47403          177832         2438582        12876991       36             2094           15   33   24   
10.89/10.99	c 52226          194542         2682596        14193583       36             2114           15   33   24   
11.99/12.10	c 57531          213774         2954321        15689140       36             2127           15   33   24   
13.29/13.40	c 63366          235147         3264023        17393620       36             2138           15   33   24   
14.59/14.67	c 69784          258356         3583475        19081511       36             2146           17   33   25   
16.09/16.17	c 76843          284706         3947444        21027787       36             2157           13   33   24   
17.59/17.64	c 84607          312777         4309418        23038377       36             2170           15   33   23   
19.28/19.38	c 93147          343951         4736573        25369331       36             2188           15   33   25   
21.08/21.14	c 102541         376584         5187027        27685525       36             2209           17   33   25   
23.09/23.20	c 112874         414107         5703376        30347870       36             2220           15   33   25   
25.29/25.38	c 124240         453071         6253551        33264380       36             2236           15   33   24   
27.78/27.80	c 136742         499897         6870877        36449138       36             2246           15   33   25   
30.28/30.33	c 150494         546429         7494162        39933165       36             2253           15   33   23   
33.08/33.16	c 165621         599476         8225738        43612079       36             2263           17   33   25   
36.38/36.47	c 182260         656849         9029740        48106584       36             2280           13   33   23   
39.98/40.00	c 200562         720819         9927605        52649818       36             2295           15   33   25   
43.98/44.01	c 220694         792043         10939575       57756576       36             2315           15   33   25   
48.27/48.34	c 242839         868407         11998376       63642657       36             2328           15   33   23   
53.27/53.32	c 267198         958064         13226123       70145907       36             2346           15   33   24   
58.67/58.77	c 293992         1056156        14606076       77116968       36             2373           15   33   25   
64.87/64.94	c 323465         1163615        16145908       85095059       36             2381           13   33   25   
71.06/71.19	c 355885         1277544        17745779       93125559       36             2404           15   33   25   
78.36/78.40	c 391547         1405012        19562461       102339465      36             2429           13   33   25   
86.06/86.14	c 430775         1543210        21478631       112632423      36             2440           15   33   24   
94.85/94.98	c 473925         1694039        23639101       124592599      36             2457           13   33   23   
104.85/104.99	c 521390         1868042        26143309       137244081      36             2476           15   33   25   
114.94/115.08	c 573601         2050253        28694590       150507922      36             2489           13   33   24   
127.34/127.45	c 631033         2262289        31767235       166271352      36             2500           13   33   25   
140.33/140.45	c 694208         2490141        34990547       183111065      36             2520           13   33   24   
154.93/155.10	c 763700         2741802        38623648       201742917      36             2539           13   33   25   
170.72/170.88	c 840141         3012185        42579728       221709326      36             2557           13   33   25   
187.21/187.35	c 924226         3305714        46772005       242548675      36             2574           13   33   25   
206.41/206.59	c 1016719        3639144        51576986       266950521      36             2593           15   33   25   
227.40/227.56	c 1118461        4001279        56747335       294011295      36             2610           13   33   24   
251.29/251.44	c 1230377        4407116        62676726       324227652      36             2628           15   33   25   
277.48/277.67	c 1353484        4887787        69025062       360132417      36             2647           13   33   25   
305.87/306.02	c 1488901        5372176        75964920       396804990      36             2664           13   33   24   
337.45/337.62	c 1637859        5912285        83781207       437293029      36             2691           13   33   24   
369.94/370.17	c 1801712        6480379        91748010       482255026      36             2716           13   33   23   
408.52/408.72	c 1981950        7138951        101215434      532117965      36             2743           13   33   25   
453.31/453.58	c 2180211        7871568        112163503      588680623      36             2764           11   33   25   
497.79/498.09	c 2398298        8661307        123185552      646282834      36             2780           13   33   24   
544.27/544.58	c 2638193        9492061        134919400      707421177      36             2798           13   33   24   
600.95/601.26	c 2902077        10454997       148947378      779181557      36             2817           13   33   25   
658.82/659.19	c 3192349        11483423       163602606      853074410      36             2843           13   33   25   
725.70/726.01	c 3511648        12620500       179919074      941564696      36             2862           13   33   24   
800.17/800.53	c 3862876        13893082       198467735      1035712315     36             2887           13   33   25   
880.43/880.88	c 4249226        15252132       217967622      1145173588     36             2905           13   33   24   
969.60/970.09	c 4674211        16766753       239949914      1258813032     36             2922           13   33   24   
1068.27/1068.75	c 5141694        18442344       264125161      1388018227     36             2956           13   33   24   
1178.85/1179.38	c 5655925        20331517       291425146      1528937285     36             2983           11   33   25   
1301.81/1302.36	c 6221579        22383824       321604946      1683832500     36             3013           11   33   25   
1432.17/1432.76	c 6843798        24612891       353518261      1855425125     36             3032           11   33   24   
1577.13/1577.79	c 7528238        27046447       389059087      2043590134     36             3057           11   33   24   
1732.79/1733.48	c 8281122        29735467       428161984      2239895421     36             3096           13   33   25   
1905.24/1905.95	c 9109294        32783379       471266420      2456248485     36             3120           13   33   24   
2104.29/2105.01	c 10020283       36173456       520279075      2707381742     36             3147           13   33   25   
2318.53/2319.35	c 11022370       39784308       573033182      2979032435     36             3163           13   33   24

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

pid=5954
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.98 3/189 5957
/proc/meminfo: memFree=31421684/32770624 swapFree=6232/496224
[pid=5957] ppid=5954 vsize=26992 CPUtime=0 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 1020 0 0 0 0 0 0 0 20 0 1 0 16218015 27639808 832 33554432000 4194304 5970956 140727928641872 140727928638520 139909641863292 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 6748 832 741 434 0 112 0

[startup+0.100114 s]
/proc/loadavg: 2.00 2.02 1.98 3/189 5957
/proc/meminfo: memFree=31421684/32770624 swapFree=6232/496224
[pid=5957] ppid=5954 vsize=32336 CPUtime=0.09 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 1416 0 0 0 9 0 0 0 20 0 1 0 16218015 33112064 1217 33554432000 4194304 5970956 140727928641872 140727928639208 5098896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8084 1217 816 434 0 1448 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32336

[startup+0.200256 s]
/proc/loadavg: 2.00 2.02 1.98 3/189 5957
/proc/meminfo: memFree=31421684/32770624 swapFree=6232/496224
[pid=5957] ppid=5954 vsize=32336 CPUtime=0.19 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 1424 0 0 0 19 0 0 0 20 0 1 0 16218015 33112064 1217 33554432000 4194304 5970956 140727928641872 140727928639208 4970000 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8084 1217 816 434 0 1448 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32336

[startup+0.300204 s]
/proc/loadavg: 2.00 2.02 1.98 3/189 5957
/proc/meminfo: memFree=31421684/32770624 swapFree=6232/496224
[pid=5957] ppid=5954 vsize=32336 CPUtime=0.29 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 1430 0 0 0 29 0 0 0 20 0 1 0 16218015 33112064 1217 33554432000 4194304 5970956 140727928641872 140727928639208 5070768 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8084 1217 816 434 0 1448 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32336

[startup+0.700176 s]
/proc/loadavg: 2.00 2.02 1.98 3/189 5957
/proc/meminfo: memFree=31421684/32770624 swapFree=6232/496224
[pid=5957] ppid=5954 vsize=32336 CPUtime=0.69 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 1439 0 0 0 69 0 0 0 20 0 1 0 16218015 33112064 1729 33554432000 4194304 5970956 140727928641872 140727928639208 4964363 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8084 1729 816 434 0 1448 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32336

[startup+1.50017 s]
/proc/loadavg: 2.00 2.02 1.98 3/190 5958
/proc/meminfo: memFree=31417136/32770624 swapFree=6232/496244
[pid=5957] ppid=5954 vsize=32612 CPUtime=1.49 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 1470 0 0 0 149 0 0 0 20 0 1 0 16218015 33394688 1794 33554432000 4194304 5970956 140727928641872 140727928639208 4977363 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1794 834 434 0 1517 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32612

[startup+3.10017 s]
/proc/loadavg: 2.00 2.02 1.98 3/190 5958
/proc/meminfo: memFree=31416888/32770624 swapFree=6232/496244
[pid=5957] ppid=5954 vsize=32612 CPUtime=3.09 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 1793 0 0 0 309 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4961271 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32612

[startup+6.30017 s]
/proc/loadavg: 2.00 2.02 1.98 3/190 5958
/proc/meminfo: memFree=31416724/32770624 swapFree=6232/496244
[pid=5957] ppid=5954 vsize=32612 CPUtime=6.29 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 2116 0 0 0 629 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4974251 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32612

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 1.98 3/190 5958
/proc/meminfo: memFree=31416696/32770624 swapFree=6232/496260
[pid=5957] ppid=5954 vsize=32612 CPUtime=12.69 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 2439 0 0 0 1269 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4971752 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32612

[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 1.98 3/190 5958
/proc/meminfo: memFree=31417068/32770624 swapFree=6232/496276
[pid=5957] ppid=5954 vsize=32612 CPUtime=25.48 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 3082 0 0 0 2548 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4971856 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32612

[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 1.98 3/190 5958
/proc/meminfo: memFree=31417400/32770624 swapFree=6232/496308
[pid=5957] ppid=5954 vsize=32612 CPUtime=51.07 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 3421 0 0 0 5107 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4977799 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32612

[startup+102.3 s]
/proc/loadavg: 2.10 2.04 1.99 3/190 5959
/proc/meminfo: memFree=31417276/32770624 swapFree=6232/496380
[pid=5957] ppid=5954 vsize=32612 CPUtime=102.26 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 3755 0 0 0 10226 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 5327850 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32612

[startup+162.3 s]
/proc/loadavg: 2.04 2.04 1.99 3/191 5961
/proc/meminfo: memFree=31417936/32770624 swapFree=6232/496440
[pid=5957] ppid=5954 vsize=32612 CPUtime=162.22 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 4086 0 0 0 16222 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4970957 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 32612

[startup+222.306 s]
/proc/loadavg: 2.01 2.03 1.99 3/191 5962
/proc/meminfo: memFree=31417684/32770624 swapFree=6232/496496
[pid=5957] ppid=5954 vsize=32612 CPUtime=222.21 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 4419 0 0 0 22221 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4976747 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 32612

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/191 5963
/proc/meminfo: memFree=31417592/32770624 swapFree=6232/496536
[pid=5957] ppid=5954 vsize=32612 CPUtime=282.18 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 4753 0 0 0 28218 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4977831 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 32612

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/191 5964
/proc/meminfo: memFree=31417076/32770624 swapFree=6232/496576
[pid=5957] ppid=5954 vsize=32612 CPUtime=342.15 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 5086 0 0 0 34215 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 5069712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 32612

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 5965
/proc/meminfo: memFree=31417444/32770624 swapFree=6232/496612
[pid=5957] ppid=5954 vsize=32612 CPUtime=402.13 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 5416 0 0 0 40213 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4977912 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 32612

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/190 5966
/proc/meminfo: memFree=31417716/32770624 swapFree=6232/496644
[pid=5957] ppid=5954 vsize=32612 CPUtime=462.1 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 5743 0 0 0 46210 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4908985 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 32612

[startup+522.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/190 5974
/proc/meminfo: memFree=31415912/32770624 swapFree=6232/496696
[pid=5957] ppid=5954 vsize=32612 CPUtime=522.08 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 6078 0 0 0 52208 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4961363 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 32612

[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/190 5975
/proc/meminfo: memFree=31416232/32770624 swapFree=6232/496740
[pid=5957] ppid=5954 vsize=32612 CPUtime=582.05 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 6406 0 0 0 58205 0 0 0 20 0 1 0 16218015 33394688 1822 33554432000 4194304 5970956 140727928641872 140727928639208 4969916 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1822 834 434 0 1517 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 32612


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


[startup+1482.3 s]
/proc/loadavg: 2.14 2.07 2.04 3/191 6062
/proc/meminfo: memFree=31431200/32770624 swapFree=6232/497472
[pid=5957] ppid=5954 vsize=32612 CPUtime=1481.76 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 11157 0 0 0 148176 0 0 0 20 0 1 0 16218015 33394688 1823 33554432000 4194304 5970956 140727928641872 140727928639208 4978111 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1823 834 434 0 1517 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 32612

[startup+1542.31 s]
/proc/loadavg: 2.13 2.09 2.05 3/191 6063
/proc/meminfo: memFree=31431196/32770624 swapFree=6232/497512
[pid=5957] ppid=5954 vsize=32612 CPUtime=1541.75 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 11448 0 0 0 154175 0 0 0 20 0 1 0 16218015 33394688 1823 33554432000 4194304 5970956 140727928641872 140727928639208 4974266 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1823 834 434 0 1517 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 32612

[startup+1602.3 s]
/proc/loadavg: 2.13 2.10 2.05 3/190 6065
/proc/meminfo: memFree=31431348/32770624 swapFree=6232/497560
[pid=5957] ppid=5954 vsize=32612 CPUtime=1601.73 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 11781 0 0 0 160173 0 0 0 20 0 1 0 16218015 33394688 1823 33554432000 4194304 5970956 140727928641872 140727928639208 4970936 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1823 834 434 0 1517 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 32612

[startup+1662.3 s]
/proc/loadavg: 2.09 2.10 2.05 3/190 6066
/proc/meminfo: memFree=31431216/32770624 swapFree=6232/497604
[pid=5957] ppid=5954 vsize=32612 CPUtime=1661.71 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 12057 0 0 0 166171 0 0 0 20 0 1 0 16218015 33394688 1823 33554432000 4194304 5970956 140727928641872 140727928639208 4977807 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1823 834 434 0 1517 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 32612

[startup+1722.3 s]
/proc/loadavg: 2.03 2.08 2.05 3/190 6074
/proc/meminfo: memFree=31430180/32770624 swapFree=6232/497648
[pid=5957] ppid=5954 vsize=32612 CPUtime=1721.69 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 12352 0 0 0 172169 0 0 0 20 0 1 0 16218015 33394688 1823 33554432000 4194304 5970956 140727928641872 140727928639208 5052062 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1823 834 434 0 1517 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 32612

[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.05 3/191 6076
/proc/meminfo: memFree=31430452/32770624 swapFree=6232/497696
[pid=5957] ppid=5954 vsize=32612 CPUtime=1781.68 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 12694 0 0 0 178168 0 0 0 20 0 1 0 16218015 33394688 1823 33554432000 4194304 5970956 140727928641872 140727928639208 4978199 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1823 834 434 0 1517 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 32612

[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/191 6077
/proc/meminfo: memFree=31430816/32770624 swapFree=6232/497732
[pid=5957] ppid=5954 vsize=32612 CPUtime=1841.66 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 13000 0 0 0 184166 0 0 0 20 0 1 0 16218015 33394688 1823 33554432000 4194304 5970956 140727928641872 140727928639208 5098896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1823 834 434 0 1517 0
Current children cumulated CPU time (s) 1841.66
Current children cumulated vsize (KiB) 32612

[startup+1902.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/191 6078
/proc/meminfo: memFree=31430752/32770624 swapFree=6232/497764
[pid=5957] ppid=5954 vsize=32612 CPUtime=1901.65 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 13304 0 0 0 190165 0 0 0 20 0 1 0 16218015 33394688 1823 33554432000 4194304 5970956 140727928641872 140727928639208 4970476 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1823 834 434 0 1517 0
Current children cumulated CPU time (s) 1901.65
Current children cumulated vsize (KiB) 32612

[startup+1962.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/191 6079
/proc/meminfo: memFree=31431176/32770624 swapFree=6232/497796
[pid=5957] ppid=5954 vsize=32612 CPUtime=1961.63 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 13622 0 0 0 196163 0 0 0 20 0 1 0 16218015 33394688 1826 33554432000 4194304 5970956 140727928641872 140727928639208 4974316 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1826 834 434 0 1517 0
Current children cumulated CPU time (s) 1961.63
Current children cumulated vsize (KiB) 32612

[startup+2022.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/191 6080
/proc/meminfo: memFree=31430912/32770624 swapFree=6232/497828
[pid=5957] ppid=5954 vsize=32612 CPUtime=2021.61 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 13911 0 0 0 202161 0 0 0 20 0 1 0 16218015 33394688 1826 33554432000 4194304 5970956 140727928641872 140727928639208 5323002 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1826 834 434 0 1517 0
Current children cumulated CPU time (s) 2021.61
Current children cumulated vsize (KiB) 32612

[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/190 6081
/proc/meminfo: memFree=31430880/32770624 swapFree=6232/497860
[pid=5957] ppid=5954 vsize=32612 CPUtime=2081.6 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 14198 0 0 0 208160 0 0 0 20 0 1 0 16218015 33394688 1826 33554432000 4194304 5970956 140727928641872 140727928639208 4977609 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1826 834 434 0 1517 0
Current children cumulated CPU time (s) 2081.6
Current children cumulated vsize (KiB) 32612

[startup+2142.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/190 6082
/proc/meminfo: memFree=31430904/32770624 swapFree=6232/497896
[pid=5957] ppid=5954 vsize=32612 CPUtime=2141.58 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 14552 0 0 0 214158 0 0 0 20 0 1 0 16218015 33394688 1826 33554432000 4194304 5970956 140727928641872 140727928639208 5243382 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1826 834 434 0 1517 0
Current children cumulated CPU time (s) 2141.58
Current children cumulated vsize (KiB) 32612

[startup+2202.31 s]
/proc/loadavg: 2.06 2.05 2.05 3/190 6083
/proc/meminfo: memFree=31430768/32770624 swapFree=6232/497928
[pid=5957] ppid=5954 vsize=32612 CPUtime=2201.57 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 14849 0 0 0 220157 0 0 0 20 0 1 0 16218015 33394688 1826 33554432000 4194304 5970956 140727928641872 140727928639208 5272473 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1826 834 434 0 1517 0
Current children cumulated CPU time (s) 2201.57
Current children cumulated vsize (KiB) 32612

[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/190 6084
/proc/meminfo: memFree=31431124/32770624 swapFree=6232/497960
[pid=5957] ppid=5954 vsize=32612 CPUtime=2261.55 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 15135 0 0 0 226155 0 0 0 20 0 1 0 16218015 33394688 1826 33554432000 4194304 5970956 140727928641872 140727928639208 4970473 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1826 834 434 0 1517 0
Current children cumulated CPU time (s) 2261.55
Current children cumulated vsize (KiB) 32612

[startup+2322.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 6093
/proc/meminfo: memFree=31429460/32770624 swapFree=6232/498000
[pid=5957] ppid=5954 vsize=32612 CPUtime=2321.53 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 15476 0 0 0 232153 0 0 0 20 0 1 0 16218015 33394688 1826 33554432000 4194304 5970956 140727928641872 140727928639208 4964846 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1826 834 434 0 1517 0
Current children cumulated CPU time (s) 2321.53
Current children cumulated vsize (KiB) 32612

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 6094
/proc/meminfo: memFree=31430220/32770624 swapFree=6232/498036
[pid=5957] ppid=5954 vsize=32612 CPUtime=2381.52 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 15764 0 0 0 238152 0 0 0 20 0 1 0 16218015 33394688 1826 33554432000 4194304 5970956 140727928641872 140727928639208 4976743 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1826 834 434 0 1517 0
Current children cumulated CPU time (s) 2381.52
Current children cumulated vsize (KiB) 32612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 6094
/proc/meminfo: memFree=31430528/32770624 swapFree=6232/498048
[pid=5957] ppid=5954 vsize=32612 CPUtime=2400.01 cores=0,2,4,6
/proc/5957/stat : 5957 (cosoco) R 5954 5957 4195 0 -1 4202496 16027 0 0 0 240001 0 0 0 20 0 1 0 16218015 33394688 1826 33554432000 4194304 5970956 140727928641872 140727928639208 5321971 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 36397056 140727928648892 140727928649027 140727928649027 140727928651726 0
/proc/5957/statm: 8153 1826 834 434 0 1517 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 32612

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

Child status: 1
Real time (s): 2400.8
CPU time (s): 2400.02
CPU user time (s): 2400.02
CPU system time (s): 0.004998
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 32612

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12717 second user time and 6.68914 second system time

The end

Launcher Data 

Begin job on node134 at 2017-07-21 11:01:19
IDJOB=4240866
IDBENCH=124327
IDSOLVER=2621
FILE ID=node134/4240866-1500627679
RUNJOBID= node134-1500623778-4226
PBS_JOBID= 20622999
Free space on /tmp= 62012 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Langford/Langford-m1-k2/Langford-2-18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240866-1500627679/watcher-4240866-1500627679 -o /tmp/evaluation-result-4240866-1500627679/solver-4240866-1500627679 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500623778-4226 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240866-1500627679.xml

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

MD5SUM BENCH= 969713c535595664febe0b3c6e709240
RANDOM SEED=2132702024

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31422176 kB
MemAvailable:   31988868 kB
Buffers:          158480 kB
Cached:           687848 kB
SwapCached:            0 kB
Active:           419052 kB
Inactive:         505032 kB
Active(anon):      80768 kB
Inactive(anon):     8808 kB
Active(file):     338284 kB
Inactive(file):   496224 kB
Unevictable:        6232 kB
Mlocked:            6232 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2488 kB
Writeback:             0 kB
AnonPages:         84576 kB
Mapped:            34540 kB
Shmem:              8872 kB
Slab:             121476 kB
SReclaimable:      96040 kB
SUnreclaim:        25436 kB
KernelStack:        3408 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62008 MiB
End job on node134 at 2017-07-21 11:41:20