Trace number 4241437

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 963.739 963.801

General information on the benchmark

NameDubois/Dubois-m1-s1/
Dubois-025.xml
MD5SUM973963fd5ae0545f9f330e30fdec40c5
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 benchmark0.0040179999
Satisfiable
(Un)Satisfiability was proved
Number of variables75
Number of constraints50
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":75}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":75}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":50}]
Number of extensional constraints50
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":50}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c SAT : Variables: 150 -- Clauses: 150
0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.0 --  
0.00/0.00	c
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 75
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 50
0.00/0.00	c |                   Arity: 3..3  -- Ternary: 50
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 50  (nb tuples: 4..4) -- (shared: 45)
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c 10             125            594            506            0              1              47   72   55   
0.00/0.00	c 20             206            859            715            0              3              45   55   44   
0.00/0.01	c 30             310            1243           1033           0              6              34   72   54   
0.00/0.01	c 40             433            1631           1364           0              8              48   72   56   
0.00/0.01	c 50             535            1976           1655           0              10             54   61   52   
0.00/0.01	c 60             622            2288           1919           0              11             44   65   48   
0.00/0.01	c 70             731            2654           2220           0              13             54   68   57   
0.00/0.01	c 80             831            3021           2530           0              14             52   65   53   
0.00/0.01	c 90             944            3393           2843           0              16             56   69   59   
0.00/0.01	c 100            1054           3741           3156           0              17             49   56   47   
0.00/0.01	c 101            1092           3847           3228           0              18             38   38   19   
0.00/0.01	c 110            1163           4089           3436           0              21             32   41   33   
0.00/0.01	c 120            1256           4383           3676           0              22             57   72   59   
0.00/0.01	c 130            1343           4659           3894           0              23             63   72   60   
0.00/0.01	c 140            1464           5027           4195           0              26             67   72   64   
0.00/0.01	c 150            1559           5322           4427           0              28             18   60   25   
0.00/0.01	c 160            1688           5718           4760           0              32             62   71   62   
0.00/0.01	c 170            1780           6018           5015           0              34             45   55   47   
0.00/0.01	c 180            1869           6297           5240           0              37             44   70   55   
0.00/0.01	c 190            1989           6698           5563           0              41             58   71   61   
0.00/0.01	c 200            2102           7063           5852           0              44             65   70   61   
0.00/0.01	c 210            2176           7309           6052           0              46             40   55   45   
0.00/0.01	c 211            2243           7502           6185           0              47             67   67   33   
0.00/0.01	c 220            2380           7932           6537           0              51             64   71   62   
0.00/0.01	c 230            2477           8255           6807           0              52             56   68   57   
0.00/0.01	c 240            2604           8658           7140           0              56             56   66   56   
0.00/0.01	c 250            2692           8940           7371           0              58             58   70   57   
0.00/0.01	c 260            2793           9247           7614           0              61             63   70   60   
0.00/0.01	c 270            2938           9700           7987           0              65             71   71   64   
0.00/0.02	c 280            3057           10077          8286           0              68             65   67   59   
0.00/0.02	c 290            3176           10443          8581           0              73             63   71   61   
0.00/0.02	c 300            3298           10827          8920           0              75             44   60   48   
0.00/0.02	c 310            3414           11204          9230           0              77             59   71   60   
0.00/0.02	c 320            3548           11675          9642           0              79             55   73   59   
0.00/0.02	c 330            3685           12090          10000          0              83             56   71   61   
0.00/0.02	c 332            3753           12282          10133          0              84             67   67   44   
0.00/0.02	c 340            3854           12589          10375          0              86             64   67   58   
0.00/0.02	c 350            4024           13145          10843          0              89             67   71   63   
0.00/0.02	c 360            4111           13425          11072          0              90             50   67   53   
0.00/0.02	c 370            4202           13718          11315          0              92             42   53   44   
0.00/0.02	c 380            4325           14112          11633          0              95             64   71   63   
0.00/0.02	c 390            4412           14386          11869          0              97             49   61   49   
0.00/0.02	c 400            4494           14640          12082          0              98             47   61   49   
0.00/0.02	c 410            4594           14950          12352          0              101            34   46   37   
0.00/0.02	c 420            4715           15314          12659          0              106            26   71   55   
0.00/0.02	c 430            4874           15782          13070          0              109            58   73   62   
0.00/0.02	c 440            4989           16137          13377          0              111            57   71   59   
0.00/0.02	c 450            5111           16520          13704          0              113            64   71   62   
0.00/0.02	c 460            5221           16868          13998          0              116            52   71   58   
0.00/0.02	c 465            5295           17093          14181          0              117            52   57   46   
0.00/0.02	c 470            5396           17391          14406          0              120            52   71   54   
0.00/0.02	c 480            5530           17815          14770          0              122            58   71   62   
0.00/0.02	c 490            5625           18123          15013          0              124            45   67   50   
0.00/0.02	c 500            5738           18475          15321          0              125            45   56   48   
0.00/0.02	c 510            5868           18900          15673          0              128            39   71   53   
0.00/0.03	c 520            5995           19308          16015          0              131            52   71   59   
0.00/0.03	c 530            6095           19617          16265          0              133            43   71   49   
0.00/0.03	c 540            6220           20000          16593          0              135            62   71   62   
0.00/0.03	c 550            6339           20363          16889          0              139            53   67   58   
0.00/0.03	c 560            6439           20678          17138          0              141            43   71   47   
0.00/0.03	c 570            6558           21036          17433          0              143            55   67   57   
0.00/0.03	c 580            6652           21334          17670          0              145            55   61   53   
0.00/0.03	c 590            6741           21629          17937          0              146            34   39   34   
0.00/0.03	c 600            6858           21992          18239          0              148            64   71   62   
0.00/0.03	c 610            7022           22504          18689          0              152            53   71   61   
0.00/0.03	c 611            7095           22702          18820          0              153            73   73   36   
0.00/0.03	c 620            7218           23081          19152          0              154            58   71   60   
0.00/0.03	c 630            7332           23437          19444          0              156            53   71   52   
0.00/0.03	c 640            7429           23740          19714          0              157            43   53   44   
0.00/0.03	c 650            7481           23915          19860          0              159            31   42   33   
0.00/0.03	c 660            7589           24264          20176          0              161            22   36   27   
0.00/0.03	c 670            7656           24501          20385          0              162            24   31   23   
0.00/0.03	c 680            7765           24841          20665          0              165            35   71   43   
0.00/0.03	c 690            7856           25103          20886          0              166            43   47   41   
0.00/0.03	c 700            7971           25450          21173          0              168            66   71   64   
0.00/0.03	c 710            8113           25879          21548          0              170            66   71   61   
0.00/0.03	c 720            8245           26285          21891          0              172            60   71   60   
0.00/0.03	c 730            8321           26526          22093          0              173            50   67   53   
0.00/0.03	c 740            8440           26920          22428          0              176            54   65   57   
0.00/0.03	c 750            8562           27294          22743          0              177            68   71   64   
0.00/0.03	c 760            8666           27621          23011          0              178            57   71   60   
0.00/0.03	c 770            8781           27964          23290          0              181            62   71   61   
0.00/0.04	c 771            8852           28161          23426          0              182            71   71   35   
0.00/0.04	c 780            8986           28586          23804          0              183            54   71   59   
0.00/0.04	c 790            9117           29018          24170          0              186            55   71   60   
0.00/0.04	c 800            9223           29359          24458          0              189            42   52   44   
0.00/0.04	c 810            9355           29755          24804          0              191            71   71   64   
0.00/0.04	c 820            9492           30171          25167          0              193            58   71   63   
0.00/0.04	c 830            9621           30550          25481          0              197            65   71   62   
0.00/0.04	c 840            9760           30973          25840          0              201            49   67   53   
0.00/0.04	c 850            9889           31379          26175          0              205            62   71   62   
0.00/0.04	c 860            10051          31882          26619          0              208            46   63   54   
0.00/0.04	c 870            10196          32340          27021          0              210            55   67   58   
0.00/0.04	c 880            10338          32776          27389          0              213            59   67   57   
0.00/0.04	c 890            10481          33194          27766          0              216            57   69   58   
0.00/0.04	c 900            10635          33706          28227          0              218            51   71   59   
0.00/0.04	c 910            10734          34013          28467          0              221            29   71   37   
0.00/0.04	c 920            10814          34265          28679          0              222            44   67   51   
0.00/0.04	c 930            10932          34631          28979          0              226            32   71   48   
0.00/0.04	c 940            11058          35027          29317          0              230            53   71   60   
0.00/0.04	c 947            11148          35303          29534          0              232            52   59   49   
0.00/0.04	c 950            11221          35511          29682          0              234            63   71   51   
0.00/0.04	c 960            11359          35930          30033          0              237            62   71   63   
0.00/0.04	c 970            11556          36541          30609          0              238            41   71   59   
0.00/0.04	c 980            11708          37010          31033          0              241            60   71   61   
0.00/0.04	c 990            11791          37264          31241          0              245            47   54   46   
0.00/0.04	c 1000           11905          37647          31566          0              247            56   71   59   
0.00/0.05	c 1010           12050          38105          31976          0              248            65   71   62   
0.00/0.05	c 1020           12176          38490          32295          0              250            45   73   51   
0.00/0.05	c 1030           12257          38730          32484          0              253            49   55   47   
0.00/0.05	c 1040           12406          39178          32849          0              257            62   71   61   
0.00/0.05	c 1050           12540          39596          33214          0              260            54   71   58   
0.00/0.05	c 1060           12671          39995          33551          0              264            64   71   62   
0.00/0.05	c 1070           12758          40277          33777          0              266            53   67   54   
0.00/0.05	c 1080           12837          40535          33980          0              270            26   53   34   
0.00/0.05	c 1090           12961          40922          34300          0              273            66   73   64   
0.00/0.05	c 1100           13118          41393          34706          0              277            50   71   60   
0.00/0.05	c 1110           13260          41847          35112          0              279            49   71   58   
0.00/0.05	c 1120           13363          42172          35380          0              283            51   67   52   
0.00/0.05	c 1130           13487          42561          35705          0              286            64   71   63   
0.00/0.05	c 1140           13616          42982          36060          0              290            55   73   61   
0.00/0.05	c 1141           13687          43178          36191          0              291            71   71   35   
0.00/0.05	c 1150           13791          43506          36471          0              292            51   71   57   
0.00/0.05	c 1160           13949          44028          36917          0              296            51   71   59   
0.00/0.05	c 1170           14070          44409          37232          0              298            54   69   56   
0.00/0.05	c 1180           14235          44916          37672          0              300            54   71   62   
0.00/0.05	c 1190           14397          45404          38094          0              304            60   63   56   
0.00/0.05	c 1200           14543          45850          38470          0              308            57   71   61   
0.00/0.05	c 1210           14680          46269          38833          0              312            51   69   58   
0.00/0.05	c 1220           14801          46645          39150          0              315            57   67   57   
0.00/0.05	c 1230           14910          46989          39438          0              317            51   64   54   
0.00/0.06	c 1240           15016          47317          39696          0              320            62   71   63   
0.00/0.06	c 1250           15152          47704          40029          0              322            53   69   58   
0.00/0.06	c 1260           15225          47940          40233          0              323            38   58   44   
0.00/0.06	c 1270           15339          48294          40530          0              326            55   71   58   
0.00/0.06	c 1280           15448          48634          40818          0              328            46   58   51   
0.00/0.06	c 1290           15565          48996          41111          0              331            65   71   63   
0.00/0.06	c 1300           15693          49396          41461          0              333            52   67   54   
0.00/0.06	c 1310           15850          49897          41908          0              337            55   71   61   
0.00/0.06	c 1320           16010          50390          42355          0              339            53   71   62   
0.00/0.06	c 1330           16143          50799          42692          0              343            68   71   63   
0.00/0.06	c 1340           16306          51302          43132          0              345            65   71   63   
0.00/0.06	c 1350           16423          51655          43432          0              346            62   71   62   
0.00/0.06	c 1352           16488          51829          43550          0              347            64   64   42   
0.00/0.06	c 1360           16576          52131          43792          0              350            31   69   53   
0.00/0.06	c 1370           16659          52388          43991          0              353            28   62   36   
0.00/0.06	c 1380           16767          52728          44285          0              355            45   62   48   
0.00/0.06	c 1390           16873          53077          44582          0              357            44   48   41   
0.00/0.06	c 1400           16992          53455          44889          0              360            65   71   62   
0.00/0.06	c 1410           17127          53860          45226          0              363            69   73   65   
0.00/0.06	c 1420           17226          54167          45489          0              365            52   60   51   
0.00/0.06	c 1430           17361          54594          45853          0              366            64   71   62   
0.00/0.06	c 1440           17465          54913          46124          0              368            59   71   59   
0.00/0.06	c 1450           17562          55218          46369          0              372            49   67   53   
0.00/0.06	c 1460           17674          55570          46674          0              375            48   67   52   
0.00/0.06	c 1470           17753          55815          46869          0              379            43   51   43   
0.00/0.06	c 1480           17901          56268          47249          0              382            67   71   63   
0.00/0.07	c 1490           18024          56649          47561          0              385            59   71   62   
0.00/0.07	c 1500           18188          57185          48023          0              388            60   71   62   
0.00/0.07	c 1510           18295          57521          48292          0              391            29   71   50   
0.00/0.07	c 1520           18406          57859          48575          0              393            64   71   62   
0.00/0.07	c 1530           18566          58335          48990          0              396            48   69   56   
0.00/0.07	c 1540           18697          58737          49348          0              399            47   67   50   
0.00/0.07	c 1550           18764          58952          49526          0              400            37   46   37   
0.00/0.07	c 1560           18845          59222          49743          0              402            41   49   42   
0.00/0.07	c 1570           18989          59655          50105          0              405            64   73   63   
0.00/0.07	c 1580           19108          60022          50396          0              408            71   71   64   
0.00/0.07	c 1585           19155          60165          50505          0              409            38   42   33   
0.00/0.07	c 1590           19243          60433          50711          0              410            63   71   57   
0.00/0.07	c 1600           19338          60736          50960          0              411            57   71   57   
0.00/0.07	c 1610           19424          61007          51178          0              413            54   61   52   
0.00/0.07	c 1620           19539          61363          51467          0              415            63   71   62   
0.00/0.07	c 1630           19653          61725          51760          0              418            64   71   62   
0.00/0.07	c 1640           19808          62252          52216          0              421            44   67   52   
0.00/0.07	c 1650           19928          62657          52562          0              423            60   71   61   
0.00/0.07	c 1660           20067          63079          52918          0              427            53   71   61   
0.00/0.07	c 1670           20167          63403          53202          0              429            42   71   49   
0.00/0.07	c 1680           20285          63773          53527          0              430            54   71   60   
0.00/0.07	c 1690           20381          64068          53765          0              432            43   71   52   
0.00/0.07	c 1700           20509          64477          54100          0              434            59   71   61   
0.00/0.07	c 1710           20598          64753          54316          0              438            47   67   49   
0.00/0.07	c 1720           20729          65141          54639          0              440            44   71   54   
0.00/0.07	c 1730           20862          65536          54977          0              444            55   59   51   
0.00/0.07	c 1740           20940          65783          55195          0              446            31   59   41   
0.00/0.07	c 1750           21059          66158          55500          0              449            64   71   62   
0.00/0.08	c 1760           21180          66543          55816          0              452            60   71   61   
0.00/0.08	c 1770           21333          67012          56230          0              454            58   73   62   
0.00/0.08	c 1780           21446          67360          56532          0              455            53   71   57   
0.00/0.08	c 1790           21594          67826          56936          0              458            56   71   61   
0.00/0.08	c 1800           21737          68283          57328          0              462            54   71   61   
0.00/0.08	c 1810           21845          68611          57613          0              464            43   59   48   
0.00/0.08	c 1820           21960          68970          57912          0              466            63   71   61   
0.00/0.08	c 1830           22082          69335          58218          0              469            57   67   58   
0.00/0.08	c 1840           22187          69664          58499          0              472            45   64   52   
0.00/0.08	c 1841           22247          69828          58609          0              473            60   60   30   
0.00/0.08	c 1850           22349          70140          58868          0              476            58   64   56   
0.00/0.08	c 1860           22495          70572          59260          0              477            56   73   61   
0.00/0.08	c 1870           22631          70984          59631          0              481            6   71   50    
0.00/0.08	c 1880           22772          71420          59995          0              485            49   63   54   
0.00/0.08	c 1890           22840          71640          60182          0              486            39   59   44   
0.00/0.08	c 1900           22990          72087          60564          0              491            53   73   58   
0.00/0.08	c 1910           23134          72519          60940          0              493            50   71   59   
0.00/0.08	c 1920           23266          72925          61280          0              496            60   71   62   
0.00/0.08	c 1930           23455          73489          61781          0              498            54   71   63   
0.00/0.08	c 1940           23482          73591          61872          0              500            11   17   13   
0.00/0.08	c 1950           23646          74108          62344          0              501            54   71   61   
0.00/0.08	c 1960           23751          74432          62615          0              503            46   62   50   
0.00/0.08	c 1970           23870          74801          62928          0              505            61   71   61   
0.00/0.08	c 1980           23951          75063          63147          0              507            46   67   51   
0.00/0.08	c 1990           24066          75413          63433          0              510            63   71   63   
0.00/0.08	c 2000           24171          75747          63713          0              511            59   67   56   
0.00/0.08	c 2010           24292          76152          64054          0              513            59   71   60   
0.00/0.08	c 2020           24421          76561          64405          0              516            58   67   59   
0.00/0.09	c 2030           24602          77138          64927          0              520            52   73   61   
0.00/0.09	c 2040           24742          77564          65278          0              524            53   71   62   
0.00/0.09	c 2050           24918          78106          65780          0              527            52   71   60   
0.00/0.09	c 2060           25081          78613          66222          0              530            67   71   62   
0.00/0.09	c 2070           25243          79115          66650          0              534            49   71   61   
0.00/0.09	c 2080           25372          79517          66992          0              538            57   71   59   
0.00/0.09	c 2090           25465          79830          67258          0              541            43   65   50   
0.00/0.09	c 2100           25568          80160          67537          0              545            42   56   45   
0.00/0.09	c 2110           25691          80556          67868          0              548            65   71   63   
0.00/0.09	c 2120           25781          80837          68099          0              549            56   65   54   
0.00/0.09	c 2122           25860          81058          68251          0              551            71   71   47   
0.00/0.09	c 2130           25982          81434          68559          0              553            63   73   62   
0.00/0.09	c 2140           26062          81696          68786          0              555            38   47   38   
0.00/0.09	c 2150           26139          81942          68989          0              557            46   68   52   
0.00/0.09	c 2160           26273          82368          69361          0              559            35   71   58   
0.00/0.09	c 2170           26396          82741          69681          0              562            64   67   60   
0.00/0.09	c 2180           26506          83078          69961          0              566            56   71   58   
0.00/0.09	c 2190           26587          83337          70181          0              567            47   71   54   
0.00/0.09	c 2200           26715          83748          70525          0              570            61   71   63   
0.00/0.09	c 2210           26835          84110          70824          0              574            61   69   59   
0.00/0.09	c 2220           26969          84524          71175          0              577            58   69   61   
0.00/0.09	c 2230           27118          84990          71576          0              579            54   69   59   
0.00/0.09	c 2240           27222          85314          71849          0              581            52   69   55   
0.00/0.09	c 2250           27380          85796          72269          0              583            58   71   61   
0.00/0.09	c 2260           27540          86296          72711          0              587            43   65   57   
0.00/0.09	c 2270           27662          86665          73026          0              591            57   69   61   
0.00/0.09	c 2280           27794          87075          73364          0              595            45   69   51   
0.00/0.09	c 2290           27929          87519          73755          0              596            58   69   59   
0.00/0.10	c 2300           28058          87923          74114          0              597            42   65   54   
0.00/0.10	c 2310           28190          88341          74464          0              600            56   69   58   
0.09/0.10	c 2320           28268          88590          74671          0              601            47   69   53   
0.09/0.10	c 2330           28427          89039          75071          0              603            65   73   65   
0.09/0.10	c 2340           28524          89356          75334          0              604            52   63   52   
0.09/0.10	c 2350           28638          89726          75651          0              605            55   67   57   
0.09/0.10	c 2360           28758          90117          75980          0              607            61   71   62   
0.09/0.10	c 2370           28870          90470          76283          0              608            55   71   58   
0.09/0.10	c 2380           28989          90828          76594          0              611            46   64   53   
0.09/0.10	c 2390           29099          91166          76868          0              614            53   71   58   
0.09/0.10	c 2400           29185          91444          77100          0              616            44   63   47   
0.09/0.10	c 2410           29318          91842          77433          0              619            23   67   31   
0.09/0.10	c 2420           29457          92276          77790          0              622            53   71   60   
0.09/0.10	c 2430           29588          92676          78136          0              624            61   71   63   
0.09/0.10	c 2431           29656          92862          78263          0              625            68   68   34   
0.09/0.10	c 2440           29772          93216          78561          0              628            60   71   60   
0.09/0.10	c 2450           29874          93541          78843          0              629            46   67   51   
0.09/0.10	c 2460           30021          94013          79263          0              631            55   71   60   
0.09/0.10	c 2470           30163          94446          79620          0              634            58   71   62   
0.09/0.10	c 2480           30311          94917          80025          0              636            53   71   59   
0.09/0.10	c 2490           30421          95260          80317          0              640            31   67   44   
0.09/0.10	c 2500           30589          95785          80792          0              642            54   69   61   
0.09/0.10	c 2510           30707          96165          81116          0              645            52   65   55   
0.09/0.10	c 2520           30831          96544          81439          0              649            44   56   48   
0.09/0.10	c 2530           30998          97053          81878          0              652            60   69   59   
0.09/0.10	c 2540           31266          97934          82717          0              653            39   71   58   
0.09/0.10	c 2550           31495          98633          83358          0              656            65   69   62   
0.09/0.10	c 2560           31624          99038          83701          0              659            54   65   57   
0.09/0.11	c 2570           31705          99290          83925          0              662            36   43   37   
0.09/0.11	c 2580           31841          99741          84323          0              663            50   69   57   
0.09/0.11	c 2590           31972          100146         84660          0              666            57   69   60   
0.09/0.11	c 2600           32151          100702         85169          0              670            44   69   58   
0.09/0.11	c 2610           32266          101045         85445          0              674            58   69   60   
0.09/0.11	c 2620           32388          101408         85739          0              677            49   71   56   
0.09/0.11	c 2630           32470          101683         85981          0              678            38   69   53   
0.09/0.11	c 2640           32675          102352         86581          0              682            43   69   55   
0.09/0.11	c 2650           32814          102787         86960          0              683            53   69   59   
0.09/0.11	c 2660           32867          102960         87104          0              684            32   44   34   
0.09/0.11	c 2670           33029          103475         87566          0              686            48   69   59   
0.09/0.11	c 2680           33123          103781         87814          0              689            44   61   49   
0.09/0.11	c 2690           33270          104243         88203          0              692            49   69   59   
0.09/0.11	c 2700           33412          104697         88590          0              697            47   69   60   
0.09/0.11	c 2710           33546          105117         88947          0              701            54   69   60   
0.09/0.11	c 2720           33702          105607         89374          0              702            58   69   60   
0.09/0.11	c 2730           33804          105935         89645          0              705            40   48   42   
0.09/0.11	c 2740           33903          106228         89907          0              706            37   49   41   
0.09/0.11	c 2750           33978          106483         90138          0              707            22   36   29   
0.09/0.11	c 2760           34155          106982         90589          0              710            28   73   61   
0.09/0.11	c 2770           34240          107253         90830          0              711            30   42   33   
0.09/0.11	c 2771           34312          107448         90956          0              713            71   71   35   
0.09/0.11	c 2780           34392          107713         91175          0              716            37   54   42   
0.09/0.11	c 2790           34504          108059         91451          0              719            15   71   39   
0.09/0.11	c 2800           34635          108451         91774          0              723            62   71   63   
0.09/0.11	c 2810           34765          108841         92095          0              727            62   71   63   
0.09/0.11	c 2820           34907          109278         92458          0              730            54   69   59   
0.09/0.11	c 2830           35032          109655         92783          0              733            57   69   59   
0.09/0.11	c 2840           35134          109960         93039          0              734            57   69   59   
0.09/0.11	c 2850           35257          110342         93353          0              736            61   69   60   
0.09/0.12	c 2860           35356          110663         93618          0              739            47   69   54   
0.09/0.12	c 2870           35514          111176         94065          0              741            55   69   59   
0.09/0.12	c 2880           35609          111482         94315          0              746            40   54   44   
0.09/0.12	c 2890           35730          111864         94630          0              749            57   71   61   
0.09/0.12	c 2900           35869          112299         94999          0              751            54   69   60   
0.09/0.12	c 2910           36048          112860         95513          0              753            48   69   58   
0.09/0.12	c 2920           36200          113352         95933          0              756            62   69   61   
0.09/0.12	c 2930           36327          113741         96264          0              758            60   69   59   
0.09/0.12	c 2940           36439          114092         96548          0              762            27   65   42   
0.09/0.12	c 2950           36569          114481         96884          0              766            55   71   60   
0.09/0.12	c 2960           36649          114746         97116          0              767            31   51   39   
0.09/0.12	c 2970           36788          115170         97468          0              769            50   69   58   
0.09/0.12	c 2980           36929          115622         97847          0              772            52   69   59   
0.09/0.12	c 2990           37036          115969         98150          0              774            45   69   53   
0.09/0.12	c 3000           37196          116454         98574          0              777            65   69   60   
0.09/0.12	c 3010           37270          116699         98792          0              778            32   65   45   
0.09/0.12	c 3020           37401          117110         99147          0              781            56   69   60   
0.09/0.12	c 3030           37524          117512         99499          0              784            51   69   57   
0.09/0.12	c 3040           37652          117922         99840          0              787            53   69   58   
0.09/0.12	c 3050           37779          118345         100194         0              789            55   69   58   
0.09/0.12	c 3060           37961          118884         100684         0              792            65   73   64   
0.09/0.12	c 3070           38096          119309         101055         0              795            55   69   60   
0.09/0.12	c 3080           38201          119653         101330         0              798            63   68   60   
0.09/0.12	c 3090           38362          120113         101731         0              801            62   70   61   
0.09/0.12	c 3100           38489          120543         102099         0              803            51   68   56   
0.09/0.12	c 3110           38608          120915         102413         0              806            59   68   60   
0.09/0.12	c 3120           38803          121539         102975         0              809            40   67   57   
0.09/0.13	c 3130           38995          122142         103507         0              813            53   68   58   
0.09/0.13	c 3140           39104          122503         103814         0              816            55   68   56   
0.09/0.13	c 3142           39183          122738         103984         0              818            57   68   41   
0.09/0.13	c 3150           39317          123144         104322         0              822            59   68   59   
0.09/0.13	c 3160           39466          123622         104720         0              825            66   68   61   
0.09/0.13	c 3170           39532          123858         104928         0              826            26   35   29   
0.09/0.13	c 3180           39577          124013         105061         0              828            23   36   27   
0.09/0.13	c 3190           39716          124451         105428         0              831            30   68   49   
0.09/0.13	c 3200           39874          124957         105868         0              834            57   68   60   
0.09/0.13	c 3210           40015          125406         106259         0              836            55   68   60   
0.09/0.13	c 3220           40133          125770         106569         0              838            57   68   58   
0.09/0.13	c 3230           40275          126214         106960         0              840            59   68   59   
0.09/0.13	c 3240           40384          126559         107240         0              842            43   68   50   
0.09/0.13	c 3250           40501          126922         107548         0              844            60   68   60   
0.09/0.13	c 3260           40619          127268         107837         0              846            62   66   58   
0.09/0.13	c 3270           40756          127676         108179         0              850            59   73   60   
0.09/0.13	c 3280           40877          128076         108528         0              855            40   61   49   
0.09/0.13	c 3290           40990          128443         108825         0              859            53   64   55   
0.09/0.13	c 3300           41125          128888         109205         0              862            47   64   54   
0.09/0.13	c 3310           41240          129251         109527         0              864            42   64   48   
0.09/0.13	c 3320           41348          129595         109811         0              867            44   53   44   
0.09/0.13	c 3330           41475          130008         110165         0              869            48   68   56   
0.09/0.13	c 3340           41597          130396         110497         0              871            57   68   59   
0.09/0.13	c 3350           41722          130798         110839         0              874            54   68   57   
0.09/0.13	c 3360           41844          131205         111194         0              875            49   68   59   
0.09/0.13	c 3370           41967          131591         111531         0              878            50   68   59   
0.09/0.13	c 3380           42109          132002         111874         0              882            58   73   63   
0.09/0.13	c 3390           42234          132398         112201         0              885            51   72   54   
0.09/0.13	c 3400           42374          132911         112670         0              889            42   68   54   
0.09/0.13	c 3410           42473          133238         112949         0              890            51   64   53   
0.09/0.13	c 3420           42557          133535         113179         0              891            62   68   60   
0.09/0.14	c 3430           42672          133887         113477         0              893            59   68   57   
0.09/0.14	c 3440           42809          134310         113834         0              896            51   68   59   
0.09/0.14	c 3450           42926          134674         114142         0              899            55   68   56   
0.09/0.14	c 3460           43021          134987         114408         0              901            47   58   48   
0.09/0.14	c 3470           43139          135353         114717         0              904            16   68   56   
0.09/0.14	c 3480           43245          135692         114999         0              906            57   68   57   
0.09/0.14	c 3490           43329          135965         115241         0              908            31   58   40   
0.09/0.14	c 3500           43391          136182         115439         0              911            15   22   18   
0.09/0.14	c 3510           43512          136557         115750         0              915            61   70   61   
0.09/0.14	c 3520           43645          136992         116122         0              918            51   68   56   
0.09/0.14	c 3530           43750          137311         116390         0              919            59   68   59   
0.09/0.14	c 3540           43865          137659         116685         0              921            59   68   59   
0.09/0.14	c 3550           43996          138056         117040         0              922            53   68   58   
0.09/0.14	c 3551           44022          138130         117089         0              923            26   26   13   
0.09/0.14	c 3560           44145          138508         117409         0              925            59   68   60   
0.09/0.14	c 3570           44276          138908         117749         0              928            60   70   61   
0.09/0.14	c 3580           44395          139283         118068         0              930            59   66   59   
0.09/0.14	c 3590           44482          139567         118301         0              932            35   57   41   
0.09/0.14	c 3600           44590          139922         118597         0              934            58   68   57   
0.09/0.14	c 3610           44669          140175         118805         0              936            45   66   49   
0.09/0.14	c 3620           44789          140542         119103         0              940            53   70   59   
0.09/0.14	c 3630           44875          140827         119346         0              942            39   58   46   
0.09/0.14	c 3640           44989          141179         119663         0              943            42   58   49   
0.09/0.14	conflict 11lvl : 60 bt38-95:0(61)X51761
0.09/0.14	c 3650           45160          141699         120088         0              946            57   72   59   
0.09/0.14	c 3660           45310          142158         120502         0              948            58   68   60   
0.09/0.14	c 3670           45409          142455         120760         0              950            41   53   43   
0.09/0.14	c 3680           45524          142817         121067         0              953            56   68   57   
0.09/0.14	c 3690           45622          143118         121329         0              957            39   51   44   
0.09/0.14	c 3700           45734          143486         121642         0              959            55   64   54   
0.09/0.14	c 3710           45867          143920         122009         0              961            44   58   51   
0.09/0.14	c 3720           45972          144256         122307         0              964            42   50   44   
0.09/0.14	c 3730           46082          144607         122609         0              966            47   58   49   
0.09/0.14	c 3740           46178          144917         122865         0              968            32   68   42   
0.09/0.14	c 3750           46304          145305         123192         0              973            47   64   54   
0.09/0.15	c 3760           46395          145588         123421         0              976            45   58   47   
0.09/0.15	c 3770           46524          145972         123756         0              980            38   68   54   
0.09/0.15	c 3780           46657          146385         124114         0              982            48   64   55   
0.09/0.15	c 3790           46796          146883         124568         0              984            35   58   46   
0.09/0.15	c 3800           46852          147071         124730         0              985            28   47   32   
0.09/0.15	c 3810           47006          147519         125120         0              989            52   72   62   
0.09/0.15	c 3820           47111          147849         125406         0              991            45   64   52   
0.09/0.15	c 3830           47241          148251         125762         0              995            46   58   49   
0.09/0.15	c 3840           47335          148547         126007         0              999            48   58   50   
0.09/0.15	c 3850           47456          148914         126331         0              1002           54   58   52   
0.09/0.15	c 3860           47663          149512         126855         0              1005           49   70   50   
0.09/0.15	c 3870           47796          149946         127204         0              1008           64   68   60   
0.09/0.15	c 3880           47924          150323         127528         0              1011           56   64   55   
0.09/0.15	c 3890           48052          150712         127866         0              1014           57   64   54   
0.09/0.15	c 3900           48160          151071         128167         0              1016           51   64   51   
0.09/0.15	c 3910           48266          151409         128446         0              1020           50   58   51   
0.09/0.15	c 3920           48404          151839         128839         0              1022           42   58   48   
0.09/0.15	c 3930           48455          152010         128987         0              1023           23   39   29   
0.09/0.15	c 3940           48552          152365         129293         0              1025           45   58   47   
0.09/0.15	c 3950           48669          152738         129603         0              1028           44   58   50   
0.09/0.15	c 3960           48806          153198         129988         0              1031           47   68   50   
0.09/0.15	c 3970           48913          153556         130282         0              1033           49   64   54   
0.09/0.15	c 3980           49024          153902         130578         0              1035           54   68   58   
0.09/0.15	c 3990           49150          154294         130904         0              1039           44   64   53   
0.09/0.15	c 4000           49232          154558         131129         0              1040           40   54   43   
0.09/0.15	c 4001           49290          154714         131227         0              1041           58   58   29   
0.09/0.15	c 4010           49425          155126         131583         0              1044           42   72   52   
0.09/0.15	c 4020           49539          155501         131899         0              1048           48   64   51   
0.09/0.15	c 4030           49647          155852         132190         0              1051           51   64   56   
0.09/0.15	c 4040           49797          156316         132597         0              1053           42   70   56   
0.09/0.15	c 4050           49915          156689         132899         0              1057           54   68   58   
0.09/0.15	c 4060           50013          157005         133166         0              1061           44   58   47   
0.09/0.15	c 4070           50124          157357         133472         0              1065           42   58   46   
0.09/0.16	c 4080           50249          157761         133833         0              1067           43   58   49   
0.09/0.16	c 4090           50393          158219         134241         0              1069           39   58   48   
0.09/0.16	c 4100           50480          158497         134490         0              1070           33   47   34   
0.09/0.16	c 4110           50612          158907         134851         0              1074           43   58   48   
0.09/0.16	c 4120           50749          159337         135222         0              1077           46   60   50   
0.09/0.16	c 4130           50858          159678         135517         0              1079           50   58   50   
0.09/0.16	c 4140           50984          160069         135843         0              1081           49   72   50   
0.09/0.16	c 4150           51082          160384         136107         0              1082           61   70   60   
0.09/0.16	c 4160           51231          160829         136480         0              1084           54   72   60   
0.09/0.16	c 4170           51393          161325         136914         0              1087           48   64   54   
0.09/0.16	c 4180           51522          161756         137287         0              1089           40   58   47   
0.09/0.16	c 4190           51687          162305         137774         0              1093           35   56   43   
0.09/0.16	c 4200           51834          162754         138168         0              1096           47   60   50   
0.09/0.16	c 4210           51952          163131         138493         0              1097           43   58   50   
0.09/0.16	c 4220           52058          163500         138818         0              1099           44   58   48   
0.09/0.16	c 4230           52162          163820         139100         0              1100           45   58   49   
0.09/0.16	c 4240           52262          164139         139367         0              1102           45   58   49   
0.09/0.16	c 4250           52402          164558         139725         0              1105           52   70   60   
0.09/0.16	c 4260           52503          164878         139997         0              1108           46   64   50   
0.09/0.16	c 4270           52590          165167         140229         0              1110           41   56   45   
0.09/0.16	c 4280           52719          165580         140594         0              1112           54   58   51   
0.09/0.16	c 4290           52842          165969         140940         0              1114           58   70   60   
0.09/0.16	c 4300           53001          166460         141364         0              1118           34   62   51   
0.09/0.16	c 4310           53147          166921         141762         0              1121           44   72   59   
0.09/0.16	c 4320           53295          167393         142188         0              1123           58   70   59   
0.09/0.16	c 4330           53358          167614         142386         0              1124           21   36   26   
0.09/0.16	c 4340           53470          167956         142670         0              1128           55   70   58   
0.09/0.16	c 4350           53600          168347         143014         0              1130           54   68   59   
0.09/0.16	c 4360           53686          168639         143260         0              1132           41   60   45   
0.09/0.16	c 4370           53791          168973         143539         0              1136           29   68   51   
0.09/0.16	c 4380           53910          169349         143855         0              1139           58   64   57   
0.09/0.16	c 4390           53987          169603         144066         0              1140           47   64   51   
0.09/0.16	c 4400           54102          169955         144358         0              1143           46   60   51   
0.09/0.17	c 4410           54237          170370         144730         0              1146           40   58   49   
0.09/0.17	c 4420           54323          170647         144959         0              1149           33   58   46   
0.09/0.17	c 4430           54434          171006         145259         0              1152           44   58   49   
0.09/0.17	c 4440           54543          171352         145540         0              1156           54   54   49   
0.09/0.17	c 4450           54661          171751         145895         0              1159           42   58   47   
0.09/0.17	c 4460           54769          172096         146187         0              1163           46   55   46   
0.09/0.17	c 4470           54860          172385         146445         0              1165           41   55   41   
0.09/0.17	c 4480           55000          172826         146853         0              1168           33   47   39   
0.09/0.17	c 4490           55084          173106         147095         0              1170           36   45   38   
0.09/0.17	c 4493           55176          173367         147292         0              1172           45   72   40   
0.09/0.17	c 4500           55281          173686         147548         0              1176           47   68   53   
0.09/0.17	c 4510           55437          174163         147953         0              1181           46   72   61   
0.09/0.17	c 4520           55571          174573         148308         0              1186           49   70   59   
0.09/0.17	c 4530           55689          174953         148633         0              1190           43   70   54   
0.09/0.17	c 4540           55806          175320         148938         0              1193           37   70   57   
0.09/0.17	c 4550           55895          175606         149187         0              1195           40   58   46   
0.09/0.17	c 4560           55993          175919         149468         0              1197           45   54   46   
0.09/0.17	c 4570           56150          176434         149919         0              1199           31   68   52   
0.09/0.17	c 4580           56267          176810         150238         0              1202           31   68   46   
0.09/0.17	c 4590           56438          177300         150662         0              1205           60   68   58   
0.09/0.17	c 4600           56593          177783         151084         0              1208           39   64   51   
0.09/0.17	c 4610           56721          178184         151421         0              1210           44   68   50   
0.09/0.17	c 4620           56894          178719         151894         0              1213           48   68   57   
0.09/0.17	c 4630           57019          179123         152241         0              1215           44   58   49   
0.09/0.17	c 4640           57086          179349         152432         0              1216           38   58   42   
0.09/0.17	c 4650           57200          179724         152750         0              1219           48   58   50   
0.09/0.17	c 4660           57319          180095         153084         0              1223           35   54   45   
0.09/0.17	c 4670           57425          180420         153348         0              1227           27   58   46   
0.09/0.17	c 4680           57528          180729         153618         0              1230           49   58   49   
0.09/0.17	c 4690           57676          181209         154059         0              1234           37   60   50   
0.09/0.17	c 4700           57767          181506         154316         0              1237           29   38   32   
0.09/0.17	c 4710           57913          181977         154741         0              1238           45   68   56   
0.09/0.17	c 4720           58042          182408         155123         0              1242           49   64   54   
0.09/0.18	c 4730           58177          182809         155458         0              1244           63   72   63   
0.09/0.18	c 4740           58294          183193         155791         0              1245           55   70   59   
0.09/0.18	c 4750           58457          183746         156278         0              1247           44   64   53   
0.09/0.18	c 4760           58597          184198         156669         0              1250           50   58   52   
0.09/0.18	c 4770           58741          184670         157068         0              1253           58   58   52   
0.09/0.18	c 4780           58874          185090         157439         0              1256           45   58   50   
0.09/0.18	c 4790           58984          185450         157760         0              1258           39   58   46   
0.09/0.18	c 4800           59098          185812         158083         0              1259           53   68   58   
0.09/0.18	c 4810           59277          186395         158613         0              1262           64   66   58   
0.09/0.18	c 4820           59402          186796         158963         0              1265           46   58   50   
0.09/0.18	c 4830           59505          187122         159257         0              1268           34   54   44   
0.09/0.18	c 4840           59643          187537         159611         0              1273           17   68   51   
0.09/0.18	c 4850           59757          187893         159902         0              1277           55   64   55   
0.09/0.18	c 4860           59861          188239         160196         0              1280           44   58   48   
0.09/0.18	c 4870           59996          188657         160555         0              1283           45   54   47   
0.09/0.18	c 4880           60132          189095         160928         0              1285           29   68   47   
0.09/0.18	c 4890           60250          189465         161246         0              1289           43   62   51   
0.09/0.18	c 4900           60369          189855         161567         0              1291           46   68   51   
0.09/0.18	c 4910           60488          190237         161888         0              1295           51   68   57   
0.09/0.18	c 4920           60621          190665         162247         0              1297           50   64   54   
0.09/0.18	c 4930           60742          191040         162567         0              1300           35   54   44   
0.09/0.18	c 4940           60852          191386         162858         0              1303           51   58   51   
0.09/0.18	c 4950           60941          191671         163098         0              1305           45   54   46   
0.09/0.18	c 4960           61053          192022         163391         0              1307           46   68   52   
0.09/0.18	c 4970           61184          192414         163720         0              1310           60   72   61   
0.09/0.18	c 4980           61322          192848         164094         0              1314           53   66   57   
0.09/0.18	c 4990           61415          193149         164350         0              1317           44   58   48   
0.09/0.18	c 5035           61873          194672         165794         0              1321           57   68   64   
0.09/0.19	c 5631           67379          213107         184000         0              1325           31   68   62   
0.19/0.20	c 6286           72360          230270         200820         0              1330           29   72   59   
0.19/0.21	c 7006           78022          249279         219407         0              1333           37   72   58   
0.19/0.22	c 7798           84236          270764         240313         0              1337           35   70   58   
0.19/0.23	c 8669           90473          292139         261216         0              1344           45   70   63   
0.19/0.25	c 9627           97227          315052         283825         0              1350           41   72   64   
0.19/0.26	c 10680          105684         344097         312237         0              1359           38   70   63   
0.19/0.27	c 11838          114692         375498         342961         0              1367           42   71   64   
0.19/0.29	c 13111          123636         406527         373285         0              1371           40   70   61   
0.29/0.31	c 14511          134236         443564         409792         0              1378           27   70   62   
0.29/0.33	c 16051          146414         485820         451075         0              1386           36   69   62   
0.29/0.35	c 17745          157530         524085         488680         0              1391           22   70   62   
0.29/0.37	c 19608          174412         582053         545162         0              1394           37   70   63   
0.39/0.40	c 21657          191158         639504         601792         0              1397           17   68   51   
0.39/0.44	c 23910          212160         710408         671544         0              1406           24   70   61   
0.39/0.47	c 26388          229643         770597         731071         0              1415           26   68   58   
0.49/0.51	c 29113          253630         853243         812432         0              1422           26   70   60   
0.49/0.55	c 32110          278829         942295         899125         0              1428           27   70   62   
0.49/0.59	c 35406          302764         1026131        980265         0              1435           16   68   55   
0.59/0.64	c 39031          332713         1128995        1081018        0              1441           29   68   58   
0.59/0.69	c 43018          361420         1230055        1179366        0              1447           22   70   59   
0.69/0.74	c 47403          394000         1343632        1290050        0              1454           11   70   62   
0.79/0.81	c 52226          434637         1483771        1427429        0              1463           15   70   50   
0.79/0.89	c 57531          480545         1641156        1582478        0              1469           20   70   60   
0.89/0.98	c 63366          528323         1808768        1746405        0              1474           13   64   49   
0.99/1.05	c 69784          571574         1962520        1897821        0              1478           19   70   58   
1.10/1.14	c 76843          622080         2140702        2073308        0              1485           15   68   51   
1.20/1.26	c 84607          688826         2373846        2303488        0              1492           18   68   54   
1.29/1.38	c 93147          759861         2622530        2544962        0              1507           17   70   48   
1.29/1.38	conflict 14lvl : 51 bt48-1:0(51)X76786
1.49/1.50	c 102541         830932         2865646        2783294        0              1515           17   70   52   
1.59/1.64	c 112874         913598         3149298        3062926        0              1523           17   70   57   
1.79/1.81	c 124240         1006876        3472557        3381531        0              1533           11   69   51   
1.89/1.97	c 136742         1100742        3802084        3706697        0              1540           14   69   52   
2.09/2.18	c 150494         1224656        4227174        4120909        0              1550           12   70   58   
2.30/2.38	c 165621         1340831        4639994        4526082        0              1558           17   68   53   
2.59/2.60	c 182260         1470042        5079947        4957698        0              1568           15   70   56   
2.79/2.89	c 200562         1640577        5667115        5535966        0              1579           18   70   59   
3.09/3.17	c 220694         1802886        6236122        6093603        0              1590           16   70   59   
3.49/3.50	c 242839         1996258        6898518        6747792        0              1601           19   70   60   
3.79/3.86	c 267198         2210280        7632724        7471517        0              1611           8   70   59    
4.19/4.25	c 293992         2442507        8434423        8260116        0              1621           16   70   59   
4.59/4.68	c 323465         2697554        9305026        9118105        0              1627           8   70   60    
5.19/5.22	c 355885         3014322        10371915       10165738       0              1636           9   71   61    
5.69/5.77	c 391547         3337557        11484191       11261279       0              1644           8   71   60    
6.29/6.37	c 430775         3683844        12703790       12444832       0              1654           9   70   58    
6.89/6.98	c 473925         4044296        13946060       13665973       0              1665           14   70   58   
7.59/7.60	c 521390         4400778        15204718       14905703       0              1674           12   70   52   
8.39/8.48	c 573601         4921234        17006366       16687647       0              1683           9   68   58    
9.29/9.35	c 631033         5443314        18783004       18438888       0              1694           12   70   58   
10.29/10.38	c 694208         6050008        20847701       20481786       0              1704           15   70   60   
11.19/11.26	c 763700         6559305        22628119       22234703       0              1711           8   70   50    
12.29/12.33	c 840141         7192866        24825378       24400221       0              1719           10   70   55   
13.30/13.39	c 924226         7808409        26970127       26500071       0              1728           8   70   51    
14.69/14.74	c 1016719        8613391        29739762       29237141       0              1738           11   70   58   
14.69/14.74	conflict 8lvl : 34 bt20-1:0(29)X83584
15.99/16.05	c 1118461        9358691        32345392       31799486       0              1748           9   70   49    
17.49/17.58	c 1230377        10242088       35434130       34821836       0              1758           10   70   51   
19.29/19.32	c 1353484        11285361       39036236       38304026       0              1768           8   70   56    
20.90/20.97	c 1488901        12234923       42409298       41616110       0              1777           9   70   53    
22.79/22.85	c 1637859        13327261       46273128       45403642       0              1783           11   70   55   
25.19/25.30	c 1801712        14765536       51259649       50313076       0              1795           5   70   59    
27.69/27.75	c 1981950        16227537       56327225       55286184       0              1806           9   70   58    
30.39/30.41	c 2180211        17796091       61815036       60669599       0              1816           14   70   58   
33.39/33.44	c 2398298        19606002       68046529       66828248       0              1827           12   70   58   
36.49/36.58	c 2638193        21449627       74468258       73124281       0              1836           11   70   53   
40.49/40.59	c 2902077        23824602       82687324       81249393       0              1846           10   70   58   
45.19/45.29	c 3192349        26622851       92352291       90809895       0              1859           11   70   60   
49.99/50.00	c 3511648        29445046       102145965      100364033      0              1870           9   71   58    
55.09/55.15	c 3862876        32487263       112652577      110730141      0              1879           10   70   57   
60.19/60.26	c 4249226        35472230       123001733      120955381      0              1891           9   70   53    
66.09/66.13	c 4674211        38894919       134956729      132705847      0              1900           8   70   55    
72.59/72.63	c 5141694        42689023       148347852      145936758      0              1906           9   69   56    
79.69/79.75	c 5655925        46841518       162952976      160304054      0              1915           10   68   56   
88.19/88.20	c 6221579        51771783       180251315      177403830      0              1931           8   68   57    
96.79/96.89	c 6843798        56849118       198209065      194916853      0              1939           8   68   55    
105.48/105.56	c 7528238        61919912       216158343      212667706      0              1949           9   68   54    
114.58/114.65	c 8281122        67193367       234609253      230981307      0              1959           8   68   51    
126.08/126.17	c 9109294        73910944       258304919      254293657      0              1971           11   68   54   
126.08/126.17	conflict 7lvl : 17 bt13-97:0(11)X89783
139.18/139.27	c 10020283       81644578       285484396      280807657      0              1981           9   68   56    
151.28/151.35	c 11022370       88452136       310824318      305531250      0              1996           10   68   55   
166.28/166.31	c 12124665       97241772       341583815      335931600      0              2010           10   68   57   
184.08/184.18	c 13337189       107916919      379218765      372277426      0              2019           12   69   59   
201.58/201.67	c 14670965       118061513      415073803      407445019      0              2031           8   69   55    
220.88/220.92	c 16138118       129167651      455061701      446881908      0              2043           9   69   57    
220.88/220.92	conflict 5lvl : 13 bt12-91:0(8)X91531
240.28/240.34	c 17751986       140372586      494869597      486341173      0              2058           9   69   55    
240.28/240.34	conflict 9lvl : 52 bt52-1:0(43)X91843
262.47/262.55	c 19527240       153260339      539847687      530926867      0              2071           10   69   53   
287.27/287.32	c 21480019       167678834      590125193      580716459      0              2086           12   69   53   
319.08/319.15	c 23628075       186481433      655420390      644995280      0              2101           8   69   58    
347.07/347.19	c 25990936       202702849      712638240      701842506      0              2111           8   69   54    
384.97/385.09	c 28590083       224964276      791593768      778848767      0              2122           8   68   57    
426.77/426.88	c 31449144       249843132      878157135      864071992      0              2136           10   68   59   
466.16/466.26	c 34594111       272801638      958926113      943472889      0              2148           6   68   55    
511.76/511.87	c 38053574       299455158      1053056459     1036378021     0              2163           8   68   54    
568.76/568.85	c 41858983       333297312      1170765379     1151496236     0              2173           5   68   57    
632.95/633.06	c 46044932       371696538      1303283313     1281127267     0              2182           13   68   59   
695.85/695.94	c 50649475       408590307      1433255581     1408839559     0              2196           7   68   56    
761.15/761.23	c 55714472       446753914      1568557656     1542254399     0              2209           5   68   56    
770.74/770.80	conflict 3lvl : 58 bt35-139:0(41)X95427
830.24/830.33	c 61285968       486538840      1710633125     1682216789     0              2224           6   68   54    
917.23/917.36	c 67414613       537360734      1891202461     1858532390     1              2235           7   68   57    
918.63/918.79	conflict 10lvl : 55 bt55-145:0(62)X96096
944.43/944.54	conflict 6lvl : 28 bt28-145:0(37)X96109
954.03/954.14	conflict 6lvl : 46 bt46-145:0(46)X96118
963.73/963.80	c restarts              : 616         
963.73/963.80	c conflicts             : 71499673     (74190 /sec)
963.73/963.80	c decisions             : 563505024    (584709 /sec)
963.73/963.80	c propagations          : 1952557816  (2026031 /sec)
963.73/963.80	c root propagations     : 0           
963.73/963.80	c filter calls          : 1986945497     (2061713 /sec)
963.73/963.80	c useless filter calls  : 1127824426     (56 %)
963.73/963.80	c
963.73/963.80	c clauses               : 2385
963.73/963.80	c SAT propagations      : 499188
963.73/963.80	c SAT conflicts         : 372415 (10 learnts)
963.73/963.80	c Memory used           : 31.00 MB
963.73/963.80	c CPU time              : 963.735 s
963.73/963.80	
963.73/963.80	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-4241437-1500631130/watcher-4241437-1500631130 -o /tmp/evaluation-result-4241437-1500631130/solver-4241437-1500631130 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4414 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241437-1500631130.xml 

pid=7122
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.55 2.19 2.09 3/186 7125
/proc/meminfo: memFree=30429944/32770624 swapFree=6240/1305524
[pid=7125] ppid=7122 vsize=31480 CPUtime=0 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 1060 0 0 0 0 0 0 0 20 0 1 0 16389338 32235520 898 33554432000 4194304 5970956 140730660526080 140730660522728 139745073445984 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7870 898 765 434 0 1234 0

[startup+0.100167 s]
/proc/loadavg: 2.55 2.19 2.09 3/186 7125
/proc/meminfo: memFree=30429944/32770624 swapFree=6240/1305524
[pid=7125] ppid=7122 vsize=31608 CPUtime=0.09 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 1103 0 0 0 9 0 0 0 20 0 1 0 16389338 32366592 918 33554432000 4194304 5970956 140730660526080 140730660523416 139745073445984 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7902 918 766 434 0 1266 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31608

[startup+0.200305 s]
/proc/loadavg: 2.55 2.19 2.09 3/186 7125
/proc/meminfo: memFree=30429944/32770624 swapFree=6240/1305524
[pid=7125] ppid=7122 vsize=31608 CPUtime=0.19 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 1126 0 0 0 19 0 0 0 20 0 1 0 16389338 32366592 1430 33554432000 4194304 5970956 140730660526080 140730660523416 4933136 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7902 1430 766 434 0 1266 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31608

[startup+0.300256 s]
/proc/loadavg: 2.55 2.19 2.09 3/186 7125
/proc/meminfo: memFree=30429944/32770624 swapFree=6240/1305524
[pid=7125] ppid=7122 vsize=31608 CPUtime=0.29 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 1128 0 0 0 29 0 0 0 20 0 1 0 16389338 32366592 1430 33554432000 4194304 5970956 140730660526080 140730660523416 5319868 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7902 1430 766 434 0 1266 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31608

[startup+0.700228 s]
/proc/loadavg: 2.55 2.19 2.09 3/186 7125
/proc/meminfo: memFree=30429944/32770624 swapFree=6240/1305524
[pid=7125] ppid=7122 vsize=31608 CPUtime=0.69 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 1132 0 0 0 69 0 0 0 20 0 1 0 16389338 32366592 1430 33554432000 4194304 5970956 140730660526080 140730660523416 5098944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7902 1430 766 434 0 1266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31608

[startup+1.50022 s]
/proc/loadavg: 2.55 2.19 2.09 3/187 7126
/proc/meminfo: memFree=30427368/32770624 swapFree=6240/1305524
[pid=7125] ppid=7122 vsize=31608 CPUtime=1.49 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 1135 0 0 0 149 0 0 0 20 0 1 0 16389338 32366592 1430 33554432000 4194304 5970956 140730660526080 140730660523512 5322027 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7902 1430 766 434 0 1266 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31608

[startup+3.10022 s]
/proc/loadavg: 2.55 2.19 2.09 3/187 7126
/proc/meminfo: memFree=30426684/32770624 swapFree=6240/1305556
[pid=7125] ppid=7122 vsize=31608 CPUtime=3.09 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 1276 0 0 0 309 0 0 0 20 0 1 0 16389338 32366592 1486 33554432000 4194304 5970956 140730660526080 140730660523416 4930560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7902 1486 770 434 0 1266 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31608

[startup+6.30022 s]
/proc/loadavg: 2.43 2.17 2.08 3/187 7126
/proc/meminfo: memFree=30427308/32770624 swapFree=6240/1305564
[pid=7125] ppid=7122 vsize=31608 CPUtime=6.29 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 1421 0 0 0 629 0 0 0 20 0 1 0 16389338 32366592 1488 33554432000 4194304 5970956 140730660526080 140730660523416 4930654 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7902 1488 770 434 0 1266 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31608

[startup+12.7002 s]
/proc/loadavg: 2.39 2.16 2.08 3/187 7126
/proc/meminfo: memFree=30427052/32770624 swapFree=6240/1305564
[pid=7125] ppid=7122 vsize=31744 CPUtime=12.69 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 1572 0 0 0 1269 0 0 0 20 0 1 0 16389338 32505856 1492 33554432000 4194304 5970956 140730660526080 140730660523416 4934161 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1492 770 434 0 1300 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31744

[startup+25.5003 s]
/proc/loadavg: 2.31 2.16 2.08 3/187 7126
/proc/meminfo: memFree=30426664/32770624 swapFree=6240/1305580
[pid=7125] ppid=7122 vsize=31744 CPUtime=25.49 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 1867 0 0 0 2549 0 0 0 20 0 1 0 16389338 32505856 1494 33554432000 4194304 5970956 140730660526080 140730660523416 4930560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1494 770 434 0 1300 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31744

[startup+51.1003 s]
/proc/loadavg: 2.20 2.14 2.08 3/187 7126
/proc/meminfo: memFree=30427144/32770624 swapFree=6240/1305608
[pid=7125] ppid=7122 vsize=31744 CPUtime=51.09 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 2019 0 0 0 5109 0 0 0 20 0 1 0 16389338 32505856 1495 33554432000 4194304 5970956 140730660526080 140730660523416 5337513 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1495 770 434 0 1300 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31744

[startup+102.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/187 7134
/proc/meminfo: memFree=30426624/32770624 swapFree=6240/1305692
[pid=7125] ppid=7122 vsize=31744 CPUtime=102.29 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 2175 0 0 0 10229 0 0 0 20 0 1 0 16389338 32505856 1499 33554432000 4194304 5970956 140730660526080 140730660523416 5327993 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1499 770 434 0 1300 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 31744

[startup+162.3 s]
/proc/loadavg: 2.07 2.11 2.07 3/187 7157
/proc/meminfo: memFree=30428248/32770624 swapFree=6240/1305752
[pid=7125] ppid=7122 vsize=31744 CPUtime=162.28 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 2333 0 0 0 16228 0 0 0 20 0 1 0 16389338 32505856 1502 33554432000 4194304 5970956 140730660526080 140730660523416 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1502 770 434 0 1300 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 31744

[startup+222.306 s]
/proc/loadavg: 2.03 2.09 2.07 3/187 7158
/proc/meminfo: memFree=30429300/32770624 swapFree=6240/1305816
[pid=7125] ppid=7122 vsize=31744 CPUtime=222.28 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 2490 0 0 0 22228 0 0 0 20 0 1 0 16389338 32505856 1503 33554432000 4194304 5970956 140730660526080 140730660523512 4930654 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1503 770 434 0 1300 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 31744

[startup+282.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/187 7159
/proc/meminfo: memFree=30429556/32770624 swapFree=6240/1305864
[pid=7125] ppid=7122 vsize=31744 CPUtime=282.27 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 2647 0 0 0 28227 0 0 0 20 0 1 0 16389338 32505856 1503 33554432000 4194304 5970956 140730660526080 140730660523416 4933149 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1503 770 434 0 1300 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 31744

[startup+342.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/187 7160
/proc/meminfo: memFree=30428532/32770624 swapFree=6240/1305900
[pid=7125] ppid=7122 vsize=31744 CPUtime=342.27 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 2804 0 0 0 34227 0 0 0 20 0 1 0 16389338 32505856 1503 33554432000 4194304 5970956 140730660526080 140730660523416 4934781 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1503 770 434 0 1300 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 31744

[startup+402.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 7161
/proc/meminfo: memFree=30429104/32770624 swapFree=6240/1305944
[pid=7125] ppid=7122 vsize=31744 CPUtime=402.27 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 2961 0 0 0 40227 0 0 0 20 0 1 0 16389338 32505856 1503 33554432000 4194304 5970956 140730660526080 140730660523416 5333484 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1503 770 434 0 1300 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 31744

[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 7162
/proc/meminfo: memFree=30429096/32770624 swapFree=6240/1305980
[pid=7125] ppid=7122 vsize=31744 CPUtime=462.26 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 3118 0 0 0 46226 0 0 0 20 0 1 0 16389338 32505856 1503 33554432000 4194304 5970956 140730660526080 140730660523416 5337454 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1503 770 434 0 1300 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 31744

[startup+522.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 7163
/proc/meminfo: memFree=30429244/32770624 swapFree=6240/1306016
[pid=7125] ppid=7122 vsize=31744 CPUtime=522.26 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 3276 0 0 0 52226 0 0 0 20 0 1 0 16389338 32505856 1504 33554432000 4194304 5970956 140730660526080 140730660523416 5273320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1504 770 434 0 1300 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 31744

[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 7164
/proc/meminfo: memFree=30429120/32770624 swapFree=6240/1306060
[pid=7125] ppid=7122 vsize=31744 CPUtime=582.25 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 3437 0 0 0 58225 0 0 0 20 0 1 0 16389338 32505856 1504 33554432000 4194304 5970956 140730660526080 140730660523416 5108512 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1504 770 434 0 1300 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 31744

[startup+642.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/187 7165
/proc/meminfo: memFree=30429244/32770624 swapFree=6240/1306100
[pid=7125] ppid=7122 vsize=31744 CPUtime=642.25 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 3597 0 0 0 64225 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523416 4930544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 31744

[startup+702.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/187 7173
/proc/meminfo: memFree=30427864/32770624 swapFree=6240/1306128
[pid=7125] ppid=7122 vsize=31744 CPUtime=702.25 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 3759 0 0 0 70225 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523416 4934200 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 702.25
Current children cumulated vsize (KiB) 31744

[startup+762.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 7174
/proc/meminfo: memFree=30427988/32770624 swapFree=6240/1306172
[pid=7125] ppid=7122 vsize=31744 CPUtime=762.25 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 3920 0 0 0 76225 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523416 4930560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 31744

[startup+822.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 7175
/proc/meminfo: memFree=30428616/32770624 swapFree=6240/1306208
[pid=7125] ppid=7122 vsize=31744 CPUtime=822.24 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 4067 0 0 0 82224 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523512 5337501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (KiB) 31744

[startup+882.306 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 7176
/proc/meminfo: memFree=30428616/32770624 swapFree=6240/1306244
[pid=7125] ppid=7122 vsize=31744 CPUtime=882.24 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 4233 0 0 0 88224 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523416 5322024 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 31744

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7177
/proc/meminfo: memFree=30428884/32770624 swapFree=6240/1306284
[pid=7125] ppid=7122 vsize=31744 CPUtime=942.23 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 4394 0 0 0 94223 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523512 4930672 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 31744

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

[startup+947.206 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7177
/proc/meminfo: memFree=30428884/32770624 swapFree=6240/1306284
[pid=7125] ppid=7122 vsize=31744 CPUtime=947.14 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 4394 0 0 0 94714 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523512 4934357 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 947.14
Current children cumulated vsize (KiB) 31744

[startup+953.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7177
/proc/meminfo: memFree=30428884/32770624 swapFree=6240/1306284
[pid=7125] ppid=7122 vsize=31744 CPUtime=953.53 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 4394 0 0 0 95353 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523512 5311648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 953.53
Current children cumulated vsize (KiB) 31744

[startup+960 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7177
/proc/meminfo: memFree=30428884/32770624 swapFree=6240/1306292
[pid=7125] ppid=7122 vsize=31744 CPUtime=959.93 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 4543 0 0 0 95993 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523512 5322042 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 959.93
Current children cumulated vsize (KiB) 31744

[startup+961.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7178
/proc/meminfo: memFree=30428620/32770624 swapFree=6240/1306304
[pid=7125] ppid=7122 vsize=31744 CPUtime=961.53 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 4543 0 0 0 96153 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523512 5322042 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 961.53
Current children cumulated vsize (KiB) 31744

[startup+963.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7178
/proc/meminfo: memFree=30428512/32770624 swapFree=6240/1306320
[pid=7125] ppid=7122 vsize=31744 CPUtime=963.13 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 4543 0 0 0 96313 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523512 5322040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 963.13
Current children cumulated vsize (KiB) 31744

[startup+963.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7178
/proc/meminfo: memFree=30428512/32770624 swapFree=6240/1306320
[pid=7125] ppid=7122 vsize=31744 CPUtime=963.54 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 4543 0 0 0 96354 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523512 4934183 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 963.54
Current children cumulated vsize (KiB) 31744

[startup+963.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7178
/proc/meminfo: memFree=30428512/32770624 swapFree=6240/1306320
[pid=7125] ppid=7122 vsize=31744 CPUtime=963.73 cores=1,3,5,7
/proc/7125/stat : 7125 (cosoco) R 7122 7125 4382 0 -1 4202496 4543 0 0 0 96373 0 0 0 20 0 1 0 16389338 32505856 1508 33554432000 4194304 5970956 140730660526080 140730660523512 5327374 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 15024128 140730660533436 140730660533571 140730660533571 140730660536270 0
/proc/7125/statm: 7936 1508 770 434 0 1300 0
Current children cumulated CPU time (s) 963.73
Current children cumulated vsize (KiB) 31744

Child status: 0
Real time (s): 963.801
CPU time (s): 963.739
CPU user time (s): 963.736
CPU system time (s): 0.003122
CPU usage (%): 99.9935
Max. virtual memory (cumulated for all children) (KiB): 31744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 963.736
system time used= 0.003122
maximum resident set size= 6112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4594
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= 48433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.63751 second user time and 2.93408 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-21 11:58:50
IDJOB=4241437
IDBENCH=126862
IDSOLVER=2621
FILE ID=node130/4241437-1500631130
RUNJOBID= node130-1500623778-4414
PBS_JOBID= 20623003
Free space on /tmp= 61964 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-025.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241437-1500631130/watcher-4241437-1500631130 -o /tmp/evaluation-result-4241437-1500631130/solver-4241437-1500631130 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4414 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241437-1500631130.xml

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

MD5SUM BENCH= 973963fd5ae0545f9f330e30fdec40c5
RANDOM SEED=1370377930

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30430840 kB
MemAvailable:   31758040 kB
Buffers:          160800 kB
Cached:          1444544 kB
SwapCached:            0 kB
Active:           595948 kB
Inactive:        1314324 kB
Active(anon):     307824 kB
Inactive(anon):     8800 kB
Active(file):     288124 kB
Inactive(file):  1305524 kB
Unevictable:        6240 kB
Mlocked:            6240 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3844 kB
Writeback:             0 kB
AnonPages:        311148 kB
Mapped:            34236 kB
Shmem:              8852 kB
Slab:             124408 kB
SReclaimable:      98772 kB
SUnreclaim:        25636 kB
KernelStack:        3328 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     580256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61960 MiB
End job on node130 at 2017-07-21 12:14:54