0.00/0.03	c SAT : Variables: 6561 -- Clauses: 262521
0.00/0.03	c root propagations     : 148         
0.00/0.03	c restarts enabled, print stats at every restarts
0.00/0.03	c
0.00/0.03	c
0.00/0.03	c
0.00/0.03	c This is cosoco 1.0 --  
0.00/0.03	c
0.00/0.03	c ========================================[ Problem Statistics ]===========================================
0.00/0.03	c |                                                                                                       
0.00/0.03	c |  Parse time        :         0.03 s 
0.00/0.03	c |
0.00/0.03	c |               Variables: 81
0.00/0.03	c |            Domain Sizes: 81..81
0.00/0.03	c |
0.00/0.03	c |             Constraints: 56
0.00/0.03	c |                   Arity: 1..81  -- Unary: 35
0.00/0.03	c | 
0.00/0.03	c |                   Types: 
0.00/0.03	c |                          All Different: 1
0.00/0.03	c |                          Sum: 20
0.00/0.03	c |                          Unary: 35
0.00/0.03	c |                          
0.00/0.03	c =========================================================================================================
0.00/0.03	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.04	c 10             73             1100           5772           36             9              39   62   47   
0.00/0.04	c 20             141            1754           9090           36             19             44   59   47   
0.00/0.04	c 30             192            2065           11067          36             25             39   40   36   
0.00/0.05	c 40             279            2561           14032          37             30             38   39   35   
0.00/0.05	c 50             330            2887           16205          37             36             38   39   35   
0.00/0.05	c 60             417            3339           18570          37             42             38   41   35   
0.00/0.05	c 70             470            3680           20671          37             50             39   42   36   
0.00/0.05	c 80             560            4198           22935          38             54             38   42   37   
0.00/0.06	c 90             621            4639           25923          38             64             39   51   39   
0.00/0.06	c 100            675            4992           28063          38             71             42   43   38   
0.00/0.06	c 101            726            5362           29750          38             72             51   51   25   
0.00/0.06	c 110            779            5708           31875          38             78             42   43   38   
0.00/0.07	c 120            854            6380           35565          38             88             57   66   57   
0.00/0.07	c 130            908            6741           37792          38             95             42   43   38   
0.00/0.07	c 140            990            7905           44000          38             101            51   67   56   
0.00/0.08	c 150            1044           8263           46167          38             108            42   43   38   
0.00/0.08	c 160            1138           9366           52039          38             114            65   69   61   
0.00/0.08	c 170            1192           9719           54179          38             121            42   43   38   
0.00/0.09	c 180            1271           10464          58130          38             130            51   67   51   
0.00/0.09	c 190            1325           10826          60387          38             137            42   43   38   
0.00/0.09	c 200            1391           11343          63127          38             147            50   57   48   
0.00/0.09	c 210            1445           11703          65384          38             154            42   43   38   
0.00/0.09	c 211            1483           11888          65796          38             155            38   38   19   
0.09/0.10	c 220            1560           12759          69702          38             160            61   64   57   
0.09/0.10	c 230            1631           13364          74471          38             170            43   61   48   
0.09/0.10	c 240            1700           13990          78690          38             180            43   59   45   
0.09/0.10	c 250            1750           14347          81350          38             187            38   39   35   
0.09/0.11	c 260            1800           14657          83676          38             194            38   39   35   
0.09/0.11	c 270            1850           15050          85508          38             198            39   39   35   
0.09/0.11	c 280            1900           15375          86989          38             202            39   39   35   
0.09/0.11	c 290            1972           16149          92271          38             210            53   61   52   
0.09/0.11	c 300            2033           16606          94896          38             216            43   49   42   
0.09/0.12	c 310            2083           16958          97495          38             223            38   39   35   
0.09/0.12	c 320            2155           17595          101542         38             231            46   62   47   
0.09/0.12	c 330            2218           18080          105517         38             241            43   50   41   
0.09/0.12	c 332            2261           18319          106445         38             243            42   42   28   
0.09/0.12	c 340            2309           18626          108579         38             247            38   39   34   
0.09/0.13	c 350            2375           19220          114460         38             256            51   57   48   
0.09/0.13	c 360            2425           19568          116916         38             263            38   39   35   
0.09/0.13	c 370            2508           20572          122014         38             266            61   69   60   
0.09/0.13	c 380            2559           20884          124031         38             272            39   40   36   
0.09/0.13	c 390            2625           21376          127685         38             280            45   54   45   
0.09/0.14	c 400            2676           21688          129702         38             286            39   40   36   
0.09/0.14	c 410            2748           22302          134932         38             291            50   54   47   
0.09/0.14	c 420            2829           23164          141177         38             301            47   64   51   
0.09/0.14	c 430            2883           23556          143615         38             308            42   43   38   
0.09/0.15	c 440            2958           24288          148189         38             315            54   60   52   
0.09/0.15	c 450            3019           24753          150817         38             321            43   49   42   
0.09/0.15	c 460            3069           25146          152637         38             325            39   39   35   
0.09/0.15	c 465            3116           25432          154064         38             328            42   43   35   
0.09/0.15	c 470            3183           26031          157534         38             333            57   63   50   
0.09/0.16	c 480            3234           26343          159551         38             339            39   40   36   
0.09/0.16	c 490            3303           26903          162866         38             343            51   59   52   
0.09/0.16	c 500            3379           27833          168370         38             350            57   65   56   
0.09/0.16	c 510            3468           28341          170758         39             356            38   42   36   
0.09/0.17	c 520            3543           29178          175895         39             363            55   64   54   
0.09/0.17	c 530            3610           29741          179193         39             371            43   56   42   
0.09/0.17	c 540            3690           30526          183441         39             376            60   70   59   
0.09/0.18	c 550            3780           31052          186343         39             380            38   42   36   
0.09/0.18	c 560            3854           31858          190778         39             382            59   64   57   
0.09/0.18	c 570            3931           32622          195453         39             392            43   68   51   
0.09/0.19	c 580            4006           33316          199419         39             399            43   64   51   
0.09/0.19	c 590            4075           33865          202543         39             406            43   58   49   
0.09/0.19	c 600            4164           34924          208300         39             409            58   65   56   
0.09/0.19	c 610            4219           35315          211230         39             418            38   45   38   
0.09/0.19	c 611            4258           35521          211800         39             419            39   39   19   
0.19/0.20	c 620            4308           35833          213485         39             424            39   39   35   
0.19/0.20	c 630            4360           36180          215393         39             433            39   42   36   
0.19/0.20	c 640            4439           37062          220223         39             438            50   69   58   
0.19/0.20	c 650            4518           37842          224992         39             448            47   70   54   
0.19/0.21	c 660            4591           38613          230568         39             456            53   62   53   
0.19/0.21	c 670            4674           39655          235836         39             464            46   69   56   
0.19/0.22	c 680            4752           40417          239378         39             474            43   67   52   
0.19/0.22	c 690            4836           41453          245497         39             479            67   70   63   
0.19/0.22	c 700            4907           42177          249324         39             489            43   62   51   
0.19/0.23	c 710            4971           42787          255520         39             499            43   55   48   
0.19/0.23	c 720            5045           43553          260382         39             508            43   63   48   
0.19/0.23	c 730            5122           44275          264059         39             517            43   60   52   
0.19/0.24	c 740            5189           45025          268277         39             527            43   58   50   
0.19/0.24	c 750            5239           45411          269935         39             531            39   39   35   
0.19/0.24	c 760            5329           46689          277467         39             536            63   69   59   
0.19/0.25	c 770            5398           47604          281929         39             546            43   60   50   
0.19/0.25	c 771            5441           47867          282836         39             547            43   43   21   
0.19/0.25	c 780            5515           48691          288043         39             553            61   64   56   
0.19/0.26	c 790            5599           49633          293727         39             559            67   72   62   
0.19/0.26	c 800            5692           50877          300642         39             563            63   71   59   
0.19/0.26	c 810            5764           51541          304060         39             566            60   61   54   
0.19/0.27	c 820            5837           52241          308521         39             576            43   64   50   
0.19/0.27	c 830            5909           53041          312440         39             585            56   63   53   
0.19/0.27	c 840            5977           53968          319858         39             595            56   58   52   
0.19/0.28	c 850            6050           54857          325351         39             604            53   62   54   
0.19/0.28	c 860            6123           55687          330834         39             609            57   63   54   
0.19/0.28	c 870            6188           56264          334081         39             615            43   54   46   
0.19/0.29	c 880            6253           56798          336778         39             621            43   54   46   
0.19/0.29	c 890            6326           57724          342463         39             624            58   62   53   
0.29/0.30	c 900            6398           59062          349292         39             627            59   60   54   
0.29/0.30	c 910            6482           60203          354740         39             631            62   65   58   
0.29/0.30	c 920            6556           60908          358617         39             641            43   65   53   
0.29/0.31	c 930            6621           61483          361577         39             647            43   54   46   
0.29/0.31	c 940            6699           62243          367628         39             654            57   60   53   
0.29/0.31	c 947            6763           62859          371089         39             661            42   58   48   
0.29/0.31	c 950            6824           63431          374278         39             664            55   59   43   
0.29/0.32	c 960            6889           64005          377513         39             670            51   54   47   
0.29/0.32	c 970            6954           64533          380196         39             676            51   54   47   
0.29/0.32	c 980            7027           65405          385345         39             679            58   60   54   
0.29/0.33	c 990            7105           66405          391030         39             687            55   65   54   
0.29/0.33	c 1000           7170           67125          398739         39             697            55   56   50   
0.29/0.33	c 1010           7252           68007          403875         39             703            57   70   58   
0.29/0.34	c 1020           7332           68998          409511         39             709            55   64   56   
0.29/0.34	c 1030           7411           69840          413941         39             715            56   62   54   
0.29/0.34	c 1040           7476           70360          416843         39             721            49   54   46   
0.29/0.35	c 1050           7544           71045          421017         39             727            55   58   51   
0.29/0.35	c 1060           7608           71552          423783         39             732            49   53   46   
0.29/0.35	c 1070           7673           72099          427351         39             738            49   54   46   
0.29/0.35	c 1080           7737           72623          430068         39             742            49   53   45   
0.29/0.35	c 1090           7801           73144          433247         39             747            49   53   46   
0.29/0.36	c 1100           7870           73916          437724         39             757            56   58   52   
0.29/0.36	c 1110           7935           74452          440618         39             760            49   53   45   
0.29/0.36	c 1120           7999           74991          443697         39             764            49   53   45   
0.29/0.37	c 1130           8065           75582          447183         39             770            55   56   50   
0.29/0.37	c 1140           8125           76027          449344         39             778            49   50   45   
0.29/0.37	c 1141           8183           76577          451782         39             779            58   58   29   
0.29/0.37	c 1150           8243           77031          454009         39             785            50   50   45   
0.29/0.37	c 1160           8316           77792          458201         39             794            56   64   53   
0.29/0.38	c 1170           8386           78366          461527         39             798            57   59   52   
0.29/0.38	c 1180           8466           79345          466464         39             802            57   62   54   
0.29/0.38	c 1190           8543           80214          471285         39             812            55   64   55   
0.29/0.39	c 1200           8614           80922          476039         39             822            47   62   50   
0.29/0.39	c 1210           8684           81598          480721         39             830            46   59   46   
0.29/0.39	c 1220           8753           82486          485821         39             836            55   58   51   
0.39/0.40	c 1230           8839           83411          490677         39             839            55   71   62   
0.39/0.40	c 1240           8911           84508          499706         39             849            55   60   52   
0.39/0.41	c 1250           8998           85610          504956         39             855            56   67   56   
0.39/0.41	c 1260           9082           86660          509873         39             865            50   69   51   
0.39/0.41	c 1270           9138           87014          511865         39             873            38   46   39   
0.39/0.42	c 1280           9224           88287          518729         39             876            67   69   62   
0.39/0.42	c 1290           9305           89588          525511         39             881            60   61   55   
0.39/0.43	c 1300           9378           90502          531991         39             888            55   59   51   
0.39/0.43	c 1310           9463           91701          538128         39             894            64   70   60   
0.39/0.43	c 1320           9515           92077          540583         39             901            40   41   37   
0.39/0.44	c 1330           9572           92482          543258         39             908            39   46   37   
0.39/0.44	c 1340           9645           93624          548740         39             916            55   61   52   
0.39/0.44	c 1350           9697           93999          551195         39             923            40   41   37   
0.39/0.44	c 1352           9745           94342          552793         39             924            47   47   31   
0.39/0.45	c 1360           9818           95104          556781         39             927            61   64   56   
0.39/0.45	c 1370           9870           95480          559236         39             934            40   41   37   
0.39/0.45	c 1380           9932           95944          562301         39             940            47   51   43   
0.39/0.45	c 1390           10000          96482          566797         39             948            45   54   46   
0.39/0.46	c 1400           10061          97035          570159         39             953            41   50   38   
0.39/0.46	c 1410           10115          97393          571918         39             958            43   43   39   
0.39/0.46	c 1420           10185          98260          576857         39             966            58   59   52   
0.39/0.46	c 1430           10247          98751          579629         39             970            51   51   46   
0.39/0.47	c 1440           10317          99297          583059         39             978            50   56   49   
0.39/0.47	c 1450           10374          99717          585830         39             985            39   46   37   
0.39/0.47	c 1460           10449          100428         589531         39             990            43   64   54   
0.39/0.47	c 1470           10508          101065         595792         39             1000           50   50   45   
0.39/0.48	c 1480           10593          102037         600290         39             1004           61   72   59   
0.39/0.48	c 1490           10650          102484         602939         39             1013           43   47   40   
0.39/0.48	c 1500           10726          103458         606914         39             1018           64   64   58   
0.39/0.48	c 1510           10778          103833         609369         39             1025           40   41   37   
0.39/0.49	c 1520           10856          104534         613863         39             1035           51   69   55   
0.39/0.49	c 1530           10908          104910         616318         39             1042           40   41   37   
0.39/0.49	c 1540           10989          105711         621178         39             1051           66   69   60   
0.39/0.49	c 1550           11041          106082         623523         39             1058           40   41   37   
0.49/0.50	c 1560           11126          107204         628898         39             1063           66   69   62   
0.49/0.50	c 1570           11180          107616         631089         39             1072           40   44   39   
0.49/0.50	c 1580           11263          108655         636050         39             1075           66   69   62   
0.49/0.51	c 1585           11309          108965         637666         39             1079           40   41   33   
0.49/0.51	c 1590           11381          109696         641218         39             1084           66   66   55   
0.49/0.51	c 1600           11442          110228         644295         39             1089           41   50   38   
0.49/0.51	c 1610           11519          110836         649511         39             1091           51   54   48   
0.49/0.52	c 1620           11575          111213         652175         39             1099           39   46   38   
0.49/0.52	c 1630           11648          111790         655930         39             1108           51   59   50   
0.49/0.52	c 1640           11728          112765         661260         39             1113           57   67   56   
0.49/0.52	c 1650           11789          113206         663521         39             1123           50   52   46   
0.49/0.53	c 1660           11869          114206         667702         39             1127           60   66   57   
0.49/0.53	c 1670           11932          114667         670477         39             1132           50   52   46   
0.49/0.53	c 1680           11989          115097         673155         39             1139           39   46   37   
0.49/0.53	c 1690           12052          115585         675410         39             1147           51   52   46   
0.49/0.54	c 1700           12136          116838         680647         39             1150           60   63   55   
0.49/0.54	c 1710           12198          117289         682658         39             1155           52   52   47   
0.49/0.54	c 1720           12255          117720         685336         39             1162           39   46   37   
0.49/0.54	c 1730           12318          118176         687583         39             1171           51   52   46   
0.49/0.55	c 1740           12389          118949         691644         39             1177           57   61   52   
0.49/0.55	c 1750           12466          119725         696323         39             1183           47   65   52   
0.49/0.55	c 1760           12525          120234         699154         39             1192           44   48   42   
0.49/0.56	c 1770           12596          120815         702363         39             1201           51   61   49   
0.49/0.56	c 1780           12652          121187         705028         39             1209           39   46   38   
0.49/0.56	c 1790           12725          122009         712462         39             1219           61   64   55   
0.49/0.56	c 1800           12790          122559         716584         39             1228           39   55   41   
0.49/0.57	c 1810           12870          123475         721593         39             1232           64   64   58   
0.49/0.57	c 1820           12922          123830         723923         39             1239           40   41   37   
0.49/0.57	c 1830           13002          124621         727785         39             1245           47   68   51   
0.49/0.57	c 1840           13054          124977         730115         39             1252           40   41   37   
0.49/0.58	c 1841           13118          125580         732744         39             1253           64   64   32   
0.49/0.58	c 1850           13186          126193         735962         39             1259           46   54   46   
0.49/0.58	c 1860           13265          127195         740349         39             1260           59   67   57   
0.49/0.58	c 1870           13317          127550         742679         39             1267           40   41   37   
0.49/0.59	c 1880           13404          128596         748040         39             1275           55   66   54   
0.49/0.59	c 1890           13485          129597         753356         39             1279           62   65   58   
0.49/0.59	c 1900           13552          130229         757260         39             1284           46   54   47   
0.59/0.60	c 1910           13629          131085         761414         39             1292           47   66   52   
0.59/0.60	c 1920           13690          131588         764449         39             1297           41   50   38   
0.59/0.60	c 1930           13766          132209         769647         39             1303           50   55   48   
0.59/0.61	c 1940           13847          133198         774258         39             1309           65   68   60   
0.59/0.61	c 1950           13932          134378         782093         39             1315           51   57   49   
0.59/0.61	c 1960           13986          134741         784089         39             1324           38   44   38   
0.59/0.62	c 1970           14061          135674         788697         39             1331           62   64   57   
0.59/0.62	c 1980           14153          136816         793845         39             1336           65   68   61   
0.59/0.63	c 1990           14216          137425         798082         39             1342           50   52   46   
0.59/0.63	c 2000           14277          137866         800343         39             1352           50   52   46   
0.59/0.63	c 2010           14369          138829         805701         39             1355           63   70   61   
0.59/0.63	c 2020           14443          139682         810054         39             1362           51   57   49   
0.59/0.64	c 2030           14508          140243         813346         39             1372           50   56   49   
0.59/0.64	c 2040           14581          141246         818846         39             1374           55   62   53   
0.59/0.65	c 2050           14667          142214         823230         39             1384           56   72   56   
0.59/0.65	c 2060           14727          142662         825684         39             1393           43   50   41   
0.59/0.65	c 2070           14803          143270         830312         39             1395           50   54   47   
0.59/0.65	c 2080           14857          143647         832265         39             1404           40   44   39   
0.59/0.65	c 2090           14924          144236         835216         39             1409           53   55   49   
0.59/0.66	c 2100           15004          145193         840937         39             1414           63   66   58   
0.59/0.66	c 2110           15075          145777         844299         39             1422           46   61   45   
0.59/0.66	c 2120           15160          146767         848881         39             1428           65   68   60   
0.59/0.67	c 2122           15206          147082         850184         39             1430           44   44   29   
0.59/0.67	c 2130           15284          147896         853861         39             1438           53   69   55   
0.59/0.67	c 2140           15359          148773         859338         39             1443           50   57   48   
0.59/0.68	c 2150           15442          149795         864244         39             1446           65   68   61   
0.59/0.68	c 2160           15548          150732         869222         39             1452           38   59   44   
0.59/0.68	c 2170           15621          151604         874349         39             1457           59   64   55   
0.59/0.69	c 2180           15702          152534         878570         39             1463           64   68   60   
0.59/0.69	c 2190           15754          152890         880898         39             1470           40   41   37   
0.59/0.69	c 2200           15844          153999         886774         39             1478           58   65   56   
0.69/0.70	c 2210           15924          155068         892341         39             1481           63   65   58   
0.69/0.70	c 2220           15980          155440         894991         39             1489           39   46   38   
0.69/0.70	c 2230           16053          156019         898744         39             1498           51   59   50   
0.69/0.71	c 2240           16137          157028         904000         39             1501           63   70   60   
0.69/0.71	c 2250           16228          158016         908891         39             1506           60   74   61   
0.69/0.71	c 2260           16280          158372         911219         39             1513           40   41   37   
0.69/0.72	c 2270           16354          159267         915973         39             1514           62   63   57   
0.69/0.72	c 2280           16416          159724         918651         39             1523           45   52   43   
0.69/0.72	c 2290           16479          160185         921424         39             1528           50   52   46   
0.69/0.72	c 2300           16561          161220         927834         39             1532           63   65   58   
0.69/0.73	c 2310           16639          161919         931046         39             1538           53   57   50   
0.69/0.73	c 2320           16710          162550         933769         39             1542           54   54   49   
0.69/0.73	c 2330           16795          163559         938905         39             1548           63   70   59   
0.69/0.74	c 2340           16856          164057         941914         39             1553           41   50   38   
0.69/0.74	c 2350           16927          164660         944992         39             1559           51   59   52   
0.69/0.74	c 2360           17011          165610         950298         39             1565           61   68   58   
0.69/0.74	c 2370           17063          165966         952626         39             1572           40   41   37   
0.69/0.75	c 2380           17136          166772         957200         39             1580           55   62   52   
0.69/0.75	c 2390           17197          167269         960155         39             1585           41   50   38   
0.69/0.75	c 2400           17268          167855         963675         39             1593           57   59   52   
0.69/0.76	c 2410           17352          168864         969151         39             1600           64   68   59   
0.69/0.76	c 2420           17427          169803         974790         39             1605           59   64   55   
0.69/0.76	c 2430           17508          170735         979429         39             1606           68   68   61   
0.69/0.77	c 2431           17558          171120         981045         39             1607           50   50   25   
0.69/0.77	c 2440           17634          171955         984982         39             1615           58   66   55   
0.69/0.77	c 2450           17686          172310         987310         39             1622           40   41   37   
0.69/0.77	c 2460           17756          173049         991583         39             1631           55   60   52   
0.69/0.78	c 2470           17834          174033         996531         39             1633           65   66   59   
0.69/0.78	c 2480           17928          174889         999949         39             1637           57   59   53   
0.69/0.78	c 2490           17985          175270         1002632        39             1647           38   48   38   
0.69/0.79	c 2500           18077          176404         1007725        39             1652           65   68   61   
0.69/0.79	c 2510           18140          177000         1011944        39             1658           50   52   46   
0.69/0.79	c 2520           18203          177489         1014197        39             1666           51   52   46   
0.79/0.80	c 2530           18286          178266         1018371        39             1673           60   70   60   
0.79/0.80	c 2540           18338          178621         1020699        39             1680           40   41   37   
0.79/0.80	c 2550           18411          179636         1025883        39             1687           59   60   53   
0.79/0.81	c 2560           18496          180630         1030453        39             1693           65   68   60   
0.79/0.81	c 2570           18588          181502         1034456        39             1695           51   59   51   
0.79/0.81	c 2580           18665          182343         1038245        39             1705           51   62   52   
0.79/0.82	c 2590           18726          182842         1041269        39             1710           41   50   38   
0.79/0.82	c 2600           18805          183618         1045421        39             1720           62   70   61   
0.79/0.82	c 2610           18866          184116         1048430        39             1725           41   50   38   
0.79/0.82	c 2620           18945          184883         1052546        39             1735           62   70   61   
0.79/0.83	c 2630           19016          185588         1056034        39             1738           50   55   49   
0.79/0.83	c 2640           19103          186667         1060830        39             1745           59   70   59   
0.79/0.84	c 2650           19178          187755         1065668        39             1750           38   60   50   
0.79/0.84	c 2660           19249          188509         1070417        39             1754           52   59   51   
0.79/0.84	c 2670           19331          189529         1075741        39             1760           68   68   61   
0.79/0.85	c 2680           19409          190357         1080315        39             1763           52   55   49   
0.79/0.85	c 2690           19486          191149         1084327        39             1766           61   68   60   
0.79/0.85	c 2700           19547          191652         1087468        39             1771           41   50   38   
0.79/0.86	c 2710           19618          192255         1090546        39             1777           51   59   52   
0.79/0.86	c 2720           19704          193242         1095823        39             1779           66   70   62   
0.79/0.86	c 2730           19766          193972         1100212        39             1783           50   51   46   
0.79/0.86	c 2740           19837          194557         1103732        39             1791           57   59   52   
0.79/0.87	c 2750           19922          195619         1109668        39             1794           63   68   59   
0.79/0.87	c 2760           19993          196316         1113123        39             1797           50   55   49   
0.79/0.88	c 2770           20075          197341         1118137        39             1807           65   70   62   
0.79/0.88	c 2771           20115          197565         1118717        39             1808           40   40   20   
0.79/0.88	c 2780           20208          198765         1124561        39             1811           66   68   60   
0.79/0.89	c 2790           20286          199600         1129105        39             1814           52   55   49   
0.79/0.89	c 2800           20375          200637         1134550        39             1818           65   72   63   
0.79/0.89	c 2810           20427          200991         1136793        39             1825           40   41   37   
0.89/0.91	c 2820           20502          201818         1141607        39             1831           57   62   54   
0.89/0.91	c 2830           20576          202502         1144865        39             1838           50   63   53   
0.89/0.91	c 2840           20664          203499         1149356        39             1846           55   64   52   
0.89/0.91	c 2850           20746          204262         1152676        39             1854           53   59   51   
0.89/0.91	c 2860           20805          204676         1154807        39             1863           48   49   43   
0.89/0.91	c 2870           20895          205742         1159938        39             1868           64   70   60   
0.89/0.91	c 2880           20956          206245         1162966        39             1873           41   50   38   
0.89/0.92	c 2890           21031          206961         1168466        39             1883           61   66   55   
0.89/0.92	c 2900           21106          208011         1173163        39             1888           38   60   50   
0.89/0.93	c 2910           21191          209132         1178879        39             1893           58   65   57   
0.89/0.93	c 2920           21243          209488         1181207        39             1900           40   41   37   
0.89/0.93	c 2930           21321          210378         1186056        39             1904           61   62   55   
0.89/0.94	c 2940           21399          211362         1190981        39             1906           65   66   59   
0.89/0.94	c 2950           21459          211819         1194388        39             1913           39   50   39   
0.89/0.94	c 2960           21535          212792         1199610        39             1920           62   66   57   
0.89/0.94	c 2970           21587          213148         1201938        39             1927           40   41   37   
0.89/0.95	c 2980           21665          214065         1206778        39             1928           58   62   54   
0.89/0.95	c 2990           21717          214421         1209106        39             1935           40   41   37   
0.89/0.95	c 3000           21789          215145         1212871        39             1943           57   60   53   
0.89/0.96	c 3010           21874          216197         1218146        39             1947           65   68   61   
0.89/0.96	c 3020           21926          216553         1220474        39             1954           40   41   37   
0.89/0.96	c 3030           22002          217390         1224871        39             1960           57   62   54   
0.89/0.96	c 3040           22083          218400         1229726        39             1965           65   68   60   
0.89/0.97	c 3050           22162          219560         1236866        39             1975           50   65   56   
0.89/0.97	c 3060           22214          219920         1239302        39             1982           40   41   37   
0.89/0.98	c 3070           22298          220904         1244167        39             1990           57   65   55   
0.89/0.98	c 3080           22390          222021         1250151        39             1994           66   71   61   
0.89/0.98	c 3090           22442          222377         1252479        39             2001           40   41   37   
0.89/0.99	c 3100           22535          223436         1257991        39             2003           58   65   57   
0.89/0.99	c 3110           22587          223792         1260319        39             2010           40   41   37   
0.89/0.99	c 3120           22667          224669         1264833        39             2017           62   65   57   
0.89/0.99	c 3130           22728          225167         1267803        39             2022           41   50   38   
0.99/1.00	c 3140           22806          226002         1272907        39             2028           62   68   59   
0.99/1.00	c 3142           22849          226281         1274398        39             2030           41   41   27   
0.99/1.00	c 3150           22922          227075         1278408        39             2034           61   64   54   
0.99/1.00	c 3160           22977          227438         1280261        39             2044           39   45   38   
0.99/1.01	c 3170           23063          228469         1285073        39             2052           60   65   57   
0.99/1.01	c 3180           23152          229657         1291192        39             2055           62   69   60   
0.99/1.01	c 3190           23204          230013         1293520        39             2062           40   41   37   
0.99/1.02	c 3200           23282          230876         1297959        39             2066           61   64   56   
0.99/1.02	c 3210           23339          231290         1300106        39             2071           45   45   40   
0.99/1.02	c 3220           23414          232256         1305337        39             2075           58   62   54   
0.99/1.03	c 3230           23491          232936         1308923        39             2084           50   67   51   
0.99/1.03	c 3240           23572          233856         1313992        39             2087           58   59   53   
0.99/1.03	c 3250           23624          234212         1316320        39             2094           40   41   37   
0.99/1.04	c 3260           23704          235410         1322975        39             2101           62   64   56   
0.99/1.04	c 3270           23769          235922         1326359        39             2110           43   55   42   
0.99/1.04	c solution 1
0.99/1.04	
0.99/1.04	v <instantiation type='solution'>
0.99/1.04	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] </list>
0.99/1.04	v <values>32 23 48 2 19 37 79 72 57 81 17 9 41 1 3 74 67 76 58 36 38 40 80 51 6 33 27 4 65 18 12 14 53 62 71 70 43 52 75 77 78 10 16 11 7 46 54 63 5 56 66 25 20 34 29 13 35 73 59 61 42 26 31 68 60 28 69 15 24 44 39 22 8 49 55 50 47 64 21 30 45 </values>
0.99/1.04	v </instantiation>
0.99/1.04	
0.99/1.04	c restarts              : 342         
0.99/1.04	c conflicts             : 3270         (3132 /sec)
0.99/1.04	c decisions             : 23850        (22845 /sec)
0.99/1.04	c propagations          : 1329536     (1273497 /sec)
0.99/1.04	c root propagations     : 148         
0.99/1.04	c filter calls          : 236608         (226635 /sec)
0.99/1.04	c useless filter calls  : 166127         (70 %)
0.99/1.04	c
0.99/1.04	c clauses               : 264712
0.99/1.04	c SAT propagations      : 5034
0.99/1.04	c SAT conflicts         : 0 (0 learnts)
0.99/1.04	c Memory used           : 37.19 MB
0.99/1.04	c CPU time              : 1.04395 s
0.99/1.04	
0.99/1.04	s SATISFIABLE

OK	

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242049-1500653839/watcher-4242049-1500653839 -o /tmp/evaluation-result-4242049-1500653839/solver-4242049-1500653839 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9871 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242049-1500653839.xml 

pid=11600
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 2.10 2.06 2.04 3/242 11603
/proc/meminfo: memFree=32020372/32770624 swapFree=5664/190648
[pid=11603] ppid=11600 vsize=32332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (cosoco) R 11600 11603 9838 0 -1 4202496 1299 0 0 0 0 0 0 0 20 0 1 0 653077 33107968 1607 33554432000 4194304 5970956 140733184786048 140733184782648 5279833 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30646272 140733184787644 140733184787779 140733184787779 140733184790478 0
/proc/11603/statm: 8083 1607 771 434 0 1447 0

[startup+0.100124 s]
/proc/loadavg: 2.10 2.06 2.04 3/242 11603
/proc/meminfo: memFree=32020372/32770624 swapFree=5664/190648
[pid=11603] ppid=11600 vsize=38076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (cosoco) R 11600 11603 9838 0 -1 4202496 2711 0 0 0 9 0 0 0 20 0 1 0 653077 38989824 3573 33554432000 4194304 5970956 140733184786048 140733184783384 5039152 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30646272 140733184787644 140733184787779 140733184787779 140733184790478 0
/proc/11603/statm: 9519 3573 796 434 0 2883 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38076

[startup+0.200297 s]
/proc/loadavg: 2.10 2.06 2.04 3/242 11603
/proc/meminfo: memFree=32020372/32770624 swapFree=5664/190648
[pid=11603] ppid=11600 vsize=38076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (cosoco) R 11600 11603 9838 0 -1 4202496 2719 0 0 0 19 0 0 0 20 0 1 0 653077 38989824 3573 33554432000 4194304 5970956 140733184786048 140733184783384 4974808 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30646272 140733184787644 140733184787779 140733184787779 140733184790478 0
/proc/11603/statm: 9519 3573 796 434 0 2883 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38076

[startup+0.300233 s]
/proc/loadavg: 2.10 2.06 2.04 3/242 11603
/proc/meminfo: memFree=32020372/32770624 swapFree=5664/190648
[pid=11603] ppid=11600 vsize=38076 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (cosoco) R 11600 11603 9838 0 -1 4202496 2723 0 0 0 29 0 0 0 20 0 1 0 653077 38989824 3573 33554432000 4194304 5970956 140733184786048 140733184783384 4970568 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30646272 140733184787644 140733184787779 140733184787779 140733184790478 0
/proc/11603/statm: 9519 3573 796 434 0 2883 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38076

[startup+0.70019 s]
/proc/loadavg: 2.10 2.06 2.04 3/242 11603
/proc/meminfo: memFree=32020372/32770624 swapFree=5664/190648
[pid=11603] ppid=11600 vsize=38076 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (cosoco) R 11600 11603 9838 0 -1 4202496 2735 0 0 0 69 0 0 0 20 0 1 0 653077 38989824 3573 33554432000 4194304 5970956 140733184786048 140733184783384 4976731 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30646272 140733184787644 140733184787779 140733184787779 140733184790478 0
/proc/11603/statm: 9519 3573 796 434 0 2883 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38076

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11603 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.800237 s]
/proc/loadavg: 2.10 2.06 2.04 3/242 11603
/proc/meminfo: memFree=32020372/32770624 swapFree=5664/190648
[pid=11603] ppid=11600 vsize=38076 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (cosoco) R 11600 11603 9838 0 -1 4202496 2738 0 0 0 79 0 0 0 20 0 1 0 653077 38989824 3573 33554432000 4194304 5970956 140733184786048 140733184783384 4974270 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30646272 140733184787644 140733184787779 140733184787779 140733184790478 0
/proc/11603/statm: 9519 3573 796 434 0 2883 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 38076

[startup+1.00018 s]
/proc/loadavg: 2.10 2.06 2.04 3/242 11603
/proc/meminfo: memFree=32020372/32770624 swapFree=5664/190648
[pid=11603] ppid=11600 vsize=38076 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/11603/stat : 11603 (cosoco) R 11600 11603 9838 0 -1 4202496 2747 0 0 0 99 0 0 0 20 0 1 0 653077 38989824 3573 33554432000 4194304 5970956 140733184786048 140733184783384 5098928 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30646272 140733184787644 140733184787779 140733184787779 140733184790478 0
/proc/11603/statm: 9519 3573 796 434 0 2883 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 38076

Child status: 0
Real time (s): 1.04858
CPU time (s): 1.048
CPU user time (s): 1.044
CPU system time (s): 0.003998
CPU usage (%): 99.9448
Max. virtual memory (cumulated for all children) (KiB): 38076

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017836 second user time and 0.035673 second system time

The end

Begin job on node114 at 2017-07-21 18:17:19
IDJOB=4242049
IDBENCH=133209
IDSOLVER=2621
FILE ID=node114/4242049-1500653839
RUNJOBID= node114-1500648178-9871
PBS_JOBID= 20623304
Free space on /tmp= 62008 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f50-12.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242049-1500653839/watcher-4242049-1500653839 -o /tmp/evaluation-result-4242049-1500653839/solver-4242049-1500653839 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9871 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242049-1500653839.xml

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

MD5SUM BENCH= 2e473dae547e5e185f8a7aab72fd0dc2
RANDOM SEED=155689999

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32020728 kB
MemAvailable:   32010596 kB
Buffers:           33968 kB
Cached:           266324 kB
SwapCached:            0 kB
Active:           174128 kB
Inactive:         199484 kB
Active(anon):      76352 kB
Inactive(anon):     8836 kB
Active(file):      97776 kB
Inactive(file):   190648 kB
Unevictable:        5664 kB
Mlocked:            5664 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1960 kB
Writeback:             0 kB
AnonPages:         63004 kB
Mapped:            30448 kB
Shmem:              8848 kB
Slab:              67136 kB
SReclaimable:      34556 kB
SUnreclaim:        32580 kB
KernelStack:        4256 kB
PageTables:         5172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 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:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62008 MiB
End job on node114 at 2017-07-21 18:17:20