Trace number 4240771

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.04 2400.7

General information on the benchmark

NameAllInterval/AllInterval-m1-s1/
AllInterval-080.xml
MD5SUMf0cd38ecba005234ebb464e977fa1d5a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.16046099
Satisfiable
(Un)Satisfiability was proved
Number of variables159
Number of constraints81
Number of domains2
Minimum domain size79
Maximum domain size80
Distribution of domain sizes[{"size":79,"count":79},{"size":80,"count":80}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":81},{"degree":3,"count":78}]
Minimum constraint arity3
Maximum constraint arity80
Distribution of constraint arities[{"arity":3,"count":79},{"arity":79,"count":1},{"arity":80,"count":1}]
Number of extensional constraints0
Number of intensional constraints79
Distribution of constraint types[{"type":"intension","count":79},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.09/0.16	c SAT : Variables: 12641 -- Clauses: 496358
0.09/0.17	c root propagations     : 0           
0.09/0.17	c restarts enabled, print stats at every restarts
0.09/0.17	c
0.09/0.17	c
0.09/0.17	c
0.09/0.17	c This is cosoco 1.0 --  
0.09/0.17	c
0.09/0.17	c ========================================[ Problem Statistics ]===========================================
0.09/0.17	c |                                                                                                       
0.09/0.17	c |  Parse time        :         0.16 s 
0.09/0.17	c |
0.09/0.17	c |               Variables: 159
0.09/0.17	c |            Domain Sizes: 79..80
0.09/0.17	c |
0.09/0.17	c |             Constraints: 81
0.09/0.17	c |                   Arity: 3..80  -- Ternary: 79
0.09/0.17	c | 
0.09/0.17	c |                   Types: 
0.09/0.17	c |                          All Different: 2
0.09/0.17	c |                          Intension: 79
0.09/0.17	c |                          
0.09/0.17	c =========================================================================================================
0.09/0.17	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.19/0.21	c 10             94             7494           13279          0              1              77   80   70   
0.19/0.23	c 20             196            10218          22099          0              11             5   93   64    
0.19/0.24	c 30             303            12894          31960          0              21             27   98   70   
0.19/0.26	c 40             408            15352          40977          0              31             29   96   70   
0.19/0.27	c 50             495            17767          49073          0              41             41   78   54   
0.19/0.29	c 60             583            20277          56987          0              51             42   79   63   
0.29/0.31	c 70             687            23360          65390          0              61             71   95   74   
0.29/0.33	c 80             798            26308          75774          0              71             41   102   78  
0.29/0.34	c 90             880            28843          83171          0              81             10   73   56   
0.29/0.36	c 100            995            31868          92652          0              91             87   106   89  
0.29/0.36	c 101            1000           32123          93134          0              92             5   5   2      
0.29/0.38	c 110            1105           34915          102091         0              101            46   97   78   
0.39/0.40	c 120            1207           37812          110862         0              111            30   93   75   
0.39/0.42	c 130            1323           41112          119938         0              121            77   107   85  
0.39/0.44	c 140            1418           44181          127826         0              131            25   86   72   
0.39/0.45	c 150            1516           47034          136334         0              141            9   89   70    
0.39/0.47	c 160            1604           49598          143840         0              151            71   79   70   
0.39/0.49	c 170            1712           52366          153445         0              161            73   97   81   
0.49/0.51	c 180            1823           55524          162876         0              171            81   102   81  
0.49/0.53	c 190            1941           58558          174888         0              179            75   107   87  
0.49/0.55	c 200            2051           61515          184390         0              189            85   101   85  
0.49/0.57	c 210            2164           64570          193423         0              193            87   96   86   
0.49/0.58	c 211            2247           67300          200446         0              194            83   83   41   
0.59/0.60	c 220            2339           70239          208407         0              203            76   84   69   
0.59/0.62	c 230            2444           73130          217840         0              213            58   96   74   
0.59/0.63	c 240            2545           76253          226212         0              223            80   92   77   
0.59/0.65	c 250            2643           79281          234293         0              233            81   89   80   
0.59/0.67	c 260            2764           82308          246952         0              240            30   108   80  
0.59/0.69	c 270            2856           85003          254794         0              250            18   83   64   
0.69/0.70	c 280            2951           87817          263465         0              260            77   86   73   
0.69/0.72	c 290            3043           90553          271305         0              270            79   83   72   
0.69/0.74	c 300            3158           93783          283039         0              278            90   102   87  
0.69/0.77	c 310            3280           97016          295865         0              283            22   107   85  
0.69/0.79	c 320            3386           99960          305421         0              293            75   97   83   
0.79/0.81	c 330            3493           102905         315137         0              303            72   98   79   
0.79/0.82	c 332            3581           105608         322670         0              305            83   87   56   
0.79/0.84	c 340            3681           108534         331287         0              313            73   93   73   
0.79/0.85	c 350            3783           111462         339860         0              319            77   89   78   
0.79/0.87	c 360            3877           114293         347991         0              329            73   85   75   
0.79/0.88	c 370            3977           116843         356373         0              339            72   91   78   
0.89/0.91	c 380            4104           120071         369737         0              344            86   108   94  
0.89/0.93	c 390            4197           122957         377574         0              354            72   84   74   
0.89/0.94	c 400            4293           125123         387343         0              364            34   87   68   
0.89/0.96	c 410            4407           127393         396929         0              373            49   98   76   
0.89/0.98	c 420            4511           130339         405575         0              383            72   95   71   
0.89/0.99	c 430            4611           132402         415168         0              387            50   88   75   
0.99/1.02	c 440            4718           135395         426342         0              395            84   98   82   
0.99/1.03	c 450            4802           137308         435167         0              405            37   75   50   
0.99/1.05	c 460            4908           139701         444939         0              415            24   93   63   
0.99/1.07	c 465            4984           141605         452136         0              420            48   72   48   
0.99/1.09	c 470            5062           143645         459264         0              425            33   74   48   
0.99/1.10	c 480            5160           146136         467452         0              435            77   89   76   
1.09/1.12	c 490            5245           148186         474934         0              445            37   76   65   
1.09/1.13	c 500            5342           150990         483074         0              455            88   88   80   
1.09/1.15	c 510            5436           153626         491002         0              465            73   85   75   
1.09/1.17	c 520            5544           156673         499836         0              475            74   99   85   
1.09/1.18	c 530            5657           159683         509398         0              485            86   104   86  
1.19/1.20	c 540            5772           162795         518510         0              495            84   106   87  
1.19/1.22	c 550            5887           165864         529060         0              504            80   102   84  
1.19/1.24	c 560            5986           168690         537725         0              514            78   90   74   
1.19/1.27	c 570            6116           171911         551366         0              520            79   111   94  
1.19/1.29	c 580            6234           175168         562847         0              530            81   105   87  
1.29/1.31	c 590            6350           178321         574120         0              540            87   103   87  
1.29/1.33	c 600            6462           181486         583217         0              550            81   103   86  
1.29/1.35	c 610            6575           184451         592043         0              560            82   104   92  
1.29/1.36	c 611            6650           186946         598718         0              561            75   75   37   
1.29/1.38	c 620            6744           189780         606676         0              570            72   86   76   
1.39/1.40	c 630            6858           192838         617171         0              580            77   101   86  
1.39/1.42	c 640            6953           195616         625178         0              590            78   86   76   
1.39/1.44	c 650            7063           198603         636204         0              599            77   101   78  
1.39/1.45	c 660            7149           201186         643561         0              609            26   77   65   
1.39/1.47	c 670            7259           204216         653215         0              619            77   101   78  
1.39/1.49	c 680            7371           207355         662158         0              629            83   103   84  
1.49/1.50	c 690            7460           209986         669456         0              639            80   80   72   
1.49/1.52	c 700            7570           213030         678537         0              649            81   101   78  
1.49/1.54	c 710            7687           215879         689319         0              659            76   108   81  
1.49/1.57	c 720            7804           219105         702080         0              665            80   102   87  
1.49/1.58	c 730            7912           221552         711296         0              675            25   99   69   
1.59/1.60	c 740            8027           224646         721685         0              683            73   102   84  
1.59/1.62	c 750            8126           227459         730044         0              693            78   90   76   
1.59/1.63	c 760            8218           229807         738075         0              703            75   83   74   
1.59/1.65	c 770            8327           232711         747641         0              713            76   100   77  
1.59/1.65	c 771            8350           233336         749368         0              714            23   23   11   
1.59/1.68	c 780            8460           236187         760760         0              723            73   101   81  
1.59/1.69	c 790            8578           238902         772536         0              730            23   102   79  
1.69/1.71	c 800            8696           241839         782247         0              740            75   109   87  
1.69/1.74	c 810            8829           244589         795476         0              748            88   112   92  
1.69/1.76	c 820            8927           247403         803746         0              758            77   89   76   
1.69/1.77	c 830            9009           249538         810993         0              768            73   73   66   
1.69/1.79	c 840            9102           252229         819106         0              778            76   84   75   
1.79/1.81	c 850            9210           254663         828628         0              787            65   99   72   
1.79/1.83	c 860            9327           257383         839262         0              797            76   108   88  
1.79/1.85	c 870            9425           259575         847753         0              807            64   89   72   
1.79/1.86	c 880            9522           261988         856654         0              817            22   88   64   
1.79/1.88	c 890            9606           264015         864068         0              827            67   75   66   
1.89/1.90	c 900            9712           266221         874245         0              837            35   95   69   
1.89/1.91	c 910            9818           268489         882911         0              841            29   95   68   
1.89/1.93	c 920            9922           271018         892389         0              851            15   95   73   
1.89/1.95	c 930            10002          273075         899179         0              861            71   71   64   
1.89/1.97	c 940            10114          275827         911413         0              869            64   99   80   
1.89/1.99	c 947            10213          278727         919898         0              876            73   93   73   
1.99/2.00	c 950            10305          281318         927612         0              879            86   90   66   
1.99/2.03	c 960            10415          284078         939528         0              889            24   97   71   
1.99/2.04	c 970            10520          287010         948286         0              899            72   96   77   
1.99/2.06	c 980            10621          289559         957050         0              909            17   92   67   
1.99/2.09	c 990            10751          292616         968199         0              915            89   109   95  
2.09/2.11	c 1000           10861          295435         977441         0              925            89   101   85  
2.09/2.12	c 1010           10956          298274         985582         0              935            82   86   74   
2.09/2.15	c 1020           11078          301143         996457         0              943            73   101   82  
2.09/2.16	c 1030           11169          303550         1004211        0              953            78   82   74   
2.09/2.18	c 1040           11260          305916         1012394        0              963            35   82   69   
2.09/2.20	c 1050           11360          308046         1020986        0              973            23   91   58   
2.19/2.21	c 1060           11455          310181         1029810        0              983            24   86   57   
2.19/2.23	c 1070           11543          312336         1037519        0              993            28   79   62   
2.19/2.25	c 1080           11632          314361         1045195        0              1003           54   80   69   
2.19/2.26	c 1090           11737          316418         1055263        0              1013           34   96   72   
2.19/2.28	c 1100           11836          318785         1063378        0              1023           77   90   74   
2.19/2.30	c 1110           11940          321164         1073265        0              1032           75   95   79   
2.29/2.31	c 1120           12042          324001         1081712        0              1042           74   93   79   
2.29/2.33	c 1130           12134          325974         1092009        0              1052           37   83   59   
2.29/2.35	c 1140           12216          327764         1100064        0              1062           65   73   64   
2.29/2.36	c 1141           12293          329854         1106734        0              1063           77   77   38   
2.29/2.38	c 1150           12388          331792         1116969        0              1072           49   87   68   
2.38/2.40	c 1160           12479          333970         1125148        0              1075           74   82   73   
2.38/2.41	c 1170           12580          336996         1133374        0              1085           76   92   77   
2.38/2.43	c 1180           12676          339106         1142237        0              1092           72   83   73   
2.38/2.45	c 1190           12781          341564         1151622        0              1102           80   96   77   
2.38/2.47	c 1200           12876          344181         1159871        0              1112           12   86   71   
2.38/2.48	c 1210           12983          346866         1169058        0              1122           16   98   67   
2.48/2.50	c 1220           13102          349593         1180806        0              1131           23   106   76  
2.48/2.53	c 1230           13224          352370         1195382        0              1138           76   102   85  
2.48/2.55	c 1240           13313          355152         1203090        0              1148           16   80   63   
2.48/2.57	c 1250           13427          357795         1213243        0              1156           17   102   74  
2.48/2.58	c 1260           13517          360317         1220953        0              1166           16   81   57   
2.58/2.60	c 1270           13619          363077         1229599        0              1176           31   93   75   
2.58/2.62	c 1280           13723          365626         1239171        0              1186           35   95   68   
2.58/2.64	c 1290           13833          368612         1249376        0              1194           83   97   83   
2.58/2.66	c 1300           13937          371676         1258298        0              1204           16   95   78   
2.58/2.68	c 1310           14046          374360         1269753        0              1212           84   96   84   
2.69/2.70	c 1320           14134          376326         1277901        0              1222           30   79   59   
2.69/2.72	c 1330           14228          378809         1285869        0              1232           40   85   62   
2.69/2.74	c 1340           14330          381720         1294472        0              1242           71   93   78   
2.69/2.76	c 1350           14451          384367         1305708        0              1251           73   106   88  
2.69/2.77	c 1352           14508          387366         1309507        0              1253           56   56   37   
2.78/2.80	c 1360           14613          391235         1318433        0              1257           71   95   78   
2.78/2.82	c 1370           14720          394271         1329327        0              1267           78   98   82   
2.78/2.84	c 1380           14829          397172         1338003        0              1277           23   100   73  
2.78/2.85	c 1390           14920          399316         1345761        0              1287           54   82   67   
2.78/2.87	c 1400           15019          401520         1354286        0              1296           36   86   69   
2.78/2.89	c 1410           15123          404388         1363508        0              1306           75   95   77   
2.88/2.90	c 1420           15227          407322         1372806        0              1314           75   91   76   
2.88/2.92	c 1430           15323          410090         1381191        0              1324           75   87   75   
2.88/2.93	c 1440           15415          412803         1389269        0              1334           75   83   73   
2.88/2.94	c 1450           15503          415457         1397255        0              1344           75   79   71   
2.88/2.96	c 1460           15606          418398         1405895        0              1354           75   94   83   
2.88/2.98	c 1470           15724          421571         1417990        0              1364           76   101   84  
2.98/3.00	c 1480           15815          423958         1426321        0              1374           35   82   65   
2.98/3.02	c 1490           15927          426998         1436993        0              1383           83   99   83   
2.98/3.04	c 1500           16026          430010         1444783        0              1393           90   90   81   
2.98/3.06	c 1510           16140          432720         1455618        0              1401           73   103   81  
2.98/3.08	c 1520           16243          435099         1464395        0              1406           70   90   77   
3.08/3.10	c 1530           16343          438116         1472842        0              1408           87   87   79   
3.08/3.11	c 1540           16441          439996         1482949        0              1418           34   89   68   
3.08/3.13	c 1550           16528          442100         1490306        0              1428           70   78   69   
3.08/3.15	c 1560           16632          445278         1498624        0              1438           84   95   84   
3.08/3.17	c 1570           16739          447742         1507825        0              1446           21   92   64   
3.08/3.19	c 1580           16856          450829         1518857        0              1454           73   104   88  
3.18/3.20	c 1585           16944          453073         1526843        0              1459           16   84   52   
3.18/3.22	c 1590           17051          456238         1536393        0              1464           85   103   79  
3.18/3.23	c 1600           17141          458128         1545886        0              1474           28   81   52   
3.18/3.26	c 1610           17255          461297         1557115        0              1478           87   101   87  
3.18/3.28	c 1620           17361          464117         1566938        0              1488           77   97   82   
3.18/3.29	c 1630           17455          466888         1575047        0              1498           73   85   72   
3.30/3.31	c 1640           17553          469705         1583505        0              1508           75   89   77   
3.30/3.32	c 1650           17662          472389         1593650        0              1518           9   100   67   
3.30/3.34	c 1660           17743          474852         1600789        0              1528           72   72   65   
3.30/3.35	c 1670           17831          477628         1608353        0              1538           75   79   71   
3.30/3.37	c 1680           17916          480425         1615821        0              1548           76   76   69   
3.30/3.38	c 1690           18029          483237         1626107        0              1557           70   102   81  
3.30/3.40	c 1700           18117          485537         1634066        0              1567           16   79   53   
3.40/3.42	c 1710           18222          488100         1642752        0              1577           77   96   79   
3.40/3.43	c 1720           18314          490806         1651143        0              1587           17   83   63   
3.40/3.45	c 1730           18432          493592         1661390        0              1592           70   104   87  
3.40/3.47	c 1740           18519          495974         1669114        0              1602           70   78   69   
3.40/3.48	c 1750           18628          498459         1677840        0              1612           42   100   79  
3.49/3.50	c 1760           18726          501270         1686370        0              1622           77   89   74   
3.49/3.51	c 1770           18827          503686         1694792        0              1632           73   92   77   
3.49/3.53	c 1780           18911          505758         1702241        0              1642           30   75   63   
3.49/3.55	c 1790           19036          509125         1715157        0              1648           82   102   87  
3.49/3.57	c 1800           19151          512206         1726262        0              1656           77   101   82  
3.49/3.59	c 1810           19259          514984         1735853        0              1663           71   95   81   
3.59/3.61	c 1820           19360          517702         1744643        0              1673           76   92   78   
3.59/3.62	c 1830           19461          520174         1753171        0              1683           20   92   62   
3.59/3.64	c 1840           19571          523254         1763433        0              1693           76   101   85  
3.59/3.66	c 1841           19658          526073         1770842        0              1694           87   87   43   
3.59/3.68	c 1850           19763          528812         1779676        0              1703           71   97   80   
3.59/3.69	c 1860           19872          531619         1788680        0              1713           77   100   81  
3.69/3.71	c 1870           19966          533872         1796788        0              1723           31   85   65   
3.69/3.73	c 1880           20075          536815         1807808        0              1733           73   100   83  
3.69/3.74	c 1890           20188          539573         1817310        0              1743           11   104   74  
3.69/3.76	c 1900           20292          541790         1826398        0              1753           18   95   59   
3.69/3.78	c 1910           20390          544583         1835658        0              1763           20   89   65   
3.79/3.80	c 1920           20484          547379         1843578        0              1773           21   85   70   
3.79/3.82	c 1930           20596          550179         1854107        0              1782           67   99   77   
3.79/3.84	c 1940           20711          553228         1866088        0              1790           70   102   83  
3.79/3.85	c 1950           20820          556245         1875376        0              1800           73   100   76  
3.79/3.87	c 1960           20906          558931         1882832        0              1810           73   77   69   
3.79/3.89	c 1970           21021          561946         1894182        0              1816           80   104   85  
3.89/3.90	c 1980           21116          564686         1902653        0              1826           78   86   76   
3.89/3.92	c 1990           21206          567140         1910789        0              1836           12   81   64   
3.89/3.93	c 2000           21299          569909         1919123        0              1846           18   84   65   
3.89/3.95	c 2010           21405          572529         1929421        0              1856           12   97   70   
3.89/3.97	c 2020           21498          575311         1937762        0              1866           18   84   65   
3.89/3.98	c 2030           21587          577747         1945198        0              1876           38   80   68   
3.99/4.00	c 2040           21672          580407         1952480        0              1886           18   76   63   
3.99/4.01	c 2050           21780          583123         1962296        0              1896           12   99   73   
3.99/4.03	c 2060           21873          585902         1970637        0              1906           18   84   65   
3.99/4.05	c 2070           21985          588828         1982339        0              1912           80   101   84  
3.99/4.07	c 2080           22078          591624         1990680        0              1922           18   84   65   
3.99/4.08	c 2090           22164          594315         1998046        0              1932           19   77   64   
4.09/4.10	c 2100           22265          596545         2007376        0              1942           53   92   73   
4.09/4.12	c 2110           22383          599632         2020577        0              1948           79   105   88  
4.09/4.14	c 2120           22487          602603         2032067        0              1958           71   95   79   
4.09/4.15	c 2122           22517          603358         2035253        0              1960           25   29   18   
4.09/4.17	c 2130           22611          605881         2043432        0              1968           71   87   73   
4.09/4.19	c 2140           22727          608505         2055169        0              1977           24   107   80  
4.19/4.21	c 2150           22850          611783         2068074        0              1982           74   106   86  
4.19/4.23	c 2160           22956          614769         2077377        0              1992           73   97   74   
4.19/4.25	c 2170           23054          617662         2085941        0              2002           81   89   78   
4.19/4.27	c 2180           23167          620352         2098663        0              2007           12   96   74   
4.19/4.29	c 2190           23256          623149         2106309        0              2017           76   80   72   
4.29/4.30	c 2200           23344          625729         2113828        0              2027           67   79   70   
4.29/4.32	c 2210           23422          627526         2121634        0              2037           35   69   59   
4.29/4.34	c 2220           23536          630162         2131330        0              2047           66   105   77  
4.29/4.36	c 2230           23648          632759         2142176        0              2056           15   103   67  
4.29/4.37	c 2240           23744          635326         2150644        0              2066           45   87   69   
4.29/4.39	c 2250           23849          637629         2159665        0              2071           75   91   77   
4.40/4.41	c 2260           23963          640661         2170570        0              2081           73   103   80  
4.40/4.44	c 2270           24071          643020         2180822        0              2091           81   99   83   
4.40/4.45	c 2280           24170          645741         2189152        0              2101           23   90   69   
4.40/4.47	c 2290           24266          648253         2197347        0              2111           14   87   50   
4.40/4.48	c 2300           24356          650659         2205157        0              2121           14   81   64   
4.40/4.50	c 2310           24477          653498         2214570        0              2131           78   112   92  
4.50/4.52	c 2320           24565          656199         2222100        0              2141           71   79   71   
4.50/4.54	c 2330           24672          658563         2232114        0              2151           70   98   80   
4.50/4.55	c 2340           24774          661337         2240794        0              2161           73   93   74   
4.50/4.57	c 2350           24868          664196         2248848        0              2171           73   85   69   
4.50/4.59	c 2360           24963          666287         2257079        0              2181           25   86   62   
4.59/4.61	c 2370           25076          669369         2267900        0              2190           73   102   81  
4.59/4.63	c 2380           25192          672504         2278313        0              2195           79   103   88  
4.59/4.65	c 2390           25302          675545         2288878        0              2204           81   101   82  
4.59/4.67	c 2400           25408          678485         2300157        0              2212           67   95   76   
4.59/4.69	c 2410           25523          681301         2310687        0              2222           74   102   80  
4.69/4.71	c 2420           25638          684394         2322186        0              2229           73   99   84   
4.69/4.72	c 2430           25728          687232         2329531        0              2239           77   81   72   
4.69/4.73	c 2431           25802          689768         2336220        0              2240           74   74   37   
4.69/4.75	c 2440           25898          692656         2344666        0              2249           72   88   76   
4.69/4.76	c 2450           25996          695470         2352935        0              2259           74   89   72   
4.69/4.78	c 2460           26103          698252         2361908        0              2269           10   98   74   
4.79/4.80	c 2470           26217          701528         2373234        0              2278           76   103   84  
4.79/4.82	c 2480           26328          704620         2382716        0              2288           78   102   78  
4.79/4.84	c 2490           26440          707749         2391514        0              2298           81   103   86  
4.79/4.85	c 2500           26552          710845         2401436        0              2306           73   99   81   
4.79/4.87	c 2510           26640          713303         2408955        0              2316           71   79   65   
4.79/4.88	c 2520           26748          716082         2418805        0              2326           10   99   74   
4.89/4.90	c 2530           26836          718542         2426324        0              2336           71   79   65   
4.89/4.91	c 2540           26947          721507         2435341        0              2346           86   102   80  
4.89/4.93	c 2550           27062          724496         2445449        0              2356           85   104   81  
4.89/4.95	c 2560           27161          727281         2453883        0              2366           69   90   78   
4.89/4.96	c 2570           27262          730073         2462431        0              2376           70   92   80   
4.89/4.98	c 2580           27371          732938         2472091        0              2386           80   96   78   
4.89/4.99	c 2590           27478          735818         2480648        0              2396           85   98   79   
4.99/5.01	c 2600           27590          738820         2490175        0              2401           91   95   85   
4.99/5.03	c 2610           27695          741713         2498952        0              2411           89   96   86   
4.99/5.05	c 2620           27806          744493         2510303        0              2417           74   100   83  
4.99/5.07	c 2630           27919          747093         2520802        0              2426           21   100   79  
4.99/5.08	c 2640           28023          749209         2530515        0              2436           41   95   77   
5.09/5.10	c 2650           28129          751682         2539822        0              2446           70   97   76   
5.09/5.12	c 2660           28226          754202         2547961        0              2456           10   88   68   
5.09/5.14	c 2670           28347          756963         2559952        0              2463           11   108   75  
5.09/5.15	c 2680           28426          758865         2566631        0              2473           70   70   63   
5.09/5.17	c 2690           28535          761171         2575613        0              2483           39   100   72  
5.09/5.18	c 2700           28646          763792         2585483        0              2493           19   102   75  
5.19/5.20	c 2710           28756          766103         2595079        0              2500           52   95   78   
5.19/5.22	c 2720           28860          768833         2603650        0              2510           83   95   81   
5.19/5.24	c 2730           28963          771171         2612185        0              2520           77   94   80   
5.19/5.26	c 2740           29079          773689         2625268        0              2528           36   101   75  
5.19/5.28	c 2750           29160          775676         2632307        0              2538           35   72   62   
5.19/5.29	c 2760           29249          777957         2639875        0              2548           69   80   70   
5.29/5.31	c 2770           29355          780232         2648621        0              2558           75   97   73   
5.29/5.31	c 2771           29378          780942         2650552        0              2559           23   23   11   
5.29/5.33	c 2780           29455          783046         2657426        0              2568           69   69   62   
5.29/5.34	c 2790           29551          785104         2666256        0              2578           36   87   58   
5.29/5.37	c 2800           29676          787878         2678097        0              2588           20   112   76  
5.29/5.38	c 2810           29773          790536         2686168        0              2598           70   88   73   
5.39/5.40	c 2820           29872          793293         2694515        0              2608           82   90   80   
5.39/5.41	c 2830           29979          796007         2703894        0              2618           38   98   73   
5.39/5.43	c 2840           30088          798755         2712995        0              2628           74   100   79  
5.39/5.44	c 2850           30192          801591         2722222        0              2638           75   95   82   
5.39/5.46	c 2860           30301          804244         2731564        0              2648           16   100   73  
5.39/5.47	c 2870           30408          806809         2740833        0              2658           70   98   77   
5.39/5.50	c 2880           30525          809900         2752751        0              2668           20   102   69  
5.49/5.51	c 2890           30622          812422         2760793        0              2678           72   88   76   
5.49/5.53	c 2900           30706          814636         2767761        0              2688           71   75   67   
5.49/5.55	c 2910           30819          817451         2777965        0              2698           14   104   78  
5.49/5.57	c 2920           30929          820311         2787212        0              2708           15   101   78  
5.49/5.58	c 2930           31032          823085         2795816        0              2718           74   94   80   
5.49/5.60	c 2940           31137          826031         2804733        0              2728           68   96   74   
5.59/5.61	c 2950           31246          828247         2813977        0              2738           16   100   67  
5.59/5.63	c 2960           31343          831168         2822387        0              2748           69   88   66   
5.59/5.66	c 2970           31461          834135         2833942        0              2757           73   101   82  
5.59/5.67	c 2980           31564          836877         2842791        0              2767           78   94   82   
5.59/5.69	c 2990           31669          839614         2851722        0              2777           70   96   74   
5.69/5.71	c 3000           31789          842444         2863460        0              2785           77   105   85  
5.69/5.73	c 3010           31898          845376         2872367        0              2795           80   100   85  
5.69/5.74	c 3020           31987          847824         2879850        0              2805           76   80   69   
5.69/5.76	c 3030           32107          850732         2891476        0              2814           71   103   85  
5.69/5.78	c 3040           32205          854172         2898391        0              2818           47   73   63   
5.79/5.80	c 3050           32297          857001         2906226        0              2820           75   83   74   
5.79/5.82	c 3060           32404          859906         2915008        0              2830           78   98   84   
5.79/5.83	c 3070           32519          862632         2924776        0              2840           9   106   76   
5.79/5.85	c 3080           32636          865714         2934181        0              2850           82   108   80  
5.79/5.87	c 3090           32740          868494         2943045        0              2860           75   95   82   
5.79/5.89	c 3100           32845          871393         2951993        0              2870           78   96   84   
5.89/5.90	c 3110           32936          873976         2959902        0              2880           70   82   72   
5.89/5.92	c 3120           33024          876660         2967213        0              2890           75   79   71   
5.89/5.93	c 3130           33108          879279         2974230        0              2900           75   75   68   
5.89/5.95	c 3140           33225          882480         2987067        0              2907           82   102   84  
5.89/5.96	c 3142           33301          884876         2994006        0              2909           67   75   47   
5.89/5.99	c 3150           33423          888193         3008225        0              2912           95   102   88  
5.99/6.00	c 3160           33540          891036         3018062        0              2921           82   108   86  
5.99/6.02	c 3170           33657          894162         3028758        0              2925           88   104   89  
5.99/6.04	c 3180           33765          896987         3037479        0              2935           73   99   79   
5.99/6.05	c 3190           33874          899903         3046362        0              2945           80   100   86  
5.99/6.07	c 3200           33963          902235         3054217        0              2955           24   80   63   
5.99/6.09	c 3210           34070          905069         3062926        0              2965           76   98   79   
6.09/6.10	c 3220           34179          908033         3072098        0              2975           100   100   90 
6.09/6.12	c 3230           34286          910633         3081246        0              2985           80   98   75   
6.09/6.13	c 3240           34393          913442         3089922        0              2995           74   98   80   
6.09/6.15	c 3250           34502          916254         3098788        0              3005           74   100   80  
6.09/6.17	c 3260           34595          918768         3107013        0              3015           74   84   74   
6.09/6.18	c 3270           34690          921631         3115553        0              3025           23   86   64   
6.19/6.20	c 3280           34783          924096         3123612        0              3029           72   84   74   
6.19/6.22	c 3290           34904          927332         3135044        0              3033           92   104   90  
6.19/6.24	c 3300           35013          930352         3143996        0              3043           76   100   77  
6.19/6.26	c 3310           35112          932620         3152849        0              3050           18   86   70   
6.19/6.28	c 3320           35241          935993         3164254        0              3057           76   102   87  
6.29/6.30	c 3330           35355          938903         3173499        0              3067           73   105   83  
6.29/6.31	c 3340           35464          941896         3183170        0              3076           80   100   83  
6.29/6.33	c 3350           35577          944740         3192303        0              3086           76   104   80  
6.29/6.35	c 3360           35698          947978         3205074        0              3093           96   104   90  
6.29/6.37	c 3370           35813          951142         3214350        0              3103           79   106   87  
6.29/6.39	c 3380           35908          953833         3222390        0              3113           78   86   77   
6.39/6.41	c 3390           36008          956356         3231132        0              3122           77   89   77   
6.39/6.43	c 3400           36094          959130         3238677        0              3132           23   77   62   
6.39/6.45	c 3410           36194          961951         3246889        0              3142           24   91   70   
6.39/6.47	c 3420           36293          964465         3255336        0              3152           78   90   74   
6.39/6.48	c 3430           36385          966447         3263261        0              3162           32   83   70   
6.49/6.50	c 3440           36480          969389         3271435        0              3172           70   86   76   
6.49/6.51	c 3450           36566          971537         3279306        0              3182           72   77   65   
6.49/6.54	c 3460           36690          974394         3293006        0              3188           87   103   87  
6.49/6.56	c 3470           36798          977258         3302341        0              3198           79   99   81   
6.49/6.58	c 3480           36906          979592         3312571        0              3208           23   99   71   
6.49/6.60	c 3490           37027          982472         3323852        0              3212           84   108   90  
6.59/6.62	c 3500           37134          985392         3332544        0              3222           73   98   78   
6.59/6.63	c 3510           37214          987792         3339624        0              3232           71   71   64   
6.59/6.65	c 3520           37309          990279         3348170        0              3242           70   86   73   
6.59/6.67	c 3530           37425          993153         3359734        0              3248           81   105   86  
6.59/6.68	c 3540           37537          996094         3368813        0              3258           81   103   90  
6.69/6.70	c 3550           37641          999026         3378168        0              3268           26   95   70   
6.69/6.72	c 3551           37720          1001586        3384994        0              3269           79   79   39   
6.69/6.73	c 3560           37818          1004346        3393385        0              3278           76   90   78   
6.69/6.75	c 3570           37926          1007281        3402557        0              3288           84   99   83   
6.69/6.76	c 3580           38025          1010006        3411276        0              3298           39   90   73   
6.69/6.78	c 3590           38126          1012791        3419769        0              3308           76   92   78   
6.79/6.80	c 3600           38231          1015856        3428581        0              3318           76   96   79   
6.79/6.82	c 3610           38344          1019095        3439001        0              3328           88   104   84  
6.79/6.84	c 3620           38462          1022087        3450267        0              3338           79   103   84  
6.79/6.85	c 3630           38567          1025007        3458828        0              3348           74   96   76   
6.79/6.87	c 3640           38667          1027329        3467604        0              3358           75   91   78   
6.79/6.89	c 3650           38759          1030194        3475707        0              3368           42   83   69   
6.89/6.91	c 3660           38876          1033414        3485216        0              3378           42   108   80  
6.89/6.92	c 3670           38965          1035626        3492916        0              3388           25   80   57   
6.89/6.94	c 3680           39065          1038593        3501586        0              3398           75   91   79   
6.89/6.96	c 3690           39168          1041607        3510416        0              3408           75   94   80   
6.89/6.98	c 3700           39278          1044819        3519177        0              3418           79   101   86  
6.99/7.00	c 3710           39391          1047945        3530792        0              3423           72   100   82  
6.99/7.01	c 3720           39500          1050808        3540064        0              3431           71   100   81  
6.99/7.03	c 3730           39614          1053732        3551282        0              3440           46   105   83  
6.99/7.05	c 3740           39722          1056604        3560741        0              3449           71   99   81   
6.99/7.07	c 3750           39846          1059725        3574114        0              3456           83   103   88  
6.99/7.09	c 3760           39946          1062608        3583909        0              3466           75   91   75   
7.09/7.11	c 3770           40064          1065758        3595977        0              3473           89   105   88  
7.09/7.13	c 3780           40173          1068511        3605349        0              3483           76   100   78  
7.09/7.15	c 3790           40272          1071489        3613789        0              3493           78   90   78   
7.09/7.17	c 3800           40372          1073894        3622714        0              3503           17   91   69   
7.09/7.19	c 3810           40481          1077051        3634031        0              3509           73   100   84  
7.19/7.21	c 3820           40593          1080082        3644858        0              3517           75   99   83   
7.19/7.23	c 3830           40714          1082573        3654406        0              3527           79   112   88  
7.19/7.24	c 3840           40793          1085069        3661326        0              3537           70   70   63   
7.19/7.26	c 3850           40872          1087224        3668757        0              3547           17   70   58   
7.19/7.28	c 3860           40986          1090298        3680198        0              3554           77   103   86  
7.29/7.30	c 3870           41096          1092816        3689704        0              3561           83   91   81   
7.29/7.32	c 3880           41188          1095291        3697983        0              3571           20   83   69   
7.29/7.34	c 3890           41299          1098225        3709446        0              3581           75   102   80  
7.29/7.36	c 3900           41405          1101232        3718240        0              3591           73   97   72   
7.29/7.37	c 3910           41487          1103213        3725473        0              3601           73   73   66   
7.29/7.39	c 3920           41574          1105983        3732939        0              3611           74   78   70   
7.39/7.41	c 3930           41675          1108727        3741397        0              3615           76   88   77   
7.39/7.43	c 3940           41795          1111866        3754462        0              3623           75   105   85  
7.39/7.45	c 3950           41914          1114854        3763777        0              3633           79   110   90  
7.39/7.47	c 3960           42038          1118206        3776240        0              3640           73   106   86  
7.39/7.49	c 3970           42142          1121046        3786271        0              3650           73   95   74   
7.49/7.51	c 3980           42263          1123918        3797626        0              3657           55   108   81  
7.49/7.53	c 3990           42381          1126916        3809326        0              3664           75   103   84  
7.49/7.55	c 4000           42491          1129707        3818921        0              3673           65   101   76  
7.49/7.56	c 4001           42566          1132091        3825378        0              3674           75   75   37   
7.49/7.58	c 4010           42679          1135197        3835627        0              3682           85   101   85  
7.59/7.60	c 4020           42798          1138104        3846020        0              3690           76   108   87  
7.59/7.62	c 4030           42909          1141003        3857721        0              3697           71   101   82  
7.59/7.64	c 4040           43015          1143804        3866492        0              3707           77   97   79   
7.59/7.65	c 4050           43105          1146493        3874247        0              3717           73   81   72   
7.59/7.68	c 4060           43230          1149617        3888075        0              3721           90   108   92  
7.69/7.71	c 4070           43342          1152650        3898850        0              3729           75   99   83   
7.69/7.73	c 4080           43464          1155599        3910472        0              3739           58   107   85  
7.69/7.75	c 4090           43577          1158550        3921232        0              3749           76   100   80  
7.69/7.77	c 4100           43681          1161186        3929869        0              3759           71   95   74   
7.69/7.78	c 4110           43791          1164253        3938741        0              3769           75   101   84  
7.79/7.80	c 4120           43906          1167291        3950106        0              3779           76   104   82  
7.79/7.82	c 4130           44007          1170251        3958816        0              3789           16   92   70   
7.79/7.84	c 4140           44109          1172754        3967916        0              3799           19   93   64   
7.79/7.85	c 4150           44210          1175704        3976626        0              3809           16   92   70   
7.79/7.87	c 4160           44318          1178255        3987483        0              3819           31   95   75   
7.79/7.89	c 4170           44435          1181352        3998234        0              3828           75   104   79  
7.89/7.91	c 4180           44551          1184568        4009260        0              3835           79   103   83  
7.89/7.93	c 4190           44665          1187680        4018438        0              3844           79   95   81   
7.89/7.94	c 4200           44774          1190723        4027409        0              3853           79   96   79   
7.89/7.96	c 4210           44884          1193612        4037413        0              3863           71   101   77  
7.89/7.98	c 4220           44966          1196105        4044321        0              3873           73   73   66   
7.89/7.99	c 4230           45059          1198565        4052235        0              3883           20   84   68   
7.99/8.01	c 4240           45170          1201680        4062440        0              3893           82   102   82  
7.99/8.02	c 4250           45253          1204257        4069312        0              3903           74   74   67   
7.99/8.04	c 4260           45360          1207043        4079400        0              3912           66   94   76   
7.99/8.06	c 4270           45465          1209871        4087756        0              3922           84   96   80   
7.99/8.08	c 4280           45559          1212453        4095740        0              3932           21   85   69   
7.99/8.09	c 4290           45670          1214983        4105467        0              3942           30   102   78  
8.09/8.11	c 4300           45753          1217583        4113046        0              3952           11   74   61   
8.09/8.12	c 4310           45844          1220195        4121219        0              3962           21   82   68   
8.09/8.14	c 4320           45932          1222467        4128644        0              3972           72   79   71   
8.09/8.15	c 4330           46018          1225073        4136610        0              3982           11   77   62   
8.09/8.17	c 4340           46138          1227605        4148036        0              3990           26   103   78  
8.19/8.20	c 4350           46263          1230920        4160771        0              3999           84   108   90  
8.19/8.22	c 4360           46374          1233667        4171847        0              4008           72   102   84  
8.19/8.24	c 4370           46483          1236544        4182564        0              4015           66   99   82   
8.19/8.26	c 4380           46593          1238909        4192636        0              4024           22   97   60   
8.19/8.28	c 4390           46706          1241345        4203762        0              4031           92   104   88  
8.29/8.30	c 4400           46824          1244235        4213928        0              4039           38   109   83  
8.29/8.32	c 4410           46937          1247251        4226039        0              4047           66   98   82   
8.29/8.34	c 4420           47037          1250074        4234624        0              4057           71   91   75   
8.29/8.36	c 4430           47132          1252232        4243383        0              4067           30   86   65   
8.29/8.38	c 4440           47229          1254860        4251649        0              4077           73   88   75   
8.29/8.39	c 4450           47329          1257396        4260123        0              4087           75   91   77   
8.39/8.41	c 4460           47436          1259795        4269418        0              4095           80   95   79   
8.39/8.43	c 4470           47541          1262627        4279680        0              4105           46   96   76   
8.39/8.45	c 4480           47641          1265343        4287889        0              4115           84   91   80   
8.39/8.47	c 4490           47729          1267700        4295543        0              4125           71   79   70   
8.39/8.49	c 4493           47813          1270196        4302615        0              4128           82   82   61   
8.49/8.50	c 4500           47902          1272436        4310285        0              4135           72   83   70   
8.49/8.52	c 4510           47987          1274889        4317294        0              4145           51   76   66   
8.49/8.53	c 4520           48082          1277497        4325093        0              4155           30   86   71   
8.49/8.55	c 4530           48168          1279901        4332218        0              4165           73   77   69   
8.49/8.57	c 4540           48264          1282395        4340664        0              4175           79   87   73   
8.49/8.59	c 4550           48364          1284788        4349654        0              4185           83   91   79   
8.59/8.61	c 4560           48477          1287452        4360140        0              4195           98   102   89  
8.59/8.63	c 4570           48581          1289910        4368843        0              4205           84   95   77   
8.59/8.65	c 4580           48679          1292317        4377456        0              4215           36   89   68   
8.59/8.66	c 4590           48763          1294477        4385078        0              4225           24   75   62   
8.59/8.69	c 4600           48876          1297182        4395455        0              4232           25   100   83  
8.69/8.71	c 4610           48971          1299411        4403274        0              4242           25   86   69   
8.69/8.73	c 4620           49071          1301870        4411988        0              4252           78   91   76   
8.69/8.74	c 4630           49166          1304287        4419876        0              4262           71   86   71   
8.69/8.77	c 4640           49278          1306943        4430451        0              4265           77   97   83   
8.69/8.78	c 4650           49362          1309029        4438136        0              4275           63   75   64   
8.79/8.80	c 4660           49461          1311264        4448059        0              4284           70   86   72   
8.79/8.82	c 4670           49546          1313253        4456273        0              4294           21   76   60   
8.79/8.83	c 4680           49627          1315407        4463504        0              4304           34   72   55   
8.79/8.85	c 4690           49716          1317309        4471542        0              4314           27   80   56   
8.79/8.86	c 4700           49806          1319636        4479397        0              4324           73   81   71   
8.79/8.89	c 4710           49917          1322330        4491425        0              4332           44   102   81  
8.89/8.91	c 4720           50027          1325307        4502503        0              4342           73   101   82  
8.89/8.93	c 4730           50129          1328003        4511044        0              4346           23   93   71   
8.89/8.94	c 4740           50246          1331080        4522678        0              4354           73   104   83  
8.89/8.96	c 4750           50343          1333585        4530893        0              4364           24   88   63   
8.89/8.98	c 4760           50455          1336310        4540433        0              4370           86   94   83   
8.99/9.00	c 4770           50562          1339289        4549195        0              4380           80   98   80   
8.99/9.02	c 4780           50661          1342088        4557525        0              4390           74   90   76   
8.99/9.03	c 4790           50766          1344691        4566329        0              4400           16   96   59   
8.99/9.05	c 4800           50869          1347137        4575376        0              4410           20   94   64   
8.99/9.07	c 4810           50987          1349911        4586224        0              4420           18   105   62  
8.99/9.09	c 4820           51085          1352640        4594638        0              4430           77   89   74   
9.09/9.11	c 4830           51165          1354956        4601610        0              4440           67   71   64   
9.09/9.12	c 4840           51268          1357441        4610688        0              4450           70   94   71   
9.09/9.14	c 4850           51379          1360219        4619748        0              4460           27   102   76  
9.09/9.15	c 4860           51466          1362085        4628624        0              4470           26   78   52   
9.09/9.17	c 4870           51563          1364531        4636878        0              4475           82   84   76   
9.09/9.19	c 4880           51655          1366929        4644622        0              4485           75   83   74   
9.19/9.20	c 4890           51756          1369663        4652941        0              4495           73   92   79   
9.19/9.22	c 4900           51873          1372777        4663333        0              4502           76   104   86  
9.19/9.24	c 4910           51981          1375819        4672006        0              4512           76   99   84   
9.19/9.25	c 4920           52090          1378733        4681004        0              4522           76   100   79  
9.19/9.27	c 4930           52193          1381729        4690511        0              4532           82   94   78   
9.19/9.29	c 4940           52289          1384638        4698802        0              4542           75   87   76   
9.29/9.31	c 4950           52398          1387712        4707959        0              4552           88   100   81  
9.29/9.33	c 4960           52498          1390575        4717402        0              4562           77   91   78   
9.29/9.35	c 4970           52594          1393430        4725218        0              4572           75   87   77   
9.29/9.36	c 4980           52680          1396094        4732498        0              4582           77   77   70   
9.29/9.38	c 4990           52787          1399068        4741110        0              4592           83   98   83   
9.39/9.40	c 5035           52940          1402393        4753926        0              4611           70   102   97  
9.49/9.54	c 5631           53967          1413736        4831074        0              4657           70   106   103 
9.69/9.75	c 6286           55374          1429360        4932965        0              4670           79   110   107 
9.99/10.02	c 7006           57142          1448911        5067790        0              4695           75   114   109 
10.38/10.49	c 7798           59156          1476262        5429378        0              4754           87   103   95  
10.78/10.85	c 8669           60678          1498791        5933270        0              4814           90   102   97  
10.99/11.04	c 9627           62122          1512918        6023196        0              4839           14   103   101 
11.78/11.84	c 10680          65567          1557530        6462211        0              4870           19   107   99  
12.78/12.85	c 11838          69755          1618504        7003730        0              4892           18   107   96  
13.29/13.35	c 13111          72687          1652766        7260360        0              4928           18   109   103 
14.18/14.23	c 14511          76549          1703437        7666034        0              4976           59   118   105 
15.49/15.52	c 16051          81721          1789266        8353797        0              5022           72   106   95  
16.49/16.53	c 17745          86188          1856694        9042677        0              5079           25   100   91  
18.18/18.22	c 19608          92652          1956275        9930322        0              5112           22   112   100 
18.69/18.72	c 21657          96207          1990914        10183862       0              5146           79   109   105 
20.58/20.66	c 23910          104369         2096543        11166895       0              5230           78   115   105 
21.78/21.84	c 26388          110300         2167694        11938868       0              5243           76   110   98  
22.58/22.60	c 29113          115133         2215797        12324107       0              5263           72   106   102 
24.48/24.57	c 32110          123684         2324198        13224734       0              5316           76   117   107 
27.78/27.84	c 35406          137008         2510517        14878653       0              5360           31   105   97  
29.18/29.23	c 39031          145910         2610733        15643550       0              5390           74   109   104 
32.77/32.86	c 43018          160568         2818669        17618677       0              5439           23   108   98  
36.67/36.77	c 47403          174825         3021350        19673864       0              5479           57   113   103 
40.57/40.66	c 52226          192013         3255309        21917062       0              5554           14   111   99  
44.67/44.74	c 57531          209511         3494649        24185996       0              5618           39   110   99  
46.77/46.84	c 63366          223239         3638222        25139973       0              5649           52   112   103 
52.17/52.27	c 69784          246670         3964616        28182910       0              5672           76   102   93  
57.37/57.42	c 76843          270573         4284277        31527742       0              5688           14   108   97  
63.46/63.55	c 84607          295248         4636053        34775685       0              5704           73   107   96  
70.37/70.45	c 93147          326384         5032145        38773365       0              5762           33   110   99  
76.46/76.51	c 102541         354545         5388915        42420783       0              5813           25   110   97  
84.66/84.78	c 112874         387026         5824193        47089176       0              5844           26   108   96  
91.36/91.41	c 124240         416326         6196239        51126162       0              5921           25   111   101 
100.75/100.86	c 136742         462361         6812613        55926191       0              5973           20   112   102 
111.85/111.90	c 150494         504206         7431771        62031560       0              6015           38   106   96  
116.75/116.80	c 165621         535860         7762098        64507259       0              6079           80   110   106 
127.56/127.69	c 182260         585707         8399151        71293329       0              6150           61   109   98  
138.85/138.90	c 200562         647870         8961999        74275423       0              6174           35   103   94  
149.65/149.71	c 220694         711880         9632069        78526149       0              6228           71   109   99  
160.74/160.80	c 242839         778362         10347969       85218894       0              6249           24   110   99  
176.54/176.67	c 267198         855387         11283795       95008630       0              6316           24   110   98  
188.14/188.22	c 293992         916440         12010803       101973073      0              6384           85   110   100 
205.13/205.26	c 323465         1008320        13128238       111772619      0              6440           72   111   101 
229.42/229.55	c 355885         1114650        14544196       123516000      0              6482           80   110   99  
253.72/253.85	c 391547         1220257        15949760       138109673      0              6547           17   108   99  
279.61/279.72	c 430775         1336745        17419944       151676739      0              6646           8   112   105  
291.41/291.51	c 473925         1398808        18024354       157611213      0              6693           70   109   102 
323.99/324.10	c 521390         1548253        19986448       177176932      0              6713           87   111   98  
353.98/354.17	c 573601         1684602        21541020       191893291      0              6772           69   110   98  
384.37/384.54	c 631033         1877126        23583763       205915701      0              6816           57   110   100 
437.96/438.18	c 694208         2104675        26829250       233131148      0              6882           33   107   96  
483.64/483.80	c 763700         2324758        29606920       263372371      0              6941           69   108   95  
531.73/531.91	c 840141         2536708        32422834       294891349      0              7011           70   107   97  
587.02/587.22	c 924226         2759523        35521491       326421097      0              7076           73   108   95  
655.20/655.41	c 1016719        3039321        39304673       368419944      0              7109           55   106   93  
736.68/736.90	c 1118461        3358791        43563070       410929392      0              7217           77   113   99  
817.86/818.18	c 1230377        3724797        48333932       450364273      0              7262           77   114   101 
897.44/897.78	c 1353484        4093055        53174638       499720177      0              7305           78   106   95  
998.70/999.04	c 1488901        4574131        59632654       561860842      0              7401           16   110   94  
1027.30/1027.69	c 1637859        4811221        61729777       578152256      0              7434           87   110   104 
1146.87/1147.20	c 1801712        5380386        68880629       651831786      0              7558           80   110   97  
1233.14/1233.55	c 1981950        5828254        74189542       706677847      0              7622           71   110   102 
1394.91/1395.33	c 2180211        6542222        83515949       797047500      0              7660           84   112   100 
1538.27/1538.76	c 2398298        7279324        92687428       881984318      0              7706           84   113   100 
1734.11/1734.69	c 2638193        8138347        104180750      999013389      0              7731           10   108   97  
1828.68/1829.27	c 2902077        8743469        110538089      1050073176     0              7774           53   113   107 
2041.83/2042.42	c 3192349        9621108        122801147      1179714144     0              7820           84   114   97  
2327.25/2327.90	c 3511648        10908446       140021800      1333298310     0              7852           71   109   98

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-4240771-1500626371/watcher-4240771-1500626371 -o /tmp/evaluation-result-4240771-1500626371/solver-4240771-1500626371 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5344 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240771-1500626371.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.06 2.11 3/187 6889
/proc/meminfo: memFree=31968872/32770624 swapFree=6312/16588
[pid=6889] ppid=6886 vsize=27124 CPUtime=0 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 1005 0 0 0 0 0 0 0 20 0 1 0 17384169 27774976 832 33554432000 4194304 5970956 140728892574576 140728892571224 139683793669906 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 6781 832 707 434 0 145 0

[startup+0.100108 s]
/proc/loadavg: 2.07 2.06 2.11 3/187 6889
/proc/meminfo: memFree=31968872/32770624 swapFree=6312/16588
[pid=6889] ppid=6886 vsize=27632 CPUtime=0.09 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 1177 0 0 0 9 0 0 0 20 0 1 0 17384169 28295168 1017 33554432000 4194304 5970956 140728892574576 140728892568408 139683794421104 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 6908 1017 786 434 0 272 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27632

[startup+0.200257 s]
/proc/loadavg: 2.07 2.06 2.11 3/187 6889
/proc/meminfo: memFree=31968872/32770624 swapFree=6312/16588
[pid=6889] ppid=6886 vsize=52808 CPUtime=0.19 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 5782 0 0 0 19 0 0 0 20 0 1 0 17384169 54075392 6601 33554432000 4194304 5970956 140728892574576 140728892571352 4964768 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13202 6601 833 434 0 6566 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 52808

[startup+0.300249 s]
/proc/loadavg: 2.07 2.06 2.11 3/187 6889
/proc/meminfo: memFree=31968872/32770624 swapFree=6312/16588
[pid=6889] ppid=6886 vsize=53108 CPUtime=0.29 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 5861 0 0 0 29 0 0 0 20 0 1 0 17384169 54382592 6667 33554432000 4194304 5970956 140728892574576 140728892571912 4971333 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13277 6667 833 434 0 6641 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53108

[startup+0.700176 s]
/proc/loadavg: 2.07 2.06 2.11 3/187 6889
/proc/meminfo: memFree=31968872/32770624 swapFree=6312/16588
[pid=6889] ppid=6886 vsize=53240 CPUtime=0.69 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 5896 0 0 0 69 0 0 0 20 0 1 0 17384169 54517760 6733 33554432000 4194304 5970956 140728892574576 140728892571912 5070093 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13310 6733 834 434 0 6674 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53240

[startup+1.50017 s]
/proc/loadavg: 2.07 2.06 2.11 3/188 6890
/proc/meminfo: memFree=31945800/32770624 swapFree=6312/16840
[pid=6889] ppid=6886 vsize=53368 CPUtime=1.49 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 5916 0 0 0 149 0 0 0 20 0 1 0 17384169 54648832 6770 33554432000 4194304 5970956 140728892574576 140728892571912 4967804 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13342 6770 834 434 0 6706 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53368

[startup+3.10017 s]
/proc/loadavg: 2.07 2.06 2.11 3/188 6890
/proc/meminfo: memFree=31943512/32770624 swapFree=6312/16840
[pid=6889] ppid=6886 vsize=53368 CPUtime=3.08 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 9911 0 0 0 308 0 0 0 20 0 1 0 17384169 54648832 6800 33554432000 4194304 5970956 140728892574576 140728892571912 4977372 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13342 6800 834 434 0 6706 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 53368

[startup+6.30018 s]
/proc/loadavg: 2.06 2.06 2.11 3/188 6890
/proc/meminfo: memFree=31943616/32770624 swapFree=6312/16852
[pid=6889] ppid=6886 vsize=53496 CPUtime=6.29 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 14531 0 0 0 628 1 0 0 20 0 1 0 17384169 54779904 6824 33554432000 4194304 5970956 140728892574576 140728892571912 4977104 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13374 6824 834 434 0 6738 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53496

[startup+12.7002 s]
/proc/loadavg: 2.06 2.06 2.11 3/188 6890
/proc/meminfo: memFree=31943372/32770624 swapFree=6312/16868
[pid=6889] ppid=6886 vsize=53624 CPUtime=12.68 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 19062 0 0 0 1267 1 0 0 20 0 1 0 17384169 54910976 6846 33554432000 4194304 5970956 140728892574576 140728892571912 4909007 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 6846 834 434 0 6770 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 53624

[startup+25.5002 s]
/proc/loadavg: 2.05 2.06 2.10 3/188 6890
/proc/meminfo: memFree=31940552/32770624 swapFree=6312/16884
[pid=6889] ppid=6886 vsize=53624 CPUtime=25.48 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 24029 0 0 0 2547 1 0 0 20 0 1 0 17384169 54910976 6852 33554432000 4194304 5970956 140728892574576 140728892571912 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 6852 834 434 0 6770 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53624

[startup+51.1002 s]
/proc/loadavg: 2.03 2.05 2.10 3/188 6897
/proc/meminfo: memFree=31940832/32770624 swapFree=6312/16916
[pid=6889] ppid=6886 vsize=53624 CPUtime=51.07 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 25553 0 0 0 5106 1 0 0 20 0 1 0 17384169 54910976 6894 33554432000 4194304 5970956 140728892574576 140728892571912 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 6894 834 434 0 6770 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53624

[startup+102.3 s]
/proc/loadavg: 2.01 2.04 2.10 3/188 6898
/proc/meminfo: memFree=31942144/32770624 swapFree=6312/16996
[pid=6889] ppid=6886 vsize=53624 CPUtime=102.26 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 26765 0 0 0 10225 1 0 0 20 0 1 0 17384169 54910976 6923 33554432000 4194304 5970956 140728892574576 140728892571912 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 6923 834 434 0 6770 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 53624

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/188 6899
/proc/meminfo: memFree=31942400/32770624 swapFree=6312/17064
[pid=6889] ppid=6886 vsize=53624 CPUtime=162.24 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 27924 0 0 0 16222 2 0 0 20 0 1 0 17384169 54910976 6955 33554432000 4194304 5970956 140728892574576 140728892571912 5070064 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 6955 834 434 0 6770 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 53624

[startup+222.306 s]
/proc/loadavg: 2.09 2.06 2.10 3/188 6900
/proc/meminfo: memFree=31942528/32770624 swapFree=6312/17116
[pid=6889] ppid=6886 vsize=53624 CPUtime=222.23 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 29062 0 0 0 22221 2 0 0 20 0 1 0 17384169 54910976 6975 33554432000 4194304 5970956 140728892574576 140728892571912 4908971 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 6975 834 434 0 6770 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 53624

[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.09 3/187 6901
/proc/meminfo: memFree=31943860/32770624 swapFree=6312/17164
[pid=6889] ppid=6886 vsize=53624 CPUtime=282.21 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 30037 0 0 0 28219 2 0 0 20 0 1 0 17384169 54910976 6997 33554432000 4194304 5970956 140728892574576 140728892571912 4908912 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 6997 834 434 0 6770 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 53624

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.08 3/187 6903
/proc/meminfo: memFree=31941912/32770624 swapFree=6312/18364
[pid=6889] ppid=6886 vsize=53624 CPUtime=342.19 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 31167 0 0 0 34217 2 0 0 20 0 1 0 17384169 54910976 7004 33554432000 4194304 5970956 140728892574576 140728892571912 4964575 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 7004 834 434 0 6770 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 53624

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 6904
/proc/meminfo: memFree=31941900/32770624 swapFree=6312/18404
[pid=6889] ppid=6886 vsize=53624 CPUtime=402.17 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 32236 0 0 0 40215 2 0 0 20 0 1 0 17384169 54910976 7013 33554432000 4194304 5970956 140728892574576 140728892571912 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 7013 834 434 0 6770 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 53624

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/187 6905
/proc/meminfo: memFree=31941752/32770624 swapFree=6312/18448
[pid=6889] ppid=6886 vsize=53624 CPUtime=462.15 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 33236 0 0 0 46213 2 0 0 20 0 1 0 17384169 54910976 7019 33554432000 4194304 5970956 140728892574576 140728892571912 5052085 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 7019 834 434 0 6770 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 53624

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/187 6906
/proc/meminfo: memFree=31941676/32770624 swapFree=6312/18496
[pid=6889] ppid=6886 vsize=53624 CPUtime=522.13 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 34245 0 0 0 52211 2 0 0 20 0 1 0 17384169 54910976 7025 33554432000 4194304 5970956 140728892574576 140728892571912 4964584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 7025 834 434 0 6770 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 53624

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/187 6907
/proc/meminfo: memFree=31941592/32770624 swapFree=6312/18540
[pid=6889] ppid=6886 vsize=53624 CPUtime=582.13 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 34908 0 0 0 58210 3 0 0 20 0 1 0 17384169 54910976 7031 33554432000 4194304 5970956 140728892574576 140728892571912 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13406 7031 834 434 0 6770 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 53624


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


[startup+1542.31 s]
/proc/loadavg: 2.04 2.04 2.05 3/189 6964
/proc/meminfo: memFree=31940544/32770624 swapFree=6312/19232
[pid=6889] ppid=6886 vsize=53756 CPUtime=1541.87 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 48581 0 0 0 154182 5 0 0 20 0 1 0 17384169 55046144 7101 33554432000 4194304 5970956 140728892574576 140728892571912 5052062 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7101 834 434 0 6803 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 53756

[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 6965
/proc/meminfo: memFree=31940452/32770624 swapFree=6312/19268
[pid=6889] ppid=6886 vsize=53756 CPUtime=1601.85 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 49012 0 0 0 160180 5 0 0 20 0 1 0 17384169 55046144 7101 33554432000 4194304 5970956 140728892574576 140728892571912 4961411 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7101 834 434 0 6803 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 53756

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6966
/proc/meminfo: memFree=31940824/32770624 swapFree=6312/19308
[pid=6889] ppid=6886 vsize=53756 CPUtime=1661.83 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 49452 0 0 0 166178 5 0 0 20 0 1 0 17384169 55046144 7101 33554432000 4194304 5970956 140728892574576 140728892571912 4971677 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7101 834 434 0 6803 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 53756

[startup+1722.3 s]
/proc/loadavg: 2.19 2.08 2.06 3/187 7030
/proc/meminfo: memFree=31967508/32770624 swapFree=6312/19664
[pid=6889] ppid=6886 vsize=53756 CPUtime=1721.81 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 49896 0 0 0 172176 5 0 0 20 0 1 0 17384169 55046144 7101 33554432000 4194304 5970956 140728892574576 140728892571912 4969902 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7101 834 434 0 6803 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 53756

[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 2.06 3/187 7031
/proc/meminfo: memFree=31967732/32770624 swapFree=6312/19744
[pid=6889] ppid=6886 vsize=53756 CPUtime=1781.79 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 50777 0 0 0 178174 5 0 0 20 0 1 0 17384169 55046144 7104 33554432000 4194304 5970956 140728892574576 140728892571912 4964586 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7104 834 434 0 6803 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 53756

[startup+1842.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/187 7039
/proc/meminfo: memFree=31966028/32770624 swapFree=6312/19824
[pid=6889] ppid=6886 vsize=53756 CPUtime=1841.78 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 51842 0 0 0 184173 5 0 0 20 0 1 0 17384169 55046144 7107 33554432000 4194304 5970956 140728892574576 140728892571912 4964584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7107 834 434 0 6803 0
Current children cumulated CPU time (s) 1841.78
Current children cumulated vsize (KiB) 53756

[startup+1902.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 7040
/proc/meminfo: memFree=31967300/32770624 swapFree=6312/19872
[pid=6889] ppid=6886 vsize=53756 CPUtime=1901.77 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 52634 0 0 0 190171 6 0 0 20 0 1 0 17384169 55046144 7108 33554432000 4194304 5970956 140728892574576 140728892571912 5070101 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7108 834 434 0 6803 0
Current children cumulated CPU time (s) 1901.77
Current children cumulated vsize (KiB) 53756

[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 7041
/proc/meminfo: memFree=31967176/32770624 swapFree=6312/19916
[pid=6889] ppid=6886 vsize=53756 CPUtime=1961.75 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 53404 0 0 0 196169 6 0 0 20 0 1 0 17384169 55046144 7108 33554432000 4194304 5970956 140728892574576 140728892571912 4908982 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7108 834 434 0 6803 0
Current children cumulated CPU time (s) 1961.75
Current children cumulated vsize (KiB) 53756

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 7042
/proc/meminfo: memFree=31967036/32770624 swapFree=6312/19956
[pid=6889] ppid=6886 vsize=53756 CPUtime=2021.73 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 54164 0 0 0 202167 6 0 0 20 0 1 0 17384169 55046144 7108 33554432000 4194304 5970956 140728892574576 140728892571912 5052121 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7108 834 434 0 6803 0
Current children cumulated CPU time (s) 2021.73
Current children cumulated vsize (KiB) 53756

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 7043
/proc/meminfo: memFree=31966868/32770624 swapFree=6312/20008
[pid=6889] ppid=6886 vsize=53756 CPUtime=2081.72 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 55148 0 0 0 208166 6 0 0 20 0 1 0 17384169 55046144 7114 33554432000 4194304 5970956 140728892574576 140728892571912 4971646 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7114 834 434 0 6803 0
Current children cumulated CPU time (s) 2081.72
Current children cumulated vsize (KiB) 53756

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7044
/proc/meminfo: memFree=31966868/32770624 swapFree=6312/20032
[pid=6889] ppid=6886 vsize=53756 CPUtime=2141.7 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 55532 0 0 0 214164 6 0 0 20 0 1 0 17384169 55046144 7114 33554432000 4194304 5970956 140728892574576 140728892571912 4978399 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7114 834 434 0 6803 0
Current children cumulated CPU time (s) 2141.7
Current children cumulated vsize (KiB) 53756

[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 7045
/proc/meminfo: memFree=31966704/32770624 swapFree=6312/20056
[pid=6889] ppid=6886 vsize=53756 CPUtime=2201.69 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 55914 0 0 0 220163 6 0 0 20 0 1 0 17384169 55046144 7114 33554432000 4194304 5970956 140728892574576 140728892571912 4961400 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7114 834 434 0 6803 0
Current children cumulated CPU time (s) 2201.69
Current children cumulated vsize (KiB) 53756

[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 7046
/proc/meminfo: memFree=31966944/32770624 swapFree=6312/20084
[pid=6889] ppid=6886 vsize=53756 CPUtime=2261.67 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 56290 0 0 0 226161 6 0 0 20 0 1 0 17384169 55046144 7114 33554432000 4194304 5970956 140728892574576 140728892571912 5070791 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7114 834 434 0 6803 0
Current children cumulated CPU time (s) 2261.67
Current children cumulated vsize (KiB) 53756

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7047
/proc/meminfo: memFree=31966616/32770624 swapFree=6312/20112
[pid=6889] ppid=6886 vsize=53756 CPUtime=2321.65 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 56670 0 0 0 232159 6 0 0 20 0 1 0 17384169 55046144 7114 33554432000 4194304 5970956 140728892574576 140728892571912 5070830 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7114 834 434 0 6803 0
Current children cumulated CPU time (s) 2321.65
Current children cumulated vsize (KiB) 53756

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7048
/proc/meminfo: memFree=31966052/32770624 swapFree=6312/20160
[pid=6889] ppid=6886 vsize=53756 CPUtime=2381.63 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 57524 0 0 0 238157 6 0 0 20 0 1 0 17384169 55046144 7116 33554432000 4194304 5970956 140728892574576 140728892571912 4967896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7116 834 434 0 6803 0
Current children cumulated CPU time (s) 2381.63
Current children cumulated vsize (KiB) 53756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7049
/proc/meminfo: memFree=31965344/32770624 swapFree=6312/20184
[pid=6889] ppid=6886 vsize=53756 CPUtime=2400.03 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 57912 0 0 0 239997 6 0 0 20 0 1 0 17384169 55046144 7116 33554432000 4194304 5970956 140728892574576 140728892571912 5052080 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7116 834 434 0 6803 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 53756

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

[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7049
/proc/meminfo: memFree=31965344/32770624 swapFree=6312/20184
[pid=6889] ppid=6886 vsize=53756 CPUtime=2400.03 cores=0,2,4,6
/proc/6889/stat : 6889 (cosoco) R 6886 6889 5313 0 -1 4202496 57912 0 0 0 239997 6 0 0 20 0 1 0 17384169 55046144 7116 33554432000 4194304 5970956 140728892574576 140728892571912 5052080 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35758080 140728892576956 140728892577091 140728892577091 140728892579790 0
/proc/6889/statm: 13439 7116 834 434 0 6803 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 53756

Child status: 1
Real time (s): 2400.7
CPU time (s): 2400.04
CPU user time (s): 2399.97
CPU system time (s): 0.067981
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 53756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.067981
maximum resident set size= 28508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57943
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= 17
involuntary context switches= 122810

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66879 second user time and 8.0997 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-21 10:39:31
IDJOB=4240771
IDBENCH=124104
IDSOLVER=2621
FILE ID=node104/4240771-1500626371
RUNJOBID= node104-1500623789-5344
PBS_JOBID= 20623023
Free space on /tmp= 62012 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-080.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240771-1500626371/watcher-4240771-1500626371 -o /tmp/evaluation-result-4240771-1500626371/solver-4240771-1500626371 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5344 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240771-1500626371.xml

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

MD5SUM BENCH= f0cd38ecba005234ebb464e977fa1d5a
RANDOM SEED=91996560

node104.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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31969248 kB
MemAvailable:   31958724 kB
Buffers:          122948 kB
Cached:           152612 kB
SwapCached:            0 kB
Active:           284660 kB
Inactive:          89000 kB
Active(anon):      45428 kB
Inactive(anon):    72412 kB
Active(file):     239232 kB
Inactive(file):    16588 kB
Unevictable:        6312 kB
Mlocked:            6312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2340 kB
Writeback:             0 kB
AnonPages:        103920 kB
Mapped:            34340 kB
Shmem:             17044 kB
Slab:             124928 kB
SReclaimable:      98980 kB
SUnreclaim:        25948 kB
KernelStack:        3360 kB
PageTables:         5076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     386272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62016 MiB
End job on node104 at 2017-07-21 11:19:32