Trace number 4240101

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.1 2400.31

General information on the benchmark

NameCostasArray/CostasArray-m1-s1/
CostasArray-18.xml
MD5SUM58ffb186ab2da5aa1e0c819e3b555e2f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark28.2353
Satisfiable
(Un)Satisfiability was proved
Number of variables168
Number of constraints167
Number of domains2
Minimum domain size18
Maximum domain size34
Distribution of domain sizes[{"size":18,"count":18},{"size":34,"count":150}]
Minimum variable degree2
Maximum variable degree18
Distribution of variable degrees[{"degree":2,"count":150},{"degree":17,"count":2},{"degree":18,"count":16}]
Minimum constraint arity3
Maximum constraint arity18
Distribution of constraint arities[{"arity":3,"count":151},{"arity":4,"count":2},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1}]
Number of extensional constraints0
Number of intensional constraints151
Distribution of constraint types[{"type":"intension","count":151},{"type":"allDifferent","count":16}]
Optimization problemNO
Type of objective

Solver Data 

0.19/0.26	c SAT : Variables: 5424 -- Clauses: 87072
0.19/0.26	c root propagations     : 0           
0.19/0.26	c restarts enabled, print stats at every restarts
0.19/0.26	c
0.19/0.26	c
0.19/0.26	c
0.19/0.26	c This is cosoco 1.0 --  
0.19/0.26	c
0.19/0.26	c ========================================[ Problem Statistics ]===========================================
0.19/0.26	c |                                                                                                       
0.19/0.26	c |  Parse time        :         0.25 s 
0.19/0.26	c |
0.19/0.26	c |               Variables: 168
0.19/0.26	c |            Domain Sizes: 18..34
0.19/0.26	c |
0.19/0.26	c |             Constraints: 167
0.19/0.26	c |                   Arity: 3..18  -- Ternary: 151
0.19/0.26	c | 
0.19/0.26	c |                   Types: 
0.19/0.26	c |                          All Different: 16
0.19/0.26	c |                          Intension: 151
0.19/0.26	c |                          
0.19/0.26	c =========================================================================================================
0.19/0.26	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.29/0.30	c 10             140            7705           14639          0              8              34   64   45   
0.29/0.35	c 20             254            15245          27055          0              11             46   64   50   
0.29/0.39	c 30             358            20330          36391          0              15             46   66   52   
0.39/0.43	c 40             463            28224          49872          0              18             46   61   47   
0.39/0.48	c 50             554            33648          59108          0              26             42   52   45   
0.49/0.52	c 60             636            39553          71298          0              32             35   45   38   
0.49/0.56	c 70             729            46989          83987          0              36             43   50   43   
0.59/0.60	c 80             814            53055          95013          0              43             35   50   38   
0.59/0.64	c 90             919            58597          105735         0              45             37   62   45   
0.59/0.68	c 100            1018           65157          118262         0              53             39   63   44   
0.69/0.70	c 101            1054           67333          122734         0              54             36   36   18   
0.69/0.75	c 110            1151           75523          138931         0              61             37   56   41   
0.69/0.79	c 120            1253           82254          151690         0              63             38   56   39   
0.79/0.83	c 130            1353           89016          164130         0              65             39   56   42   
0.79/0.88	c 140            1451           94957          176130         0              69             46   62   46   
0.89/0.92	c 150            1534           102582         190538         0              74             41   47   39   
0.89/0.97	c 160            1627           109981         205727         0              75             37   54   41   
0.99/1.01	c 170            1708           116885         219684         0              80             36   55   40   
0.99/1.06	c 180            1797           125089         235285         0              81             39   54   41   
1.09/1.10	c 190            1923           134256         251816         0              83             42   61   46   
1.09/1.14	c 200            2016           141050         264463         0              87             36   60   43   
1.09/1.18	c 210            2121           147874         277005         0              91             34   51   38   
1.19/1.21	c 211            2170           150476         282015         0              92             49   49   24   
1.19/1.26	c 220            2279           157791         294004         0              95             36   61   41   
1.29/1.31	c 230            2374           167156         309995         0              101            32   46   34   
1.29/1.35	c 240            2445           173187         321019         0              105            40   52   39   
1.29/1.39	c 250            2562           181530         335694         0              111            33   57   40   
1.39/1.43	c 260            2635           188109         347358         0              113            39   48   39   
1.39/1.47	c 270            2755           195008         361602         0              119            40   54   45   
1.49/1.51	c 280            2839           200305         372829         0              121            43   54   45   
1.49/1.55	c 290            2930           207455         385489         0              125            37   53   43   
1.49/1.58	c 300            3011           212605         394906         0              133            39   57   45   
1.59/1.62	c 310            3106           219697         408037         0              138            37   52   42   
1.59/1.66	c 320            3200           225723         420581         0              140            37   53   40   
1.69/1.70	c 330            3285           232189         432593         0              143            37   54   43   
1.69/1.73	c 332            3333           234747         437316         0              145            42   47   29   
1.69/1.77	c 340            3409           240231         448369         0              150            37   49   38   
1.79/1.81	c 350            3515           246763         461247         0              152            44   60   46   
1.79/1.84	c 360            3581           251622         471054         0              156            46   56   47   
1.79/1.88	c 370            3671           259078         484555         0              163            42   49   40   
1.89/1.93	c 380            3756           265981         498243         0              166            32   48   38   
1.89/1.97	c 390            3835           274593         514681         0              169            37   45   38   
1.99/2.01	c 400            3916           280625         526315         0              174            37   50   42   
1.99/2.05	c 410            4009           287266         538663         0              178            36   48   39   
1.99/2.09	c 420            4091           293932         551410         0              183            37   49   40   
2.09/2.14	c 430            4175           301113         565188         0              187            34   53   37   
2.09/2.19	c 440            4286           310040         581807         0              190            37   54   41   
2.19/2.23	c 450            4355           316288         594044         0              192            37   47   36   
2.19/2.27	c 460            4437           322632         605945         0              194            34   53   36   
2.29/2.30	c 465            4505           327537         615868         0              197            40   47   36   
2.29/2.33	c 470            4563           331045         623009         0              202            37   54   36   
2.29/2.38	c 480            4645           338637         638721         0              208            37   48   38   
2.39/2.43	c 490            4743           346729         653163         0              210            37   55   41   
2.39/2.49	c 500            4862           355701         669893         0              214            29   45   33   
2.49/2.53	c 510            4938           362854         684167         0              220            36   46   38   
2.49/2.57	c 520            5050           370932         697431         0              225            35   47   38   
2.59/2.62	c 530            5155           379419         713477         0              231            33   49   38   
2.59/2.66	c 540            5245           385984         726510         0              236            36   61   39   
2.69/2.70	c 550            5332           392752         738431         0              238            41   53   41   
2.69/2.74	c 560            5396           396876         748095         0              248            45   54   45   
2.69/2.78	c 570            5481           404576         762703         0              252            31   51   36   
2.79/2.83	c 580            5580           411275         774478         0              255            46   57   46   
2.79/2.87	c 590            5647           416788         786859         0              261            31   47   32   
2.89/2.90	c 600            5771           423683         799280         0              264            45   61   46   
2.89/2.94	c 610            5850           429868         812273         0              268            41   49   41   
2.89/2.97	c 611            5881           432374         817056         0              269            31   31   15   
2.99/3.01	c 620            6008           439587         830555         0              272            34   53   38   
2.99/3.05	c 630            6069           445136         842212         0              280            35   43   36   
3.09/3.10	c 640            6141           453645         857747         0              284            34   46   37   
3.09/3.14	c 650            6237           460579         870317         0              289            31   50   36   
3.09/3.18	c 660            6325           468566         885637         0              294            31   49   37   
3.19/3.23	c 670            6435           475858         899160         0              299            37   59   46   
3.19/3.27	c 680            6516           482855         911361         0              304            37   58   41   
3.29/3.31	c 690            6593           489310         923846         0              309            30   54   38   
3.29/3.35	c 700            6692           496563         936856         0              314            42   59   43   
3.29/3.39	c 710            6765           503346         948045         0              318            35   47   36   
3.49/3.50	c 720            6828           510637         962174         0              325            36   43   35   
3.49/3.50	c 730            6926           518078         976765         0              328            42   54   43   
3.49/3.52	c 740            7001           523832         987560         0              330            31   40   34   
3.49/3.55	c 750            7071           528972         998484         0              336            43   54   43   
3.59/3.60	c 760            7177           536666         1013187        0              339            42   54   44   
3.59/3.64	c 770            7288           544229         1027138        0              343            36   60   42   
3.59/3.67	c 771            7328           546497         1031736        0              344            40   40   20   
3.69/3.70	c 780            7413           553207         1045018        0              347            37   59   43   
3.69/3.75	c 790            7513           560584         1058931        0              351            37   59   44   
3.79/3.80	c 800            7618           567557         1072528        0              355            30   45   33   
3.79/3.83	c 810            7702           574059         1084827        0              362            35   49   37   
3.79/3.88	c 820            7780           580694         1096385        0              364            41   50   42   
3.89/3.91	c 830            7855           587426         1107807        0              368            31   43   33   
3.89/3.96	c 840            7930           594431         1120458        0              374            30   43   34   
3.99/4.00	c 850            8013           601395         1133889        0              378            34   49   35   
3.99/4.04	c 860            8089           608067         1147603        0              383            33   50   37   
3.99/4.09	c 870            8173           616713         1164312        0              388            34   43   35   
4.09/4.13	c 880            8264           623615         1176572        0              390            41   53   43   
4.09/4.17	c 890            8358           630837         1190344        0              395            37   58   41   
4.19/4.22	c 900            8457           637990         1204530        0              398            43   60   45   
4.19/4.25	c 910            8545           644325         1216019        0              399            42   59   46   
4.19/4.29	c 920            8630           650791         1227841        0              401            45   51   43   
4.29/4.33	c 930            8727           658150         1241827        0              405            43   58   43   
4.29/4.38	c 940            8830           666320         1258119        0              410            40   52   42   
4.39/4.41	c 947            8912           672482         1269926        0              415            28   53   38   
4.39/4.44	c 950            8963           675587         1275764        0              418            43   49   33   
4.39/4.48	c 960            9064           682832         1288673        0              421            28   56   41   
4.49/4.53	c 970            9157           691056         1303728        0              425            34   65   42   
4.49/4.57	c 980            9289           698697         1318503        0              426            44   55   46   
4.58/4.61	c 990            9385           706395         1332334        0              432            32   46   35   
4.58/4.65	c 1000           9452           712391         1344434        0              438            29   48   35   
4.58/4.69	c 1010           9514           719344         1357661        0              442            30   35   29   
4.68/4.73	c 1020           9591           725448         1370660        0              446            41   48   40   
4.68/4.78	c 1030           9668           733828         1385788        0              452            33   46   35   
4.78/4.81	c 1040           9743           738690         1396337        0              456            39   51   41   
4.78/4.85	c 1050           9839           745634         1409118        0              458            34   57   37   
4.88/4.90	c 1060           9929           752586         1422181        0              465            39   56   40   
4.88/4.94	c 1070           10025          760403         1436133        0              469            42   47   40   
4.88/4.98	c 1080           10135          768784         1451198        0              472            43   58   45   
4.98/5.02	c 1090           10206          774943         1462778        0              475            32   48   38   
4.98/5.07	c 1100           10306          784022         1479381        0              481            44   51   43   
5.08/5.11	c 1110           10420          791119         1492353        0              483            44   52   42   
5.08/5.15	c 1120           10480          797778         1505266        0              489            37   51   38   
5.08/5.19	c 1130           10551          803025         1516313        0              493            35   48   37   
5.18/5.23	c 1140           10627          810015         1530328        0              499            31   42   33   
5.18/5.26	c 1141           10666          812485         1535311        0              500            39   39   19   
5.28/5.30	c 1150           10749          818299         1547007        0              503            35   54   37   
5.28/5.34	c 1160           10861          825610         1560696        0              506            33   53   40   
5.28/5.38	c 1170           10952          833384         1574561        0              510            37   56   42   
5.38/5.42	c 1180           11024          839676         1586801        0              520            41   50   39   
5.38/5.46	c 1190           11115          846641         1599796        0              525            47   59   47   
5.49/5.51	c 1200           11212          854303         1614424        0              528            36   47   37   
5.49/5.55	c 1210           11309          860419         1625901        0              532            29   54   46   
5.49/5.59	c 1220           11409          866997         1638038        0              534            34   58   43   
5.59/5.64	c 1230           11528          875156         1653588        0              539            40   53   43   
5.59/5.68	c 1240           11630          882427         1666739        0              543            40   61   44   
5.68/5.72	c 1250           11715          889272         1679841        0              548            44   52   42   
5.68/5.76	c 1260           11820          897510         1694969        0              549            42   59   44   
5.78/5.80	c 1270           11922          904276         1708275        0              553            42   58   45   
5.78/5.85	c 1280           12018          912205         1723784        0              556            29   50   32   
5.78/5.89	c 1290           12126          918868         1735796        0              561            35   61   41   
5.88/5.93	c 1300           12215          925540         1747283        0              566            43   55   43   
5.88/5.97	c 1310           12305          931926         1759093        0              568            45   53   44   
5.98/6.01	c 1320           12382          937864         1770398        0              572            33   46   37   
5.98/6.06	c 1330           12461          945576         1785550        0              576            31   44   31   
5.98/6.09	c 1340           12540          950570         1794990        0              578            35   52   36   
6.08/6.13	c 1350           12632          957081         1807473        0              582            37   61   46   
6.08/6.16	c 1352           12686          959809         1812663        0              584            53   53   35   
6.18/6.20	c 1360           12790          967902         1826589        0              588            42   62   45   
6.18/6.24	c 1370           12925          975676         1840141        0              593            48   63   48   
6.18/6.29	c 1380           13019          985062         1855525        0              596            32   58   42   
6.28/6.33	c 1390           13090          992242         1869704        0              599            26   47   29   
6.28/6.38	c 1400           13227          1000255        1883226        0              604            44   60   47   
6.38/6.42	c 1410           13325          1006834        1894871        0              610            37   60   43   
6.38/6.46	c 1420           13403          1013764        1908133        0              614            37   50   41   
6.48/6.50	c 1430           13492          1020460        1920527        0              618            31   53   41   
6.48/6.53	c 1440           13572          1026443        1932494        0              624            28   46   36   
6.48/6.57	c 1450           13664          1032778        1944839        0              628            41   54   42   
6.59/6.62	c 1460           13772          1039833        1957551        0              635            39   54   42   
6.59/6.66	c 1470           13852          1046808        1972426        0              640            37   50   40   
6.69/6.70	c 1480           13969          1053929        1986309        0              644            53   61   52   
6.69/6.75	c 1490           14062          1060760        1998720        0              649            37   52   39   
6.69/6.79	c 1500           14154          1067356        2010609        0              651            45   57   46   
6.78/6.83	c 1510           14243          1076040        2025223        0              656            40   49   40   
6.78/6.88	c 1520           14378          1083490        2039639        0              661            37   53   40   
6.88/6.93	c 1530           14479          1092152        2054083        0              667            36   54   39   
6.88/6.98	c 1540           14630          1100968        2069601        0              670            34   61   43   
6.98/7.02	c 1550           14782          1109846        2084563        0              674            32   62   40   
6.98/7.06	c 1560           14869          1117849        2098943        0              679            40   50   40   
7.08/7.11	c 1570           14983          1125502        2112360        0              687            37   53   39   
7.08/7.16	c 1580           15112          1135322        2129950        0              691            39   55   41   
7.08/7.19	c 1585           15169          1140077        2138162        0              692            37   47   35   
7.18/7.23	c 1590           15253          1145801        2149020        0              696            37   53   39   
7.18/7.28	c 1600           15357          1153212        2162978        0              701            37   61   42   
7.28/7.32	c 1610           15458          1159871        2176811        0              708            36   60   40   
7.28/7.36	c 1620           15540          1166375        2189273        0              713            36   51   41   
7.38/7.40	c 1630           15674          1174270        2201901        0              716            36   61   41   
7.38/7.44	c 1640           15771          1180326        2212721        0              721            42   61   44   
7.38/7.49	c 1650           15867          1187978        2226164        0              724            42   52   43   
7.48/7.53	c 1660           15948          1194391        2239764        0              725            37   52   40   
7.48/7.57	c 1670           16042          1200350        2250181        0              730            43   54   44   
7.58/7.60	c 1680           16133          1206411        2261023        0              735            37   61   44   
7.58/7.65	c 1690           16256          1213931        2273911        0              740            26   53   35   
7.58/7.68	c 1700           16341          1220698        2286017        0              742            35   51   36   
7.70/7.73	c 1710           16428          1228460        2299786        0              748            33   52   38   
7.70/7.78	c 1720           16547          1235664        2313482        0              752            45   61   47   
7.80/7.82	c 1730           16636          1243834        2327145        0              755            45   53   44   
7.80/7.86	c 1740           16723          1251233        2340421        0              758            40   57   43   
7.89/7.91	c 1750           16836          1258689        2354718        0              764            32   53   37   
7.89/7.95	c 1760           16922          1264814        2367025        0              770            37   56   43   
7.89/7.99	c 1770           17026          1272032        2380232        0              776            37   61   45   
7.99/8.03	c 1780           17139          1279914        2394459        0              780            43   62   47   
7.99/8.07	c 1790           17234          1288003        2409156        0              785            41   52   42   
8.09/8.11	c 1800           17341          1294390        2420357        0              791            44   61   45   
8.09/8.16	c 1810           17454          1302168        2433855        0              799            34   53   37   
8.19/8.20	c 1820           17553          1309841        2448311        0              803            40   53   44   
8.19/8.24	c 1830           17666          1317376        2462734        0              807            34   55   39   
8.19/8.29	c 1840           17769          1325241        2476649        0              810            38   58   42   
8.29/8.31	c 1841           17806          1327770        2481534        0              811            37   37   18   
8.29/8.36	c 1850           17909          1334323        2493651        0              814            34   53   38   
8.39/8.40	c 1860           17998          1341248        2506810        0              815            32   57   42   
8.39/8.44	c 1870           18070          1348707        2521334        0              820            33   43   33   
8.39/8.48	c 1880           18157          1355670        2533884        0              823            35   54   40   
8.49/8.53	c 1890           18240          1362604        2547412        0              828            22   53   39   
8.49/8.57	c 1900           18344          1370226        2559989        0              830            44   61   46   
8.59/8.61	c 1910           18441          1377233        2573102        0              836            32   52   37   
8.59/8.64	c 1920           18548          1383797        2584649        0              839            53   57   50   
8.59/8.69	c 1930           18656          1390702        2597769        0              845            42   55   43   
8.69/8.73	c 1940           18746          1397055        2609741        0              848            31   59   46   
8.69/8.77	c 1950           18849          1403842        2621832        0              850            43   61   45   
8.80/8.81	c 1960           18944          1410657        2635070        0              853            37   60   47   
8.80/8.85	c 1970           19020          1417652        2648537        0              856            34   46   37   
8.80/8.89	c 1980           19139          1424140        2660112        0              858            52   61   50   
8.90/8.92	c 1990           19234          1431602        2672256        0              859            35   58   44   
8.90/8.97	c 2000           19317          1437641        2684311        0              862            34   52   39   
8.99/9.01	c 2010           19431          1445022        2698634        0              868            32   53   37   
8.99/9.05	c 2020           19527          1451242        2709138        0              873            45   61   44   
8.99/9.09	c 2030           19622          1457977        2721421        0              876            40   61   46   
9.09/9.13	c 2040           19731          1464641        2733345        0              880            40   63   46   
9.09/9.17	c 2050           19827          1471427        2745582        0              883            46   58   47   
9.19/9.21	c 2060           19912          1478488        2758334        0              885            32   53   38   
9.19/9.26	c 2070           20013          1485751        2771369        0              887            46   57   46   
9.29/9.30	c 2080           20112          1492236        2782713        0              888            36   50   41   
9.29/9.34	c 2090           20196          1499144        2795200        0              891            35   52   40   
9.29/9.38	c 2100           20278          1505914        2808223        0              896            22   53   39   
9.39/9.43	c 2110           20379          1514659        2823694        0              898            46   62   46   
9.39/9.46	c 2120           20474          1520653        2833896        0              905            37   53   41   
9.39/9.49	c 2122           20508          1523109        2838660        0              907            33   33   22   
9.49/9.53	c 2130           20589          1529231        2849182        0              910            40   53   39   
9.49/9.57	c 2140           20676          1538223        2864726        0              914            40   55   42   
9.59/9.61	c 2150           20784          1544742        2876065        0              919            41   61   45   
9.59/9.66	c 2160           20934          1553661        2891704        0              922            31   63   44   
9.59/9.69	c 2170           21013          1559026        2902937        0              929            31   57   36   
9.69/9.74	c 2180           21124          1567863        2917965        0              933            27   55   38   
9.69/9.78	c 2190           21229          1575117        2931187        0              937            37   61   44   
9.79/9.81	c 2200           21319          1580492        2940417        0              939            45   53   45   
9.79/9.85	c 2210           21465          1589319        2955770        0              942            28   62   40   
9.79/9.89	c 2220           21542          1594279        2966160        0              947            29   58   46   
9.90/9.93	c 2230           21627          1600818        2978956        0              952            36   53   39   
9.90/9.97	c 2240           21720          1607676        2992241        0              955            37   60   47   
10.00/10.01	c 2250           21827          1616912        3007725        0              960            39   54   43   
10.00/10.05	c 2260           21927          1623173        3018838        0              964            39   61   44   
10.00/10.09	c 2270           22046          1630706        3032268        0              966            41   53   45   
10.09/10.14	c 2280           22134          1639826        3048659        0              968            39   44   36   
10.09/10.18	c 2290           22229          1646742        3062827        0              972            36   55   43   
10.19/10.22	c 2300           22317          1653982        3076740        0              975            39   50   41   
10.19/10.26	c 2310           22395          1660606        3089400        0              978            29   53   41   
10.29/10.31	c 2320           22484          1668372        3104253        0              984            34   45   38   
10.29/10.35	c 2330           22585          1674424        3115622        0              987            34   53   37   
10.29/10.39	c 2340           22675          1680606        3127005        0              992            37   55   45   
10.39/10.43	c 2350           22773          1688244        3141313        0              996            35   51   37   
10.39/10.47	c 2360           22869          1694608        3151821        0              1002           34   54   44   
10.49/10.51	c 2370           22966          1701528        3164569        0              1006           46   57   46   
10.49/10.55	c 2380           23057          1708849        3178864        0              1011           36   46   37   
10.59/10.60	c 2390           23174          1718493        3195656        0              1018           37   69   40   
10.59/10.64	c 2400           23262          1725740        3210285        0              1023           33   53   37   
10.59/10.68	c 2410           23347          1732465        3222023        0              1026           29   47   34   
10.69/10.72	c 2420           23427          1738528        3233630        0              1028           42   54   43   
10.69/10.76	c 2430           23540          1746048        3246649        0              1033           37   48   38   
10.69/10.78	c 2431           23595          1749718        3253358        0              1034           55   55   27   
10.79/10.82	c 2440           23674          1755728        3265047        0              1037           43   47   40   
10.79/10.87	c 2450           23768          1764021        3280083        0              1044           29   61   41   
10.89/10.91	c 2460           23844          1770158        3292275        0              1050           37   50   39   
10.89/10.94	c 2470           23924          1775720        3303883        0              1054           40   53   41   
10.89/10.98	c 2480           24011          1782804        3317014        0              1056           32   47   34   
11.00/11.03	c 2490           24105          1789569        3329389        0              1060           39   55   43   
11.00/11.07	c 2500           24183          1796348        3341564        0              1066           36   51   40   
11.10/11.11	c 2510           24261          1804329        3356833        0              1071           37   42   34   
11.10/11.16	c 2520           24375          1813949        3374626        0              1076           34   60   41   
11.19/11.20	c 2530           24463          1820770        3388283        0              1077           43   61   43   
11.19/11.24	c 2540           24535          1827897        3401168        0              1080           39   48   39   
11.19/11.28	c 2550           24623          1834257        3412370        0              1084           30   47   38   
11.29/11.32	c 2560           24725          1842510        3426788        0              1087           31   58   41   
11.29/11.37	c 2570           24817          1850827        3441581        0              1092           29   41   34   
11.39/11.42	c 2580           24933          1859514        3455960        0              1097           37   48   39   
11.39/11.46	c 2590           25042          1866081        3468370        0              1101           32   58   44   
11.49/11.50	c 2600           25111          1873108        3482368        0              1106           36   45   37   
11.49/11.54	c 2610           25222          1880551        3495666        0              1110           43   53   45   
11.49/11.58	c 2620           25316          1886514        3507484        0              1112           38   64   47   
11.59/11.63	c 2630           25439          1894935        3521483        0              1116           40   55   46   
11.59/11.67	c 2640           25543          1902283        3535853        0              1120           40   54   45   
11.69/11.71	c 2650           25618          1909240        3549332        0              1123           33   46   37   
11.69/11.75	c 2660           25716          1916145        3561992        0              1129           29   61   44   
11.79/11.80	c 2670           25824          1925189        3579026        0              1132           37   61   43   
11.79/11.83	c 2680           25914          1930520        3589746        0              1136           36   57   41   
11.79/11.87	c 2690           26005          1937546        3602293        0              1142           42   59   46   
11.89/11.92	c 2700           26112          1944191        3614293        0              1146           45   55   46   
11.89/11.96	c 2710           26225          1953046        3630581        0              1151           37   62   45   
11.99/12.00	c 2720           26314          1959425        3642351        0              1158           33   51   38   
11.99/12.04	c 2730           26392          1965400        3655060        0              1163           37   56   40   
11.99/12.09	c 2740           26506          1973241        3668097        0              1170           37   63   47   
12.10/12.13	c 2750           26609          1978928        3678669        0              1175           35   52   41   
12.10/12.16	c 2760           26665          1984083        3688394        0              1176           37   46   37   
12.20/12.21	c 2770           26784          1992378        3704566        0              1180           26   43   30   
12.20/12.24	c 2771           26818          1994590        3708919        0              1181           34   34   17   
12.20/12.28	c 2780           26889          1999670        3717914        0              1185           33   49   40   
12.29/12.32	c 2790           27024          2008066        3731745        0              1189           37   62   44   
12.29/12.36	c 2800           27110          2015015        3744798        0              1195           44   56   44   
12.39/12.41	c 2810           27203          2023732        3759337        0              1200           39   49   41   
12.39/12.46	c 2820           27332          2032976        3776844        0              1205           37   51   41   
12.49/12.50	c 2830           27459          2040696        3791316        0              1209           33   52   39   
12.49/12.54	c 2840           27554          2047323        3803410        0              1212           39   61   43   
12.49/12.59	c 2850           27658          2055564        3818627        0              1216           33   50   39   
12.59/12.63	c 2860           27782          2063920        3833903        0              1218           41   61   47   
12.59/12.68	c 2870           27883          2071683        3849340        0              1221           36   58   40   
12.69/12.72	c 2880           27964          2077655        3859640        0              1225           43   53   44   
12.69/12.75	c 2890           28043          2083034        3871010        0              1227           43   52   44   
12.69/12.79	c 2900           28121          2090265        3884034        0              1231           34   47   37   
12.79/12.83	c 2910           28203          2096598        3896224        0              1237           37   57   43   
12.79/12.87	c 2920           28287          2102086        3906940        0              1240           43   54   43   
12.89/12.91	c 2930           28372          2108572        3918736        0              1242           42   50   43   
12.89/12.96	c 2940           28488          2117234        3935351        0              1247           33   58   42   
12.99/13.00	c 2950           28589          2125437        3949572        0              1250           30   49   38   
12.99/13.05	c 2960           28696          2134374        3965591        0              1253           35   58   40   
12.99/13.09	c 2970           28793          2141106        3978709        0              1261           37   56   41   
13.09/13.13	c 2980           28899          2149041        3991683        0              1264           38   57   43   
13.09/13.17	c 2990           28984          2155890        4004172        0              1266           39   55   45   
13.20/13.22	c 3000           29102          2163038        4017652        0              1268           38   53   45   
13.20/13.26	c 3010           29207          2170532        4031147        0              1272           36   58   43   
13.30/13.31	c 3020           29317          2179148        4046557        0              1278           41   58   43   
13.30/13.35	c 3030           29422          2187151        4061251        0              1281           38   58   42   
13.30/13.39	c 3040           29504          2193388        4072792        0              1282           43   55   46   
13.39/13.42	c 3050           29580          2198425        4082023        0              1284           43   51   42   
13.39/13.47	c 3060           29642          2205752        4096392        0              1290           37   43   36   
13.49/13.52	c 3070           29734          2213853        4111397        0              1296           37   55   41   
13.49/13.57	c 3080           29840          2221315        4125739        0              1302           30   54   36   
13.59/13.60	c 3090           29912          2227017        4137186        0              1307           32   60   41   
13.59/13.65	c 3100           30012          2234503        4150384        0              1311           40   54   44   
13.59/13.69	c 3110           30089          2240312        4162617        0              1320           33   45   34   
13.69/13.73	c 3120           30172          2247552        4177030        0              1326           37   50   40   
13.69/13.77	c 3130           30301          2255356        4190590        0              1330           46   60   49   
13.79/13.81	c 3140           30357          2261907        4204134        0              1335           31   36   30   
13.79/13.84	c 3142           30400          2264957        4210179        0              1337           37   42   26   
13.79/13.87	c 3150           30466          2270166        4220635        0              1339           44   49   40   
13.89/13.92	c 3160           30568          2277445        4235163        0              1342           39   47   40   
13.89/13.96	c 3170           30685          2285282        4248702        0              1345           44   55   45   
13.99/14.00	c 3180           30767          2292655        4261118        0              1348           37   51   43   
13.99/14.05	c 3190           30869          2300058        4274991        0              1353           39   53   42   
13.99/14.09	c 3200           30969          2308133        4289598        0              1356           31   47   36   
14.09/14.14	c 3210           31066          2315657        4303723        0              1362           32   45   35   
14.09/14.18	c 3220           31160          2323388        4317092        0              1367           39   55   45   
14.19/14.22	c 3230           31246          2330620        4330338        0              1370           33   49   35   
14.19/14.26	c 3240           31338          2338730        4345074        0              1371           35   56   40   
14.30/14.30	c 3250           31430          2345538        4358053        0              1375           36   53   42   
14.30/14.34	c 3260           31508          2352161        4369799        0              1379           40   46   39   
14.30/14.38	c 3270           31602          2360415        4382829        0              1381           28   51   38   
14.40/14.42	c 3280           31696          2366901        4394505        0              1383           43   53   45   
14.40/14.46	c 3290           31776          2373231        4406130        0              1387           42   54   41   
14.49/14.51	c 3300           31888          2381232        4420126        0              1389           35   49   40   
14.49/14.56	c 3310           32001          2389517        4434788        0              1393           30   55   36   
14.59/14.60	c 3320           32089          2396536        4447238        0              1395           42   58   49   
14.59/14.65	c 3330           32229          2406224        4465932        0              1397           43   51   41   
14.69/14.70	c 3340           32334          2415570        4483306        0              1401           34   54   40   
14.69/14.73	c 3350           32415          2421652        4496018        0              1407           34   54   38   
14.69/14.78	c 3360           32526          2430926        4512014        0              1409           40   50   40   
14.79/14.82	c 3370           32611          2438846        4526683        0              1411           37   51   39   
14.79/14.87	c 3380           32715          2445834        4539182        0              1415           35   55   40   
14.89/14.91	c 3390           32811          2452739        4551558        0              1417           40   59   43   
14.89/14.95	c 3400           32884          2459099        4563298        0              1419           34   56   43   
14.89/14.99	c 3410           32990          2467102        4576350        0              1427           31   56   41   
14.99/15.04	c 3420           33093          2475018        4590740        0              1432           34   62   41   
14.99/15.08	c 3430           33204          2481723        4603638        0              1436           32   53   37   
15.09/15.12	c 3440           33314          2489311        4616549        0              1443           37   62   47   
15.09/15.16	c 3450           33416          2495415        4627759        0              1447           35   50   39   
15.19/15.20	c 3460           33531          2502880        4641116        0              1452           39   62   50   
15.19/15.24	c 3470           33626          2509344        4653696        0              1460           43   62   44   
15.19/15.28	c 3480           33718          2515643        4666017        0              1463           35   55   38   
15.29/15.33	c 3490           33804          2523530        4680057        0              1469           40   47   40   
15.29/15.36	c 3500           33897          2529647        4691305        0              1470           44   61   45   
15.29/15.40	c 3510           33965          2535084        4701911        0              1477           32   54   42   
15.40/15.44	c 3520           34075          2541599        4714625        0              1484           36   57   41   
15.40/15.49	c 3530           34199          2551490        4730653        0              1490           34   58   40   
15.50/15.54	c 3540           34299          2561082        4746965        0              1495           30   51   39   
15.50/15.58	c 3550           34394          2567654        4760157        0              1499           33   58   42   
15.59/15.61	c 3551           34428          2570309        4765013        0              1500           34   34   17   
15.59/15.64	c 3560           34532          2576666        4776234        0              1505           33   59   46   
15.59/15.69	c 3570           34664          2584950        4789636        0              1510           37   62   45   
15.69/15.74	c 3580           34773          2593268        4804699        0              1517           39   60   43   
15.69/15.78	c 3590           34887          2600434        4818223        0              1518           32   64   46   
15.79/15.82	c 3600           34977          2608790        4832262        0              1523           36   49   37   
15.79/15.87	c 3610           35090          2615467        4844138        0              1525           29   59   46   
15.89/15.90	c 3620           35195          2621740        4856083        0              1532           45   53   47   
15.89/15.94	c 3630           35269          2627611        4867847        0              1536           37   54   40   
15.89/15.98	c 3640           35349          2634714        4879756        0              1541           26   47   34   
15.99/16.02	c 3650           35447          2642449        4893165        0              1547           32   48   37   
15.99/16.06	c 3660           35532          2648746        4905428        0              1552           40   49   41   
16.09/16.10	c 3670           35634          2655683        4918693        0              1558           33   49   39   
16.09/16.15	c 3680           35731          2664204        4935147        0              1563           38   49   38   
16.09/16.19	c 3690           35823          2671875        4948499        0              1566           43   51   43   
16.19/16.24	c 3700           35930          2680524        4963061        0              1571           35   62   41   
16.19/16.28	c 3710           36005          2687367        4978423        0              1578           37   55   38   
16.29/16.32	c 3720           36097          2695130        4992901        0              1582           33   50   39   
16.29/16.36	c 3730           36162          2702007        5006488        0              1585           29   45   33   
16.39/16.41	c 3740           36263          2709523        5020894        0              1591           34   51   39   
16.39/16.46	c 3750           36377          2717582        5037101        0              1595           33   58   42   
16.39/16.50	c 3760           36470          2724507        5050896        0              1597           34   51   37   
16.50/16.54	c 3770           36570          2731856        5065126        0              1599           40   61   44   
16.50/16.58	c 3780           36657          2738579        5077817        0              1602           41   53   44   
16.60/16.62	c 3790           36750          2746261        5092531        0              1605           34   50   37   
16.60/16.66	c 3800           36827          2751832        5104411        0              1608           42   54   42   
16.69/16.71	c 3810           36916          2759216        5117855        0              1614           39   55   43   
16.69/16.75	c 3820           37043          2767898        5133871        0              1617           36   61   44   
16.69/16.79	c 3830           37129          2773139        5144607        0              1621           37   54   44   
16.79/16.83	c 3840           37203          2779014        5155682        0              1627           30   50   35   
16.79/16.87	c 3850           37299          2787051        5170404        0              1629           34   48   39   
16.89/16.91	c 3860           37401          2795270        5185312        0              1631           31   50   37   
16.89/16.95	c 3870           37502          2801612        5197498        0              1638           36   57   39   
16.89/16.99	c 3880           37635          2810421        5213232        0              1646           37   61   48   
16.99/17.04	c 3890           37747          2819177        5229525        0              1651           37   62   45   
16.99/17.08	c 3900           37836          2825628        5240630        0              1654           35   48   38   
17.09/17.12	c 3910           37940          2832653        5253524        0              1657           39   60   45   
17.09/17.17	c 3920           38033          2840916        5268165        0              1659           36   49   37   
17.19/17.21	c 3930           38132          2847106        5279127        0              1661           29   56   37   
17.19/17.25	c 3940           38237          2854320        5292147        0              1665           41   55   43   
17.29/17.30	c 3950           38342          2862362        5305254        0              1668           40   54   42   
17.29/17.33	c 3960           38408          2868328        5315652        0              1674           32   44   35   
17.29/17.37	c 3970           38516          2877787        5330879        0              1677           34   57   41   
17.39/17.42	c 3980           38599          2884342        5343216        0              1680           30   47   36   
17.39/17.46	c 3990           38696          2891557        5356376        0              1687           30   47   35   
17.49/17.50	c 4000           38786          2899138        5369710        0              1689           42   57   45   
17.49/17.52	c 4001           38822          2901673        5374253        0              1690           36   36   18   
17.49/17.56	c 4010           38915          2908586        5385419        0              1694           42   61   44   
17.60/17.60	c 4020           39029          2917002        5399444        0              1696           30   47   39   
17.60/17.64	c 4030           39098          2922595        5410418        0              1700           33   51   38   
17.60/17.68	c 4040           39182          2929817        5423468        0              1702           34   46   37   
17.70/17.72	c 4050           39265          2936110        5434912        0              1707           29   45   35   
17.70/17.76	c 4060           39371          2943504        5447104        0              1710           36   60   41   
17.79/17.81	c 4070           39501          2952192        5462945        0              1712           43   53   44   
17.79/17.85	c 4080           39590          2959152        5475679        0              1713           45   56   45   
17.79/17.89	c 4090           39692          2967361        5490047        0              1718           43   56   45   
17.89/17.94	c 4100           39783          2976141        5506257        0              1725           35   51   38   
17.89/17.98	c 4110           39881          2984765        5521844        0              1729           35   52   37   
17.99/18.03	c 4120           39992          2992274        5534186        0              1733           34   55   41   
17.99/18.08	c 4130           40093          3000780        5547937        0              1738           37   58   39   
18.09/18.12	c 4140           40177          3006869        5558698        0              1740           42   50   40   
18.09/18.18	c 4150           40293          3016268        5576390        0              1744           24   37   28   
18.19/18.22	c 4160           40423          3024927        5590391        0              1746           40   61   44   
18.19/18.26	c 4170           40498          3030045        5599987        0              1754           46   53   45   
18.29/18.30	c 4180           40601          3037134        5612283        0              1757           44   61   49   
18.29/18.34	c 4190           40687          3043444        5624356        0              1761           32   50   37   
18.29/18.38	c 4200           40766          3050513        5637462        0              1765           37   51   40   
18.39/18.43	c 4210           40854          3058919        5653105        0              1768           30   42   33   
18.39/18.47	c 4220           40931          3066292        5666154        0              1775           43   53   41   
18.49/18.52	c 4230           41029          3073717        5679071        0              1779           39   53   43   
18.49/18.55	c 4240           41110          3079984        5690418        0              1784           38   47   39   
18.49/18.60	c 4250           41205          3088029        5705091        0              1788           42   55   43   
18.59/18.64	c 4260           41290          3095132        5718144        0              1792           33   50   36   
18.59/18.68	c 4270           41399          3101941        5729972        0              1797           46   64   49   
18.70/18.71	c 4280           41484          3108905        5742163        0              1801           36   47   37   
18.70/18.76	c 4290           41636          3116974        5755408        0              1805           33   64   45   
18.80/18.80	c 4300           41725          3124502        5769554        0              1809           31   47   34   
18.80/18.84	c 4310           41805          3130003        5780130        0              1813           51   55   48   
18.80/18.88	c 4320           41907          3137226        5793056        0              1816           35   58   38   
18.89/18.91	c 4330           41998          3143550        5804526        0              1818           37   54   42   
18.89/18.95	c 4340           42096          3151002        5817292        0              1824           28   57   46   
18.89/19.00	c 4350           42183          3158085        5832883        0              1831           37   57   41   
18.99/19.03	c 4360           42258          3162176        5841807        0              1840           46   56   49   
18.99/19.07	c 4370           42352          3169898        5855505        0              1842           30   56   36   
19.09/19.12	c 4380           42444          3176715        5868893        0              1847           37   52   40   
19.09/19.15	c 4390           42551          3183704        5880994        0              1849           52   60   50   
19.09/19.19	c 4400           42627          3190816        5892671        0              1852           37   44   37   
19.19/19.24	c 4410           42738          3198363        5905592        0              1855           43   62   47   
19.19/19.28	c 4420           42822          3205701        5919630        0              1861           34   53   40   
19.29/19.33	c 4430           42925          3213913        5934408        0              1866           33   55   38   
19.29/19.37	c 4440           43016          3221433        5946796        0              1872           40   47   39   
19.39/19.41	c 4450           43103          3228484        5961986        0              1879           37   57   41   
19.39/19.45	c 4460           43193          3234722        5974122        0              1881           42   47   40   
19.39/19.49	c 4470           43290          3242673        5988898        0              1885           40   59   44   
19.49/19.54	c 4480           43381          3251573        6004103        0              1887           31   47   36   
19.49/19.58	c 4490           43453          3256984        6014697        0              1890           37   60   48   
19.59/19.61	c 4493           43510          3260815        6021338        0              1892           39   45   30   
19.59/19.64	c 4500           43624          3267737        6034828        0              1896           41   55   45   
19.59/19.68	c 4510           43720          3274737        6047378        0              1898           43   55   45   
19.69/19.72	c 4520           43807          3280201        6056431        0              1900           35   51   39   
19.69/19.76	c 4530           43890          3286837        6068875        0              1905           41   51   41   
19.69/19.80	c 4540           43966          3293724        6082575        0              1907           37   46   38   
19.80/19.84	c 4550           44069          3302654        6099150        0              1914           37   64   44   
19.80/19.88	c 4560           44143          3308262        6109142        0              1915           31   49   37   
19.90/19.92	c 4570           44246          3315769        6122928        0              1919           41   54   42   
19.90/19.96	c 4580           44339          3323188        6135521        0              1920           38   52   43   
19.99/20.00	c 4590           44458          3330117        6148319        0              1924           42   56   46   
19.99/20.04	c 4600           44529          3336686        6160099        0              1926           39   48   37   
19.99/20.07	c 4610           44627          3343565        6172539        0              1932           49   61   49   
20.09/20.11	c 4620           44684          3348426        6182359        0              1933           37   47   37   
20.09/20.15	c 4630           44759          3356334        6196319        0              1934           36   44   36   
20.19/20.20	c 4640           44910          3365673        6214050        0              1937           40   55   43   
20.19/20.24	c 4650           44993          3372952        6227012        0              1943           34   47   37   
20.19/20.29	c 4660           45084          3380857        6241571        0              1946           36   52   44   
20.29/20.33	c 4670           45179          3388722        6256181        0              1948           32   58   42   
20.29/20.38	c 4680           45271          3396240        6269192        0              1954           28   44   33   
20.39/20.42	c 4690           45367          3403975        6283674        0              1958           28   49   36   
20.39/20.46	c 4700           45449          3409590        6295411        0              1961           33   54   33   
20.49/20.51	c 4710           45580          3419059        6311601        0              1963           33   55   37   
20.49/20.55	c 4720           45663          3425619        6323374        0              1965           40   50   43   
20.59/20.60	c 4730           45767          3432763        6336024        0              1969           37   55   40   
20.59/20.64	c 4740           45856          3439189        6347207        0              1974           33   53   39   
20.59/20.68	c 4750           45959          3446802        6361869        0              1975           42   55   44   
20.69/20.72	c 4760           46062          3453879        6374063        0              1983           48   60   49   
20.69/20.76	c 4770           46173          3461194        6388091        0              1985           36   64   40   
20.79/20.80	c 4780           46256          3467528        6399607        0              1990           43   48   41   
20.79/20.84	c 4790           46353          3474923        6413987        0              1996           31   59   39   
20.79/20.88	c 4800           46446          3482712        6427055        0              1999           36   51   37   
20.90/20.92	c 4810           46570          3490495        6442676        0              2003           40   58   45   
20.90/20.97	c 4820           46724          3499264        6457049        0              2007           39   64   47   
21.00/21.01	c 4830           46830          3506682        6471065        0              2013           35   61   41   
21.00/21.05	c 4840           46923          3513990        6484094        0              2018           40   50   40   
21.00/21.09	c 4850           47012          3521529        6498164        0              2022           42   50   40   
21.09/21.13	c 4860           47134          3528570        6512130        0              2025           35   64   41   
21.09/21.17	c 4870           47224          3534772        6523374        0              2033           37   52   41   
21.19/21.21	c 4880           47330          3543771        6539070        0              2037           35   59   39   
21.19/21.26	c 4890           47441          3550626        6552081        0              2041           31   55   36   
21.29/21.30	c 4900           47509          3556841        6563529        0              2048           29   42   30   
21.29/21.35	c 4910           47606          3565295        6580719        0              2050           37   50   40   
21.29/21.39	c 4920           47697          3572553        6594152        0              2052           46   61   46   
21.39/21.43	c 4930           47789          3579521        6606904        0              2057           39   55   42   
21.39/21.48	c 4940           47940          3588420        6622573        0              2060           46   55   46   
21.49/21.51	c 4950           48016          3593610        6632444        0              2061           40   55   40   
21.49/21.55	c 4960           48089          3599673        6643765        0              2068           34   48   39   
21.49/21.59	c 4970           48181          3606158        6655433        0              2075           29   47   35   
21.59/21.63	c 4980           48238          3611104        6665379        0              2076           37   47   37   
21.59/21.66	c 4990           48319          3617727        6677975        0              2077           40   54   42   
21.69/21.74	c 5035           48503          3638203        6716791        0              2084           25   41   32   
22.59/22.69	c 5631           52039          3928845        7221481        0              2099           29   64   41   
23.69/23.73	c 6286           55780          4269333        7788676        0              2107           23   63   40   
24.89/24.94	c 7006           60112          4652245        8434610        0              2116           22   62   41   
26.09/26.15	c 7798           64361          5049955        9106670        0              2137           23   62   41   
27.49/27.56	c 8669           69863          5514650        9880805        0              2146           25   66   47   
29.09/29.13	c 9627           75878          6018051        10719058       0              2152           24   63   43   
30.59/30.65	c 10680          81949          6526859        11558351       0              2169           22   57   40   
32.49/32.53	c 11838          89156          7107270        12594915       0              2189           26   64   44   
34.49/34.58	c 13111          96675          7763148        13698209       0              2204           25   66   45   
36.99/37.02	c 14511          106844         8563098        15004081       0              2222           22   70   44   
39.39/39.46	c 16051          116140         9340583        16321756       0              2246           24   67   42   
41.89/41.96	c 17745          125805         10179866       17710613       0              2260           22   64   42   
44.99/45.03	c 19608          137028         11151724       19366109       0              2276           22   64   42   
48.39/48.50	c 21657          149490         12153882       21205663       0              2295           16   70   40   
51.89/51.96	c 23910          163708         13268605       23093209       0              2314           24   71   44   
55.99/56.01	c 26388          180705         14566345       25321040       0              2340           22   72   44   
60.09/60.11	c 29113          197986         15945865       27581507       0              2354           23   69   43   
65.29/65.34	c 32110          218676         17551935       30363423       0              2367           22   69   44   
69.98/70.08	c 35406          236972         19140966       33017137       0              2393           22   64   39   
75.58/75.62	c 39031          259953         20873582       35953529       0              2413           22   70   41   
82.08/82.17	c 43018          286233         23000679       39513280       0              2436           23   66   45   
89.38/89.48	c 47403          316841         25347174       43464090       0              2457           22   69   44   
96.79/96.87	c 52226          347544         27805784       47532703       0              2463           20   70   43   
104.88/104.95	c 57531          381967         30397823       51999449       0              2483           22   71   45   
113.18/113.25	c 63366          418278         33121994       56498680       0              2490           22   73   43   
122.78/122.82	c 69784          459504         36328338       61695901       0              2517           22   72   44   
134.08/134.18	c 76843          509095         40016960       67852671       0              2535           22   70   46   
147.18/147.24	c 84607          565147         44178975       74864599       0              2556           22   70   46   
161.38/161.47	c 93147          625868         48795556       82566813       0              2575           16   71   45   
175.87/175.94	c 102541         690679         53698418       90629021       0              2605           22   70   47   
191.27/191.38	c 112874         769884         58973369       99164558       0              2642           22   73   48   
209.87/209.98	c 124240         854963         64944676       109312549      0              2672           16   74   46   
229.07/229.18	c 136742         948953         71504471       119980462      0              2707           22   74   48   
251.97/252.05	c 150494         1048489        78886920       132447939      0              2738           20   74   46   
272.87/272.92	c 165621         1142090        86020087       144295055      0              2770           20   68   41   
296.66/296.75	c 182260         1257443        93743788       157556883      0              2797           22   74   47   
327.36/327.45	c 200562         1392700        103701011      174258610      0              2816           17   73   46   
359.16/359.28	c 220694         1527179        113641398      191610053      0              2829           16   73   44   
392.25/392.33	c 242839         1668338        124518762      209902767      0              2841           11   76   43   
429.85/429.95	c 267198         1839580        136531667      230364253      0              2858           17   74   43   
464.25/464.31	c 293992         2010039        148619180      250633790      0              2879           19   61   40   
510.54/510.63	c 323465         2221526        163167982      275949343      0              2916           20   76   45   
563.84/563.99	c 355885         2470341        180262146      304551853      0              2929           16   73   45   
623.53/623.64	c 391547         2742071        199612519      336932698      0              2950           16   73   46   
682.23/682.35	c 430775         2999514        217858928      368924309      0              2983           20   75   45   
752.33/752.48	c 473925         3309428        240849135      407367777      0              3009           16   74   47   
818.62/818.77	c 521390         3613247        262540886      444576157      0              3030           16   75   43   
888.72/888.89	c 573601         3943984        285913951      483912932      0              3046           16   76   43   
971.60/971.77	c 631033         4346120        313247863      529668932      0              3067           14   74   45   
1064.80/1064.99	c 694208         4789874        344975269      580636295      0              3095           17   82   46   
1178.49/1178.64	c 763700         5294247        381414758      641964461      0              3112           16   73   45   
1305.08/1305.24	c 840141         5870293        422320398      710884976      0              3158           16   76   46   
1437.47/1437.66	c 924226         6488484        466350202      783510967      0              3189           16   74   46   
1584.76/1584.91	c 1016719        7186012        514863200      863865795      0              3211           16   79   46   
1734.94/1735.15	c 1118461        7909865        562999751      946760060      0              3228           16   76   44   
1912.83/1913.03	c 1230377        8777462        623025301      1044430387     0              3252           16   77   47   
2124.11/2124.35	c 1353484        9771867        691105365      1159331516     0              3265           11   77   46   
2329.49/2329.73	c 1488901        10732286       760356710      1273420472     0              3288           16   75   45

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

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

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


[startup+0 s]
/proc/loadavg: 1.31 0.32 0.14 2/188 4689
/proc/meminfo: memFree=27123824/32770624 swapFree=6240/2411216
[pid=4689] ppid=4686 vsize=27388 CPUtime=0 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 1069 0 0 0 0 0 0 0 20 0 1 0 15658021 28045312 897 33554432000 4194304 5970956 140736363667488 140736363662552 140024140305136 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 6847 897 714 434 0 211 0

[startup+0.100165 s]
/proc/loadavg: 1.31 0.32 0.14 2/188 4689
/proc/meminfo: memFree=27123824/32770624 swapFree=6240/2411216
[pid=4689] ppid=4686 vsize=27632 CPUtime=0.09 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 1186 0 0 0 9 0 0 0 20 0 1 0 15658021 28295168 1020 33554432000 4194304 5970956 140736363667488 140736363661320 4883968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 6908 1020 787 434 0 272 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27632

[startup+0.200353 s]
/proc/loadavg: 1.31 0.32 0.14 2/188 4689
/proc/meminfo: memFree=27123824/32770624 swapFree=6240/2411216
[pid=4689] ppid=4686 vsize=27872 CPUtime=0.19 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 1253 0 0 0 19 0 0 0 20 0 1 0 15658021 28540928 1081 33554432000 4194304 5970956 140736363667488 140736363661320 5219488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 6968 1081 787 434 0 332 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27872

[startup+0.300317 s]
/proc/loadavg: 1.31 0.32 0.14 2/188 4689
/proc/meminfo: memFree=27123824/32770624 swapFree=6240/2411216
[pid=4689] ppid=4686 vsize=35936 CPUtime=0.29 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 2385 0 0 0 29 0 0 0 20 0 1 0 15658021 36798464 2734 33554432000 4194304 5970956 140736363667488 140736363664376 5272664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 8984 2734 834 434 0 2348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35936

[startup+0.700283 s]
/proc/loadavg: 1.31 0.32 0.14 2/188 4689
/proc/meminfo: memFree=27123824/32770624 swapFree=6240/2411216
[pid=4689] ppid=4686 vsize=36064 CPUtime=0.69 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 2407 0 0 0 69 0 0 0 20 0 1 0 15658021 36929536 2756 33554432000 4194304 5970956 140736363667488 140736363664824 4967728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9016 2756 835 434 0 2380 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36064

[startup+1.50027 s]
/proc/loadavg: 1.31 0.32 0.14 3/189 4690
/proc/meminfo: memFree=27666640/32770624 swapFree=6240/1856488
[pid=4689] ppid=4686 vsize=36064 CPUtime=1.49 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 2415 0 0 0 149 0 0 0 20 0 1 0 15658021 36929536 2756 33554432000 4194304 5970956 140736363667488 140736363664824 4908912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9016 2756 835 434 0 2380 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36064

[startup+3.10024 s]
/proc/loadavg: 1.45 0.36 0.16 3/189 4690
/proc/meminfo: memFree=27667888/32770624 swapFree=6240/1856488
[pid=4689] ppid=4686 vsize=36064 CPUtime=3.09 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 3505 0 0 0 309 0 0 0 20 0 1 0 15658021 36929536 2770 33554432000 4194304 5970956 140736363667488 140736363664824 5052093 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9016 2770 835 434 0 2380 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36064

[startup+6.30022 s]
/proc/loadavg: 1.45 0.36 0.16 3/188 4693
/proc/meminfo: memFree=28289140/32770624 swapFree=6240/1300052
[pid=4689] ppid=4686 vsize=36064 CPUtime=6.28 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 4645 0 0 0 628 0 0 0 20 0 1 0 15658021 36929536 2774 33554432000 4194304 5970956 140736363667488 140736363664824 5052085 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9016 2774 835 434 0 2380 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36064

[startup+12.7002 s]
/proc/loadavg: 1.53 0.42 0.18 3/188 4693
/proc/meminfo: memFree=28286900/32770624 swapFree=6240/1300068
[pid=4689] ppid=4686 vsize=36064 CPUtime=12.69 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 5798 0 0 0 1268 1 0 0 20 0 1 0 15658021 36929536 2780 33554432000 4194304 5970956 140736363667488 140736363664824 5070768 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9016 2780 835 434 0 2380 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36064

[startup+25.5003 s]
/proc/loadavg: 1.60 0.47 0.20 3/188 4693
/proc/meminfo: memFree=28287404/32770624 swapFree=6240/1300096
[pid=4689] ppid=4686 vsize=36192 CPUtime=25.49 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 8047 0 0 0 2548 1 0 0 20 0 1 0 15658021 37060608 2797 33554432000 4194304 5970956 140736363667488 140736363664824 4964607 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2797 835 434 0 2412 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36192

[startup+51.1003 s]
/proc/loadavg: 1.74 0.59 0.25 3/188 4693
/proc/meminfo: memFree=28285900/32770624 swapFree=6240/1300128
[pid=4689] ppid=4686 vsize=36192 CPUtime=51.09 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 9226 0 0 0 5108 1 0 0 20 0 1 0 15658021 37060608 2799 33554432000 4194304 5970956 140736363667488 140736363664824 5136637 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2799 835 434 0 2412 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36192

[startup+102.3 s]
/proc/loadavg: 1.97 0.86 0.36 3/188 4695
/proc/meminfo: memFree=28284564/32770624 swapFree=6240/1300212
[pid=4689] ppid=4686 vsize=36192 CPUtime=102.29 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 10381 0 0 0 10228 1 0 0 20 0 1 0 15658021 37060608 2802 33554432000 4194304 5970956 140736363667488 140736363664824 4974266 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2802 835 434 0 2412 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 36192

[startup+162.3 s]
/proc/loadavg: 1.99 1.07 0.46 3/188 4696
/proc/meminfo: memFree=28283348/32770624 swapFree=6240/1300272
[pid=4689] ppid=4686 vsize=36192 CPUtime=162.28 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 11494 0 0 0 16227 1 0 0 20 0 1 0 15658021 37060608 2804 33554432000 4194304 5970956 140736363667488 140736363664824 4908944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2804 835 434 0 2412 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 36192

[startup+222.306 s]
/proc/loadavg: 2.06 1.25 0.56 3/189 4705
/proc/meminfo: memFree=28280572/32770624 swapFree=6240/1300332
[pid=4689] ppid=4686 vsize=36192 CPUtime=222.28 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 12642 0 0 0 22227 1 0 0 20 0 1 0 15658021 37060608 2805 33554432000 4194304 5970956 140736363667488 140736363664824 5069958 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2805 835 434 0 2412 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 36192

[startup+282.3 s]
/proc/loadavg: 2.02 1.39 0.65 3/189 4728
/proc/meminfo: memFree=28281200/32770624 swapFree=6240/1300404
[pid=4689] ppid=4686 vsize=36192 CPUtime=282.26 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 13808 0 0 0 28225 1 0 0 20 0 1 0 15658021 37060608 2806 33554432000 4194304 5970956 140736363667488 140736363664824 4974128 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2806 835 434 0 2412 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 36192

[startup+342.3 s]
/proc/loadavg: 2.01 1.50 0.74 3/188 4729
/proc/meminfo: memFree=28278808/32770624 swapFree=6240/1300464
[pid=4689] ppid=4686 vsize=36192 CPUtime=342.26 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 14948 0 0 0 34225 1 0 0 20 0 1 0 15658021 37060608 2807 33554432000 4194304 5970956 140736363667488 140736363664824 4908982 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2807 835 434 0 2412 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 36192

[startup+402.3 s]
/proc/loadavg: 2.00 1.59 0.81 3/188 4730
/proc/meminfo: memFree=28280104/32770624 swapFree=6240/1300512
[pid=4689] ppid=4686 vsize=36192 CPUtime=402.25 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 16094 0 0 0 40224 1 0 0 20 0 1 0 15658021 37060608 2808 33554432000 4194304 5970956 140736363667488 140736363664824 4908930 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2808 835 434 0 2412 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 36192

[startup+462.3 s]
/proc/loadavg: 2.00 1.66 0.89 3/188 4731
/proc/meminfo: memFree=28278976/32770624 swapFree=6240/1300556
[pid=4689] ppid=4686 vsize=36192 CPUtime=462.25 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 17243 0 0 0 46224 1 0 0 20 0 1 0 15658021 37060608 2808 33554432000 4194304 5970956 140736363667488 140736363664824 4908912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2808 835 434 0 2412 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 36192

[startup+522.3 s]
/proc/loadavg: 2.04 1.74 0.96 3/187 4732
/proc/meminfo: memFree=28278560/32770624 swapFree=6240/1300592
[pid=4689] ppid=4686 vsize=36192 CPUtime=522.24 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 18377 0 0 0 52223 1 0 0 20 0 1 0 15658021 37060608 2808 33554432000 4194304 5970956 140736363667488 140736363664824 5069920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2808 835 434 0 2412 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 36192

[startup+582.3 s]
/proc/loadavg: 2.11 1.82 1.04 3/187 4733
/proc/meminfo: memFree=28277884/32770624 swapFree=6240/1300632
[pid=4689] ppid=4686 vsize=36192 CPUtime=582.24 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 19511 0 0 0 58223 1 0 0 20 0 1 0 15658021 37060608 2808 33554432000 4194304 5970956 140736363667488 140736363664824 5070776 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2808 835 434 0 2412 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 36192


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


[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.66 3/187 4764
/proc/meminfo: memFree=28273184/32770624 swapFree=6240/1301224
[pid=4689] ppid=4686 vsize=36192 CPUtime=1542.17 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 37318 0 0 0 154215 2 0 0 20 0 1 0 15658021 37060608 2818 33554432000 4194304 5970956 140736363667488 140736363664824 5098928 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2818 835 434 0 2412 0
Current children cumulated CPU time (s) 1542.17
Current children cumulated vsize (KiB) 36192

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/187 4765
/proc/meminfo: memFree=28273588/32770624 swapFree=6240/1301268
[pid=4689] ppid=4686 vsize=36192 CPUtime=1602.16 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 38003 0 0 0 160214 2 0 0 20 0 1 0 15658021 37060608 2818 33554432000 4194304 5970956 140736363667488 140736363664824 4961400 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2818 835 434 0 2412 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 36192

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/187 4766
/proc/meminfo: memFree=28273960/32770624 swapFree=6240/1301296
[pid=4689] ppid=4686 vsize=36192 CPUtime=1662.15 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 38647 0 0 0 166213 2 0 0 20 0 1 0 15658021 37060608 2818 33554432000 4194304 5970956 140736363667488 140736363664824 5136786 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2818 835 434 0 2412 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 36192

[startup+1722.3 s]
/proc/loadavg: 2.08 2.00 1.72 3/187 4768
/proc/meminfo: memFree=28273100/32770624 swapFree=6240/1301332
[pid=4689] ppid=4686 vsize=36192 CPUtime=1722.14 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 39286 0 0 0 172212 2 0 0 20 0 1 0 15658021 37060608 2818 33554432000 4194304 5970956 140736363667488 140736363664824 4974219 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2818 835 434 0 2412 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 36192

[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 1.74 3/187 4769
/proc/meminfo: memFree=28273100/32770624 swapFree=6240/1301368
[pid=4689] ppid=4686 vsize=36192 CPUtime=1782.14 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 39949 0 0 0 178212 2 0 0 20 0 1 0 15658021 37060608 2818 33554432000 4194304 5970956 140736363667488 140736363664824 4908963 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2818 835 434 0 2412 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 36192

[startup+1842.3 s]
/proc/loadavg: 2.01 2.00 1.76 3/188 4771
/proc/meminfo: memFree=28273248/32770624 swapFree=6240/1301400
[pid=4689] ppid=4686 vsize=36192 CPUtime=1842.13 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 40602 0 0 0 184211 2 0 0 20 0 1 0 15658021 37060608 2818 33554432000 4194304 5970956 140736363667488 140736363664824 4961388 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2818 835 434 0 2412 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 36192

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/188 4773
/proc/meminfo: memFree=28272628/32770624 swapFree=6240/1301448
[pid=4689] ppid=4686 vsize=36192 CPUtime=1902.13 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 41245 0 0 0 190211 2 0 0 20 0 1 0 15658021 37060608 2818 33554432000 4194304 5970956 140736363667488 140736363664824 4974364 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2818 835 434 0 2412 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 36192

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/188 4774
/proc/meminfo: memFree=28272620/32770624 swapFree=6240/1301488
[pid=4689] ppid=4686 vsize=36192 CPUtime=1962.12 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 41924 0 0 0 196210 2 0 0 20 0 1 0 15658021 37060608 2818 33554432000 4194304 5970956 140736363667488 140736363664824 5136634 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2818 835 434 0 2412 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 36192

[startup+2022.3 s]
/proc/loadavg: 2.05 2.02 1.80 3/188 4782
/proc/meminfo: memFree=28272584/32770624 swapFree=6240/1301528
[pid=4689] ppid=4686 vsize=36192 CPUtime=2022.12 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 42560 0 0 0 202210 2 0 0 20 0 1 0 15658021 37060608 2818 33554432000 4194304 5970956 140736363667488 140736363664824 4967787 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2818 835 434 0 2412 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 36192

[startup+2082.3 s]
/proc/loadavg: 2.18 2.06 1.83 3/188 4783
/proc/meminfo: memFree=28272652/32770624 swapFree=6240/1301568
[pid=4689] ppid=4686 vsize=36192 CPUtime=2082.12 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 43196 0 0 0 208210 2 0 0 20 0 1 0 15658021 37060608 2819 33554432000 4194304 5970956 140736363667488 140736363664824 4964864 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2819 835 434 0 2412 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 36192

[startup+2142.3 s]
/proc/loadavg: 2.12 2.06 1.85 3/187 4784
/proc/meminfo: memFree=28272548/32770624 swapFree=6240/1301604
[pid=4689] ppid=4686 vsize=36192 CPUtime=2142.1 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 43868 0 0 0 214208 2 0 0 20 0 1 0 15658021 37060608 2819 33554432000 4194304 5970956 140736363667488 140736363664824 5070809 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2819 835 434 0 2412 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 36192

[startup+2202.31 s]
/proc/loadavg: 2.17 2.08 1.87 3/187 4785
/proc/meminfo: memFree=28272292/32770624 swapFree=6240/1301636
[pid=4689] ppid=4686 vsize=36192 CPUtime=2202.1 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 44516 0 0 0 220208 2 0 0 20 0 1 0 15658021 37060608 2819 33554432000 4194304 5970956 140736363667488 140736363664824 4976725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2819 835 434 0 2412 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 36192

[startup+2262.3 s]
/proc/loadavg: 2.06 2.07 1.88 3/187 4786
/proc/meminfo: memFree=28272216/32770624 swapFree=6240/1301664
[pid=4689] ppid=4686 vsize=36192 CPUtime=2262.09 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 45162 0 0 0 226207 2 0 0 20 0 1 0 15658021 37060608 2819 33554432000 4194304 5970956 140736363667488 140736363664824 4977063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2819 835 434 0 2412 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 36192

[startup+2322.3 s]
/proc/loadavg: 2.02 2.06 1.88 3/187 4787
/proc/meminfo: memFree=28271844/32770624 swapFree=6240/1301704
[pid=4689] ppid=4686 vsize=36192 CPUtime=2322.09 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 45803 0 0 0 232207 2 0 0 20 0 1 0 15658021 37060608 2819 33554432000 4194304 5970956 140736363667488 140736363664824 4967839 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2819 835 434 0 2412 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 36192

[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 1.89 2/184 5445
/proc/meminfo: memFree=30685848/32770624 swapFree=6240/1300684
[pid=4689] ppid=4686 vsize=36192 CPUtime=2382.08 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 46481 0 0 0 238206 2 0 0 20 0 1 0 15658021 37060608 2819 33554432000 4194304 5970956 140736363667488 140736363664824 4976774 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2819 835 434 0 2412 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 36192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.04 1.89 3/187 5599
/proc/meminfo: memFree=26720116/32770624 swapFree=6240/1300888
[pid=4689] ppid=4686 vsize=36192 CPUtime=2400.09 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 47066 0 0 0 240007 2 0 0 20 0 1 0 15658021 37060608 2819 33554432000 4194304 5970956 140736363667488 140736363664824 4974138 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2819 835 434 0 2412 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 36192

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

[startup+2400.31 s]
/proc/loadavg: 2.00 2.04 1.89 3/187 5599
/proc/meminfo: memFree=26720116/32770624 swapFree=6240/1300888
[pid=4689] ppid=4686 vsize=36192 CPUtime=2400.09 cores=1,3,5,7
/proc/4689/stat : 4689 (cosoco) R 4686 4689 4382 0 -1 4202496 47066 0 0 0 240007 2 0 0 20 0 1 0 15658021 37060608 2819 33554432000 4194304 5970956 140736363667488 140736363664824 4974138 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18309120 140736363668668 140736363668803 140736363668803 140736363671502 0
/proc/4689/statm: 9048 2819 835 434 0 2412 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 36192

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.1
CPU user time (s): 2400.07
CPU system time (s): 0.029997
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 36192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.029997
maximum resident set size= 11320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47094
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= 9
involuntary context switches= 120646

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19451 second user time and 7.73217 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-21 09:56:57
IDJOB=4240101
IDBENCH=120413
IDSOLVER=2621
FILE ID=node130/4240101-1500623808
RUNJOBID= node130-1500623778-4414
PBS_JOBID= 20623003
Free space on /tmp= 61420 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240101-1500623808/watcher-4240101-1500623808 -o /tmp/evaluation-result-4240101-1500623808/solver-4240101-1500623808 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4414 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240101-1500623808.xml

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

MD5SUM BENCH= 58ffb186ab2da5aa1e0c819e3b555e2f
RANDOM SEED=1685809739

node130.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.18
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.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
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:        27122172 kB
MemAvailable:   29563588 kB
Buffers:          156068 kB
Cached:          2548352 kB
SwapCached:            0 kB
Active:          2731540 kB
Inactive:        2420016 kB
Active(anon):    2449864 kB
Inactive(anon):     8800 kB
Active(file):     281676 kB
Inactive(file):  2411216 kB
Unevictable:        6240 kB
Mlocked:            6240 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            253388 kB
Writeback:         68968 kB
AnonPages:       2453456 kB
Mapped:            34500 kB
Shmem:              8852 kB
Slab:             190432 kB
SReclaimable:     128716 kB
SUnreclaim:        61716 kB
KernelStack:        3328 kB
PageTables:         9976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2828528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61960 MiB
End job on node130 at 2017-07-21 10:36:58