Trace number 4243134

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1SAT 0.334235 0.335782

General information on the benchmark

NameLatinSquare/LatinSquare-xcsp2-bqwh18-141/
bqwh-18-141-31_X2.xml
MD5SUMabc615a3402994e7b41e934fabdebd2e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.032960001
Satisfiable
(Un)Satisfiability was proved
Number of variables141
Number of constraints36
Number of domains132
Minimum domain size1
Maximum domain size7
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":9},{"size":3,"count":32},{"size":4,"count":50},{"size":5,"count":33},{"size":6,"count":14},{"size":7,"count":1}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":141}]
Minimum constraint arity7
Maximum constraint arity8
Distribution of constraint arities[{"arity":7,"count":6},{"arity":8,"count":30}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":36}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c SAT : Variables: 572 -- Clauses: 1105
0.00/0.01	c root propagations     : 10          
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.0 --  
0.00/0.01	c
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 141
0.00/0.01	c |            Domain Sizes: 1..7
0.00/0.01	c |
0.00/0.01	c |             Constraints: 36
0.00/0.01	c |                   Arity: 7..8
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 36
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 10             57             401            710            10             2              35   45   36   
0.00/0.01	c 20             120            780            1378           10             4              2   43   25    
0.00/0.02	c 30             263            1740           3138           10             10             3   99   38    
0.00/0.02	c 40             361            2400           4391           10             15             3   59   30    
0.00/0.02	c 50             444            2914           5298           10             22             3   59   32    
0.00/0.03	c 60             515            3305           5952           10             27             3   53   24    
0.00/0.03	c 70             616            4065           7447           10             28             32   56   41   
0.00/0.03	c 80             662            4341           7998           15             31             2   22   6     
0.00/0.03	c 90             750            4915           9110           15             36             3   51   29    
0.00/0.03	c 100            825            5482           10161          15             40             27   41   29   
0.00/0.03	c 101            828            5505           10200          15             41             3   3   1      
0.00/0.04	c 110            882            5817           10704          18             49             1   36   18    
0.00/0.04	c 120            1020           6587           11945          18             50             23   67   40   
0.00/0.04	c 130            1137           7428           13398          18             54             30   44   33   
0.00/0.04	c 140            1182           7682           13766          18             56             10   17   13   
0.00/0.04	c 150            1298           8239           14767          18             58             49   60   51   
0.00/0.05	c 160            1431           9142           16472          18             62             31   59   43   
0.00/0.05	c 170            1526           9745           17418          18             64             31   46   32   
0.00/0.05	c 180            1623           10552          18998          18             72             28   65   42   
0.00/0.05	c 190            1693           10927          19565          18             73             34   39   33   
0.00/0.06	c 200            1768           11592          20780          18             79             19   45   35   
0.00/0.06	c 210            1844           12014          21566          18             86             19   41   31   
0.00/0.06	c 211            1859           12092          21647          18             87             15   15   7    
0.00/0.06	c 220            1912           12277          21943          18             88             8   14   10    
0.00/0.06	c 230            2045           13026          23180          18             91             44   77   50   
0.00/0.07	c 240            2143           13853          24794          18             93             34   47   35   
0.00/0.07	c 250            2234           14537          26132          18             94             25   49   37   
0.00/0.07	c 260            2323           15222          27468          18             97             24   52   28   
0.00/0.08	c 270            2458           16379          29841          18             99             25   45   35   
0.00/0.08	c 280            2519           16798          30604          18             100            26   38   29   
0.00/0.08	c 290            2588           17266          31517          18             104            22   40   31   
0.00/0.08	c 300            2647           17877          33063          18             106            26   34   26   
0.00/0.08	c 310            2728           18470          34343          18             112            17   50   28   
0.00/0.08	c 320            2798           19081          35632          18             117            16   44   30   
0.00/0.09	c 330            2917           19954          37317          18             123            13   45   32   
0.00/0.09	c 332            2981           20311          37828          18             125            41   46   29   
0.00/0.09	c 340            3055           20721          38458          18             131            16   57   39   
0.00/0.09	c 350            3114           21163          39254          18             136            19   34   22   
0.00/0.09	c 360            3191           21656          40118          18             138            24   46   33   
0.00/0.10	c 370            3260           22291          41416          18             143            14   41   23   
0.09/0.10	c 380            3328           22663          41951          18             145            21   31   23   
0.09/0.10	c 390            3400           23092          42680          18             150            15   41   29   
0.09/0.10	c 400            3529           23929          44252          18             153            14   47   36   
0.09/0.10	c 410            3596           24399          45058          18             161            17   48   36   
0.09/0.10	c 420            3662           24907          46271          18             165            10   45   26   
0.09/0.11	c 430            3733           25489          47373          18             170            11   49   35   
0.09/0.11	c 440            3822           25955          48119          18             174            13   43   26   
0.09/0.11	c 450            3870           26302          48925          18             179            11   34   24   
0.09/0.11	c 460            3984           26924          50082          18             184            19   59   37   
0.09/0.11	c 465            4028           27209          50547          18             188            26   36   24   
0.09/0.11	c 470            4102           27786          51633          18             191            34   60   37   
0.09/0.11	c 480            4168           28281          52682          18             194            29   41   29   
0.09/0.12	c 490            4244           28805          53606          18             198            18   37   27   
0.09/0.12	c 500            4341           29334          54491          18             199            29   46   35   
0.09/0.12	c 510            4405           29715          55163          18             201            16   28   23   
0.09/0.12	c 520            4459           30109          55925          18             204            14   36   27   
0.09/0.12	c 530            4517           30688          57202          18             210            15   40   28   
0.09/0.12	c 540            4651           31435          58493          18             214            15   100   51  
0.09/0.13	c 550            4762           32262          60100          18             218            15   53   37   
0.09/0.13	c 560            4841           32761          61042          18             223            15   44   28   
0.09/0.13	c 570            4897           33172          61906          18             230            9   42   30    
0.09/0.13	c 580            4983           33766          63091          18             233            39   51   39   
0.09/0.13	c 590            5073           34280          64129          18             238            33   41   34   
0.09/0.13	c 600            5142           34658          64815          18             242            17   42   28   
0.09/0.13	c 610            5235           35218          65800          18             245            26   45   32   
0.09/0.14	c 611            5254           35314          65912          18             246            19   19   9    
0.09/0.14	c 620            5388           36189          67555          18             250            29   48   33   
0.09/0.14	c 630            5490           36937          69134          18             253            21   48   36   
0.09/0.14	c 640            5638           37687          70409          18             259            28   94   53   
0.09/0.14	c 650            5746           38349          71681          18             266            30   60   42   
0.09/0.15	c 660            5816           38874          72702          18             273            23   49   34   
0.09/0.15	c 670            5903           39399          73599          18             277            25   53   34   
0.09/0.15	c 680            6019           40033          74844          18             281            22   89   47   
0.09/0.15	c 690            6159           41048          76968          18             284            42   70   47   
0.09/0.15	c 700            6253           41599          77962          18             291            14   55   39   
0.09/0.16	c 710            6350           42213          79153          18             294            23   54   34   
0.09/0.16	c 720            6476           42914          80540          18             296            29   59   37   
0.09/0.16	c 730            6555           43422          81531          18             299            30   48   34   
0.09/0.16	c 740            6642           43902          82578          18             302            26   35   28   
0.09/0.16	c 750            6754           44710          84216          18             309            20   62   36   
0.09/0.16	c 760            6848           45221          85078          18             317            25   70   44   
0.09/0.16	c 770            6936           45780          86160          18             320            16   54   37   
0.09/0.17	c 771            6944           45828          86213          18             321            8   8   4      
0.09/0.17	c 780            7005           46126          86769          18             323            23   32   24   
0.09/0.17	c 790            7117           46899          88205          18             328            32   57   34   
0.09/0.17	c 800            7190           47289          88880          18             332            30   45   34   
0.09/0.17	c 810            7309           48051          90367          18             335            34   63   44   
0.09/0.17	c 820            7383           48643          91498          18             342            7   51   29    
0.09/0.17	c 830            7533           49413          92762          18             347            25   85   59   
0.09/0.18	c 840            7657           50308          94479          18             351            31   52   38   
0.09/0.18	c 850            7733           50819          95554          18             357            22   47   33   
0.09/0.18	c 860            7813           51288          96348          18             364            9   54   33    
0.09/0.18	c 870            7901           51920          97671          18             367            35   50   39   
0.09/0.18	c 880            7987           52520          98760          18             374            32   54   37   
0.09/0.18	conflict 32lvl : 34 bt34-311:0(166)X16415
0.09/0.18	c 890            8087           53106          99865          18             377            30   52   38   
0.09/0.19	c 900            8190           53932          101458         18             378            41   56   40   
0.09/0.19	c 910            8283           54404          102333         18             382            21   43   29   
0.09/0.19	c 920            8400           55189          103844         18             385            33   80   53   
0.09/0.19	c 930            8521           55836          104945         18             392            37   78   50   
0.09/0.19	c 940            8595           56351          105900         18             396            30   40   29   
0.09/0.19	c 947            8707           56851          106642         18             402            19   79   53   
0.09/0.19	c 950            8766           57190          107168         18             405            39   57   34   
0.09/0.19	c 960            8854           57889          108570         18             407            39   52   40   
0.19/0.20	c 970            8955           58521          109802         18             409            42   54   44   
0.19/0.20	c 980            9033           58929          110537         18             413            22   33   26   
0.19/0.20	c 990            9095           59325          111250         18             416            13   30   24   
0.19/0.20	c 1000           9177           59852          112432         18             420            23   43   33   
0.19/0.20	c 1010           9265           60494          113734         18             424            24   51   29   
0.19/0.20	c 1020           9327           60866          114396         18             429            27   44   32   
0.19/0.20	c 1030           9428           61802          116277         18             434            22   51   30   
0.19/0.21	c 1040           9533           62442          117571         18             439            31   52   40   
0.19/0.21	c 1050           9606           62887          118369         18             445            7   37   20    
0.19/0.21	c 1060           9665           63214          119008         18             449            12   29   16   
0.19/0.21	c 1070           9739           63617          119730         18             453            19   34   21   
0.19/0.21	c 1080           9823           64067          120519         18             459            9   45   25    
0.19/0.21	c 1090           9883           64446          121201         18             463            18   32   21   
0.19/0.21	c 1100           9932           64738          121698         18             467            15   22   15   
0.19/0.21	c 1110           9982           65005          122178         18             469            9   20   12    
0.19/0.21	c 1120           10039          65336          122763         18             472            12   24   14   
0.19/0.21	c 1130           10110          65727          123363         18             475            14   32   21   
0.19/0.21	c 1140           10173          66053          123954         18             477            10   23   16   
0.19/0.21	c 1141           10185          66122          124042         18             478            12   12   6    
0.19/0.21	c 1150           10259          66552          124876         18             481            33   44   33   
0.19/0.22	c 1160           10330          66969          125638         18             483            9   24   15    
0.19/0.22	c 1170           10398          67318          126196         18             487            11   22   14   
0.19/0.22	conflict 7lvl : 13 bt13-86:0(45)X19599
0.19/0.22	 -> -86:X(45)c 1180           10562          68123          127447         18             490            45   66   51   
0.19/0.22	c 1190           10621          68454          128056         18             493            8   18   11    
0.19/0.22	c 1200           10737          69138          129241         18             498            10   67   27   
0.19/0.22	c 1210           10802          69489          129775         18             504            10   33   18   
0.19/0.22	c 1220           10887          69934          130535         18             510            10   54   31   
0.19/0.22	c 1230           10968          70456          131396         18             515            21   46   34   
0.19/0.22	c 1240           11075          71097          132451         18             521            10   49   28   
0.19/0.23	c 1250           11165          71653          133455         18             527            8   54   33    
0.19/0.23	c 1260           11281          72308          134505         18             534            10   71   31   
0.19/0.23	c 1270           11352          72658          135021         18             542            1   45   18    
0.19/0.23	c 1280           11448          73139          135715         18             551            18   73   38   
0.19/0.23	c 1290           11527          73518          136238         18             557            11   33   20   
0.19/0.23	c 1300           11608          74033          137160         18             563            11   57   31   
0.19/0.23	c 1310           11699          74450          137737         18             568            8   62   34    
0.19/0.23	c 1320           11775          74804          138222         18             571            21   38   24   
0.19/0.23	c 1330           11866          75366          139181         18             575            10   51   30   
0.19/0.23	c 1340           12037          76429          141083         18             583            27   87   47   
0.19/0.24	c 1350           12164          77047          141970         18             586            39   72   51   
0.19/0.24	c 1352           12188          77169          142119         18             588            21   21   14   
0.19/0.24	c 1360           12261          77618          142933         18             590            19   45   30   
0.19/0.24	c 1370           12359          78223          144009         18             595            9   60   44    
0.19/0.24	c 1380           12436          78653          144772         18             602            12   48   28   
0.19/0.24	c 1390           12598          79664          146608         18             606            25   80   43   
0.19/0.24	c 1400           12676          80105          147320         18             611            17   33   23   
0.19/0.24	c 1410           12776          80701          148305         18             614            33   52   42   
0.19/0.25	c 1420           12905          81536          149829         18             619            10   58   34   
0.19/0.25	c 1430           12973          81874          150371         18             626            11   24   17   
0.19/0.25	c 1440           13047          82304          151110         18             629            10   45   26   
0.19/0.25	conflict 7lvl : 8 bt8-86:0(20)X23586
0.19/0.25	 -> -86:X(20)c 1450           13151          83154          152664         18             634            31   56   38   
0.19/0.25	c 1460           13252          83778          153759         18             640            11   55   30   
0.19/0.25	c 1470           13350          84298          154527         18             647            10   62   33   
0.19/0.25	c 1480           13429          84821          155493         18             650            8   66   30    
0.19/0.25	c 1490           13530          85413          156528         18             657            7   63   28    
0.19/0.26	c 1500           13611          85981          157557         18             664            3   43   20    
0.19/0.26	c 1510           13719          86732          158941         18             666            35   73   53   
0.19/0.26	c 1520           13842          87380          159924         18             669            10   51   38   
0.19/0.26	c 1530           13961          88028          160938         18             676            11   61   34   
0.19/0.26	c 1540           14108          88780          162119         18             682            12   78   45   
0.19/0.26	c 1550           14194          89379          163129         18             690            21   52   33   
0.19/0.26	c 1560           14364          90230          164481         18             693            40   75   50   
0.19/0.27	c 1570           14468          90918          165646         18             695            33   48   35   
0.19/0.27	c 1580           14586          91567          166756         18             702            19   64   44   
0.19/0.27	c 1585           14658          92001          167392         18             706            23   48   30   
0.19/0.27	c 1590           14736          92490          168080         18             711            39   57   39   
0.19/0.27	c 1600           14877          93481          169878         18             712            43   65   51   
0.19/0.27	c 1610           15022          94175          170898         18             721            19   72   44   
0.19/0.27	c 1620           15093          94536          171444         18             728            31   44   34   
0.19/0.27	c 1630           15168          94898          171960         18             731            15   30   21   
0.19/0.28	c 1640           15258          95458          172934         18             735            5   59   37    
0.19/0.28	c 1650           15345          95890          173602         18             736            15   23   17   
0.19/0.28	c 1660           15456          96557          174852         18             741            33   60   38   
0.19/0.28	c 1670           15564          97401          176406         18             746            18   53   35   
0.19/0.28	c 1680           15632          97838          177174         18             749            28   56   39   
0.19/0.28	c 1690           15726          98291          177884         18             754            9   57   27    
0.19/0.28	c 1700           15824          98863          178915         18             757            41   63   46   
0.19/0.28	c 1710           15974          99664          180344         18             759            12   58   38   
0.19/0.29	c 1720           16079          100255         181237         18             763            18   51   37   
0.19/0.29	c 1730           16229          101148         182808         18             765            17   59   38   
0.19/0.29	c 1740           16352          101799         183826         18             767            14   51   38   
0.19/0.29	c 1750           16494          102667         185391         18             771            17   59   37   
0.19/0.29	c 1760           16607          103423         186769         18             774            10   70   44   
0.19/0.29	c 1770           16745          104344         188514         18             777            34   63   42   
0.29/0.30	c 1780           16872          105014         189505         18             783            12   80   44   
0.29/0.30	c 1790           16970          105624         190570         19             786            1   58   38    
0.29/0.30	c 1800           17048          106020         191145         19             789            17   29   20   
0.29/0.30	c 1810           17162          106623         192117         19             791            32   57   37   
0.29/0.30	c 1820           17271          107225         193061         19             794            27   52   39   
0.29/0.30	c 1830           17381          107865         194122         19             798            28   48   35   
0.29/0.30	c 1840           17489          108396         194898         19             802            15   51   25   
0.29/0.30	c 1841           17511          108508         195013         19             803            22   22   11   
0.29/0.31	c 1850           17619          109135         196106         19             808            38   60   47   
0.29/0.31	c 1860           17714          109876         197435         19             813            25   50   39   
0.29/0.31	c 1870           17805          110520         198387         19             816            46   53   45   
0.29/0.31	c 1880           17897          111119         199467         19             821            15   47   29   
0.29/0.31	c 1890           17976          111532         200114         19             827            15   32   21   
0.29/0.31	c 1900           18062          111985         200795         19             832            7   66   39    
0.29/0.31	c 1910           18204          112925         202410         19             837            40   56   43   
0.29/0.32	c 1920           18350          114075         204572         19             840            27   52   35   
0.29/0.32	c 1930           18465          114674         205549         19             844            31   83   56   
0.29/0.32	c 1940           18567          115312         206588         19             850            30   47   33   
0.29/0.32	c 1950           18670          116002         207738         19             855            26   56   37   
0.29/0.32	c 1960           18745          116376         208270         19             857            13   26   16   
0.29/0.32	c 1970           18859          117002         209246         19             861            17   59   34   
0.29/0.32	c 1980           18936          117473         209994         19             863            33   56   42   
0.29/0.32	c 1990           19031          117977         210743         19             866            25   65   45   
0.29/0.33	c 2000           19123          118645         211900         19             870            30   46   33   
0.29/0.33	c 2010           19226          119249         212942         19             878            22   61   33   
0.29/0.33	c 2020           19294          119618         213461         19             884            14   44   30   
0.29/0.33	c 2030           19401          120298         214800         19             887            9   52   34    
0.29/0.33	c 2040           19479          120761         215548         19             891            19   45   29   
0.29/0.33	c solution 1
0.29/0.33	
0.29/0.33	v <instantiation type='solution'>
0.29/0.33	v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 </list>
0.29/0.33	v <values>17 14 12 15 2 3 9 16 8 12 14 5 0 3 16 2 6 3 16 12 17 11 7 15 4 7 3 16 6 1 5 10 15 5 8 16 9 3 0 7 14 12 6 9 5 4 6 8 0 14 2 17 3 16 3 5 9 14 10 12 6 5 4 16 3 6 15 9 14 16 17 0 9 11 3 10 15 0 16 1 5 7 13 9 3 8 6 12 4 3 5 16 13 9 16 14 5 4 1 3 17 10 14 4 16 9 5 8 15 0 1 5 2 10 12 14 8 7 1 6 10 8 14 5 4 14 7 12 9 13 5 11 10 9 15 6 17 5 4 0 14 </values>
0.29/0.33	v </instantiation>
0.29/0.33	
0.29/0.33	c restarts              : 215         
0.29/0.33	c conflicts             : 2045         (6234 /sec)
0.29/0.33	c decisions             : 19625        (59828 /sec)
0.29/0.33	c propagations          : 216304      (659417 /sec)
0.29/0.33	c root propagations     : 10          
0.29/0.33	c filter calls          : 121377         (370026 /sec)
0.29/0.33	c useless filter calls  : 69894          (57 %)
0.29/0.33	c
0.29/0.33	c clauses               : 1995
0.29/0.33	c SAT propagations      : 850
0.29/0.33	c SAT conflicts         : 2 (3 learnts)
0.29/0.33	c Memory used           : 31.01 MB
0.29/0.33	c CPU time              : 0.327986 s
0.29/0.33	
0.29/0.33	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243134-1500667387/watcher-4243134-1500667387 -o /tmp/evaluation-result-4243134-1500667387/solver-4243134-1500667387 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500648173-9852 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4243134-1500667387.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11924
/proc/meminfo: memFree=32017816/32770624 swapFree=5760/199216
[pid=11924] ppid=11921 vsize=27124 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11924/stat : 11924 (cosoco) R 11921 11924 9821 0 -1 4202496 1011 0 0 0 1 0 0 0 20 0 1 0 2005018 27774976 833 33554432000 4194304 5970956 140735442669056 140735442665704 140524759167069 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 17055744 140735442674876 140735442675011 140735442675011 140735442677710 0
/proc/11924/statm: 6781 833 712 434 0 145 0

[startup+0.100126 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11924
/proc/meminfo: memFree=32017816/32770624 swapFree=5760/199216
[pid=11924] ppid=11921 vsize=31748 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11924/stat : 11924 (cosoco) R 11921 11924 9821 0 -1 4202496 1153 0 0 0 9 0 0 0 20 0 1 0 2005018 32509952 965 33554432000 4194304 5970956 140735442669056 140735442666392 140524756110432 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 17055744 140735442674876 140735442675011 140735442675011 140735442677710 0
/proc/11924/statm: 7937 965 787 434 0 1301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31748

[startup+0.200263 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11924
/proc/meminfo: memFree=32017816/32770624 swapFree=5760/199216
[pid=11924] ppid=11921 vsize=31748 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11924/stat : 11924 (cosoco) R 11921 11924 9821 0 -1 4202496 1173 0 0 0 19 0 0 0 20 0 1 0 2005018 32509952 965 33554432000 4194304 5970956 140735442669056 140735442666392 5327021 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 17055744 140735442674876 140735442675011 140735442675011 140735442677710 0
/proc/11924/statm: 7937 965 787 434 0 1301 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31748

[startup+0.300218 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11924
/proc/meminfo: memFree=32017816/32770624 swapFree=5760/199216
[pid=11924] ppid=11921 vsize=31748 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11924/stat : 11924 (cosoco) R 11921 11924 9821 0 -1 4202496 1186 0 0 0 29 0 0 0 20 0 1 0 2005018 32509952 965 33554432000 4194304 5970956 140735442669056 140735442666392 4977658 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 17055744 140735442674876 140735442675011 140735442675011 140735442677710 0
/proc/11924/statm: 7937 965 787 434 0 1301 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31748

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

[startup+0.300218 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11924
/proc/meminfo: memFree=32017816/32770624 swapFree=5760/199216
[pid=11924] ppid=11921 vsize=31748 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11924/stat : 11924 (cosoco) R 11921 11924 9821 0 -1 4202496 1186 0 0 0 29 0 0 0 20 0 1 0 2005018 32509952 965 33554432000 4194304 5970956 140735442669056 140735442666392 4977658 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 17055744 140735442674876 140735442675011 140735442675011 140735442677710 0
/proc/11924/statm: 7937 965 787 434 0 1301 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31748

Child status: 0
Real time (s): 0.335782
CPU time (s): 0.334235
CPU user time (s): 0.328213
CPU system time (s): 0.006022
CPU usage (%): 99.5393
Max. virtual memory (cumulated for all children) (KiB): 31748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.328213
system time used= 0.006022
maximum resident set size= 4224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1216
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= 12
involuntary context switches= 18

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011806 second user time and 0.019184 second system time

The end

Launcher Data 

Begin job on node143 at 2017-07-21 22:03:07
IDJOB=4243134
IDBENCH=139015
IDSOLVER=2621
FILE ID=node143/4243134-1500667387
RUNJOBID= node143-1500648173-9852
PBS_JOBID= 20623278
Free space on /tmp= 61988 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-bqwh18-141/bqwh-18-141-31_X2.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243134-1500667387/watcher-4243134-1500667387 -o /tmp/evaluation-result-4243134-1500667387/solver-4243134-1500667387 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500648173-9852 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4243134-1500667387.xml

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

MD5SUM BENCH= abc615a3402994e7b41e934fabdebd2e
RANDOM SEED=321673127

node143.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.69
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		: 2133.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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.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.69
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.69
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:        32017816 kB
MemAvailable:   32016316 kB
Buffers:           37728 kB
Cached:           271084 kB
SwapCached:            0 kB
Active:           170640 kB
Inactive:         207960 kB
Active(anon):      72748 kB
Inactive(anon):     8744 kB
Active(file):      97892 kB
Inactive(file):   199216 kB
Unevictable:        5760 kB
Mlocked:            5760 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2492 kB
Writeback:             0 kB
AnonPages:         77428 kB
Mapped:            32440 kB
Shmem:              8852 kB
Slab:              65900 kB
SReclaimable:      34452 kB
SUnreclaim:        31448 kB
KernelStack:        4416 kB
PageTables:         5352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     339968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      155008 kB
DirectMap2M:    33390592 kB

Free space on /tmp at the end= 61988 MiB
End job on node143 at 2017-07-21 22:03:08