Trace number 4266445

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.12UNSAT 922.06299 922.09399

General information on the benchmark

NameSuperSolutions/SuperSolutions-Queens-s1/
SuperQueens-05.xml
MD5SUMd3682a34ec80283d5af6efc5a3d6ed3a
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 benchmark410.879
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints330
Number of domains1
Minimum domain size15
Maximum domain size15
Distribution of domain sizes[{"size":15,"count":30}]
Minimum variable degree15
Maximum variable degree29
Distribution of variable degrees[{"degree":15,"count":15},{"degree":29,"count":15}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":330}]
Number of extensional constraints0
Number of intensional constraints330
Distribution of constraint types[{"type":"intension","count":330}]
Optimization problemNO
Type of objective

Solver Data 

0.31/0.35	c intension x[0] != x[1]  using generic constraint 
0.31/0.35	c intension x[2] != x[3]  using generic constraint 
0.31/0.35	c intension x[4] != x[5]  using generic constraint 
0.31/0.35	c intension x[6] != x[7]  using generic constraint 
0.31/0.35	c intension x[8] != x[9]  using generic constraint 
0.31/0.35	c intension x[10] != x[11]  using generic constraint 
0.31/0.35	c intension x[12] != x[13]  using generic constraint 
0.31/0.35	c intension x[14] != x[15]  using generic constraint 
0.31/0.35	c intension x[16] != x[17]  using generic constraint 
0.31/0.36	c intension x[18] != x[19]  using generic constraint 
0.31/0.36	c intension x[20] != x[21]  using generic constraint 
0.31/0.36	c intension x[22] != x[23]  using generic constraint 
0.31/0.36	c intension x[24] != x[25]  using generic constraint 
0.31/0.36	c intension x[26] != x[27]  using generic constraint 
0.31/0.36	c intension x[28] != x[29]  using generic constraint 
0.31/0.36	c SAT : Variables: 450 -- Clauses: 3180
0.31/0.36	c root propagations     : 0           
0.31/0.36	c restarts enabled, print stats at every restarts
0.31/0.36	c
0.31/0.36	c
0.31/0.36	c
0.31/0.36	c This is cosoco 1.12 --  
0.31/0.36	c
0.31/0.36	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266445-1502590622.xml 
0.31/0.36	c ========================================[ Problem Statistics ]===========================================
0.31/0.36	c |                                                                                                       
0.31/0.36	c |  Parse time        :         0.36 s 
0.31/0.36	c |
0.31/0.36	c |               Variables: 30
0.31/0.36	c |            Domain Sizes: 15..15
0.31/0.36	c |
0.31/0.36	c |             Constraints: 330
0.31/0.36	c |                   Arity: 2..2  -- Binary: 330
0.31/0.36	c | 
0.31/0.36	c |                   Types: 
0.31/0.36	c |                          (X != Y): 15
0.31/0.36	c |                          Intension: 315
0.31/0.36	c |                          
0.31/0.36	c =========================================================================================================
0.31/0.36	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.31/0.37	c 10             24             6822           1240           0              4              8   9   7      
0.31/0.37	c 20             49             13234          2599           0              10             8   9   7      
0.31/0.38	c 30             72             19569          3793           0              15             7   8   6      
0.31/0.38	c 40             94             25660          4956           0              19             7   8   7      
0.31/0.38	c 50             115            30985          6149           0              23             7   8   6      
0.31/0.39	c 60             137            36883          7352           0              28             7   9   7      
0.31/0.39	c 70             161            43566          8650           0              31             8   8   7      
0.31/0.40	c 80             186            49830          10010          0              35             7   9   7      
0.31/0.40	c 90             211            56981          11422          0              37             6   8   6      
0.31/0.41	c 100            235            63829          12626          0              40             7   9   7      
0.31/0.41	c 101            244            66542          13040          0              41             9   9   4      
0.41/0.41	c 110            266            72874          14237          0              46             8   9   7      
0.41/0.42	c 120            293            80687          15603          0              50             7   8   7      
0.41/0.42	c 130            315            86526          16808          0              53             7   7   6      
0.41/0.43	c 140            338            92897          18081          0              57             7   8   7      
0.41/0.43	c 150            361            98634          19187          0              58             7   9   7      
0.41/0.44	c 160            384            105215         20574          0              60             7   8   7      
0.41/0.44	c 170            406            110804         21730          0              64             7   9   7      
0.41/0.44	c 180            428            116829         23068          0              70             7   8   6      
0.41/0.45	c 190            451            123554         24318          0              73             7   8   7      
0.41/0.45	c 200            479            130822         25630          0              76             8   9   7      
0.41/0.46	c 210            505            138080         26948          0              80             8   9   8      
0.41/0.46	c 211            513            140505         27314          0              81             8   8   4      
0.41/0.47	c 220            535            146814         28562          0              85             7   8   6      
0.41/0.47	c 230            556            152421         29736          0              89             7   8   7      
0.41/0.47	c 240            581            159581         31043          0              91             8   10   7     
0.41/0.48	c 250            607            166606         32355          0              96             7   9   7      
0.41/0.48	c 260            634            173494         33685          0              101            7   9   7      
0.41/0.49	c 270            657            179917         35072          0              105            7   8   6      
0.41/0.49	c 280            680            186107         36257          0              110            8   9   7      
0.41/0.50	c 290            706            193975         38042          0              115            7   9   7      
0.41/0.50	c 300            729            200350         39350          0              118            7   8   6      
0.41/0.51	c 310            750            205576         40468          0              119            8   8   7      
0.41/0.51	c 320            778            212739         41816          0              125            8   9   8      
0.51/0.52	c 330            807            220456         43342          0              129            8   10   8     
0.51/0.52	c 332            817            223537         43848          0              130            8   9   5      
0.51/0.52	c 340            840            229840         45099          0              135            7   8   6      
0.51/0.53	c 350            863            236275         46421          0              137            7   9   7      
0.51/0.53	c 360            883            241421         47492          0              143            7   9   7      
0.51/0.54	c 370            907            247773         48733          0              146            7   9   7      
0.51/0.54	c 380            928            252835         49837          0              147            7   9   7      
0.51/0.54	c 390            951            258910         51155          0              149            8   8   7      
0.51/0.55	c 400            975            265175         52337          0              152            7   8   7      
0.51/0.55	c 410            996            270707         53532          0              153            7   8   6      
0.51/0.56	c 420            1021           277518         54869          0              158            7   9   7      
0.51/0.56	c 430            1044           283797         56097          0              161            8   8   7      
0.51/0.56	c 440            1067           290123         57295          0              162            8   9   7      
0.51/0.57	c 450            1090           296802         58755          0              165            7   9   7      
0.51/0.57	c 460            1113           303218         60004          0              169            7   8   7      
0.51/0.58	c 465            1128           306816         60641          0              171            8   9   7      
0.51/0.58	c 470            1144           311128         61440          0              174            8   9   6      
0.51/0.58	c 480            1168           317752         62910          0              179            7   8   7      
0.51/0.59	c 490            1195           324498         64168          0              182            7   10   7     
0.51/0.59	c 500            1220           332098         65563          0              187            8   9   7      
0.51/0.60	c 510            1245           339276         67066          0              191            7   8   6      
0.51/0.60	c 520            1269           345717         68271          0              195            7   8   6      
0.60/0.61	c 530            1289           350994         69573          0              200            7   7   6      
0.60/0.61	c 540            1317           358390         71055          0              204            7   9   7      
0.60/0.62	c 550            1340           364494         72211          0              206            8   8   7      
0.60/0.62	c 560            1364           371633         73528          0              210            8   8   7      
0.60/0.63	c 570            1387           377922         74863          0              214            6   8   6      
0.60/0.63	c 580            1411           384135         76061          0              218            8   9   7      
0.60/0.63	c 590            1432           389954         77175          0              223            8   8   7      
0.60/0.64	c 600            1458           396439         78455          0              226            7   9   7      
0.60/0.64	c 610            1482           402725         79684          0              232            7   9   7      
0.60/0.65	c 611            1490           405231         80066          0              233            8   8   4      
0.60/0.65	c 620            1512           411115         81265          0              235            8   9   7      
0.60/0.65	c 630            1536           417861         82540          0              237            7   9   7      
0.60/0.66	c 640            1559           423526         83684          0              240            7   8   7      
0.60/0.66	c 650            1583           430237         84986          0              244            7   9   7      
0.60/0.67	c 660            1608           436475         86245          0              246            7   9   7      
0.60/0.67	c 670            1632           443091         87703          0              250            7   9   7      
0.60/0.68	c 680            1658           450394         88988          0              253            8   9   7      
0.60/0.68	c 690            1681           456570         90174          0              256            7   8   7      
0.60/0.69	c 700            1705           463238         91367          0              258            8   9   7      
0.60/0.69	c 710            1732           470766         92804          0              262            7   8   7      
0.69/0.70	c 720            1760           478880         94286          0              266            8   9   7      
0.69/0.70	c 730            1783           484599         95374          0              270            8   9   7      
0.69/0.70	c 740            1807           491132         96499          0              273            7   9   7      
0.69/0.71	c 750            1832           498098         97899          0              276            8   8   7      
0.69/0.71	c 760            1859           506439         99508          0              280            7   9   7      
0.69/0.72	c 770            1890           514550         100980         0              284            8   9   7      
0.69/0.72	c 771            1898           517189         101402         0              285            8   8   4      
0.69/0.73	c 780            1920           523404         102648         0              289            7   8   6      
0.69/0.73	c 790            1941           528934         103724         0              294            8   8   7      
0.69/0.74	c 800            1969           536735         105312         0              297            7   10   7     
0.69/0.74	c 810            1994           542731         106706         0              299            7   10   7     
0.69/0.74	c 820            2017           548910         107956         0              302            7   8   6      
0.69/0.75	c 830            2041           556033         109323         0              305            8   8   7      
0.69/0.75	c 840            2065           562215         110545         0              311            7   9   7      
0.69/0.76	c 850            2092           569984         111970         0              314            8   9   7      
0.69/0.76	c 860            2118           577085         113344         0              316            8   8   7      
0.69/0.77	c 870            2143           583538         114546         0              319            7   8   7      
0.69/0.77	c 880            2164           589066         115661         0              322            7   8   7      
0.69/0.78	c 890            2189           596150         117148         0              325            7   8   6      
0.69/0.78	c 900            2215           602599         118363         0              328            7   9   7      
0.69/0.79	c 910            2241           609742         119812         0              333            7   8   6      
0.69/0.79	c 920            2264           615989         121058         0              336            7   8   7      
0.69/0.80	c 930            2290           623531         122435         0              340            8   9   7      
0.79/0.80	c 940            2314           630452         123850         0              343            8   9   7      
0.79/0.80	c 947            2332           635342         124783         0              347            7   8   6      
0.79/0.81	c 950            2343           638756         125404         0              348            7   8   5      
0.79/0.81	c 960            2365           644347         126527         0              351            7   8   7      
0.79/0.82	c 970            2390           651095         127835         0              355            7   9   7      
0.79/0.82	c 980            2413           657444         129168         0              358            7   9   7      
0.79/0.82	c 990            2438           663946         130404         0              360            7   9   7      
0.79/0.83	c 1000           2462           670627         131673         0              365            7   9   7      
0.79/0.83	c 1010           2487           677257         132870         0              369            8   9   7      
0.79/0.84	c 1020           2511           683563         134071         0              372            8   9   7      
0.79/0.84	c 1030           2536           690293         135323         0              375            8   9   7      
0.79/0.85	c 1040           2563           697270         136692         0              379            8   10   8     
0.79/0.85	c 1050           2588           704707         138277         0              384            7   9   7      
0.79/0.86	c 1060           2612           711567         139678         0              387            6   8   6      
0.79/0.86	c 1070           2636           718162         140956         0              389            7   8   7      
0.79/0.87	c 1080           2662           725451         142493         0              391            7   8   7      
0.79/0.87	c 1090           2687           732039         143766         0              393            8   9   7      
0.79/0.88	c 1100           2711           738399         145047         0              395            7   8   6      
0.79/0.88	c 1110           2735           745162         146272         0              397            8   9   7      
0.79/0.88	c 1120           2759           752034         147701         0              401            7   9   7      
0.79/0.89	c 1130           2781           758021         148942         0              404            7   9   7      
0.79/0.89	c 1140           2803           764063         150360         0              409            6   8   6      
0.89/0.90	c 1141           2811           766395         150715         0              410            8   8   4      
0.89/0.90	c 1150           2837           773880         152274         0              413            8   8   7      
0.89/0.90	c 1160           2857           779444         153391         0              417            8   8   7      
0.89/0.91	c 1170           2883           786709         154858         0              422            7   8   7      
0.89/0.91	c 1180           2904           792343         155936         0              429            7   9   7      
0.89/0.92	c 1190           2928           798519         157094         0              432            8   9   7      
0.89/0.92	c 1200           2951           804574         158228         0              435            8   8   7      
0.89/0.93	c 1210           2976           811227         159394         0              437            7   9   7      
0.89/0.93	c 1220           2998           816882         160598         0              438            8   9   7      
0.89/0.94	c 1230           3024           823881         161895         0              441            8   8   7      
0.89/0.94	c 1240           3045           829163         162905         0              444            7   8   6      
0.89/0.94	c 1250           3071           836234         164248         0              446            7   8   6      
0.89/0.95	c 1260           3093           842117         165395         0              448            8   8   7      
0.89/0.95	c 1270           3114           847926         166599         0              453            8   8   7      
0.89/0.96	c 1280           3139           854587         167894         0              456            7   8   7      
0.89/0.96	c 1290           3165           862466         169382         0              460            7   8   7      
0.89/0.97	c 1300           3191           869683         170741         0              462            8   9   7      
0.89/0.97	c 1310           3215           876427         172038         0              465            7   9   7      
0.89/0.98	c 1320           3241           883523         173362         0              469            7   9   7      
0.89/0.98	c 1330           3263           889136         174511         0              471            7   9   7      
0.89/0.98	c 1340           3284           894058         175525         0              472            7   9   7      
0.89/0.99	c 1350           3307           900026         176797         0              474            7   9   7      
0.89/0.99	c 1352           3318           903029         177222         0              476            9   9   6      
0.89/0.99	c 1360           3337           908588         178244         0              479            8   9   7      
0.89/1.00	c 1370           3370           917589         179917         0              482            7   9   7      
1.00/1.00	c 1380           3393           924033         181120         0              485            8   9   7      
1.00/1.01	c 1390           3417           930556         182340         0              487            8   9   7      
1.00/1.01	c 1400           3440           936995         183578         0              489            8   8   7      
1.00/1.02	c 1410           3466           943989         184903         0              492            8   9   7      
1.00/1.02	c 1420           3491           950988         186285         0              495            7   9   7      
1.00/1.03	c 1430           3513           957072         187523         0              499            7   8   7      
1.00/1.03	c 1440           3533           962471         188586         0              503            8   9   7      
1.00/1.04	c 1450           3557           968840         189885         0              505            7   8   7      
1.00/1.04	c 1460           3580           975169         191249         0              508            7   8   7      
1.00/1.04	c 1470           3606           981511         192436         0              514            7   9   7      
1.00/1.05	c 1480           3632           988593         193684         0              519            8   11   8     
1.00/1.05	c 1490           3659           996451         195091         0              522            8   9   7      
1.00/1.06	c 1500           3683           1002676        196209         0              526            8   9   7      
1.00/1.06	c 1510           3706           1009215        197446         0              529            7   8   7      
1.00/1.07	c 1520           3730           1015670        198946         0              530            6   9   6      
1.00/1.07	c 1530           3755           1022658        200185         0              533            8   9   7      
1.00/1.08	c 1540           3781           1029759        201613         0              536            7   9   7      
1.00/1.08	c 1550           3808           1036706        203086         0              539            7   10   7     
1.00/1.09	c 1560           3832           1043095        204336         0              541            7   8   6      
1.00/1.09	c 1570           3855           1048957        205563         0              543            7   9   7      
1.00/1.10	c 1580           3878           1055360        206864         0              548            7   9   7      
1.00/1.10	c 1585           3895           1059779        207686         0              550            7   10   6     
1.00/1.10	c 1590           3910           1063948        208543         0              551            8   9   6      
1.10/1.11	c 1600           3934           1069995        209649         0              553            8   9   7      
1.10/1.11	c 1610           3955           1075968        210877         0              557            7   8   6      
1.10/1.11	c 1620           3975           1081316        212031         0              558            7   8   7      
1.10/1.12	c 1630           3997           1087359        213199         0              559            7   9   7      
1.10/1.12	c 1640           4023           1094404        214461         0              564            7   8   7      
1.10/1.13	c 1650           4049           1101414        215787         0              566            8   8   7      
1.10/1.13	c 1660           4077           1109085        217178         0              570            8   8   7      
1.10/1.14	c 1670           4101           1116149        218644         0              576            7   9   6      
1.10/1.14	c 1680           4124           1122088        219781         0              579            7   9   7      
1.10/1.15	c 1690           4153           1130208        221286         0              582            8   9   7      
1.10/1.15	c 1700           4176           1136372        222523         0              587            7   8   7      
1.10/1.16	c 1710           4200           1143818        223960         0              591            7   9   7      
1.10/1.16	c 1720           4226           1150521        225187         0              593            7   9   7      
1.10/1.17	c 1730           4253           1157456        226489         0              596            7   9   7      
1.10/1.17	c 1740           4275           1163667        227875         0              597            7   8   6      
1.10/1.17	c 1750           4296           1169288        228987         0              598            8   8   7      
1.10/1.18	c 1760           4321           1175885        230223         0              601            8   9   7      
1.10/1.18	c 1770           4345           1183004        231590         0              605            7   9   6      
1.10/1.19	c 1780           4367           1189012        232820         0              608            7   9   7      
1.10/1.19	c 1790           4390           1195315        234047         0              609            8   9   7      
1.19/1.20	c 1800           4413           1201159        235184         0              611            7   9   7      
1.19/1.20	c 1810           4442           1209560        236830         0              615            7   10   7     
1.19/1.21	c 1820           4464           1215788        238072         0              616            8   9   7      
1.19/1.21	c 1830           4488           1222627        239310         0              620            7   9   7      
1.19/1.21	c 1840           4508           1227904        240346         0              625            7   9   7      
1.19/1.22	c 1841           4516           1230341        240730         0              626            8   8   4      
1.19/1.22	c 1850           4539           1236861        241974         0              628            8   9   7      
1.19/1.23	c 1860           4564           1243531        243234         0              630            8   8   7      
1.19/1.23	c 1870           4587           1249957        244526         0              634            7   8   6      
1.19/1.23	c 1880           4612           1256532        245798         0              637            7   9   7      
1.19/1.24	c 1890           4638           1263692        247061         0              641            7   8   7      
1.19/1.24	c 1900           4664           1271523        248733         0              646            7   8   7      
1.19/1.25	c 1910           4686           1276836        249811         0              651            7   9   7      
1.19/1.25	c 1920           4710           1283890        251205         0              655            7   9   7      
1.19/1.26	c 1930           4737           1290699        252474         0              659            7   10   7     
1.19/1.26	c 1940           4768           1299392        254091         0              661            8   10   8     
1.19/1.27	c 1950           4793           1305274        255264         0              666            7   10   7     
1.19/1.27	c 1960           4814           1311193        256491         0              669            7   8   7      
1.19/1.28	c 1970           4838           1317620        257767         0              674            8   9   7      
1.19/1.28	c 1980           4871           1326108        259416         0              677            8   9   7      
1.19/1.29	c 1990           4896           1333486        260762         0              681            7   8   7      
1.19/1.29	c 2000           4919           1339713        261991         0              685            7   9   7      
1.29/1.30	c 2010           4943           1346590        263259         0              688            7   9   7      
1.29/1.30	c 2020           4968           1352723        264498         0              693            7   10   7     
1.29/1.30	c 2030           4990           1358551        265661         0              695            8   8   7      
1.29/1.31	c 2040           5014           1364833        266979         0              696            8   9   7      
1.29/1.31	c 2050           5037           1370873        268119         0              698            8   9   7      
1.29/1.32	c 2060           5061           1377364        269478         0              699            6   8   6      
1.29/1.32	c 2070           5084           1384464        270907         0              704            7   8   6      
1.29/1.33	c 2080           5111           1391932        272289         0              708            8   10   8     
1.29/1.33	c 2090           5134           1398534        273633         0              712            7   8   6      
1.29/1.34	c 2100           5161           1405601        275032         0              713            7   9   7      
1.29/1.34	c 2110           5185           1412610        276414         0              718            8   9   7      
1.29/1.35	c 2120           5209           1419507        277830         0              720            7   8   7      
1.29/1.35	c 2122           5218           1422143        278255         0              721            8   8   5      
1.29/1.35	c 2130           5238           1427935        279424         0              725            7   9   7      
1.29/1.36	c 2140           5265           1435266        280761         0              728            8   9   7      
1.29/1.36	c 2150           5288           1441408        281969         0              733            7   8   6      
1.29/1.37	c 2160           5312           1448439        283242         0              738            7   9   7      
1.29/1.37	c 2170           5334           1454207        284382         0              742            7   8   7      
1.29/1.37	c 2180           5355           1459811        285481         0              743            7   9   7      
1.29/1.38	c 2190           5381           1467533        286793         0              747            8   9   7      
1.29/1.38	c 2200           5404           1474090        288057         0              749            8   9   7      
1.29/1.39	c 2210           5425           1480245        289370         0              754            7   8   6      
1.29/1.39	c 2220           5447           1485714        290472         0              756            7   8   7      
1.39/1.40	c 2230           5469           1492232        291734         0              760            7   8   6      
1.39/1.40	c 2240           5491           1498528        292895         0              765            8   9   7      
1.39/1.40	c 2250           5514           1505350        294223         0              769            7   8   6      
1.39/1.41	c 2260           5544           1512857        295429         0              772            8   10   7     
1.39/1.41	c 2270           5569           1519869        296772         0              775            8   9   7      
1.39/1.42	c 2280           5594           1526999        298295         0              779            7   8   7      
1.39/1.42	c 2290           5623           1534173        299940         0              786            7   9   7      
1.39/1.43	c 2300           5646           1540268        301138         0              789            7   9   7      
1.39/1.43	c 2310           5669           1546030        302287         0              791            8   8   7      
1.39/1.44	c 2320           5691           1551880        303468         0              792            8   9   7      
1.39/1.44	c 2330           5715           1558177        304632         0              794            8   9   8      
1.39/1.45	c 2340           5741           1565301        305988         0              798            7   9   7      
1.39/1.45	c 2350           5764           1571967        307397         0              801            7   8   7      
1.39/1.46	c 2360           5789           1579049        308818         0              804            7   9   7      
1.39/1.46	c 2370           5809           1584523        309880         0              808            8   8   7      
1.39/1.46	c 2380           5830           1590038        311073         0              812            7   8   7      
1.39/1.47	c 2390           5852           1595530        312233         0              814            7   9   7      
1.39/1.47	c 2400           5877           1602222        313553         0              817            7   8   7      
1.39/1.48	c 2410           5902           1609039        314959         0              824            6   8   6      
1.39/1.48	c 2420           5925           1614583        315945         0              827            8   10   7     
1.39/1.49	c 2430           5954           1622708        317418         0              831            8   9   8      
1.39/1.49	c 2431           5962           1625253        317771         0              832            8   8   4      
1.39/1.49	c 2440           5982           1630903        318831         0              836            7   8   6      
1.49/1.50	c 2450           6013           1638923        320216         0              839            7   9   7      
1.49/1.50	c 2460           6041           1645952        321836         0              846            7   9   6      
1.49/1.51	c 2470           6066           1652591        323128         0              853            8   9   7      
1.49/1.51	c 2480           6086           1658100        324275         0              857            8   8   7      
1.49/1.52	c 2490           6112           1665173        325569         0              861            7   9   7      
1.49/1.52	c 2500           6137           1671412        326793         0              864            7   10   7     
1.49/1.52	c 2510           6160           1677386        328072         0              867            8   8   7      
1.49/1.53	c 2520           6184           1683189        329271         0              868            7   9   7      
1.49/1.53	c 2530           6208           1688361        330278         0              874            8   11   7     
1.49/1.54	c 2540           6231           1694912        331624         0              875            8   9   7      
1.49/1.54	c 2550           6256           1701005        332751         0              879            7   9   7      
1.49/1.54	c 2560           6278           1706836        333870         0              883            8   8   7      
1.49/1.55	c 2570           6300           1712648        334968         0              888            7   9   7      
1.49/1.55	c 2580           6323           1718624        336150         0              891            7   8   7      
1.49/1.56	c 2590           6350           1725448        337371         0              894            7   10   7     
1.49/1.56	c 2600           6372           1731551        338515         0              898            7   8   7      
1.49/1.57	c 2610           6393           1736971        339621         0              904            8   8   7      
1.49/1.57	c 2620           6414           1742554        340720         0              909            8   8   7      
1.49/1.57	c 2630           6441           1749173        341964         0              913            8   10   8     
1.49/1.58	c 2640           6466           1756077        343268         0              916            8   9   7      
1.49/1.58	c 2650           6492           1762420        344430         0              920            7   9   7      
1.49/1.59	c 2660           6519           1769182        345708         0              923            7   9   7      
1.49/1.59	c 2670           6543           1775780        347026         0              926            7   8   7      
1.59/1.60	c 2680           6566           1781899        348225         0              928            8   9   7      
1.59/1.60	c 2690           6589           1788223        349557         0              932            7   8   6      
1.59/1.61	c 2700           6619           1795965        350954         0              935            7   10   8     
1.59/1.61	c 2710           6642           1802364        352185         0              938            7   9   7      
1.59/1.62	c 2720           6670           1808902        353505         0              944            7   11   7     
1.59/1.62	c 2730           6692           1814891        354963         0              949            6   8   6      
1.59/1.62	c 2740           6717           1821842        356237         0              952            8   9   7      
1.59/1.63	c 2750           6744           1828929        357549         0              958            8   8   7      
1.59/1.63	c 2760           6770           1835643        358754         0              961            8   10   7     
1.59/1.64	c 2770           6796           1842354        360019         0              963            7   9   7      
1.59/1.64	c 2771           6804           1845036        360388         0              964            8   8   4      
1.59/1.64	c 2780           6825           1850918        361527         0              965            8   9   7      
1.59/1.65	c 2790           6855           1858709        362957         0              968            7   10   7     
1.59/1.65	c 2800           6882           1866373        364363         0              971            7   10   7     
1.59/1.66	c 2810           6908           1873424        365717         0              975            7   9   7      
1.59/1.66	c 2820           6932           1879995        367036         0              978            7   9   7      
1.59/1.67	c 2830           6956           1886521        368335         0              983            7   8   6      
1.59/1.67	c 2840           6982           1894117        369742         0              987            7   9   7      
1.59/1.68	c 2850           7003           1899995        371029         0              992            8   8   7      
1.59/1.68	c 2860           7024           1905745        372130         0              993            7   9   7      
1.59/1.69	c 2870           7049           1912849        373598         0              997            7   9   7      
1.59/1.69	c 2880           7075           1919908        374918         0              1000           7   9   7      
1.69/1.70	c 2890           7101           1927656        376396         0              1003           7   8   7      
1.69/1.70	c 2900           7125           1933716        377524         0              1006           8   9   7      
1.69/1.71	c 2910           7150           1940783        379097         0              1008           6   9   6      
1.69/1.71	c 2920           7174           1947893        380552         0              1011           7   8   7      
1.69/1.71	c 2930           7197           1954453        381887         0              1015           7   8   7      
1.69/1.72	c 2940           7221           1961787        383263         0              1020           6   8   6      
1.69/1.72	c 2950           7245           1968367        384476         0              1023           8   9   7      
1.69/1.73	c 2960           7267           1974330        385806         0              1027           7   8   6      
1.69/1.73	c 2970           7295           1981800        387340         0              1031           7   10   7     
1.69/1.74	c 2980           7319           1988333        388611         0              1036           8   9   7      
1.69/1.74	c 2990           7344           1995561        390004         0              1039           7   9   7      
1.69/1.75	c 3000           7368           2002235        391402         0              1043           7   9   6      
1.69/1.75	c 3010           7391           2008276        392609         0              1047           8   9   7      
1.69/1.76	c 3020           7419           2015779        393946         0              1051           8   10   7     
1.69/1.76	c 3030           7444           2022806        395288         0              1055           7   9   7      
1.69/1.77	c 3040           7470           2030147        396717         0              1059           7   9   7      
1.69/1.77	c 3050           7491           2035652        397914         0              1063           7   8   7      
1.69/1.78	c 3060           7518           2043667        399547         0              1069           7   8   7      
1.69/1.78	c 3070           7542           2050005        400724         0              1071           7   9   7      
1.69/1.79	c 3080           7567           2056714        402009         0              1077           8   10   8     
1.69/1.79	c 3090           7595           2063929        403306         0              1079           8   10   8     
1.69/1.80	c 3100           7620           2071324        404706         0              1082           7   9   7      
1.79/1.80	c 3110           7644           2077614        405963         0              1085           7   9   7      
1.79/1.80	c 3120           7667           2084101        407430         0              1087           7   9   7      
1.79/1.81	c 3130           7691           2090911        408639         0              1090           7   9   7      
1.79/1.81	c 3140           7718           2097170        409977         0              1094           6   10   6     
1.79/1.82	c 3142           7726           2099568        410444         0              1095           7   7   4      
1.79/1.82	c 3150           7747           2105383        411434         0              1098           7   9   7      
1.79/1.82	c 3160           7770           2111504        412751         0              1102           6   8   6      
1.79/1.83	c 3170           7794           2117799        413863         0              1106           8   9   7      
1.79/1.83	c 3180           7824           2125765        415285         0              1111           8   10   8     
1.79/1.84	c 3190           7849           2132774        416731         0              1114           7   9   7      
1.79/1.84	c 3200           7873           2139600        418348         0              1120           6   8   6      
1.79/1.85	c 3210           7897           2145871        419551         0              1122           7   8   7      
1.79/1.85	c 3220           7921           2152430        420846         0              1124           8   9   7      
1.79/1.86	c 3230           7945           2158653        422131         0              1127           8   9   7      
1.79/1.86	c 3240           7971           2165220        423377         0              1130           7   10   7     
1.79/1.87	c 3250           7998           2173322        424972         0              1132           8   9   7      
1.79/1.87	c 3260           8022           2179885        426232         0              1137           7   8   7      
1.79/1.88	c 3270           8049           2187567        427753         0              1140           7   10   7     
1.79/1.88	c 3280           8075           2194931        429129         0              1144           7   9   7      
1.79/1.89	c 3290           8102           2202627        430580         0              1148           7   9   7      
1.79/1.89	c 3300           8125           2208997        431752         0              1153           7   8   7      
1.79/1.90	c 3310           8150           2215788        433083         0              1158           7   8   7      
1.89/1.90	c 3320           8174           2222304        434387         0              1161           7   8   6      
1.89/1.90	c 3330           8198           2229272        435781         0              1164           8   9   7      
1.89/1.91	c 3340           8221           2235786        436982         0              1167           7   8   7      
1.89/1.91	c 3350           8243           2241808        438166         0              1171           7   8   7      
1.89/1.92	c 3360           8264           2247231        439303         0              1174           7   8   6      
1.89/1.92	c 3370           8287           2252792        440324         0              1176           7   9   7      
1.89/1.93	c 3380           8314           2260052        441792         0              1178           7   9   7      
1.89/1.93	c 3390           8337           2266104        443030         0              1181           8   8   7      
1.89/1.94	c 3400           8360           2272392        444446         0              1186           7   8   6      
1.89/1.94	c 3410           8387           2279168        445733         0              1191           7   9   7      
1.89/1.94	c 3420           8412           2285794        446859         0              1192           8   9   7      
1.89/1.95	c 3430           8439           2293180        448323         0              1196           7   9   7      
1.89/1.95	c 3440           8463           2299336        449579         0              1200           7   9   6      
1.89/1.96	c 3450           8491           2307376        451055         0              1204           8   9   7      
1.89/1.96	c 3460           8515           2313673        452267         0              1208           8   9   7      
1.89/1.97	c 3470           8538           2319587        453512         0              1213           6   8   6      
1.89/1.97	c 3480           8560           2325221        454638         0              1215           7   8   7      
1.89/1.98	c 3490           8585           2332085        456001         0              1218           7   8   7      
1.89/1.98	c 3500           8607           2338423        457102         0              1220           7   8   7      
1.89/1.99	c 3510           8632           2345433        458563         0              1222           7   9   6      
1.89/1.99	c 3520           8659           2353078        460005         0              1225           7   9   7      
1.89/2.00	c 3530           8685           2360400        461331         0              1227           8   9   7      
1.89/2.00	c 3540           8711           2367127        462752         0              1229           7   9   7      
2.00/2.00	c 3550           8733           2373561        464027         0              1233           8   9   7      
2.00/2.01	c 3551           8742           2376366        464438         0              1234           9   9   4      
2.00/2.01	c 3560           8763           2382266        465629         0              1237           7   9   6      
2.00/2.02	c 3570           8786           2388127        466828         0              1239           7   8   7      
2.00/2.02	c 3580           8808           2394050        468028         0              1243           6   8   6      
2.00/2.02	c 3590           8831           2400530        469186         0              1247           7   9   7      
2.00/2.03	c 3600           8855           2406954        470459         0              1253           7   9   7      
2.00/2.03	c 3610           8878           2412916        471607         0              1256           8   8   7      
2.00/2.04	c 3620           8904           2420412        473030         0              1260           7   9   7      
2.00/2.04	c 3630           8929           2427692        474456         0              1264           7   8   7      
2.00/2.05	c 3640           8952           2433774        475618         0              1266           8   8   7      
2.00/2.05	c 3650           8975           2440529        476874         0              1268           7   9   7      
2.00/2.06	c 3660           8997           2446333        478040         0              1269           8   9   7      
2.00/2.06	c 3670           9022           2453197        479299         0              1274           7   9   7      
2.00/2.06	c 3680           9045           2459204        480455         0              1276           7   9   7      
2.00/2.07	c 3690           9067           2465036        481697         0              1278           7   7   6      
2.00/2.07	c 3700           9093           2472609        483041         0              1282           7   8   7      
2.00/2.08	c 3710           9114           2478170        484327         0              1284           7   7   6      
2.00/2.08	c 3720           9139           2485123        485628         0              1287           7   8   7      
2.00/2.09	c 3730           9161           2491209        486937         0              1289           7   9   7      
2.00/2.09	c 3740           9190           2498409        488351         0              1295           7   9   7      
2.00/2.10	c 3750           9216           2505685        489725         0              1298           7   8   7      
2.00/2.10	c 3760           9240           2512404        491019         0              1303           7   9   7      
2.10/2.10	c 3770           9263           2518739        492282         0              1306           7   8   7      
2.10/2.11	c 3780           9288           2525799        493616         0              1310           7   8   7      
2.10/2.12	c 3790           9316           2534268        495408         0              1312           7   9   7      
2.10/2.12	c 3800           9341           2540512        496701         0              1314           7   9   7      
2.10/2.12	c 3810           9366           2546578        497804         0              1318           7   9   7      
2.10/2.13	c 3820           9391           2553178        499078         0              1322           7   8   7      
2.10/2.13	c 3830           9414           2560197        500441         0              1325           6   8   6      
2.10/2.14	c 3840           9436           2566601        501712         0              1329           8   9   7      
2.10/2.14	c 3850           9457           2573014        502983         0              1330           7   8   6      
2.10/2.15	c 3860           9481           2579996        504354         0              1333           7   9   7      
2.10/2.15	c 3870           9507           2587411        505725         0              1336           7   9   7      
2.10/2.16	c 3880           9531           2594226        506970         0              1339           8   8   7      
2.10/2.16	c 3890           9555           2600777        508297         0              1342           7   8   7      
2.10/2.17	c 3900           9590           2610041        510093         0              1346           7   10   7     
2.10/2.17	c 3910           9617           2618153        511611         0              1349           8   9   7      
2.10/2.18	c 3920           9639           2624313        512890         0              1354           7   8   6      
2.10/2.18	c 3930           9665           2631497        514191         0              1357           7   9   7      
2.10/2.19	c 3940           9692           2639234        515781         0              1361           7   8   7      
2.10/2.19	c 3950           9713           2644672        516907         0              1363           7   8   7      
2.10/2.20	c 3960           9736           2650629        518298         0              1367           7   8   6      
2.19/2.20	c 3970           9760           2657147        519672         0              1369           7   9   7      
2.19/2.20	c 3980           9782           2663274        520845         0              1373           8   9   7      
2.19/2.21	c 3990           9806           2670008        522233         0              1377           8   8   7      
2.19/2.21	c 4000           9827           2676115        523379         0              1381           8   9   7      
2.19/2.22	c 4001           9835           2678483        523721         0              1382           8   8   4      
2.19/2.22	c 4010           9858           2685188        524898         0              1385           8   9   7      
2.19/2.22	c 4020           9881           2691347        526073         0              1390           8   9   7      
2.19/2.23	c 4030           9904           2697840        527255         0              1396           8   9   7      
2.19/2.23	c 4040           9926           2703524        528415         0              1399           7   8   7      
2.19/2.24	c 4050           9951           2710990        529825         0              1403           7   9   7      
2.19/2.24	c 4060           9975           2718235        531331         0              1405           7   9   6      
2.19/2.25	c 4070           10000          2725222        532684         0              1408           7   8   7      
2.19/2.25	c 4080           10024          2731865        533984         0              1411           7   9   7      
2.19/2.26	c 4090           10051          2740118        535511         0              1414           7   8   7      
2.19/2.26	c 4100           10074          2746309        536637         0              1419           8   8   7      
2.19/2.27	c 4110           10100          2753057        537819         0              1423           8   9   7      
2.19/2.27	c 4120           10124          2759385        539090         0              1427           8   9   7      
2.19/2.28	c 4130           10148          2766073        540500         0              1428           7   8   7      
2.19/2.28	c 4140           10173          2772751        541878         0              1429           7   9   6      
2.19/2.28	c 4150           10199          2780111        543230         0              1430           7   8   7      
2.19/2.29	c 4160           10222          2786210        544541         0              1435           6   8   6      
2.19/2.29	c 4170           10244          2791918        545768         0              1437           7   9   7      
2.29/2.30	c 4180           10269          2798575        546951         0              1440           7   8   7      
2.29/2.30	c 4190           10290          2804657        548078         0              1445           8   9   7      
2.29/2.31	c 4200           10316          2811558        549402         0              1449           8   10   7     
2.29/2.31	c 4210           10341          2818309        550625         0              1452           7   9   7      
2.29/2.32	c 4220           10368          2826217        552054         0              1456           8   9   7      
2.29/2.32	c 4230           10393          2832219        553236         0              1459           7   9   7      
2.29/2.33	c 4240           10416          2838513        554585         0              1464           7   8   6      
2.29/2.33	c 4250           10443          2846429        556061         0              1467           8   8   7      
2.29/2.33	c 4260           10467          2853164        557301         0              1470           7   8   7      
2.29/2.34	c 4270           10492          2859821        558661         0              1472           7   9   7      
2.29/2.34	c 4280           10517          2866524        559859         0              1476           8   10   8     
2.29/2.35	c 4290           10546          2874685        561339         0              1479           8   10   7     
2.29/2.35	c 4300           10570          2881147        562669         0              1482           7   9   7      
2.29/2.36	c 4310           10596          2887715        563984         0              1484           7   9   7      
2.29/2.36	c 4320           10620          2893764        565270         0              1489           7   9   7      
2.29/2.37	c 4330           10641          2899359        566381         0              1490           8   9   7      
2.29/2.37	c 4340           10666          2906075        567686         0              1494           7   8   6      
2.29/2.38	c 4350           10688          2911568        568918         0              1496           7   9   7      
2.29/2.38	c 4360           10717          2918900        570234         0              1499           7   9   7      
2.29/2.38	c 4370           10743          2925782        571465         0              1503           8   9   8      
2.29/2.39	c 4380           10767          2933086        572930         0              1507           7   8   7      
2.29/2.39	c 4390           10790          2939440        574171         0              1512           7   8   7      
2.39/2.40	c 4400           10815          2946640        575589         0              1515           7   9   7      
2.39/2.40	c 4410           10840          2953099        576789         0              1517           8   9   7      
2.39/2.41	c 4420           10867          2960946        578406         0              1520           7   9   7      
2.39/2.41	c 4430           10892          2967901        579744         0              1522           8   9   7      
2.39/2.42	c 4440           10920          2975159        581028         0              1525           7   10   7     
2.39/2.42	c 4450           10940          2981067        582217         0              1531           7   9   7      
2.39/2.43	c 4460           10962          2986772        583469         0              1536           6   8   6      
2.39/2.43	c 4470           10991          2994464        584820         0              1539           8   10   7     
2.39/2.44	c 4480           11016          3001395        586117         0              1542           8   9   7      
2.39/2.44	c 4490           11039          3007695        587391         0              1545           7   8   7      
2.39/2.44	c 4493           11050          3011041        587935         0              1547           8   8   6      
2.39/2.45	c 4500           11073          3016846        588831         0              1550           8   10   8     
2.39/2.45	c 4510           11095          3022519        589990         0              1552           7   8   7      
2.39/2.46	c 4520           11119          3029009        591161         0              1556           8   8   7      
2.39/2.46	c 4530           11148          3036300        592597         0              1561           7   9   7      
2.39/2.47	c 4540           11172          3043229        594021         0              1565           8   9   7      
2.39/2.47	c 4550           11196          3049410        595293         0              1569           8   9   7      
2.39/2.47	c 4560           11221          3056211        596588         0              1573           7   10   8     
2.39/2.48	c 4570           11245          3062751        597851         0              1575           8   9   7      
2.39/2.48	c 4580           11266          3068940        599234         0              1579           7   8   6      
2.39/2.49	c 4590           11292          3075518        600454         0              1582           8   9   7      
2.39/2.49	c 4600           11318          3082653        601853         0              1587           7   10   7     
2.49/2.50	c 4610           11343          3089357        603071         0              1590           7   9   7      
2.49/2.50	c 4620           11368          3095914        604285         0              1593           8   8   7      
2.49/2.51	c 4630           11392          3101533        605420         0              1596           7   10   7     
2.49/2.51	c 4640           11413          3106933        606552         0              1599           7   8   7      
2.49/2.51	c 4650           11440          3113374        607828         0              1604           7   9   7      
2.49/2.52	c 4660           11464          3119832        609072         0              1607           7   9   7      
2.49/2.52	c 4670           11493          3127725        610453         0              1609           6   8   7      
2.49/2.53	c 4680           11520          3135331        611982         0              1611           7   8   6      
2.49/2.53	c 4690           11542          3141087        613140         0              1617           7   8   7      
2.49/2.54	c 4700           11566          3147556        614314         0              1619           8   9   7      
2.49/2.54	c 4710           11592          3155022        615628         0              1624           6   8   7      
2.49/2.55	c 4720           11616          3161439        616844         0              1629           7   8   7      
2.49/2.55	c 4730           11637          3167517        618152         0              1632           7   9   7      
2.49/2.56	c 4740           11661          3174648        619548         0              1637           7   8   7      
2.49/2.56	c 4750           11685          3181730        620905         0              1640           7   8   7      
2.49/2.57	c 4760           11713          3189503        622402         0              1643           8   10   7     
2.49/2.57	c 4770           11740          3196947        623803         0              1646           7   9   6      
2.49/2.58	c 4780           11763          3203066        624991         0              1649           8   8   7      
2.49/2.58	c 4790           11788          3210025        626208         0              1652           8   9   7      
2.49/2.59	c 4800           11812          3217143        627481         0              1655           7   9   7      
2.49/2.59	c 4810           11834          3223213        628644         0              1657           7   8   7      
2.49/2.59	c 4820           11857          3229621        629897         0              1661           7   8   7      
2.59/2.60	c 4830           11880          3235665        631057         0              1664           8   8   7      
2.59/2.60	c 4840           11902          3241613        632451         0              1669           7   8   6      
2.59/2.61	c 4850           11927          3248299        633774         0              1674           7   9   7      
2.59/2.61	c 4860           11953          3256040        635284         0              1678           7   9   7      
2.59/2.62	c 4870           11981          3263444        636743         0              1682           7   9   7      
2.59/2.62	c 4880           12006          3270213        638026         0              1686           7   9   7      
2.59/2.63	c 4890           12033          3277075        639287         0              1690           7   9   7      
2.59/2.63	c 4900           12056          3283700        640505         0              1692           8   8   7      
2.59/2.64	c 4910           12078          3289601        641807         0              1697           7   8   6      
2.59/2.64	c 4920           12101          3295678        643023         0              1699           7   8   7      
2.59/2.64	c 4930           12124          3302078        644277         0              1701           8   9   7      
2.59/2.65	c 4940           12146          3307717        645424         0              1704           7   8   7      
2.59/2.65	c 4950           12171          3314620        646679         0              1707           8   9   7      
2.59/2.66	c 4960           12196          3321572        647946         0              1710           8   9   7      
2.59/2.66	c 4970           12224          3328899        649450         0              1713           7   9   7      
2.59/2.67	c 4980           12250          3335672        650712         0              1715           7   9   7      
2.59/2.67	c 4990           12271          3341550        651795         0              1718           7   8   7      
2.59/2.69	c 5035           12362          3366285        657234         0              1724           7   10   7     
2.79/2.86	c 5631           13579          3676851        723876         0              1735           6   10   7     
3.00/3.04	c 6286           14905          4005039        793422         0              1748           5   10   8     
3.19/3.24	c 7006           16363          4368884        872741         0              1759           6   10   7     
3.39/3.47	c 7798           17999          4773208        962485         0              1767           5   11   7     
3.69/3.74	c 8669           19941          5263282        1065172        0              1780           5   11   8     
4.00/4.01	c 9627           21848          5749260        1167661        0              1796           5   10   7     
4.29/4.32	c 10680          23959          6298535        1289831        0              1815           6   10   7     
4.59/4.66	c 11838          26397          6901801        1423397        0              1824           5   11   8     
5.00/5.06	c 13111          29117          7615881        1579045        0              1835           5   10   7     
5.39/5.48	c 14511          31972          8345452        1740414        0              1844           5   10   7     
5.89/5.91	c 16051          35043          9132515        1910279        0              1859           5   10   7     
6.39/6.42	c 17745          38523          10026732       2107663        0              1866           4   11   7     
6.89/6.99	c 19608          42484          11016953       2329699        0              1870           5   11   7     
7.49/7.59	c 21657          46908          12102809       2564049        0              1881           4   11   7     
8.19/8.28	c 23910          51653          13329578       2836364        0              1897           4   10   7     
8.99/9.02	c 26388          56781          14623588       3125134        0              1906           4   10   7     
9.79/9.81	c 29113          62335          16028989       3435178        0              1926           5   11   7     
10.69/10.72	c 32110          68424          17609928       3796335        0              1935           5   10   7     
11.59/11.69	c 35406          75183          19342098       4172617        0              1942           4   10   7     
12.69/12.78	c 39031          82501          21244762       4602468        0              1956           4   10   7     
13.89/13.99	c 43018          91129          23428538       5075204        0              1969           4   11   7     
15.29/15.31	c 47403          99974          25701506       5597320        0              1981           5   10   7     
16.69/16.74	c 52226          110184         28281583       6151887        0              1997           4   10   7     
18.29/18.34	c 57531          121426         31069532       6774863        0              2011           4   11   7     
19.99/20.09	c 63366          133656         34186551       7464256        0              2027           4   11   7     
21.99/22.06	c 69784          147507         37664365       8224268        0              2043           4   11   7     
24.09/24.19	c 76843          162088         41425779       9057852        0              2064           4   10   7     
26.49/26.56	c 84607          178458         45579843       9985791        0              2078           4   10   7     
29.09/29.14	c 93147          196745         50161236       10979878       0              2093           4   11   7     
31.89/32.00	c 102541         216351         55140533       12079299       0              2108           5   10   7     
35.18/35.22	c 112874         237915         60770492       13350211       0              2125           4   10   7     
38.78/38.80	c 124240         262527         67098990       14724671       0              2147           4   10   7     
42.58/42.64	c 136742         289206         73788382       16222550       0              2165           4   11   7     
46.78/46.88	c 150494         318894         81288402       17870277       0              2176           4   11   7     
51.48/51.52	c 165621         350908         89510409       19663671       0              2189           3   11   7     
56.48/56.59	c 182260         386343         98469259       21641132       0              2210           5   12   7     
62.09/62.19	c 200562         423977         108189495      23861120       0              2223           3   11   7     
68.38/68.49	c 220694         466674         119112261      26336605       0              2237           3   11   7     
75.28/75.31	c 242839         514587         131062107      28990971       0              2263           3   11   7     
82.68/82.79	c 267198         566663         144325526      31888919       0              2278           3   12   7     
91.09/91.17	c 293992         624048         158850724      35120148       0              2299           4   11   7     
100.28/100.35	c 323465         688717         175140304      38684766       0              2325           3   11   7     
110.38/110.47	c 355885         759081         192914256      42633993       0              2343           4   12   7     
122.28/122.36	c 391547         838574         213573785      47210817       0              2369           4   12   7     
134.28/134.35	c 430775         922037         234841495      51825077       0              2382           3   11   7     
147.28/147.32	c 473925         1013527        257893184      56842339       0              2395           3   11   7     
162.28/162.30	c 521390         1117387        284318999      62625543       0              2422           3   12   7     
178.68/178.75	c 573601         1230549        312905379      68966318       0              2447           3   12   7     
197.58/197.66	c 631033         1359178        345686595      76272248       0              2470           3   12   7     
217.18/217.21	c 694208         1493052        380044361      83871891       0              2492           3   11   7     
239.18/239.20	c 763700         1640232        418109701      92433152       0              2512           3   11   7     
262.99/263.10	c 840141         1806508        460478988      101565632      0              2538           3   11   7     
289.88/289.94	c 924226         1990658        507257680      111908043      0              2568           3   12   7     
319.48/319.55	c 1016719        2196186        559467824      123193030      0              2597           3   12   7     
351.28/351.36	c 1118461        2415981        615026171      135497916      0              2624           3   12   7     
386.77/386.84	c 1230377        2658788        676616003      149148166      1              2633           2   11   7     
426.08/426.19	c 1353484        2933109        745041297      164232013      2              2646           2   12   7     
469.57/469.65	c 1488901        3231584        821142694      180820661      3              2657           3   11   7     
517.67/517.71	c 1637859        3558756        904551724      199164602      4              2681           2   11   7     
570.98/571.08	c 1801712        3921345        996953277      219634534      5              2708           3   12   7     
629.37/629.42	c 1981950        4321858        1098082598     241996248      6              2740           2   12   7     
693.76/693.81	c 2180211        4760906        1210119087     266735117      8              2760           2   12   7     
765.86/765.96	c 2398298        5251715        1335482606     294157477      9              2782           2   12   7     
845.86/845.97	c 2638193        5794069        1474410452     324540883      9              2810           2   13   7     
921.97/922.09	c restarts              : 582         
921.97/922.09	c conflicts             : 2864294      (3106 /sec)
921.97/922.09	c decisions             : 6315327      (6849 /sec)
921.97/922.09	c propagations          : 353261895   (383124 /sec)
921.97/922.09	c root propagations     : 0           
921.97/922.09	c filter calls          : 1606892579     (1742727 /sec)
921.97/922.09	c useless filter calls  : 1343830649     (83 %)
921.97/922.09	c
921.97/922.09	c clauses               : 5974
921.97/922.09	c SAT propagations      : 16161
921.97/922.09	c SAT conflicts         : 6510 (0 learnts)
921.97/922.09	c Memory used           : 31.99 MB
921.97/922.09	c CPU time              : 922.056 s
921.97/922.09	
921.97/922.09	s UNSATISFIABLE

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 (14174 MiB free)
  memory of node 1: 16384 MiB (14102 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266445-1502590622/watcher-4266445-1502590622 -o /tmp/evaluation-result-4266445-1502590622/solver-4266445-1502590622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502567255-24380 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266445-1502590622.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=26906, runsolver pid=26903

[startup+0.100157 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26907
/proc/meminfo: memFree=28955556/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=27252 memory=3704 CPUtime=0.1 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 1116 0 0 0 10 0 0 0 20 0 1 0 92149992 27906048 926 33554432000 4194304 5972588 140735923204704 140735923201352 140575948682096 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 6813 926 787 435 0 176 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27252 KiB
Current children cumulated memory: 3704 KiB

[startup+0.209161 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26907
/proc/meminfo: memFree=28955556/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=27500 memory=3948 CPUtime=0.21 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 1178 0 0 0 21 0 0 0 20 0 1 0 92149992 28160000 987 33554432000 4194304 5972588 140735923204704 140735923198504 140575958017240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 6875 987 787 435 0 238 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27500 KiB
Current children cumulated memory: 3948 KiB

[startup+0.308719 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26907
/proc/meminfo: memFree=28955184/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=27744 memory=4192 CPUtime=0.31 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 1235 0 0 0 31 0 0 0 20 0 1 0 92149992 28409856 1048 33554432000 4194304 5972588 140735923204704 140735923198504 140575958313361 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 6936 1048 787 435 0 299 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27744 KiB
Current children cumulated memory: 4192 KiB

[startup+0.700282 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26907
/proc/meminfo: memFree=28954068/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32624 memory=4840 CPUtime=0.69 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 1426 0 0 0 69 0 0 0 20 0 1 0 92149992 33406976 1210 33554432000 4194304 5972588 140735923204704 140735923198504 4965342 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8156 1210 830 435 0 1519 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32624 KiB
Current children cumulated memory: 4840 KiB

[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26907
/proc/meminfo: memFree=28954264/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32624 memory=4840 CPUtime=1.49 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 1436 0 0 0 149 0 0 0 20 0 1 0 92149992 33406976 1210 33554432000 4194304 5972588 140735923204704 140735923202008 5053071 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8156 1210 830 435 0 1519 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32624 KiB
Current children cumulated memory: 4840 KiB

[startup+3.10884 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26907
/proc/meminfo: memFree=28954520/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5168 CPUtime=3.1 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 1838 0 0 0 310 0 0 0 20 0 1 0 92149992 33542144 1292 33554432000 4194304 5972588 140735923204704 140735923202008 5070704 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1292 834 435 0 1552 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5168 KiB

[startup+6.30026 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 26907
/proc/meminfo: memFree=28954504/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5184 CPUtime=6.29 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 2229 0 0 0 629 0 0 0 20 0 1 0 92149992 33542144 1296 33554432000 4194304 5972588 140735923204704 140735923202008 5071859 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1296 834 435 0 1552 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5184 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 26907
/proc/meminfo: memFree=28954628/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5192 CPUtime=12.69 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 2623 0 0 0 1269 0 0 0 20 0 1 0 92149992 33542144 1298 33554432000 4194304 5972588 140735923204704 140735923202008 4965457 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1298 834 435 0 1552 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5192 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 26907
/proc/meminfo: memFree=28954968/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5208 CPUtime=25.49 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 3414 0 0 0 2549 0 0 0 20 0 1 0 92149992 33542144 1302 33554432000 4194304 5972588 140735923204704 140735923202008 5320589 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1302 834 435 0 1552 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5208 KiB

[startup+51.1089 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 26907
/proc/meminfo: memFree=28955712/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5220 CPUtime=51.09 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 3816 0 0 0 5109 0 0 0 20 0 1 0 92149992 33542144 1305 33554432000 4194304 5972588 140735923204704 140735923202008 4965342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1305 834 435 0 1552 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5220 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 26908
/proc/meminfo: memFree=28956000/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5220 CPUtime=102.28 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 4217 0 0 0 10228 0 0 0 20 0 1 0 92149992 33542144 1305 33554432000 4194304 5972588 140735923204704 140735923202008 4962170 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1305 834 435 0 1552 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5220 KiB

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/187 26909
/proc/meminfo: memFree=28955800/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5228 CPUtime=162.28 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 4617 0 0 0 16228 0 0 0 20 0 1 0 92149992 33542144 1307 33554432000 4194304 5972588 140735923204704 140735923202008 5070688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1307 834 435 0 1552 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5228 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 26910
/proc/meminfo: memFree=28955668/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5232 CPUtime=222.28 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 5021 0 0 0 22228 0 0 0 20 0 1 0 92149992 33542144 1308 33554432000 4194304 5972588 140735923204704 140735923202008 4965817 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1308 834 435 0 1552 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5232 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 26911
/proc/meminfo: memFree=28955324/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5236 CPUtime=282.28 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 5425 0 0 0 28228 0 0 0 20 0 1 0 92149992 33542144 1309 33554432000 4194304 5972588 140735923204704 140735923202008 4909657 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1309 834 435 0 1552 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5236 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26912
/proc/meminfo: memFree=28955456/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5244 CPUtime=342.28 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 5830 0 0 0 34228 0 0 0 20 0 1 0 92149992 33542144 1311 33554432000 4194304 5972588 140735923204704 140735923202008 5070711 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1311 834 435 0 1552 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5244 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26913
/proc/meminfo: memFree=28955148/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5244 CPUtime=402.27 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 6234 0 0 0 40227 0 0 0 20 0 1 0 92149992 33542144 1311 33554432000 4194304 5972588 140735923204704 140735923202008 4962339 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1311 834 435 0 1552 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5244 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26922
/proc/meminfo: memFree=28954292/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5244 CPUtime=462.27 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 6638 0 0 0 46227 0 0 0 20 0 1 0 92149992 33542144 1311 33554432000 4194304 5972588 140735923204704 140735923202008 4965457 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1311 834 435 0 1552 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5244 KiB

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26923
/proc/meminfo: memFree=28954876/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5248 CPUtime=522.27 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 7045 0 0 0 52227 0 0 0 20 0 1 0 92149992 33542144 1312 33554432000 4194304 5972588 140735923204704 140735923202008 4965342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1312 834 435 0 1552 0
Current children cumulated CPU time: 522.27 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5248 KiB

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26924
/proc/meminfo: memFree=28954572/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5248 CPUtime=582.27 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 7450 0 0 0 58227 0 0 0 20 0 1 0 92149992 33542144 1312 33554432000 4194304 5972588 140735923204704 140735923202008 4965642 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1312 834 435 0 1552 0
Current children cumulated CPU time: 582.27 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5248 KiB

[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26925
/proc/meminfo: memFree=28954292/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5248 CPUtime=642.27 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 7856 0 0 0 64227 0 0 0 20 0 1 0 92149992 33542144 1312 33554432000 4194304 5972588 140735923204704 140735923202008 5053094 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1312 834 435 0 1552 0
Current children cumulated CPU time: 642.27 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5248 KiB

[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26926
/proc/meminfo: memFree=28954384/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5252 CPUtime=702.26 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 8263 0 0 0 70226 0 0 0 20 0 1 0 92149992 33542144 1313 33554432000 4194304 5972588 140735923204704 140735923202008 4909660 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1313 834 435 0 1552 0
Current children cumulated CPU time: 702.26 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5252 KiB

[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26927
/proc/meminfo: memFree=28953864/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5252 CPUtime=762.26 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 8660 0 0 0 76226 0 0 0 20 0 1 0 92149992 33542144 1313 33554432000 4194304 5972588 140735923204704 140735923202008 4965342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1313 834 435 0 1552 0
Current children cumulated CPU time: 762.26 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5252 KiB

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26928
/proc/meminfo: memFree=28954068/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5252 CPUtime=822.26 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 9066 0 0 0 82226 0 0 0 20 0 1 0 92149992 33542144 1313 33554432000 4194304 5972588 140735923204704 140735923202008 5328624 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1313 834 435 0 1552 0
Current children cumulated CPU time: 822.26 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5252 KiB

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26929
/proc/meminfo: memFree=28954400/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5252 CPUtime=882.26 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 9472 0 0 0 88226 0 0 0 20 0 1 0 92149992 33542144 1313 33554432000 4194304 5972588 140735923204704 140735923202008 5070704 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1313 834 435 0 1552 0
Current children cumulated CPU time: 882.26 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5252 KiB

[startup+922.094 s]
# the end of solver process 26906 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=922.056 s, system=0.006999 s

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

[startup+896 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26929
/proc/meminfo: memFree=28954392/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5252 CPUtime=895.97 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 9472 0 0 0 89597 0 0 0 20 0 1 0 92149992 33542144 1313 33554432000 4194304 5972588 140735923204704 140735923202008 5071280 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1313 834 435 0 1552 0
Current children cumulated CPU time: 895.97 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5252 KiB

[startup+908.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26930
/proc/meminfo: memFree=28954152/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5256 CPUtime=908.76 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 9862 0 0 0 90876 0 0 0 20 0 1 0 92149992 33542144 1314 33554432000 4194304 5972588 140735923204704 140735923202008 5328649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1314 834 435 0 1552 0
Current children cumulated CPU time: 908.76 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5256 KiB

[startup+915.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26930
/proc/meminfo: memFree=28954152/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5256 CPUtime=915.16 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 9862 0 0 0 91516 0 0 0 20 0 1 0 92149992 33542144 1314 33554432000 4194304 5972588 140735923204704 140735923202008 4965342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1314 834 435 0 1552 0
Current children cumulated CPU time: 915.16 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5256 KiB

[startup+918.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26930
/proc/meminfo: memFree=28954152/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5256 CPUtime=918.36 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 9862 0 0 0 91836 0 0 0 20 0 1 0 92149992 33542144 1314 33554432000 4194304 5972588 140735923204704 140735923202008 4965347 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1314 834 435 0 1552 0
Current children cumulated CPU time: 918.36 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5256 KiB

[startup+920 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26930
/proc/meminfo: memFree=28954144/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5256 CPUtime=919.97 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 9862 0 0 0 91997 0 0 0 20 0 1 0 92149992 33542144 1314 33554432000 4194304 5972588 140735923204704 140735923202008 5070811 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1314 834 435 0 1552 0
Current children cumulated CPU time: 919.97 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5256 KiB

[startup+920.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26930
/proc/meminfo: memFree=28954144/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5256 CPUtime=920.76 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 9862 0 0 0 92076 0 0 0 20 0 1 0 92149992 33542144 1314 33554432000 4194304 5972588 140735923204704 140735923202008 5099648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1314 834 435 0 1552 0
Current children cumulated CPU time: 920.76 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5256 KiB

[startup+921.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26930
/proc/meminfo: memFree=28954144/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5256 CPUtime=921.56 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 9862 0 0 0 92156 0 0 0 20 0 1 0 92149992 33542144 1314 33554432000 4194304 5972588 140735923204704 140735923202008 4965642 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1314 834 435 0 1552 0
Current children cumulated CPU time: 921.56 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5256 KiB

[startup+922 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26930
/proc/meminfo: memFree=28954152/32770624 swapFree=67108860/67108860
[pid=26906] ppid=26903 vsize=32756 memory=5256 CPUtime=921.97 cores=1,3,5,7
/proc/26906/stat : 26906 (cosoco) R 26903 26906 24296 0 -1 4202496 9862 0 0 0 92197 0 0 0 20 0 1 0 92149992 33542144 1314 33554432000 4194304 5972588 140735923204704 140735923202008 5070896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 36442112 140735923209402 140735923209502 140735923209502 140735923212238 0
/proc/26906/statm: 8189 1314 834 435 0 1552 0
Current children cumulated CPU time: 921.97 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 5256 KiB

Child status: 0
Real time (s): 922.094
CPU time (s): 922.063
CPU user time (s): 922.056
CPU system time (s): 0.006999
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 32756
Max. memory (cumulated for all children) (KiB): 5256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 922.056
system time used= 0.006999
maximum resident set size= 5324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9912
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 273


# summary of solver processes directly reported to runsolver:
#   pid: 26906
#   total CPU time (s): 922.063
#   total CPU user time (s): 922.056
#   total CPU system time (s): 0.006999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.21504 second user time and 5.75921 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-13 04:02:44
IDJOB=4266445
IDBENCH=138397
IDSOLVER=2655
FILE ID=node106/4266445-1502590622
RUNJOBID= node106-1502567255-24380
PBS_JOBID= 20628285
Free space on /tmp= 61772 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-05.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266445-1502590622/watcher-4266445-1502590622 -o /tmp/evaluation-result-4266445-1502590622/solver-4266445-1502590622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502567255-24380 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266445-1502590622.xml

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

MD5SUM BENCH= d3682a34ec80283d5af6efc5a3d6ed3a
RANDOM SEED=1079839519

node106.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.86
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.86
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.86
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.86
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:        28956876 kB
MemAvailable:   31982448 kB
Buffers:          136616 kB
Cached:          3182900 kB
SwapCached:            0 kB
Active:           380504 kB
Inactive:        3008036 kB
Active(anon):      71628 kB
Inactive(anon):    25060 kB
Active(file):     308876 kB
Inactive(file):  2982976 kB
Unevictable:        6500 kB
Mlocked:            6500 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2376 kB
Writeback:             4 kB
AnonPages:         75084 kB
Mapped:            44744 kB
Shmem:             25228 kB
Slab:             124392 kB
SReclaimable:      99108 kB
SUnreclaim:        25284 kB
KernelStack:        3344 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     363896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61772 MiB
End job on node106 at 2017-08-13 04:18:06