Trace number 4266109

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
cosoco-sat 1.12? (TO) 2520.04 2519.9099

General information on the benchmark

NameKnights/Knights-m1-s1/
Knights-050-09.xml
MD5SUM78e001d21a1411ecb51795c063836bf7
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark309.78299
Satisfiable
(Un)Satisfiability was proved
Number of variables9
Number of constraints36
Number of domains1
Minimum domain size2500
Maximum domain size2500
Distribution of domain sizes[{"size":2500,"count":9}]
Minimum variable degree7
Maximum variable degree7
Distribution of variable degrees[{"degree":7,"count":9}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":36}]
Number of extensional constraints0
Number of intensional constraints36
Distribution of constraint types[{"type":"intension","count":36}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c intension x[0] != x[2]  using generic constraint 
0.00/0.01	c intension x[0] != x[3]  using generic constraint 
0.00/0.01	c intension x[0] != x[4]  using generic constraint 
0.00/0.01	c intension x[0] != x[5]  using generic constraint 
0.00/0.01	c intension x[0] != x[6]  using generic constraint 
0.00/0.01	c intension x[0] != x[7]  using generic constraint 
0.00/0.01	c intension x[1] != x[3]  using generic constraint 
0.00/0.01	c intension x[1] != x[4]  using generic constraint 
0.00/0.01	c intension x[1] != x[5]  using generic constraint 
0.00/0.01	c intension x[1] != x[6]  using generic constraint 
0.00/0.01	c intension x[1] != x[7]  using generic constraint 
0.00/0.02	c intension x[1] != x[8]  using generic constraint 
0.00/0.02	c intension x[2] != x[4]  using generic constraint 
0.00/0.02	c intension x[2] != x[5]  using generic constraint 
0.00/0.02	c intension x[2] != x[6]  using generic constraint 
0.00/0.02	c intension x[2] != x[7]  using generic constraint 
0.00/0.02	c intension x[2] != x[8]  using generic constraint 
0.00/0.02	c intension x[3] != x[5]  using generic constraint 
0.00/0.02	c intension x[3] != x[6]  using generic constraint 
0.00/0.02	c intension x[3] != x[7]  using generic constraint 
0.00/0.02	c intension x[3] != x[8]  using generic constraint 
0.00/0.02	c intension x[4] != x[6]  using generic constraint 
0.00/0.03	c intension x[4] != x[7]  using generic constraint 
0.00/0.03	c intension x[4] != x[8]  using generic constraint 
0.00/0.03	c intension x[5] != x[7]  using generic constraint 
0.00/0.03	c intension x[5] != x[8]  using generic constraint 
0.00/0.03	c intension x[6] != x[8]  using generic constraint 
2.10/2.16	c SAT : Variables: 22500 -- Clauses: 28113759
2.10/2.16	c root propagations     : 0           
2.10/2.16	c restarts enabled, print stats at every restarts
2.10/2.16	c
2.10/2.16	c
2.10/2.16	c
2.10/2.16	c This is cosoco 1.12 --  
2.10/2.16	c
2.10/2.16	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266109-1502570671.xml 
2.10/2.16	c ========================================[ Problem Statistics ]===========================================
2.10/2.16	c |                                                                                                       
2.10/2.16	c |  Parse time        :         1.87 s 
2.10/2.16	c |
2.10/2.16	c |               Variables: 9
2.10/2.16	c |            Domain Sizes: 2500..2500
2.10/2.16	c |
2.10/2.16	c |             Constraints: 36
2.10/2.16	c |                   Arity: 2..2  -- Binary: 36
2.10/2.16	c | 
2.10/2.16	c |                   Types: 
2.10/2.16	c |                          (X != Y): 27
2.10/2.16	c |                          Intension: 9
2.10/2.16	c |                          
2.10/2.16	c =========================================================================================================
2.10/2.16	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.10/2.18	c 10             19             630            62419          0              4              5   7   5      
2.10/2.20	c 20             38             1224           124839         0              8              4   7   5      
2.18/2.21	c 30             60             1914           184796         0              12             5   7   6      
2.18/2.22	c 40             79             2468           239708         0              13             6   7   6      
2.18/2.24	c 50             102            3207           307168         0              17             5   7   6      
2.18/2.26	c 60             122            3827           359665         0              23             5   7   5      
2.18/2.28	c 70             143            4510           427080         0              28             6   7   6      
2.18/2.30	c 80             164            5171           492023         0              33             6   7   6      
2.28/2.31	c 90             185            5854           559438         0              38             6   7   6      
2.28/2.33	c 100            206            6514           624376         0              43             6   7   6      
2.28/2.34	c 101            213            6704           644366         0              44             7   7   3      
2.28/2.36	c 110            235            7368           704299         0              48             6   7   6      
2.28/2.38	c 120            255            7997           766760         0              51             5   7   6      
2.38/2.40	c 130            279            8759           834216         0              54             6   7   6      
2.38/2.42	c 140            300            9384           889177         0              55             6   7   6      
2.38/2.43	c 150            320            10023          954119         0              63             5   7   5      
2.38/2.45	c 160            339            10577          1009031        0              64             6   7   6      
2.38/2.46	c 170            357            11157          1061530        0              68             5   7   5      
2.38/2.48	c 180            380            11903          1126520        0              70             5   7   5      
2.48/2.50	c 190            400            12487          1188925        0              76             5   7   5      
2.48/2.52	c 200            421            13143          1258839        0              82             5   7   5      
2.48/2.53	c 210            441            13781          1318801        0              86             5   7   5      
2.48/2.54	c 211            448            13991          1338785        0              87             7   7   3      
2.48/2.56	c 220            468            14620          1396265        0              91             5   7   5      
2.48/2.58	c 230            491            15324          1468676        0              97             5   7   5      
2.48/2.60	c 240            514            16076          1536068        0              103            6   7   6      
2.58/2.62	c 250            539            16834          1601019        0              108            6   7   6      
2.58/2.63	c 260            559            17480          1660981        0              114            6   7   5      
2.58/2.65	c 270            577            18012          1720933        0              122            4   7   4      
2.58/2.67	c 280            600            18727          1783373        0              123            6   7   6      
2.58/2.69	c 290            621            19393          1850786        0              128            5   7   5      
2.68/2.71	c 300            643            20102          1915705        0              132            5   7   6      
2.68/2.72	c 310            666            20767          1970667        0              136            7   7   6      
2.68/2.74	c 320            686            21398          2035597        0              140            5   7   5      
2.68/2.76	c 330            709            22092          2098059        0              142            4   7   5      
2.68/2.76	c 332            717            22340          2125515        0              144            6   7   4      
2.68/2.78	c 340            734            22885          2182917        0              150            5   7   5      
2.68/2.79	c 350            756            23556          2240362        0              153            5   7   5      
2.78/2.81	c 360            775            24091          2302804        0              161            4   7   4      
2.78/2.83	c 370            794            24666          2365229        0              169            4   7   4      
2.78/2.85	c 380            821            25507          2435194        0              175            5   7   6      
2.78/2.87	c 390            838            26046          2487657        0              178            5   7   5      
2.78/2.89	c 400            859            26714          2555046        0              183            5   7   5      
2.88/2.91	c 410            881            27379          2622371        0              188            5   7   6      
2.88/2.92	c 420            901            27993          2679848        0              192            5   7   5      
2.88/2.94	c 430            926            28814          2749779        0              195            5   7   5      
2.88/2.96	c 440            949            29562          2812212        0              200            5   7   6      
2.88/2.98	c 450            970            30223          2872176        0              206            6   7   6      
2.88/3.00	c 460            996            31036          2937128        0              209            6   7   6      
2.99/3.01	c 465            1009           31437          2979562        0              213            5   7   5      
2.99/3.02	c 470            1023           31887          3019477        0              217            7   7   5      
2.99/3.04	c 480            1042           32476          3076935        0              220            5   7   5      
2.99/3.05	c 490            1064           33155          3136913        0              224            4   7   5      
2.99/3.07	c 500            1085           33841          3199337        0              228            5   7   5      
2.99/3.08	c 510            1107           34500          3256709        0              232            7   7   6      
2.99/3.10	c 520            1129           35161          3321623        0              239            5   7   6      
3.09/3.12	c 530            1151           35857          3383977        0              245            5   7   6      
3.09/3.13	c 540            1171           36446          3448901        0              253            5   7   5      
3.09/3.15	c 550            1196           37202          3521342        0              260            5   7   5      
3.09/3.17	c 560            1219           37854          3581313        0              265            7   7   6      
3.09/3.19	c 570            1241           38593          3651230        0              270            5   7   5      
3.18/3.20	c 580            1257           39008          3686231        0              279            4   7   4      
3.18/3.21	c 590            1278           39622          3743677        0              282            7   7   6      
3.18/3.23	c 600            1299           40305          3811092        0              287            6   7   6      
3.18/3.25	c 610            1322           41009          3883503        0              293            5   7   5      
3.18/3.26	c 611            1327           41211          3905956        0              294            5   5   2      
3.18/3.27	c 620            1343           41697          3948510        0              300            4   7   4      
3.18/3.29	c 630            1365           42346          4008436        0              305            7   7   6      
3.28/3.31	c 640            1387           43033          4073343        0              307            6   7   6      
3.28/3.32	c 650            1405           43565          4133295        0              315            4   7   4      
3.28/3.35	c 660            1430           44397          4205661        0              320            6   7   6      
3.28/3.36	c 670            1451           44981          4260618        0              325            6   7   6      
3.28/3.38	c 680            1476           45771          4325508        0              328            6   7   6      
3.28/3.39	c 690            1497           46432          4385480        0              334            6   7   6      
3.38/3.41	c 700            1519           47156          4460359        0              342            5   7   5      
3.38/3.43	c 710            1544           47925          4530261        0              344            6   7   6      
3.38/3.45	c 720            1564           48554          4587669        0              347            5   7   6      
3.38/3.47	c 730            1589           49310          4660074        0              354            5   7   5      
3.38/3.49	c 740            1611           50031          4732406        0              357            4   7   5      
3.48/3.51	c 750            1634           50688          4797388        0              361            2   7   5      
3.48/3.52	c 760            1655           51361          4859768        0              368            6   7   6      
3.48/3.54	c 770            1676           51962          4922181        0              374            5   7   5      
3.48/3.55	c 771            1683           52241          4944670        0              375            7   7   3      
3.48/3.56	c 780            1704           52943          5007118        0              379            5   7   5      
3.48/3.58	c 790            1725           53538          5062045        0              384            6   7   6      
3.58/3.60	c 800            1752           54376          5134485        0              390            5   7   6      
3.58/3.61	c 810            1772           54990          5191933        0              394            5   7   5      
3.58/3.63	c 820            1793           55646          5261853        0              400            5   7   5      
3.58/3.65	c 830            1819           56459          5326795        0              403            6   7   6      
3.58/3.67	c 840            1844           57228          5396685        0              405            6   7   6      
3.58/3.69	c 850            1865           57833          5451621        0              408            4   7   5      
3.68/3.71	c 860            1885           58455          5519016        0              415            5   7   5      
3.68/3.72	c 870            1905           59084          5571505        0              418            5   7   6      
3.68/3.73	c 880            1927           59700          5628959        0              424            7   7   6      
3.68/3.74	c 890            1944           60179          5671464        0              433            4   7   4      
3.68/3.76	c 900            1965           60812          5728895        0              437            6   7   6      
3.68/3.78	c 910            1991           61597          5791349        0              442            6   7   6      
3.68/3.79	c 920            2011           62182          5848798        0              446            4   7   5      
3.78/3.81	c 930            2034           62876          5911267        0              448            4   7   5      
3.78/3.83	c 940            2055           63476          5968713        0              451            4   7   5      
3.78/3.84	c 947            2072           63979          6013664        0              456            6   7   5      
3.78/3.85	c 950            2081           64262          6041135        0              459            6   7   4      
3.78/3.87	c 960            2105           64994          6111022        0              461            5   7   6      
3.78/3.88	c 970            2122           65556          6165958        0              464            5   7   5      
3.88/3.90	c 980            2143           66230          6233347        0              469            5   7   5      
3.88/3.92	c 990            2165           66945          6293320        0              473            5   7   5      
3.88/3.93	c 1000           2183           67486          6348252        0              479            4   7   5      
3.88/3.95	c 1010           2201           68051          6400708        0              481            5   7   6      
3.88/3.97	c 1020           2224           68753          6473067        0              488            5   7   5      
3.88/3.98	c 1030           2243           69344          6530484        0              491            5   7   5      
3.88/4.00	c 1040           2263           69953          6585419        0              496            7   7   6      
3.99/4.01	c 1050           2283           70574          6642896        0              500            5   7   5      
3.99/4.03	c 1060           2305           71259          6702824        0              503            7   7   6      
3.99/4.04	c 1070           2323           71860          6757742        0              507            5   7   5      
3.99/4.06	c 1080           2345           72490          6820075        0              511            5   7   6      
3.99/4.07	c 1090           2364           73065          6875016        0              517            6   7   6      
3.99/4.09	c 1100           2388           73768          6937369        0              523            6   7   6      
3.99/4.10	c 1110           2408           74407          6992312        0              525            5   7   5      
4.09/4.12	c 1120           2424           74816          7022347        0              534            4   7   4      
4.09/4.13	c 1130           2447           75505          7084796        0              538            7   7   6      
4.09/4.15	c 1140           2470           76217          7157074        0              545            5   7   5      
4.09/4.16	c 1141           2477           76463          7179565        0              546            7   7   3      
4.09/4.17	c 1150           2493           76998          7231956        0              549            5   7   5      
4.09/4.19	c 1160           2510           77530          7279519        0              556            4   7   4      
4.18/4.20	c 1170           2532           78244          7339489        0              560            5   7   5      
4.18/4.22	c 1180           2558           79003          7406923        0              562            5   7   6      
4.18/4.24	c 1190           2582           79749          7474353        0              568            5   7   6      
4.18/4.26	c 1200           2603           80350          7536704        0              574            5   7   5      
4.18/4.27	c 1210           2624           80944          7594147        0              578            7   7   6      
4.18/4.29	c 1220           2645           81589          7664029        0              585            5   7   5      
4.28/4.30	c 1230           2668           82323          7724003        0              586            6   7   6      
4.28/4.32	c 1240           2690           82941          7793930        0              591            2   7   4      
4.28/4.34	c 1250           2712           83596          7858786        0              598            5   7   6      
4.28/4.36	c 1260           2733           84247          7916216        0              599            5   7   5      
4.28/4.37	c 1270           2753           84888          7976104        0              603            5   7   5      
4.28/4.39	c 1280           2773           85518          8035995        0              607            5   7   5      
4.38/4.41	c 1290           2795           86155          8093363        0              610            7   7   6      
4.38/4.42	c 1300           2816           86760          8148280        0              613            4   7   5      
4.38/4.44	c 1310           2836           87407          8203223        0              615            5   7   5      
4.38/4.46	c 1320           2861           88206          8270671        0              619            6   7   6      
4.38/4.47	c 1330           2884           88903          8333061        0              623            7   7   6      
4.38/4.49	c 1340           2904           89552          8397985        0              631            5   7   5      
4.48/4.50	c 1350           2922           90117          8450441        0              632            6   7   6      
4.48/4.51	c 1352           2930           90409          8475405        0              633            6   7   4      
4.48/4.52	c 1360           2948           90972          8527835        0              638            7   7   6      
4.48/4.55	c 1370           2976           91855          8610228        1              639            5   7   6      
4.48/4.56	c 1380           2996           92490          8677621        1              647            5   7   5      
4.48/4.58	c 1390           3017           93136          8735061        1              650            7   7   6      
4.58/4.60	c 1400           3040           93869          8800022        1              653            4   7   5      
4.58/4.62	c 1410           3065           94649          8867463        1              659            6   7   6      
4.58/4.63	c 1420           3086           95274          8924873        1              664            5   7   6      
4.58/4.65	c 1430           3111           96085          8997340        1              667            4   7   5      
4.58/4.67	c 1440           3129           96620          9049801        1              672            4   7   5      
4.58/4.68	c 1450           3152           97359          9119711        1              680            5   7   5      
4.68/4.71	c 1460           3178           98194          9194627        1              684            6   7   6      
4.68/4.73	c 1470           3201           98936          9254601        1              685            6   7   6      
4.68/4.75	c 1480           3223           99653          9319519        1              691            5   7   5      
4.68/4.77	c 1490           3246           100399         9389411        1              692            5   7   5      
4.68/4.78	c 1500           3266           101014         9446858        1              696            5   7   5      
4.68/4.80	c 1510           3287           101616         9509256        1              702            5   7   5      
4.78/4.81	c 1520           3307           102192         9566719        1              708            4   7   5      
4.78/4.83	c 1530           3329           102871         9631632        1              713            5   7   6      
4.78/4.84	c 1540           3355           103698         9696589        1              716            6   7   6      
4.78/4.86	c 1550           3375           104336         9764022        1              724            5   7   5      
4.78/4.88	c 1560           3395           104947         9828924        1              730            5   7   5      
4.88/4.90	c 1570           3420           105720         9898855        1              736            6   7   6      
4.88/4.92	c 1580           3444           106431         9961284        1              742            6   7   6      
4.88/4.93	c 1585           3456           106866         10001241       1              745            5   7   5      
4.88/4.94	c 1590           3477           107486         10061189       2              749            7   7   5      
4.88/4.96	c 1600           3501           108223         10123583       2              751            6   7   6      
4.88/4.98	c 1610           3523           108900         10186011       2              758            6   7   6      
4.88/5.00	c 1620           3545           109577         10253291       2              765            5   7   5      
4.99/5.01	c 1630           3567           110214         10310681       2              768            7   7   6      
4.99/5.03	c 1640           3593           110999         10373136       2              771            6   7   6      
4.99/5.05	c 1650           3616           111745         10437866       2              774            7   7   6      
4.99/5.06	c 1660           3635           112312         10490341       2              775            7   7   6      
4.99/5.08	c 1670           3658           113053         10560279       2              781            4   7   6      
4.99/5.09	c 1680           3677           113617         10615225       2              785            7   7   6      
5.09/5.11	c 1690           3701           114309         10685107       2              790            5   7   6      
5.09/5.13	c 1700           3727           115153         10752599       2              796            5   7   6      
5.09/5.15	c 1710           3748           115856         10820031       2              804            5   7   5      
5.09/5.16	c 1720           3768           116430         10872495       2              806            6   7   6      
5.09/5.18	c 1730           3789           117085         10937417       2              812            4   7   6      
5.09/5.19	c 1740           3810           117725         11004750       2              819            5   7   5      
5.18/5.21	c 1750           3827           118249         11052144       2              826            4   7   4      
5.18/5.22	c 1760           3849           118880         11111992       2              830            7   7   6      
5.18/5.24	c 1770           3869           119489         11166901       2              836            7   7   6      
5.18/5.25	c 1780           3890           120073         11221767       2              840            7   7   6      
5.18/5.27	c 1790           3910           120707         11281731       2              844            5   7   5      
5.18/5.28	c 1800           3933           121388         11344111       2              850            5   7   6      
5.18/5.30	c 1810           3955           122008         11401469       2              854            6   7   6      
5.28/5.31	c 1820           3980           122762         11466306       2              856            6   7   6      
5.28/5.33	c 1830           4003           123393         11526215       2              859            2   7   5      
5.28/5.34	c 1840           4024           123996         11583680       2              861            7   7   6      
5.28/5.35	c 1841           4031           124248         11606148       2              862            7   7   3      
5.28/5.36	c 1850           4049           124793         11658608       2              866            7   7   6      
5.28/5.38	c 1860           4072           125540         11721067       2              869            7   7   6      
5.38/5.40	c 1870           4093           126246         11788479       2              876            5   7   5      
5.38/5.43	c 1880           4125           127221         11880837       3              881            6   7   6      
5.38/5.45	c 1890           4150           128040         11953285       3              887            6   7   6      
5.38/5.47	c 1900           4171           128695         12013267       3              894            6   7   6      
5.38/5.48	c 1910           4193           129330         12073209       3              898            6   7   6      
5.48/5.50	c 1920           4210           129892         12128082       3              901            5   7   5      
5.48/5.51	c 1930           4234           130652         12190550       3              907            5   7   6      
5.48/5.54	c 1940           4256           131429         12265455       3              913            4   7   5      
5.48/5.55	c 1950           4276           132055         12327897       3              919            4   7   5      
5.48/5.57	c 1960           4298           132769         12387839       3              923            5   7   5      
5.48/5.59	c 1970           4319           133357         12442776       3              928            6   7   6      
5.58/5.60	c 1980           4338           133961         12500182       3              930            4   7   6      
5.58/5.62	c 1990           4360           134597         12564936       3              935            5   7   6      
5.58/5.64	c 2000           4383           135308         12637328       3              941            5   7   5      
5.58/5.66	c 2010           4405           135965         12717210       3              948            2   7   4      
5.58/5.67	c 2020           4423           136500         12767260       3              956            4   7   4      
5.58/5.69	c 2030           4445           137187         12834574       3              962            5   7   6      
5.68/5.70	c 2040           4463           137753         12887001       3              964            5   7   6      
5.68/5.72	c 2050           4485           138368         12944444       3              969            7   7   6      
5.68/5.73	c 2060           4505           138977         12999363       3              974            7   7   6      
5.68/5.75	c 2070           4527           139630         13056726       3              980            7   7   6      
5.68/5.77	c 2080           4550           140386         13129118       3              985            5   7   5      
5.68/5.79	c 2090           4572           141030         13204006       3              991            2   7   4      
5.78/5.81	c 2100           4596           141758         13278891       3              999            5   7   5      
5.78/5.83	c 2110           4619           142534         13346340       3              1004           5   7   5      
5.78/5.84	c 2120           4635           143004         13398772       3              1014           4   7   3      
5.78/5.85	c 2122           4643           143298         13423753       3              1016           6   7   4      
5.78/5.87	c 2130           4661           143894         13483637       3              1022           5   7   5      
5.78/5.89	c 2140           4686           144693         13558536       3              1030           5   7   5      
5.88/5.91	c 2150           4708           145483         13628439       3              1036           5   7   6      
5.88/5.92	c 2160           4729           146104         13678404       3              1042           6   7   6      
5.88/5.94	c 2170           4751           146794         13738318       3              1045           7   7   6      
5.88/5.95	c 2180           4771           147411         13793181       3              1051           7   7   6      
5.88/5.97	c 2190           4790           147986         13848081       3              1057           6   7   6      
5.88/5.98	c 2200           4810           148549         13900397       3              1059           7   7   6      
5.88/5.99	c 2210           4832           149186         13957822       3              1062           7   7   6      
5.88/6.00	c 2220           4852           149760         14010139       3              1065           6   7   6      
5.99/6.02	c 2230           4871           150416         14065099       3              1070           5   7   5      
5.99/6.04	c 2240           4893           151137         14125045       3              1075           5   7   5      
5.99/6.05	c 2250           4916           151826         14187358       3              1081           5   7   6      
5.99/6.06	c 2260           4932           152253         14234779       3              1090           4   7   4      
5.99/6.08	c 2270           4951           152844         14289629       3              1092           4   7   6      
5.99/6.09	c 2280           4972           153510         14349481       3              1096           5   7   6      
6.09/6.11	c 2290           4993           154176         14416797       3              1103           5   7   5      
6.09/6.13	c 2300           5018           154998         14491710       3              1109           6   7   5      
6.09/6.15	c 2310           5039           155654         14551638       3              1116           6   7   6      
6.09/6.16	c 2320           5059           156263         14606547       3              1122           7   7   6      
6.09/6.18	c 2330           5079           156880         14663847       3              1123           7   7   6      
6.18/6.20	c 2340           5103           157657         14738720       3              1127           4   7   5      
6.18/6.22	c 2350           5124           158312         14798700       3              1134           6   7   6      
6.18/6.24	c 2360           5148           159087         14873487       3              1140           5   7   5      
6.18/6.25	c 2370           5170           159741         14930850       3              1146           6   7   6      
6.18/6.27	c 2380           5195           160531         15000653       3              1153           5   7   5      
6.18/6.28	c 2390           5211           160957         15030637       3              1162           4   7   4      
6.28/6.30	c 2400           5229           161566         15085509       3              1166           5   7   5      
6.28/6.32	c 2410           5254           162392         15162837       3              1174           5   7   5      
6.28/6.34	c 2420           5274           163039         15217748       3              1176           5   7   5      
6.28/6.35	c 2430           5299           163810         15287538       3              1183           4   7   5      
6.28/6.36	c 2431           5306           164046         15310022       3              1184           7   7   3      
6.28/6.38	c 2440           5329           164742         15372338       3              1189           5   7   6      
6.28/6.39	c 2450           5352           165447         15434756       3              1192           7   7   6      
6.38/6.42	c 2460           5380           166371         15519572       4              1196           5   7   6      
6.38/6.44	c 2470           5406           167200         15601950       5              1197           6   7   6      
6.38/6.46	c 2480           5427           167863         15661904       5              1204           6   7   6      
6.38/6.47	c 2490           5449           168519         15721754       5              1209           7   7   6      
6.38/6.49	c 2500           5471           169141         15779193       5              1213           4   7   5      
6.48/6.50	c 2510           5493           169852         15841611       5              1219           6   7   6      
6.48/6.52	c 2520           5513           170488         15898961       5              1222           5   7   6      
6.48/6.54	c 2530           5537           171249         15961438       5              1228           5   7   6      
6.48/6.55	c 2540           5561           172009         16023904       5              1234           5   7   6      
6.48/6.57	c 2550           5587           172774         16091339       5              1236           7   7   6      
6.48/6.59	c 2560           5606           173335         16143797       5              1241           6   7   6      
6.58/6.60	c 2570           5630           174072         16208646       5              1244           7   7   6      
6.58/6.62	c 2580           5651           174674         16263524       5              1249           6   7   6      
6.58/6.64	c 2590           5675           175366         16328398       5              1252           4   7   5      
6.58/6.65	c 2600           5701           176131         16395811       5              1254           7   7   6      
6.58/6.67	c 2610           5722           176783         16460732       5              1262           5   7   5      
6.58/6.69	c 2620           5745           177471         16523125       5              1268           5   7   6      
6.68/6.70	c 2630           5763           178031         16570558       5              1274           4   7   5      
6.68/6.72	c 2640           5789           178842         16640452       5              1276           6   7   6      
6.68/6.74	c 2650           5814           179625         16712767       5              1280           4   7   5      
6.68/6.76	c 2660           5835           180306         16777669       5              1285           5   7   5      
6.68/6.77	c 2670           5858           181015         16837615       5              1289           7   7   6      
6.68/6.79	c 2680           5877           181626         16895022       5              1291           4   7   6      
6.78/6.80	c 2690           5897           182254         16952466       5              1295           5   7   5      
6.78/6.83	c 2700           5922           183080         17029796       5              1299           6   7   6      
6.78/6.84	c 2710           5943           183762         17094677       5              1304           5   7   5      
6.78/6.86	c 2720           5961           184304         17142162       5              1307           4   7   5      
6.78/6.88	c 2730           5987           185137         17212045       5              1310           4   7   6      
6.88/6.90	c 2740           6010           185881         17281874       5              1311           5   7   5      
6.88/6.92	c 2750           6033           186616         17354185       5              1320           5   7   5      
6.88/6.94	c 2760           6058           187422         17429087       5              1326           6   7   6      
6.88/6.95	c 2770           6080           188049         17486458       5              1331           6   7   6      
6.88/6.96	c 2771           6086           188314         17508931       5              1332           6   6   3      
6.88/6.98	c 2780           6109           189031         17566385       5              1338           5   7   5      
6.88/6.99	c 2790           6132           189738         17628761       5              1343           5   7   6      
6.99/7.01	c 2800           6158           190537         17693713       5              1347           7   7   6      
6.99/7.03	c 2810           6185           191406         17773541       6              1348           5   7   6      
6.99/7.05	c 2820           6206           192069         17833487       6              1355           6   7   6      
6.99/7.07	c 2830           6227           192724         17893433       6              1362           6   7   6      
6.99/7.09	c 2840           6249           193430         17958351       6              1368           5   7   5      
7.09/7.11	c 2850           6273           194185         18020812       6              1374           5   7   6      
7.09/7.12	c 2860           6297           194948         18083273       6              1380           5   7   6      
7.09/7.14	c 2870           6320           195677         18148161       6              1383           7   7   6      
7.09/7.16	c 2880           6340           196311         18210586       6              1389           4   7   5      
7.09/7.18	c 2890           6365           197084         18280387       6              1396           5   7   6      
7.18/7.20	c 2900           6392           197998         18357768       7              1398           5   7   5      
7.18/7.22	c 2910           6414           198689         18420191       7              1405           6   7   6      
7.18/7.24	c 2920           6442           199623         18500091       8              1410           5   7   6      
7.18/7.26	c 2930           6468           200388         18567510       8              1412           7   7   6      
7.18/7.28	c 2940           6487           201017         18622459       8              1416           4   7   5      
7.28/7.30	c 2950           6509           201737         18689856       8              1422           5   7   5      
7.28/7.32	c 2960           6530           202418         18754763       8              1427           5   7   5      
7.28/7.33	c 2970           6550           203065         18817179       8              1431           5   7   5      
7.28/7.35	c 2980           6573           203776         18877109       8              1434           7   7   6      
7.28/7.37	c 2990           6598           204595         18949452       8              1440           6   7   6      
7.28/7.39	c 3000           6618           205290         19011873       8              1443           4   7   5      
7.38/7.40	c 3010           6638           205929         19064330       8              1445           6   7   6      
7.38/7.42	c 3020           6660           206656         19136681       8              1448           4   7   5      
7.38/7.44	c 3030           6685           207412         19199108       8              1450           7   7   6      
7.38/7.46	c 3040           6706           208075         19259031       8              1457           6   7   6      
7.38/7.47	c 3050           6728           208713         19318949       8              1460           6   7   6      
7.38/7.49	c 3060           6749           209398         19383810       8              1465           5   7   5      
7.48/7.51	c 3070           6773           210169         19446254       8              1471           5   7   6      
7.48/7.53	c 3080           6796           210868         19506188       8              1474           7   7   6      
7.48/7.54	c 3090           6819           211587         19571082       8              1480           5   7   6      
7.48/7.56	c 3100           6839           212253         19631020       8              1483           4   7   5      
7.48/7.58	c 3110           6859           212887         19693399       8              1489           4   7   5      
7.48/7.59	c 3120           6875           213370         19730910       8              1499           4   7   3      
7.58/7.61	c 3130           6896           214059         19795828       8              1507           5   7   5      
7.58/7.63	c 3140           6918           214844         19863229       8              1513           5   7   5      
7.58/7.64	c 3142           6926           215159         19888203       8              1515           6   7   4      
7.58/7.65	c 3150           6948           215869         19943165       8              1519           6   7   6      
7.58/7.67	c 3160           6971           216588         19998113       8              1522           6   7   6      
7.58/7.69	c 3170           6993           217316         20065493       8              1528           5   7   5      
7.68/7.71	c 3180           7017           218093         20145350       9              1530           5   7   6      
7.68/7.73	c 3190           7039           218843         20202799       9              1534           5   7   5      
7.68/7.74	c 3200           7060           219499         20262721       9              1541           6   7   6      
7.68/7.76	c 3210           7079           220060         20315175       9              1546           6   7   6      
7.68/7.77	c 3220           7100           220716         20375099       9              1552           7   7   6      
7.68/7.79	c 3230           7123           221427         20435034       9              1555           7   7   6      
7.78/7.80	c 3240           7146           222138         20494941       9              1558           7   7   6      
7.78/7.82	c 3250           7166           222833         20557367       9              1561           4   7   5      
7.78/7.83	c 3260           7182           223312         20607289       9              1571           4   7   3      
7.78/7.85	c 3270           7202           224007         20669695       9              1574           4   7   5      
7.78/7.87	c 3280           7227           224773         20742091       9              1580           5   7   5      
7.78/7.89	c 3290           7249           225491         20809459       9              1588           5   7   5      
7.88/7.92	c 3300           7275           226364         20886867       9              1594           5   7   6      
7.88/7.94	c 3310           7300           227216         20961702       9              1602           5   7   6      
7.88/7.96	c 3320           7318           227773         21016640       9              1606           5   7   5      
7.88/7.98	c 3330           7339           228462         21081517       9              1614           5   7   5      
7.88/7.99	c 3340           7359           229079         21148939       9              1620           3   7   4      
7.99/8.01	c 3350           7384           229879         21221341       9              1625           6   7   6      
7.99/8.03	c 3360           7408           230643         21283806       9              1631           5   7   6      
7.99/8.04	c 3370           7424           231152         21336228       9              1640           4   7   4      
7.99/8.06	c 3380           7450           231917         21403640       9              1642           7   7   6      
7.99/8.08	c 3390           7468           232496         21453612       9              1644           5   7   6      
7.99/8.10	c 3400           7489           233178         21518472       9              1649           5   7   5      
8.09/8.11	c 3410           7511           233846         21570936       9              1652           6   7   6      
8.09/8.13	c 3420           7533           234631         21638306       9              1658           5   7   5      
8.09/8.15	c 3430           7554           235332         21693259       9              1662           5   7   5      
8.09/8.16	c 3440           7575           235974         21743223       9              1667           6   7   6      
8.09/8.18	c 3450           7596           236629         21808140       9              1675           5   7   5      
8.09/8.19	c 3460           7617           237281         21870579       9              1679           3   7   5      
8.18/8.21	c 3470           7636           237842         21923033       9              1684           6   7   6      
8.18/8.23	c 3480           7662           238676         21987910       9              1689           6   7   6      
8.18/8.24	c 3490           7681           239237         22040356       9              1694           6   7   6      
8.18/8.25	c 3500           7704           239946         22100298       9              1698           7   7   6      
8.18/8.27	c 3510           7723           240507         22152728       9              1703           6   7   6      
8.18/8.28	c 3520           7741           241057         22205198       9              1706           4   7   5      
8.28/8.30	c 3530           7762           241701         22267615       9              1714           5   7   5      
8.28/8.31	c 3540           7780           242258         22322553       9              1718           5   7   5      
8.28/8.33	c 3550           7801           242913         22387470       9              1726           5   7   5      
8.28/8.33	c 3551           7807           243162         22407455       9              1727           6   6   3      
8.28/8.35	c 3560           7829           243848         22464896       9              1731           7   7   6      
8.28/8.36	c 3570           7848           244443         22517349       9              1736           6   7   6      
8.28/8.38	c 3580           7871           245154         22577282       9              1739           7   7   6      
8.38/8.40	c 3590           7892           245809         22637246       9              1746           6   7   6      
8.38/8.41	c 3600           7910           246376         22689707       9              1749           4   7   5      
8.38/8.43	c 3610           7934           247139         22752145       9              1755           5   7   6      
8.38/8.45	c 3620           7954           247834         22814571       9              1758           4   7   5      
8.38/8.46	c 3630           7973           248395         22867001       9              1763           6   7   6      
8.38/8.47	c 3640           7991           248951         22921925       9              1770           6   7   6      
8.38/8.49	c 3650           8014           249685         22989310       9              1775           5   7   6      
8.48/8.51	c 3660           8037           250394         23049252       9              1779           7   7   6      
8.48/8.53	c 3670           8063           251219         23116672       9              1782           5   7   5      
8.48/8.54	c 3680           8085           251888         23174104       9              1786           7   7   6      
8.48/8.56	c 3690           8103           252463         23224102       9              1789           4   7   5      
8.48/8.57	c 3700           8125           253192         23286536       9              1795           5   7   6      
8.48/8.59	c 3710           8145           253818         23348950       9              1801           4   7   5      
8.58/8.60	c 3720           8164           254379         23401353       9              1806           6   7   6      
8.58/8.62	c 3730           8186           255097         23468752       9              1814           5   7   5      
8.58/8.64	c 3740           8207           255751         23533635       9              1822           5   7   5      
8.58/8.65	c 3750           8223           256201         23566236       9              1830           4   7   4      
8.58/8.67	c 3760           8245           256920         23633606       9              1836           5   7   5      
8.58/8.69	c 3770           8268           257629         23693520       9              1840           7   7   6      
8.68/8.70	c 3780           8285           258100         23728531       9              1846           5   7   5      
8.68/8.71	c 3790           8307           258806         23790945       9              1850           6   7   6      
8.68/8.74	c 3800           8332           259657         23865861       9              1858           5   7   6      
8.68/8.75	c 3810           8350           260225         23920791       9              1861           4   7   5      
8.68/8.77	c 3820           8371           260870         23983178       9              1869           5   7   5      
8.68/8.78	c 3830           8388           261379         24035570       9              1875           5   7   5      
8.78/8.80	c 3840           8409           262035         24095482       9              1882           6   7   6      
8.78/8.82	c 3850           8430           262690         24160341       9              1890           5   7   5      
8.78/8.83	c 3860           8450           263321         24232705       9              1896           3   7   4      
8.78/8.85	c 3870           8473           264030         24292568       9              1900           7   7   6      
8.78/8.86	c 3880           8492           264591         24344983       9              1905           6   7   6      
8.78/8.87	c 3890           8508           264992         24389900       9              1915           5   7   4      
8.78/8.89	c 3900           8532           265756         24452365       9              1921           5   7   6      
8.88/8.91	c 3910           8552           266388         24512199       9              1924           5   7   6      
8.88/8.92	c 3920           8575           267097         24572114       9              1929           7   7   6      
8.88/8.93	c 3930           8596           267721         24629485       9              1934           5   7   6      
8.88/8.95	c 3940           8617           268366         24691863       9              1942           5   7   5      
8.88/8.96	c 3950           8637           269004         24746716       9              1947           7   7   6      
8.88/8.98	c 3960           8655           269554         24799186       9              1950           4   7   5      
8.88/8.99	c 3970           8673           270114         24849127       9              1954           4   7   5      
8.99/9.01	c 3980           8691           270671         24904065       9              1958           5   7   5      
8.99/9.02	c 3990           8711           271297         24966463       9              1964           4   7   5      
8.99/9.04	c 4000           8737           272113         25033883       9              1967           5   7   5      
8.99/9.05	c 4001           8743           272338         25053855       9              1968           6   6   3      
8.99/9.07	c 4010           8763           272994         25108737       9              1973           6   7   6      
8.99/9.08	c 4020           8785           273714         25176142       9              1979           5   7   5      
8.99/9.10	c 4030           8804           274309         25228599       9              1984           6   7   6      
9.09/9.11	c 4040           8822           274861         25283504       9              1987           4   7   5      
9.09/9.13	c 4050           8844           275567         25345877       9              1991           6   7   6      
9.09/9.15	c 4060           8865           276214         25403245       9              1995           7   7   6      
9.09/9.17	c 4070           8889           276999         25470664       9              2001           4   7   5      
9.09/9.18	c 4080           8906           277518         25520577       9              2006           4   7   5      
9.09/9.19	c 4090           8927           278167         25573048       9              2009           6   7   6      
9.18/9.21	c 4100           8948           278859         25640393       9              2015           6   7   6      
9.18/9.23	c 4110           8971           279568         25700270       9              2020           7   7   6      
9.18/9.24	c 4120           8992           280225         25760125       9              2025           5   7   6      
9.18/9.26	c 4130           9010           280772         25815007       9              2029           4   7   5      
9.18/9.28	c 4140           9034           281580         25884857       9              2031           4   7   5      
9.18/9.29	c 4150           9051           282064         25919868       9              2037           5   7   5      
9.28/9.31	c 4160           9075           282849         25987267       9              2043           4   7   5      
9.28/9.32	c 4170           9093           283407         26042154       9              2050           6   7   6      
9.28/9.34	c 4180           9115           284095         26104508       9              2054           7   7   6      
9.28/9.35	c 4190           9134           284656         26156926       9              2059           6   7   6      
9.28/9.37	c 4200           9160           285487         26224347       9              2062           5   7   5      
9.28/9.39	c 4210           9183           286221         26291734       9              2067           5   7   6      
9.38/9.40	c 4220           9202           286782         26344180       9              2072           6   7   6      
9.38/9.42	c 4230           9223           287439         26409051       9              2080           5   7   5      
9.38/9.44	c 4240           9244           288094         26473958       9              2088           5   7   5      
9.38/9.45	c 4250           9267           288803         26533858       9              2092           7   7   6      
9.38/9.47	c 4260           9290           289512         26593792       9              2096           7   7   6      
9.38/9.48	c 4270           9308           290080         26648710       9              2099           4   7   5      
9.48/9.50	c 4280           9326           290672         26701117       9              2101           5   7   6      
9.48/9.51	c 4290           9344           291226         26756017       9              2105           5   7   5      
9.48/9.53	c 4300           9364           291852         26813448       9              2112           5   7   5      
9.48/9.54	c 4310           9383           292448         26865867       9              2117           6   7   6      
9.48/9.55	c 4320           9401           292998         26918331       9              2120           4   7   5      
9.48/9.57	c 4330           9423           293687         26970812       9              2125           6   7   6      
9.48/9.59	c 4340           9446           294422         27038153       9              2130           5   7   6      
9.58/9.60	c 4350           9470           295187         27095601       9              2132           6   7   6      
9.58/9.62	c 4360           9488           295739         27150535       9              2136           5   7   5      
9.58/9.63	c 4370           9508           296385         27205439       9              2138           6   7   6      
9.58/9.65	c 4380           9526           296960         27255437       9              2141           4   7   5      
9.58/9.66	c 4390           9543           297526         27310375       9              2143           5   7   5      
9.58/9.68	c 4400           9562           298118         27365278       9              2149           6   7   6      
9.58/9.69	c 4410           9584           298818         27430136       9              2154           6   7   6      
9.68/9.71	c 4420           9601           299328         27482529       9              2160           5   7   5      
9.68/9.72	c 4430           9618           299844         27520024       9              2167           4   7   4      
9.68/9.73	c 4440           9636           300419         27572458       9              2170           4   7   5      
9.68/9.74	c 4450           9652           300863         27619830       9              2177           5   7   5      
9.68/9.76	c 4460           9671           301458         27672279       9              2182           6   7   6      
9.68/9.77	c 4470           9688           301955         27722182       9              2188           5   7   5      
9.68/9.79	c 4480           9710           302649         27789430       9              2193           5   7   6      
9.78/9.80	c 4490           9733           303383         27856807       9              2198           5   7   6      
9.78/9.81	c 4493           9745           303779         27891697       9              2200           7   7   5      
9.78/9.82	c 4500           9760           304287         27934154       9              2203           4   7   5      
9.78/9.83	c 4510           9776           304688         27979071       9              2213           5   7   4      
9.78/9.85	c 4520           9799           305420         28041346       9              2217           6   7   6      
9.78/9.87	c 4530           9817           305995         28091337       9              2220           4   7   5      
9.78/9.88	c 4540           9836           306556         28143783       9              2225           6   7   6      
9.78/9.89	c 4550           9853           307035         28181222       9              2232           5   7   5      
9.88/9.90	c 4560           9873           307667         28241056       9              2235           5   7   6      
9.88/9.92	c 4570           9894           308322         28305970       9              2243           5   7   5      
9.88/9.93	c 4580           9910           308714         28328468       9              2253           5   7   4      
9.88/9.94	c 4590           9931           309338         28385830       9              2258           5   7   6      
9.88/9.95	c 4600           9951           309970         28445645       9              2261           5   7   6      
9.88/9.97	c 4610           9968           310460         28493055       9              2267           5   7   5      
9.88/9.98	c 4620           9990           311129         28547978       9              2269           3   7   5      
9.88/10.00	c 4630           10012          311798         28605396       9              2273           7   7   6      
10.00/10.01	c 4640           10029          312291         28645339       9              2279           5   7   5      
10.00/10.02	c 4650           10049          312929         28700228       9              2284           7   7   6      
10.00/10.03	c 4660           10070          313553         28757600       9              2289           5   7   6      
10.00/10.05	c 4670           10088          314112         28812506       9              2293           5   7   5      
10.00/10.06	c 4680           10109          314754         28862484       9              2298           6   7   6      
10.00/10.08	c 4690           10131          315441         28919859       9              2304           6   7   6      
10.00/10.09	c 4700           10151          316079         28974712       9              2309           7   7   6      
10.10/10.11	c 4710           10169          316667         29032110       9              2311           5   7   6      
10.10/10.12	c 4720           10186          317152         29067071       9              2317           5   7   5      
10.10/10.13	c 4730           10208          317828         29124448       9              2322           7   7   6      
10.10/10.15	c 4740           10230          318515         29181818       9              2328           6   7   6      
10.10/10.16	c 4750           10249          319111         29234249       9              2333           6   7   6      
10.10/10.18	c 4760           10267          319687         29289127       9              2335           5   7   6      
10.10/10.19	c 4770           10290          320395         29344114       9              2340           5   7   6      
10.19/10.21	c 4780           10308          320971         29399004       9              2342           5   7   6      
10.19/10.23	c 4790           10334          321800         29466436       9              2345           5   7   5      
10.19/10.25	c 4800           10357          322532         29533791       9              2350           5   7   6      
10.19/10.26	c 4810           10376          323093         29586209       9              2355           6   7   6      
10.19/10.27	c 4820           10399          323802         29646145       9              2359           7   7   6      
10.19/10.29	c 4830           10421          324478         29703497       9              2364           7   7   6      
10.29/10.31	c 4840           10442          325150         29768393       9              2367           4   7   5      
10.29/10.32	c 4850           10460          325726         29823268       9              2369           5   7   6      
10.29/10.33	c 4860           10477          326267         29875682       9              2375           4   7   5      
10.29/10.36	c 4870           10501          327045         29945552       9              2381           5   7   5      
10.29/10.37	c 4880           10519          327617         29997971       9              2387           6   7   6      
10.29/10.39	c 4890           10544          328462         30070399       9              2388           6   7   6      
10.39/10.40	c 4900           10561          328979         30110330       9              2394           4   7   5      
10.39/10.41	c 4910           10578          329452         30157746       9              2401           5   7   5      
10.39/10.43	c 4920           10596          330040         30215149       9              2403           5   7   6      
10.39/10.45	c 4930           10618          330737         30280033       9              2408           7   7   6      
10.39/10.46	c 4940           10634          331143         30324951       9              2418           5   7   4      
10.39/10.47	c 4950           10654          331792         30374934       9              2422           5   7   6      
10.39/10.48	c 4960           10672          332362         30427378       9              2428           6   7   6      
10.49/10.50	c 4970           10693          333048         30482346       9              2431           5   7   5      
10.49/10.51	c 4980           10711          333623         30534791       9              2434           4   7   5      
10.49/10.53	c 4990           10731          334235         30587220       9              2436           7   7   6      
10.49/10.54	c 5035           10783          335266         30632523       9              2477           5   7   5      
10.79/10.89	c 5631           11572          353620         32134212       9              2549           2   7   5      
11.39/11.47	c 6286           12492          376776         34728847       9              2709           2   7   5      
11.89/11.97	c 7006           13406          397723         37056400       9              3093           2   7   4      
12.29/12.30	c 7798           14262          413676         39106351       9              3687           4   7   4      
12.79/12.89	c 8669           15398          440237         41699826       9              3926           2   7   4      
13.69/13.72	c 9627           16778          475034         45373901       9              4024           3   7   5      
14.49/14.50	c 10680          18162          507582         48975936       9              4107           2   7   4      
14.69/14.75	c 11838          19465          532293         50006703       9              4808           3   7   4      
15.59/15.62	c 13111          21178          573711         54210432       9              5157           2   7   4      
16.00/16.04	c 14511          22806          606064         56033102       9              5274           4   7   4      
17.39/17.48	c 16051          25088          665346         61858619       9              5461           2   7   5      
18.00/18.03	c 17745          27066          705374         64049525       9              5562           2   7   4      
18.69/18.75	c 19608          29323          752119         67152411       9              5624           2   7   4      
20.10/20.16	c 21657          31930          812384         73911757       9              5686           2   7   5      
21.59/21.63	c 23910          34952          883222         80267913       9              5932           2   7   5      
23.19/23.26	c 26388          38440          966969         86611765       9              6048           2   7   5      
25.10/25.14	c 29113          42165          1056262        94273025       9              6246           2   7   5      
27.00/27.02	c 32110          46219          1152513        101527940      9              6281           2   7   4      
29.19/29.23	c 35406          50719          1258257        111024914      9              7094           2   7   4      
32.29/32.37	c 39031          55840          1388547        124341357      9              7456           2   7   5      
34.89/34.96	c 43018          61155          1512667        135613207      9              7636           2   7   5      
37.99/38.02	c 47403          67066          1652618        148610260      9              7899           2   7   5      
41.68/41.76	c 52226          74117          1824664        164127720      9              8361           2   7   5      
46.28/46.33	c 57531          81694          2014387        183735846      9              8715           2   7   5      
50.79/50.81	c 63366          88989          2189673        207199290      9              8790           2   7   3      
56.29/56.36	c 69784          98925          2439107        230330979      9              9015           2   7   5      
61.69/61.71	c 76843          109067         2684532        252696813      9              9332           2   7   5      
68.10/68.20	c 84607          120696         2975697        279361152      9              9493           2   7   5      
75.49/75.53	c 93147          133192         3291212        309700950      9              9665           2   7   5      
83.29/83.31	c 102541         147966         3659053        340567172      9              9836           2   7   5      
91.49/91.54	c 112874         162812         4027757        375238719      9              10166          2   7   5      
100.59/100.63	c 124240         179154         4424715        413852578      9              10446          2   7   5      
111.10/111.18	c 136742         197558         4889236        458788688      9              10569          2   7   5      
123.19/123.29	c 150494         218111         5406753        510477120      9              10584          2   7   5      
135.69/135.72	c 165621         241041         5982639        562859377      9              10856          2   7   5      
149.10/149.14	c 182260         265536         6592126        619623861      9              11012          2   7   5      
164.79/164.81	c 200562         293572         7295456        682981191      9              11184          2   7   5      
181.59/181.60	c 220694         322480         8014359        752354542      9              11302          2   7   5      
199.29/199.34	c 242839         354902         8813181        824788239      9              11311          2   7   5      
220.69/220.75	c 267198         391661         9739647        913841745      9              11673          2   7   5      
243.48/243.50	c 293992         432019         10751718       1007329866     9              11877          2   7   5      
267.89/267.98	c 323465         475081         11823370       1110743987     9              12098          2   7   5      
295.38/295.48	c 355885         523323         13033726       1225474125     9              12413          2   7   5      
327.19/327.23	c 391547         578171         14428111       1355785850     9              12591          2   7   5      
360.19/360.23	c 430775         636967         15906217       1492399020     9              12681          2   7   5      
397.18/397.28	c 473925         700754         17503961       1647136929     9              12800          2   7   5      
436.18/436.25	c 521390         770710         19247444       1810083215     9              12922          2   7   5      
480.38/480.40	c 573601         848515         21204525       1992794810     9              13048          2   7   5      
526.48/526.55	c 631033         933861         23310670       2184452156     9              13234          2   7   5      
581.78/581.83	c 694208         1027789        25674312       2416583816     9              13250          2   7   5      
642.19/642.27	c 763700         1133225        28339052       2665779611     9              13690          2   7   5      
705.69/705.72	c 840141         1245950        31151133       2928950314     9              13925          2   7   5      
776.40/776.49	c 924226         1373106        34331214       3222347567     9              13944          2   7   5      
854.50/854.50	c 1016719        1511452        37793862       3548575927     9              13969          2   7   5      
939.21/939.25	c 1118461        1660355        41497295       3902830869     9              13992          2   7   5      
1031.62/1031.64	c 1230377        1826263        45617179       4286216949     9              14131          2   7   5      
1135.23/1135.22	c 1353484        2010065        50221144       4715420599     9              14331          2   7   5      
1247.15/1247.16	c 1488901        2209074        55195407       5180935872     9              14550          2   7   5      
1373.05/1373.06	c 1637859        2432369        60808555       5708062107     9              15208          2   7   5      
1507.95/1508.00	c 1801712        2672819        66804683       6271746550     9              15447          2   7   5      
1656.07/1656.10	c 1981950        2936530        73371760       6894416489     9              15509          2   7   5      
1821.68/1821.68	c 2180211        3230509        80683718       7580817897     9              15795          2   7   5      
2008.20/2008.12	c 2398298        3556684        88869825       8349556214     9              16228          2   7   5      
2204.50/2204.40	c 2638193        3908153        97617355       9167399440     9              16769          2   7   5      
2423.62/2423.52	c 2902077        4294199        107249274      10076023515    9              16995          2   7   5      
2520.02/2519.90	
2520.02/2519.90	c *** INTERRUPTED ***
2520.02/2519.90	c restarts              : 583         
2520.02/2519.90	c conflicts             : 3022040      (1199 /sec)
2520.02/2519.90	c decisions             : 4471244      (1775 /sec)
2520.02/2519.90	c propagations          : 10472114633 (4156162 /sec)
2520.02/2519.90	c root propagations     : 0           
2520.02/2519.90	c filter calls          : 111633270      (44305 /sec)
2520.02/2519.90	c useless filter calls  : 98592409       (88 %)
2520.02/2519.90	c
2520.02/2519.90	c clauses               : 28130163
2520.02/2519.90	c SAT propagations      : 23453
2520.02/2519.90	c SAT conflicts         : 24 (0 learnts)
2520.02/2519.90	c Memory used           : 1267.05 MB
2520.02/2519.90	c CPU time              : 2519.66 s
2520.02/2519.90	
2520.02/2519.90	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (160 MiB free)
  memory of node 1: 16384 MiB (4888 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266109-1502570671/watcher-4266109-1502570671 -o /tmp/evaluation-result-4266109-1502570671/solver-4266109-1502570671 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23607 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266109-1502570671.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=24175, runsolver pid=24172

[startup+0.10012 s]*
/proc/loadavg: 5.28 4.45 3.10 3/190 24176
/proc/meminfo: memFree=5131988/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=67896 memory=39932 CPUtime=0.1 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 8116 0 1 0 9 1 0 0 20 0 1 0 90154924 69525504 9983 33554432000 4194304 5972588 140733856265440 140733856262088 140061636237867 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 16974 9983 817 435 0 10337 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 67896 KiB
Current children cumulated memory: 39932 KiB

[startup+0.209925 s]*
/proc/loadavg: 5.28 4.45 3.10 3/190 24176
/proc/meminfo: memFree=5069720/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=136008 memory=97664 CPUtime=0.2 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 17425 0 1 0 18 2 0 0 20 0 1 0 90154924 139272192 24416 33554432000 4194304 5972588 140733856265440 140733856262088 5252461 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 34002 24416 817 435 0 27365 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 136008 KiB
Current children cumulated memory: 97664 KiB

[startup+0.309865 s]*
/proc/loadavg: 5.28 4.45 3.10 3/190 24176
/proc/meminfo: memFree=4968256/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=201144 memory=149508 CPUtime=0.3 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 25312 0 1 0 26 4 0 0 20 0 1 0 90154924 205971456 37377 33554432000 4194304 5972588 140733856265440 140733856262232 140061636629484 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 50323 37377 817 435 0 43686 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 201144 KiB
Current children cumulated memory: 149508 KiB

[startup+0.700336 s]
/proc/loadavg: 5.28 4.45 3.10 3/190 24176
/proc/meminfo: memFree=4862376/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=458372 memory=350168 CPUtime=0.68 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 52455 0 1 0 59 9 0 0 20 0 1 0 90154924 469372928 87542 33554432000 4194304 5972588 140733856265440 140733856262232 140061636237867 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 114626 87542 817 435 0 107989 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 458372 KiB
Current children cumulated memory: 350168 KiB

[startup+1.50038 s]
/proc/loadavg: 5.28 4.45 3.10 3/190 24176
/proc/meminfo: memFree=4582424/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=855516 memory=761284 CPUtime=1.49 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 105146 0 1 0 129 20 0 0 20 0 1 0 90154924 876048384 190321 33554432000 4194304 5972588 140733856265440 140733856262232 140061636168677 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 213879 190321 817 435 0 207242 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 855516 KiB
Current children cumulated memory: 761284 KiB

[startup+3.10952 s]
/proc/loadavg: 5.26 4.46 3.11 2/190 24176
/proc/meminfo: memFree=3917536/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1106372 CPUtime=3.09 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 150618 0 1 0 281 28 0 0 20 0 1 0 90154924 1328594944 276593 33554432000 4194304 5972588 140733856265440 140733856262744 5070984 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 276593 833 435 0 317727 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1106372 KiB

[startup+6.30026 s]
/proc/loadavg: 5.26 4.46 3.11 2/190 24176
/proc/meminfo: memFree=3916776/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1106372 CPUtime=6.28 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 157692 0 1 0 600 28 0 0 20 0 1 0 90154924 1328594944 276593 33554432000 4194304 5972588 140733856265440 140733856262744 5071908 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 276593 833 435 0 317727 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1106372 KiB

[startup+12.7002 s]
/proc/loadavg: 5.22 4.48 3.13 2/190 24176
/proc/meminfo: memFree=3922536/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1106372 CPUtime=12.69 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 165564 0 1 0 1240 29 0 0 20 0 1 0 90154924 1328594944 276593 33554432000 4194304 5972588 140733856265440 140733856262744 5071080 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 276593 833 435 0 317727 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1106372 KiB

[startup+25.5003 s]
/proc/loadavg: 5.19 4.49 3.15 2/190 24176
/proc/meminfo: memFree=3939200/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1106376 CPUtime=25.49 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 176421 0 1 0 2520 29 0 0 20 0 1 0 90154924 1328594944 276594 33554432000 4194304 5972588 140733856265440 140733856262744 5070984 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 276594 833 435 0 317727 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1106376 KiB

[startup+51.1095 s]
/proc/loadavg: 4.90 4.49 3.18 2/190 24176
/proc/meminfo: memFree=3948708/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1106384 CPUtime=51.1 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 190279 0 1 0 5080 30 0 0 20 0 1 0 90154924 1328594944 276596 33554432000 4194304 5972588 140733856265440 140733856262744 4968825 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 276596 833 435 0 317727 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1106384 KiB

[startup+102.3 s]
/proc/loadavg: 4.36 4.40 3.23 2/190 24177
/proc/meminfo: memFree=3949012/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1106396 CPUtime=102.29 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 206261 0 1 0 10199 30 0 0 20 0 1 0 90154924 1328594944 276599 33554432000 4194304 5972588 140733856265440 140733856262744 5071082 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 276599 833 435 0 317727 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1106396 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.33 3.28 2/190 24178
/proc/meminfo: memFree=3949076/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1106396 CPUtime=162.29 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 219340 0 1 0 16199 30 0 0 20 0 1 0 90154924 1328594944 276599 33554432000 4194304 5972588 140733856265440 140733856262744 5070688 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 276599 833 435 0 317727 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1106396 KiB

[startup+222.3 s]
/proc/loadavg: 2.81 3.92 3.20 3/189 24242
/proc/meminfo: memFree=30776180/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1109620 CPUtime=222.29 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 233488 0 1 0 22198 31 0 0 20 0 1 0 90154924 1328594944 277405 33554432000 4194304 5972588 140733856265440 140733856262744 5070982 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 277405 833 435 0 317727 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1109620 KiB

[startup+282.3 s]
/proc/loadavg: 2.34 3.58 3.13 3/189 24307
/proc/meminfo: memFree=30788284/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1112956 CPUtime=282.29 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 245690 0 1 0 28197 32 0 0 20 0 1 0 90154924 1328594944 278239 33554432000 4194304 5972588 140733856265440 140733856262744 5320594 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 278239 833 435 0 317727 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1112956 KiB

[startup+342.3 s]
/proc/loadavg: 2.09 3.28 3.06 3/187 24308
/proc/meminfo: memFree=30785528/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1116336 CPUtime=342.28 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 257079 0 1 0 34195 33 0 0 20 0 1 0 90154924 1328594944 279084 33554432000 4194304 5972588 140733856265440 140733856262744 5070984 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 279084 833 435 0 317727 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1116336 KiB

[startup+402.3 s]
/proc/loadavg: 2.03 3.05 2.99 3/187 24309
/proc/meminfo: memFree=30781516/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1120120 CPUtime=402.28 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 268012 0 1 0 40195 33 0 0 20 0 1 0 90154924 1328594944 280030 33554432000 4194304 5972588 140733856265440 140733856262744 4965528 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 280030 833 435 0 317727 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1120120 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.86 2.93 3/187 24310
/proc/meminfo: memFree=30777888/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1123456 CPUtime=462.28 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 276524 0 1 0 46195 33 0 0 20 0 1 0 90154924 1328594944 280864 33554432000 4194304 5972588 140733856265440 140733856262744 5320390 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 280864 833 435 0 317727 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1123456 KiB


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

/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.21 3/188 24359
/proc/meminfo: memFree=30774804/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=1842.38 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 324128 0 1 0 184201 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5070953 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.20 3/188 24382
/proc/meminfo: memFree=30773584/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=1902.38 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 325531 0 1 0 190201 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5320594 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 1902.38 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.19 3/188 24383
/proc/meminfo: memFree=30773460/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=1962.39 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 326909 0 1 0 196202 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5071964 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.18 3/188 24384
/proc/meminfo: memFree=30773584/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=2022.39 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 328336 0 1 0 202202 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5070984 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/188 24385
/proc/meminfo: memFree=30773584/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=2082.4 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 329612 0 1 0 208203 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5070984 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.16 3/187 24386
/proc/meminfo: memFree=30773476/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=2142.4 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 330852 0 1 0 214203 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5072004 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.15 3/187 24387
/proc/meminfo: memFree=30773608/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=2202.4 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 332139 0 1 0 220203 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 4965365 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 2202.4 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.14 3/187 24388
/proc/meminfo: memFree=30773608/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=2262.41 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 333492 0 1 0 226204 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5240528 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/187 24389
/proc/meminfo: memFree=30773752/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=2322.41 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 334758 0 1 0 232204 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 4965339 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/187 24390
/proc/meminfo: memFree=30773776/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=2382.42 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 336011 0 1 0 238205 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5094189 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/188 24399
/proc/meminfo: memFree=30773448/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=2442.42 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 337285 0 1 0 244205 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5070984 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 2442.42 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/188 24400
/proc/meminfo: memFree=30773208/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=2502.42 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 338583 0 1 0 250205 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5099648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 2502.42 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.11 3/188 24400
/proc/meminfo: memFree=30773208/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=2520.02 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 338702 0 1 0 251965 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5070944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2519.91 s]
# the end of solver process 24175 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.66 s, system=0.382027 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.11 3/188 24400
/proc/meminfo: memFree=30773208/32770624 swapFree=67108860/67108860
[pid=24175] ppid=24172 vsize=1297456 memory=1126408 CPUtime=2520.02 cores=1,3,5,7
/proc/24175/stat : 24175 (cosoco) R 24172 24175 23522 0 -1 4202496 338702 0 1 0 251965 37 0 0 20 0 1 0 90154924 1328594944 281602 33554432000 4194304 5972588 140733856265440 140733856262744 5070944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15388672 140733856269498 140733856269598 140733856269598 140733856272334 0
/proc/24175/statm: 324364 281602 833 435 0 317727 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 1297456 KiB
Current children cumulated memory: 1126408 KiB

Child status: 1
Real time (s): 2519.91
CPU time (s): 2520.04
CPU user time (s): 2519.66
CPU system time (s): 0.382027
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 1297456
Max. memory (cumulated for all children) (KiB): 1126408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.66
system time used= 0.382027
maximum resident set size= 1126480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338747
page faults= 1
swaps= 0
block input operations= 944
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 697


# summary of solver processes directly reported to runsolver:
#   pid: 24175
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2519.66
#   total CPU system time (s): 0.382027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.89413 second user time and 16.2901 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-12 22:30:13
IDJOB=4266109
IDBENCH=120666
IDSOLVER=2655
FILE ID=node112/4266109-1502570671
RUNJOBID= node112-1502567254-23607
PBS_JOBID= 20628283
Free space on /tmp= 47268 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Knights/Knights-m1-s1/Knights-050-09.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266109-1502570671/watcher-4266109-1502570671 -o /tmp/evaluation-result-4266109-1502570671/solver-4266109-1502570671 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23607 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266109-1502570671.xml

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

MD5SUM BENCH= 78e001d21a1411ecb51795c063836bf7
RANDOM SEED=593164419

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         5171548 kB
MemAvailable:   16971440 kB
Buffers:           77076 kB
Cached:         11751284 kB
SwapCached:            0 kB
Active:         14634852 kB
Inactive:       12176088 kB
Active(anon):   14295160 kB
Inactive(anon):   715468 kB
Active(file):     339692 kB
Inactive(file): 11460620 kB
Unevictable:        6280 kB
Mlocked:            6280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:           3919860 kB
Writeback:         46192 kB
AnonPages:      14988604 kB
Mapped:            44196 kB
Shmem:             25224 kB
Slab:             453748 kB
SReclaimable:     428040 kB
SUnreclaim:        25708 kB
KernelStack:        3824 kB
PageTables:        34868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   15466820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350244 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3700736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61784 MiB
End job on node112 at 2017-08-12 23:12:13