Trace number 4240882

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1? (TO) 2400.1 2400.1

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-16.xml
MD5SUM27c67f30ca0ef1b1bbbeaa4cb2c2f178
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.91860801
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints48
Number of domains2
Minimum domain size16
Maximum domain size32
Distribution of domain sizes[{"size":16,"count":32},{"size":32,"count":32}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":32},{"degree":32,"count":32}]
Minimum constraint arity2
Maximum constraint arity33
Distribution of constraint arities[{"arity":2,"count":16},{"arity":33,"count":32}]
Number of extensional constraints0
Number of intensional constraints16
Distribution of constraint types[{"type":"intension","count":16},{"type":"element","count":32}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.03	c SAT : Variables: 1536 -- Clauses: 19776
0.00/0.03	c root propagations     : 304         
0.00/0.03	c restarts enabled, print stats at every restarts
0.00/0.03	c
0.00/0.03	c
0.00/0.03	c
0.00/0.03	c This is cosoco 1.0 --  
0.00/0.03	c
0.00/0.03	c ========================================[ Problem Statistics ]===========================================
0.00/0.03	c |                                                                                                       
0.00/0.03	c |  Parse time        :         0.03 s 
0.00/0.03	c |
0.00/0.03	c |               Variables: 64
0.00/0.03	c |            Domain Sizes: 16..32
0.00/0.03	c |
0.00/0.03	c |             Constraints: 48
0.00/0.03	c |                   Arity: 2..33  -- Binary: 16
0.00/0.03	c | 
0.00/0.03	c |                   Types: 
0.00/0.03	c |                          Element Constant: 32
0.00/0.03	c |                          Intension: 16
0.00/0.03	c |                          
0.00/0.03	c =========================================================================================================
0.00/0.03	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.04	c 10             98             4483           1616           32             3              41   53   41   
0.00/0.04	c 20             142            6583           2721           32             9              21   26   22   
0.00/0.04	c 30             171            8455           3582           32             19             20   20   18   
0.00/0.04	c 40             200            10857          4638           32             29             20   20   18   
0.00/0.04	c 50             241            13385          5783           32             31             23   26   22   
0.00/0.04	c 60             279            16142          7240           32             37             22   24   20   
0.00/0.04	c 70             324            18868          8475           32             39             18   29   25   
0.00/0.04	c 80             364            22040          10165          32             49             22   22   20   
0.00/0.05	c 90             401            25577          11911          32             58             20   20   18   
0.00/0.05	c 100            443            28698          13270          32             68             24   24   21   
0.00/0.05	c 101            464            29944          13926          32             69             21   21   10   
0.00/0.05	c 110            504            32367          15052          32             77             23   24   21   
0.00/0.05	c 120            542            36322          17193          32             87             20   20   18   
0.00/0.05	c 130            581            39033          18736          32             97             21   21   19   
0.00/0.05	c 140            608            41467          20100          32             107            17   18   15   
0.00/0.05	c 150            637            43322          21086          32             111            19   19   17   
0.00/0.05	c 160            666            45390          22296          32             121            20   20   18   
0.00/0.06	c 170            702            47941          23439          32             128            21   21   19   
0.00/0.06	c 180            736            50062          24341          32             138            19   22   17   
0.00/0.06	c 190            765            52105          25262          32             148            20   20   18   
0.00/0.06	c 200            796            54109          26139          32             152            20   21   18   
0.00/0.06	c 210            826            56544          27466          32             162            18   21   17   
0.00/0.06	c 211            845            57731          28101          32             163            19   19   9    
0.00/0.06	c 220            873            59690          29104          32             172            18   20   16   
0.00/0.06	c 230            901            62116          30349          32             182            19   19   17   
0.00/0.06	c 240            929            64452          31497          32             192            19   19   17   
0.00/0.06	c 250            957            66941          32896          32             202            19   19   17   
0.00/0.07	c 260            987            68810          33767          32             212            20   21   18   
0.00/0.07	c 270            1020           70847          34732          32             222            21   21   19   
0.00/0.07	c 280            1051           72943          35669          32             226            21   21   19   
0.00/0.07	c 290            1077           75692          37110          32             236            17   17   15   
0.00/0.07	c 300            1103           78083          38292          32             246            17   17   15   
0.00/0.07	c 310            1132           80110          39113          32             256            20   20   18   
0.00/0.07	c 320            1162           82222          39965          32             266            21   21   19   
0.00/0.07	c 330            1189           84186          40958          32             276            18   18   16   
0.00/0.07	c 332            1211           85508          41618          32             278            21   21   14   
0.00/0.07	c 340            1237           87069          42266          32             286            19   19   16   
0.00/0.08	c 350            1265           89548          43410          32             296            19   19   17   
0.00/0.08	c 360            1293           91881          44519          32             306            19   19   17   
0.00/0.08	c 370            1321           93582          45235          32             316            19   19   17   
0.00/0.08	c 380            1351           95481          46068          32             323            20   20   18   
0.00/0.08	c 390            1382           97572          47188          32             327            21   21   19   
0.00/0.08	c 400            1409           99705          48419          32             337            18   18   16   
0.00/0.08	c 410            1436           102078         49666          32             347            18   18   16   
0.00/0.08	c 420            1463           104363         50826          32             357            18   18   16   
0.00/0.08	c 430            1493           106444         51877          32             365            19   20   17   
0.00/0.08	c 440            1520           108444         52800          32             375            18   18   16   
0.00/0.08	c 450            1548           110603         54016          32             385            19   19   17   
0.00/0.09	c 460            1580           113252         55222          32             395            19   23   17   
0.00/0.09	c 465            1604           115136         56226          32             400            18   20   15   
0.00/0.09	c 470            1626           117179         57325          32             405            18   18   15   
0.00/0.09	c 480            1655           119542         58753          32             409            19   19   17   
0.00/0.09	c 490            1683           121697         59844          32             419            19   19   17   
0.00/0.09	c 500            1713           124138         60980          32             429            18   21   18   
0.00/0.09	c 510            1744           126468         62229          32             433            20   20   18   
0.00/0.09	c 520            1778           128597         63223          32             436            22   24   20   
0.00/0.09	c 530            1805           131659         64999          32             446            18   18   16   
0.00/0.09	c 540            1842           134416         66297          32             455            18   24   18   
0.00/0.10	c 550            1872           136304         67275          32             465            21   21   19   
0.09/0.10	c 560            1905           138715         68474          32             471            18   23   19   
0.09/0.10	c 570            1933           140796         69675          32             472            19   19   17   
0.09/0.10	c 580            1960           143607         71234          32             482            18   18   16   
0.09/0.10	c 590            1991           145723         72291          32             492            21   22   19   
0.09/0.10	c 600            2019           148183         73418          32             502            19   19   17   
0.09/0.10	c 610            2045           150258         74415          32             512            17   17   15   
0.09/0.10	c 611            2062           151360         75021          32             513            17   17   8    
0.09/0.10	c 620            2089           153549         76180          32             522            18   19   16   
0.09/0.10	c 630            2120           155565         77130          32             532            21   22   19   
0.09/0.10	c 640            2156           158093         78354          32             535            21   22   19   
0.09/0.11	c 650            2188           160187         79402          32             539            21   22   19   
0.09/0.11	c 660            2216           162489         80666          32             544            18   18   16   
0.09/0.11	c 670            2243           165098         82208          32             554            18   18   16   
0.09/0.11	c 680            2272           167397         83550          32             560            18   19   16   
0.09/0.11	c 690            2300           169528         84648          32             565            17   18   15   
0.09/0.11	c 700            2326           172057         86114          32             575            17   17   15   
0.09/0.11	c 710            2353           174465         87553          32             585            18   18   16   
0.09/0.11	c 720            2381           176659         88617          32             595            18   19   16   
0.09/0.11	c 730            2411           178707         89552          32             597            20   20   18   
0.09/0.11	c 740            2444           180922         90652          32             607            19   24   19   
0.09/0.11	c 750            2481           183439         91751          32             616            23   23   20   
0.09/0.12	c 760            2510           185793         92942          32             626            20   20   18   
0.09/0.12	c 770            2548           188774         94440          32             636            20   20   18   
0.09/0.12	c 771            2569           189942         95041          32             637            21   21   10   
0.09/0.12	c 780            2595           192237         96184          32             646            18   18   16   
0.09/0.12	c 790            2640           195360         97786          32             656            23   23   20   
0.09/0.12	c 800            2674           197984         99021          32             657            20   25   18   
0.09/0.12	c 810            2703           200749         100435         32             667            18   20   17   
0.09/0.12	c 820            2732           202512         101250         32             677            19   20   17   
0.09/0.12	c 830            2765           204556         102242         32             681            21   21   19   
0.09/0.12	c 840            2796           206967         103461         32             688            19   22   18   
0.09/0.12	c 850            2824           209388         104637         32             698            19   19   17   
0.09/0.13	c 860            2854           211656         105888         32             701            20   20   18   
0.09/0.13	c 870            2885           213808         106889         32             704            20   21   19   
0.09/0.13	c 880            2913           216162         108090         32             714            17   19   15   
0.09/0.13	c 890            2942           218701         109595         32             719            19   19   17   
0.09/0.13	c 900            2972           221099         110804         32             729            19   20   17   
0.09/0.13	c 910            3005           223267         111827         32             739            18   24   16   
0.09/0.13	c 920            3034           225436         112941         32             741            19   19   17   
0.09/0.13	c 930            3061           228065         114129         32             751            18   18   16   
0.09/0.13	c 940            3093           230490         115406         32             761            17   23   16   
0.09/0.13	c 947            3117           231861         116060         32             768            18   18   15   
0.09/0.13	c 950            3139           233122         116724         32             771            20   20   15   
0.09/0.13	c 960            3164           235346         118021         32             781            15   16   13   
0.09/0.14	c 970            3189           237523         119137         32             791            16   16   14   
0.09/0.14	c 980            3214           239970         120508         32             801            15   16   13   
0.09/0.14	c 990            3241           241869         121418         32             804            16   17   15   
0.09/0.14	c 1000           3274           244546         122908         32             806            20   20   18   
0.09/0.14	c 1010           3303           246612         123940         32             816            20   20   18   
0.09/0.14	c 1020           3335           249127         125217         32             825            20   23   18   
0.09/0.14	c 1030           3362           250795         126045         32             835            17   18   15   
0.09/0.14	c 1040           3389           252797         126993         32             845            18   18   16   
0.09/0.14	c 1050           3417           254880         128083         32             847            18   18   16   
0.09/0.14	c 1060           3445           257141         129167         32             857            18   19   16   
0.09/0.14	c 1070           3474           258996         129933         32             859            19   19   17   
0.09/0.14	c 1080           3503           261095         130989         32             869            19   20   17   
0.09/0.14	c 1090           3533           263578         132152         32             879            21   21   19   
0.09/0.15	c 1100           3560           266408         133598         32             889            18   18   16   
0.09/0.15	c 1110           3592           268654         134559         32             899            23   23   20   
0.09/0.15	c 1120           3620           270811         135787         32             909            19   19   17   
0.09/0.15	c 1130           3646           272863         136856         32             919            17   17   15   
0.09/0.15	c 1140           3672           275402         138267         32             929            17   17   15   
0.09/0.15	c 1141           3689           276575         138895         32             930            17   17   8    
0.09/0.15	c 1150           3727           279559         140523         32             937            16   24   17   
0.09/0.15	c 1160           3759           281621         141618         32             941            20   20   18   
0.09/0.15	c 1170           3791           283713         142792         32             951            22   23   20   
0.09/0.15	c 1180           3826           285955         143919         32             953            19   24   19   
0.09/0.15	c 1190           3854           288309         145055         32             963            19   19   17   
0.09/0.15	c 1200           3882           290751         146208         32             973            19   19   17   
0.09/0.15	c 1210           3913           292814         147225         32             978            20   21   18   
0.09/0.16	c 1220           3946           294857         148232         32             983            20   21   19   
0.09/0.16	c 1230           3975           296874         149108         32             993            20   20   18   
0.09/0.16	c 1240           4006           299031         150122         32             999            19   21   18   
0.09/0.16	c 1250           4036           301005         150982         32             1007           20   20   18   
0.09/0.16	c 1260           4074           303573         152233         32             1010           22   23   20   
0.09/0.16	c 1270           4105           305941         153352         32             1020           17   22   19   
0.09/0.16	c 1280           4132           307748         154321         32             1030           18   18   16   
0.09/0.16	c 1290           4158           309859         155475         32             1040           17   17   15   
0.09/0.16	c 1300           4184           311631         156422         32             1050           17   17   15   
0.09/0.16	c 1310           4210           313426         157289         32             1060           17   17   15   
0.09/0.16	c 1320           4237           315746         158717         32             1065           17   17   15   
0.09/0.16	c 1330           4267           317653         159514         32             1075           21   21   19   
0.09/0.16	c 1340           4296           319507         160335         32             1085           20   20   18   
0.09/0.16	c 1350           4326           321578         161424         32             1089           19   20   17   
0.09/0.17	c 1352           4347           322865         162081         32             1091           20   20   13   
0.09/0.17	c 1360           4376           324651         162903         32             1099           21   21   18   
0.09/0.17	c 1370           4400           326981         164190         32             1109           15   15   13   
0.09/0.17	c 1380           4425           328607         164922         32             1119           16   16   14   
0.09/0.17	c 1390           4453           330477         165842         32             1128           17   18   16   
0.09/0.17	c 1400           4482           332333         166791         32             1138           18   19   17   
0.09/0.17	c 1410           4510           334183         167657         32             1148           19   19   17   
0.09/0.17	c 1420           4539           335981         168538         32             1158           19   20   18   
0.09/0.17	c 1430           4567           337774         169644         32             1168           18   19   16   
0.09/0.17	c 1440           4595           340048         170887         32             1175           18   18   16   
0.09/0.17	c 1450           4623           341825         171855         32             1185           17   19   15   
0.09/0.17	c 1460           4649           343512         172711         32             1186           17   17   15   
0.09/0.17	c 1470           4675           345729         174276         32             1196           17   17   15   
0.09/0.17	c 1480           4704           347798         175244         32             1197           20   20   18   
0.09/0.18	c 1490           4735           349735         176103         32             1198           22   22   20   
0.09/0.18	c 1500           4765           351862         177279         32             1204           20   20   18   
0.09/0.18	c 1510           4793           354044         178502         32             1214           19   19   17   
0.09/0.18	c 1520           4822           356152         179677         32             1224           20   20   18   
0.09/0.18	c 1530           4851           358643         180831         32             1234           20   20   18   
0.09/0.18	c 1540           4882           360513         181829         32             1236           19   21   18   
0.09/0.18	c 1550           4912           362736         183205         32             1239           19   19   17   
0.09/0.18	c 1560           4940           364653         184136         32             1249           19   19   17   
0.09/0.18	c 1570           4969           367009         185433         32             1256           19   19   17   
0.09/0.18	c 1580           5000           369426         186680         32             1266           18   22   18   
0.09/0.18	c 1585           5024           371006         187398         32             1271           20   20   16   
0.09/0.18	c 1590           5046           372835         188363         32             1276           18   18   15   
0.09/0.18	c 1600           5077           375147         189530         32             1286           17   22   18   
0.09/0.18	c 1610           5106           377217         190653         32             1289           18   19   16   
0.09/0.19	c 1620           5134           379746         192162         32             1293           17   18   15   
0.09/0.19	c 1630           5163           382012         193314         32             1298           18   19   16   
0.09/0.19	c 1640           5190           384039         194282         32             1308           18   18   16   
0.09/0.19	c 1650           5225           386296         195298         32             1315           22   22   20   
0.09/0.19	c 1660           5251           388515         196515         32             1325           17   17   15   
0.09/0.19	c 1670           5276           390855         197762         32             1335           16   16   14   
0.09/0.19	c 1680           5302           393095         199211         32             1345           17   17   15   
0.09/0.19	c 1690           5330           394850         200153         32             1355           18   19   17   
0.09/0.19	c 1700           5357           396997         201394         32             1365           18   18   16   
0.09/0.19	c 1710           5384           399134         202487         32             1375           18   18   16   
0.09/0.19	c 1720           5414           401057         203471         32             1385           19   20   18   
0.09/0.19	c 1730           5443           403283         204628         32             1393           19   19   17   
0.09/0.19	c 1740           5474           405655         205848         32             1401           20   20   18   
0.09/0.20	c 1750           5501           408404         207380         32             1411           18   18   16   
0.19/0.20	c 1760           5530           410399         208319         32             1421           19   20   17   
0.19/0.20	c 1770           5559           412968         209506         32             1431           19   20   17   
0.19/0.20	c 1780           5587           415003         210471         32             1433           17   18   15   
0.19/0.20	c 1790           5616           417452         211621         32             1436           18   19   16   
0.19/0.20	c 1800           5645           419744         212803         32             1439           18   19   16   
0.19/0.20	c 1810           5674           422392         214007         32             1449           17   20   15   
0.19/0.20	c 1820           5702           424680         215148         32             1459           19   19   17   
0.19/0.20	c 1830           5731           426606         216171         32             1469           20   20   18   
0.19/0.20	c 1840           5758           429107         217513         32             1479           18   18   16   
0.19/0.20	c 1841           5777           430388         218191         32             1480           19   19   9    
0.19/0.20	c 1850           5805           432216         219164         32             1481           20   20   18   
0.19/0.20	c 1860           5835           434273         220166         32             1489           20   20   18   
0.19/0.20	c 1870           5862           436110         221175         32             1499           17   18   16   
0.19/0.21	c 1880           5891           438030         222162         32             1501           19   19   17   
0.19/0.21	c 1890           5920           440557         223412         32             1511           17   20   15   
0.19/0.21	c 1900           5949           442633         224542         32             1521           19   20   17   
0.19/0.21	c 1910           5977           444663         225739         32             1531           19   19   17   
0.19/0.21	c 1920           6003           447377         227359         32             1541           17   17   15   
0.19/0.21	c 1930           6033           450198         228794         32             1551           17   21   15   
0.19/0.21	c 1940           6062           452521         230178         32             1561           19   20   17   
0.19/0.21	c 1950           6091           454867         231517         32             1569           19   19   17   
0.19/0.21	c 1960           6120           457022         232574         32             1579           19   20   17   
0.19/0.21	c 1970           6148           459475         233964         32             1589           18   19   17   
0.19/0.21	c 1980           6180           462198         235215         32             1597           20   21   18   
0.19/0.21	c 1990           6211           464117         236123         32             1598           21   22   19   
0.19/0.21	c 2000           6242           466143         236996         32             1608           21   22   19   
0.19/0.22	c 2010           6270           468514         238167         32             1618           19   19   17   
0.19/0.22	c 2020           6298           470376         239159         32             1628           19   19   17   
0.19/0.22	c 2030           6324           472511         240522         32             1638           17   17   15   
0.19/0.22	c 2040           6353           474623         241694         32             1648           18   20   16   
0.19/0.22	c 2050           6383           476479         242711         32             1650           19   20   17   
0.19/0.22	c 2060           6409           478888         243924         32             1660           17   17   15   
0.19/0.22	c 2070           6437           481045         245278         32             1670           18   19   16   
0.19/0.22	c 2080           6466           483010         246239         32             1680           19   20   17   
0.19/0.22	c 2090           6495           484779         247102         32             1690           19   20   18   
0.19/0.22	c 2100           6525           486812         248008         32             1692           19   20   17   
0.19/0.22	c 2110           6563           489713         249346         32             1702           20   21   19   
0.19/0.22	c 2120           6596           491718         250334         32             1705           22   22   20   
0.19/0.22	c 2122           6617           492983         250979         32             1707           20   20   13   
0.19/0.23	c 2130           6646           495086         252085         32             1711           17   21   17   
0.19/0.23	c 2140           6677           497546         253276         32             1719           19   20   17   
0.19/0.23	c 2150           6709           499591         254274         32             1727           19   21   18   
0.19/0.23	c 2160           6737           501512         255386         32             1737           19   19   17   
0.19/0.23	c 2170           6766           503298         256278         32             1747           20   20   18   
0.19/0.23	c 2180           6796           505206         257321         32             1750           18   21   18   
0.19/0.23	c 2190           6826           507164         258252         32             1760           19   21   17   
0.19/0.23	c 2200           6856           509476         259429         32             1769           20   20   18   
0.19/0.23	c 2210           6885           511730         260687         32             1779           19   20   17   
0.19/0.23	c 2220           6915           514116         261950         32             1788           20   20   18   
0.19/0.23	c 2230           6945           516147         262855         32             1798           21   21   19   
0.19/0.23	c 2240           6974           518025         263811         32             1808           19   20   17   
0.19/0.23	c 2250           7000           519846         264842         32             1809           17   17   15   
0.19/0.23	c 2260           7027           521631         265645         32             1810           18   18   16   
0.19/0.24	c 2270           7054           523341         266401         32             1820           18   18   16   
0.19/0.24	c 2280           7084           525056         267236         32             1823           20   20   18   
0.19/0.24	c 2290           7111           527306         268485         32             1833           17   18   15   
0.19/0.24	c 2300           7138           529811         269777         32             1843           17   18   15   
0.19/0.24	c 2310           7168           531487         270541         32             1845           19   20   17   
0.19/0.24	c 2320           7196           533476         271587         32             1855           18   19   16   
0.19/0.24	c 2330           7222           535865         272981         32             1865           17   17   15   
0.19/0.24	c 2340           7247           537893         273943         32             1875           16   16   14   
0.19/0.24	c 2350           7272           540017         275059         32             1885           16   16   14   
0.19/0.24	c 2360           7302           542643         276363         32             1895           17   20   16   
0.19/0.24	c 2370           7331           544435         277243         32             1905           18   19   17   
0.19/0.24	c 2380           7358           547133         278621         32             1915           18   18   16   
0.19/0.24	c 2390           7388           549317         279651         32             1925           18   21   18   
0.19/0.24	c 2400           7419           551493         280663         32             1928           19   20   18   
0.19/0.25	c 2410           7449           554059         282014         32             1937           19   20   18   
0.19/0.25	c 2420           7478           556210         283194         32             1947           20   20   18   
0.19/0.25	c 2430           7508           558286         284201         32             1957           20   20   18   
0.19/0.25	c 2431           7526           559438         284833         32             1958           18   18   9    
0.19/0.25	c 2440           7555           561933         286227         32             1967           18   21   16   
0.19/0.25	c 2450           7582           564910         287699         32             1977           18   18   16   
0.19/0.25	c 2460           7609           567509         289104         32             1987           18   18   16   
0.19/0.25	c 2470           7636           570181         290618         32             1997           18   18   16   
0.19/0.25	c 2480           7665           572454         292155         32             2007           19   19   17   
0.19/0.25	c 2490           7695           574454         293075         32             2017           20   20   18   
0.19/0.25	c 2500           7721           576842         294503         32             2027           17   17   15   
0.19/0.25	c 2510           7747           578760         295655         32             2028           17   17   15   
0.19/0.25	c 2520           7773           580914         296825         32             2029           17   17   15   
0.19/0.26	c 2530           7800           582783         297728         32             2030           18   18   16   
0.19/0.26	c 2540           7825           585466         299351         32             2040           16   16   14   
0.19/0.26	c 2550           7855           588131         300996         32             2049           16   21   15   
0.19/0.26	c 2560           7884           590283         302052         32             2059           18   20   16   
0.19/0.26	c 2570           7913           592217         302980         32             2061           19   19   17   
0.19/0.26	c 2580           7942           593978         303800         32             2071           19   20   18   
0.19/0.26	c 2590           7973           595799         304608         32             2075           21   21   19   
0.19/0.26	c 2600           8004           597879         305583         32             2085           21   21   19   
0.19/0.26	c 2610           8035           600001         306640         32             2092           20   21   18   
0.19/0.26	c 2620           8067           602104         307582         32             2100           21   21   19   
0.19/0.26	c 2630           8096           604232         308769         32             2110           19   20   18   
0.19/0.26	c 2640           8127           606309         309770         32             2118           20   21   18   
0.19/0.26	c 2650           8157           608275         310677         32             2128           19   21   18   
0.19/0.27	c 2660           8187           610422         311699         32             2135           19   20   17   
0.19/0.27	c 2670           8216           612398         312788         32             2145           19   20   18   
0.19/0.27	c 2680           8245           614356         313863         32             2155           19   20   17   
0.19/0.27	c 2690           8275           616347         314892         32             2164           18   20   17   
0.19/0.27	c 2700           8305           618509         316036         32             2166           19   20   17   
0.19/0.27	c 2710           8334           620440         317069         32             2176           19   20   18   
0.19/0.27	c 2720           8361           622317         317959         32             2177           18   18   16   
0.19/0.27	c 2730           8389           624814         319296         32             2187           18   19   16   
0.19/0.27	c 2740           8418           626792         320322         32             2197           19   20   18   
0.19/0.27	c 2750           8447           628637         321146         32             2207           17   20   15   
0.19/0.27	c 2760           8474           630313         322038         32             2217           18   18   16   
0.19/0.27	c 2770           8501           632552         323066         32             2218           18   18   16   
0.19/0.27	c 2771           8520           633761         323676         32             2219           19   19   9    
0.19/0.27	c 2780           8547           635412         324423         32             2228           19   19   17   
0.19/0.28	c 2790           8577           637494         325442         32             2236           20   20   18   
0.19/0.28	c 2800           8608           639583         326622         32             2244           20   20   18   
0.19/0.28	c 2810           8635           641909         327959         32             2254           18   18   16   
0.19/0.28	c 2820           8664           643925         328865         32             2256           19   19   17   
0.19/0.28	c 2830           8696           646147         330017         32             2259           19   20   17   
0.19/0.28	c 2840           8723           648055         330882         32             2269           17   18   15   
0.19/0.28	c 2850           8752           649940         331886         32             2272           19   19   17   
0.19/0.28	c 2860           8780           652308         333182         32             2282           18   19   16   
0.19/0.28	c 2870           8809           654422         334235         32             2284           19   19   17   
0.19/0.28	c 2880           8833           657498         336040         32             2294           15   15   13   
0.19/0.28	c 2890           8856           659742         337306         32             2304           14   14   12   
0.19/0.28	c 2900           8881           662117         338700         32             2314           15   16   13   
0.19/0.28	c 2910           8906           664450         340044         32             2324           16   16   14   
0.19/0.28	c 2920           8932           666876         341356         32             2334           16   17   14   
0.19/0.29	c 2930           8959           668755         342701         32             2344           17   18   16   
0.19/0.29	c 2940           8988           670683         343650         32             2346           18   19   17   
0.19/0.29	c 2950           9015           672845         344716         32             2356           18   18   16   
0.19/0.29	c 2960           9043           675175         345964         32             2366           18   19   16   
0.19/0.29	c 2970           9071           677291         347122         32             2376           18   19   16   
0.19/0.29	c 2980           9101           679288         348309         32             2378           19   20   17   
0.19/0.29	c 2990           9130           680955         349128         32             2388           19   20   18   
0.19/0.29	c 3000           9159           682839         350217         32             2398           20   20   18   
0.19/0.29	c 3010           9187           684561         351007         32             2408           19   19   17   
0.19/0.29	c 3020           9213           686937         352320         32             2418           17   17   15   
0.19/0.29	c 3030           9240           689256         353564         32             2428           18   18   16   
0.19/0.29	c 3040           9268           691332         354686         32             2430           18   19   17   
0.19/0.29	c 3050           9296           693313         355685         32             2440           18   19   17   
0.19/0.30	c 3060           9322           695696         357039         32             2450           17   17   15   
0.29/0.30	c 3070           9349           697415         357772         32             2460           18   18   16   
0.29/0.30	c 3080           9375           699526         359150         32             2470           17   17   15   
0.29/0.30	c 3090           9402           701604         360336         32             2471           18   18   16   
0.29/0.30	c 3100           9431           703606         361177         32             2473           19   19   17   
0.29/0.30	c 3110           9456           705640         362497         32             2483           16   16   14   
0.29/0.30	c 3120           9482           707433         363311         32             2484           17   17   15   
0.29/0.30	c 3130           9508           709825         364717         32             2494           16   17   14   
0.29/0.30	c 3140           9535           711542         365525         32             2504           18   18   16   
0.29/0.30	c 3142           9553           712742         366207         32             2506           17   17   11   
0.29/0.30	c 3150           9580           714596         367133         32             2514           18   19   16   
0.29/0.30	c 3160           9609           716625         368376         32             2516           19   19   17   
0.29/0.30	c 3170           9640           718650         369347         32             2522           20   20   18   
0.29/0.30	c 3180           9669           720654         370282         32             2532           19   20   18   
0.29/0.31	c 3190           9698           723039         371506         32             2542           17   20   16   
0.29/0.31	c 3200           9727           725103         372462         32             2545           18   19   16   
0.29/0.31	c 3210           9754           727177         373581         32             2555           18   18   16   
0.29/0.31	c 3220           9784           729098         374457         32             2558           19   20   17   
0.29/0.31	c 3230           9811           731170         375580         32             2568           18   18   16   
0.29/0.31	c 3240           9839           733403         376730         32             2578           19   19   17   
0.29/0.31	c 3250           9867           735358         377605         32             2579           19   19   17   
0.29/0.31	c 3260           9897           737227         378437         32             2581           20   20   18   
0.29/0.31	c 3270           9930           739446         379594         32             2588           18   21   17   
0.29/0.31	c 3280           9962           741868         380768         32             2596           18   21   17   
0.29/0.31	c 3290           9986           744205         381994         32             2606           15   15   13   
0.29/0.31	c 3300           10012          745903         382825         32             2616           16   17   14   
0.29/0.31	c 3310           10038          747737         383868         32             2617           17   17   15   
0.29/0.32	c 3320           10064          749560         384823         32             2627           16   17   15   
0.29/0.32	c 3330           10090          751162         385604         32             2628           17   17   15   
0.29/0.32	c 3340           10115          753586         387055         32             2638           16   16   14   
0.29/0.32	c 3350           10143          756394         388669         32             2640           17   18   15   
0.29/0.32	c 3360           10172          758578         390004         32             2649           17   19   17   
0.29/0.32	c 3370           10204          760616         391093         32             2657           20   21   18   
0.29/0.32	c 3380           10231          762489         392348         32             2667           18   18   16   
0.29/0.32	c 3390           10261          764418         393441         32             2674           19   20   17   
0.29/0.32	c 3400           10291          767755         395489         32             2684           14   21   14   
0.29/0.32	c 3410           10317          770356         397056         32             2694           16   17   14   
0.29/0.32	c 3420           10344          772216         397966         32             2696           17   17   15   
0.29/0.32	c 3430           10371          773917         398833         32             2706           17   18   16   
0.29/0.32	c 3440           10400          775876         399751         32             2709           19   19   17   
0.29/0.33	c 3450           10430          777859         400798         32             2719           19   20   18   
0.29/0.33	c 3460           10461          779837         401660         32             2721           20   21   19   
0.29/0.33	c 3470           10496          782076         402750         32             2727           21   22   19   
0.29/0.33	c 3480           10525          784125         403790         32             2737           20   20   18   
0.29/0.33	c 3490           10556          786118         404771         32             2744           20   21   18   
0.29/0.33	c 3500           10584          788416         405993         32             2754           18   19   16   
0.29/0.33	c 3510           10614          790481         406955         32             2764           20   21   18   
0.29/0.33	c 3520           10642          793124         408477         32             2774           17   19   16   
0.29/0.33	c 3530           10670          795249         409595         32             2779           18   18   16   
0.29/0.33	c 3540           10698          797749         410946         32             2789           17   19   16   
0.29/0.33	c 3550           10727          799723         411991         32             2794           18   19   16   
0.29/0.33	c 3551           10745          800868         412596         32             2795           18   18   9    
0.29/0.33	c 3560           10775          803511         413993         32             2804           17   22   17   
0.29/0.34	c 3570           10803          805890         415193         32             2814           19   19   17   
0.29/0.34	c 3580           10836          808208         416326         32             2820           18   24   19   
0.29/0.34	c 3590           10867          810431         417350         32             2824           20   20   18   
0.29/0.34	c 3600           10899          812646         418559         32             2834           17   23   18   
0.29/0.34	c 3610           10927          814637         419592         32             2835           19   19   17   
0.29/0.34	c 3620           10957          816636         420709         32             2837           20   20   18   
0.29/0.34	c 3630           10986          818736         421652         32             2847           20   20   18   
0.29/0.34	c 3640           11018          820720         422603         32             2857           23   23   20   
0.29/0.34	c 3650           11046          823357         424021         32             2867           19   19   17   
0.29/0.34	c 3660           11079          825530         424877         32             2877           24   24   21   
0.29/0.34	c 3670           11108          827878         426204         32             2887           20   20   18   
0.29/0.34	c 3680           11144          830708         427533         32             2897           18   27   17   
0.29/0.34	c 3690           11174          832555         428609         32             2900           19   20   17   
0.29/0.35	c 3700           11202          834719         430010         32             2910           19   19   17   
0.29/0.35	c 3710           11230          837117         431206         32             2920           19   19   17   
0.29/0.35	c 3720           11259          839068         432285         32             2922           19   20   18   
0.29/0.35	c 3730           11295          841142         433211         32             2924           20   25   19   
0.29/0.35	c 3740           11327          843114         434072         32             2927           21   21   19   
0.29/0.35	c 3750           11367          845234         434991         32             2933           20   25   22   
0.29/0.35	c 3760           11396          847180         436418         32             2943           20   20   18   
0.29/0.35	c 3770           11427          849149         437439         32             2953           22   22   20   
0.29/0.35	c 3780           11455          851648         438692         32             2963           19   19   17   
0.29/0.35	c 3790           11483          853702         439975         32             2973           18   19   17   
0.29/0.35	c 3800           11511          855843         441032         32             2983           19   19   17   
0.29/0.35	c 3810           11540          857877         442050         32             2993           19   20   18   
0.29/0.35	c 3820           11569          859934         443024         32             3003           20   20   18   
0.29/0.35	c 3830           11599          862011         444036         32             3011           18   20   17   
0.29/0.36	c 3840           11631          864450         445075         32             3015           20   20   18   
0.29/0.36	c 3850           11661          866657         446272         32             3023           19   20   18   
0.29/0.36	c 3860           11689          869021         447543         32             3033           19   19   17   
0.29/0.36	c 3870           11718          871048         448421         32             3043           19   20   18   
0.29/0.36	c 3880           11746          872992         449354         32             3053           19   19   17   
0.29/0.36	c 3890           11775          874927         450256         32             3063           19   20   17   
0.29/0.36	c 3900           11803          877219         451658         32             3073           18   19   16   
0.29/0.36	c 3910           11834          879425         452732         32             3076           19   20   17   
0.29/0.36	c 3920           11864          881472         453853         32             3086           18   21   17   
0.29/0.36	c 3930           11895          883493         454736         32             3090           19   21   18   
0.29/0.36	c 3940           11927          885727         455768         32             3095           19   21   18   
0.29/0.36	c 3950           11956          888110         457239         32             3097           18   19   16   
0.29/0.36	c 3960           11987          890140         458334         32             3105           18   21   18   
0.29/0.37	c 3970           12016          892374         459490         32             3115           19   20   17   
0.29/0.37	c 3980           12045          894514         460537         32             3125           20   20   18   
0.29/0.37	c 3990           12088          896820         461632         32             3127           25   26   22   
0.29/0.37	c 4000           12120          898670         462495         32             3137           22   23   20   
0.29/0.37	c 4001           12139          899903         463138         32             3138           19   19   9    
0.29/0.37	c 4010           12166          902138         464340         32             3147           19   19   17   
0.29/0.37	c 4020           12194          904924         465763         32             3157           19   19   17   
0.29/0.37	c 4030           12222          907075         466733         32             3167           19   19   17   
0.29/0.37	c 4040           12252          909358         467989         32             3175           20   20   18   
0.29/0.37	c 4050           12283          911225         468979         32             3185           21   21   19   
0.29/0.37	c 4060           12312          913105         469921         32             3195           20   20   18   
0.29/0.37	c 4070           12340          915280         470910         32             3205           19   19   17   
0.29/0.37	c 4080           12369          917295         471971         32             3215           20   20   18   
0.29/0.38	c 4090           12396          920113         473485         32             3225           18   18   16   
0.29/0.38	c 4100           12423          922870         474978         32             3235           18   18   16   
0.29/0.38	c 4110           12453          925120         476274         32             3245           19   20   18   
0.29/0.38	c 4120           12486          927467         477399         32             3255           19   24   18   
0.29/0.38	c 4130           12514          929913         478814         32             3265           19   19   17   
0.29/0.38	c 4140           12545          931968         479986         32             3271           19   20   17   
0.29/0.38	c 4150           12572          933642         480875         32             3281           18   18   16   
0.29/0.38	c 4160           12605          935637         481792         32             3283           23   23   20   
0.29/0.38	c 4170           12633          937828         482997         32             3286           18   18   16   
0.29/0.38	c 4180           12664          940291         484306         32             3296           17   22   19   
0.29/0.38	c 4190           12694          942479         485561         32             3301           19   19   17   
0.29/0.38	c 4200           12721          944727         486641         32             3311           18   18   16   
0.29/0.38	c 4210           12747          947279         488016         32             3321           17   17   15   
0.29/0.39	c 4220           12774          949480         489161         32             3331           18   18   16   
0.29/0.39	c 4230           12809          951756         490329         32             3333           21   21   19   
0.29/0.39	c 4240           12839          953737         491218         32             3336           20   20   18   
0.29/0.39	c 4250           12866          955728         492273         32             3346           18   18   16   
0.29/0.39	c 4260           12892          957911         493453         32             3356           17   17   15   
0.29/0.39	c 4270           12918          960279         494739         32             3366           17   17   15   
0.29/0.39	c 4280           12950          962288         495725         32             3369           17   22   19   
0.29/0.39	c 4290           12977          964457         497062         32             3379           18   18   16   
0.29/0.39	c 4300           13001          967132         498765         32             3389           15   15   13   
0.29/0.39	c 4310           13026          969325         500054         32             3399           16   16   14   
0.29/0.39	c 4320           13053          971109         500955         32             3409           17   18   16   
0.29/0.39	c 4330           13082          973285         502116         32             3411           18   19   16   
0.29/0.39	c 4340           13110          975805         503527         32             3413           17   18   15   
0.29/0.39	c 4350           13139          977769         504492         32             3416           18   19   16   
0.29/0.40	c 4360           13167          979809         505438         32             3426           19   19   17   
0.39/0.40	c 4370           13196          981788         506379         32             3436           19   20   17   
0.39/0.40	c 4380           13223          983690         507340         32             3438           17   17   15   
0.39/0.40	c 4390           13251          985544         508216         32             3441           18   18   16   
0.39/0.40	c 4400           13277          987627         509434         32             3451           17   17   15   
0.39/0.40	c 4410           13306          989468         510308         32             3454           18   19   16   
0.39/0.40	c 4420           13331          991373         511378         32             3464           15   16   13   
0.39/0.40	c 4430           13357          993545         512617         32             3466           16   16   14   
0.39/0.40	c 4440           13383          995433         513644         32             3476           16   17   14   
0.39/0.40	c 4450           13410          997548         514928         32             3479           17   17   15   
0.39/0.40	c 4460           13436          999762         516099         32             3489           13   17   12   
0.39/0.40	c 4470           13461          1001481        517152         32             3492           15   15   13   
0.39/0.40	c 4480           13488          1003277        518354         32             3495           14   17   15   
0.39/0.41	c 4490           13515          1005419        519696         32             3505           15   18   14   
0.39/0.41	c 4493           13533          1006728        520447         32             3508           16   16   12   
0.39/0.41	c 4500           13557          1008363        521372         32             3510           17   17   14   
0.39/0.41	c 4510           13584          1010331        522529         32             3520           17   18   15   
0.39/0.41	c 4520           13612          1012166        523490         32             3524           18   18   16   
0.39/0.41	c 4530           13639          1014239        524956         32             3534           17   18   15   
0.39/0.41	c 4540           13667          1016470        526294         32             3544           16   19   15   
0.39/0.41	c 4550           13694          1018165        527137         32             3546           17   17   15   
0.39/0.41	c 4560           13721          1019852        527986         32             3556           17   18   15   
0.39/0.41	c 4570           13750          1021613        528936         32             3560           18   19   16   
0.39/0.41	c 4580           13778          1024080        530576         32             3570           17   19   15   
0.39/0.41	c 4590           13807          1026210        531761         32             3580           18   20   16   
0.39/0.41	c 4600           13835          1027925        532648         32             3590           17   19   15   
0.39/0.41	c 4610           13864          1029852        533790         32             3593           18   19   16   
0.39/0.42	c 4620           13893          1031705        534714         32             3595           18   19   16   
0.39/0.42	c 4630           13918          1033813        535943         32             3605           16   16   14   
0.39/0.42	c 4640           13944          1036229        537319         32             3615           17   17   15   
0.39/0.42	c 4650           13973          1038099        538198         32             3625           18   20   17   
0.39/0.42	c 4660           14002          1039960        539231         32             3635           19   20   17   
0.39/0.42	c 4670           14028          1042753        540894         32             3645           17   17   15   
0.39/0.42	c 4680           14057          1045018        542367         32             3648           18   19   16   
0.39/0.42	c 4690           14091          1047679        543679         32             3652           21   21   19   
0.39/0.42	c 4700           14121          1049906        544745         32             3655           18   20   17   
0.39/0.42	c 4710           14151          1052233        546031         32             3658           18   21   18   
0.39/0.42	c 4720           14181          1054555        547076         32             3663           19   20   17   
0.39/0.42	c 4730           14210          1056746        548064         32             3673           19   20   17   
0.39/0.42	c 4740           14242          1058754        548998         32             3676           21   21   19   
0.39/0.43	c 4750           14274          1060617        549933         32             3682           22   22   20   
0.39/0.43	c 4760           14300          1063033        551331         32             3692           17   17   15   
0.39/0.43	c 4770           14336          1065502        552484         32             3702           21   23   20   
0.39/0.43	c 4780           14371          1067788        553657         32             3708           22   22   20   
0.39/0.43	c 4790           14398          1069746        554625         32             3718           18   18   16   
0.39/0.43	c 4800           14424          1072475        556029         32             3728           17   17   15   
0.39/0.43	c 4810           14451          1074957        557407         32             3738           18   18   16   
0.39/0.43	c 4820           14480          1076905        558304         32             3739           19   20   17   
0.39/0.43	c 4830           14510          1078947        559472         32             3745           19   20   18   
0.39/0.43	c 4840           14539          1081130        560567         32             3746           19   20   17   
0.39/0.43	c 4850           14574          1083475        561766         32             3752           21   22   19   
0.39/0.43	c 4860           14604          1085731        562690         32             3762           21   21   19   
0.39/0.43	c 4870           14630          1088484        564215         32             3772           17   17   15   
0.39/0.44	c 4880           14661          1090910        565358         32             3782           22   22   20   
0.39/0.44	c 4890           14688          1093907        566904         32             3792           18   18   16   
0.39/0.44	c 4900           14719          1096284        567965         32             3802           22   22   20   
0.39/0.44	c 4910           14750          1098324        568955         32             3812           22   22   20   
0.39/0.44	c 4920           14777          1100929        570374         32             3822           18   18   16   
0.39/0.44	c 4930           14804          1103443        571503         32             3832           18   18   16   
0.39/0.44	c 4940           14837          1105561        572427         32             3842           23   24   21   
0.39/0.44	c 4950           14870          1107666        573443         32             3843           23   24   21   
0.39/0.44	c 4960           14904          1109797        574414         32             3849           24   24   21   
0.39/0.44	c 4970           14933          1112392        575504         32             3859           20   20   18   
0.39/0.44	c 4980           14962          1114587        576465         32             3869           20   20   18   
0.39/0.44	c 4990           14990          1116293        577329         32             3879           19   19   17   
0.39/0.44	c 5035           15059          1121751        579523         32             3894           20   20   19   
0.39/0.45	c 5631           15751          1171114        595648         32             3927           19   23   22   
0.39/0.46	c 6286           16512          1227423        614928         32             3949           19   23   20   
0.39/0.46	c 7006           17321          1290434        640280         32             3990           18   24   20   
0.39/0.47	c 7798           18364          1351168        663028         32             4048           17   22   21   
0.39/0.48	c 8669           19392          1421782        694684         32             4066           18   23   19   
0.39/0.49	c 9627           20851          1520127        741553         32             4093           17   22   20   
0.49/0.50	c 10680          22264          1608330        776180         32             4113           20   22   20   
0.49/0.51	c 11838          23711          1710033        814964         32             4138           18   22   21   
0.49/0.53	c 13111          25614          1860083        882676         32             4164           18   23   20   
0.49/0.54	c 14511          27471          1978086        931467         32             4184           18   22   21   
0.49/0.55	c 16051          29486          2088382        973254         32             4211           19   22   21   
0.49/0.57	c 17745          31414          2225387        1035360        32             4247           18   22   20   
0.49/0.59	c 19608          33635          2408607        1122167        32             4272           19   24   21   
0.59/0.61	c 21657          36154          2597312        1198197        32             4301           18   25   23   
0.59/0.63	c 23910          38756          2800817        1292006        32             4328           19   22   20   
0.59/0.65	c 26388          41873          3010974        1361561        32             4345           20   21   20   
0.59/0.68	c 29113          45542          3254206        1450172        32             4361           19   24   20   
0.69/0.71	c 32110          49337          3502815        1569089        32             4374           18   26   23   
0.69/0.74	c 35406          53063          3791319        1704364        32             4399           20   24   21   
0.69/0.77	c 39031          57183          4135745        1859870        32             4418           18   24   21   
0.79/0.81	c 43018          61686          4546362        2045173        32             4455           19   22   20   
0.79/0.85	c 47403          67171          4948401        2204314        32             4467           21   23   22   
0.89/0.91	c 52226          72554          5486093        2484267        32             4511           17   25   20   
0.89/0.97	c 57531          78526          5973160        2725627        32             4554           18   24   20   
0.99/1.02	c 63366          85029          6511907        2949497        32             4595           19   23   21   
0.99/1.08	c 69784          92579          7034025        3189887        32             4634           17   23   21   
1.10/1.14	c 76843          100519         7646434        3511261        32             4652           18   23   21   
1.10/1.19	c 84607          109582         8149950        3724238        32             4687           18   24   22   
1.20/1.27	c 93147          119092         8844266        4022474        32             4739           19   23   21   
1.29/1.35	c 102541         129626         9669973        4354424        32             4761           19   23   21   
1.39/1.44	c 112874         141652         10546863       4730888        32             4802           19   25   21   
1.49/1.51	c 124240         154350         11325304       4960604        32             4840           21   23   21   
1.59/1.64	c 136742         168371         12497045       5499933        32             4869           19   23   20   
1.69/1.78	c 150494         184855         13828740       6058585        32             4904           18   22   20   
1.89/1.94	c 165621         202137         15356124       6764600        32             4913           19   23   20   
1.99/2.08	c 182260         222628         16635099       7300506        32             4948           19   22   20   
2.20/2.26	c 200562         243632         18302080       8064583        32             4972           19   24   20   
2.39/2.44	c 220694         270331         20132610       8700397        32             5020           19   25   22   
2.49/2.59	c 242839         296200         21783923       9340888        32             5059           18   25   21   
2.79/2.80	c 267198         324674         23806708       10303220       32             5095           18   23   20   
2.99/3.08	c 293992         357183         26416024       11500392       32             5122           19   23   21   
3.30/3.32	c 323465         394523         28736996       12434494       32             5162           17   22   21   
3.49/3.59	c 355885         431713         31570435       13463668       32             5188           18   22   21   
3.79/3.86	c 391547         474631         34470040       14454581       32             5238           16   23   21   
4.09/4.16	c 430775         521156         37530782       15582708       32             5265           18   23   20   
4.50/4.58	c 473925         575960         41585305       17484942       32             5302           16   22   19   
4.89/4.94	c 521390         631852         44999019       18819603       32             5343           19   21   19   
5.39/5.50	c 573601         691883         50410002       21291436       32             5377           18   23   20   
5.89/5.97	c 631033         756754         54996130       23246105       32             5399           16   22   19   
6.39/6.49	c 694208         828229         59906634       25351211       32             5435           17   22   19   
6.99/7.07	c 763700         911558         65835997       27866980       32             5474           19   25   22   
7.70/7.79	c 840141         998473         72592286       30969375       32             5498           18   24   21   
8.39/8.43	c 924226         1095891        78888851       33642914       32             5537           16   24   21   
8.99/9.05	c 1016719        1203587        85428799       36235982       32             5587           18   24   22   
9.79/9.88	c 1118461        1318506        93913219       39728033       32             5646           18   24   21   
10.59/10.68	c 1230377        1442926        102241839      42412662       32             5674           18   24   21   
11.79/11.80	c 1353484        1585662        113776489      47082032       32             5735           17   24   22   
12.79/12.83	c 1488901        1739904        125100266      50850745       32             5772           17   26   22   
13.89/13.98	c 1637859        1908401        136604884      55527175       32             5817           18   24   21   
15.29/15.34	c 1801712        2102655        150626726      61076321       32             5880           18   25   23   
16.60/16.68	c 1981950        2304135        164915389      66094213       32             5900           18   24   21   
18.09/18.19	c 2180211        2532507        181009833      71927399       32             5965           18   26   23   
19.69/19.70	c 2398298        2786126        197577993      77432502       32             6033           18   25   22   
21.79/21.88	c 2638193        3072025        218305584      86004417       32             6072           18   24   21   
23.89/23.93	c 2902077        3372025        239099933      94264959       32             6112           19   24   21   
26.59/26.63	c 3192349        3697000        266235306      105538541      32             6168           18   25   21   
29.29/29.30	c 3511648        4058549        291580212      117467413      32             6204           19   23   21   
31.49/31.56	c 3862876        4455860        315430336      125864413      32             6226           18   23   21   
34.20/34.29	c 4249226        4890650        345300799      136935176      32             6262           19   25   22   
37.50/37.50	c 4674211        5373087        379478159      149231541      32             6291           17   24   20   
40.49/40.57	c 5141694        5926647        413127844      160133551      32             6352           17   25   21   
43.29/43.34	c 5655925        6525039        445614087      170544525      32             6400           16   26   23   
47.99/48.01	c 6221579        7286816        498186367      186901532      32             6440           17   25   20   
53.59/53.66	c 6843798        8091821        553118923      211158815      32             6498           18   24   21   
59.09/59.19	c 7528238        8943484        611505984      229803332      32             6538           18   24   21   
65.59/65.69	c 8281122        9941027        677551778      255216361      32             6581           18   24   21   
72.29/72.30	c 9109294        10947164       747348257      282924385      32             6631           16   25   21   
78.99/79.04	c 10020283       12025187       818153217      309896472      32             6680           16   22   20   
87.19/87.21	c 11022370       13234741       900293112      344548497      32             6715           18   23   21   
95.70/95.80	c 12124665       14486285       985352289      384073616      32             6763           16   22   19   
105.29/105.34	c 13337189       15863536       1091338966     423571661      32             6824           18   25   21   
115.50/115.52	c 14670965       17401919       1203475777     462741836      32             6878           17   25   21   
126.29/126.34	c 16138118       19118018       1323036261     503858043      32             6942           17   24   20   
139.59/139.60	c 17751986       20989150       1467418127     557456466      32             6967           17   25   21   
152.49/152.59	c 19527240       23039607       1607638734     610392293      32             7011           17   25   21   
163.79/163.89	c 21480019       25300465       1737846920     655114955      32             7064           16   26   23   
180.09/180.19	c 23628075       27795692       1906728844     729461049      32             7121           17   26   22   
200.09/200.18	c 25990936       30467850       2114392565     816131803      32             7152           17   25   21   
220.79/220.88	c 28590083       33543378       2336024815     902384676      32             7188           17   24   21   
244.59/244.62	c 31449144       36937349       2582844869     998207617      32             7236           18   25   21   
266.99/267.03	c 34594111       40532020       2819743126     1077288626     32             7293           18   25   22   
295.29/295.34	c 38053574       44527431       3113436025     1191054955     32             7329           17   25   21   
323.69/323.76	c 41858983       49235870       3420240077     1301132534     32             7364           17   27   23   
357.09/357.16	c 46044932       53934547       3778545334     1446815791     32             7403           17   26   22   
389.29/389.31	c 50649475       59593149       4116665301     1560218680     32             7495           17   26   23   
430.49/430.56	c 55714472       65536409       4554179928     1728470208     32             7525           17   25   22   
474.59/474.60	c 61285968       72208820       5034806227     1900997280     32             7570           17   25   22   
519.49/519.53	c 67414613       79773647       5504510943     2060576433     32             7613           16   25   22   
569.29/569.34	c 74156122       87267082       6074710558     2252509051     32             7661           18   24   21   
629.99/630.08	c 81571781       96028163       6712831485     2506568640     32             7723           16   25   22   
683.89/683.96	c 89729005       105339240      7297201765     2724770103     32             7786           19   26   22   
747.29/747.39	c 98701951       115934483      7987500500     2973604704     32             7874           16   24   22   
822.79/822.85	c 108572191      127689888      8817014270     3278444291     32             7919           16   25   22   
903.39/903.45	c 119429455      140319089      9672156715     3624983724     32             7987           16   26   21   
1004.39/1004.46	c 131372445      153890430      10726570159    4053679026     32             8044           17   26   21   
1100.79/1100.86	c 144509734      169173656      11804042790    4435609258     32             8104           17   27   21   
1217.99/1218.01	c 158960751      186064699      13059751109    4978831458     32             8168           18   26   22   
1341.59/1341.68	c 174856869      204590924      14377264056    5475143272     32             8242           17   26   21   
1484.49/1484.56	c 192342598      224640754      15895180895    6096387990     32             8308           17   24   21   
1612.99/1613.02	c 211576899      246778811      17297847422    6540447508     32             8346           17   25   22   
1769.49/1769.50	c 232734630      272353249      18882315567    7164461603     32             8402           17   24   21   
1929.19/1929.26	c 256008134      299063873      20658049589    7786614764     32             8425           18   24   22   
2117.09/2117.12	c 281608988      328636803      22766704503    8489585885     32             8481           16   25   21   
2332.69/2332.73	c 309769927      362429695      25083377207    9333459850     32             8560           16   26   22

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-4240882-1500628643/watcher-4240882-1500628643 -o /tmp/evaluation-result-4240882-1500628643/solver-4240882-1500628643 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500623784-4668 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240882-1500628643.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.17 3/186 5271
/proc/meminfo: memFree=31838124/32770624 swapFree=6644/16460
[pid=5271] ppid=5268 vsize=27124 CPUtime=0 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 17496316 27774976 832 33554432000 4194304 5970956 140727028186000 140727028182648 139835917827789 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 6781 832 729 434 0 145 0

[startup+0.100171 s]
/proc/loadavg: 2.00 2.01 2.17 3/186 5271
/proc/meminfo: memFree=31838124/32770624 swapFree=6644/16460
[pid=5271] ppid=5268 vsize=32368 CPUtime=0.09 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 1405 0 0 0 9 0 0 0 20 0 1 0 17496316 33144832 1228 33554432000 4194304 5970956 140727028186000 140727028183336 139835918273632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8092 1228 834 434 0 1456 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32368

[startup+0.200303 s]
/proc/loadavg: 2.00 2.01 2.17 3/186 5271
/proc/meminfo: memFree=31838124/32770624 swapFree=6644/16460
[pid=5271] ppid=5268 vsize=32368 CPUtime=0.19 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 1436 0 0 0 19 0 0 0 20 0 1 0 17496316 33144832 1228 33554432000 4194304 5970956 140727028186000 140727028183336 139835918273632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8092 1228 834 434 0 1456 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32368

[startup+0.300315 s]
/proc/loadavg: 2.00 2.01 2.17 3/186 5271
/proc/meminfo: memFree=31838124/32770624 swapFree=6644/16460
[pid=5271] ppid=5268 vsize=32368 CPUtime=0.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 1470 0 0 0 29 0 0 0 20 0 1 0 17496316 33144832 1294 33554432000 4194304 5970956 140727028186000 140727028183336 139835918273632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8092 1294 835 434 0 1456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32368

[startup+0.700257 s]
/proc/loadavg: 2.00 2.01 2.17 3/186 5271
/proc/meminfo: memFree=31838124/32770624 swapFree=6644/16460
[pid=5271] ppid=5268 vsize=32500 CPUtime=0.69 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 1537 0 0 0 69 0 0 0 20 0 1 0 17496316 33280000 1360 33554432000 4194304 5970956 140727028186000 140727028183336 5093493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8125 1360 835 434 0 1489 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32500

[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.17 3/187 5272
/proc/meminfo: memFree=31835968/32770624 swapFree=6644/16244
[pid=5271] ppid=5268 vsize=32644 CPUtime=1.49 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 1572 0 0 0 149 0 0 0 20 0 1 0 17496316 33427456 1360 33554432000 4194304 5970956 140727028186000 140727028183336 5320728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8161 1360 835 434 0 1525 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32644

[startup+3.10025 s]
/proc/loadavg: 1.92 2.00 2.16 3/187 5272
/proc/meminfo: memFree=31835596/32770624 swapFree=6644/16244
[pid=5271] ppid=5268 vsize=32644 CPUtime=3.09 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 1980 0 0 0 309 0 0 0 20 0 1 0 17496316 33427456 1416 33554432000 4194304 5970956 140727028186000 140727028183336 4961376 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8161 1416 835 434 0 1525 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32644

[startup+6.30025 s]
/proc/loadavg: 1.92 2.00 2.16 3/187 5272
/proc/meminfo: memFree=31835308/32770624 swapFree=6644/16252
[pid=5271] ppid=5268 vsize=32644 CPUtime=6.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 2412 0 0 0 629 0 0 0 20 0 1 0 17496316 33427456 1427 33554432000 4194304 5970956 140727028186000 140727028183336 5098896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8161 1427 835 434 0 1525 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32644

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.16 3/187 5272
/proc/meminfo: memFree=31835060/32770624 swapFree=6644/16256
[pid=5271] ppid=5268 vsize=32644 CPUtime=12.69 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 2843 0 0 0 1269 0 0 0 20 0 1 0 17496316 33427456 1441 33554432000 4194304 5970956 140727028186000 140727028183336 4994503 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8161 1441 835 434 0 1525 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32644

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.16 3/187 5272
/proc/meminfo: memFree=31834444/32770624 swapFree=6644/16272
[pid=5271] ppid=5268 vsize=32644 CPUtime=25.49 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 3722 0 0 0 2549 0 0 0 20 0 1 0 17496316 33427456 1454 33554432000 4194304 5970956 140727028186000 140727028183336 4994471 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8161 1454 835 434 0 1525 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32644

[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.15 3/187 5272
/proc/meminfo: memFree=31834444/32770624 swapFree=6644/16304
[pid=5271] ppid=5268 vsize=32644 CPUtime=51.09 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 4189 0 0 0 5109 0 0 0 20 0 1 0 17496316 33427456 1459 33554432000 4194304 5970956 140727028186000 140727028183336 5098896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8161 1459 835 434 0 1525 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32644

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.14 3/187 5273
/proc/meminfo: memFree=31834536/32770624 swapFree=6644/16368
[pid=5271] ppid=5268 vsize=32776 CPUtime=102.3 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 4675 0 0 0 10230 0 0 0 20 0 1 0 17496316 33562624 1473 33554432000 4194304 5970956 140727028186000 140727028183336 5098896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1473 835 434 0 1558 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 32776

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.13 3/187 5281
/proc/meminfo: memFree=31832636/32770624 swapFree=6644/16436
[pid=5271] ppid=5268 vsize=32776 CPUtime=162.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 5135 0 0 0 16229 0 0 0 20 0 1 0 17496316 33562624 1484 33554432000 4194304 5970956 140727028186000 140727028183336 4994454 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1484 835 434 0 1558 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 32776

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.13 3/187 5282
/proc/meminfo: memFree=31833912/32770624 swapFree=6644/16488
[pid=5271] ppid=5268 vsize=32776 CPUtime=222.3 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 5605 0 0 0 22230 0 0 0 20 0 1 0 17496316 33562624 1489 33554432000 4194304 5970956 140727028186000 140727028183336 4994573 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1489 835 434 0 1558 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 32776

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/187 5283
/proc/meminfo: memFree=31833680/32770624 swapFree=6644/16536
[pid=5271] ppid=5268 vsize=32776 CPUtime=282.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 6076 0 0 0 28229 0 0 0 20 0 1 0 17496316 33562624 1496 33554432000 4194304 5970956 140727028186000 140727028183336 4994554 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1496 835 434 0 1558 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 32776

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/187 5284
/proc/meminfo: memFree=31833836/32770624 swapFree=6644/16596
[pid=5271] ppid=5268 vsize=32776 CPUtime=342.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 6563 0 0 0 34229 0 0 0 20 0 1 0 17496316 33562624 1498 33554432000 4194304 5970956 140727028186000 140727028183336 5093436 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1498 835 434 0 1558 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 32776

[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.12 3/187 5285
/proc/meminfo: memFree=31833888/32770624 swapFree=6644/16632
[pid=5271] ppid=5268 vsize=32776 CPUtime=402.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 7037 0 0 0 40229 0 0 0 20 0 1 0 17496316 33562624 1502 33554432000 4194304 5970956 140727028186000 140727028183336 5052085 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1502 835 434 0 1558 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 32776

[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.12 3/187 5287
/proc/meminfo: memFree=31833940/32770624 swapFree=6644/16676
[pid=5271] ppid=5268 vsize=32776 CPUtime=462.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 7509 0 0 0 46229 0 0 0 20 0 1 0 17496316 33562624 1505 33554432000 4194304 5970956 140727028186000 140727028183336 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1505 835 434 0 1558 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 32776

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.11 3/187 5535
/proc/meminfo: memFree=31741340/32770624 swapFree=6644/23880
[pid=5271] ppid=5268 vsize=32776 CPUtime=522.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 7984 0 0 0 52229 0 0 0 20 0 1 0 17496316 33562624 1506 33554432000 4194304 5970956 140727028186000 140727028183336 4994541 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1506 835 434 0 1558 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 32776

[startup+582.3 s]
/proc/loadavg: 1.98 2.01 2.10 3/187 5596
/proc/meminfo: memFree=31639356/32770624 swapFree=6644/25268
[pid=5271] ppid=5268 vsize=32776 CPUtime=582.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 8448 0 0 0 58229 0 0 0 20 0 1 0 17496316 33562624 1508 33554432000 4194304 5970956 140727028186000 140727028183336 5240208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1508 835 434 0 1558 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 32776


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5629
/proc/meminfo: memFree=31629796/32770624 swapFree=6644/26092
[pid=5271] ppid=5268 vsize=32776 CPUtime=1542.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 15119 0 0 0 154229 0 0 0 20 0 1 0 17496316 33562624 1534 33554432000 4194304 5970956 140727028186000 140727028183336 4908349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1534 835 434 0 1558 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 32776

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5630
/proc/meminfo: memFree=31629648/32770624 swapFree=6644/26128
[pid=5271] ppid=5268 vsize=32776 CPUtime=1602.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 15432 0 0 0 160229 0 0 0 20 0 1 0 17496316 33562624 1534 33554432000 4194304 5970956 140727028186000 140727028183336 5327993 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1534 835 434 0 1558 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 32776

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5631
/proc/meminfo: memFree=31629920/32770624 swapFree=6644/26156
[pid=5271] ppid=5268 vsize=32776 CPUtime=1662.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 16029 0 0 0 166229 0 0 0 20 0 1 0 17496316 33562624 1535 33554432000 4194304 5970956 140727028186000 140727028183336 5319739 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1535 835 434 0 1558 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 32776

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5632
/proc/meminfo: memFree=31629588/32770624 swapFree=6644/26196
[pid=5271] ppid=5268 vsize=32776 CPUtime=1722.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 16272 0 0 0 172229 0 0 0 20 0 1 0 17496316 33562624 1535 33554432000 4194304 5970956 140727028186000 140727028183336 4994596 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1535 835 434 0 1558 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 32776

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5633
/proc/meminfo: memFree=31629332/32770624 swapFree=6644/26236
[pid=5271] ppid=5268 vsize=32776 CPUtime=1782.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 16751 0 0 0 178229 0 0 0 20 0 1 0 17496316 33562624 1536 33554432000 4194304 5970956 140727028186000 140727028183336 5098896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1536 835 434 0 1558 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 32776

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5634
/proc/meminfo: memFree=31628960/32770624 swapFree=6644/26272
[pid=5271] ppid=5268 vsize=32776 CPUtime=1842.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 17140 0 0 0 184229 0 0 0 20 0 1 0 17496316 33562624 1536 33554432000 4194304 5970956 140727028186000 140727028183336 5098896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1536 835 434 0 1558 0
Current children cumulated CPU time (s) 1842.29
Current children cumulated vsize (KiB) 32776

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5635
/proc/meminfo: memFree=31629068/32770624 swapFree=6644/26312
[pid=5271] ppid=5268 vsize=32776 CPUtime=1902.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 17364 0 0 0 190229 0 0 0 20 0 1 0 17496316 33562624 1536 33554432000 4194304 5970956 140727028186000 140727028183336 5328055 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1536 835 434 0 1558 0
Current children cumulated CPU time (s) 1902.29
Current children cumulated vsize (KiB) 32776

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5643
/proc/meminfo: memFree=31628720/32770624 swapFree=6644/26348
[pid=5271] ppid=5268 vsize=32776 CPUtime=1962.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 17848 0 0 0 196229 0 0 0 20 0 1 0 17496316 33562624 1537 33554432000 4194304 5970956 140727028186000 140727028183336 5328073 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1537 835 434 0 1558 0
Current children cumulated CPU time (s) 1962.29
Current children cumulated vsize (KiB) 32776

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5644
/proc/meminfo: memFree=31628984/32770624 swapFree=6644/26380
[pid=5271] ppid=5268 vsize=32776 CPUtime=2022.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 18042 0 0 0 202229 0 0 0 20 0 1 0 17496316 33562624 1537 33554432000 4194304 5970956 140727028186000 140727028183336 5327108 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1537 835 434 0 1558 0
Current children cumulated CPU time (s) 2022.29
Current children cumulated vsize (KiB) 32776

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5830
/proc/meminfo: memFree=31826256/32770624 swapFree=6644/25480
[pid=5271] ppid=5268 vsize=32776 CPUtime=2082.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 18577 0 0 0 208229 0 0 0 20 0 1 0 17496316 33562624 1537 33554432000 4194304 5970956 140727028186000 140727028183336 4994506 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1537 835 434 0 1558 0
Current children cumulated CPU time (s) 2082.29
Current children cumulated vsize (KiB) 32776

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5831
/proc/meminfo: memFree=31825868/32770624 swapFree=6644/25556
[pid=5271] ppid=5268 vsize=32776 CPUtime=2142.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 19134 0 0 0 214229 0 0 0 20 0 1 0 17496316 33562624 1538 33554432000 4194304 5970956 140727028186000 140727028183336 4967828 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1538 835 434 0 1558 0
Current children cumulated CPU time (s) 2142.29
Current children cumulated vsize (KiB) 32776

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5832
/proc/meminfo: memFree=31825412/32770624 swapFree=6644/25620
[pid=5271] ppid=5268 vsize=32776 CPUtime=2202.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 19547 0 0 0 220229 0 0 0 20 0 1 0 17496316 33562624 1538 33554432000 4194304 5970956 140727028186000 140727028183336 5098908 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1538 835 434 0 1558 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 32776

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5834
/proc/meminfo: memFree=31825692/32770624 swapFree=6644/25684
[pid=5271] ppid=5268 vsize=32776 CPUtime=2262.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 19964 0 0 0 226229 0 0 0 20 0 1 0 17496316 33562624 1538 33554432000 4194304 5970956 140727028186000 140727028183336 4994496 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1538 835 434 0 1558 0
Current children cumulated CPU time (s) 2262.29
Current children cumulated vsize (KiB) 32776

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5835
/proc/meminfo: memFree=31825696/32770624 swapFree=6644/25748
[pid=5271] ppid=5268 vsize=32776 CPUtime=2322.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 20371 0 0 0 232229 0 0 0 20 0 1 0 17496316 33562624 1538 33554432000 4194304 5970956 140727028186000 140727028183336 4994584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1538 835 434 0 1558 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 32776

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5836
/proc/meminfo: memFree=31825200/32770624 swapFree=6644/25796
[pid=5271] ppid=5268 vsize=32776 CPUtime=2382.29 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 20881 0 0 0 238229 0 0 0 20 0 1 0 17496316 33562624 1539 33554432000 4194304 5970956 140727028186000 140727028183336 5070768 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1539 835 434 0 1558 0
Current children cumulated CPU time (s) 2382.29
Current children cumulated vsize (KiB) 32776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5836
/proc/meminfo: memFree=31825324/32770624 swapFree=6644/25804
[pid=5271] ppid=5268 vsize=32776 CPUtime=2400.09 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 21092 0 0 0 240009 0 0 0 20 0 1 0 17496316 33562624 1539 33554432000 4194304 5970956 140727028186000 140727028183336 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1539 835 434 0 1558 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 32776

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

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5836
/proc/meminfo: memFree=31825324/32770624 swapFree=6644/25804
[pid=5271] ppid=5268 vsize=32776 CPUtime=2400.09 cores=0,2,4,6
/proc/5271/stat : 5271 (cosoco) R 5268 5271 4637 0 -1 4202496 21092 0 0 0 240009 0 0 0 20 0 1 0 17496316 33562624 1539 33554432000 4194304 5970956 140727028186000 140727028183336 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14614528 140727028192444 140727028192579 140727028192579 140727028195278 0
/proc/5271/statm: 8194 1539 835 434 0 1558 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 32776

Child status: 1
Real time (s): 2400.1
CPU time (s): 2400.1
CPU user time (s): 2400.09
CPU system time (s): 0.009
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 32776

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.602 second user time and 8.63615 second system time

The end

Launcher Data 

Begin job on node113 at 2017-07-21 11:17:23
IDJOB=4240882
IDBENCH=124372
IDSOLVER=2621
FILE ID=node113/4240882-1500628643
RUNJOBID= node113-1500623784-4668
PBS_JOBID= 20623018
Free space on /tmp= 62020 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-16.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240882-1500628643/watcher-4240882-1500628643 -o /tmp/evaluation-result-4240882-1500628643/solver-4240882-1500628643 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500623784-4668 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240882-1500628643.xml

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

MD5SUM BENCH= 27c67f30ca0ef1b1bbbeaa4cb2c2f178
RANDOM SEED=1375872032

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.03
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:        31838736 kB
MemAvailable:   31993336 kB
Buffers:          148752 kB
Cached:           288244 kB
SwapCached:            0 kB
Active:           413168 kB
Inactive:          86456 kB
Active(anon):      12324 kB
Inactive(anon):    69996 kB
Active(file):     400844 kB
Inactive(file):    16460 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2280 kB
Writeback:             0 kB
AnonPages:         69476 kB
Mapped:            34424 kB
Shmem:             17040 kB
Slab:             131508 kB
SReclaimable:     106260 kB
SUnreclaim:        25248 kB
KernelStack:        3280 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     345332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62016 MiB
End job on node113 at 2017-07-21 11:57:24