Trace number 4242133

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePrimes/
Primes-m1-p15/Primes-15-60-3-5.xml
MD5SUMcb28c088349c564a44b865f26515e86f
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 benchmark3.2825999
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Number of domains1
Minimum domain size46
Maximum domain size46
Distribution of domain sizes[{"size":46,"count":99}]
Minimum variable degree0
Maximum variable degree8
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":60}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c SAT : Variables: 4600 -- Clauses: 103600
0.00/0.03	c root propagations     : 595         
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.02 s 
0.00/0.03	c |
0.00/0.03	c |               Variables: 100
0.00/0.03	c |            Domain Sizes: 46..46
0.00/0.03	c |
0.00/0.03	c |             Constraints: 60
0.00/0.03	c |                   Arity: 3..8  -- Ternary: 5
0.00/0.03	c | 
0.00/0.03	c |                   Types: 
0.00/0.03	c |                          Sum: 60
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.03	c remove useless variable x[77]
0.00/0.03	c 10             30             792            3808           38             9              2   19   13    
0.00/0.03	c 20             68             1791           7833           39             17             1   25   12    
0.00/0.03	c 30             87             2194           10188          39             27             10   10   9    
0.00/0.03	c 40             97             2384           11800          39             36             1   1   0      
0.00/0.03	c 50             107            2606           12698          39             45             1   1   0      
0.00/0.03	c 60             139            3243           14404          40             54             1   23   6     
0.00/0.04	c 70             193            4434           17768          40             60             1   30   21    
0.00/0.04	c 80             226            5307           20930          40             68             4   15   6     
0.00/0.04	c 90             252            5653           22000          40             78             12   17   14   
0.00/0.04	c 100            296            6663           24605          40             86             12   31   22   
0.00/0.04	c 101            297            7021           26317          40             86             1   1   0      
0.00/0.04	c 110            322            7555           28326          40             95             4   17   10    
0.00/0.05	c 120            357            8362           30530          40             100            4   17   12    
0.00/0.05	c 130            403            9914           36543          40             108            8   33   22    
0.00/0.05	c 140            444            11659          44413          40             117            27   31   25   
0.00/0.05	c 150            486            12481          46535          40             122            11   22   17   
0.00/0.06	c 160            514            12985          48218          40             131            1   19   9     
0.00/0.06	c 170            560            15179          58619          40             136            21   28   23   
0.00/0.06	c 180            595            15917          60316          40             146            16   26   18   
0.00/0.06	c 190            633            17201          64589          40             150            28   28   25   
0.00/0.07	c 200            674            18290          67661          40             156            15   27   20   
0.00/0.07	c 210            708            19322          71717          40             163            17   24   16   
0.00/0.07	c 211            732            20007          73732          40             164            24   24   12   
0.00/0.07	c 220            771            20888          76918          40             170            11   25   16   
0.00/0.07	c 230            791            21354          78554          40             175            4   9   7      
0.00/0.07	c 240            818            21701          79752          40             184            1   18   13    
0.00/0.08	c 250            858            23316          86085          40             187            24   28   24   
0.00/0.08	c 260            896            24465          91053          40             193            24   28   25   
0.00/0.08	c 270            917            25749          97225          40             194            6   9   7      
0.00/0.08	c 280            942            26224          98928          40             204            16   16   14   
0.00/0.09	c 290            956            27089          103070         41             210            2   2   1      
0.00/0.09	c 300            998            28279          107487         41             215            1   22   12    
0.00/0.09	c 310            1036           29165          110279         41             222            15   23   15   
0.00/0.09	c 320            1072           30671          120588         41             227            20   25   19   
0.00/0.09	c 330            1111           31576          122959         41             231            2   23   17    
0.00/0.09	c 332            1132           32106          124897         41             232            17   20   12   
0.09/0.10	c 340            1172           33481          130691         41             237            24   28   23   
0.09/0.10	c 350            1210           34456          134833         41             247            17   28   19   
0.09/0.10	c 360            1250           35889          139575         41             253            24   28   24   
0.09/0.10	c 370            1285           36992          142853         41             255            15   21   15   
0.09/0.11	c 380            1324           38186          149511         41             260            23   26   21   
0.09/0.11	c 390            1361           39138          154273         41             270            20   28   20   
0.09/0.11	c 400            1398           40350          158201         41             274            14   18   14   
0.09/0.11	c 410            1436           41227          160308         41             281            19   22   18   
0.09/0.11	c 420            1478           42184          165009         41             286            7   17   9     
0.09/0.12	c 430            1518           44017          175380         41             293            20   23   20   
0.09/0.12	c 440            1555           45154          181260         41             300            25   26   23   
0.09/0.12	c 450            1590           46273          184405         41             310            17   26   18   
0.09/0.12	c 460            1626           47264          186957         41             315            11   20   14   
0.09/0.12	c 465            1652           47928          188180         41             320            19   22   16   
0.09/0.13	c 470            1675           48326          189603         41             325            19   19   15   
0.09/0.13	c 480            1717           49923          196298         41             333            23   28   22   
0.09/0.13	c 490            1758           51203          203245         41             338            25   30   23   
0.09/0.13	c 500            1792           52499          209983         41             345            22   23   20   
0.09/0.13	c 510            1827           53560          216796         41             352            25   25   22   
0.09/0.14	c 520            1857           54138          218747         41             358            20   20   18   
0.09/0.14	c 530            1872           55079          221307         41             361            2   3   2      
0.09/0.14	c 540            1901           55632          223230         41             367            19   19   17   
0.09/0.14	c 550            1914           56396          225270         41             369            3   3   2      
0.09/0.14	c 560            1947           57404          229624         41             378            15   24   16   
0.09/0.14	c 570            1978           58529          234585         41             382            12   19   11   
0.09/0.14	c 580            2014           59452          238256         41             388            3   17   11    
0.09/0.15	c 590            2028           60266          240683         41             389            2   3   2      
0.09/0.15	c 600            2063           61126          243611         41             399            17   26   22   
0.09/0.15	c 610            2106           62842          252478         41             408            16   26   20   
0.09/0.15	c 611            2125           63375          253757         41             409            19   19   9    
0.09/0.15	c 620            2155           64255          257730         41             414            3   20   12    
0.09/0.15	c 630            2182           65178          261516         41             422            3   18   6     
0.09/0.16	c 640            2218           66163          264469         41             432            20   27   23   
0.09/0.16	c 650            2242           66535          266511         41             442            15   15   13   
0.09/0.16	c 660            2256           67329          268302         41             445            3   3   2      
0.09/0.16	c 670            2299           68497          272172         41             453            13   26   19   
0.09/0.16	c 680            2337           70081          279467         41             458            12   26   20   
0.09/0.16	c 690            2373           70894          281981         41             466            14   21   16   
0.09/0.16	c 700            2413           72010          285146         41             469            11   20   15   
0.09/0.17	c 710            2450           72995          288104         41             474            11   15   12   
0.09/0.17	c 720            2481           73735          290629         41             478            20   20   18   
0.09/0.17	c 730            2504           74417          292926         41             484            4   12   6     
0.09/0.17	c 740            2531           75166          295051         41             490            3   15   11    
0.09/0.17	c 750            2567           76588          299010         41             500            3   27   17    
0.09/0.17	c 760            2589           77239          301167         41             510            4   13   4     
0.09/0.17	c 770            2633           78240          303587         41             519            20   26   20   
0.09/0.17	c 771            2659           78823          304743         41             520            26   26   13   
0.09/0.18	c 780            2696           79821          308175         41             526            4   20   10    
0.09/0.18	c 790            2721           80432          310450         41             534            7   15   11    
0.09/0.18	c 800            2758           81793          316629         41             543            26   26   23   
0.09/0.18	c 810            2793           82788          321801         41             552            25   25   22   
0.09/0.18	c 820            2835           84194          328661         41             555            22   30   21   
0.09/0.18	c 830            2870           85169          334169         41             564            25   25   22   
0.09/0.19	c 840            2902           86422          341479         41             569            22   22   20   
0.09/0.19	c 850            2937           87389          346840         41             578            25   25   22   
0.09/0.19	c 860            2969           88395          352020         41             585            22   22   20   
0.09/0.19	c 870            3004           89406          357715         41             587            25   25   22   
0.09/0.19	c 880            3038           90755          362158         41             592            13   17   12   
0.09/0.19	c 890            3071           91780          365015         41             598            19   20   18   
0.09/0.20	c 900            3108           93403          370002         41             607            26   27   24   
0.19/0.20	c 910            3147           94441          372953         41             611            27   27   24   
0.19/0.20	c 920            3177           95186          374914         41             614            6   12   9     
0.19/0.20	c 930            3205           95757          376959         42             620            1   18   14    
0.19/0.20	c 940            3244           97371          381869         42             622            26   27   24   
0.19/0.20	c 947            3273           97916          384799         42             629            18   23   17   
0.19/0.20	c 950            3293           99309          389900         42             632            16   17   12   
0.19/0.20	c 960            3328           100508         394475         42             640            16   18   14   
0.19/0.21	c 970            3366           101565         397190         42             645            27   27   24   
0.19/0.21	c 980            3387           102142         398535         42             649            4   10   8     
0.19/0.21	c 990            3426           103756         405804         42             653            23   27   22   
0.19/0.21	c 1000           3460           104836         408218         42             659            24   24   21   
0.19/0.21	c 1010           3497           105886         414115         42             665            27   27   24   
0.19/0.21	c 1020           3529           107020         420942         42             672            22   22   20   
0.19/0.22	c 1030           3563           107936         426019         42             673            25   25   22   
0.19/0.22	c 1040           3591           108994         428858         42             683            16   19   14   
0.19/0.22	c 1050           3640           110476         434056         42             690            21   29   25   
0.19/0.22	c 1060           3672           112554         440579         42             692            13   19   15   
0.19/0.22	c 1070           3706           113407         444842         42             693            25   25   22   
0.19/0.23	c 1080           3737           115259         452241         42             698            13   17   13   
0.19/0.23	c 1090           3771           116643         458119         42             702            23   24   21   
0.19/0.23	c 1100           3806           117619         463232         42             704            25   25   22   
0.19/0.23	c 1110           3838           118673         468198         42             711            22   22   20   
0.19/0.23	c 1120           3873           119539         471762         42             714            25   25   22   
0.19/0.23	c 1130           3905           120652         478498         42             721            22   22   20   
0.19/0.23	c 1140           3940           121917         483832         42             725            23   25   22   
0.19/0.24	c 1141           3962           122570         485822         42             726            22   22   11   
0.19/0.24	c 1150           4000           123914         493331         42             734            24   27   23   
0.19/0.24	c 1160           4030           126013         500590         42             741            13   16   12   
0.19/0.24	c 1170           4067           127487         505200         42             750            24   27   22   
0.19/0.24	c 1180           4103           128481         507252         42             756            23   24   21   
0.19/0.25	c 1190           4139           129580         512196         42             759            25   25   22   
0.19/0.25	c 1200           4173           130978         518474         42             763            24   24   21   
0.19/0.25	c 1210           4208           132003         523876         42             769            25   25   22   
0.19/0.25	c 1220           4248           133084         529534         42             778            15   27   18   
0.19/0.25	c 1230           4288           134662         537350         42             781            23   26   22   
0.19/0.25	c 1240           4323           135545         540324         42             791            20   26   22   
0.19/0.26	c 1250           4361           136997         545810         42             795            23   26   21   
0.19/0.26	c 1260           4405           138307         549470         42             800            26   27   24   
0.19/0.26	c 1270           4446           140034         559094         42             802            22   26   22   
0.19/0.26	c 1280           4490           141395         563940         42             805            22   27   23   
0.19/0.26	c 1290           4527           142458         568103         42             810            23   26   22   
0.19/0.27	c 1300           4569           143796         572401         42             815            27   27   24   
0.19/0.27	c 1310           4591           144313         573498         42             820            10   11   9    
0.19/0.27	c 1320           4631           145732         579827         42             827            22   27   21   
0.19/0.27	c 1330           4666           146796         585950         42             829            25   25   22   
0.19/0.27	c 1340           4696           148211         591600         42             836            6   17   8     
0.19/0.27	c 1350           4736           149471         596868         42             845            14   27   20   
0.19/0.27	c 1352           4764           150220         599826         42             847            26   27   17   
0.19/0.28	c 1360           4808           152457         608026         42             851            12   22   15   
0.19/0.28	c 1370           4840           153534         614110         42             859            22   22   20   
0.19/0.28	c 1380           4875           154559         619453         42             861            25   25   22   
0.19/0.28	c 1390           4913           155682         622646         42             865            15   22   18   
0.19/0.28	c 1400           4947           156622         624155         42             867            24   24   21   
0.19/0.29	c 1410           4993           158839         632542         42             869            8   17   9     
0.19/0.29	c 1420           5032           160077         636814         42             875            23   27   21   
0.19/0.29	c 1430           5069           161143         642280         42             884            25   27   22   
0.19/0.29	c 1440           5101           162203         647749         42             892            22   22   20   
0.19/0.29	c 1450           5145           163877         655917         42             893            24   27   23   
0.19/0.29	c 1460           5181           165036         659556         42             898            17   26   17   
0.29/0.30	c 1470           5224           166078         663728         42             906            24   27   22   
0.29/0.30	c 1480           5258           166942         666033         42             910            24   24   21   
0.29/0.30	c 1490           5297           168288         674177         42             915            24   27   23   
0.29/0.30	c 1500           5354           170531         682349         42             920            8   22   10    
0.29/0.30	c 1510           5378           170891         684378         42             930            15   15   13   
0.29/0.31	c 1520           5415           172300         690426         42             940            24   28   22   
0.29/0.31	c 1530           5455           173443         693513         42             945            24   30   24   
0.29/0.31	c 1540           5496           174967         703831         42             947            26   27   24   
0.29/0.31	c 1550           5528           176260         709988         42             954            11   21   15   
0.29/0.31	c 1560           5574           177392         714061         42             960            22   26   22   
0.29/0.31	c 1570           5608           178705         721609         42             964            23   23   20   
0.29/0.32	c 1580           5647           180143         731842         42             974            26   27   24   
0.29/0.32	c 1585           5684           181237         735744         42             978            18   26   20   
0.29/0.32	c 1590           5716           182168         738863         42             980            27   27   22   
0.29/0.32	c 1600           5751           183356         743360         42             983            17   26   22   
0.29/0.32	c 1610           5784           184785         752110         42             989            23   23   20   
0.29/0.33	c 1620           5827           186318         761126         42             997            26   29   24   
0.29/0.33	c 1630           5872           187629         764664         42             1002           29   29   26   
0.29/0.33	c 1640           5911           189136         774583         42             1003           26   27   24   
0.29/0.33	c 1650           5947           190118         778412         42             1009           11   23   11   
0.29/0.33	c 1660           5985           190820         781755         42             1019           8   22   16    
0.29/0.34	c 1670           6027           192760         787175         42             1025           25   28   23   
0.29/0.34	c 1680           6074           194311         794980         42             1027           27   27   24   
0.29/0.34	c 1690           6115           195541         800613         42             1030           24   27   22   
0.29/0.34	c 1700           6159           196623         803294         42             1036           27   27   24   
0.29/0.34	c 1710           6198           197994         811661         42             1039           23   27   23   
0.29/0.34	c 1720           6239           198907         814233         42             1049           24   27   24   
0.29/0.35	c 1730           6277           199790         818296         42             1052           24   27   23   
0.29/0.35	c 1740           6313           200506         820262         42             1062           19   27   22   
0.29/0.35	c 1750           6353           201477         825121         42             1067           24   27   23   
0.29/0.35	c 1760           6389           202145         827023         42             1077           23   27   23   
0.29/0.35	c 1770           6426           203056         832511         42             1080           27   27   24   
0.29/0.35	c 1780           6466           204211         834901         42             1082           27   27   24   
0.29/0.35	c 1790           6498           204983         836676         42             1085           11   16   13   
0.29/0.35	c 1800           6536           206216         840942         42             1087           21   28   24   
0.29/0.36	c 1810           6581           207832         846376         42             1090           23   29   24   
0.29/0.36	c 1820           6620           209115         854864         42             1098           24   27   22   
0.29/0.36	c 1830           6654           210224         858757         42             1105           8   22   12    
0.29/0.36	c 1840           6690           211099         860344         42             1115           13   27   16   
0.29/0.36	c 1841           6717           211614         861601         42             1116           27   27   13   
0.29/0.36	c 1850           6756           212626         864186         42             1117           23   27   23   
0.29/0.36	c 1860           6770           213328         865465         42             1123           4   4   3      
0.29/0.37	c 1870           6809           214358         868490         42             1127           27   27   24   
0.29/0.37	c 1880           6847           215874         875216         42             1132           23   26   22   
0.29/0.37	c 1890           6877           216868         878804         42             1140           8   20   9     
0.29/0.37	c 1900           6918           217913         881484         42             1147           23   27   23   
0.29/0.37	c 1910           6956           218660         883217         42             1150           14   16   14   
0.29/0.37	c 1920           6995           219972         888215         42             1157           23   29   24   
0.29/0.38	c 1930           7030           221045         893875         42             1159           25   25   22   
0.29/0.38	c 1940           7066           222028         899097         42             1167           8   26   13    
0.29/0.38	c 1950           7106           223129         903570         42             1174           24   27   23   
0.29/0.38	c 1960           7142           224162         905778         42             1177           24   27   24   
0.29/0.38	c 1970           7178           224916         907494         42             1187           17   27   19   
0.29/0.38	c 1980           7216           226059         912855         42             1196           20   27   22   
0.29/0.38	c 1990           7256           227277         917903         42             1203           20   27   23   
0.29/0.38	c 2000           7292           228031         920684         42             1211           24   27   22   
0.29/0.39	c 2010           7334           229287         924510         42             1212           27   27   24   
0.29/0.39	c 2020           7351           229996         925845         42             1216           4   6   4      
0.29/0.39	c 2030           7387           230687         927697         42             1226           27   27   24   
0.29/0.39	c 2040           7430           232038         936268         42             1233           24   27   23   
0.29/0.39	c 2050           7466           233273         944435         42             1243           23   27   24   
0.29/0.39	c 2060           7504           234516         949108         42             1249           20   27   21   
0.39/0.40	c 2070           7547           236140         953309         42             1255           25   28   24   
0.39/0.40	c 2080           7584           237391         957265         42             1258           16   26   20   
0.39/0.40	c 2090           7620           238304         959207         42             1268           27   27   24   
0.39/0.40	c 2100           7657           239274         961875         42             1275           14   21   15   
0.39/0.40	c 2110           7687           240278         965477         42             1283           8   20   9     
0.39/0.40	c 2120           7724           241206         967671         42             1287           27   27   24   
0.39/0.40	c 2122           7740           241579         968504         42             1289           14   14   9    
0.39/0.40	c 2130           7776           242287         970950         42             1297           8   25   13    
0.39/0.41	c 2140           7812           243122         974018         42             1307           15   27   20   
0.39/0.41	c 2150           7855           245495         982941         42             1312           14   24   19   
0.39/0.41	c 2160           7902           246804         987479         42             1317           22   26   22   
0.39/0.41	c 2170           7944           247955         990295         42             1321           20   27   22   
0.39/0.41	c 2180           7980           249086         995341         42             1325           19   27   22   
0.39/0.42	c 2190           8009           249921         998940         42             1334           7   19   12    
0.39/0.42	c 2200           8043           251501         1005221        42             1336           24   24   21   
0.39/0.42	c 2210           8075           252325         1008285        42             1346           17   23   19   
0.39/0.42	c 2220           8110           253322         1014371        42             1350           25   25   22   
0.39/0.42	c 2230           8142           254405         1020956        42             1358           22   22   20   
0.39/0.42	c 2240           8177           255288         1025645        42             1364           25   25   22   
0.39/0.42	c 2250           8209           256395         1032440        42             1372           22   22   20   
0.39/0.43	c 2260           8244           257376         1038236        42             1378           25   25   22   
0.39/0.43	c 2270           8276           258349         1042896        42             1386           22   22   20   
0.39/0.43	c 2280           8316           259475         1049306        42             1390           25   27   23   
0.39/0.43	c 2290           8360           260719         1053815        42             1396           19   27   21   
0.39/0.43	c 2300           8395           261779         1059950        42             1400           25   25   22   
0.39/0.43	c 2310           8433           262977         1063571        42             1409           6   22   16    
0.39/0.44	c 2320           8468           263905         1066983        42             1415           12   26   17   
0.39/0.44	c 2330           8504           264704         1068736        42             1425           27   27   24   
0.39/0.44	c 2340           8550           266983         1076817        42             1427           27   30   26   
0.39/0.44	c 2350           8587           268025         1080510        42             1437           20   27   23   
0.39/0.44	c 2360           8629           269895         1087286        42             1443           17   24   19   
0.39/0.45	c 2370           8673           271130         1091445        42             1445           18   26   22   
0.39/0.45	c 2380           8718           272508         1094695        42             1450           22   29   25   
0.39/0.45	c 2390           8757           273673         1100370        42             1454           12   30   23   
0.39/0.45	c 2400           8787           274465         1102344        42             1456           13   18   14   
0.39/0.45	c 2410           8817           275012         1103600        42             1466           21   21   19   
0.39/0.45	c 2420           8854           276002         1109156        42             1476           22   27   22   
0.39/0.45	c 2430           8879           276609         1111082        42             1486           12   16   11   
0.39/0.45	c 2431           8880           276616         1111132        42             1486           1   1   0      
0.39/0.45	c 2440           8915           277379         1113693        43             1492           11   24   16   
0.39/0.46	c 2450           8937           278095         1116668        43             1501           6   13   7     
0.39/0.46	c 2460           8982           279423         1121767        43             1507           24   27   24   
0.39/0.46	c 2470           9034           281722         1128295        43             1511           25   29   25   
0.39/0.46	c 2480           9077           283570         1136246        43             1518           19   26   19   
0.39/0.46	c 2490           9116           284513         1139853        43             1524           27   29   25   
0.39/0.47	c 2500           9150           285965         1147924        43             1528           22   22   20   
0.39/0.47	c 2510           9194           287686         1157767        43             1530           22   27   23   
0.39/0.47	c 2520           9235           289036         1162087        43             1537           23   26   22   
0.39/0.47	c 2530           9272           289907         1165030        43             1547           25   28   24   
0.39/0.47	c 2540           9307           291012         1169830        43             1557           19   26   22   
0.39/0.48	c 2550           9351           292326         1175102        43             1567           23   29   24   
0.39/0.48	c 2560           9390           293578         1182141        43             1573           22   29   20   
0.39/0.48	c 2570           9429           295138         1191396        43             1579           26   27   23   
0.39/0.48	c 2580           9470           296853         1197877        43             1587           15   26   17   
0.39/0.48	c 2590           9514           297563         1200222        43             1597           23   29   24   
0.39/0.48	c 2600           9554           298569         1203434        43             1605           25   28   23   
0.39/0.48	c 2610           9588           299143         1204855        43             1615           18   25   19   
0.39/0.49	c 2620           9612           299709         1206415        43             1625           15   15   13   
0.39/0.49	c 2630           9653           301310         1210371        43             1631           25   28   24   
0.39/0.49	c 2640           9692           302393         1213639        43             1633           25   28   23   
0.39/0.49	c 2650           9732           303930         1223977        43             1639           26   27   23   
0.39/0.49	c 2660           9762           305001         1227351        43             1646           8   20   10    
0.39/0.49	c 2670           9793           305865         1230138        43             1650           18   18   16   
0.39/0.50	c 2680           9830           306964         1232767        43             1657           25   28   23   
0.49/0.50	c 2690           9868           307936         1236226        43             1667           25   29   24   
0.49/0.50	c 2700           9897           309562         1242271        43             1671           8   19   13    
0.49/0.50	c 2710           9936           310962         1251068        43             1673           26   27   23   
0.49/0.50	c 2720           9966           311965         1255599        43             1678           8   19   10    
0.49/0.51	c 2730           10005          313416         1265010        43             1688           26   27   24   
0.49/0.51	c 2740           10038          314320         1269186        43             1695           8   19   10    
0.49/0.51	c 2750           10074          315138         1271161        43             1705           27   27   24   
0.49/0.51	c 2760           10116          316400         1274968        43             1711           24   28   23   
0.49/0.51	c 2770           10148          317848         1280586        43             1719           8   13   10    
0.49/0.51	c 2771           10170          318414         1281639        43             1720           22   22   11   
0.49/0.51	c 2780           10215          320246         1290625        43             1723           26   30   23   
0.49/0.52	c 2790           10244          321387         1294425        43             1733           12   13   11   
0.49/0.52	c 2800           10290          322632         1298796        43             1737           22   26   22   
0.49/0.52	c 2810           10332          323882         1304743        43             1740           25   29   25   
0.49/0.52	c 2820           10379          325031         1308499        43             1745           18   25   20   
0.49/0.52	c 2830           10418          325754         1310844        43             1754           15   30   20   
0.49/0.52	c 2840           10453          326355         1313029        43             1760           7   25   21    
0.49/0.53	c 2850           10493          327705         1315959        43             1767           25   28   24   
0.49/0.53	c 2860           10519          328722         1318531        43             1774           13   14   11   
0.49/0.53	c 2870           10565          329703         1321950        43             1778           22   26   22   
0.49/0.53	c 2880           10606          330883         1327188        43             1785           23   27   23   
0.49/0.53	c 2890           10628          331490         1328550        43             1795           8   13   7     
0.49/0.53	c 2900           10666          332545         1333109        43             1801           25   29   24   
0.49/0.53	c 2910           10703          333678         1339603        43             1803           23   27   23   
0.49/0.54	c 2920           10742          334779         1342328        43             1812           24   27   22   
0.49/0.54	c 2930           10779          335567         1344634        43             1818           18   25   19   
0.49/0.54	c 2940           10819          337080         1354696        43             1824           22   27   21   
0.49/0.54	c 2950           10852          338481         1360171        43             1832           12   13   11   
0.49/0.54	c 2960           10908          339803         1364167        43             1836           7   26   20    
0.49/0.54	c 2970           10936          340906         1367833        43             1846           12   13   11   
0.49/0.55	c 2980           10970          342680         1373105        43             1851           6   20   15    
0.49/0.55	c 2990           11010          343433         1374938        43             1861           18   25   18   
0.49/0.55	c 3000           11053          344741         1382627        43             1865           24   30   23   
0.49/0.55	c 3010           11093          345949         1387506        43             1874           25   30   26   
0.49/0.55	c 3020           11126          347228         1395067        43             1877           22   22   20   
0.49/0.56	c 3030           11166          348799         1404988        43             1880           26   27   23   
0.49/0.56	c 3040           11202          349872         1409663        43             1888           8   26   18    
0.49/0.56	c 3050           11245          351402         1415021        43             1890           24   28   22   
0.49/0.56	c 3060           11277          352502         1421918        43             1892           22   22   20   
0.49/0.56	c 3070           11316          353903         1430970        43             1902           26   27   24   
0.49/0.56	c 3080           11345          355020         1433583        43             1904           12   14   11   
0.49/0.57	c 3090           11378          355591         1435746        43             1911           22   22   20   
0.49/0.57	c 3100           11422          357303         1439673        43             1914           28   28   25   
0.49/0.57	c 3110           11457          358443         1446035        43             1922           6   22   11    
0.49/0.57	c 3120           11497          359826         1449077        43             1928           25   28   24   
0.49/0.57	c 3130           11528          360566         1450848        43             1938           19   22   17   
0.49/0.57	c 3140           11564          361660         1454061        43             1947           23   26   23   
0.49/0.57	c 3142           11591          362439         1456899        43             1948           26   26   17   
0.49/0.58	c 3150           11628          363461         1460330        43             1952           23   29   21   
0.49/0.58	c 3160           11667          364867         1469880        43             1962           26   27   24   
0.49/0.58	c 3170           11704          366226         1473530        43             1970           19   25   18   
0.49/0.58	c 3180           11726          366912         1477282        43             1977           9   11   9     
0.49/0.58	c 3190           11768          368051         1480296        43             1981           27   27   24   
0.49/0.58	c 3200           11807          369285         1484513        43             1988           26   30   25   
0.49/0.59	c 3210           11847          370883         1491379        43             1996           17   24   17   
0.49/0.59	c 3220           11884          372153         1495802        43             1998           24   27   23   
0.49/0.59	c 3230           11920          373039         1498249        43             2008           23   26   23   
0.49/0.59	c 3240           11966          375011         1507130        43             2011           26   30   25   
0.49/0.59	c 3250           12003          375966         1512737        43             2021           23   27   22   
0.49/0.59	c 3260           12031          376721         1515146        43             2031           12   19   11   
0.59/0.60	c 3270           12069          377702         1517823        43             2034           27   27   24   
0.59/0.60	c 3280           12111          379089         1526324        43             2042           23   27   23   
0.59/0.60	c 3290           12136          379817         1528772        43             2050           9   12   9     
0.59/0.60	c 3300           12174          380872         1535447        43             2057           26   27   24   
0.59/0.60	c 3310           12214          382056         1541612        43             2066           27   27   24   
0.59/0.61	c 3320           12258          384209         1550330        43             2072           20   24   20   
0.59/0.61	c 3330           12292          386567         1555563        43             2077           18   21   16   
0.59/0.61	c 3340           12328          387484         1558068        43             2085           25   26   23   
0.59/0.61	c 3350           12367          388966         1567293        43             2088           24   27   23   
0.59/0.61	c 3360           12396          389829         1571100        43             2098           9   19   10    
0.59/0.61	c 3370           12436          390702         1573725        43             2104           27   27   24   
0.59/0.62	c 3380           12477          392168         1578936        43             2110           20   24   19   
0.59/0.62	c 3390           12525          393455         1585314        43             2120           19   27   21   
0.59/0.62	c 3400           12563          394845         1593009        43             2125           27   27   24   
0.59/0.62	c 3410           12599          395674         1596415        43             2135           23   27   24   
0.59/0.62	c 3420           12644          397302         1602497        43             2140           21   24   20   
0.59/0.63	c 3430           12684          398711         1605742        43             2144           25   28   25   
0.59/0.63	c 3440           12709          399569         1608750        43             2152           9   12   10    
0.59/0.63	c 3450           12747          400615         1615276        43             2155           27   27   24   
0.59/0.63	c 3460           12787          401891         1618867        43             2158           27   27   24   
0.59/0.63	c 3470           12827          402853         1621987        43             2165           21   27   21   
0.59/0.63	c 3480           12863          404059         1625492        43             2167           23   27   24   
0.59/0.63	c 3490           12907          404910         1628269        43             2175           23   29   24   
0.59/0.64	c 3500           12952          407826         1636966        43             2181           17   24   20   
0.59/0.64	c 3510           12988          408918         1639324        43             2183           20   27   23   
0.59/0.64	c 3520           13033          409735         1641518        43             2187           24   29   23   
0.59/0.64	c 3530           13077          411282         1646691        43             2193           17   24   20   
0.59/0.64	c 3540           13117          412720         1649893        43             2197           28   28   25   
0.59/0.65	c 3550           13139          413402         1653473        43             2200           9   12   10    
0.59/0.65	c 3551           13158          413874         1654735        43             2202           18   18   9    
0.59/0.65	c 3560           13194          415019         1657472        43             2208           25   28   23   
0.59/0.65	c 3570           13237          416139         1662417        43             2214           21   27   23   
0.59/0.65	c 3580           13283          417794         1669659        43             2220           21   27   22   
0.59/0.65	c 3590           13323          418880         1673576        43             2227           20   27   22   
0.59/0.65	c 3600           13368          420235         1679883        43             2234           22   30   23   
0.59/0.66	c 3610           13393          420987         1683335        43             2237           9   12   10    
0.59/0.66	c 3620           13430          421964         1688519        43             2241           27   27   24   
0.59/0.66	c 3630           13475          423141         1691761        43             2243           23   27   24   
0.59/0.66	c 3640           13496          423681         1694489        43             2248           5   12   9     
0.59/0.66	c 3650           13532          424975         1703271        43             2250           21   27   23   
0.59/0.66	c 3660           13576          425909         1705345        43             2260           17   27   18   
0.59/0.66	c 3670           13613          427141         1712365        43             2262           27   27   24   
0.59/0.67	c 3680           13638          427945         1715725        43             2266           9   12   10    
0.59/0.67	c 3690           13675          428705         1718925        43             2271           27   27   24   
0.59/0.67	c 3700           13719          429923         1723198        43             2273           14   29   21   
0.59/0.67	c 3710           13769          431716         1728478        43             2280           20   26   20   
0.59/0.67	c 3720           13793          432880         1731807        43             2287           12   12   10   
0.59/0.67	c 3730           13830          433672         1735694        43             2292           27   27   24   
0.59/0.68	c 3740           13867          434905         1739379        43             2302           14   27   20   
0.59/0.68	c 3750           13904          436042         1744071        43             2306           14   27   20   
0.59/0.68	c 3760           13940          437248         1746886        43             2308           16   27   23   
0.59/0.68	c 3770           13977          438422         1749632        43             2318           6   28   17    
0.59/0.68	c 3780           14001          439164         1751881        43             2328           9   12   9     
0.59/0.68	c 3790           14038          439997         1756484        43             2332           27   27   24   
0.59/0.68	c 3800           14080          441035         1759250        43             2342           27   27   24   
0.59/0.69	c 3810           14119          443159         1767923        43             2349           14   24   18   
0.59/0.69	c 3820           14169          444701         1772851        43             2355           22   27   23   
0.59/0.69	c 3830           14216          446595         1778855        43             2360           26   32   27   
0.59/0.69	c 3840           14253          447779         1783700        43             2365           13   20   15   
0.59/0.69	c 3850           14289          448726         1787925        43             2375           27   27   24   
0.69/0.70	c 3860           14331          450892         1796441        43             2380           17   24   19   
0.69/0.70	c 3870           14368          451762         1798169        43             2390           17   27   19   
0.69/0.70	c 3880           14416          454071         1807996        43             2396           24   32   24   
0.69/0.70	c 3890           14451          454999         1811425        43             2402           12   26   17   
0.69/0.70	c 3900           14491          456200         1813711        43             2409           17   27   17   
0.69/0.71	c 3910           14534          457431         1816375        43             2414           22   27   24   
0.69/0.71	c 3920           14575          458831         1820437        43             2419           20   24   19   
0.69/0.71	c 3930           14614          459914         1822496        43             2426           17   27   19   
0.69/0.71	c 3940           14659          461649         1828363        43             2431           20   24   20   
0.69/0.71	c 3950           14703          463408         1832624        43             2434           28   28   25   
0.69/0.72	c 3960           14740          464898         1839014        43             2441           12   22   14   
0.69/0.72	c 3970           14780          466548         1844560        43             2450           4   18   10    
0.69/0.72	c 3980           14816          467498         1846558        43             2460           20   27   23   
0.69/0.72	c 3990           14860          469242         1853647        43             2466           20   24   20   
0.69/0.72	c 4000           14898          470878         1857612        43             2472           25   28   24   
0.69/0.72	c 4001           14918          471408         1859726        43             2473           20   20   10   
0.69/0.73	c 4010           14951          472222         1862918        43             2479           3   25   14    
0.69/0.73	c 4020           14996          474285         1870482        43             2484           20   27   20   
0.69/0.73	c 4030           15035          475371         1874390        43             2488           18   26   20   
0.69/0.73	c 4040           15073          476450         1877047        43             2497           20   27   21   
0.69/0.73	c 4050           15113          477476         1881015        43             2504           21   27   21   
0.69/0.73	c 4060           15157          478749         1884856        43             2510           17   27   22   
0.69/0.74	c 4070           15197          479745         1889825        43             2517           18   30   22   
0.69/0.74	c 4080           15234          481114         1894791        43             2527           22   26   23   
0.69/0.74	c 4090           15280          482835         1903012        43             2536           21   27   22   
0.69/0.74	c 4100           15330          484208         1907062        43             2546           17   31   20   
0.69/0.74	c 4110           15364          485221         1910230        43             2551           13   20   14   
0.69/0.75	c 4120           15402          486688         1916090        43             2557           6   25   19    
0.69/0.75	c 4130           15454          488168         1920065        43             2563           23   31   23   
0.69/0.75	c 4140           15483          488797         1922130        43             2572           13   18   15   
0.69/0.75	c 4150           15523          490322         1925837        43             2579           25   28   25   
0.69/0.75	c 4160           15560          492137         1932793        43             2586           4   26   14    
0.69/0.75	c 4170           15597          492933         1934840        43             2591           27   27   24   
0.69/0.76	c 4180           15649          494740         1941069        43             2598           14   27   18   
0.69/0.76	c 4190           15687          496348         1945844        43             2602           15   27   21   
0.69/0.76	c 4200           15724          497578         1948985        43             2612           25   28   24   
0.69/0.76	c 4210           15753          499195         1955010        43             2616           9   19   13    
0.69/0.76	c 4220           15807          500786         1959184        43             2619           20   27   23   
0.69/0.77	c 4230           15848          502266         1965157        43             2625           20   24   20   
0.69/0.77	c 4240           15884          502985         1966789        43             2635           23   27   24   
0.69/0.77	c 4250           15921          504163         1971012        43             2640           17   24   20   
0.69/0.77	c 4260           15957          505125         1973066        43             2643           17   27   22   
0.69/0.77	c 4270           16001          506063         1975697        43             2649           26   29   25   
0.69/0.77	c 4280           16041          506986         1980473        43             2659           22   30   24   
0.69/0.77	c 4290           16071          507936         1984495        43             2669           9   20   10    
0.69/0.78	c 4300           16107          508917         1987611        43             2679           18   27   22   
0.69/0.78	c 4310           16151          510634         1994392        43             2685           20   24   20   
0.69/0.78	c 4320           16187          511373         1995975        43             2695           24   27   23   
0.69/0.78	c 4330           16223          512426         2002469        43             2698           14   27   22   
0.69/0.78	c 4340           16255          513631         2007604        43             2705           9   19   11    
0.69/0.78	c 4350           16283          514136         2009637        43             2711           18   18   16   
0.69/0.78	c 4360           16326          515874         2014084        43             2714           28   28   25   
0.69/0.79	c 4370           16354          516736         2018424        43             2724           9   19   11    
0.69/0.79	c 4380           16392          517798         2021451        43             2728           20   27   23   
0.69/0.79	c 4390           16431          519125         2026315        43             2735           26   30   25   
0.69/0.79	c 4400           16474          520151         2029538        43             2740           12   20   15   
0.69/0.79	c 4410           16521          521166         2032201        43             2750           21   27   20   
0.69/0.79	c 4420           16565          522659         2037400        43             2754           20   24   20   
0.69/0.80	c 4430           16601          523666         2039474        43             2755           27   27   24   
0.79/0.80	c 4440           16644          524759         2042098        43             2761           23   27   24   
0.79/0.80	c 4450           16683          525855         2046465        43             2768           20   27   20   
0.79/0.80	c 4460           16718          527125         2051154        43             2773           15   21   16   
0.79/0.80	c 4470           16767          528458         2054986        43             2778           27   27   24   
0.79/0.80	c 4480           16814          529812         2059649        43             2785           19   27   21   
0.79/0.81	c 4490           16856          531151         2065422        43             2790           17   27   23   
0.79/0.81	c 4493           16885          532302         2070854        43             2791           27   27   20   
0.79/0.81	c 4500           16924          533357         2073342        43             2793           20   27   22   
0.79/0.81	c 4510           16964          534653         2077357        43             2799           23   27   24   
0.79/0.81	c 4520           17000          535518         2081818        43             2806           24   27   22   
0.79/0.81	c 4530           17043          536729         2085786        43             2812           20   27   23   
0.79/0.82	c 4540           17080          537643         2092039        43             2814           23   27   24   
0.79/0.82	c 4550           17120          538675         2094530        43             2818           23   27   24   
0.79/0.82	c 4560           17159          540547         2105533        43             2819           23   27   22   
0.79/0.82	c 4570           17184          541346         2107759        43             2824           9   12   10    
0.79/0.82	c 4580           17220          542312         2110899        43             2834           14   27   22   
0.79/0.82	c 4590           17256          543109         2114431        43             2840           24   27   23   
0.79/0.83	c 4600           17298          545031         2121535        43             2849           23   33   27   
0.79/0.83	c 4610           17341          546022         2126911        43             2852           27   27   24   
0.79/0.83	c 4620           17377          547773         2137387        43             2853           27   27   24   
0.79/0.83	c 4630           17413          548715         2139491        43             2863           27   27   24   
0.79/0.83	c 4640           17452          549517         2143140        43             2871           24   27   23   
0.79/0.83	c 4650           17497          550495         2145605        43             2877           17   27   19   
0.79/0.83	c 4660           17538          551760         2150751        43             2881           24   27   22   
0.79/0.84	c 4670           17574          552609         2152985        43             2890           20   27   19   
0.79/0.84	c 4680           17612          553377         2155056        43             2897           23   29   22   
0.79/0.84	c 4690           17648          554188         2156724        43             2907           27   27   24   
0.79/0.84	c 4700           17686          555205         2159664        43             2911           20   24   19   
0.79/0.84	c 4710           17728          556260         2162516        43             2920           24   27   22   
0.79/0.84	c 4720           17772          557559         2165804        43             2922           22   27   23   
0.79/0.84	c 4730           17808          558556         2171521        43             2932           20   27   23   
0.79/0.85	c 4740           17844          560273         2181391        43             2935           16   24   20   
0.79/0.85	c 4750           17869          561306         2186312        43             2940           9   12   10    
0.79/0.85	c 4760           17904          561962         2188678        43             2947           18   24   19   
0.79/0.85	c 4770           17948          563253         2192977        43             2952           27   27   24   
0.79/0.85	c 4780           17981          564206         2197330        43             2957           6   16   11    
0.79/0.85	c 4790           18018          565581         2200819        43             2959           25   28   25   
0.79/0.86	c 4800           18056          566533         2204200        43             2960           26   29   23   
0.79/0.86	c 4810           18077          567132         2207168        43             2965           9   12   9     
0.79/0.86	c 4820           18120          568460         2210870        43             2974           27   33   25   
0.79/0.86	c 4830           18162          569503         2213833        43             2981           13   20   14   
0.79/0.86	c 4840           18199          570872         2217311        43             2983           25   28   25   
0.79/0.86	c 4850           18234          571649         2219697        43             2993           24   26   23   
0.79/0.86	c 4860           18273          573054         2228720        43             3003           26   27   24   
0.79/0.87	c 4870           18296          573895         2231794        43             3013           7   10   7     
0.79/0.87	c 4880           18333          574728         2235977        43             3015           27   27   24   
0.79/0.87	c 4890           18369          575572         2237838        43             3025           22   27   23   
0.79/0.87	c 4900           18407          576678         2242154        43             3033           5   27   20    
0.79/0.87	c 4910           18459          578195         2246316        43             3039           18   27   22   
0.79/0.87	c 4920           18502          580131         2252306        43             3041           30   30   27   
0.79/0.88	c 4930           18531          581475         2257871        43             3051           14   19   14   
0.79/0.88	c 4940           18555          582201         2260362        43             3059           7   10   7     
0.79/0.88	c 4950           18594          582965         2262818        43             3067           21   24   20   
0.79/0.88	c 4960           18637          583972         2267305        43             3077           23   30   24   
0.79/0.88	c 4970           18661          584628         2270794        43             3086           7   11   8     
0.79/0.88	c 4980           18699          585600         2273524        43             3090           20   27   23   
0.79/0.88	c 4990           18738          586948         2279722        43             3093           23   30   26   
0.79/0.89	c 5035           18835          589527         2290028        43             3105           12   18   16   
0.89/0.93	c 5631           19679          626388         2405577        43             3128           20   30   24   
0.89/0.98	c 6286           20730          658812         2554624        43             3164           5   29   23    
0.99/1.04	c 7006           21986          711295         2708223        43             3175           2   27   19    
1.10/1.12	c 7798           23200          757628         3049096        43             3199           23   27   24   
1.10/1.18	c 8669           24594          808285         3196197        43             3202           6   20   13    
1.29/1.36	c 9627           26012          944903         3635778        44             3223           1   26   21    
1.39/1.43	c 10680          27779          999811         3792487        44             3236           2   27   14    
1.49/1.55	c 11838          29467          1085304        4147136        44             3241           19   34   23   
1.59/1.66	c 13111          31725          1173242        4402826        44             3251           3   28   15    
1.69/1.74	c 14511          33653          1235668        4620230        44             3262           17   31   25   
1.79/1.82	c 16051          36015          1296143        4797273        44             3283           17   27   23   
1.99/2.00	c 17745          38636          1413133        5612503        44             3323           19   31   25   
2.09/2.19	c 19608          41540          1547528        6403182        44             3361           19   32   26   
2.39/2.41	c 21657          44885          1720492        6891498        44             3380           3   17   10    
2.59/2.66	c 23910          48395          1895518        7907714        44             3406           21   33   27   
2.89/2.90	c 26388          52540          2075838        8608788        44             3460           11   24   22   
2.99/3.04	c 29113          56326          2174693        9186645        44             3488           16   30   24   
3.30/3.32	c 32110          61301          2385017        9932269        44             3515           9   27   21    
3.49/3.54	c 35406          66870          2545167        10606509       44             3569           5   39   26    
3.79/3.81	c 39031          75287          2749674        11304510       44             3614           9   27   21    
4.19/4.22	c 43018          81184          3039165        12780737       44             3634           18   32   26   
4.40/4.49	c 47403          87855          3246712        13559484       44             3652           9   35   23    
4.79/4.88	c 52226          95080          3515739        14913248       44             3689           4   30   27    
5.29/5.33	c 57531          105419         3851956        16221742       44             3704           15   38   25   
5.69/5.79	c 63366          115063         4207202        17431329       44             3722           7   38   23    
6.49/6.54	c 69784          125808         4823760        18946775       44             3751           5   21   15    
6.99/7.03	c 76843          139610         5198508        20134285       44             3777           7   29   22    
7.70/7.79	c 84607          151881         5783909        22360912       44             3812           18   40   30   
8.29/8.36	c 93147          164839         6233052        23709631       44             3884           4   29   23    
9.59/9.62	c 102541         179095         7282967        26096169       44             3909           6   18   13    
10.39/10.45	c 112874         198232         7920290        28369932       44             3933           18   30   24   
10.89/11.00	c 124240         216381         8348946        29712453       44             3950           14   40   22   
11.79/11.83	c 136742         237417         8999811        31819201       44             3989           3   38   23    
13.09/13.11	c 150494         260597         9987217        35061112       44             4031           14   37   21   
13.99/14.03	c 165621         285280         10705524       37347588       44             4073           17   38   23   
14.99/15.01	c 182260         312404         11454099       39800783       44             4103           14   39   23   
16.29/16.36	c 200562         343364         12495659       43443746       44             4132           3   39   24    
17.69/17.74	c 220694         375248         13578068       46511370       44             4171           4   28   20    
19.09/19.14	c 242839         406005         14679769       50422295       44             4207           6   40   29    
20.59/20.60	c 267198         441664         15788389       54338530       44             4254           5   37   22    
22.79/22.82	c 293992         489937         17391202       61440361       44             4290           3   39   25    
26.39/26.49	c 323465         535562         20408559       68967726       44             4327           2   33   14    
29.39/29.40	c 355885         598124         22704359       75192707       44             4372           11   40   23   
31.38/31.48	c 391547         650508         24331620       81134658       44             4414           3   29   22    
33.98/34.08	c 430775         710850         26308942       88511781       44             4478           6   44   26    
36.18/36.28	c 473925         775324         28029615       93542536       44             4519           4   29   23    
39.18/39.20	c 521390         852535         30350803       100742164      44             4562           3   39   21    
41.38/41.47	c 573601         921825         32179225       106158401      44             4630           3   35   23    
44.48/44.52	c 631033         1002857        34555887       114136433      44             4650           14   40   23   
48.28/48.39	c 694208         1088040        37542503       124992251      44             4697           15   41   27   
52.79/52.88	c 763700         1199560        41012737       136725937      44             4790           3   39   21    
58.98/59.04	c 840141         1315866        45790734       154045906      44             4840           3   40   27    
63.89/63.98	c 924226         1436109        49654004       167078907      44             4855           14   40   25   
71.18/71.29	c 1016719        1571919        55435167       185598819      44             4891           3   27   16    
78.58/78.64	c 1118461        1716016        60893636       207353708      44             4963           9   40   22    
86.89/87.00	c 1230377        1885962        67202338       234153635      44             4997           12   44   30   
94.48/94.59	c 1353484        2075370        73162229       252684514      44             5071           5   35   20    
104.68/104.70	c 1488901        2287517        80868080       278756442      44             5080           13   43   22   
113.87/113.99	c 1637859        2553101        87696337       305071502      44             5186           9   40   19    
128.47/128.59	c 1801712        2816427        98672187       350380338      44             5239           3   44   28    
142.27/142.35	c 1981950        3108874        108897088      393130675      44             5312           10   42   25   
154.47/154.56	c 2180211        3386961        118235920      426735943      44             5336           4   40   23    
168.47/168.58	c 2398298        3717045        128710937      475467032      44             5412           4   42   30    
186.57/186.65	c 2638193        4089102        142774456      523821348      44             5479           8   40   24    
203.96/204.02	c 2902077        4496358        155742140      575130588      44             5571           4   42   26    
223.46/223.53	c 3192349        4926791        169883081      629760249      44             5619           4   29   23    
246.86/246.97	c 3511648        5420799        188462819      688601689      44             5677           6   39   22    
283.15/283.27	c 3862876        5951234        217683001      747263284      44             5722           2   34   10    
307.45/307.53	c 4249226        6500884        236878145      808502400      44             5784           10   40   24   
338.55/338.61	c 4674211        7297575        260685676      889056464      44             5914           9   39   20    
370.54/370.63	c 5141694        7975814        285913555      969961705      44             5983           4   38   22    
395.24/395.31	c 5655925        8719880        305529216      1030584018     44             6061           3   41   21    
427.33/427.41	c 6221579        9549383        331230317      1109561060     44             6099           4   41   27    
462.04/462.16	c 6843798        10488134       358750460      1197688922     44             6163           11   43   22   
498.53/498.68	c 7528238        11467238       387765480      1287979164     44             6224           2   40   25    
549.12/549.24	c 8281122        12587563       427760085      1412135611     44             6277           7   40   24    
606.02/606.16	c 9109294        14088115       472476704      1551156389     44             6340           9   46   19    
665.61/665.74	c 10020283       15493194       520311617      1664321859     44             6420           3   29   12    
730.10/730.23	c 11022370       17102089       571612106      1819096182     44             6451           4   41   22    
788.09/788.20	c 12124665       18843087       617056270      1961959559     44             6519           3   42   21    
841.49/841.65	c 13337189       20627751       659758607      2083662015     44             6574           3   39   22    
908.18/908.36	c 14670965       22675440       714071542      2227749912     44             6633           3   29   20    
1013.57/1013.74	c 16138118       25012456       797912160      2458638114     44             6713           3   47   23    
1132.87/1133.06	c 17751986       27753200       893311448      2729659714     45             6750           2   47   18    
1242.45/1242.60	c 19527240       30739052       977145133      3032813408     45             6770           8   47   22    
1383.03/1383.25	c 21480019       34010878       1081191421     3473113602     45             6892           4   43   25    
1501.11/1501.31	c 23628075       37339882       1176989572     3749364260     45             6937           3   41   22    
1648.49/1648.71	c 25990936       41372928       1291443252     4125544478     45             7004           3   47   22    
1783.38/1783.60	c 28590083       45226162       1397542179     4430584561     45             7111           3   39   22    
1953.46/1953.74	c 31449144       49475348       1529293766     4869039526     45             7154           4   47   22    
2158.04/2158.35	c 34594111       54357860       1691803193     5335255826     45             7243           2   47   23    
2383.51/2383.82	c 38053574       59907792       1860585819     6004486757     45             7325           2   47   24

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242133-1500655384/watcher-4242133-1500655384 -o /tmp/evaluation-result-4242133-1500655384/solver-4242133-1500655384 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500648174-9884 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242133-1500655384.xml 

pid=10712
running on 8 cores: 0,2,4,6,8,10,12,14

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.03 3/245 10715
/proc/meminfo: memFree=32029160/32770624 swapFree=5920/194988
[pid=10715] ppid=10712 vsize=31480 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 1059 0 0 0 1 0 0 0 20 0 1 0 805392 32235520 898 33554432000 4194304 5970956 140722310224160 140722310220808 5251696 0 0 4096 8404994 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 7870 898 762 434 0 1234 0

[startup+0.100164 s]
/proc/loadavg: 2.00 2.01 2.03 3/245 10715
/proc/meminfo: memFree=32029160/32770624 swapFree=5920/194988
[pid=10715] ppid=10712 vsize=34716 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 2225 0 0 0 9 0 0 0 20 0 1 0 805392 35549184 2514 33554432000 4194304 5970956 140722310224160 140722310221496 5038721 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8679 2514 764 434 0 2043 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34716

[startup+0.200367 s]
/proc/loadavg: 2.00 2.01 2.03 3/245 10715
/proc/meminfo: memFree=32029160/32770624 swapFree=5920/194988
[pid=10715] ppid=10712 vsize=34844 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 2229 0 0 0 19 0 0 0 20 0 1 0 805392 35680256 2577 33554432000 4194304 5970956 140722310224160 140722310221496 5098928 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8711 2577 787 434 0 2075 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34844

[startup+0.300312 s]
/proc/loadavg: 2.00 2.01 2.03 3/245 10715
/proc/meminfo: memFree=32029160/32770624 swapFree=5920/194988
[pid=10715] ppid=10712 vsize=34844 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 2234 0 0 0 29 0 0 0 20 0 1 0 805392 35680256 2577 33554432000 4194304 5970956 140722310224160 140722310221496 5337524 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8711 2577 787 434 0 2075 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34844

[startup+0.700279 s]
/proc/loadavg: 2.00 2.01 2.03 3/245 10715
/proc/meminfo: memFree=32029160/32770624 swapFree=5920/194988
[pid=10715] ppid=10712 vsize=34844 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 2249 0 0 0 69 0 0 0 20 0 1 0 805392 35680256 2577 33554432000 4194304 5970956 140722310224160 140722310221496 5319933 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8711 2577 787 434 0 2075 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34844

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.03 3/246 10716
/proc/meminfo: memFree=32022020/32770624 swapFree=5920/194736
[pid=10715] ppid=10712 vsize=34844 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 2260 0 0 0 149 0 0 0 20 0 1 0 805392 35680256 2577 33554432000 4194304 5970956 140722310224160 140722310221496 5319739 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8711 2577 787 434 0 2075 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34844

[startup+3.10031 s]
/proc/loadavg: 2.00 2.01 2.03 3/246 10716
/proc/meminfo: memFree=32021592/32770624 swapFree=5920/194596
[pid=10715] ppid=10712 vsize=34976 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 2754 0 0 0 309 0 0 0 20 0 1 0 805392 35815424 2616 33554432000 4194304 5970956 140722310224160 140722310221496 5098928 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8744 2616 787 434 0 2108 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34976

[startup+6.30029 s]
/proc/loadavg: 1.92 2.00 2.03 3/246 10716
/proc/meminfo: memFree=32021004/32770624 swapFree=5920/194604
[pid=10715] ppid=10712 vsize=34976 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 3363 0 0 0 629 0 0 0 20 0 1 0 805392 35815424 2618 33554432000 4194304 5970956 140722310224160 140722310221496 5039637 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8744 2618 787 434 0 2108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34976

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.03 3/246 10716
/proc/meminfo: memFree=32020384/32770624 swapFree=5920/194620
[pid=10715] ppid=10712 vsize=34976 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 3948 0 0 0 1269 0 0 0 20 0 1 0 805392 35815424 2624 33554432000 4194304 5970956 140722310224160 140722310221496 5039311 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8744 2624 787 434 0 2108 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34976

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.03 3/246 10782
/proc/meminfo: memFree=31050612/32770624 swapFree=5920/194548
[pid=10715] ppid=10712 vsize=34976 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 4936 0 0 0 2549 0 0 0 20 0 1 0 805392 35815424 2629 33554432000 4194304 5970956 140722310224160 140722310221496 5039178 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8744 2629 787 434 0 2108 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34976

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.03 3/247 10783
/proc/meminfo: memFree=31051052/32770624 swapFree=5920/194580
[pid=10715] ppid=10712 vsize=34976 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 5821 0 0 0 5108 0 0 0 20 0 1 0 805392 35815424 2634 33554432000 4194304 5970956 140722310224160 140722310221496 5098928 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8744 2634 787 434 0 2108 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34976

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/248 10785
/proc/meminfo: memFree=31048536/32770624 swapFree=5920/194668
[pid=10715] ppid=10712 vsize=35112 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 6530 0 0 0 10228 0 0 0 20 0 1 0 805392 35954688 2645 33554432000 4194304 5970956 140722310224160 140722310221496 5038319 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2645 787 434 0 2142 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 35112

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/248 10786
/proc/meminfo: memFree=31049508/32770624 swapFree=5920/194740
[pid=10715] ppid=10712 vsize=35112 CPUtime=162.27 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 7180 0 0 0 16227 0 0 0 20 0 1 0 805392 35954688 2647 33554432000 4194304 5970956 140722310224160 140722310221496 5038188 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2647 787 434 0 2142 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 35112

[startup+222.308 s]
/proc/loadavg: 2.02 2.02 2.04 3/248 10787
/proc/meminfo: memFree=31049520/32770624 swapFree=5920/194832
[pid=10715] ppid=10712 vsize=35112 CPUtime=222.27 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 7901 0 0 0 22227 0 0 0 20 0 1 0 805392 35954688 2647 33554432000 4194304 5970956 140722310224160 140722310221496 5273309 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2647 787 434 0 2142 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 35112

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/248 10788
/proc/meminfo: memFree=31049320/32770624 swapFree=5920/194876
[pid=10715] ppid=10712 vsize=35112 CPUtime=282.25 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 8512 0 0 0 28225 0 0 0 20 0 1 0 805392 35954688 2648 33554432000 4194304 5970956 140722310224160 140722310221496 5039204 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2648 787 434 0 2142 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 35112

[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/248 10789
/proc/meminfo: memFree=31049684/32770624 swapFree=5920/194924
[pid=10715] ppid=10712 vsize=35112 CPUtime=342.25 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 9134 0 0 0 34225 0 0 0 20 0 1 0 805392 35954688 2654 33554432000 4194304 5970956 140722310224160 140722310221496 5039178 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2654 787 434 0 2142 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 35112

[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/246 10790
/proc/meminfo: memFree=31049544/32770624 swapFree=5920/194988
[pid=10715] ppid=10712 vsize=35112 CPUtime=402.24 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 9779 0 0 0 40224 0 0 0 20 0 1 0 805392 35954688 2654 33554432000 4194304 5970956 140722310224160 140722310221496 5039152 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2654 787 434 0 2142 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 35112

[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/246 10798
/proc/meminfo: memFree=31048948/32770624 swapFree=5920/195060
[pid=10715] ppid=10712 vsize=35112 CPUtime=462.23 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 10438 0 0 0 46223 0 0 0 20 0 1 0 805392 35954688 2666 33554432000 4194304 5970956 140722310224160 140722310221496 5039152 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2666 787 434 0 2142 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 35112

[startup+522.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/246 10799
/proc/meminfo: memFree=31048200/32770624 swapFree=5920/195108
[pid=10715] ppid=10712 vsize=35112 CPUtime=522.22 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 11086 0 0 0 52222 0 0 0 20 0 1 0 805392 35954688 2666 33554432000 4194304 5970956 140722310224160 140722310221496 5039662 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2666 787 434 0 2142 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 35112

[startup+582.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/246 10800
/proc/meminfo: memFree=31048404/32770624 swapFree=5920/195152
[pid=10715] ppid=10712 vsize=35112 CPUtime=582.22 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 11721 0 0 0 58222 0 0 0 20 0 1 0 805392 35954688 2666 33554432000 4194304 5970956 140722310224160 140722310221496 5040196 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2666 787 434 0 2142 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 35112


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 10848
/proc/meminfo: memFree=31044604/32770624 swapFree=5920/195864
[pid=10715] ppid=10712 vsize=35112 CPUtime=1542.11 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 21421 0 0 0 154210 1 0 0 20 0 1 0 805392 35954688 2672 33554432000 4194304 5970956 140722310224160 140722310221496 5098928 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2672 787 434 0 2142 0
Current children cumulated CPU time (s) 1542.11
Current children cumulated vsize (KiB) 35112

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 10849
/proc/meminfo: memFree=31043584/32770624 swapFree=5920/195900
[pid=10715] ppid=10712 vsize=35112 CPUtime=1602.1 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 22065 0 0 0 160209 1 0 0 20 0 1 0 805392 35954688 2672 33554432000 4194304 5970956 140722310224160 140722310221496 5098928 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2672 787 434 0 2142 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 35112

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/247 10858
/proc/meminfo: memFree=31043896/32770624 swapFree=5920/195952
[pid=10715] ppid=10712 vsize=35112 CPUtime=1662.09 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 22759 0 0 0 166208 1 0 0 20 0 1 0 805392 35954688 2672 33554432000 4194304 5970956 140722310224160 140722310221496 5039152 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2672 787 434 0 2142 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 35112

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/247 10859
/proc/meminfo: memFree=31044244/32770624 swapFree=5920/196000
[pid=10715] ppid=10712 vsize=35112 CPUtime=1722.08 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 23255 0 0 0 172207 1 0 0 20 0 1 0 805392 35954688 2672 33554432000 4194304 5970956 140722310224160 140722310221496 5039297 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2672 787 434 0 2142 0
Current children cumulated CPU time (s) 1722.08
Current children cumulated vsize (KiB) 35112

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/248 10861
/proc/meminfo: memFree=31044324/32770624 swapFree=5920/196024
[pid=10715] ppid=10712 vsize=35112 CPUtime=1782.08 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 23760 0 0 0 178207 1 0 0 20 0 1 0 805392 35954688 2672 33554432000 4194304 5970956 140722310224160 140722310221496 5098928 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2672 787 434 0 2142 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 35112

[startup+1842.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/248 10862
/proc/meminfo: memFree=31044588/32770624 swapFree=5920/196064
[pid=10715] ppid=10712 vsize=35112 CPUtime=1842.07 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 24456 0 0 0 184206 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5040047 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 35112

[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/248 10863
/proc/meminfo: memFree=31045260/32770624 swapFree=5920/196108
[pid=10715] ppid=10712 vsize=35112 CPUtime=1902.06 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 25043 0 0 0 190205 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5040641 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 35112

[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/247 10864
/proc/meminfo: memFree=31045192/32770624 swapFree=5920/196160
[pid=10715] ppid=10712 vsize=35112 CPUtime=1962.06 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 25678 0 0 0 196205 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5039637 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 1962.06
Current children cumulated vsize (KiB) 35112

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/247 10865
/proc/meminfo: memFree=31045332/32770624 swapFree=5920/196200
[pid=10715] ppid=10712 vsize=35112 CPUtime=2022.05 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 26259 0 0 0 202204 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5039370 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 2022.05
Current children cumulated vsize (KiB) 35112

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 10866
/proc/meminfo: memFree=31045368/32770624 swapFree=5920/196228
[pid=10715] ppid=10712 vsize=35112 CPUtime=2082.05 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 26865 0 0 0 208204 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5038183 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 2082.05
Current children cumulated vsize (KiB) 35112

[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/246 10867
/proc/meminfo: memFree=31045008/32770624 swapFree=5920/196260
[pid=10715] ppid=10712 vsize=35112 CPUtime=2142.03 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 27434 0 0 0 214202 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5039186 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 2142.03
Current children cumulated vsize (KiB) 35112

[startup+2202.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/246 10868
/proc/meminfo: memFree=31045356/32770624 swapFree=5920/196304
[pid=10715] ppid=10712 vsize=35112 CPUtime=2202.03 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 28111 0 0 0 220202 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5319616 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 2202.03
Current children cumulated vsize (KiB) 35112

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 10877
/proc/meminfo: memFree=31045188/32770624 swapFree=5920/196348
[pid=10715] ppid=10712 vsize=35112 CPUtime=2262.02 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 28668 0 0 0 226201 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5039162 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 2262.02
Current children cumulated vsize (KiB) 35112

[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/248 10879
/proc/meminfo: memFree=31044676/32770624 swapFree=5920/196388
[pid=10715] ppid=10712 vsize=35112 CPUtime=2322.01 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 29285 0 0 0 232200 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5098928 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 2322.01
Current children cumulated vsize (KiB) 35112

[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/248 10880
/proc/meminfo: memFree=31042972/32770624 swapFree=5920/196416
[pid=10715] ppid=10712 vsize=35112 CPUtime=2382 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 29815 0 0 0 238199 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5098928 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 2382
Current children cumulated vsize (KiB) 35112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/248 10880
/proc/meminfo: memFree=31043220/32770624 swapFree=5920/196420
[pid=10715] ppid=10712 vsize=35112 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 30433 0 0 0 240000 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5038354 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 35112

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

[startup+2400.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/248 10880
/proc/meminfo: memFree=31043220/32770624 swapFree=5920/196420
[pid=10715] ppid=10712 vsize=35112 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/10715/stat : 10715 (cosoco) R 10712 10715 9853 0 -1 4202496 30433 0 0 0 240000 1 0 0 20 0 1 0 805392 35954688 2673 33554432000 4194304 5970956 140722310224160 140722310221496 5038354 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 23629824 140722310231228 140722310231363 140722310231363 140722310234062 0
/proc/10715/statm: 8778 2673 787 434 0 2142 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 35112

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.02
CPU user time (s): 2400
CPU system time (s): 0.020997
CPU usage (%): 99.9881
Max. virtual memory (cumulated for all children) (KiB): 35112

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28054 second user time and 11.1917 second system time

The end

Launcher Data 

Begin job on node135 at 2017-07-21 18:43:04
IDJOB=4242133
IDBENCH=133401
IDSOLVER=2621
FILE ID=node135/4242133-1500655384
RUNJOBID= node135-1500648174-9884
PBS_JOBID= 20623285
Free space on /tmp= 61844 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-60-3-5.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242133-1500655384/watcher-4242133-1500655384 -o /tmp/evaluation-result-4242133-1500655384/solver-4242133-1500655384 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500648174-9884 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242133-1500655384.xml

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

MD5SUM BENCH= cb28c088349c564a44b865f26515e86f
RANDOM SEED=528513569

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.46
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	: 8
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:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32030000 kB
MemAvailable:   32024380 kB
Buffers:           39308 kB
Cached:           265044 kB
SwapCached:            0 kB
Active:           164460 kB
Inactive:         203584 kB
Active(anon):      66340 kB
Inactive(anon):     8596 kB
Active(file):      98120 kB
Inactive(file):   194988 kB
Unevictable:        5920 kB
Mlocked:            5920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5876 kB
Writeback:             0 kB
AnonPages:         89148 kB
Mapped:            32516 kB
Shmem:              8872 kB
Slab:              65744 kB
SReclaimable:      34216 kB
SUnreclaim:        31528 kB
KernelStack:        4656 kB
PageTables:         5972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     338024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61840 MiB
End job on node135 at 2017-07-21 19:23:05