Trace number 4240336

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.1UNSAT 158.415 158.431

General information on the benchmark

NameRandom/Random-RB-2-40-19/
rand-2-40-19-443-230-30.xml
MD5SUM1a774b1240a532d284d5b76f46f8bad3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark151.12801
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints334
Number of domains1
Minimum domain size19
Maximum domain size19
Distribution of domain sizes[{"size":19,"count":40}]
Minimum variable degree8
Maximum variable degree21
Distribution of variable degrees[{"degree":8,"count":1},{"degree":10,"count":1},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":6},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":4},{"degree":19,"count":4},{"degree":20,"count":6},{"degree":21,"count":4}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":334}]
Number of extensional constraints334
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":334}]
Optimization problemNO
Type of objective

Solver Data 

0.09/0.14	c SAT : Variables: 760 -- Clauses: 6880
0.09/0.15	c root propagations     : 0           
0.09/0.15	c restarts enabled, print stats at every restarts
0.09/0.15	c
0.09/0.15	c
0.09/0.15	c
0.09/0.15	c This is cosoco 1.0 --  
0.09/0.15	c
0.09/0.15	c ========================================[ Problem Statistics ]===========================================
0.09/0.15	c |                                                                                                       
0.09/0.15	c |  Parse time        :         0.15 s 
0.09/0.15	c |
0.09/0.15	c |               Variables: 40
0.09/0.15	c |            Domain Sizes: 19..19
0.09/0.15	c |
0.09/0.15	c |             Constraints: 334
0.09/0.15	c |                   Arity: 2..2  -- Binary: 334
0.09/0.15	c | 
0.09/0.15	c |                   Types: 
0.09/0.15	c |                          Extension: 334  (nb tuples: 83..173) -- (shared: 0)
0.09/0.15	c |                          
0.09/0.15	c =========================================================================================================
0.09/0.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.09/0.15	c 10             30             7135           2338           0              6              7   13   8     
0.09/0.15	c 20             56             13790          4980           0              9              7   10   7     
0.09/0.15	c 30             81             20734          7542           0              13             5   8   5      
0.09/0.15	c 40             113            27600          9801           0              16             8   12   8     
0.09/0.16	c 50             135            33471          12326          0              21             5   8   6      
0.09/0.16	c 60             163            40936          14848          0              26             8   10   8     
0.09/0.16	c 70             192            48057          17058          0              29             9   12   9     
0.09/0.16	c 80             217            54684          19401          0              31             7   10   7     
0.09/0.16	c 90             251            62354          21830          0              32             9   13   9     
0.09/0.16	c 100            278            68459          23836          0              35             8   11   8     
0.09/0.16	c 101            286            70234          24383          0              36             8   8   4      
0.09/0.16	c 110            315            78841          27451          0              39             7   11   7     
0.09/0.16	c 120            349            88068          30028          0              41             7   11   8     
0.09/0.17	conflict 57lvl : 7 bt7-511:0(154)X179712
0.09/0.17	c 130            379            94738          31911          0              43             8   12   8     
0.09/0.17	c 140            414            102366         34398          0              47             7   12   9     
0.09/0.17	c 150            450            110273         37328          0              53             6   11   8     
0.09/0.17	c 160            479            119199         40100          0              55             6   10   7     
0.09/0.17	c 170            509            127260         43208          0              58             6   11   7     
0.09/0.17	c 180            533            132483         44960          0              63             9   12   9     
0.09/0.17	c 190            558            138552         47060          0              68             7   10   7     
0.09/0.17	c 200            582            145475         49592          0              70             6   9   6      
0.09/0.18	c 210            613            152919         51914          0              74             7   10   8     
0.09/0.18	c 211            622            155734         52754          0              75             9   9   4      
0.09/0.18	c 220            647            162324         55213          0              79             8   11   8     
0.09/0.18	c 230            677            169538         57292          0              82             7   13   8     
0.09/0.18	c 240            704            175879         59344          0              88             6   10   7     
0.09/0.18	c 250            728            181336         61067          0              92             8   11   8     
0.09/0.18	c 260            758            189575         63796          0              96             7   11   7     
0.09/0.18	c 270            791            197078         66164          0              104            8   11   8     
0.09/0.18	c 280            819            203354         68521          0              106            7   12   8     
0.09/0.19	c 290            853            211206         71033          0              110            6   13   8     
0.09/0.19	c 300            887            219770         74074          0              114            8   12   7     
0.09/0.19	c 310            915            226549         76238          0              120            8   11   9     
0.09/0.19	c 320            953            236274         79395          0              123            8   12   8     
0.09/0.19	c 330            986            244316         82278          0              128            6   11   7     
0.09/0.19	c 332            998            247407         83192          0              129            11   11   7    
0.09/0.19	c 340            1028           253135         85039          0              133            7   11   8     
0.09/0.19	c 350            1059           260306         87746          0              138            6   10   7     
0.09/0.19	c 360            1097           268729         90455          0              141            9   12   9     
0.09/0.20	c 370            1127           276641         93297          0              144            8   11   8     
0.19/0.20	c 380            1160           283286         95496          0              153            7   12   8     
0.19/0.20	c 390            1190           291629         97907          0              159            8   14   9     
0.19/0.20	c 400            1217           298000         100453         0              162            6   11   8     
0.19/0.20	c 410            1251           307070         103066         0              166            7   13   9     
0.19/0.20	c 420            1285           314601         105843         0              172            5   12   7     
0.19/0.20	c 430            1316           322280         108005         0              175            8   13   9     
0.19/0.20	c 440            1347           331255         110806         0              177            8   11   8     
0.19/0.20	c 450            1375           338324         113117         0              183            7   11   8     
0.19/0.21	c 460            1402           344645         115573         0              189            8   12   8     
0.19/0.21	c 465            1421           350062         117473         0              192            6   11   7     
0.19/0.21	c 470            1436           353826         118749         0              195            8   10   7     
0.19/0.21	c 480            1461           360107         121111         0              198            6   8   6      
0.19/0.21	c 490            1492           368604         124379         0              200            7   10   7     
0.19/0.21	c 500            1528           378969         128207         0              202            6   11   7     
0.19/0.21	c 510            1561           387018         130971         0              204            5   12   7     
0.19/0.21	c 520            1598           395151         133260         0              205            8   13   10    
0.19/0.21	c 530            1630           402411         136160         0              209            6   10   7     
0.19/0.22	c 540            1656           408588         138032         0              211            8   11   8     
0.19/0.22	c 550            1686           416304         140324         0              216            8   11   8     
0.19/0.22	c 560            1712           422993         142883         0              220            8   10   8     
0.19/0.22	c 570            1740           429756         145003         0              224            9   12   9     
0.19/0.22	c 580            1770           437611         147525         0              231            7   13   9     
0.19/0.22	c 590            1799           443839         149496         0              234            8   13   9     
0.19/0.22	c 600            1825           450444         151877         0              237            7   11   8     
0.19/0.22	c 610            1854           457448         153965         0              239            7   11   8     
0.19/0.22	c 611            1866           459900         154597         0              240            12   12   6    
0.19/0.22	conflict 33lvl : 6 bt6-653:0(115)X181789
0.19/0.22	c 620            1893           467756         157346         0              242            6   11   7     
0.19/0.23	c 630            1926           476759         160189         0              244            8   12   8     
0.19/0.23	c 640            1962           485393         163077         0              248            6   12   9     
0.19/0.23	c 650            1996           493625         165631         0              251            7   11   8     
0.19/0.23	c 660            2024           501173         168013         0              254            7   11   7     
0.19/0.23	c 670            2056           509515         170822         0              255            8   12   9     
0.19/0.23	c 680            2091           517699         173756         0              258            7   11   8     
0.19/0.23	c 690            2121           524425         176049         0              260            7   10   8     
0.19/0.23	c 700            2148           532069         178755         0              262            7   10   8     
0.19/0.24	c 710            2180           540195         181230         0              267            6   11   8     
0.19/0.24	conflict 75lvl : 6 bt6-707:0(150)X182074
0.19/0.24	c 720            2218           549434         184407         0              273            7   13   9     
0.19/0.24	c 730            2253           558137         187363         0              277            9   12   9     
0.19/0.24	c 740            2289           567649         190927         0              283            5   10   7     
0.19/0.24	c 750            2313           573986         193372         0              290            6   9   7      
0.19/0.24	c 760            2350           582897         196171         0              293            7   12   8     
0.19/0.24	c 770            2388           591601         198664         0              296            8   13   9     
0.19/0.24	c 771            2396           593960         199262         0              297            8   8   4      
0.19/0.24	c 780            2427           602022         201825         0              303            6   11   7     
0.19/0.25	c 790            2459           609074         204068         0              308            6   14   9     
0.19/0.25	c 800            2482           615147         206345         0              312            6   9   6      
0.19/0.25	c 810            2521           624622         209328         0              317            7   12   8     
0.19/0.25	c 820            2551           633150         211998         0              321            8   11   9     
0.19/0.25	c 830            2575           639010         214032         0              324            7   10   7     
0.19/0.25	c 840            2603           646833         216456         0              325            8   11   8     
0.19/0.25	c 850            2643           656191         219567         0              328            9   13   9     
0.19/0.25	c 860            2677           665126         222313         0              331            8   11   8     
0.19/0.26	c 870            2715           673604         224638         0              337            9   15   10    
0.19/0.26	c 880            2744           680056         226996         0              340            7   13   8     
0.19/0.26	c 890            2772           687078         229026         0              344            7   12   8     
0.19/0.26	c 900            2801           693739         231247         0              347            8   11   8     
0.19/0.26	c 910            2831           701279         234098         0              352            7   11   8     
0.19/0.26	c 920            2860           708369         236292         0              355            7   13   8     
0.19/0.26	c 930            2901           717123         239002         0              358            9   14   10    
0.19/0.26	c 940            2935           726525         242025         0              362            7   11   8     
0.19/0.26	c 947            2958           732494         244244         0              365            7   10   7     
0.19/0.27	c 950            2973           736108         245242         0              368            10   11   8    
0.19/0.27	c 960            3000           744211         247827         0              373            7   10   8     
0.19/0.27	conflict 61lvl : 8 bt8-56:0(203)X183202
0.19/0.27	c 970            3031           753692         251026         0              378            6   11   6     
0.19/0.27	c 980            3059           760529         253332         0              380            7   11   7     
0.19/0.27	c 990            3088           767920         255664         0              384            9   11   8     
0.19/0.27	c 1000           3120           776722         258544         0              389            7   12   8     
0.19/0.27	c 1010           3162           787414         262187         0              393            7   11   8     
0.19/0.27	c 1020           3195           796078         264695         0              399            8   12   9     
0.19/0.28	c 1030           3228           804071         267570         0              405            7   11   8     
0.19/0.28	c 1040           3261           812818         270423         0              408            6   11   8     
0.19/0.28	c 1050           3294           819233         272349         0              413            7   11   9     
0.19/0.28	c 1060           3316           825331         274430         0              416            6   10   7     
0.19/0.28	c 1070           3348           832509         276543         0              421            7   13   9     
0.19/0.28	c 1080           3383           841720         279575         0              423            9   12   9     
0.19/0.28	c 1090           3415           848770         282016         0              430            6   11   8     
0.19/0.28	c 1100           3448           856652         284514         0              433            7   10   8     
0.19/0.28	c 1110           3476           865203         287827         0              436            5   10   6     
0.19/0.29	c 1120           3506           873367         290862         0              439            6   10   7     
0.19/0.29	c 1130           3534           881138         293271         0              445            7   12   8     
0.19/0.29	c 1140           3564           887615         295433         0              450            8   12   9     
0.19/0.29	c 1141           3574           889981         296031         0              451            10   10   5    
0.19/0.29	c 1150           3599           896482         298348         0              455            7   9   7      
0.19/0.29	c 1160           3631           904523         300728         0              458            8   11   8     
0.19/0.29	c 1170           3664           913417         304088         0              461            6   12   8     
0.19/0.29	c 1180           3698           921214         306462         0              466            9   13   9     
0.19/0.29	c 1190           3736           930065         309394         0              469            6   13   8     
0.29/0.30	c 1200           3773           938913         311909         0              473            9   13   10    
0.29/0.30	c 1210           3809           947838         314443         0              476            8   15   9     
0.29/0.30	c 1220           3849           956513         317176         0              479            5   11   8     
0.29/0.30	c 1230           3873           961750         318998         0              485            6   11   7     
0.29/0.30	c 1240           3910           969719         321900         0              486            6   13   9     
0.29/0.30	c 1250           3941           977527         324303         0              491            7   11   8     
0.29/0.30	conflict 15lvl : 5 bt4-458:0(83)X184453
0.29/0.30	c 1260           3973           985847         326799         0              494            7   13   9     
0.29/0.30	c 1270           4008           993619         329007         0              497            8   12   8     
0.29/0.30	c 1280           4045           1002305        331754         0              500            6   11   7     
0.29/0.31	c 1290           4074           1009742        334430         0              504            7   11   8     
0.29/0.31	c 1300           4103           1017570        336879         0              505            7   10   8     
0.29/0.31	c 1310           4132           1025192        339390         0              509            7   11   8     
0.29/0.31	c 1320           4161           1031364        341324         0              512            8   13   9     
0.29/0.31	c 1330           4194           1039573        344089         0              515            7   11   8     
0.29/0.31	c 1340           4229           1047763        346735         0              519            6   12   8     
0.29/0.31	c 1350           4267           1057027        349825         0              523            8   11   8     
0.29/0.31	c 1352           4279           1059899        350648         0              525            9   9   6      
0.29/0.31	c 1360           4303           1065667        352252         0              530            9   13   9     
0.29/0.32	c 1370           4337           1073316        354525         0              533            8   12   9     
0.29/0.32	c 1380           4366           1081191        356933         0              538            8   12   9     
0.29/0.32	c 1390           4401           1090916        359946         0              542            8   11   8     
0.29/0.32	c 1400           4429           1097545        362155         0              545            6   11   7     
0.29/0.32	c 1410           4467           1107621        365183         0              550            9   13   9     
0.29/0.32	c 1420           4496           1115611        367814         0              552            7   11   8     
0.29/0.32	c 1430           4525           1122985        370343         0              555            7   11   8     
0.29/0.32	c 1440           4555           1129928        372513         0              557            8   11   8     
0.29/0.33	c 1450           4584           1138005        375281         0              560            6   10   8     
0.29/0.33	c 1460           4609           1143875        377263         0              561            8   10   8     
0.29/0.33	c 1470           4640           1151121        379431         0              564            9   12   9     
0.29/0.33	c 1480           4668           1157899        381981         0              569            5   10   6     
0.29/0.33	c 1490           4701           1166248        384465         0              571            8   12   8     
0.29/0.33	c 1500           4731           1173136        386501         0              577            9   12   9     
0.29/0.33	c 1510           4756           1180030        388844         0              582            8   11   8     
0.29/0.33	c 1520           4780           1185989        391065         0              585            7   10   7     
0.29/0.33	c 1530           4823           1195963        394629         0              590            5   12   7     
0.29/0.34	c 1540           4857           1204259        398052         0              595            7   11   7     
0.29/0.34	c 1550           4891           1212562        400701         0              600            8   11   9     
0.29/0.34	c 1560           4926           1222383        403932         0              602            7   11   8     
0.29/0.34	c 1570           4961           1231419        406532         0              604            9   11   9     
0.29/0.34	c 1580           4991           1238177        408786         0              608            6   15   9     
0.29/0.34	c 1585           5008           1242590        410208         0              609            8   11   7     
0.29/0.34	c 1590           5025           1246820        411464         0              614            7   11   7     
0.29/0.34	c 1600           5050           1253119        413466         0              619            8   12   8     
0.29/0.34	c 1610           5074           1260025        416154         0              623            6   8   6      
0.29/0.34	c 1620           5103           1267484        418536         0              625            8   12   9     
0.29/0.35	c 1630           5140           1276455        421564         0              627            7   12   8     
0.29/0.35	c 1640           5169           1283743        423826         0              628            7   10   8     
0.29/0.35	c 1650           5199           1291149        426402         0              634            7   12   8     
0.29/0.35	c 1660           5227           1298883        428910         0              637            7   10   7     
0.29/0.35	c 1670           5255           1305567        431584         0              640            7   9   7      
0.29/0.35	c 1680           5285           1314299        434672         0              643            7   11   7     
0.29/0.35	conflict 43lvl : 9 bt8-138:0(169)X185986
0.29/0.35	c 1690           5317           1323429        437752         0              648            7   10   7     
0.29/0.35	c 1700           5354           1331897        440576         0              652            6   13   8     
0.29/0.36	c 1710           5384           1339990        442941         0              655            6   10   7     
0.29/0.36	c 1720           5413           1347506        445568         0              657            8   10   7     
0.29/0.36	c 1730           5446           1355560        448372         0              663            7   11   8     
0.29/0.36	c 1740           5481           1364655        450827         0              666            9   14   10    
0.29/0.36	c 1750           5513           1373524        454559         0              673            7   9   7      
0.29/0.36	c 1760           5546           1381749        456907         0              675            8   11   9     
0.29/0.36	c 1770           5579           1389688        459970         0              678            6   14   7     
0.29/0.36	c 1780           5610           1396806        462065         0              684            7   13   9     
0.29/0.37	c 1790           5641           1405223        464851         0              687            8   10   8     
0.29/0.37	c 1800           5680           1414564        467620         0              693            8   12   8     
0.29/0.37	c 1810           5714           1423426        470722         0              697            8   12   9     
0.29/0.37	c 1820           5740           1429281        472720         0              698            8   11   8     
0.29/0.37	c 1830           5776           1439375        476230         0              700            7   12   8     
0.29/0.37	c 1840           5801           1446129        478585         0              702            7   9   7      
0.29/0.37	c 1841           5810           1448169        479158         0              703            9   9   4      
0.29/0.37	c 1850           5838           1455161        481694         0              707            6   11   7     
0.29/0.37	c 1860           5870           1463439        484887         0              709            6   10   7     
0.29/0.38	c 1870           5905           1472320        488363         0              712            6   11   7     
0.29/0.38	c 1880           5937           1480099        490770         0              714            7   11   8     
0.29/0.38	c 1890           5957           1485065        492623         0              716            8   10   7     
0.29/0.38	c 1900           5985           1491567        494489         0              717            9   14   9     
0.29/0.38	c 1910           6028           1501099        497661         0              723            6   12   8     
0.29/0.38	c 1920           6060           1508554        500449         0              727            6   12   7     
0.29/0.38	c 1930           6092           1518231        503682         0              729            6   11   7     
0.29/0.38	conflict 8lvl : 6 bt5-668:0(86)X186874
0.29/0.38	c 1940           6125           1527582        506764         0              733            8   10   7     
0.29/0.39	c 1950           6154           1536186        509533         0              736            7   11   8     
0.29/0.39	c 1960           6183           1542775        511420         0              740            9   13   9     
0.29/0.39	c 1970           6213           1550841        514514         0              746            5   11   7     
0.29/0.39	c 1980           6241           1557201        516784         0              747            8   12   8     
0.29/0.39	c 1990           6271           1564674        519374         0              748            7   13   8     
0.29/0.39	c 2000           6296           1570666        521273         0              750            8   11   8     
0.29/0.39	c 2010           6332           1577741        523419         0              755            9   14   10    
0.29/0.39	c 2020           6367           1587709        526608         0              760            8   10   8     
0.29/0.39	c 2030           6394           1594746        528830         0              765            7   10   8     
0.39/0.40	c 2040           6425           1601688        530930         0              768            8   11   8     
0.39/0.40	c 2050           6456           1609608        533301         0              771            9   12   9     
0.39/0.40	c 2060           6488           1616730        535721         0              774            6   12   8     
0.39/0.40	c 2070           6517           1624357        538279         0              776            7   11   8     
0.39/0.40	c 2080           6547           1632382        541069         0              777            8   11   8     
0.39/0.40	c 2090           6584           1642021        543961         0              779            7   12   8     
0.39/0.40	c 2100           6619           1649313        546622         0              781            5   11   8     
0.39/0.40	c 2110           6651           1657416        549474         0              785            8   11   8     
0.39/0.41	c 2120           6692           1668127        552776         0              788            8   13   9     
0.39/0.41	c 2122           6702           1671298        553845         0              789            8   9   5      
0.39/0.41	c 2130           6732           1678036        555880         0              793            9   12   9     
0.39/0.41	c 2140           6766           1685052        558020         0              799            7   13   9     
0.39/0.41	c 2150           6798           1693339        560668         0              802            6   12   8     
0.39/0.41	c 2160           6833           1701503        563175         0              809            8   14   9     
0.39/0.41	c 2170           6861           1710715        566478         0              813            5   9   7      
0.39/0.41	c 2180           6891           1717449        569059         0              821            7   11   7     
0.39/0.41	c 2190           6920           1725430        571545         0              825            6   10   7     
0.39/0.42	c 2200           6947           1732599        573687         0              826            8   12   9     
0.39/0.42	conflict 39lvl : 8 bt8-562:0(102)X187868
0.39/0.42	c 2210           6974           1740490        576625         0              829            6   9   7      
0.39/0.42	c 2220           7006           1748671        579241         0              831            7   12   8     
0.39/0.42	c 2230           7034           1754944        581682         0              835            5   10   7     
0.39/0.42	c 2240           7062           1762578        584259         0              843            7   10   7     
0.39/0.42	c 2250           7100           1771018        587005         0              848            8   12   9     
0.39/0.42	c 2260           7126           1776721        589277         0              856            7   11   7     
0.39/0.42	c 2270           7157           1784303        592083         0              858            6   11   8     
0.39/0.42	c 2280           7186           1792231        594692         0              862            6   11   7     
0.39/0.43	c 2290           7220           1800330        596823         0              866            10   13   10   
0.39/0.43	c 2300           7248           1807310        599092         0              868            8   11   8     
0.39/0.43	c 2310           7278           1815461        602158         0              872            5   10   7     
0.39/0.43	c 2320           7310           1823357        604584         0              876            7   12   9     
0.39/0.43	c 2330           7339           1830824        607180         0              879            8   12   8     
0.39/0.43	c 2340           7375           1841015        610554         0              884            7   10   8     
0.39/0.43	c 2350           7406           1848790        613107         0              889            7   12   8     
0.39/0.43	c 2360           7437           1857131        616040         0              892            7   10   7     
0.39/0.44	c 2370           7457           1861756        618049         0              893            7   9   6      
0.39/0.44	c 2380           7491           1870387        620783         0              894            8   11   8     
0.39/0.44	c 2390           7523           1879577        623587         0              898            7   11   8     
0.39/0.44	c 2400           7554           1888389        626710         0              902            7   12   8     
0.39/0.44	c 2410           7592           1896950        629219         0              907            9   12   9     
0.39/0.44	c 2420           7630           1903996        631420         0              912            7   14   9     
0.39/0.44	c 2430           7668           1913802        634415         0              918            9   11   9     
0.39/0.44	c 2431           7676           1916240        635124         0              919            8   8   4      
0.39/0.44	c 2440           7710           1924356        638181         0              925            5   12   7     
0.39/0.45	c 2450           7738           1931077        640950         0              930            6   10   7     
0.39/0.45	c 2460           7761           1937648        643602         0              936            6   9   6      
0.39/0.45	c 2470           7796           1946119        646123         0              942            8   12   9     
0.39/0.45	c 2480           7828           1953690        648871         0              944            8   12   8     
0.39/0.45	c 2490           7853           1959169        650720         0              946            8   11   8     
0.39/0.45	c 2500           7879           1966468        653153         0              951            6   10   7     
0.39/0.45	c 2510           7908           1973874        655629         0              956            7   11   8     
0.39/0.45	c 2520           7935           1981118        658289         0              960            6   10   7     
0.39/0.45	c 2530           7964           1988721        660772         0              963            8   12   9     
0.39/0.45	conflict 35lvl : 7 bt7-121:0(133)X189254
0.39/0.46	c 2540           7996           1997005        663529         0              969            7   11   7     
0.39/0.46	c 2550           8020           2003740        665835         0              976            7   9   7      
0.39/0.46	c 2560           8049           2010579        668077         0              981            7   11   8     
0.39/0.46	c 2570           8080           2017988        670434         0              985            8   12   9     
0.39/0.46	c 2580           8107           2024453        672572         0              988            7   11   7     
0.39/0.46	c 2590           8140           2033217        675267         0              991            7   12   8     
0.39/0.46	c 2600           8167           2040307        677670         0              993            6   12   7     
0.39/0.46	c 2610           8192           2046940        679626         0              995            8   11   8     
0.39/0.46	c 2620           8227           2055078        682464         0              1000           6   11   7     
0.39/0.47	c 2630           8261           2062786        684697         0              1005           7   13   9     
0.39/0.47	c 2640           8297           2071993        687791         0              1008           7   13   8     
0.39/0.47	c 2650           8327           2079217        690053         0              1010           7   13   8     
0.39/0.47	c 2660           8363           2088429        692990         0              1015           9   13   9     
0.39/0.47	c 2670           8397           2096329        695719         0              1018           5   10   6     
0.39/0.47	c 2680           8418           2101012        697300         0              1019           9   12   8     
0.39/0.47	c 2690           8448           2108998        699897         0              1022           8   13   9     
0.39/0.47	c 2700           8478           2117055        702822         0              1029           6   10   7     
0.39/0.48	c 2710           8512           2126061        705719         0              1033           7   12   9     
0.39/0.48	c 2720           8541           2132667        708135         0              1039           8   11   8     
0.39/0.48	conflict 11lvl : 6 bt5-306:0(101)X190043
0.39/0.48	c 2730           8570           2140056        710536         0              1042           7   12   8     
0.39/0.48	c 2740           8601           2147925        712942         0              1046           7   12   9     
0.39/0.48	c 2750           8637           2157632        716009         0              1050           6   11   8     
0.39/0.48	c 2760           8674           2167390        719014         0              1055           8   12   9     
0.39/0.48	c 2770           8705           2175978        721853         0              1059           7   11   7     
0.39/0.48	c 2771           8714           2178498        722588         0              1060           9   9   4      
0.39/0.48	c 2780           8749           2186811        725108         0              1064           9   11   9     
0.39/0.49	conflict 86lvl : 9 bt9-59:0(229)X190301
0.39/0.49	c 2790           8785           2195730        728200         0              1069           6   11   7     
0.39/0.49	c 2800           8822           2203527        730329         0              1072           10   15   11   
0.39/0.49	c 2810           8852           2211072        733011         0              1078           6   11   7     
0.39/0.49	c 2820           8879           2218341        735299         0              1081           8   11   8     
0.39/0.49	c 2830           8908           2226615        738361         0              1084           5   11   6     
0.39/0.49	c 2840           8939           2234590        740962         0              1089           7   12   8     
0.39/0.49	c 2850           8969           2241938        743331         0              1093           8   12   8     
0.39/0.49	c 2860           9004           2251634        746877         0              1095           5   11   7     
0.39/0.50	c 2870           9031           2258110        749211         0              1097           7   11   8     
0.49/0.50	c 2880           9068           2266608        751802         0              1100           6   12   9     
0.49/0.50	c 2890           9106           2275610        754461         0              1104           6   12   8     
0.49/0.50	c 2900           9146           2284742        757419         0              1108           7   15   9     
0.49/0.50	c 2910           9181           2293220        760061         0              1112           8   13   8     
0.49/0.50	c 2920           9210           2301171        762546         0              1116           7   11   8     
0.49/0.50	c 2930           9239           2309242        765083         0              1121           7   11   8     
0.49/0.50	c 2940           9277           2316834        767320         0              1122           7   13   10    
0.49/0.50	c 2950           9302           2323227        769218         0              1127           8   11   8     
0.49/0.51	c 2960           9323           2328659        771196         0              1128           7   10   7     
0.49/0.51	c 2970           9349           2335740        773511         0              1130           9   12   9     
0.49/0.51	c 2980           9390           2345427        776557         0              1135           6   12   8     
0.49/0.51	c 2990           9435           2354514        779838         0              1139           5   12   8     
0.49/0.51	c 3000           9465           2361353        781928         0              1140           9   12   9     
0.49/0.51	c 3010           9499           2369898        784975         0              1144           8   10   7     
0.49/0.51	c 3020           9531           2379086        787998         0              1149           7   11   8     
0.49/0.51	c 3030           9559           2385676        790127         0              1155           8   11   8     
0.49/0.52	c 3040           9586           2391504        792398         0              1157           8   10   8     
0.49/0.52	c 3050           9620           2399426        795325         0              1161           5   12   7     
0.49/0.52	c 3060           9645           2406574        797975         0              1164           6   12   7     
0.49/0.52	c 3070           9675           2414526        800784         0              1167           8   11   8     
0.49/0.52	c 3080           9712           2424389        803846         0              1171           7   11   8     
0.49/0.52	c 3090           9744           2431784        806193         0              1173           7   10   8     
0.49/0.52	c 3100           9770           2438785        808491         0              1179           7   11   8     
0.49/0.52	c 3110           9795           2445254        810707         0              1185           7   10   7     
0.49/0.52	c 3120           9834           2455628        814293         0              1188           7   12   8     
0.49/0.53	c 3130           9870           2464729        817364         0              1191           8   11   8     
0.49/0.53	c 3140           9904           2472966        819717         0              1194           9   13   10    
0.49/0.53	c 3142           9914           2476027        820625         0              1195           8   9   5      
0.49/0.53	c 3150           9937           2482599        822927         0              1196           8   10   7     
0.49/0.53	c 3160           9973           2491848        826065         0              1200           8   11   8     
0.49/0.53	c 3170           10007          2499735        828612         0              1207           8   12   8     
0.49/0.53	c 3180           10039          2507555        830906         0              1210           7   12   9     
0.49/0.53	c 3190           10070          2515658        833643         0              1215           6   12   8     
0.49/0.54	c 3200           10102          2523469        836070         0              1218           7   11   8     
0.49/0.54	c 3210           10138          2532986        838855         0              1222           9   13   10    
0.49/0.54	c 3220           10165          2540087        840959         0              1226           9   12   9     
0.49/0.54	c 3230           10199          2549076        843757         0              1231           8   13   9     
0.49/0.54	c 3240           10226          2555785        846096         0              1232           7   12   8     
0.49/0.54	c 3250           10257          2563563        848567         0              1235           8   12   8     
0.49/0.54	c 3260           10289          2571915        850836         0              1241           8   12   8     
0.49/0.54	c 3270           10317          2579927        853420         0              1245           7   10   7     
0.49/0.54	c 3280           10348          2588046        855956         0              1249           8   13   9     
0.49/0.55	c 3290           10380          2595774        858244         0              1251           8   11   8     
0.49/0.55	c 3300           10417          2604183        861152         0              1252           6   11   8     
0.49/0.55	c 3310           10449          2611768        863623         0              1257           6   11   8     
0.49/0.55	c 3320           10477          2618752        865884         0              1261           6   11   8     
0.49/0.55	c 3330           10505          2627328        868563         0              1262           7   11   8     
0.49/0.55	c 3340           10537          2636736        871694         0              1265           7   11   8     
0.49/0.55	c 3350           10564          2643156        873745         0              1272           7   12   8     
0.49/0.55	c 3360           10589          2649940        876014         0              1273           8   11   8     
0.49/0.55	c 3370           10621          2658653        878603         0              1275           8   11   9     
0.49/0.56	c 3380           10668          2667754        881649         0              1278           5   11   8     
0.49/0.56	c 3390           10695          2675325        884585         0              1281           6   11   7     
0.49/0.56	conflict 105lvl : 8 bt8-413:0(131)X192531
0.49/0.56	c 3400           10731          2685622        887743         0              1284           8   12   9     
0.49/0.56	c 3410           10765          2693840        890403         0              1287           4   12   8     
0.49/0.56	c 3420           10792          2700277        892991         0              1290           6   12   7     
0.49/0.56	c 3430           10822          2707648        895541         0              1291           7   11   8     
0.49/0.56	c 3440           10848          2714377        897711         0              1292           6   11   7     
0.49/0.56	c 3450           10886          2724014        900922         0              1295           7   13   8     
0.49/0.57	c 3460           10924          2733097        903891         0              1297           8   13   10    
0.49/0.57	c 3470           10951          2740286        906481         0              1300           7   9   7      
0.49/0.57	c 3480           10980          2748749        908902         0              1304           9   13   9     
0.49/0.57	c 3490           11010          2757169        911671         0              1307           7   10   7     
0.49/0.57	c 3500           11044          2765536        914327         0              1310           8   13   8     
0.49/0.57	c 3510           11075          2772915        916756         0              1312           8   13   9     
0.49/0.57	c 3520           11103          2780271        919138         0              1314           6   10   7     
0.49/0.57	c 3530           11135          2787877        921806         0              1321           5   12   7     
0.49/0.58	c 3540           11171          2795547        924122         0              1323           9   13   9     
0.49/0.58	c 3550           11202          2803949        926591         0              1327           8   12   9     
0.49/0.58	c 3551           11210          2805985        927159         0              1328           8   8   4      
0.49/0.58	c 3560           11227          2810859        928935         0              1335           5   9   5      
0.49/0.58	c 3570           11260          2819592        931696         0              1339           8   11   8     
0.49/0.58	c 3580           11290          2826294        934125         0              1342           8   11   9     
0.49/0.58	c 3590           11318          2832109        936212         0              1344           7   11   7     
0.49/0.58	c 3600           11360          2841422        939062         0              1348           7   13   8     
0.49/0.58	c 3610           11391          2849714        941540         0              1351           7   12   7     
0.49/0.59	c 3620           11423          2857836        944264         0              1357           7   11   8     
0.49/0.59	c 3630           11453          2864868        946485         0              1361           7   11   8     
0.49/0.59	c 3640           11484          2872343        948966         0              1366           8   12   8     
0.49/0.59	c 3650           11518          2881614        951898         0              1369           9   12   9     
0.49/0.59	c 3660           11547          2890267        954730         0              1376           8   10   8     
0.49/0.59	c 3670           11574          2896649        956794         0              1377           9   13   9     
0.49/0.59	c 3680           11611          2905637        959776         0              1382           5   11   8     
0.49/0.59	c 3690           11637          2912216        962462         0              1383           6   12   7     
0.49/0.59	conflict 34lvl : 9 bt9-67:0(171)X193647
0.49/0.59	c 3700           11671          2921499        965517         0              1387           7   10   7     
0.59/0.60	c 3710           11697          2928402        968043         0              1391           6   11   7     
0.59/0.60	c 3720           11730          2936520        970482         0              1396           8   11   8     
0.59/0.60	c 3730           11767          2946257        972982         0              1402           9   14   10    
0.59/0.60	c 3740           11801          2953693        975363         0              1406           7   14   9     
0.59/0.60	c 3750           11833          2962753        977995         0              1410           7   11   8     
0.59/0.60	conflict 35lvl : 9 bt9-409:0(135)X193960
0.59/0.60	c 3760           11866          2970910        980499         0              1414           8   11   8     
0.59/0.60	c 3770           11900          2979161        983078         0              1418           7   11   8     
0.59/0.60	c 3780           11930          2987726        985521         0              1423           9   12   9     
0.59/0.61	c 3790           11956          2993851        987677         0              1430           7   11   8     
0.59/0.61	c 3800           11993          3001729        990648         0              1431           6   10   7     
0.59/0.61	c 3810           12020          3008086        993102         0              1435           6   10   7     
0.59/0.61	c 3820           12055          3017409        995994         0              1438           7   11   8     
0.59/0.61	c 3830           12088          3026409        998861         0              1441           8   14   8     
0.59/0.61	c 3840           12119          3033092        1001054        0              1445           7   11   8     
0.59/0.61	c 3850           12155          3041530        1003728        0              1448           8   12   9     
0.59/0.61	c 3860           12188          3049668        1006133        0              1451           8   12   8     
0.59/0.61	c 3870           12216          3056564        1008243        0              1455           7   11   8     
0.59/0.62	c 3880           12244          3062858        1010700        0              1461           6   12   8     
0.59/0.62	c 3890           12280          3071314        1013609        0              1464           7   12   8     
0.59/0.62	c 3900           12310          3077852        1015385        0              1465           9   15   10    
0.59/0.62	c 3910           12345          3087365        1018335        0              1470           9   12   9     
0.59/0.62	c 3920           12377          3095620        1021077        0              1477           6   11   8     
0.59/0.62	c 3930           12405          3103091        1023516        0              1482           7   10   8     
0.59/0.62	c 3940           12438          3112359        1026555        0              1486           7   10   7     
0.59/0.62	c 3950           12468          3118988        1028886        0              1490           8   11   8     
0.59/0.63	c 3960           12497          3126771        1031506        0              1495           8   11   9     
0.59/0.63	c 3970           12529          3135276        1034080        0              1500           8   12   9     
0.59/0.63	c 3980           12560          3143201        1036303        0              1502           7   12   8     
0.59/0.63	c 3990           12591          3150205        1038388        0              1508           8   12   9     
0.59/0.63	c 4000           12622          3157621        1040747        0              1511           7   12   8     
0.59/0.63	c 4001           12628          3159147        1041206        0              1512           6   6   3      
0.59/0.63	c 4010           12655          3165548        1043456        0              1517           7   10   7     
0.59/0.63	c 4020           12679          3172189        1045425        0              1520           8   10   8     
0.59/0.63	c 4030           12712          3180485        1047576        0              1523           9   13   9     
0.59/0.63	c 4040           12741          3187265        1049563        0              1526           7   12   9     
0.59/0.64	c 4050           12775          3195519        1051984        0              1531           8   13   9     
0.59/0.64	c 4060           12802          3201712        1053638        0              1533           8   15   10    
0.59/0.64	c 4070           12835          3210136        1056104        0              1536           8   11   8     
0.59/0.64	c 4080           12860          3216574        1058183        0              1542           8   11   8     
0.59/0.64	c 4090           12895          3224306        1061090        0              1544           8   12   9     
0.59/0.64	c 4100           12929          3234467        1064978        0              1545           7   11   8     
0.59/0.64	c 4110           12960          3242986        1068411        0              1546           6   10   7     
0.59/0.64	c 4120           12989          3250372        1071359        0              1551           6   11   7     
0.59/0.65	c 4130           13018          3257782        1073612        0              1553           8   12   9     
0.59/0.65	c 4140           13046          3264572        1075725        0              1556           7   11   8     
0.59/0.65	c 4150           13078          3270450        1077656        0              1561           8   13   9     
0.59/0.65	c 4160           13107          3277915        1080239        0              1567           7   12   9     
0.59/0.65	c 4170           13135          3284486        1082358        0              1572           7   12   8     
0.59/0.65	c 4180           13165          3292040        1084908        0              1574           8   10   8     
0.59/0.65	c 4190           13200          3301071        1087488        0              1581           8   11   9     
0.59/0.65	c 4200           13241          3309284        1090122        0              1587           6   12   9     
0.59/0.65	c 4210           13270          3317129        1092461        0              1589           7   11   8     
0.59/0.66	c 4220           13302          3324137        1094864        0              1595           5   12   7     
0.59/0.66	c 4230           13329          3331122        1097082        0              1597           8   12   9     
0.59/0.66	c 4240           13362          3339885        1099881        0              1601           5   10   7     
0.59/0.66	c 4250           13394          3348325        1102545        0              1605           7   10   8     
0.59/0.66	c 4260           13427          3356802        1104939        0              1610           10   13   10   
0.59/0.66	c 4270           13460          3366484        1107952        0              1614           8   11   8     
0.59/0.66	c 4280           13492          3373480        1110317        0              1620           7   11   8     
0.59/0.66	c 4290           13530          3383425        1114045        0              1626           7   11   8     
0.59/0.67	c 4300           13568          3392096        1116671        0              1629           8   13   9     
0.59/0.67	c 4310           13604          3401009        1119431        0              1632           8   12   8     
0.59/0.67	c 4320           13634          3410004        1122574        0              1635           8   11   8     
0.59/0.67	c 4330           13663          3416476        1124896        0              1640           7   11   8     
0.59/0.67	c 4340           13694          3423817        1127487        0              1645           6   12   8     
0.59/0.67	c 4350           13724          3432081        1129900        0              1647           5   11   7     
0.59/0.67	c 4360           13757          3440769        1133000        0              1653           6   11   7     
0.59/0.67	c 4370           13782          3447692        1135668        0              1660           6   10   7     
0.59/0.68	c 4380           13816          3456445        1138197        0              1664           6   11   8     
0.59/0.68	c 4390           13848          3463812        1140307        0              1668           9   12   9     
0.59/0.68	c 4400           13879          3472076        1142748        0              1670           9   12   9     
0.59/0.68	c 4410           13914          3480799        1145385        0              1672           9   11   9     
0.59/0.68	c 4420           13947          3489589        1148085        0              1677           8   11   8     
0.59/0.68	c 4430           13979          3497820        1150747        0              1682           7   9   7      
0.59/0.68	c 4440           14011          3504561        1152977        0              1686           7   11   8     
0.59/0.68	c 4450           14036          3511471        1154867        0              1687           8   11   8     
0.59/0.68	c 4460           14064          3519225        1157272        0              1692           7   9   7      
0.59/0.69	c 4470           14090          3525153        1159055        0              1695           8   13   8     
0.59/0.69	c 4480           14123          3534941        1162536        0              1698           7   10   7     
0.59/0.69	c 4490           14151          3542220        1165050        0              1702           8   11   8     
0.59/0.69	c 4493           14163          3545894        1166142        0              1705           7   10   6     
0.59/0.69	c 4500           14192          3553337        1168382        0              1709           7   13   9     
0.59/0.69	c 4510           14220          3559525        1170427        0              1713           8   12   8     
0.59/0.69	c 4520           14246          3566065        1172495        0              1717           9   13   9     
0.59/0.69	c 4530           14290          3574713        1175555        0              1724           5   11   8     
0.59/0.69	c 4540           14326          3582688        1177840        0              1729           9   12   9     
0.69/0.70	c 4550           14375          3592527        1181133        0              1734           8   11   9     
0.69/0.70	c 4560           14417          3600962        1183766        0              1736           9   13   9     
0.69/0.70	c 4570           14449          3608084        1186395        0              1740           7   10   7     
0.69/0.70	c 4580           14478          3614547        1188459        0              1741           8   12   8     
0.69/0.70	c 4590           14513          3624525        1192052        0              1743           7   10   7     
0.69/0.70	c 4600           14553          3633844        1194547        0              1745           7   14   10    
0.69/0.70	c 4610           14584          3641777        1197206        0              1751           7   11   8     
0.69/0.70	c 4620           14619          3651587        1200150        0              1754           7   12   8     
0.69/0.71	c 4630           14653          3661158        1203103        0              1757           7   12   9     
0.69/0.71	c 4640           14683          3669523        1205646        0              1759           7   10   8     
0.69/0.71	c 4650           14708          3675805        1207657        0              1764           8   11   8     
0.69/0.71	conflict 83lvl : 9 bt9-357:0(173)X197555
0.69/0.71	c 4660           14735          3682222        1209520        0              1767           9   12   9     
0.69/0.71	c 4670           14761          3688127        1211373        0              1770           7   13   8     
0.69/0.71	c 4680           14797          3697391        1214469        0              1772           8   11   8     
0.69/0.71	c 4690           14834          3706635        1217007        0              1778           8   13   9     
0.69/0.71	c 4700           14861          3713057        1218862        0              1780           9   11   9     
0.69/0.71	c 4710           14892          3721672        1221574        0              1785           8   11   8     
0.69/0.72	c 4720           14930          3730037        1224097        0              1789           7   15   8     
0.69/0.72	c 4730           14965          3739319        1227102        0              1795           7   10   7     
0.69/0.72	c 4740           14998          3748238        1230026        0              1801           7   12   8     
0.69/0.72	c 4750           15026          3755879        1232493        0              1804           5   10   7     
0.69/0.72	c 4760           15058          3763863        1234831        0              1806           8   12   8     
0.69/0.72	c 4770           15087          3770617        1236836        0              1808           8   12   9     
0.69/0.72	c 4780           15121          3779189        1239952        0              1811           7   12   7     
0.69/0.72	c 4790           15151          3786484        1242216        0              1816           7   10   8     
0.69/0.73	c 4800           15186          3794444        1244727        0              1820           8   13   9     
0.69/0.73	c 4810           15218          3802002        1246936        0              1823           10   13   10   
0.69/0.73	c 4820           15245          3809667        1249341        0              1826           7   9   7      
0.69/0.73	c 4830           15285          3820402        1252585        0              1830           9   13   9     
0.69/0.73	c 4840           15319          3827607        1254992        0              1832           8   11   9     
0.69/0.73	c 4850           15350          3836925        1257711        0              1836           9   12   9     
0.69/0.73	c 4860           15384          3844652        1259702        0              1839           10   14   10   
0.69/0.73	c 4870           15414          3852661        1261934        0              1842           10   13   10   
0.69/0.74	c 4880           15454          3860802        1264906        0              1845           6   10   8     
0.69/0.74	c 4890           15487          3868621        1267309        0              1851           6   11   7     
0.69/0.74	c 4900           15515          3876808        1269806        0              1856           7   11   8     
0.69/0.74	c 4910           15547          3885991        1272438        0              1861           8   11   9     
0.69/0.74	c 4920           15576          3892592        1274712        0              1863           7   11   7     
0.69/0.74	c 4930           15608          3900881        1277119        0              1865           9   12   9     
0.69/0.74	c 4940           15635          3907758        1279523        0              1868           5   10   7     
0.69/0.74	c 4950           15669          3915496        1281804        0              1873           6   11   8     
0.69/0.74	c 4960           15701          3923621        1284163        0              1877           5   12   9     
0.69/0.75	c 4970           15727          3930535        1286849        0              1880           6   11   7     
0.69/0.75	c 4980           15766          3939661        1289971        0              1885           9   11   9     
0.69/0.75	c 4990           15797          3946887        1292712        0              1887           7   10   7     
0.69/0.75	c 5035           15916          3976409        1303319        0              1893           6   12   8     
0.79/0.80	c 5631           17359          4321814        1420293        0              1900           5   14   9     
0.79/0.85	c 6286           19019          4699665        1548372        0              1920           5   14   9     
0.89/0.90	c 7006           20929          5137784        1703432        0              1937           6   16   10    
0.89/0.97	c 7798           22889          5616118        1868060        0              1952           5   14   9     
0.99/1.04	c 8669           25174          6160380        2067667        0              1969           4   14   8     
0.99/1.06	conflict 63lvl : 10 bt9-562:0(261)X199566
1.09/1.12	c 9627           27709          6751667        2275029        0              1980           4   14   9     
1.19/1.20	c 10680          30386          7395594        2504649        0              1988           4   14   8     
1.29/1.30	c 11838          33318          8097703        2742443        0              1996           5   14   9     
1.29/1.30	conflict 15lvl : 7 bt6-12:0(77)X199855
1.39/1.40	c 13111          36741          8903388        3036260        0              2018           4   15   8     
1.39/1.44	conflict 14lvl : 8 bt7-400:0(55)X200038
1.49/1.51	c 14511          40098          9710510        3301558        0              2039           5   14   9     
1.59/1.63	c 16051          43927          10636643       3630439        0              2060           6   15   9     
1.69/1.76	c 17745          47981          11622521       3991934        0              2084           5   14   9     
1.89/1.91	c 19608          52812          12770937       4375548        0              2097           5   15   9     
1.99/2.08	c 21657          58083          14033710       4839170        0              2106           4   14   9     
2.19/2.26	c 23910          64082          15443132       5333313        0              2116           4   14   9     
2.39/2.46	c 26388          70231          16894908       5865565        0              2132           4   16   8     
2.59/2.66	c 29113          77041          18485676       6420458        0              2155           4   17   9     
2.89/2.92	c 32110          85149          20374392       7110875        0              2189           4   15   8     
3.09/3.19	c 35406          93620          22414045       7808271        0              2202           4   16   9     
3.39/3.47	c 39031          102399         24572708       8595393        0              2217           4   15   8     
3.69/3.79	c 43018          112692         26960926       9444460        0              2232           4   16   9     
4.09/4.14	c 47403          124126         29644252       10378349       0              2264           4   16   9     
4.09/4.14	conflict 65lvl : 8 bt8-339:0(169)X201993
4.39/4.50	c 52226          136396         32518736       11340131       0              2271           5   15   9     
4.89/4.91	c 57531          149537         35664299       12416802       0              2290           4   16   9     
5.29/5.38	c 63366          164961         39233710       13701158       0              2299           3   16   8     
5.89/5.91	c 69784          181668         43111107       15143705       0              2312           4   15   8     
6.49/6.51	c 76843          199996         47502561       16766622       0              2327           3   15   8     
7.09/7.13	c 84607          220460         52249834       18398120       0              2340           3   16   9     
7.79/7.84	c 93147          243146         57602509       20291800       0              2345           4   15   8     
8.09/8.11	conflict 57lvl : 10 bt10-652:0(102)X202667
8.49/8.56	c 102541         266994         63237023       22193845       0              2366           4   18   9     
9.19/9.23	conflict 18lvl : 8 bt8-145:0(187)X202905
9.39/9.40	c 112874         293512         69535665       24438506       0              2393           4   16   9     
10.29/10.32	c 124240         322901         76446583       26909398       0              2405           3   17   8     
11.19/11.28	c 136742         355335         83972375       29423700       0              2417           3   16   9     
11.19/11.28	conflict 4lvl : 5 bt4-24:0(66)X203319
12.39/12.43	c 150494         392094         92514282       32530341       0              2441           3   16   8     
13.69/13.70	c 165621         430540         101786812      35935575       0              2465           3   17   8     
14.89/14.97	c 182260         471578         111504794      39357918       0              2474           4   14   8     
16.39/16.45	c 200562         519421         122645775      43272736       0              2490           3   16   9     
16.59/16.69	conflict 123lvl : 7 bt7-48:0(122)X203767
17.99/18.04	c 220694         569492         134693659      47573743       0              2506           4   15   8     
18.19/18.22	conflict 15lvl : 7 bt5-96:0(85)X204013
18.19/18.23	conflict 99lvl : 7 bt7-128:0(212)X204031
18.29/18.31	conflict 91lvl : 8 bt8-96:0(127)X204133
18.49/18.52	conflict 13lvl : 11 bt11-595:0(213)X204227
19.18/19.28	conflict 105lvl : 8 bt8-685:0(246)X204243
19.68/19.80	c 242839         627441         148210390      52203539       0              2546           3   16   8     
19.89/19.92	conflict 155lvl : 13 bt13-419:0(187)X204571
19.89/19.99	conflict 5lvl : 10 bt10-704:0(196)X204729
20.38/20.49	conflict 14lvl : 10 bt9-96:0(190)X204737
20.78/20.86	conflict 11lvl : 8 bt8-149:0(197)X204754
21.28/21.31	conflict 51lvl : 8 bt8-470:0(98)X204768
21.68/21.72	c 267198         689461         162915032      57237608       0              2584           3   16   9     
21.99/22.04	conflict 11lvl : 11 bt10-381:0(201)X205057
22.88/22.93	conflict 4lvl : 5 bt4-313:0(31)X205071
23.58/23.61	conflict 93lvl : 8 bt8-721:0(240)X205078
23.88/23.99	c 293992         760038         179725672      63341611       2              2614           2   15   8     
24.68/24.73	conflict 7lvl : 8 bt7-101:0(79)X205343
24.78/24.89	conflict 34lvl : 12 bt12-530:0(209)X205353
25.98/26.01	conflict 134lvl : 12 bt12-343:0(181)X205390
26.18/26.30	c 323465         835236         197428890      69441538       2              2654           4   16   9     
27.88/27.97	conflict 18lvl : 8 bt8-98:0(93)X205788
28.88/28.92	c 355885         916173         217092386      76432863       3              2674           3   17   8     
30.68/30.73	conflict 49lvl : 11 bt10-3:0(189)X205936
30.98/31.03	conflict 14lvl : 7 bt6-628:0(43)X205988
31.38/31.46	conflict 31lvl : 10 bt10-9:0(223)X206005
31.38/31.46	conflict 53lvl : 10 bt8-628:0(220)X206039
31.78/31.88	conflict 172lvl : 10 bt10-324:0(225)X206095
31.78/31.89	c 391547         1007046        239257493      84337286       4              2696           3   16   8     
34.88/34.98	c 430775         1106956        262873968      92525992       4              2720           3   15   8     
34.98/35.05	conflict 62lvl : 8 bt8-479:0(86)X206556
34.98/35.05	conflict 7lvl : 7 bt6-46:0(96)X206621
35.38/35.43	conflict 13lvl : 10 bt9-419:0(165)X206631
36.48/36.56	conflict 16lvl : 10 bt10-115:0(123)X206647
36.68/36.71	conflict 47lvl : 6 bt5-115:0(139)X206666
36.78/36.82	conflict 72lvl : 10 bt10-97:0(202)X206716
38.38/38.44	c 473925         1214612        288789540      101739152      5              2750           3   15   8     
41.79/41.89	conflict 110lvl : 10 bt10-210:0(180)X207012
42.28/42.32	c 521390         1334152        317857267      112110757      5              2795           3   17   8     
42.68/42.79	conflict 33lvl : 10 bt10-653:0(183)X207410
43.58/43.62	conflict 10lvl : 10 bt9-666:0(122)X207446
46.29/46.40	c 573601         1466938        349151744      122730924      5              2818           3   16   9     
46.38/46.43	conflict 32lvl : 8 bt8-666:0(189)X207603
46.48/46.56	conflict 87lvl : 11 bt10-666:0(217)X207638
48.18/48.28	conflict 18lvl : 10 bt8-669:0(179)X207728
48.28/48.30	conflict 68lvl : 10 bt10-503:0(220)X207749
49.28/49.36	conflict 30lvl : 10 bt9-206:0(103)X207820
49.28/49.37	conflict 24lvl : 11 bt11-666:0(227)X207853
50.28/50.33	conflict 18lvl : 6 bt6-251:0(183)X207880
50.48/50.53	conflict 62lvl : 9 bt9-64:0(182)X207901
50.98/51.04	c 631033         1618627        384489778      134962865      5              2851           3   16   9     
51.69/51.70	conflict 127lvl : 10 bt10-666:0(221)X208191
55.58/55.64	conflict 34lvl : 10 bt10-90:0(175)X208321
56.09/56.18	c 694208         1780728        422937907      148603002      6              2866           3   16   9     
57.58/57.64	conflict 17lvl : 5 bt5-79:0(234)X208471
61.08/61.15	conflict 17lvl : 7 bt6-467:0(219)X208491
61.78/61.88	c 763700         1961613        465893211      163582106      6              2906           3   16   8     
62.69/62.72	conflict 12lvl : 10 bt9-400:0(185)X208760
65.58/65.62	conflict 58lvl : 9 bt9-533:0(197)X208775
67.68/67.76	conflict 26lvl : 10 bt10-712:0(105)X208836
67.78/67.89	conflict 10lvl : 10 bt7-593:0(194)X208865
68.08/68.14	conflict 17lvl : 10 bt6-457:0(190)X208878
68.19/68.22	c 840141         2157819        512714887      180589514      7              2925           2   16   8     
69.58/69.64	conflict 16lvl : 7 bt6-1:0(40)X209009
70.78/70.83	conflict 43lvl : 9 bt9-332:0(205)X209028
71.78/71.82	conflict 95lvl : 9 bt7-307:0(148)X209074
74.48/74.56	conflict 82lvl : 7 bt7-71:0(239)X209172
75.08/75.18	c 924226         2374758        564559573      199077587      8              2970           3   18   8     
75.89/75.96	conflict 18lvl : 10 bt10-86:0(207)X209542
75.99/76.05	conflict 56lvl : 9 bt9-381:0(231)X209563
76.08/76.11	conflict 60lvl : 9 bt9-324:0(288)X209622
76.18/76.24	conflict 74lvl : 10 bt10-86:0(168)X209685
77.28/77.32	conflict 77lvl : 12 bt12-609:0(243)X209762
77.68/77.72	conflict 89lvl : 10 bt9-324:0(161)X209842
77.88/77.95	conflict 32lvl : 5 bt5-157:0(162)X209934
78.68/78.80	conflict 34lvl : 9 bt9-308:0(185)X209969
78.78/78.85	conflict 134lvl : 7 bt7-141:0(237)X210006
79.29/79.38	conflict 18lvl : 6 bt5-90:0(90)X210143
79.58/79.62	conflict 15lvl : 8 bt7-308:0(147)X210164
80.88/80.98	conflict 18lvl : 9 bt8-324:0(158)X210182
81.18/81.20	conflict 16lvl : 12 bt8-324:0(181)X210203
82.78/82.83	c 1016719        2613061        621435754      219308995      9              3003           2   17   8     
83.08/83.16	conflict 61lvl : 12 bt12-656:0(219)X210433
83.28/83.31	conflict 16lvl : 10 bt9-459:0(110)X210497
83.48/83.52	conflict 118lvl : 12 bt12-685:0(183)X210516
83.58/83.65	conflict 49lvl : 12 bt12-432:0(194)X210637
86.58/86.66	conflict 107lvl : 13 bt13-162:0(198)X210689
87.28/87.31	conflict 17lvl : 8 bt7-533:0(61)X210799
87.48/87.58	conflict 8lvl : 9 bt6-533:0(80)X210819
88.48/88.50	conflict 4lvl : 11 bt10-381:0(51)X210830
90.08/90.16	conflict 81lvl : 11 bt11-686:0(170)X210837
90.38/90.47	conflict 93lvl : 8 bt8-412:0(101)X210921
90.88/90.90	c 1118461        2873143        682788247      240537310      10             3035           2   16   9     
91.48/91.55	conflict 117lvl : 10 bt10-410:0(197)X211237
95.48/95.53	conflict 125lvl : 12 bt11-395:0(248)X211357
96.28/96.37	conflict 12lvl : 7 bt5-324:0(137)X211485
96.38/96.45	conflict 10lvl : 6 bt6-324:0(42)X211500
96.68/96.72	conflict 73lvl : 10 bt9-115:0(95)X211513
97.28/97.30	conflict 118lvl : 12 bt12-410:0(188)X211589
97.38/97.45	conflict 33lvl : 11 bt11-340:0(221)X211710
97.38/97.47	conflict 164lvl : 8 bt8-414:0(116)X211746
97.58/97.68	conflict 54lvl : 11 bt11-324:0(158)X211913
99.78/99.84	conflict 15lvl : 9 bt8-137:0(129)X211970
100.18/100.28	c 1230377        3161909        752166428      265346895      11             3066           2   17   8     
100.38/100.43	conflict 18lvl : 9 bt9-438:0(135)X212160
100.78/100.89	conflict 18lvl : 7 bt7-354:0(257)X212181
100.88/100.99	conflict 18lvl : 12 bt9-248:0(125)X212202
101.18/101.23	conflict 88lvl : 10 bt8-654:0(168)X212223
101.68/101.78	conflict 18lvl : 11 bt11-530:0(108)X212314
101.78/101.84	conflict 48lvl : 9 bt9-626:0(162)X212335
101.78/101.84	conflict 33lvl : 10 bt10-626:0(242)X212386
101.88/101.95	conflict 98lvl : 11 bt10-533:0(128)X212422
101.98/102.02	conflict 151lvl : 7 bt774:0(120)X212523
102.18/102.23	conflict 38lvl : 7 bt7-656:0(143)X212677
102.78/102.80	conflict 33lvl : 7 bt6-381:0(145)X212718
102.78/102.80	conflict 43lvl : 6 bt5-381:0(136)X212754
103.48/103.58	conflict 57lvl : 9 bt9-591:0(146)X212800
103.58/103.69	conflict 17lvl : 10 bt8-705:0(128)X212860
105.68/105.73	conflict 33lvl : 9 bt9-406:0(202)X212880
106.88/106.90	conflict 46lvl : 8 bt8-68:0(181)X212916
107.28/107.33	conflict 31lvl : 7 bt6-596:0(171)X212965
107.38/107.46	conflict 80lvl : 9 bt9-536:0(226)X212999
108.18/108.22	conflict 8lvl : 7 bt7-687:0(95)X213082
109.38/109.41	conflict 8lvl : 7 bt5-381:0(88)X213093
109.78/109.86	conflict 48lvl : 9 bt9-381:0(174)X213104
110.08/110.18	conflict 18lvl : 8 bt8-504:0(156)X213155
110.28/110.39	c 1353484        3478489        827044542      292071607      13             3099           2   16   8     
110.88/110.91	conflict 99lvl : 8 bt8-598:0(270)X213338
111.98/112.04	conflict 143lvl : 9 bt9-503:0(231)X213440
119.48/119.57	conflict 33lvl : 9 bt6-668:0(218)X213586
120.08/120.18	conflict 16lvl : 7 bt6-381:0(168)X213622
120.18/120.24	conflict 7lvl : 9 bt8-381:0(50)X213641
120.58/120.61	conflict 97lvl : 10 bt10-381:0(181)X213651
121.48/121.52	conflict 39lvl : 7 bt7-388:0(149)X213751
121.58/121.65	c 1488901        3821720        909879167      321957735      16             3128           2   17   8     
124.58/124.67	conflict 85lvl : 9 bt9-391:0(179)X213941
124.88/124.92	conflict 34lvl : 8 bt8-405:0(114)X214029
125.08/125.14	conflict 7lvl : 7 bt6-115:0(58)X214066
125.08/125.15	conflict 18lvl : 9 bt9-29:0(137)X214076
126.58/126.61	conflict 3lvl : 9 bt9-569:0(123)X214097
126.58/126.61	conflict 68lvl : 8 bt8-381:0(105)X214103
126.58/126.61	conflict 65lvl : 8 bt8-381:0(83)X214174
126.58/126.61	conflict 87lvl : 8 bt8-141:0(136)X214242
127.08/127.13	conflict 8lvl : 10 bt9-381:0(124)X214332
127.08/127.19	conflict 93lvl : 9 bt9560:0(75)X214343
127.68/127.77	conflict 53lvl : 9 bt9-381:0(186)X214439
128.18/128.28	conflict 36lvl : 9 bt7-381:0(201)X214495
128.48/128.56	conflict 91lvl : 11 bt11673:0(160)X214534
130.28/130.32	conflict 104lvl : 11 bt11-590:0(123)X214628
131.48/131.55	conflict 107lvl : 8 bt8-391:0(277)X214735
131.48/131.55	conflict 148lvl : 8 bt8-398:0(318)X214845
133.27/133.31	conflict 82lvl : 12 bt12-540:0(221)X214996
133.97/134.05	c 1637859        4209482        1002287014     354361450      19             3154           2   17   8     
134.07/134.15	conflict 117lvl : 9 bt9-248:0(197)X215195
134.47/134.54	conflict 31lvl : 9 bt9-559:0(211)X215315
134.57/134.62	conflict 90lvl : 10 bt9-321:0(266)X215349
134.67/134.78	conflict 17lvl : 8 bt8-80:0(87)X215442
135.67/135.79	conflict 8lvl : 10 bt9-308:0(190)X215462
142.87/142.96	conflict 15lvl : 9 bt8-80:0(231)X215473
143.37/143.47	conflict 12lvl : 7 bt6-80:0(119)X215491
145.57/145.68	conflict 112lvl : 10 bt10-39:0(153)X215506
146.57/146.61	conflict 17lvl : 8 bt7-154:0(117)X215621
147.07/147.18	conflict 85lvl : 10 bt9-154:0(212)X215641
147.38/147.46	conflict 9lvl : 10 bt9-154:0(128)X215729
147.38/147.47	conflict 21lvl : 9 bt8-154:0(159)X215741
147.38/147.48	conflict 39lvl : 9 bt8-381:0(160)X215765
147.87/147.98	c 1801712        4629479        1103609749     391187458      26             3188           2   17   8     
148.27/148.30	conflict 5lvl : 8 bt8-59:0(195)X215938
149.27/149.35	conflict 137lvl : 10 bt9-458:0(175)X215946
149.68/149.71	conflict 49lvl : 8 bt7-461:0(204)X216086
152.27/152.38	conflict 4lvl : 6 bt4-154:0(15)X216138
153.07/153.18	conflict 32lvl : 7 bt5-708:0(127)X216145
153.17/153.21	conflict 15lvl : 10 bt10-37:0(242)X216180
153.77/153.85	conflict 117lvl : 8 bt7-641:0(232)X216198
155.57/155.69	conflict 15lvl : 9 bt8-381:0(153)X216318
155.67/155.71	conflict 22lvl : 9 bt8-381:0(126)X216336
156.37/156.47	conflict 59lvl : 7 bt7-157:0(139)X216361
156.57/156.68	conflict 26lvl : 8 bt8-504:0(292)X216423
156.77/156.82	conflict 93lvl : 7 bt7-156:0(184)X216452
157.28/157.37	conflict 57lvl : 7 bt7-68:0(190)X216548
157.47/157.52	conflict 137lvl : 7 bt7-36:0(272)X216608
157.67/157.75	conflict 117lvl : 8 bt7-381:0(150)X216748
157.97/158.01	conflict 96lvl : 9 bt9-381:0(209)X216868
157.97/158.03	conflict 35lvl : 8 bt8-165:0(198)X216967
158.27/158.35	conflict 18lvl : 9 bt9-25:0(168)X217005
158.27/158.35	conflict 74lvl : 8 bt8-159:0(221)X217026
158.38/158.43	c restarts              : 578         
158.38/158.43	c conflicts             : 1921901      (12133 /sec)
158.38/158.43	c decisions             : 4941773      (31197 /sec)
158.38/158.43	c propagations          : 418888739   (2644381 /sec)
158.38/158.43	c root propagations     : 0           
158.38/158.43	c filter calls          : 1178924991     (7442374 /sec)
158.38/158.43	c useless filter calls  : 944634861      (80 %)
158.38/158.43	c
158.38/158.43	c clauses               : 40255
158.38/158.43	c SAT propagations      : 136564
158.38/158.43	c SAT conflicts         : 1996 (186 learnts)
158.38/158.43	c Memory used           : 32.32 MB
158.38/158.43	c CPU time              : 158.407 s
158.38/158.43	
158.38/158.43	s UNSATISFIABLE

Verifier Data


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-4240336-1500625766/watcher-4240336-1500625766 -o /tmp/evaluation-result-4240336-1500625766/solver-4240336-1500625766 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5345 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240336-1500625766.xml 

pid=6620
running on 4 cores: 1,3,5,7

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.06 2.07 2.14 3/186 6623
/proc/meminfo: memFree=17136416/32770624 swapFree=6312/14416
[pid=6623] ppid=6620 vsize=26992 CPUtime=0 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 966 0 0 0 0 0 0 0 20 0 1 0 17323659 27639808 766 33554432000 4194304 5970956 140734468266432 140734468263032 140237143649253 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 6748 766 684 434 0 112 0

[startup+0.100119 s]
/proc/loadavg: 2.06 2.07 2.14 3/186 6623
/proc/meminfo: memFree=17136416/32770624 swapFree=6312/14416
[pid=6623] ppid=6620 vsize=27248 CPUtime=0.09 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 1040 0 0 0 9 0 0 0 20 0 1 0 17323659 27901952 852 33554432000 4194304 5970956 140734468266432 140734468263032 140237144087552 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 6812 852 716 434 0 176 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27248

[startup+0.200252 s]
/proc/loadavg: 2.06 2.07 2.14 3/186 6623
/proc/meminfo: memFree=17136416/32770624 swapFree=6312/14416
[pid=6623] ppid=6620 vsize=33096 CPUtime=0.19 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 1607 0 0 0 19 0 0 0 20 0 1 0 17323659 33890304 1418 33554432000 4194304 5970956 140734468266432 140734468263768 140237144087648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1418 753 434 0 1638 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33096

[startup+0.300178 s]
/proc/loadavg: 2.06 2.07 2.14 3/186 6623
/proc/meminfo: memFree=17136416/32770624 swapFree=6312/14416
[pid=6623] ppid=6620 vsize=33096 CPUtime=0.29 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 1611 0 0 0 29 0 0 0 20 0 1 0 17323659 33890304 1418 33554432000 4194304 5970956 140734468266432 140734468263768 5328073 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1418 753 434 0 1638 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33096

[startup+0.700172 s]
/proc/loadavg: 2.06 2.07 2.14 3/186 6623
/proc/meminfo: memFree=17136416/32770624 swapFree=6312/14416
[pid=6623] ppid=6620 vsize=33096 CPUtime=0.69 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 1625 0 0 0 69 0 0 0 20 0 1 0 17323659 33890304 1418 33554432000 4194304 5970956 140734468266432 140734468263768 5243550 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1418 753 434 0 1638 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33096

[startup+1.50017 s]
/proc/loadavg: 2.06 2.07 2.14 3/187 6624
/proc/meminfo: memFree=17134224/32770624 swapFree=6312/14472
[pid=6623] ppid=6620 vsize=33096 CPUtime=1.49 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 1633 0 0 0 149 0 0 0 20 0 1 0 17323659 33890304 1418 33554432000 4194304 5970956 140734468266432 140734468263864 4912928 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1418 753 434 0 1638 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33096

[startup+3.10017 s]
/proc/loadavg: 2.06 2.07 2.14 3/187 6624
/proc/meminfo: memFree=17133744/32770624 swapFree=6312/14472
[pid=6623] ppid=6620 vsize=33096 CPUtime=3.09 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 2226 0 0 0 309 0 0 0 20 0 1 0 17323659 33890304 1476 33554432000 4194304 5970956 140734468266432 140734468263768 4912883 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1476 773 434 0 1638 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33096

[startup+6.30017 s]
/proc/loadavg: 2.06 2.07 2.14 3/187 6624
/proc/meminfo: memFree=17134144/32770624 swapFree=6312/14484
[pid=6623] ppid=6620 vsize=33096 CPUtime=6.29 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 2825 0 0 0 629 0 0 0 20 0 1 0 17323659 33890304 1478 33554432000 4194304 5970956 140734468266432 140734468263768 5093256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1478 773 434 0 1638 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33096

[startup+12.7002 s]
/proc/loadavg: 2.05 2.07 2.14 3/187 6624
/proc/meminfo: memFree=17134128/32770624 swapFree=6312/14492
[pid=6623] ppid=6620 vsize=33096 CPUtime=12.69 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 3425 0 0 0 1269 0 0 0 20 0 1 0 17323659 33890304 1480 33554432000 4194304 5970956 140734468266432 140734468263768 4912784 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1480 773 434 0 1638 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33096

[startup+25.5002 s]
/proc/loadavg: 2.04 2.07 2.14 3/187 6624
/proc/meminfo: memFree=17134608/32770624 swapFree=6312/14508
[pid=6623] ppid=6620 vsize=33096 CPUtime=25.48 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 4634 0 0 0 2548 0 0 0 20 0 1 0 17323659 33890304 1485 33554432000 4194304 5970956 140734468266432 140734468263864 5327859 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1485 773 434 0 1638 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33096

[startup+51.1002 s]
/proc/loadavg: 2.03 2.06 2.13 3/188 6632
/proc/meminfo: memFree=17133820/32770624 swapFree=6312/14552
[pid=6623] ppid=6620 vsize=33096 CPUtime=51.08 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 5247 0 0 0 5108 0 0 0 20 0 1 0 17323659 33890304 1488 33554432000 4194304 5970956 140734468266432 140734468263768 5319252 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1488 773 434 0 1638 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33096

[startup+102.3 s]
/proc/loadavg: 2.01 2.05 2.13 3/188 6633
/proc/meminfo: memFree=17134296/32770624 swapFree=6312/14620
[pid=6623] ppid=6620 vsize=33096 CPUtime=102.28 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 5863 0 0 0 10228 0 0 0 20 0 1 0 17323659 33890304 1492 33554432000 4194304 5970956 140734468266432 140734468263864 5319840 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1492 773 434 0 1638 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 33096

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

[startup+102.406 s]
/proc/loadavg: 2.01 2.05 2.13 3/188 6633
/proc/meminfo: memFree=17134296/32770624 swapFree=6312/14620
[pid=6623] ppid=6620 vsize=33096 CPUtime=102.38 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 5863 0 0 0 10238 0 0 0 20 0 1 0 17323659 33890304 1492 33554432000 4194304 5970956 140734468266432 140734468263864 5272605 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1492 773 434 0 1638 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 33096

[startup+128 s]
/proc/loadavg: 2.01 2.05 2.13 3/188 6634
/proc/meminfo: memFree=17132548/32770624 swapFree=6312/14664
[pid=6623] ppid=6620 vsize=33096 CPUtime=127.98 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 6486 0 0 0 12798 0 0 0 20 0 1 0 17323659 33890304 1500 33554432000 4194304 5970956 140734468266432 140734468263864 4912815 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1500 773 434 0 1638 0
Current children cumulated CPU time (s) 127.98
Current children cumulated vsize (KiB) 33096

[startup+140.8 s]
/proc/loadavg: 2.01 2.05 2.12 3/188 6634
/proc/meminfo: memFree=17133400/32770624 swapFree=6312/14684
[pid=6623] ppid=6620 vsize=33096 CPUtime=140.78 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 6487 0 0 0 14078 0 0 0 20 0 1 0 17323659 33890304 1500 33554432000 4194304 5970956 140734468266432 140734468263864 4912960 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1500 773 434 0 1638 0
Current children cumulated CPU time (s) 140.78
Current children cumulated vsize (KiB) 33096

[startup+147.2 s]
/proc/loadavg: 2.09 2.06 2.13 3/188 6634
/proc/meminfo: memFree=17133772/32770624 swapFree=6312/14684
[pid=6623] ppid=6620 vsize=33096 CPUtime=147.17 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 6488 0 0 0 14717 0 0 0 20 0 1 0 17323659 33890304 1500 33554432000 4194304 5970956 140734468266432 140734468263864 5273200 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1500 773 434 0 1638 0
Current children cumulated CPU time (s) 147.17
Current children cumulated vsize (KiB) 33096

[startup+153.6 s]
/proc/loadavg: 2.08 2.06 2.13 3/188 6634
/proc/meminfo: memFree=17133060/32770624 swapFree=6312/14684
[pid=6623] ppid=6620 vsize=33096 CPUtime=153.57 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 6489 0 0 0 15357 0 0 0 20 0 1 0 17323659 33890304 1500 33554432000 4194304 5970956 140734468266432 140734468263864 5327993 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1500 773 434 0 1638 0
Current children cumulated CPU time (s) 153.57
Current children cumulated vsize (KiB) 33096

[startup+156.8 s]
/proc/loadavg: 2.07 2.06 2.13 3/188 6634
/proc/meminfo: memFree=17133316/32770624 swapFree=6312/14692
[pid=6623] ppid=6620 vsize=33096 CPUtime=156.77 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 6489 0 0 0 15677 0 0 0 20 0 1 0 17323659 33890304 1500 33554432000 4194304 5970956 140734468266432 140734468263864 4913047 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1500 773 434 0 1638 0
Current children cumulated CPU time (s) 156.77
Current children cumulated vsize (KiB) 33096

[startup+157.6 s]
/proc/loadavg: 2.07 2.06 2.13 3/188 6634
/proc/meminfo: memFree=17132060/32770624 swapFree=6312/14692
[pid=6623] ppid=6620 vsize=33096 CPUtime=157.57 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 6489 0 0 0 15757 0 0 0 20 0 1 0 17323659 33890304 1500 33554432000 4194304 5970956 140734468266432 140734468263864 4912950 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1500 773 434 0 1638 0
Current children cumulated CPU time (s) 157.57
Current children cumulated vsize (KiB) 33096

[startup+158 s]
/proc/loadavg: 2.07 2.06 2.13 3/188 6634
/proc/meminfo: memFree=17132060/32770624 swapFree=6312/14692
[pid=6623] ppid=6620 vsize=33096 CPUtime=157.97 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 6489 0 0 0 15797 0 0 0 20 0 1 0 17323659 33890304 1500 33554432000 4194304 5970956 140734468266432 140734468263864 5319715 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1500 773 434 0 1638 0
Current children cumulated CPU time (s) 157.97
Current children cumulated vsize (KiB) 33096

[startup+158.4 s]
/proc/loadavg: 2.07 2.06 2.13 3/188 6634
/proc/meminfo: memFree=17132060/32770624 swapFree=6312/14692
[pid=6623] ppid=6620 vsize=33096 CPUtime=158.38 cores=1,3,5,7
/proc/6623/stat : 6623 (cosoco) R 6620 6623 5313 0 -1 4202496 6490 0 0 0 15838 0 0 0 20 0 1 0 17323659 33890304 1500 33554432000 4194304 5970956 140734468266432 140734468263864 4912964 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 15351808 140734468269244 140734468269379 140734468269379 140734468272078 0
/proc/6623/statm: 8274 1500 773 434 0 1638 0
Current children cumulated CPU time (s) 158.38
Current children cumulated vsize (KiB) 33096

Child status: 0
Real time (s): 158.431
CPU time (s): 158.415
CPU user time (s): 158.408
CPU system time (s): 0.006999
CPU usage (%): 99.9899
Max. virtual memory (cumulated for all children) (KiB): 33096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.408
system time used= 0.006999
maximum resident set size= 6104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6530
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= 7963

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.337947 second user time and 0.642977 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-21 10:29:26
IDJOB=4240336
IDBENCH=121581
IDSOLVER=2621
FILE ID=node104/4240336-1500625766
RUNJOBID= node104-1500623789-5345
PBS_JOBID= 20623023
Free space on /tmp= 62020 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Random/Random-RB-2-40-19/rand-2-40-19-443-230-30.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240336-1500625766/watcher-4240336-1500625766 -o /tmp/evaluation-result-4240336-1500625766/solver-4240336-1500625766 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5345 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240336-1500625766.xml

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

MD5SUM BENCH= 1a774b1240a532d284d5b76f46f8bad3
RANDOM SEED=466502374

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17136968 kB
MemAvailable:   17117748 kB
Buffers:          122216 kB
Cached:           144572 kB
SwapCached:            0 kB
Active:         14235548 kB
Inactive:         941260 kB
Active(anon):   14003180 kB
Inactive(anon):   926584 kB
Active(file):     232368 kB
Inactive(file):    14676 kB
Unevictable:        6312 kB
Mlocked:            6312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2724 kB
Writeback:             0 kB
AnonPages:      14916228 kB
Mapped:            34160 kB
Shmem:             17044 kB
Slab:             124760 kB
SReclaimable:      99140 kB
SUnreclaim:        25620 kB
KernelStack:        3360 kB
PageTables:        33872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   16148632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3207168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62016 MiB
End job on node104 at 2017-07-21 10:32:05