Trace number 4266123

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco-sat 1.12? (TO) 2519.96 2520.01

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-90.xml
MD5SUM2a5b3790b47e1c2f5ad8b085143681cb
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables360
Number of constraints270
Number of domains2
Minimum domain size90
Maximum domain size180
Distribution of domain sizes[{"size":90,"count":180},{"size":180,"count":180}]
Minimum variable degree2
Maximum variable degree180
Distribution of variable degrees[{"degree":2,"count":180},{"degree":180,"count":180}]
Minimum constraint arity2
Maximum constraint arity181
Distribution of constraint arities[{"arity":2,"count":90},{"arity":181,"count":180}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"element","count":180}]
Optimization problemNO
Type of objective

Solver Data 

0.33/0.45	c SAT : Variables: 48600 -- Clauses: 3621060
0.33/0.45	c root propagations     : 0           
0.33/0.45	c restarts enabled, print stats at every restarts
0.33/0.45	c
0.33/0.45	c
0.33/0.45	c
0.33/0.45	c This is cosoco 1.12 --  
0.33/0.45	c
0.33/0.45	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266123-1502573593.xml 
0.33/0.45	c ========================================[ Problem Statistics ]===========================================
0.33/0.45	c |                                                                                                       
0.33/0.45	c |  Parse time        :         0.32 s 
0.33/0.45	c |
0.33/0.45	c |               Variables: 360
0.33/0.45	c |            Domain Sizes: 90..180
0.33/0.45	c |
0.33/0.45	c |             Constraints: 270
0.33/0.45	c |                   Arity: 2..181  -- Binary: 90
0.33/0.45	c | 
0.33/0.45	c |                   Types: 
0.33/0.45	c |                          Element Constant: 180
0.33/0.45	c |                          Intension: 90
0.33/0.45	c |                          
0.33/0.45	c =========================================================================================================
0.33/0.45	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.43/0.54	c 10             147            41159          31315          0              10             116   122   107
0.52/0.61	c 20             285            81311          63743          0              12             103   113   97 
0.52/0.69	c 30             440            128303         99711          0              19             114   125   107
0.61/0.76	c 40             571            166721         131981         0              29             119   122   108
0.71/0.83	c 50             724            207001         161969         0              38             126   133   116
0.81/0.90	c 60             850            250420         194734         0              48             108   117   99 
0.81/0.98	c 70             1024           310103         236572         0              53             113   120   106
0.81/0.98	c 80             1034           310143         236612         1              62             1   1   0      
0.81/0.98	c 90             1044           310183         236652         1              71             1   1   0      
0.81/0.98	c 100            1054           310223         236692         1              80             1   1   0      
0.81/0.98	c 101            1055           310227         236696         1              80             1   1   0      
0.81/0.98	c 110            1064           310263         236732         1              88             1   1   0      
0.81/0.98	c 120            1074           310303         236772         1              97             1   1   0      
0.81/0.98	c 130            1084           310343         236812         1              106            1   1   0      
0.81/0.98	c 140            1094           310383         236852         1              115            1   1   0      
0.92/1.05	c 150            1223           342338         263761         1              124            1   120   11   
1.02/1.13	c 160            1429           395256         298976         1              129            5   141   113  
1.02/1.13	c 170            1439           395296         299016         2              138            1   1   0      
1.02/1.13	c 180            1449           395336         299056         2              147            1   1   0      
1.02/1.13	c 190            1459           395376         299096         2              156            1   1   0      
1.02/1.13	c 200            1469           395416         299136         2              165            1   1   0      
1.02/1.13	c 210            1479           395456         299176         2              174            1   1   0      
1.02/1.13	c 211            1480           395460         299180         2              174            1   1   0      
1.02/1.13	c 220            1489           395496         299216         2              182            1   1   0      
1.02/1.13	c 230            1499           395536         299256         2              191            1   1   0      
1.11/1.20	c 240            1632           430487         327644         2              200            1   123   22   
1.11/1.28	c 250            1793           479034         362439         2              209            13   133   106 
1.21/1.36	c 260            1977           537204         399738         2              218            132   146   127
1.31/1.44	c 270            2140           590370         436487         2              222            136   143   127
1.41/1.52	c 280            2312           641444         472100         2              226            130   145   122
1.51/1.61	c 290            2549           700487         508280         2              228            152   167   147
1.51/1.69	c 300            2717           746424         540099         2              237            152   155   138
1.61/1.77	c 310            2927           808997         579056         2              245            129   142   124
1.71/1.86	c 320            3141           866579         615567         2              249            140   154   134
1.81/1.94	c 330            3355           923680         650107         2              253            161   170   150
1.92/2.02	c 332            3513           966043         680676         2              255            153   157   103
1.92/2.02	c 340            3521           966075         680708         3              262            1   1   0      
1.92/2.02	c 350            3531           966115         680748         3              271            1   1   0      
1.92/2.02	c 360            3541           966155         680788         3              280            1   1   0      
1.92/2.02	c 370            3551           966195         680828         3              289            1   1   0      
1.92/2.02	c 380            3561           966235         680868         3              298            1   1   0      
1.92/2.02	c 390            3571           966275         680908         3              307            1   1   0      
1.92/2.02	c 400            3581           966315         680948         3              316            1   1   0      
1.92/2.02	c 410            3591           966355         680988         3              325            1   1   0      
2.02/2.10	c 420            3789           1014839        712793         3              332            1   177   95   
2.02/2.19	c 430            3982           1069144        746121         3              341            174   184   159
2.11/2.27	c 440            4199           1126732        781066         3              344            156   176   150
2.11/2.27	c 450            4209           1126772        781106         4              353            1   1   0      
2.11/2.27	c 460            4219           1126812        781146         4              362            1   1   0      
2.11/2.27	c 465            4224           1126832        781166         4              366            1   1   0      
2.11/2.27	c 470            4229           1126852        781186         4              370            1   1   0      
2.11/2.27	c 480            4239           1126892        781226         4              379            1   1   0      
2.11/2.27	c 490            4249           1126932        781266         4              388            1   1   0      
2.11/2.27	c 500            4259           1126972        781306         4              397            1   1   0      
2.11/2.27	c 510            4269           1127012        781346         4              406            1   1   0      
2.11/2.27	c 520            4279           1127052        781386         4              415            1   1   0      
2.21/2.35	c 530            4471           1174248        812732         4              423            1   183   34   
2.31/2.44	c 540            4690           1233307        847836         4              431            170   191   168
2.41/2.52	c 550            4949           1302991        886368         4              435            158   180   156
2.41/2.52	c 560            4959           1303031        886408         5              444            1   1   0      
2.41/2.52	c 570            4969           1303071        886448         5              453            1   1   0      
2.41/2.52	c 580            4979           1303111        886488         5              462            1   1   0      
2.41/2.52	c 590            4989           1303151        886528         5              471            1   1   0      
2.41/2.52	c 600            4999           1303191        886568         5              480            1   1   0      
2.41/2.52	c 610            5009           1303231        886608         5              489            1   1   0      
2.41/2.52	c 611            5010           1303235        886612         5              489            1   1   0      
2.41/2.52	c 620            5019           1303271        886648         5              497            1   1   0      
2.41/2.52	c 630            5029           1303311        886688         5              506            1   1   0      
2.41/2.53	c 640            5039           1303351        886728         5              515            1   1   0      
2.51/2.61	c 650            5227           1353608        918938         5              525            176   179   160
2.51/2.69	c 660            5474           1418770        954588         5              532            179   187   164
2.61/2.77	c 670            5681           1481110        991053         5              540            159   170   151
2.71/2.86	c 680            5902           1543898        1027378        5              544            158   177   152
2.81/2.94	c 690            6161           1616023        1064880        5              548            168   178   156
2.81/2.94	c 700            6171           1616063        1064920        6              557            1   1   0      
2.81/2.94	c 710            6181           1616103        1064960        6              566            1   1   0      
2.81/2.94	c 720            6191           1616143        1065000        6              575            1   1   0      
2.81/2.94	c 730            6201           1616183        1065040        6              584            1   1   0      
2.81/2.95	c 740            6211           1616223        1065080        6              593            1   1   0      
2.81/2.95	c 750            6221           1616263        1065120        6              602            1   1   0      
2.92/3.03	c 760            6404           1663539        1097132        6              611            1   174   16   
3.02/3.11	c 770            6660           1739111        1136228        6              615            162   178   155
3.02/3.11	c 771            6661           1739115        1136232        6              615            1   1   0      
3.02/3.11	c 780            6670           1739151        1136268        7              623            1   1   0      
3.02/3.11	c 790            6680           1739191        1136308        7              632            1   1   0      
3.02/3.11	c 800            6690           1739231        1136348        7              641            1   1   0      
3.02/3.11	c 810            6700           1739271        1136388        7              650            1   1   0      
3.02/3.11	c 820            6710           1739311        1136428        7              659            1   1   0      
3.02/3.11	c 830            6720           1739351        1136468        7              668            1   1   0      
3.02/3.11	c 840            6730           1739391        1136508        7              677            1   1   0      
3.02/3.11	c 850            6740           1739431        1136548        7              686            1   1   0      
3.02/3.19	c 860            6944           1791520        1169006        7              693            1   184   66   
3.11/3.28	c 870            7202           1867664        1206927        7              696            170   181   159
3.21/3.36	c 880            7410           1925647        1241085        7              703            158   172   150
3.31/3.44	c 890            7592           1979299        1274352        7              713            166   173   154
3.41/3.53	c 900            7842           2053138        1311953        7              720            166   182   159
3.51/3.61	c 910            8031           2110654        1346104        7              730            169   171   153
3.51/3.69	c 920            8226           2167617        1379944        7              739            170   180   156
3.61/3.77	c 930            8438           2235931        1417894        7              746            171   177   157
3.71/3.86	c 940            8670           2302148        1455101        7              747            170   181   158
3.81/3.94	c 947            8882           2359020        1489247        7              749            167   179   151
3.92/4.02	c 950            9064           2413431        1523049        7              751            164   171   124
3.92/4.10	c 960            9294           2476988        1557855        7              757            177   189   164
4.02/4.19	c 970            9528           2545874        1594575        7              762            166   177   156
4.02/4.19	c 980            9538           2545914        1594615        8              771            1   1   0      
4.02/4.19	c 990            9548           2545954        1594655        8              780            1   1   0      
4.02/4.19	c 1000           9558           2545994        1594695        8              789            1   1   0      
4.02/4.19	c 1010           9568           2546034        1594735        8              798            1   1   0      
4.02/4.19	c 1020           9578           2546074        1594775        8              807            1   1   0      
4.02/4.19	c 1030           9588           2546114        1594815        8              816            1   1   0      
4.02/4.19	c 1040           9598           2546154        1594855        8              825            1   1   0      
4.02/4.19	c 1050           9608           2546194        1594895        8              834            1   1   0      
4.11/4.27	c 1060           9779           2590493        1625716        8              843            1   162   15   
4.11/4.27	c 1070           9789           2590533        1625756        9              852            1   1   0      
4.11/4.27	c 1080           9799           2590573        1625796        9              861            1   1   0      
4.11/4.27	c 1090           9809           2590613        1625836        9              870            1   1   0      
4.11/4.27	c 1100           9819           2590653        1625876        9              879            1   1   0      
4.11/4.27	c 1110           9829           2590693        1625916        9              888            1   1   0      
4.11/4.27	c 1120           9839           2590733        1625956        9              897            1   1   0      
4.11/4.27	c 1130           9849           2590773        1625996        9              906            1   1   0      
4.21/4.35	c 1140           10029          2637613        1657013        9              914            1   171   46   
4.31/4.43	c 1141           10200          2683008        1687492        9              915            171   171   85 
4.31/4.43	c 1150           10209          2683044        1687528        10             923            1   1   0      
4.31/4.43	c 1160           10219          2683084        1687568        10             932            1   1   0      
4.31/4.43	c 1170           10229          2683124        1687608        10             941            1   1   0      
4.31/4.43	c 1180           10239          2683164        1687648        10             950            1   1   0      
4.31/4.43	c 1190           10249          2683204        1687688        10             959            1   1   0      
4.31/4.43	c 1200           10259          2683244        1687728        10             968            1   1   0      
4.31/4.43	c 1210           10269          2683284        1687768        10             977            1   1   0      
4.31/4.43	c 1220           10279          2683324        1687808        10             986            1   1   0      
4.41/4.51	c 1230           10484          2739973        1721890        10             991            1   176   138  
4.41/4.59	c 1240           10663          2794946        1755583        10             1001           165   170   150
4.51/4.68	c 1250           10850          2855732        1792165        10             1011           167   169   152
4.61/4.76	c 1260           11036          2909310        1825232        10             1020           160   167   148
4.71/4.84	c 1270           11244          2970231        1860117        10             1024           164   178   156
4.71/4.84	c 1280           11254          2970271        1860157        11             1033           1   1   0      
4.71/4.84	c 1290           11264          2970311        1860197        11             1042           1   1   0      
4.71/4.84	c 1300           11274          2970351        1860237        11             1051           1   1   0      
4.71/4.84	c 1310           11284          2970391        1860277        11             1060           1   1   0      
4.71/4.84	c 1320           11294          2970431        1860317        11             1069           1   1   0      
4.71/4.84	c 1330           11304          2970471        1860357        11             1078           1   1   0      
4.81/4.92	c 1340           11523          3031133        1895195        11             1084           1   180   96   
4.92/5.01	c 1350           11745          3091975        1929540        11             1090           175   186   163
4.92/5.01	c 1352           11747          3091983        1929548        12             1091           1   1   0      
4.92/5.01	c 1360           11755          3092015        1929580        12             1098           1   1   0      
4.92/5.01	c 1370           11765          3092055        1929620        12             1107           1   1   0      
4.92/5.01	c 1380           11775          3092095        1929660        12             1116           1   1   0      
4.92/5.01	c 1390           11785          3092135        1929700        12             1125           1   1   0      
4.92/5.01	c 1400           11795          3092175        1929740        12             1134           1   1   0      
4.92/5.01	c 1410           11805          3092215        1929780        12             1143           1   1   0      
4.92/5.01	c 1420           11815          3092255        1929820        12             1152           1   1   0      
4.92/5.09	c 1430           12018          3146788        1962729        12             1159           1   186   96   
5.02/5.18	c 1440           12236          3212344        1998161        12             1169           180   182   163
5.11/5.25	c 1450           12416          3264664        2030785        12             1179           171   171   155
5.21/5.33	c 1460           12656          3328399        2065781        12             1183           175   187   163
5.31/5.41	c 1470           12883          3389429        2100011        12             1186           174   185   162
5.31/5.42	c 1480           12893          3389469        2100051        13             1195           1   1   0      
5.31/5.42	c 1490           12903          3389509        2100091        13             1204           1   1   0      
5.31/5.42	c 1500           12913          3389549        2100131        13             1213           1   1   0      
5.31/5.42	c 1510           12923          3389589        2100171        13             1222           1   1   0      
5.31/5.42	c 1520           12933          3389629        2100211        13             1231           1   1   0      
5.31/5.42	c 1530           12943          3389669        2100251        13             1240           1   1   0      
5.31/5.42	c 1540           12953          3389709        2100291        13             1249           1   1   0      
5.31/5.42	c 1550           12963          3389749        2100331        13             1258           1   1   0      
5.31/5.49	c 1560           13155          3440727        2132075        13             1267           1   175   79   
5.41/5.57	c 1570           13383          3503406        2166348        13             1271           167   184   159
5.41/5.57	c 1580           13393          3503446        2166388        14             1280           1   1   0      
5.41/5.57	c 1585           13398          3503466        2166408        14             1284           1   1   0      
5.41/5.57	c 1590           13403          3503486        2166428        14             1288           1   1   0      
5.41/5.58	c 1600           13413          3503526        2166468        14             1297           1   1   0      
5.41/5.58	c 1610           13423          3503566        2166508        14             1306           1   1   0      
5.41/5.58	c 1620           13433          3503606        2166548        14             1315           1   1   0      
5.41/5.58	c 1630           13443          3503646        2166588        14             1324           1   1   0      
5.41/5.58	c 1640           13453          3503686        2166628        14             1333           1   1   0      
5.41/5.58	c 1650           13463          3503726        2166668        14             1342           1   1   0      
5.41/5.58	c 1660           13473          3503766        2166708        14             1351           1   1   0      
5.51/5.66	c 1670           13706          3567829        2200962        14             1355           1   191   152  
5.51/5.66	c 1680           13716          3567869        2201002        15             1364           1   1   0      
5.51/5.66	c 1690           13726          3567909        2201042        15             1373           1   1   0      
5.51/5.66	c 1700           13736          3567949        2201082        15             1382           1   1   0      
5.51/5.66	c 1710           13746          3567989        2201122        15             1391           1   1   0      
5.51/5.66	c 1720           13756          3568029        2201162        15             1400           1   1   0      
5.51/5.66	c 1730           13766          3568069        2201202        15             1409           1   1   0      
5.51/5.66	c 1740           13776          3568109        2201242        15             1418           1   1   0      
5.61/5.74	c 1750           14022          3632942        2235202        15             1424           1   190   117  
5.61/5.74	c 1760           14032          3632982        2235242        16             1433           1   1   0      
5.61/5.74	c 1770           14042          3633022        2235282        16             1442           1   1   0      
5.61/5.74	c 1780           14052          3633062        2235322        16             1451           1   1   0      
5.61/5.74	c 1790           14062          3633102        2235362        16             1460           1   1   0      
5.61/5.74	c 1800           14072          3633142        2235402        16             1469           1   1   0      
5.61/5.74	c 1810           14082          3633182        2235442        16             1478           1   1   0      
5.61/5.74	c 1820           14092          3633222        2235482        16             1487           1   1   0      
5.71/5.82	c 1830           14317          3690085        2268008        16             1492           1   192   135  
5.71/5.82	c 1840           14327          3690125        2268048        17             1501           1   1   0      
5.71/5.82	c 1841           14328          3690129        2268052        17             1501           1   1   0      
5.71/5.82	c 1850           14337          3690165        2268088        17             1509           1   1   0      
5.71/5.82	c 1860           14347          3690205        2268128        17             1518           1   1   0      
5.71/5.82	c 1870           14357          3690245        2268168        17             1527           1   1   0      
5.71/5.82	c 1880           14367          3690285        2268208        17             1536           1   1   0      
5.71/5.82	c 1890           14377          3690325        2268248        17             1545           1   1   0      
5.71/5.82	c 1900           14387          3690365        2268288        17             1554           1   1   0      
5.71/5.89	c 1910           14582          3740012        2299192        17             1560           1   186   66   
5.81/5.97	c 1920           14822          3801136        2331994        17             1563           179   194   170
5.91/6.06	c 1930           15039          3862725        2366075        17             1569           167   181   156
6.01/6.14	c 1940           15307          3934165        2401983        17             1572           175   190   167
6.01/6.14	c 1950           15317          3934205        2402023        18             1581           1   1   0      
6.01/6.14	c 1960           15327          3934245        2402063        18             1590           1   1   0      
6.01/6.14	c 1970           15337          3934285        2402103        18             1599           1   1   0      
6.01/6.14	c 1980           15347          3934325        2402143        18             1608           1   1   0      
6.01/6.14	c 1990           15357          3934365        2402183        18             1617           1   1   0      
6.01/6.14	c 2000           15367          3934405        2402223        18             1626           1   1   0      
6.11/6.22	c 2010           15555          3982281        2432643        18             1634           1   179   33   
6.11/6.29	c 2020           15743          4033543        2464442        18             1642           170   176   157
6.21/6.37	c 2030           15973          4102651        2500022        18             1646           167   183   157
6.31/6.45	c 2040           16169          4157537        2532420        18             1651           170   178   159
6.41/6.53	c 2050           16351          4209614        2565066        18             1656           166   169   152
6.51/6.61	c 2060           16532          4258351        2596332        18             1666           166   172   154
6.51/6.69	c 2070           16714          4308934        2628397        18             1672           166   170   152
6.61/6.76	c 2080           16906          4364315        2661244        18             1676           167   173   154
6.71/6.84	c 2090           17088          4416374        2693329        18             1681           164   169   151
6.81/6.92	c 2100           17271          4469060        2726059        18             1685           165   170   153
6.81/7.00	c 2110           17449          4523961        2759296        18             1694           164   169   150
6.91/7.08	c 2120           17636          4574753        2790594        18             1698           165   175   155
7.01/7.15	c 2122           17801          4619673        2820816        18             1700           161   164   108
7.11/7.23	c 2130           17982          4671073        2852723        18             1705           168   171   151
7.21/7.31	c 2140           18177          4729635        2886708        18             1707           161   170   150
7.21/7.39	c 2150           18354          4781976        2919493        18             1712           162   164   147
7.31/7.47	c 2160           18540          4841302        2953976        18             1717           163   167   149
7.41/7.55	c 2170           18721          4893652        2986506        18             1722           162   165   148
7.51/7.62	c 2180           18902          4945714        3019117        18             1726           161   170   151
7.61/7.70	c 2190           19080          4995323        3050898        18             1732           162   168   150
7.61/7.78	c 2200           19259          5048199        3083313        18             1740           162   165   148
7.71/7.86	c 2210           19440          5100615        3116803        18             1746           158   165   145
7.81/7.93	c 2220           19629          5157682        3150183        18             1755           170   172   154
7.91/8.01	c 2230           19821          5212458        3183358        18             1760           156   166   148
7.91/8.01	c 2240           19831          5212498        3183398        19             1769           1   1   0      
7.91/8.01	c 2250           19841          5212538        3183438        19             1778           1   1   0      
7.91/8.01	c 2260           19851          5212578        3183478        19             1787           1   1   0      
7.91/8.01	c 2270           19861          5212618        3183518        19             1796           1   1   0      
7.91/8.01	c 2280           19871          5212658        3183558        19             1805           1   1   0      
7.91/8.01	c 2290           19881          5212698        3183598        19             1814           1   1   0      
7.91/8.01	c 2300           19891          5212738        3183638        19             1823           1   1   0      
7.91/8.01	c 2310           19901          5212778        3183678        19             1832           1   1   0      
7.91/8.09	c 2320           20091          5264226        3216082        19             1837           1   174   107  
8.01/8.17	c 2330           20274          5320060        3249559        19             1846           153   169   150
8.11/8.24	c 2340           20451          5372639        3283626        19             1852           161   163   146
8.21/8.32	c 2350           20638          5424952        3316036        19             1856           167   170   153
8.31/8.40	c 2360           20835          5479494        3348452        19             1862           168   169   153
8.31/8.47	c 2370           21020          5533071        3380741        19             1869           163   172   152
8.41/8.55	c 2380           21200          5585511        3413905        19             1875           154   163   144
8.51/8.63	c 2390           21373          5635248        3445564        19             1884           155   164   146
8.61/8.70	c 2400           21562          5688388        3478278        19             1887           160   165   147
8.61/8.78	c 2410           21742          5738076        3510118        19             1893           153   168   149
8.71/8.86	c 2420           21921          5790136        3543234        19             1894           155   162   144
8.81/8.93	c 2430           22103          5845031        3576480        19             1902           161   165   148
8.92/9.01	c 2431           22258          5887420        3606569        19             1903           155   155   77 
8.92/9.08	c 2440           22438          5937081        3638335        19             1911           159   168   148
9.02/9.16	c 2450           22628          5995672        3673574        19             1920           155   160   143
9.11/9.24	c 2460           22812          6048339        3706288        19             1924           157   166   148
9.21/9.32	c 2470           23013          6103839        3739981        19             1927           158   167   148
9.21/9.39	c 2480           23196          6156486        3772954        19             1934           163   167   149
9.31/9.47	c 2490           23373          6213045        3808612        19             1944           154   160   143
9.41/9.55	c 2500           23542          6268235        3843317        19             1954           152   157   138
9.51/9.62	c 2510           23710          6316974        3875466        19             1964           156   159   142
9.61/9.70	c 2520           23904          6376388        3910031        19             1971           156   166   144
9.61/9.78	c 2530           24092          6429183        3942365        19             1977           157   169   148
9.71/9.85	c 2540           24271          6480584        3974806        19             1982           159   165   147
9.81/9.93	c 2550           24449          6534430        4008629        19             1991           155   164   146
9.92/10.01	c 2560           24621          6583584        4040539        19             1999           156   160   142
9.92/10.08	c 2570           24808          6638877        4074396        19             2006           152   164   144
10.02/10.16	c 2580           24994          6695472        4107919        19             2008           153   159   143
10.11/10.24	c 2590           25172          6748796        4140965        19             2017           159   161   144
10.21/10.31	c 2600           25341          6796600        4171945        19             2027           153   160   139
10.21/10.39	c 2610           25513          6849864        4205900        19             2034           156   160   143
10.31/10.47	c 2620           25694          6904010        4239670        19             2038           156   161   143
10.41/10.54	c 2630           25868          6953740        4271971        19             2048           160   165   145
10.51/10.62	c 2640           26063          7010491        4305458        19             2053           155   168   147
10.61/10.70	c 2650           26262          7068137        4338890        19             2062           164   166   149
10.61/10.78	c 2660           26438          7121385        4372312        19             2072           159   164   145
10.71/10.85	c 2670           26617          7173717        4404667        19             2079           159   164   146
10.81/10.93	c 2680           26794          7226724        4437169        19             2087           157   163   146
10.92/11.01	c 2690           26977          7280707        4470753        19             2092           159   163   147
10.92/11.08	c 2700           27156          7334560        4503381        19             2101           160   162   145
11.02/11.16	c 2710           27332          7391010        4536565        19             2110           157   160   143
11.11/11.24	c 2720           27516          7446656        4570761        19             2116           155   161   143
11.21/11.32	c 2730           27687          7497194        4603948        19             2125           155   162   142
11.21/11.39	c 2740           27858          7546366        4636336        19             2131           155   159   142
11.31/11.47	c 2750           28063          7605334        4670477        19             2141           152   161   144
11.41/11.55	c 2760           28243          7657868        4703048        19             2146           149   161   141
11.51/11.62	c 2770           28411          7705849        4734451        19             2156           152   159   138
11.61/11.70	c 2771           28568          7748940        4764475        19             2157           157   157   78 
11.61/11.78	c 2780           28747          7802509        4798165        19             2162           152   156   138
11.71/11.85	c 2790           28916          7852914        4830293        19             2171           153   157   140
11.81/11.93	c 2800           29091          7906354        4864113        19             2178           149   155   137
11.92/12.01	c 2810           29272          7960840        4897998        19             2184           153   160   143
11.92/12.09	c 2820           29439          8013184        4931646        19             2189           152   154   138
12.02/12.16	c 2830           29623          8068304        4965190        19             2194           150   160   141
12.11/12.24	c 2840           29801          8120034        4998206        19             2204           156   162   144
12.21/12.32	c 2850           29976          8169903        5029858        19             2213           156   158   142
12.31/12.40	c 2860           30145          8223134        5062767        19             2222           153   157   139
12.31/12.48	c 2870           30321          8275575        5096174        19             2227           147   160   139
12.41/12.55	c 2880           30503          8332414        5130296        19             2234           150   158   138
12.51/12.63	c 2890           30712          8398027        5166588        19             2238           149   153   137
12.61/12.71	c 2900           30888          8458328        5202846        19             2245           154   161   142
12.61/12.79	c 2910           31059          8509006        5236150        19             2251           147   153   137
12.71/12.87	c 2920           31228          8560066        5268129        19             2259           149   160   139
12.81/12.95	c 2930           31404          8617269        5303507        19             2265           147   156   135
12.92/13.03	c 2940           31595          8687177        5344319        19             2275           146   147   133
13.02/13.11	c 2950           31764          8735690        5376008        19             2285           149   154   136
13.02/13.18	c 2960           31930          8787218        5409567        19             2291           147   153   137
13.11/13.26	c 2970           32100          8838277        5442734        19             2293           148   154   137
13.21/13.34	c 2980           32283          8894379        5477308        19             2298           147   160   139
13.31/13.42	c 2990           32459          8946518        5510209        19             2307           156   162   144
13.41/13.50	c 3000           32646          9001328        5543411        19             2311           155   160   142
13.41/13.58	c 3010           32819          9061170        5581155        19             2320           151   156   137
13.51/13.65	c 3020           32998          9115264        5614787        19             2330           159   161   144
13.61/13.73	c 3030           33187          9173161        5649616        19             2333           144   156   138
13.71/13.81	c 3040           33356          9221445        5681827        19             2337           143   156   136
13.71/13.89	c 3050           33528          9271465        5714959        19             2345           156   160   142
13.81/13.97	c 3060           33711          9331676        5751120        19             2351           154   155   140
13.92/14.04	c 3070           33884          9385141        5785327        19             2356           147   155   137
14.02/14.12	c 3080           34057          9444089        5820098        19             2365           145   157   136
14.11/14.20	c 3090           34257          9513108        5856409        19             2375           153   155   139
14.11/14.28	c 3100           34446          9567118        5889135        19             2380           153   156   139
14.21/14.36	c 3110           34637          9625915        5923657        19             2384           144   158   139
14.31/14.44	c 3120           34840          9691331        5959910        19             2390           147   153   136
14.41/14.52	c 3130           35009          9751202        5995308        19             2399           150   152   136
14.51/14.60	c 3140           35188          9808440        6030298        19             2409           147   162   140
14.51/14.67	c 3142           35340          9851119        6060602        19             2411           148   151   99 
14.61/14.75	c 3150           35541          9910232        6094863        19             2414           152   162   141
14.71/14.83	c 3160           35709          9964800        6128959        19             2424           148   150   134
14.81/14.91	c 3170           35872          10015218       6162445        19             2434           146   151   133
14.81/14.98	c 3180           36048          10065096       6194242        19             2444           151   159   138
14.92/15.06	c 3190           36234          10123607       6229355        19             2454           148   155   136
15.02/15.14	c 3200           36396          10172072       6261436        19             2464           150   153   136
15.11/15.23	c 3210           36624          10242091       6297841        19             2468           153   160   143
15.21/15.30	c 3220           36802          10299018       6332997        19             2475           141   164   140
15.21/15.38	c 3230           37003          10361628       6368564        19             2477           148   157   138
15.31/15.46	c 3240           37176          10415805       6401815        19             2484           139   155   130
15.41/15.54	c 3250           37382          10476815       6435899        19             2489           152   165   144
15.51/15.62	c 3260           37545          10525362       6468048        19             2499           148   154   135
15.61/15.70	c 3270           37745          10587709       6502920        19             2503           147   156   138
15.61/15.78	c 3280           37936          10649450       6537678        19             2513           153   155   139
15.71/15.86	c 3290           38210          10737312       6579372        19             2523           157   161   146
15.81/15.94	c 3300           38379          10787326       6611155        19             2532           151   157   138
15.92/16.02	c 3310           38560          10844701       6644471        19             2542           153   157   139
15.92/16.10	c 3320           38783          10910996       6680701        19             2543           152   158   140
16.02/16.17	c 3330           38978          10969059       6715130        19             2547           149   161   142
16.11/16.25	c 3340           39180          11034458       6750790        19             2552           154   164   143
16.21/16.33	c 3350           39347          11083842       6782679        19             2561           146   158   134
16.31/16.41	c 3360           39517          11132183       6814332        19             2569           150   161   138
16.31/16.49	c 3370           39723          11200898       6851442        19             2579           161   162   147
16.41/16.56	c 3380           39894          11252401       6884484        19             2588           152   158   139
16.51/16.65	c 3390           40120          11323581       6922733        19             2591           147   158   139
16.61/16.72	c 3400           40294          11374712       6956790        19             2601           154   156   140
16.71/16.80	c 3410           40453          11423318       6988506        19             2611           147   150   133
16.71/16.88	c 3420           40615          11474798       7022663        19             2620           143   153   131
16.81/16.95	c 3430           40794          11529640       7055946        19             2630           147   153   135
16.91/17.03	c 3440           40956          11579376       7087708        19             2640           147   153   136
17.02/17.11	c 3450           41147          11636375       7120276        19             2650           164   168   150
17.02/17.19	c 3460           41355          11695705       7154361        19             2654           155   167   144
17.11/17.27	c 3470           41550          11752699       7188397        19             2658           152   163   143
17.21/17.34	c 3480           41734          11808386       7221657        19             2668           162   166   147
17.31/17.42	c 3490           41913          11860448       7255019        19             2677           157   163   146
17.41/17.50	c 3500           42097          11914311       7288631        19             2682           149   159   139
17.41/17.58	c 3510           42267          11982014       7327926        19             2692           146   150   133
17.51/17.66	c 3520           42475          12043960       7364286        19             2695           154   159   142
17.61/17.73	c 3530           42647          12094656       7396615        19             2703           150   157   138
17.71/17.81	c 3540           42851          12154408       7431684        19             2705           149   160   141
17.71/17.89	c 3550           43030          12205562       7464438        19             2711           150   157   138
17.81/17.97	c 3551           43184          12247938       7494859        19             2712           154   154   77 
17.91/18.04	c 3560           43355          12301353       7529139        19             2720           148   156   134
18.02/18.12	c 3570           43529          12351392       7562023        19             2726           147   155   136
18.11/18.20	c 3580           43699          12404424       7595668        19             2736           150   152   136
18.11/18.27	c 3590           43872          12456164       7628480        19             2746           147   155   134
18.21/18.35	c 3600           44029          12506125       7661668        19             2756           148   148   134
18.31/18.43	c 3610           44194          12562439       7696072        19             2766           147   156   134
18.41/18.50	c 3620           44358          12611703       7728325        19             2775           147   152   134
18.41/18.58	c 3630           44554          12671623       7763227        19             2785           158   160   143
18.51/18.66	c 3640           44719          12721067       7795845        19             2793           144   152   132
18.61/18.74	c 3650           44898          12773146       7829052        19             2801           151   156   138
18.71/18.81	c 3660           45071          12833516       7865814        19             2806           145   148   133
18.71/18.89	c 3670           45229          12885517       7900277        19             2816           144   149   131
18.81/18.97	c 3680           45389          12934823       7934311        19             2825           148   151   135
18.91/19.05	c 3690           45577          12993265       7969842        19             2831           143   153   134
19.02/19.12	c 3700           45762          13046895       8003314        19             2840           145   157   137
19.11/19.20	c 3710           45931          13101873       8038187        19             2850           151   151   137
19.11/19.28	c 3720           46094          13149885       8069960        19             2859           147   154   134
19.21/19.35	c 3730           46273          13209164       8105003        19             2867           145   160   134
19.31/19.43	c 3740           46451          13259353       8137950        19             2877           154   161   144
19.41/19.51	c 3750           46668          13324320       8174380        19             2883           148   155   138
19.41/19.59	c 3760           46888          13395397       8213207        19             2886           143   154   135
19.51/19.67	c 3770           47094          13454225       8247130        19             2891           150   158   139
19.61/19.75	c 3780           47276          13509554       8280645        19             2896           147   157   138
19.71/19.82	c 3790           47487          13571778       8315881        19             2901           146   150   134
19.81/19.90	c 3800           47676          13628540       8349985        19             2906           147   158   137
19.81/19.98	c 3810           47846          13681421       8383643        19             2912           144   151   133
19.91/20.06	c 3820           48011          13732796       8416858        19             2921           147   152   134
20.01/20.13	c 3830           48168          13783128       8451813        19             2930           142   148   129
20.11/20.21	c 3840           48358          13841768       8486647        19             2935           143   150   133
20.11/20.29	c 3850           48559          13902151       8521585        19             2938           145   157   137
20.21/20.37	c 3860           48751          13958786       8555763        19             2942           147   154   136
20.31/20.44	c 3870           48944          14015453       8589926        19             2946           150   157   140
20.41/20.52	c 3880           49140          14078606       8625774        19             2951           146   152   135
20.51/20.60	c 3890           49325          14138226       8661423        19             2957           146   151   134
20.51/20.68	c 3900           49542          14203443       8698184        19             2961           144   152   134
20.61/20.76	c 3910           49734          14257508       8732302        19             2962           144   155   134
20.71/20.84	c 3920           49906          14311192       8765736        19             2970           135   146   129
20.81/20.91	c 3930           50070          14360887       8798667        19             2979           143   155   134
20.81/20.99	c 3940           50268          14424464       8834525        19             2984           139   148   130
20.91/21.07	c 3950           50436          14477301       8867867        19             2994           151   156   138
21.01/21.15	c 3960           50627          14534654       8902838        19             3002           140   150   131
21.11/21.22	c 3970           50782          14580285       8934881        19             3012           137   146   129
21.21/21.30	c 3980           50945          14628934       8967885        19             3021           143   147   130
21.21/21.38	c 3990           51139          14686645       9002527        19             3025           142   154   134
21.31/21.46	c 4000           51331          14744046       9036665        19             3032           148   156   137
21.41/21.53	c 4001           51489          14788082       9067205        19             3033           158   158   79 
21.51/21.61	c 4010           51658          14842538       9101537        19             3042           145   154   134
21.51/21.69	c 4020           51841          14899632       9135554        19             3051           157   164   146
21.61/21.77	c 4030           52025          14955903       9168947        19             3060           152   159   139
21.71/21.85	c 4040           52251          15025087       9205801        19             3070           154   158   143
21.81/21.93	c 4050           52441          15087162       9241717        19             3077           145   153   136
21.91/22.01	c 4060           52637          15158049       9279551        19             3087           140   155   138
21.91/22.09	c 4070           52887          15231359       9316604        19             3090           146   160   139
22.01/22.17	c 4080           53077          15285529       9351296        19             3097           151   158   139
22.11/22.24	c 4090           53286          15346408       9385888        19             3102           141   151   133
22.21/22.32	c 4100           53471          15402397       9419728        19             3105           145   157   136
22.31/22.40	c 4110           53655          15461842       9455310        19             3112           139   148   130
22.31/22.48	c 4120           53818          15510327       9488015        19             3121           142   151   130
22.41/22.55	c 4130           53992          15561967       9521052        19             3129           146   158   139
22.51/22.63	c 4140           54178          15618107       9554492        19             3136           147   158   139
22.61/22.71	c 4150           54340          15664565       9585868        19             3145           146   150   133
22.61/22.79	c 4160           54541          15722828       9620120        19             3148           150   159   140
22.71/22.87	c 4170           54735          15779677       9654334        19             3153           153   167   144
22.81/22.94	c 4180           54915          15835802       9688011        19             3161           158   165   145
22.91/23.02	c 4190           55125          15895456       9722483        19             3166           152   163   143
22.91/23.10	c 4200           55293          15949858       9756352        19             3175           151   159   138
23.01/23.18	c 4210           55471          16003494       9789620        19             3185           151   154   137
23.10/23.26	c 4220           55689          16063255       9823763        19             3189           151   162   143
23.20/23.34	c 4230           55891          16118927       9856845        19             3196           159   163   145
23.30/23.42	c 4240           56091          16178764       9891566        19             3199           151   164   143
23.40/23.50	c 4250           56321          16245985       9927507        19             3201           155   158   141
23.40/23.58	c 4260           56526          16305874       9962440        19             3206           152   160   142
23.50/23.66	c 4270           56709          16368708       9998909        19             3216           159   165   145
23.60/23.74	c 4280           56869          16418472       10032200       19             3226           148   151   134
23.70/23.81	c 4290           57058          16473930       10066002       19             3231           144   155   136
23.70/23.89	c 4300           57237          16531393       10100439       19             3241           159   161   144
23.80/23.97	c 4310           57464          16592346       10136061       19             3245           146   160   138
23.91/24.05	c 4320           57685          16653201       10170978       19             3246           148   156   138
24.01/24.13	c 4330           57873          16711614       10205571       19             3253           141   158   137
24.10/24.21	c 4340           58051          16769601       10240150       19             3262           147   156   138
24.10/24.29	c 4350           58249          16828586       10274793       19             3266           145   161   138
24.20/24.37	c 4360           58430          16878598       10306646       19             3276           161   163   146
24.30/24.45	c 4370           58617          16935738       10341346       19             3284           152   161   143
24.40/24.52	c 4380           58779          16984677       10374248       19             3294           147   153   136
24.50/24.60	c 4390           59020          17054048       10411524       19             3296           148   158   139
24.50/24.68	c 4400           59232          17118233       10447661       19             3302           150   162   143
24.60/24.77	c 4410           59459          17192330       10487318       19             3311           148   154   137
24.70/24.85	c 4420           59636          17250470       10522971       19             3321           155   159   141
24.80/24.93	c 4430           59855          17312406       10558182       19             3324           156   160   143
24.80/24.93	c 4440           59865          17312446       10558222       20             3333           1   1   0      
24.80/24.93	c 4450           59875          17312486       10558262       20             3342           1   1   0      
24.80/24.93	c 4460           59885          17312526       10558302       20             3351           1   1   0      
24.80/24.93	c 4470           59895          17312566       10558342       20             3360           1   1   0      
24.80/24.93	c 4480           59905          17312606       10558382       20             3369           1   1   0      
24.80/24.93	c 4490           59915          17312646       10558422       20             3378           1   1   0      
24.80/24.93	c 4493           59918          17312658       10558434       20             3380           1   1   0      
24.80/24.93	c 4500           59925          17312686       10558462       20             3386           1   1   0      
24.80/25.00	c 4510           60091          17360370       10590493       20             3395           1   157   124  
24.91/25.08	c 4520           60291          17417181       10624391       20             3402           154   163   142
25.01/25.16	c 4530           60518          17485294       10661476       20             3404           150   164   144
25.10/25.24	c 4540           60690          17533677       10692756       20             3414           160   163   145
25.20/25.32	c 4550           60883          17591097       10726618       20             3422           146   159   141
25.30/25.40	c 4560           61095          17653969       10762211       20             3426           149   160   140
25.30/25.48	c 4570           61313          17715474       10797634       20             3431           158   165   146
25.30/25.48	c 4580           61323          17715514       10797674       21             3440           1   1   0      
25.30/25.48	c 4590           61333          17715554       10797714       21             3449           1   1   0      
25.30/25.48	c 4600           61343          17715594       10797754       21             3458           1   1   0      
25.30/25.48	c 4610           61353          17715634       10797794       21             3467           1   1   0      
25.30/25.48	c 4620           61363          17715674       10797834       21             3476           1   1   0      
25.30/25.48	c 4630           61373          17715714       10797874       21             3485           1   1   0      
25.30/25.48	c 4640           61383          17715754       10797914       21             3494           1   1   0      
25.30/25.48	c 4650           61393          17715794       10797954       21             3503           1   1   0      
25.40/25.56	c 4660           61580          17766232       10830524       21             3506           1   167   131  
25.50/25.64	c 4670           61803          17829062       10865486       21             3510           149   162   143
25.60/25.72	c 4680           61973          17880249       10898943       21             3518           144   161   135
25.70/25.80	c 4690           62162          17937172       10932870       21             3525           141   159   136
25.70/25.88	c 4700           62356          17997521       10968693       21             3530           147   158   138
25.80/25.96	c 4710           62558          18057371       11003801       21             3533           143   157   137
25.91/26.04	c 4720           62764          18123442       11040963       21             3537           152   158   140
26.01/26.11	c 4730           62964          18180957       11075354       21             3542           143   160   138
26.01/26.20	c 4740           63192          18249983       11112237       21             3549           150   161   142
26.10/26.27	c 4750           63371          18309095       11149504       21             3556           145   155   134
26.20/26.35	c 4760           63577          18365590       11183264       21             3561           150   161   141
26.30/26.43	c 4770           63755          18419504       11216656       21             3568           147   158   137
26.40/26.51	c 4780           63932          18469799       11248640       21             3578           152   161   139
26.40/26.59	c 4790           64092          18518355       11280740       21             3587           148   151   135
26.50/26.66	c 4800           64279          18575767       11315897       21             3594           148   158   137
26.60/26.74	c 4810           64455          18625582       11347825       21             3603           148   160   139
26.70/26.82	c 4820           64694          18688510       11382695       21             3608           148   163   141
26.80/26.90	c 4830           64926          18763632       11419956       21             3618           160   160   145
26.80/26.98	c 4840           65111          18820295       11454257       21             3626           152   161   139
26.91/27.06	c 4850           65306          18890072       11491603       21             3636           150   150   136
27.01/27.14	c 4860           65471          18943746       11527375       21             3641           146   152   133
27.10/27.22	c 4870           65692          19011324       11563980       21             3651           158   158   143
27.20/27.30	c 4880           65879          19063791       11597265       21             3653           152   157   140
27.20/27.38	c 4890           66040          19112658       11628963       21             3663           152   152   138
27.30/27.46	c 4900           66250          19174304       11663951       21             3669           148   158   138
27.40/27.53	c 4910           66441          19233101       11699401       21             3672           147   155   136
27.50/27.61	c 4920           66648          19296308       11734733       21             3676           151   153   138
27.50/27.69	c 4930           66809          19344600       11766702       21             3685           146   152   133
27.60/27.77	c 4940           67022          19402006       11800515       21             3690           146   159   140
27.70/27.85	c 4950           67207          19458242       11834820       21             3698           146   153   134
27.80/27.93	c 4960           67419          19520153       11869441       21             3703           153   155   140
27.91/28.01	c 4970           67632          19579587       11905252       21             3713           159   159   144
27.91/28.09	c 4980           67843          19639593       11939860       21             3715           149   158   139
28.01/28.17	c 4990           68051          19706633       11977720       21             3720           148   155   137
28.10/28.27	c 5035           68623          19894746       12045350       21             3751           156   159   153
28.30/28.48	c 5631           70157          20681285       12306762       21             3827           149   159   150
28.70/28.80	c 6286           73177          21934119       12709097       21             3934           140   161   149
28.91/29.05	c 7006           75090          22965012       13028181       21             3977           135   162   148
29.20/29.35	c 7798           77590          24258349       13385643       21             3991           140   161   149
29.40/29.59	c 8669           79518          25299840       13745232       21             4001           149   165   155
29.70/29.85	c 9627           81581          26402820       14084982       21             4033           141   156   148
30.01/30.17	c 10680          84639          27774494       14515441       21             4039           141   159   146
30.40/30.54	c 11838          87768          29511076       14975808       22             4132           1   158   145  
30.80/30.98	c 13111          91545          31536211       15605882       22             4188           145   161   148
31.20/31.38	c 14511          95070          33439196       16239050       23             4331           1   166   141  
31.71/31.82	c 16051          99527          35416803       16812633       23             4374           136   162   148
32.31/32.41	c 17745          105249         38028385       17648643       23             4420           141   162   148
32.81/32.95	c 19608          108833         40893236       18485514       23             4521           138   162   144
33.51/33.62	c 21657          117218         43786467       19279324       23             4551           143   162   150
33.92/34.03	c 23910          121104         45804199       19980141       23             4589           138   157   146
34.51/34.69	c 26388          128334         49209013       21092215       23             4595           143   166   154
35.21/35.36	c 29113          134762         52893792       22131850       23             4805           152   166   155
35.71/35.81	c 32110          139832         55179849       22881328       23             4879           144   158   150
36.11/36.27	c 35406          144430         57671707       23766348       23             5073           145   156   150
36.61/36.78	c 39031          149958         60325677       24655788       23             5210           148   161   154
37.61/37.76	c 43018          161009         65379134       26099400       23             5310           142   158   151
38.21/38.39	c 47403          167758         68824462       27012456       23             5376           141   159   148
39.61/39.72	c 52226          179320         75678378       29411028       23             5423           137   155   142
40.31/40.46	c 57531          187349         80113550       30599061       23             5564           143   166   152
41.31/41.45	c 63366          197524         85513924       32075511       23             5590           138   159   151
42.51/42.68	c 69784          211841         91770468       33777765       23             5633           134   160   143
43.91/44.03	c 76843          221895         100249129      36023283       23             5712           143   163   150
46.10/46.24	c 84607          238683         113989598      40315633       23             5841           146   161   152
47.50/47.64	c 93147          253804         122067330      42973165       23             5988           145   164   152
48.91/49.04	c 102541         269581         130874858      45585563       23             6219           148   163   155
50.40/50.51	c 112874         284385         139438941      48711071       23             6278           141   158   146
53.01/53.13	c 124240         307402         154193062      53886567       23             6391           140   156   145
55.30/55.47	c 136742         327709         167526469      58529867       23             6569           139   154   145
56.80/56.94	c 150494         348357         176036917      61579217       23             6683           137   154   149
58.70/58.88	c 165621         368261         187142663      65427410       23             6707           137   156   144
60.60/60.76	c 182260         394095         198544672      68925176       23             6918           139   155   150
64.01/64.16	c 200562         427705         218251635      75028580       23             7210           136   155   146
67.10/67.23	c 220694         453111         236804587      80587705       23             7315           136   150   142
69.60/69.70	c 242839         481169         251338672      86097085       23             7470           136   155   146
72.01/72.15	c 267198         512552         266741394      90270336       23             7568           142   159   148
74.60/74.78	c 293992         542125         283835459      95367122       23             7646           151   159   152
79.20/79.39	c 323465         588979         311823186      105074974      23             7673           141   153   147
83.70/83.88	c 355885         628723         341410013      113457536      23             7773           142   154   147
89.20/89.36	c 391547         687585         374645174      123397893      23             7897           135   156   146
94.50/94.62	c 430775         749117         406403798      134710276      23             8091           135   153   146
99.10/99.21	c 473925         806784         436216924      144801925      23             8480           138   154   148
104.60/104.76	c 521390         872193         472522163      156185770      23             8668           141   152   146
116.40/116.58	c 573601         963341         537424198      179451150      23             9077           133   156   137
121.70/121.82	c 631033         1037067        571992848      190236573      23             9349           141   159   153
127.40/127.57	c 694208         1127689        609949657      199988405      23             9656           141   155   150
138.70/138.84	c 763700         1259986        678541758      218871900      23             9778           140   162   152
146.70/146.80	c 840141         1366764        727316533      236948085      23             10141          144   157   150
155.60/155.73	c 924226         1461116        789103803      252733155      23             10288          144   157   150
165.50/165.61	c 1016719        1585077        852433329      272500272      23             10360          138   156   147
178.41/178.57	c 1118461        1723512        932200753      296255752      23             10719          135   160   147
192.51/192.68	c 1230377        1874431        1016567709     323270890      23             10841          136   157   145
207.81/207.90	c 1353484        2038362        1105180171     357133006      23             11066          137   159   147
220.41/220.58	c 1488901        2201392        1184035612     378734431      23             11131          136   160   148
232.11/232.22	c 1637859        2362167        1260339416     399274737      23             11298          144   157   152
252.71/252.81	c 1801712        2578406        1382194559     449207750      23             11497          141   155   145
284.71/284.82	c 1981950        2891948        1563839629     512000838      23             11884          134   152   142
308.31/308.45	c 2180211        3161457        1711376768     565677698      23             12168          136   154   149
340.41/340.55	c 2398298        3427923        1897450918     632469221      23             12294          136   152   140
383.71/383.89	c 2638193        3800866        2138222082     711638993      23             12635          132   153   138
458.81/458.90	c 2902077        4177805        2580795999     852219428      23             12840          136   150   137
519.02/519.16	c 3192349        4712172        2914881656     974760529      23             12969          132   155   140
586.41/586.59	c 3511648        5237240        3293003520     1112142881     23             13054          133   154   139
643.41/643.55	c 3862876        5699363        3624825410     1214001677     23             13151          130   153   139
715.61/715.72	c 4249226        6330808        4028711174     1343651324     24             13367          1   159   141  
786.03/786.11	c 4674211        6971214        4419418610     1476320800     24             13522          130   154   139
885.32/885.43	c 5141694        7889213        4981900869     1643284284     24             13694          132   155   142
986.93/987.09	c 5655925        8781341        5559291027     1843816023     24             13896          130   158   141
1124.82/1124.93	c 6221579        10256011       6261623607     2092072834     24             14188          132   155   142
1242.43/1242.54	c 6843798        11363558       6935637155     2319797683     24             14350          131   161   145
1348.63/1348.77	c 7528238        12379348       7549490935     2516868927     24             14547          130   159   144
1514.23/1514.30	c 8281122        14127393       8478450689     2824384237     24             14957          132   161   143
1648.63/1648.75	c 9109294        15369284       9273898682     3075179037     24             14975          133   158   143
1805.13/1805.22	c 10020283       17119936       10205619681    3354517795     24             15115          137   159   148
1985.14/1985.26	c 11022370       18826316       11347227971    3672888933     24             15287          133   164   150
2202.14/2202.23	c 12124665       21419977       12590340520    4061142270     24             15429          134   164   148
2410.84/2410.93	c 13337189       23413924       13843928373    4443428566     24             15586          130   168   150
2519.94/2520.00	
2519.94/2520.00	c *** INTERRUPTED ***
2519.94/2520.00	c restarts              : 599         
2519.94/2520.00	c conflicts             : 14418624     (5722 /sec)
2519.94/2520.00	c decisions             : 24865824     (9868 /sec)
2519.94/2520.00	c propagations          : 4652039980  (1846164 /sec)
2519.94/2520.00	c root propagations     : 0           
2519.94/2520.00	c filter calls          : 14570696122    (5782388 /sec)
2519.94/2520.00	c useless filter calls  : 11053479514    (75 %)
2519.94/2520.00	c
2519.94/2520.00	c clauses               : 3635006
2519.94/2520.00	c SAT propagations      : 45
2519.94/2520.00	c SAT conflicts         : 0 (0 learnts)
2519.94/2520.00	c Memory used           : 198.25 MB
2519.94/2520.00	c CPU time              : 2519.84 s
2519.94/2520.00	
2519.94/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266123-1502573593/watcher-4266123-1502573593 -o /tmp/evaluation-result-4266123-1502573593/solver-4266123-1502573593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11649 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266123-1502573593.xml 

running on 4 cores: 0,2,4,6

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
solver pid=14256, runsolver pid=14253
Current StackSize limit: 8192 KiB


[startup+0.100196 s]*
/proc/loadavg: 2.00 2.01 2.05 2/175 14258
/proc/meminfo: memFree=31493700/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=28704 memory=5180 CPUtime=0.02 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 1470 0 0 0 2 0 0 0 20 0 1 0 45700000 29392896 1295 18446744073709551615 4194304 5972588 140735910274432 140735910266736 5211394 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 7176 1295 794 435 0 539 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 28704 KiB
Current children cumulated memory: 5180 KiB

[startup+0.209129 s]*
/proc/loadavg: 2.00 2.01 2.05 2/175 14258
/proc/meminfo: memFree=31483824/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=46008 memory=19576 CPUtime=0.13 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 4579 0 0 0 12 1 0 0 20 0 1 0 45700000 47112192 4894 18446744073709551615 4194304 5972588 140735910274432 140735910268232 140714560097253 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 11502 4894 823 435 0 4865 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 46008 KiB
Current children cumulated memory: 19576 KiB

[startup+0.309159 s]*
/proc/loadavg: 2.00 2.01 2.05 3/174 14261
/proc/meminfo: memFree=31428836/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=103440 memory=74308 CPUtime=0.23 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 14163 0 0 0 21 2 0 0 20 0 1 0 45700000 105922560 18577 18446744073709551615 4194304 5972588 140735910274432 140735910271224 140714560097253 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 25860 18577 823 435 0 19223 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 103440 KiB
Current children cumulated memory: 74308 KiB

[startup+0.700352 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 14272
/proc/meminfo: memFree=31343384/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=201292 memory=150504 CPUtime=0.61 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 25580 0 0 0 56 5 0 0 20 0 1 0 45700000 206123008 37626 18446744073709551615 4194304 5972588 140735910274432 140735910271224 4908843 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50323 37626 841 435 0 43686 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 201292 KiB
Current children cumulated memory: 150504 KiB

[startup+1.50039 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 14272
/proc/meminfo: memFree=31342436/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=201292 memory=150504 CPUtime=1.41 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 25592 0 0 0 136 5 0 0 20 0 1 0 45700000 206123008 37626 18446744073709551615 4194304 5972588 140735910274432 140735910271224 4909660 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50323 37626 841 435 0 43686 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 201292 KiB
Current children cumulated memory: 150504 KiB

[startup+3.10911 s]
/proc/loadavg: 1.92 2.00 2.04 3/180 14272
/proc/meminfo: memFree=31340676/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=201556 memory=151024 CPUtime=3.02 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 31424 0 0 0 297 5 0 0 20 0 1 0 45700000 206393344 37756 18446744073709551615 4194304 5972588 140735910274432 140735910271736 5273280 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50389 37756 841 435 0 43752 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 201556 KiB
Current children cumulated memory: 151024 KiB

[startup+6.30038 s]
/proc/loadavg: 1.92 2.00 2.04 3/180 14273
/proc/meminfo: memFree=31340216/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=201812 memory=151236 CPUtime=6.21 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 38888 0 0 0 616 5 0 0 20 0 1 0 45700000 206655488 37809 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4995572 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50453 37809 841 435 0 43816 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 201812 KiB
Current children cumulated memory: 151236 KiB

[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/180 14273
/proc/meminfo: memFree=31340908/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=201940 memory=151380 CPUtime=12.61 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 44500 0 0 0 1255 6 0 0 20 0 1 0 45700000 206786560 37845 18446744073709551615 4194304 5972588 140735910274432 140735910271736 5070688 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50485 37845 841 435 0 43848 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 201940 KiB
Current children cumulated memory: 151380 KiB

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/180 14273
/proc/meminfo: memFree=31341020/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202068 memory=151532 CPUtime=25.4 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 55561 0 0 0 2534 6 0 0 20 0 1 0 45700000 206917632 37883 18446744073709551615 4194304 5972588 140735910274432 140735910271736 5328503 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50517 37883 841 435 0 43880 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 202068 KiB
Current children cumulated memory: 151532 KiB

[startup+51.1091 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 14274
/proc/meminfo: memFree=31337932/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202324 memory=153872 CPUtime=51.01 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 61996 0 0 0 5094 7 0 0 20 0 1 0 45700000 207179776 38468 18446744073709551615 4194304 5972588 140735910274432 140735910271736 5328649 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50581 38468 841 435 0 43944 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 202324 KiB
Current children cumulated memory: 153872 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/184 14290
/proc/meminfo: memFree=31329508/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202456 memory=156044 CPUtime=102.2 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 63625 0 0 0 10213 7 0 0 20 0 1 0 45700000 207314944 39011 18446744073709551615 4194304 5972588 140735910274432 140735910271736 5328748 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50614 39011 841 435 0 43977 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 202456 KiB
Current children cumulated memory: 156044 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/184 14292
/proc/meminfo: memFree=31330152/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202720 memory=156120 CPUtime=162.2 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 65120 0 0 0 16213 7 0 0 20 0 1 0 45700000 207585280 39030 18446744073709551615 4194304 5972588 140735910274432 140735910271256 4995572 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50680 39030 841 435 0 44043 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 202720 KiB
Current children cumulated memory: 156120 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 14294
/proc/meminfo: memFree=31331388/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202720 memory=158264 CPUtime=222.21 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 66587 0 0 0 22213 8 0 0 20 0 1 0 45700000 207585280 39566 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4908856 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50680 39566 841 435 0 44043 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 202720 KiB
Current children cumulated memory: 158264 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 14296
/proc/meminfo: memFree=31332116/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202720 memory=158304 CPUtime=282.21 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 68035 0 0 0 28213 8 0 0 20 0 1 0 45700000 207585280 39576 18446744073709551615 4194304 5972588 140735910274432 140735910271736 5099648 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50680 39576 841 435 0 44043 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 202720 KiB
Current children cumulated memory: 158304 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 14298
/proc/meminfo: memFree=31332600/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202720 memory=158324 CPUtime=342.21 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 69523 0 0 0 34213 8 0 0 20 0 1 0 45700000 207585280 39581 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4995502 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50680 39581 841 435 0 44043 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 202720 KiB
Current children cumulated memory: 158324 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 14301
/proc/meminfo: memFree=31331800/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202852 memory=158380 CPUtime=402.21 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 70973 0 0 0 40213 8 0 0 20 0 1 0 45700000 207720448 39595 18446744073709551615 4194304 5972588 140735910274432 140735910271256 4995544 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50713 39595 841 435 0 44076 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 202852 KiB
Current children cumulated memory: 158380 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 14303
/proc/meminfo: memFree=31331668/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202852 memory=158380 CPUtime=462.21 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 72421 0 0 0 46213 8 0 0 20 0 1 0 45700000 207720448 39595 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4995544 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50713 39595 841 435 0 44076 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 202852 KiB
Current children cumulated memory: 158380 KiB


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

/proc/14256/statm: 50713 40134 841 435 0 44076 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 202852 KiB
Current children cumulated memory: 160536 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14406
/proc/meminfo: memFree=31328840/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202852 memory=160536 CPUtime=1782.23 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 101489 0 0 0 178213 10 0 0 20 0 1 0 45700000 207720448 40134 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4995479 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50713 40134 841 435 0 44076 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 202852 KiB
Current children cumulated memory: 160536 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14408
/proc/meminfo: memFree=31329476/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202852 memory=160540 CPUtime=1842.23 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 102998 0 0 0 184213 10 0 0 20 0 1 0 45700000 207720448 40135 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4995479 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50713 40135 841 435 0 44076 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 202852 KiB
Current children cumulated memory: 160540 KiB

[startup+1902.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/184 14424
/proc/meminfo: memFree=31324028/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202852 memory=160540 CPUtime=1902.23 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 104178 0 0 0 190213 10 0 0 20 0 1 0 45700000 207720448 40135 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4995572 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50713 40135 841 435 0 44076 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 202852 KiB
Current children cumulated memory: 160540 KiB

[startup+1962.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/184 14426
/proc/meminfo: memFree=31323656/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202852 memory=160540 CPUtime=1962.24 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 105156 0 0 0 196213 11 0 0 20 0 1 0 45700000 207720448 40135 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4995521 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50713 40135 841 435 0 44076 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 202852 KiB
Current children cumulated memory: 160540 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 14428
/proc/meminfo: memFree=31327424/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202852 memory=160540 CPUtime=2022.24 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 106683 0 0 0 202213 11 0 0 20 0 1 0 45700000 207720448 40135 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4908847 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50713 40135 841 435 0 44076 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 202852 KiB
Current children cumulated memory: 160540 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 14441
/proc/meminfo: memFree=31326664/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202852 memory=160540 CPUtime=2082.24 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 107798 0 0 0 208213 11 0 0 20 0 1 0 45700000 207720448 40135 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4995513 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50713 40135 841 435 0 44076 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 202852 KiB
Current children cumulated memory: 160540 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 14443
/proc/meminfo: memFree=31327288/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=202852 memory=160540 CPUtime=2142.24 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 109018 0 0 0 214213 11 0 0 20 0 1 0 45700000 207720448 40135 18446744073709551615 4194304 5972588 140735910274432 140735910271736 5251500 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50713 40135 841 435 0 44076 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 202852 KiB
Current children cumulated memory: 160540 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 14446
/proc/meminfo: memFree=31327408/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=203000 memory=160568 CPUtime=2202.24 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 110476 0 0 0 220213 11 0 0 20 0 1 0 45700000 207872000 40142 18446744073709551615 4194304 5972588 140735910274432 140735910271736 5273409 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50750 40142 841 435 0 44113 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 203000 KiB
Current children cumulated memory: 160568 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 14448
/proc/meminfo: memFree=31327340/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=203000 memory=160580 CPUtime=2262.24 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 111600 0 0 0 226213 11 0 0 20 0 1 0 45700000 207872000 40145 18446744073709551615 4194304 5972588 140735910274432 140735910271256 4995668 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50750 40145 841 435 0 44113 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 203000 KiB
Current children cumulated memory: 160580 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 14450
/proc/meminfo: memFree=31327472/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=203000 memory=160580 CPUtime=2322.24 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 112667 0 0 0 232213 11 0 0 20 0 1 0 45700000 207872000 40145 18446744073709551615 4194304 5972588 140735910274432 140735910271256 4995572 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50750 40145 841 435 0 44113 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 203000 KiB
Current children cumulated memory: 160580 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 14453
/proc/meminfo: memFree=31327124/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=203000 memory=160580 CPUtime=2382.24 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 113961 0 0 0 238213 11 0 0 20 0 1 0 45700000 207872000 40145 18446744073709551615 4194304 5972588 140735910274432 140735910271256 4995544 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50750 40145 841 435 0 44113 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 203000 KiB
Current children cumulated memory: 160580 KiB

[startup+2442.3 s]
/proc/loadavg: 1.95 1.98 2.03 3/181 14455
/proc/meminfo: memFree=31327372/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=203000 memory=160580 CPUtime=2442.24 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 115471 0 0 0 244213 11 0 0 20 0 1 0 45700000 207872000 40145 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4909211 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50750 40145 841 435 0 44113 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 203000 KiB
Current children cumulated memory: 160580 KiB

[startup+2502.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/185 14472
/proc/meminfo: memFree=31323420/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=203000 memory=160580 CPUtime=2502.24 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 116507 0 0 0 250213 11 0 0 20 0 1 0 45700000 207872000 40145 18446744073709551615 4194304 5972588 140735910274432 140735910271736 5321355 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50750 40145 841 435 0 44113 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 203000 KiB
Current children cumulated memory: 160580 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.02 2.00 2.04 3/185 14472
/proc/meminfo: memFree=31323420/32770624 swapFree=67108860/67108860
[pid=14256] ppid=14253 vsize=203000 memory=160580 CPUtime=2519.94 cores=0,2,4,6
/proc/14256/stat : 14256 (cosoco) R 14253 14256 11586 0 -1 4202496 117219 0 0 0 251983 11 0 0 20 0 1 0 45700000 207872000 40145 18446744073709551615 4194304 5972588 140735910274432 140735910271736 4995517 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 18345984 140735910281668 140735910281768 140735910281768 140735910285262 0
/proc/14256/statm: 50750 40145 841 435 0 44113 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 203000 KiB
Current children cumulated memory: 160580 KiB

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

[startup+2520.01 s]
# the end of solver process 14256 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.84 s, system=0.120001 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.96
CPU user time (s): 2519.84
CPU system time (s): 0.120001
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 203000
Max. memory (cumulated for all children) (KiB): 160580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.84
system time used= 0.120001
maximum resident set size= 160648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117269
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= 21
involuntary context switches= 1691


# summary of solver processes directly reported to runsolver:
#   pid: 14256
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2519.84
#   total CPU system time (s): 0.120001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8931 second user time and 11.9982 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-12 23:18:57
IDJOB=4266123
IDBENCH=124367
IDSOLVER=2655
FILE ID=node124/4266123-1502573593
RUNJOBID= node124-1502565138-11649
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-90.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266123-1502573593/watcher-4266123-1502573593 -o /tmp/evaluation-result-4266123-1502573593/solver-4266123-1502573593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11649 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266123-1502573593.xml

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

MD5SUM BENCH= 2a5b3790b47e1c2f5ad8b085143681cb
RANDOM SEED=122455260

node124.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.51
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.51
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.51
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.51
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:        31495788 kB
MemAvailable:   32009612 kB
Buffers:          243352 kB
Cached:           563292 kB
SwapCached:            0 kB
Active:           352936 kB
Inactive:         503416 kB
Active(anon):      50060 kB
Inactive(anon):    24960 kB
Active(file):     302876 kB
Inactive(file):   478456 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2408 kB
Writeback:             0 kB
AnonPages:         45740 kB
Mapped:            40172 kB
Shmem:             25320 kB
Slab:             122016 kB
SReclaimable:      96652 kB
SUnreclaim:        25364 kB
KernelStack:        3168 kB
PageTables:         4360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     296932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62028 MiB
End job on node124 at 2017-08-13 00:00:57