Trace number 4241121

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 28.8267 28.8319

General information on the benchmark

NameQRandom/
QRandom-geometric-rw/geometric-50-20-d4-75-14.xml
MD5SUM80005f43209ae7ce669f7000fbe1f4f3
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 benchmark40.999901
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints447
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":50}]
Minimum variable degree7
Maximum variable degree29
Distribution of variable degrees[{"degree":7,"count":1},{"degree":8,"count":4},{"degree":9,"count":1},{"degree":10,"count":7},{"degree":11,"count":2},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":3},{"degree":24,"count":1},{"degree":25,"count":5},{"degree":26,"count":2},{"degree":27,"count":4},{"degree":28,"count":2},{"degree":29,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":447}]
Number of extensional constraints447
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":447}]
Optimization problemNO
Type of objective

Solver Data 

0.09/0.15	c SAT : Variables: 1000 -- Clauses: 9550
0.09/0.16	c root propagations     : 0           
0.09/0.16	c restarts enabled, print stats at every restarts
0.09/0.16	c
0.09/0.16	c
0.09/0.16	c
0.09/0.16	c This is cosoco 1.0 --  
0.09/0.16	c
0.09/0.16	c ========================================[ Problem Statistics ]===========================================
0.09/0.16	c |                                                                                                       
0.09/0.16	c |  Parse time        :         0.16 s 
0.09/0.16	c |
0.09/0.16	c |               Variables: 50
0.09/0.16	c |            Domain Sizes: 20..20
0.09/0.16	c |
0.09/0.16	c |             Constraints: 447
0.09/0.16	c |                   Arity: 2..2  -- Binary: 447
0.09/0.16	c | 
0.09/0.16	c |                   Types: 
0.09/0.16	c |                          Extension: 447  (nb tuples: 74..123) -- (shared: 0)
0.09/0.16	c |                          
0.09/0.16	c =========================================================================================================
0.09/0.16	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.09/0.16	c 10             21             6972           2449           0              6              7   9   7      
0.09/0.16	c 20             42             13057          4418           0              9              5   7   5      
0.09/0.16	c 30             61             18402          6740           0              12             4   7   4      
0.09/0.16	c 40             82             25412          9130           0              17             5   7   5      
0.09/0.17	c 50             112            34922          12179          0              21             4   10   6     
0.09/0.17	c 60             137            43479          14736          0              24             6   8   6      
0.09/0.17	c 70             159            50649          17145          0              27             6   7   6      
0.09/0.17	c 80             184            58234          19858          0              35             5   9   6      
0.09/0.17	c 90             209            66486          22333          0              37             5   8   6      
0.09/0.17	c 100            239            76276          25514          0              40             5   8   6      
0.09/0.17	c 101            245            78843          26208          0              41             6   6   3      
0.09/0.17	c 110            266            85850          28481          0              46             5   8   5      
0.09/0.18	c 120            286            92304          30686          0              50             5   7   5      
0.09/0.18	c 130            318            101428         33400          0              55             6   9   6      
0.09/0.18	c 140            340            108970         36423          0              56             5   7   5      
0.09/0.18	c 150            371            119757         40038          0              61             6   8   5      
0.09/0.18	c 160            394            128166         43193          0              63             5   8   5      
0.09/0.18	c 170            416            135604         45315          0              67             6   8   6      
0.09/0.18	c 180            444            144670         48135          0              71             6   8   6      
0.09/0.18	c 190            470            153302         50875          0              74             6   8   5      
0.09/0.19	c 200            492            161443         53700          0              79             5   7   6      
0.09/0.19	c 210            513            168885         55969          0              85             6   8   6      
0.09/0.19	c 211            519            171139         56531          0              86             6   6   3      
0.09/0.19	c 220            540            178164         59113          0              89             5   8   5      
0.09/0.19	c 230            564            186915         62045          0              92             5   8   5      
0.09/0.19	c 240            593            198004         65327          0              97             5   8   6      
0.09/0.19	c 250            617            205414         67927          0              100            6   8   6      
0.09/0.19	c 260            643            213594         70464          0              106            5   8   6      
0.19/0.20	c 270            664            220033         72415          0              107            6   8   6      
0.19/0.20	conflict 81lvl : 5 bt5-592:0(89)X263181
0.19/0.20	c 280            686            227054         75007          0              113            5   8   5      
0.19/0.20	c 290            711            235215         77932          0              117            5   7   5      
0.19/0.20	c 300            737            244582         80882          0              122            6   8   6      
0.19/0.20	conflict 5lvl : 5 bt4-261:0(16)X263385
0.19/0.20	c 310            763            252618         83384          0              125            5   9   5      
0.19/0.20	c 320            787            260940         85847          0              129            6   8   6      
0.19/0.20	c 330            810            268889         88341          0              130            5   7   5      
0.19/0.20	c 332            818            271953         89255          0              132            6   6   4      
0.19/0.21	c 340            836            278519         91519          0              136            5   7   5      
0.19/0.21	c 350            859            286861         94298          0              140            5   8   5      
0.19/0.21	c 360            882            295071         97089          0              142            6   7   5      
0.19/0.21	c 370            911            305409         99883          0              144            6   9   6      
0.19/0.21	c 380            938            313894         102393         0              147            5   8   5      
0.19/0.21	c 390            965            322979         105582         0              151            5   9   5      
0.19/0.21	c 400            988            331564         108625         0              155            5   7   5      
0.19/0.21	c 410            1007           338542         111101         0              161            5   7   5      
0.19/0.22	c 420            1036           349230         114303         0              165            6   8   6      
0.19/0.22	c 430            1060           356675         116498         0              171            6   8   6      
0.19/0.22	c 440            1083           364011         118415         0              172            6   9   6      
0.19/0.22	c 450            1112           373161         121092         0              176            5   9   6      
0.19/0.22	c 460            1139           383655         124378         0              178            5   8   6      
0.19/0.22	c 465            1151           387484         125462         0              181            5   8   5      
0.19/0.22	c 470            1167           392794         127084         0              184            6   7   5      
0.19/0.22	c 480            1191           400985         129904         0              187            6   7   5      
0.19/0.23	c 490            1219           411473         133393         0              189            5   8   6      
0.19/0.23	c 500            1253           421376         136804         0              195            5   9   6      
0.19/0.23	conflict 6lvl : 5 bt4-842:0(7)X263963
0.19/0.23	c 510            1279           429774         139397         0              198            5   7   5      
0.19/0.23	c 520            1302           437284         141721         0              203            6   8   6      
0.19/0.23	c 530            1326           444792         144034         0              205            5   7   5      
0.19/0.23	c 540            1351           453350         146656         0              208            5   8   5      
0.19/0.23	c 550            1377           462919         149968         0              209            6   8   6      
0.19/0.24	c 560            1399           470397         152467         0              214            5   8   6      
0.19/0.24	c 570            1430           481742         155843         0              218            7   8   6      
0.19/0.24	c 580            1452           489857         158410         0              224            6   7   6      
0.19/0.24	c 590            1475           497066         160578         0              227            6   10   6     
0.19/0.24	c 600            1503           506976         163432         0              232            6   7   5      
0.19/0.24	c 610            1525           514857         166210         0              240            4   8   4      
0.19/0.24	c 611            1530           516817         166847         0              241            5   5   2      
0.19/0.24	c 620            1554           524205         169516         0              243            5   8   5      
0.19/0.25	c 630            1575           531853         172098         0              247            5   7   5      
0.19/0.25	c 640            1596           539696         174763         0              249            6   7   5      
0.19/0.25	c 650            1618           546861         177538         0              254            5   7   5      
0.19/0.25	c 660            1643           555919         180422         0              257            6   8   6      
0.19/0.25	c 670            1664           563694         183272         0              259            5   7   5      
0.19/0.25	c 680            1688           571061         185707         0              263            5   9   6      
0.19/0.25	c 690            1716           579973         188460         0              266            5   8   6      
0.19/0.25	c 700            1742           588825         191584         0              269            5   8   5      
0.19/0.26	c 710            1766           596587         194139         0              272            4   7   5      
0.19/0.26	c 720            1793           605895         196940         0              275            5   9   6      
0.19/0.26	c 730            1822           616468         199766         0              276            7   8   6      
0.19/0.26	c 740            1848           624575         202225         0              279            5   8   5      
0.19/0.26	c 750            1876           635610         205789         0              283            5   7   5      
0.19/0.26	c 760            1903           645248         208783         0              288            6   10   6     
0.19/0.26	c 770            1926           653550         211531         0              291            5   7   5      
0.19/0.27	c 771            1934           656420         212218         0              292            8   8   4      
0.19/0.27	c 780            1961           664906         215118         0              296            5   8   5      
0.19/0.27	c 790            1988           674000         217673         0              300            6   7   6      
0.19/0.27	c 800            2014           683827         220560         0              303            5   9   6      
0.19/0.27	c 810            2036           691463         222930         0              308            5   7   6      
0.19/0.27	c 820            2057           698393         225388         0              313            5   7   5      
0.19/0.27	c 830            2080           706509         228056         0              314            6   7   6      
0.19/0.27	c 840            2105           715353         230567         0              316            5   8   6      
0.19/0.28	c 850            2129           722814         232751         0              317            5   7   5      
0.19/0.28	c 860            2151           730902         235249         0              320            6   7   5      
0.19/0.28	c 870            2170           736913         237220         0              324            6   7   5      
0.19/0.28	c 880            2191           743706         239587         0              326            5   7   5      
0.19/0.28	c 890            2215           751941         242259         0              331            6   8   6      
0.19/0.28	c 900            2243           761205         245076         0              333            6   9   6      
0.19/0.28	c 910            2265           768908         247868         0              342            5   7   5      
0.19/0.28	c 920            2292           777987         250495         0              348            6   8   6      
0.19/0.29	c 930            2318           786425         253053         0              352            5   9   6      
0.19/0.29	c 940            2341           795275         255826         0              357            6   7   5      
0.19/0.29	c 947            2359           802397         258348         0              359            5   7   5      
0.19/0.29	c 950            2368           806032         259433         0              361            6   6   4      
0.19/0.29	c 960            2392           814162         262022         0              363            5   8   5      
0.19/0.29	c 970            2420           823142         264776         0              365            5   8   6      
0.19/0.29	c 980            2447           832694         267562         0              369            6   9   6      
0.19/0.29	c 990            2470           840154         269912         0              375            5   8   6      
0.29/0.30	c 1000           2505           850909         273191         0              381            6   10   7     
0.29/0.30	c 1010           2525           856746         275493         0              385            4   7   5      
0.29/0.30	c 1020           2554           867079         278577         0              388            5   8   6      
0.29/0.30	c 1030           2579           875708         281165         0              391            6   8   6      
0.29/0.30	c 1040           2608           885507         284017         0              393            6   8   6      
0.29/0.30	c 1050           2634           893453         286759         0              394            5   7   5      
0.29/0.30	c 1060           2658           901603         289803         0              396            5   7   5      
0.29/0.31	c 1070           2681           909684         292571         0              401            5   7   5      
0.29/0.31	c 1080           2710           920074         295649         0              406            6   9   6      
0.29/0.31	c 1090           2735           928875         298308         0              411            5   8   6      
0.29/0.31	c 1100           2760           937820         301086         0              416            6   9   6      
0.29/0.31	c 1110           2786           946568         303706         0              418            6   8   6      
0.29/0.31	c 1120           2813           956964         307153         0              423            6   8   6      
0.29/0.31	c 1130           2838           965584         310110         0              426            6   8   6      
0.29/0.32	c 1140           2860           973212         312621         0              431            5   8   5      
0.29/0.32	c 1141           2868           976369         313358         0              432            8   8   4      
0.29/0.32	c 1150           2890           982675         315311         0              435            5   9   6      
0.29/0.32	c 1160           2921           993412         318771         0              439            5   8   5      
0.29/0.32	c 1170           2945           1000739        320954         0              444            6   9   6      
0.29/0.32	c 1180           2969           1009939        323863         0              446            6   8   6      
0.29/0.32	c 1190           2989           1016776        326348         0              449            5   7   5      
0.29/0.32	conflict 24lvl : 6 bt6-24:0(28)X265970
0.29/0.32	c 1200           3012           1025455        328990         0              452            5   7   5      
0.29/0.33	c 1210           3043           1035769        332047         0              455            4   9   6      
0.29/0.33	c 1220           3067           1044302        334696         0              460            6   8   6      
0.29/0.33	c 1230           3092           1053414        337664         0              465            5   7   5      
0.29/0.33	c 1240           3116           1061001        339951         0              471            6   7   6      
0.29/0.33	c 1250           3138           1067708        342111         0              478            6   8   6      
0.29/0.33	c 1260           3163           1076157        344921         0              482            5   7   5      
0.29/0.33	c 1270           3192           1085349        347836         0              488            6   8   6      
0.29/0.33	c 1280           3214           1093760        350229         0              491            5   9   5      
0.29/0.34	c 1290           3240           1102767        352818         0              495            6   7   6      
0.29/0.34	c 1300           3272           1114169        356403         0              500            6   8   6      
0.29/0.34	c 1310           3292           1121250        358861         0              504            4   6   5      
0.29/0.34	c 1320           3322           1130429        361416         0              506            7   10   7     
0.29/0.34	c 1330           3353           1141161        364347         0              510            6   8   6      
0.29/0.34	c 1340           3377           1149265        366908         0              514            6   7   6      
0.29/0.35	c 1350           3399           1156569        369312         0              517            6   8   6      
0.29/0.35	c 1352           3410           1159770        370062         0              518            8   10   6     
0.29/0.35	c 1360           3427           1164893        371642         0              519            4   8   5      
0.29/0.35	c 1370           3449           1173323        374320         0              521            5   7   5      
0.29/0.35	c 1380           3477           1183086        377393         0              523            7   9   6      
0.29/0.35	c 1390           3506           1194054        380360         0              526            5   8   6      
0.29/0.35	c 1400           3534           1204484        383679         0              528            6   8   5      
0.29/0.35	c 1410           3559           1211551        386259         0              533            5   10   6     
0.29/0.36	c 1420           3580           1218932        388588         0              535            5   8   5      
0.29/0.36	c 1430           3600           1227021        391031         0              536            4   7   5      
0.29/0.36	c 1440           3628           1237972        394385         0              539            5   7   5      
0.29/0.36	c 1450           3657           1248446        397825         0              542            5   8   5      
0.29/0.36	c 1460           3678           1256724        400512         0              546            4   6   5      
0.29/0.36	c 1470           3705           1266094        403038         0              549            7   9   6      
0.29/0.36	c 1480           3732           1274802        405787         0              552            6   7   5      
0.29/0.37	c 1490           3765           1285321        408976         0              555            5   9   6      
0.29/0.37	c 1500           3790           1295218        411791         0              557            6   7   5      
0.29/0.37	c 1510           3815           1303738        414593         0              563            4   7   5      
0.29/0.37	conflict 19lvl : 7 bt7-787:0(79)X266894
0.29/0.37	c 1520           3844           1313242        417539         0              569            6   9   6      
0.29/0.37	c 1530           3869           1321866        420467         0              575            4   7   5      
0.29/0.37	c 1540           3894           1329651        423183         0              577            5   8   5      
0.29/0.37	c 1550           3918           1337495        425820         0              583            5   8   5      
0.29/0.37	c 1560           3940           1344251        427638         0              588            6   8   6      
0.29/0.38	c 1570           3966           1353288        430173         0              591            6   8   6      
0.29/0.38	c 1580           3996           1364253        433232         0              594            6   9   6      
0.29/0.38	c 1585           4011           1370015        434849         0              596            6   6   5      
0.29/0.38	c 1590           4025           1375194        436604         0              599            5   7   5      
0.29/0.38	c 1600           4055           1384779        439477         0              602            6   9   6      
0.29/0.38	c 1610           4078           1392235        441739         0              608            5   8   6      
0.29/0.38	c 1620           4103           1400291        444501         0              612            5   7   5      
0.29/0.39	c 1630           4128           1409358        447328         0              616            6   9   6      
0.29/0.39	c 1640           4153           1416373        449769         0              618            5   9   5      
0.29/0.39	c 1650           4180           1426192        452869         0              624            6   7   5      
0.29/0.39	c 1660           4202           1433635        455298         0              627            6   8   5      
0.29/0.39	c 1670           4228           1441475        457644         0              633            6   9   6      
0.29/0.39	c 1680           4255           1451255        460698         0              638            4   9   6      
0.29/0.39	c 1690           4281           1459007        462998         0              642            6   8   5      
0.29/0.39	c 1700           4306           1467405        465726         0              648            5   8   5      
0.39/0.40	c 1710           4329           1475076        468379         0              650            5   8   5      
0.39/0.40	c 1720           4355           1483125        470721         0              656            6   9   7      
0.39/0.40	c 1730           4381           1492304        473444         0              660            5   8   6      
0.39/0.40	c 1740           4406           1500303        476039         0              662            6   8   6      
0.39/0.40	c 1750           4428           1507469        478387         0              665            5   8   6      
0.39/0.40	c 1760           4449           1513798        480592         0              666            5   7   5      
0.39/0.40	c 1770           4470           1519647        482644         0              667            5   8   5      
0.39/0.40	c 1780           4492           1527755        485024         0              670            5   8   6      
0.39/0.41	c 1790           4515           1535549        487866         0              674            5   7   5      
0.39/0.41	c 1800           4533           1541683        490044         0              681            5   7   5      
0.39/0.41	c 1810           4557           1550793        493046         0              687            5   7   5      
0.39/0.41	c 1820           4585           1561328        496313         0              689            6   8   6      
0.39/0.41	c 1830           4614           1570220        498924         0              695            6   8   6      
0.39/0.41	conflict 54lvl : 5 bt5-377:0(45)X267986
0.39/0.41	c 1840           4639           1579199        501784         0              698            5   7   5      
0.39/0.41	c 1841           4646           1582125        502501         0              699            7   7   3      
0.39/0.41	c 1850           4666           1588647        504520         0              703            5   8   5      
0.39/0.42	c 1860           4692           1597578        507140         0              708            6   7   5      
0.39/0.42	c 1870           4716           1605555        509786         0              711            5   7   5      
0.39/0.42	c 1880           4739           1612338        511940         0              716            4   8   5      
0.39/0.42	c 1890           4763           1621376        514903         0              721            5   9   6      
0.39/0.42	c 1900           4789           1630639        517661         0              725            5   8   5      
0.39/0.42	c 1910           4818           1640964        520693         0              727            7   9   7      
0.39/0.42	c 1920           4844           1648898        523600         0              734            4   11   5     
0.39/0.43	c 1930           4866           1656382        525984         0              739            6   7   6      
0.39/0.43	c 1940           4896           1665508        528765         0              743            6   9   6      
0.39/0.43	c 1950           4918           1672271        531079         0              746            5   7   5      
0.39/0.43	c 1960           4942           1680996        534231         0              748            5   8   5      
0.39/0.43	c 1970           4970           1690169        537433         0              754            6   9   6      
0.39/0.43	c 1980           4992           1697681        540124         0              759            4   7   5      
0.39/0.43	c 1990           5021           1707431        543163         0              764            6   8   6      
0.39/0.43	c 2000           5044           1715628        545936         0              767            5   7   5      
0.39/0.44	c 2010           5068           1722991        548426         0              773            5   9   5      
0.39/0.44	c 2020           5098           1732858        551588         0              775            5   8   6      
0.39/0.44	c 2030           5126           1741555        554271         0              780            6   8   6      
0.39/0.44	c 2040           5150           1750367        556963         0              781            4   7   5      
0.39/0.44	c 2050           5173           1758107        559084         0              783            6   8   6      
0.39/0.44	c 2060           5200           1766562        561864         0              788            4   8   5      
0.39/0.44	c 2070           5228           1777164        565094         0              791            5   7   5      
0.39/0.45	c 2080           5250           1783872        567049         0              796            8   10   7     
0.39/0.45	c 2090           5274           1791928        569819         0              800            5   8   5      
0.39/0.45	c 2100           5298           1800769        572700         0              802            5   8   5      
0.39/0.45	c 2110           5323           1809231        575326         0              810            5   8   5      
0.39/0.45	c 2120           5351           1818770        578332         0              813            6   9   6      
0.39/0.45	c 2122           5358           1821280        578989         0              815            6   6   4      
0.39/0.45	c 2130           5379           1828035        580935         0              819            5   8   6      
0.39/0.45	c 2140           5403           1837371        583544         0              823            6   9   6      
0.39/0.46	c 2150           5435           1847266        586919         0              829            5   8   6      
0.39/0.46	c 2160           5461           1856362        589733         0              833            6   8   6      
0.39/0.46	c 2170           5483           1862101        591561         0              839            5   8   6      
0.39/0.46	c 2180           5505           1869940        594200         0              840            5   9   6      
0.39/0.46	c 2190           5529           1877426        596703         0              846            5   9   5      
0.39/0.46	c 2200           5553           1886456        599185         0              848            6   9   7      
0.39/0.46	c 2210           5580           1894943        602065         0              851            5   7   5      
0.39/0.46	c 2220           5605           1903817        604933         0              855            6   7   5      
0.39/0.47	conflict 55lvl : 4 bt4-504:0(132)X269301
0.39/0.47	c 2230           5630           1913083        607656         0              862            5   7   5      
0.39/0.47	c 2240           5654           1921347        610073         0              866            6   8   6      
0.39/0.47	c 2250           5677           1929307        612796         0              870            5   7   5      
0.39/0.47	c 2260           5701           1938822        616161         0              874            6   7   5      
0.39/0.47	c 2270           5722           1946044        618979         0              879            4   7   4      
0.39/0.47	c 2280           5749           1955770        621840         0              884            5   8   6      
0.39/0.47	c 2290           5776           1964722        624690         0              889            6   8   6      
0.39/0.48	c 2300           5803           1973151        627274         0              894            5   8   6      
0.39/0.48	c 2310           5824           1979886        629624         0              896            5   7   5      
0.39/0.48	c 2320           5849           1988717        632423         0              903            6   8   5      
0.39/0.48	c 2330           5878           1998862        635326         0              907            4   7   5      
0.39/0.48	c 2340           5907           2009440        638210         0              910            6   9   6      
0.39/0.48	c 2350           5934           2019135        640935         0              914            5   8   6      
0.39/0.48	c 2360           5960           2026681        643357         0              921            5   9   5      
0.39/0.49	c 2370           5988           2036256        645915         0              924            5   8   6      
0.39/0.49	c 2380           6018           2046382        648889         0              929            6   9   6      
0.39/0.49	c 2390           6041           2054167        651269         0              931            6   8   6      
0.39/0.49	c 2400           6068           2063825        654060         0              934            4   9   6      
0.39/0.49	c 2410           6095           2072133        656410         0              936            4   7   5      
0.39/0.49	c 2420           6117           2080201        658677         0              938            5   9   6      
0.39/0.49	c 2430           6144           2090852        661948         0              943            5   8   5      
0.39/0.49	c 2431           6150           2093224        662511         0              944            6   6   3      
0.49/0.50	c 2440           6171           2100937        664771         0              949            6   7   5      
0.49/0.50	c 2450           6197           2109738        667095         0              953            5   7   5      
0.49/0.50	c 2460           6221           2118985        669956         0              958            5   7   5      
0.49/0.50	c 2470           6245           2127801        672454         0              963            6   7   5      
0.49/0.50	c 2480           6272           2136782        675202         0              967            5   9   6      
0.49/0.50	c 2490           6292           2143691        677325         0              973            5   7   5      
0.49/0.50	c 2500           6319           2152927        679647         0              975            6   10   6     
0.49/0.51	c 2510           6345           2161628        682156         0              980            5   8   5      
0.49/0.51	conflict 10lvl : 5 bt4-38:0(34)X270353
0.49/0.51	c 2520           6368           2170704        685455         0              987            4   6   4      
0.49/0.51	c 2530           6388           2178165        687778         0              991            5   7   5      
0.49/0.51	c 2540           6411           2186080        690541         0              993            5   7   5      
0.49/0.51	c 2550           6440           2197006        693701         0              999            5   8   6      
0.49/0.51	c 2560           6465           2204963        696193         0              1002           6   9   6      
0.49/0.51	c 2570           6492           2214162        699035         0              1004           5   8   6      
0.49/0.51	conflict 35lvl : 6 bt5-784:0(8)X270550
0.49/0.52	c 2580           6520           2224622        702448         0              1010           6   8   6      
0.49/0.52	c 2590           6545           2234545        705537         0              1015           4   8   5      
0.49/0.52	c 2600           6568           2241990        707992         0              1018           6   8   6      
0.49/0.52	conflict 6lvl : 6 bt5-869:0(14)X270696
0.49/0.52	c 2610           6595           2252073        711368         0              1024           6   8   5      
0.49/0.52	c 2620           6621           2262332        714627         0              1028           5   7   5      
0.49/0.52	c 2630           6646           2271020        717286         0              1034           5   8   5      
0.49/0.52	c 2640           6669           2280006        720279         0              1036           5   7   5      
0.49/0.53	c 2650           6691           2287624        722616         0              1040           5   8   6      
0.49/0.53	c 2660           6717           2296517        725500         0              1042           6   8   5      
0.49/0.53	c 2670           6745           2305908        728746         0              1049           5   7   5      
0.49/0.53	c 2680           6767           2312618        730690         0              1052           5   9   6      
0.49/0.53	c 2690           6794           2321960        733420         0              1055           6   8   6      
0.49/0.53	c 2700           6817           2329437        735980         0              1058           5   8   5      
0.49/0.53	c 2710           6843           2338800        738969         0              1064           4   7   5      
0.49/0.54	c 2720           6867           2346927        741404         0              1068           6   8   6      
0.49/0.54	c 2730           6894           2356251        744001         0              1072           7   8   6      
0.49/0.54	c 2740           6920           2367306        747427         0              1076           6   7   5      
0.49/0.54	c 2750           6946           2376904        750387         0              1081           6   7   6      
0.49/0.54	c 2760           6969           2384040        752748         0              1085           4   8   5      
0.49/0.54	c 2770           6991           2392787        755493         0              1089           5   7   5      
0.49/0.54	c 2771           6997           2395166        756236         0              1090           6   6   3      
0.49/0.54	c 2780           7019           2402375        758742         0              1092           6   9   6      
0.49/0.55	c 2790           7043           2410838        761373         0              1096           5   8   5      
0.49/0.55	c 2800           7067           2418353        763704         0              1099           6   9   6      
0.49/0.55	c 2810           7094           2427057        766455         0              1104           5   8   5      
0.49/0.55	c 2820           7118           2435885        769450         0              1107           5   7   5      
0.49/0.55	c 2830           7142           2444783        772511         0              1111           6   8   6      
0.49/0.55	c 2840           7164           2451666        774784         0              1117           5   7   5      
0.49/0.55	c 2850           7184           2458486        777063         0              1121           6   8   6      
0.49/0.55	c 2860           7209           2467161        779593         0              1123           5   9   6      
0.49/0.56	c 2870           7231           2474678        782137         0              1127           5   7   5      
0.49/0.56	c 2880           7261           2484369        785175         0              1131           6   9   6      
0.49/0.56	c 2890           7288           2494042        788247         0              1135           4   8   6      
0.49/0.56	c 2900           7308           2501652        790877         0              1139           5   7   5      
0.49/0.56	c 2910           7332           2510106        793429         0              1143           6   8   6      
0.49/0.56	c 2920           7352           2517053        795659         0              1145           6   8   6      
0.49/0.56	c 2930           7378           2526027        798397         0              1147           6   9   6      
0.49/0.57	c 2940           7399           2533210        800852         0              1152           5   7   5      
0.49/0.57	c 2950           7429           2542243        803728         0              1156           5   8   6      
0.49/0.57	c 2960           7454           2549931        805954         0              1158           5   8   6      
0.49/0.57	c 2970           7477           2556879        807991         0              1163           5   7   5      
0.49/0.57	c 2980           7501           2565009        810408         0              1167           5   8   6      
0.49/0.57	c 2990           7522           2572223        812634         0              1168           6   8   6      
0.49/0.57	c 3000           7547           2580895        815384         0              1172           5   8   5      
0.49/0.57	c 3010           7570           2588962        817954         0              1175           5   8   6      
0.49/0.58	c 3020           7593           2597097        820644         0              1179           5   7   5      
0.49/0.58	c 3030           7616           2605183        823578         0              1184           5   7   5      
0.49/0.58	c 3040           7640           2612345        825667         0              1187           5   8   5      
0.49/0.58	c 3050           7661           2619794        828436         0              1191           5   6   5      
0.49/0.58	c 3060           7687           2628593        830894         0              1196           6   8   6      
0.49/0.58	c 3070           7711           2637462        833672         0              1199           6   9   6      
0.49/0.58	c 3080           7738           2646246        836388         0              1202           6   8   6      
0.49/0.58	c 3090           7762           2653715        838543         0              1206           6   8   6      
0.49/0.59	c 3100           7787           2661115        840852         0              1209           6   7   5      
0.49/0.59	c 3110           7816           2671421        844237         0              1213           5   8   6      
0.49/0.59	c 3120           7844           2680775        847345         0              1218           5   7   6      
0.49/0.59	c 3130           7869           2690074        850482         0              1221           4   8   5      
0.49/0.59	c 3140           7887           2696059        852969         0              1224           4   7   5      
0.49/0.59	c 3142           7897           2699334        853708         0              1226           7   9   5      
0.49/0.59	c 3150           7918           2707522        856509         0              1228           5   7   5      
0.49/0.60	c 3160           7949           2719235        859661         0              1231           7   8   6      
0.59/0.60	c 3170           7973           2727436        862221         0              1235           6   7   6      
0.59/0.60	c 3180           8000           2736426        864697         0              1242           5   8   6      
0.59/0.60	c 3190           8026           2743855        866992         0              1246           5   8   5      
0.59/0.60	c 3200           8048           2752010        869898         0              1252           5   8   5      
0.59/0.60	c 3210           8075           2760466        872618         0              1257           5   8   6      
0.59/0.60	c 3220           8097           2766979        874582         0              1258           6   9   6      
0.59/0.60	c 3230           8122           2776061        877646         0              1260           5   8   6      
0.59/0.61	c 3240           8148           2786074        881011         0              1264           6   7   5      
0.59/0.61	c 3250           8168           2792448        883281         0              1268           5   7   5      
0.59/0.61	c 3260           8192           2800294        885782         0              1270           6   9   6      
0.59/0.61	c 3270           8215           2807932        888412         0              1271           5   8   5      
0.59/0.61	c 3280           8240           2817614        891215         0              1275           5   7   5      
0.59/0.61	c 3290           8269           2827164        894215         0              1280           5   9   6      
0.59/0.61	c 3300           8292           2834736        896870         0              1286           5   7   5      
0.59/0.62	c 3310           8319           2844009        899617         0              1290           5   8   6      
0.59/0.62	conflict 41lvl : 7 bt6-41:0(101)X272848
0.59/0.62	c 3320           8348           2854258        902149         0              1292           7   9   7      
0.59/0.62	c 3330           8371           2863152        904991         0              1295           6   6   5      
0.59/0.62	c 3340           8400           2872319        907590         0              1298           5   8   6      
0.59/0.62	c 3350           8423           2881689        910661         0              1301           5   6   5      
0.59/0.62	c 3360           8451           2891055        913477         0              1307           6   10   6     
0.59/0.62	c 3370           8476           2900603        916229         0              1310           7   9   6      
0.59/0.63	c 3380           8501           2909400        918728         0              1316           6   8   6      
0.59/0.63	c 3390           8522           2917604        921715         0              1320           4   6   5      
0.59/0.63	c 3400           8550           2926808        924431         0              1326           6   9   6      
0.59/0.63	c 3410           8574           2935612        927222         0              1330           5   8   6      
0.59/0.63	c 3420           8600           2943099        929705         0              1338           5   8   5      
0.59/0.63	c 3430           8624           2952674        932842         0              1341           5   7   5      
0.59/0.63	c 3440           8652           2961965        935647         0              1346           5   10   6     
0.59/0.63	c 3450           8676           2970016        938180         0              1350           5   8   5      
0.59/0.64	c 3460           8703           2979169        941182         0              1356           5   9   6      
0.59/0.64	c 3470           8727           2987656        943907         0              1362           5   8   5      
0.59/0.64	c 3480           8751           2994933        946517         0              1365           4   8   5      
0.59/0.64	c 3490           8775           3003904        949227         0              1369           6   8   6      
0.59/0.64	conflict 6lvl : 6 bt5-41:0(16)X273533
0.59/0.64	c 3500           8801           3012438        951724         0              1378           5   8   5      
0.59/0.64	c 3510           8827           3021841        954456         0              1381           5   7   5      
0.59/0.64	c 3520           8850           3029952        957194         0              1386           4   7   5      
0.59/0.65	c 3530           8877           3039348        960010         0              1388           6   8   6      
0.59/0.65	c 3540           8905           3048770        962806         0              1393           4   8   5      
0.59/0.65	c 3550           8927           3056355        965360         0              1398           5   7   5      
0.59/0.65	c 3551           8933           3058603        965912         0              1399           6   6   3      
0.59/0.65	c 3560           8960           3067847        968923         0              1401           6   9   6      
0.59/0.65	c 3570           8983           3076348        971627         0              1405           6   7   6      
0.59/0.65	c 3580           9007           3084492        974052         0              1408           5   7   5      
0.59/0.65	c 3590           9038           3094331        977179         0              1413           6   9   6      
0.59/0.66	c 3600           9058           3100925        979225         0              1414           6   8   6      
0.59/0.66	c 3610           9081           3109827        982335         0              1418           6   8   6      
0.59/0.66	c 3620           9105           3117968        984978         0              1419           4   8   5      
0.59/0.66	c 3630           9125           3124464        987305         0              1420           6   8   6      
0.59/0.66	conflict 6lvl : 5 bt5-961:0(6)X273936
0.59/0.66	 -> -961:X(6)c 3640           9152           3134130        990353         0              1423           6   8   6      
0.59/0.66	c 3650           9176           3143446        993246         0              1428           5   8   6      
0.59/0.66	c 3660           9204           3153188        996178         0              1431           6   8   6      
0.59/0.67	c 3670           9228           3160606        998263         0              1434           6   9   6      
0.59/0.67	c 3680           9253           3169509        1000864        0              1438           5   7   5      
0.59/0.67	c 3690           9270           3174889        1002783        0              1444           5   7   5      
0.59/0.67	c 3700           9293           3182910        1005354        0              1447           5   7   5      
0.59/0.67	c 3710           9319           3193107        1008416        0              1451           5   7   5      
0.59/0.67	c 3720           9346           3202517        1011353        0              1452           6   8   6      
0.59/0.67	c 3730           9373           3211717        1013995        0              1456           5   9   6      
0.59/0.67	c 3740           9394           3219754        1016740        0              1462           5   7   5      
0.59/0.68	c 3750           9419           3226435        1018813        0              1469           6   9   6      
0.59/0.68	c 3760           9443           3235915        1021658        0              1473           5   7   5      
0.59/0.68	c 3770           9470           3245853        1024842        0              1476           6   7   6      
0.59/0.68	c 3780           9494           3253280        1027278        0              1483           5   7   5      
0.59/0.68	c 3790           9517           3261988        1029946        0              1489           5   8   6      
0.59/0.68	c 3800           9543           3270395        1032427        0              1491           5   9   6      
0.59/0.68	c 3810           9565           3278999        1035042        0              1498           5   8   6      
0.59/0.69	c 3820           9588           3286780        1037500        0              1501           5   7   5      
0.59/0.69	c 3830           9615           3295827        1040667        0              1503           5   8   5      
0.59/0.69	c 3840           9636           3303321        1043156        0              1504           7   8   6      
0.59/0.69	c 3850           9657           3310365        1045409        0              1506           6   8   5      
0.59/0.69	c 3860           9682           3319285        1048124        0              1510           6   8   6      
0.59/0.69	c 3870           9708           3327109        1050752        0              1513           5   8   5      
0.59/0.69	c 3880           9732           3335122        1053368        0              1516           6   8   5      
0.59/0.69	c 3890           9760           3343815        1055978        0              1520           6   10   6     
0.69/0.70	c 3900           9782           3351994        1058900        0              1523           5   7   5      
0.69/0.70	c 3910           9806           3360984        1061702        0              1527           5   8   5      
0.69/0.70	c 3920           9832           3370132        1064290        0              1530           5   8   5      
0.69/0.70	c 3930           9858           3378719        1066572        0              1535           6   8   6      
0.69/0.70	c 3940           9880           3387054        1068988        0              1539           5   7   5      
0.69/0.70	c 3950           9905           3395882        1071629        0              1545           5   7   5      
0.69/0.70	c 3960           9925           3403027        1074130        0              1547           5   7   5      
0.69/0.71	c 3970           9949           3411507        1076937        0              1551           6   9   6      
0.69/0.71	c 3980           9973           3420296        1079963        0              1555           6   8   6      
0.69/0.71	c 3990           10000          3428091        1082232        0              1559           4   9   6      
0.69/0.71	c 4000           10023          3435670        1085022        0              1565           5   8   5      
0.69/0.71	c 4001           10029          3438003        1085694        0              1566           6   6   3      
0.69/0.71	c 4010           10051          3445947        1087982        0              1568           5   8   5      
0.69/0.71	c 4020           10077          3454840        1090624        0              1570           6   7   6      
0.69/0.71	c 4030           10100          3463045        1093231        0              1574           4   7   4      
0.69/0.71	c 4040           10118          3468140        1094818        0              1575           6   8   5      
0.69/0.72	c 4050           10143          3476353        1097660        0              1580           5   9   6      
0.69/0.72	c 4060           10168          3485848        1100436        0              1583           6   9   6      
0.69/0.72	c 4070           10190          3493383        1102662        0              1588           6   7   5      
0.69/0.72	c 4080           10212          3501612        1105324        0              1589           5   7   5      
0.69/0.72	c 4090           10239          3510556        1108014        0              1597           6   8   6      
0.69/0.72	c 4100           10261          3518686        1110432        0              1600           5   8   5      
0.69/0.72	conflict 34lvl : 6 bt5-780:0(91)X275390
0.69/0.72	c 4110           10283          3526889        1112959        0              1602           5   7   5      
0.69/0.72	c 4120           10309          3537576        1116242        0              1603           5   8   6      
0.69/0.73	c 4130           10333          3545261        1118739        0              1608           6   8   6      
0.69/0.73	c 4140           10354          3553399        1121563        0              1609           5   7   5      
0.69/0.73	c 4150           10383          3563392        1125260        0              1612           5   8   5      
0.69/0.73	c 4160           10407          3572638        1128131        0              1618           5   8   6      
0.69/0.73	c 4170           10436          3582852        1131205        0              1620           4   7   5      
0.69/0.73	c 4180           10459          3590938        1133818        0              1625           5   7   5      
0.69/0.73	c 4190           10483          3599564        1136675        0              1631           5   8   5      
0.69/0.74	c 4200           10506          3608296        1139601        0              1635           5   7   5      
0.69/0.74	c 4210           10530          3616309        1142331        0              1639           5   8   6      
0.69/0.74	c 4220           10557          3626341        1145678        0              1640           5   8   6      
0.69/0.74	c 4230           10583          3635738        1148572        0              1648           6   8   6      
0.69/0.74	c 4240           10607          3645169        1151504        0              1652           4   7   5      
0.69/0.74	c 4250           10633          3654053        1154309        0              1656           5   8   5      
0.69/0.74	conflict 19lvl : 5 bt5-851:0(40)X275874
0.69/0.74	c 4260           10658          3663424        1157140        0              1660           5   7   5      
0.69/0.75	c 4270           10683          3671550        1159324        0              1663           7   9   7      
0.69/0.75	c 4280           10705          3679192        1161747        0              1668           5   7   5      
0.69/0.75	c 4290           10731          3687741        1164159        0              1670           5   7   5      
0.69/0.75	c 4300           10755          3695902        1166881        0              1672           6   8   5      
0.69/0.75	c 4310           10780          3704890        1169755        0              1678           6   7   6      
0.69/0.75	c 4320           10803          3712831        1172310        0              1683           5   8   5      
0.69/0.75	c 4330           10830          3721873        1174931        0              1686           6   8   6      
0.69/0.76	c 4340           10856          3730654        1177387        0              1689           6   8   6      
0.69/0.76	c 4350           10881          3740305        1180214        0              1694           6   7   6      
0.69/0.76	conflict 51lvl : 5 bt5-554:0(9)X276205
0.69/0.76	c 4360           10907          3748599        1182573        0              1699           5   9   5      
0.69/0.76	c 4370           10936          3757657        1185245        0              1703           6   10   7     
0.69/0.76	c 4380           10962          3766867        1188073        0              1708           6   8   6      
0.69/0.76	c 4390           10985          3776003        1191211        0              1709           5   7   5      
0.69/0.76	c 4400           11011          3785147        1193996        0              1713           6   8   6      
0.69/0.77	c 4410           11032          3793217        1196788        0              1718           5   7   5      
0.69/0.77	c 4420           11057          3801514        1199178        0              1722           5   9   6      
0.69/0.77	c 4430           11083          3810531        1201743        0              1724           6   8   6      
0.69/0.77	c 4440           11109          3819227        1204986        0              1725           4   7   5      
0.69/0.77	c 4450           11138          3828090        1208006        0              1728           5   9   6      
0.69/0.77	c 4460           11160          3836086        1210411        0              1732           6   7   5      
0.69/0.77	c 4470           11184          3845280        1213769        0              1735           5   8   5      
0.69/0.78	c 4480           11207          3853668        1216425        0              1741           6   8   6      
0.69/0.78	c 4490           11228          3860595        1218811        0              1744           4   7   5      
0.69/0.78	c 4493           11238          3864518        1219946        0              1745           7   7   5      
0.69/0.78	c 4500           11257          3870994        1221792        0              1748           5   8   6      
0.69/0.78	c 4510           11278          3879016        1224372        0              1750           5   8   5      
0.69/0.78	c 4520           11298          3886649        1226745        0              1752           6   8   6      
0.69/0.78	c 4530           11322          3895843        1229728        0              1756           5   8   5      
0.69/0.78	conflict 34lvl : 6 bt6-41:0(30)X276756
0.69/0.78	c 4540           11345          3904013        1231841        0              1758           6   8   6      
0.69/0.78	c 4550           11372          3913219        1235068        0              1761           5   8   5      
0.69/0.79	c 4560           11397          3922343        1237780        0              1764           6   8   6      
0.69/0.79	c 4570           11420          3931106        1240718        0              1767           6   7   5      
0.69/0.79	c 4580           11441          3938307        1243049        0              1772           6   8   6      
0.69/0.79	c 4590           11469          3946696        1245358        0              1775           7   9   7      
0.69/0.79	c 4600           11493          3954238        1247632        0              1781           5   8   6      
0.69/0.79	c 4610           11516          3961966        1250129        0              1783           5   8   5      
0.69/0.79	c 4620           11543          3970907        1252750        0              1787           5   8   6      
0.69/0.80	conflict 71lvl : 7 bt7-850:0(107)X277045
0.69/0.80	c 4630           11567          3979545        1255098        0              1791           5   8   6      
0.79/0.80	conflict 16lvl : 6 bt5-561:0(27)X277151
0.79/0.80	c 4640           11598          3990772        1258282        0              1796           6   8   5      
0.79/0.80	c 4650           11619          3997249        1260266        0              1802           5   8   5      
0.79/0.80	c 4660           11640          4005278        1262645        0              1805           5   8   6      
0.79/0.80	c 4670           11665          4012678        1265242        0              1813           5   8   5      
0.79/0.80	c 4680           11692          4021759        1268391        0              1820           6   8   6      
0.79/0.80	c 4690           11721          4030597        1270743        0              1822           5   9   6      
0.79/0.80	c 4700           11740          4036373        1272775        0              1831           6   8   5      
0.79/0.81	c 4710           11766          4044633        1275357        0              1837           5   7   5      
0.79/0.81	c 4720           11789          4053129        1277999        0              1840           6   9   6      
0.79/0.81	c 4730           11816          4062134        1280710        0              1845           6   8   5      
0.79/0.81	c 4740           11851          4071662        1283482        0              1848           5   9   6      
0.79/0.81	c 4750           11872          4079980        1286279        0              1852           5   7   5      
0.79/0.81	c 4760           11901          4089314        1289336        0              1858           5   9   6      
0.79/0.81	c 4770           11921          4096617        1291911        0              1860           5   7   5      
0.79/0.82	c 4780           11948          4106871        1295123        0              1862           6   7   5      
0.79/0.82	conflict 8lvl : 5 bt4-795:0(46)X277737
0.79/0.82	c 4790           11973          4115885        1297820        0              1863           5   8   5      
0.79/0.82	c 4800           11997          4125432        1300874        0              1866           5   7   5      
0.79/0.82	c 4810           12020          4133845        1303318        0              1870           5   7   5      
0.79/0.82	c 4820           12044          4142078        1305591        0              1875           6   8   6      
0.79/0.82	c 4830           12070          4149996        1308172        0              1878           4   8   5      
0.79/0.82	c 4840           12094          4158055        1310809        0              1879           6   9   6      
0.79/0.83	c 4850           12121          4167252        1313785        0              1885           6   7   6      
0.79/0.83	c 4860           12145          4175324        1316271        0              1888           5   8   5      
0.79/0.83	c 4870           12174          4185261        1319191        0              1891           5   9   6      
0.79/0.83	c 4880           12196          4192818        1321725        0              1896           5   8   6      
0.79/0.83	c 4890           12221          4200887        1324150        0              1901           6   8   6      
0.79/0.83	c 4900           12247          4209478        1326561        0              1905           5   9   6      
0.79/0.83	c 4910           12272          4217910        1329029        0              1907           5   8   6      
0.79/0.83	c 4920           12295          4225622        1331670        0              1912           5   7   5      
0.79/0.84	c 4930           12316          4232578        1333928        0              1916           6   8   6      
0.79/0.84	conflict 36lvl : 5 bt5-997:0(68)X278181
0.79/0.84	c 4940           12345          4243289        1336778        0              1920           6   8   6      
0.79/0.84	c 4950           12372          4252687        1339823        0              1925           6   7   6      
0.79/0.84	c 4960           12396          4260919        1342672        0              1931           5   7   5      
0.79/0.84	c 4970           12422          4270289        1345646        0              1937           6   7   6      
0.79/0.84	c 4980           12445          4278124        1348038        0              1938           6   8   6      
0.79/0.84	c 4990           12473          4289159        1351174        0              1942           6   8   6      
0.79/0.85	c 5035           12573          4321027        1361604        0              1951           4   9   6      
0.89/0.91	c 5631           13850          4731027        1497393        0              1964           4   10   6     
0.89/0.97	c 6286           15250          5189241        1645161        0              1967           3   10   6     
0.99/1.04	c 7006           16734          5666804        1815609        0              1972           4   9   6      
1.10/1.12	c 7798           18429          6212604        2004009        0              1982           4   10   6     
1.20/1.21	c 8669           20226          6806748        2201122        0              1998           4   10   6     
1.20/1.24	conflict 57lvl : 5 bt4-766:0(17)X278805
1.29/1.30	c 9627           22232          7456732        2414809        0              2020           4   11   6     
1.39/1.40	c 10680          24454          8186141        2662353        0              2042           4   10   6     
1.39/1.48	conflict 9lvl : 6 bt5-43:0(26)X279149
1.39/1.48	conflict 18lvl : 6 bt5-881:0(24)X279161
1.49/1.51	c 11838          26891          8964912        2933409        0              2052           3   10   6     
1.59/1.63	c 13111          29599          9845476        3213200        0              2072           4   10   6     
1.69/1.77	c 14511          32515          10791162       3534612        0              2084           3   10   6     
1.89/1.93	c 16051          35798          11873951       3899274        0              2093           3   12   6     
1.99/2.09	c 17745          39356          13032830       4299318        0              2126           4   10   6     
2.20/2.29	c 19608          43412          14364170       4774251        0              2141           3   11   6     
2.39/2.49	c 21657          47648          15767081       5254366        0              2158           3   11   6     
2.69/2.72	c 23910          52449          17310537       5794644        0              2174           3   12   6     
2.79/2.89	conflict 12lvl : 6 bt6-617:0(21)X280051
2.89/2.95	c 26388          57661          19004177       6347365        0              2194           3   10   6     
3.19/3.23	c 29113          63353          20871182       7005029        0              2203           3   9   6      
3.19/3.23	conflict 50lvl : 5 bt5-597:0(29)X280241
3.19/3.25	conflict 48lvl : 7 bt6-261:0(41)X280294
3.49/3.54	c 32110          69715          22986192       7735770        0              2220           3   10   6     
3.79/3.87	c 35406          76627          25264252       8524403        0              2248           3   10   6     
3.99/4.02	conflict 19lvl : 6 bt6-150:0(52)X280639
4.19/4.21	c 39031          83975          27642884       9333931        0              2261           3   11   6     
4.59/4.60	c 43018          92405          30372158       10278235       0              2290           3   10   6     
4.99/5.04	c 47403          101846         33453766       11297715       0              2311           3   11   6     
5.39/5.44	conflict 128lvl : 8 bt8-543:0(193)X281019
5.50/5.53	c 52226          112166         36881607       12441310       0              2331           3   10   6     
5.60/5.65	conflict 55lvl : 8 bt8-515:0(190)X281274
5.99/6.09	c 57531          123676         40642497       13761681       0              2371           3   11   6     
6.39/6.43	conflict 28lvl : 6 bt5-541:0(26)X281560
6.39/6.44	conflict 68lvl : 6 bt6-172:0(43)X281591
6.39/6.45	conflict 37lvl : 5 bt5-541:0(77)X281662
6.49/6.52	conflict 38lvl : 5 bt4-541:0(28)X281702
6.49/6.52	conflict 49lvl : 4 bt3-541:0(64)X281743
6.60/6.65	c 63366          135924         44620110       15091728       0              2393           3   12   6     
6.60/6.70	conflict 66lvl : 7 bt5-581:0(73)X281911
6.70/6.70	conflict 87lvl : 6 bt6-543:0(134)X281980
6.70/6.71	conflict 99lvl : 7 bt6-543:0(78)X282070
7.19/7.28	c 69784          149248         48990911       16597792       1              2413           3   10   6     
7.29/7.33	conflict 80lvl : 9 bt9-174:0(205)X282295
7.99/8.02	c 76843          164249         53978267       18374216       2              2430           3   10   6     
7.99/8.09	conflict 62lvl : 7 bt6-601:0(54)X282476
8.69/8.79	c 84607          180413         59280939       20195394       3              2448           3   10   6     
9.29/9.33	conflict 4lvl : 4 bt3-961:0(5)X282646
9.59/9.67	c 93147          198387         65249011       22332299       3              2488           3   11   6     
10.00/10.00	conflict 44lvl : 7 bt6-961:0(62)X282865
10.09/10.16	conflict 36lvl : 4 bt4-620:0(18)X282912
10.49/10.59	c 102541         218215         71771403       24495250       3              2512           3   10   6     
10.69/10.72	conflict 19lvl : 6 bt6-509:0(63)X283071
11.00/11.05	conflict 38lvl : 6 bt5-961:0(11)X283093
11.10/11.17	conflict 17lvl : 8 bt8-973:0(109)X283134
11.39/11.41	conflict 37lvl : 5 bt5-549:0(18)X283154
11.49/11.53	conflict 98lvl : 5 bt5-38:0(25)X283194
11.49/11.53	conflict 82lvl : 6 bt6-153:0(73)X283295
11.59/11.62	c 112874         240219         78932935       26934656       3              2533           3   11   6     
12.20/12.23	conflict 54lvl : 7 bt6-141:0(191)X283507
12.29/12.33	conflict 37lvl : 7 bt6-86:0(149)X283564
12.39/12.48	conflict 51lvl : 5 bt5-141:0(135)X283604
12.49/12.51	 -> -141:X(135)conflict 8lvl : 5 bt4-141:0(36)X283658
12.49/12.58	conflict 19lvl : 6 bt6-551:0(113)X283669
12.69/12.78	c 124240         264104         86867733       29653358       5              2560           2   11   6     
12.89/12.90	conflict 29lvl : 6 bt6-81:0(61)X283850
13.39/13.44	conflict 19lvl : 5 bt5-30:0(79)X283882
13.49/13.59	conflict 85lvl : 6 bt6-866:0(27)X283904
13.59/13.60	conflict 14lvl : 5 bt5-378:0(94)X283992
13.69/13.74	conflict 76lvl : 5 bt4-961:0(20)X284009
13.69/13.74	conflict 86lvl : 4 bt3-961:0(5)X284088
13.99/14.05	c 136742         290843         95629160       32599281       5              2579           3   11   6     
14.19/14.25	conflict 78lvl : 6 bt5-961:0(94)X284287
15.40/15.43	c 150494         319241         105040373      35870739       7              2597           3   11   5     
15.79/15.88	conflict 98lvl : 8 bt7-781:0(58)X284467
16.89/16.95	c 165621         350583         115408044      39508711       9              2621           2   10   6     
18.29/18.36	conflict 6lvl : 5 bt4-964:0(9)X284685
18.39/18.43	conflict 31lvl : 9 bt8-561:0(128)X284694
18.59/18.68	c 182260         385446         126990182      43612970       11             2634           2   11   5     
19.09/19.13	conflict 81lvl : 6 bt5-795:0(177)X284782
20.49/20.55	c 200562         423763         139692428      48067716       14             2671           2   11   5     
20.89/20.96	conflict 120lvl : 6 bt5-34:0(126)X285044
22.59/22.62	c 220694         466512         153712025      52993274       14             2704           2   11   5     
24.69/24.72	conflict 49lvl : 6 bt6-979:0(45)X285322
24.89/24.93	c 242839         513695         169364714      58475715       14             2729           2   12   6     
25.69/25.77	conflict 43lvl : 5 bt5-704:0(93)X285483
26.99/27.07	conflict 79lvl : 5 bt5-101:0(250)X285529
27.09/27.12	conflict 61lvl : 6 bt6-93:0(39)X285611
27.39/27.43	c 267198         564543         186306972      64437089       16             2755           2   10   5     
28.79/28.83	c restarts              : 558         
28.79/28.83	c conflicts             : 280080       (9717 /sec)
28.79/28.83	c decisions             : 592125       (20544 /sec)
28.79/28.83	c propagations          : 67752488    (2350663 /sec)
28.79/28.83	c root propagations     : 0           
28.79/28.83	c filter calls          : 195540886      (6784263 /sec)
28.79/28.83	c useless filter calls  : 159018471      (81 %)
28.79/28.83	c
28.79/28.83	c clauses               : 56908
28.79/28.83	c SAT propagations      : 25795
28.79/28.83	c SAT conflicts         : 361 (70 learnts)
28.79/28.83	c Memory used           : 33.04 MB
28.79/28.83	c CPU time              : 28.8227 s
28.79/28.83	
28.79/28.83	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-4241121-1500629222/watcher-4241121-1500629222 -o /tmp/evaluation-result-4241121-1500629222/solver-4241121-1500629222 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241121-1500629222.xml 

pid=6693
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.01 2.04 2.13 3/186 6696
/proc/meminfo: memFree=31792384/32770624 swapFree=6244/17344
[pid=6696] ppid=6693 vsize=26992 CPUtime=0 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 16199038 27639808 766 33554432000 4194304 5970956 140729806749984 140729806746632 5673927 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 6748 766 683 434 0 112 0

[startup+0.100113 s]
/proc/loadavg: 2.01 2.04 2.13 3/186 6696
/proc/meminfo: memFree=31792384/32770624 swapFree=6244/17344
[pid=6696] ppid=6693 vsize=27380 CPUtime=0.09 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 1064 0 0 0 9 0 0 0 20 0 1 0 16199038 28037120 885 33554432000 4194304 5970956 140729806749984 140729806746584 140603548822501 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 6845 885 716 434 0 209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27380

[startup+0.200237 s]
/proc/loadavg: 2.01 2.04 2.13 3/186 6696
/proc/meminfo: memFree=31792384/32770624 swapFree=6244/17344
[pid=6696] ppid=6693 vsize=33716 CPUtime=0.19 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 1867 0 0 0 19 0 0 0 20 0 1 0 16199038 34525184 1674 33554432000 4194304 5970956 140729806749984 140729806747320 4908196 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8429 1674 753 434 0 1793 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33716

[startup+0.300217 s]
/proc/loadavg: 2.01 2.04 2.13 3/186 6696
/proc/meminfo: memFree=31792384/32770624 swapFree=6244/17344
[pid=6696] ppid=6693 vsize=33716 CPUtime=0.29 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 1874 0 0 0 29 0 0 0 20 0 1 0 16199038 34525184 1674 33554432000 4194304 5970956 140729806749984 140729806747320 4908262 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8429 1674 753 434 0 1793 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33716

[startup+0.700174 s]
/proc/loadavg: 2.01 2.04 2.13 3/186 6696
/proc/meminfo: memFree=31792384/32770624 swapFree=6244/17344
[pid=6696] ppid=6693 vsize=33824 CPUtime=0.69 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 1885 0 0 0 69 0 0 0 20 0 1 0 16199038 34635776 1674 33554432000 4194304 5970956 140729806749984 140729806747320 5272605 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8456 1674 753 434 0 1820 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33824

[startup+1.50018 s]
/proc/loadavg: 2.01 2.04 2.13 3/187 6697
/proc/meminfo: memFree=31788620/32770624 swapFree=6244/17336
[pid=6696] ppid=6693 vsize=33824 CPUtime=1.49 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 1892 0 0 0 149 0 0 0 20 0 1 0 16199038 34635776 1674 33554432000 4194304 5970956 140729806749984 140729806747416 4912853 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8456 1674 753 434 0 1820 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33824

[startup+3.10017 s]
/proc/loadavg: 2.01 2.03 2.13 3/187 6697
/proc/meminfo: memFree=31788056/32770624 swapFree=6244/17364
[pid=6696] ppid=6693 vsize=33824 CPUtime=3.09 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 2686 0 0 0 309 0 0 0 20 0 1 0 16199038 34635776 1734 33554432000 4194304 5970956 140729806749984 140729806747320 5327840 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8456 1734 773 434 0 1820 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33824

[startup+6.30017 s]
/proc/loadavg: 2.01 2.03 2.13 3/187 6697
/proc/meminfo: memFree=31788060/32770624 swapFree=6244/17368
[pid=6696] ppid=6693 vsize=33824 CPUtime=6.29 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 3495 0 0 0 629 0 0 0 20 0 1 0 16199038 34635776 1738 33554432000 4194304 5970956 140729806749984 140729806747320 4912845 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8456 1738 773 434 0 1820 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33824

[startup+12.7002 s]
/proc/loadavg: 2.01 2.03 2.13 3/187 6697
/proc/meminfo: memFree=31787564/32770624 swapFree=6244/17376
[pid=6696] ppid=6693 vsize=33824 CPUtime=12.69 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 4309 0 0 0 1269 0 0 0 20 0 1 0 16199038 34635776 1740 33554432000 4194304 5970956 140729806749984 140729806747416 4912950 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8456 1740 773 434 0 1820 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33824

[startup+25.5002 s]
/proc/loadavg: 2.01 2.03 2.13 3/187 6697
/proc/meminfo: memFree=31787688/32770624 swapFree=6244/17396
[pid=6696] ppid=6693 vsize=33824 CPUtime=25.49 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 5922 0 0 0 2549 0 0 0 20 0 1 0 16199038 34635776 1745 33554432000 4194304 5970956 140729806749984 140729806747320 4908188 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8456 1745 773 434 0 1820 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33824

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

[startup+25.6002 s]
/proc/loadavg: 2.01 2.03 2.13 3/187 6697
/proc/meminfo: memFree=31787688/32770624 swapFree=6244/17396
[pid=6696] ppid=6693 vsize=33824 CPUtime=25.59 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 5922 0 0 0 2559 0 0 0 20 0 1 0 16199038 34635776 1745 33554432000 4194304 5970956 140729806749984 140729806747320 4913052 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8456 1745 773 434 0 1820 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 33824

[startup+27.2002 s]
/proc/loadavg: 2.01 2.03 2.13 3/187 6697
/proc/meminfo: memFree=31787812/32770624 swapFree=6244/17404
[pid=6696] ppid=6693 vsize=33824 CPUtime=27.19 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 5930 0 0 0 2719 0 0 0 20 0 1 0 16199038 34635776 1745 33554432000 4194304 5970956 140729806749984 140729806747416 4912765 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8456 1745 773 434 0 1820 0
Current children cumulated CPU time (s) 27.19
Current children cumulated vsize (KiB) 33824

[startup+28.0002 s]
/proc/loadavg: 2.01 2.03 2.13 3/187 6697
/proc/meminfo: memFree=31787812/32770624 swapFree=6244/17404
[pid=6696] ppid=6693 vsize=33824 CPUtime=27.99 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 5933 0 0 0 2799 0 0 0 20 0 1 0 16199038 34635776 1745 33554432000 4194304 5970956 140729806749984 140729806747320 5242689 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8456 1745 773 434 0 1820 0
Current children cumulated CPU time (s) 27.99
Current children cumulated vsize (KiB) 33824

[startup+28.4002 s]
/proc/loadavg: 2.01 2.03 2.13 3/187 6697
/proc/meminfo: memFree=31787812/32770624 swapFree=6244/17404
[pid=6696] ppid=6693 vsize=33824 CPUtime=28.39 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 5933 0 0 0 2839 0 0 0 20 0 1 0 16199038 34635776 1745 33554432000 4194304 5970956 140729806749984 140729806747320 4912736 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8456 1745 773 434 0 1820 0
Current children cumulated CPU time (s) 28.39
Current children cumulated vsize (KiB) 33824

[startup+28.8002 s]
/proc/loadavg: 2.01 2.03 2.13 3/187 6697
/proc/meminfo: memFree=31787812/32770624 swapFree=6244/17404
[pid=6696] ppid=6693 vsize=33824 CPUtime=28.79 cores=1,3,5,7
/proc/6696/stat : 6696 (cosoco) R 6693 6696 2920 0 -1 4202496 5933 0 0 0 2879 0 0 0 20 0 1 0 16199038 34635776 1745 33554432000 4194304 5970956 140729806749984 140729806747320 5093172 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23719936 140729806755004 140729806755139 140729806755139 140729806757838 0
/proc/6696/statm: 8456 1745 773 434 0 1820 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 33824

Child status: 0
Real time (s): 28.8319
CPU time (s): 28.8267
CPU user time (s): 28.8227
CPU system time (s): 0.003999
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 33824

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.099582 second user time and 0.117155 second system time

The end

Launcher Data 

Begin job on node125 at 2017-07-21 11:27:02
IDJOB=4241121
IDBENCH=126128
IDSOLVER=2621
FILE ID=node125/4241121-1500629222
RUNJOBID= node125-1500623778-2952
PBS_JOBID= 20623008
Free space on /tmp= 61996 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-14.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241121-1500629222/watcher-4241121-1500629222 -o /tmp/evaluation-result-4241121-1500629222/solver-4241121-1500629222 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2952 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241121-1500629222.xml

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

MD5SUM BENCH= 80005f43209ae7ce669f7000fbe1f4f3
RANDOM SEED=1432990531

node125.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.75
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		: 2267.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.56
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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.56
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.75
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		: 2400.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.56
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.75
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		: 2133.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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31792692 kB
MemAvailable:   31831288 kB
Buffers:           89352 kB
Cached:           222720 kB
SwapCached:          488 kB
Active:           463732 kB
Inactive:          80528 kB
Active(anon):     180536 kB
Inactive(anon):    62924 kB
Active(file):     283196 kB
Inactive(file):    17604 kB
Unevictable:        6244 kB
Mlocked:            6244 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              2796 kB
Writeback:             0 kB
AnonPages:        243700 kB
Mapped:            34132 kB
Shmem:              8576 kB
Slab:             133072 kB
SReclaimable:     107264 kB
SUnreclaim:        25808 kB
KernelStack:        3568 kB
PageTables:         5392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     508104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61992 MiB
End job on node125 at 2017-07-21 11:27:31