Trace number 4242449

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.1? (TO) 2400.04 2400.31

General information on the benchmark

NameBlackhole/Blackhole-m1-s07/
Blackhole-07-3-10.xml
MD5SUM41a77f0ff8ed1fddf85157fc97a1c00e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.035018999
Satisfiable
(Un)Satisfiability was proved
Number of variables56
Number of constraints47
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":56}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":47},{"degree":3,"count":9}]
Minimum constraint arity1
Maximum constraint arity56
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":45},{"arity":56,"count":1}]
Number of extensional constraints27
Number of intensional constraints19
Distribution of constraint types[{"type":"extension","count":27},{"type":"intension","count":19},{"type":"channel","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Create channel(X,Y) constraint using 28 element constraint 
0.00/0.00	c intension y[1]<y[8]  using generic constraint 
0.00/0.00	c intension y[8]<y[21]  using generic constraint 
0.00/0.00	c intension y[22]<y[12]  using generic constraint 
0.00/0.01	c intension y[12]<y[24]  using generic constraint 
0.00/0.01	c intension y[17]<y[11]  using generic constraint 
0.00/0.01	c intension y[11]<y[5]  using generic constraint 
0.00/0.01	c intension y[16]<y[13]  using generic constraint 
0.00/0.01	c intension y[13]<y[19]  using generic constraint 
0.00/0.01	c intension y[10]<y[18]  using generic constraint 
0.00/0.01	c intension y[18]<y[26]  using generic constraint 
0.00/0.01	c intension y[2]<y[7]  using generic constraint 
0.00/0.01	c intension y[7]<y[9]  using generic constraint 
0.00/0.01	c intension y[15]<y[3]  using generic constraint 
0.00/0.01	c intension y[3]<y[25]  using generic constraint 
0.00/0.01	c intension y[6]<y[4]  using generic constraint 
0.00/0.01	c intension y[4]<y[14]  using generic constraint 
0.00/0.01	c intension y[27]<y[23]  using generic constraint 
0.00/0.01	c intension y[23]<y[20]  using generic constraint 
0.00/0.02	c SAT : Variables: 1568 -- Clauses: 21224
0.00/0.02	c root propagations     : 162         
0.00/0.02	c restarts enabled, print stats at every restarts
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c This is cosoco 1.0 --  
0.00/0.02	c
0.00/0.02	c ========================================[ Problem Statistics ]===========================================
0.00/0.02	c |                                                                                                       
0.00/0.02	c |  Parse time        :         0.01 s 
0.00/0.02	c |
0.00/0.02	c |               Variables: 56
0.00/0.02	c |            Domain Sizes: 28..28
0.00/0.02	c |
0.00/0.02	c |             Constraints: 74
0.00/0.02	c |                   Arity: 1..29  -- Unary: 1  -- Binary: 45
0.00/0.02	c | 
0.00/0.02	c |                   Types: 
0.00/0.02	c |                          (X - Y < k): 18
0.00/0.02	c |                          Element Constant: 28
0.00/0.02	c |                          Extension: 27  (nb tuples: 224..224) -- (shared: 26)
0.00/0.02	c |                          Intension: 1
0.00/0.02	c |                          
0.00/0.02	c =========================================================================================================
0.00/0.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c 10             49             3581           1601           56             6              22   29   22   
0.00/0.02	c 20             77             6445           3781           56             16             19   19   17   
0.00/0.02	c 30             107            8345           5324           56             20             19   19   17   
0.00/0.02	c 40             146            10653          6429           56             23             24   26   22   
0.00/0.02	c 50             179            12908          8478           56             28             20   20   18   
0.00/0.02	c 60             213            15193          10453          56             33             21   21   19   
0.00/0.02	c 70             247            17526          12501          56             39             21   21   19   
0.00/0.02	c 80             296            20248          13695          56             49             14   24   20   
0.00/0.02	c 90             328            22681          15505          56             59             23   23   20   
0.00/0.02	c 100            362            25141          17503          56             67             23   24   21   
0.00/0.02	c 101            386            26573          18418          56             68             24   24   12   
0.00/0.03	c 110            420            28443          19725          56             71             24   24   21   
0.00/0.03	c 120            459            30656          21059          56             75             24   25   22   
0.00/0.03	c 130            494            32608          22505          56             80             22   22   20   
0.00/0.03	c 140            530            34852          24067          56             86             21   21   19   
0.00/0.03	c 150            565            37028          25595          56             91             22   22   20   
0.00/0.03	c 160            606            39730          27317          56             101            22   23   20   
0.00/0.03	c 170            645            42348          28926          56             106            21   24   21   
0.00/0.03	c 180            689            44606          29918          56             116            21   24   21   
0.00/0.03	c 190            730            46795          31343          56             121            24   26   22   
0.00/0.03	c 200            775            49903          33744          56             128            18   25   20   
0.00/0.03	c 210            813            52009          35032          56             134            23   25   22   
0.00/0.03	c 211            839            53399          35793          56             135            26   26   13   
0.00/0.03	c 220            878            55599          37047          56             141            25   26   22   
0.00/0.03	c 230            920            58117          38532          56             151            24   24   21   
0.00/0.04	c 240            965            60882          40206          56             161            25   25   22   
0.00/0.04	c 250            999            63027          42145          56             165            22   22   20   
0.00/0.04	c 260            1039           65480          43345          56             167            24   28   24   
0.00/0.04	c 270            1075           67842          45199          56             172            23   23   20   
0.00/0.04	c 280            1119           70229          46479          56             175            21   24   21   
0.00/0.04	c 290            1154           72744          48310          56             180            22   22   20   
0.00/0.04	c 300            1200           75163          49421          56             184            26   26   23   
0.00/0.04	c 310            1235           77164          50842          56             188            23   23   20   
0.00/0.04	c 320            1277           79918          52770          56             198            18   26   20   
0.00/0.04	c 330            1307           82350          54967          56             208            21   21   19   
0.00/0.04	c 332            1329           83679          55871          56             209            21   21   14   
0.00/0.04	c 340            1369           86368          57338          56             217            21   24   19   
0.00/0.04	c 350            1408           89628          59900          56             222            18   22   17   
0.00/0.04	c 360            1445           91581          60831          56             232            26   28   23   
0.00/0.05	c 370            1490           94664          62771          56             242            24   25   22   
0.00/0.05	c 380            1532           97175          64224          56             247            18   24   19   
0.00/0.05	c 390            1575           99364          65229          56             257            23   24   21   
0.00/0.05	c 400            1615           102772         67514          56             261            20   24   20   
0.00/0.05	c 410            1650           105102         69122          56             266            22   22   20   
0.00/0.05	c 420            1686           107725         70886          56             271            21   22   19   
0.00/0.05	c 430            1721           110124         72476          56             276            22   22   20   
0.00/0.05	c 440            1758           112953         74212          56             281            22   22   20   
0.00/0.05	c 450            1794           115433         75815          56             286            23   23   20   
0.00/0.05	c 460            1825           117863         77639          56             296            22   22   20   
0.00/0.05	c 465            1852           119811         79078          56             300            17   23   16   
0.00/0.05	c 470            1874           121832         80870          56             305            18   18   15   
0.00/0.05	c 480            1911           124477         82773          56             310            24   24   21   
0.00/0.05	c 490            1942           126880         84551          56             320            22   22   20   
0.00/0.06	c 500            1980           129584         86533          56             325            24   25   22   
0.00/0.06	c 510            2025           132579         88698          56             329            22   26   21   
0.00/0.06	c 520            2079           135284         90221          56             333            24   26   22   
0.00/0.06	c 530            2113           137542         91533          56             343            20   23   18   
0.00/0.06	c 540            2146           139388         92751          56             347            22   22   20   
0.00/0.06	c 550            2188           142021         94809          56             357            23   24   21   
0.00/0.06	c 560            2225           145140         97308          56             361            16   23   18   
0.00/0.06	c 570            2262           147499         99273          56             370            21   25   19   
0.00/0.06	c 580            2302           149650         100700         56             376            18   22   19   
0.00/0.06	c 590            2347           152074         101977         56             384            19   25   20   
0.00/0.06	c 600            2378           154091         103499         56             388            20   20   18   
0.00/0.06	c 610            2417           156308         104937         56             398            20   23   20   
0.00/0.06	c 611            2439           157680         105921         56             400            21   21   10   
0.00/0.06	c 620            2482           159735         107002         56             402            20   26   22   
0.00/0.07	c 630            2515           162118         108555         56             406            21   21   19   
0.00/0.07	c 640            2548           164190         110511         56             411            20   20   18   
0.00/0.07	c 650            2589           167590         113030         56             415            18   23   18   
0.00/0.07	c 660            2626           169839         114467         56             420            23   23   20   
0.00/0.07	c 670            2660           171903         115853         56             423            21   22   19   
0.00/0.07	c 680            2691           173946         117347         56             427            20   20   18   
0.00/0.07	c 690            2742           176864         118887         56             434            24   26   22   
0.00/0.07	c 700            2781           179389         120574         56             438            23   23   20   
0.00/0.07	c 710            2814           181652         122900         56             441            18   18   16   
0.00/0.07	c 720            2877           184939         124305         56             445            24   31   26   
0.00/0.07	c 730            2925           188600         127168         56             453            23   26   21   
0.00/0.07	c 740            2955           190663         128445         56             463            19   21   17   
0.00/0.07	c 750            2988           192997         130608         56             467            17   17   15   
0.00/0.07	c 760            3028           195757         132469         56             476            21   24   20   
0.00/0.07	c 770            3070           198797         134409         56             484            21   23   19   
0.00/0.07	c 771            3090           199999         135178         56             485            20   20   10   
0.00/0.08	c 780            3131           202878         138000         56             488            17   22   17   
0.00/0.08	c 790            3168           206288         140989         56             493            19   24   18   
0.00/0.08	c 800            3213           210138         143975         56             500            21   21   19   
0.00/0.08	c 810            3275           213352         146508         56             504            18   27   21   
0.00/0.08	c 820            3314           216111         148344         56             510            19   23   19   
0.00/0.08	c 830            3341           218670         150816         56             520            18   18   16   
0.00/0.08	c 840            3389           221823         153232         56             526            19   26   20   
0.00/0.08	c 850            3431           225216         155297         56             536            21   23   19   
0.00/0.08	c 860            3460           226954         156267         56             546            20   20   18   
0.00/0.08	c 870            3506           230228         158709         56             552            22   23   20   
0.00/0.08	c 880            3548           232729         160408         56             555            25   25   22   
0.00/0.08	c 890            3587           235507         162306         56             561            19   23   19   
0.00/0.08	c 900            3614           238019         164451         56             571            18   18   16   
0.00/0.09	c 910            3660           240760         166184         56             578            22   27   21   
0.00/0.09	c 920            3687           243835         169203         56             588            18   18   16   
0.00/0.09	c 930            3722           246099         170784         56             598            22   26   20   
0.00/0.09	c 940            3767           249356         172980         56             603            22   22   20   
0.00/0.09	c 947            3799           251268         174188         56             607            22   25   20   
0.00/0.09	c 950            3826           253054         175279         56             609            22   22   16   
0.00/0.09	c 960            3862           255847         177777         56             617            19   24   18   
0.00/0.09	c 970            3896           258385         179018         56             627            25   25   22   
0.00/0.09	c 980            3936           261414         181294         56             637            22   22   20   
0.00/0.09	c 990            3975           263673         182853         56             641            20   26   22   
0.00/0.09	c 1000           4014           266758         185504         56             651            21   21   19   
0.00/0.09	c 1010           4063           269434         187152         56             658            16   27   19   
0.00/0.09	c 1020           4090           272515         190023         56             668            18   18   16   
0.00/0.09	c 1030           4139           275103         191272         56             674            22   25   21   
0.00/0.09	c 1040           4184           277879         193216         56             677            15   24   19   
0.00/0.09	c 1050           4241           281311         195733         56             681            15   23   18   
0.09/0.10	c 1060           4266           284504         199314         56             691            16   16   14   
0.09/0.10	c 1070           4323           287491         200914         56             695            21   27   21   
0.09/0.10	c 1080           4367           291230         203622         56             700            21   21   19   
0.09/0.10	c 1090           4415           294148         205728         56             708            20   26   20   
0.09/0.10	c 1100           4461           297629         207893         56             718            21   24   19   
0.09/0.10	c 1110           4486           300771         211164         56             728            16   16   14   
0.09/0.10	c 1120           4540           304123         213421         56             733            23   28   22   
0.09/0.10	c 1130           4579           306537         215027         56             737            25   25   22   
0.09/0.10	c 1140           4624           310114         217527         56             744            19   23   18   
0.09/0.10	c 1141           4646           311397         218384         56             745            22   22   11   
0.09/0.10	c 1150           4689           313882         219852         56             748            20   24   20   
0.09/0.10	c 1160           4724           318545         224060         56             758            17   18   16   
0.09/0.10	c 1170           4768           321216         225713         56             760            16   24   19   
0.09/0.10	c 1180           4824           324933         228309         56             765            19   23   18   
0.09/0.11	c 1190           4874           328702         231184         56             772            18   26   18   
0.09/0.11	c 1200           4934           332054         233717         56             778            21   26   22   
0.09/0.11	c 1210           4966           335589         237154         56             783            19   19   17   
0.09/0.11	c 1220           5013           338006         238547         56             789            23   27   22   
0.09/0.11	c 1230           5057           340486         240065         56             793            20   24   20   
0.09/0.11	c 1240           5093           345310         244344         56             803            18   18   16   
0.09/0.11	c 1250           5140           347951         245899         56             809            16   25   20   
0.09/0.11	c 1260           5182           352357         249680         56             812            18   26   17   
0.09/0.11	c 1270           5229           354770         250859         56             822            22   26   22   
0.09/0.11	c 1280           5275           357747         252884         56             826            18   24   18   
0.09/0.11	c 1290           5328           360450         254585         56             832            22   25   21   
0.09/0.11	c 1300           5375           363227         256390         56             834            19   24   19   
0.09/0.11	c 1310           5422           367154         259007         56             843            20   24   19   
0.09/0.11	c 1320           5469           370383         261719         56             849            17   24   18   
0.09/0.12	c 1330           5500           373968         265162         56             854            18   18   16   
0.09/0.12	c 1340           5543           377970         267635         56             864            20   23   19   
0.09/0.12	c 1350           5616           382124         270408         56             867            17   26   20   
0.09/0.12	c 1352           5635           383570         271539         56             868            18   18   12   
0.09/0.12	c 1360           5675           386979         273739         56             876            20   23   19   
0.09/0.12	c 1370           5732           391083         276287         56             883            20   26   19   
0.09/0.12	c 1380           5763           394631         279681         56             888            18   18   16   
0.09/0.12	c 1390           5809           398738         282376         56             898            20   23   19   
0.09/0.12	c 1400           5867           402902         284930         56             905            21   26   20   
0.09/0.12	c 1410           5898           406431         288310         56             910            18   18   16   
0.09/0.12	c 1420           5941           410433         290762         56             920            20   23   19   
0.09/0.12	c 1430           5998           414323         293508         56             925            19   26   19   
0.09/0.12	c 1440           6045           417100         295315         56             927            19   24   19   
0.09/0.13	c 1450           6103           420712         297744         56             930            20   25   20   
0.09/0.13	c 1460           6138           424209         301217         56             935            19   22   17   
0.09/0.13	c 1470           6191           427338         303342         56             938            20   24   20   
0.09/0.13	c 1480           6245           430142         304740         56             941            25   28   24   
0.09/0.13	c 1490           6284           432382         306143         56             946            26   26   23   
0.09/0.13	c 1500           6339           435170         307769         56             956            22   25   21   
0.09/0.13	c 1510           6386           437949         309579         56             958            19   24   19   
0.09/0.13	c 1520           6434           441773         312125         56             967            20   24   19   
0.09/0.13	c 1530           6484           445332         314454         56             974            20   26   19   
0.09/0.13	c 1540           6531           448112         316292         56             976            19   24   19   
0.09/0.13	c 1550           6590           451800         318659         56             979            20   25   20   
0.09/0.13	c 1560           6627           455387         322452         56             988            19   20   18   
0.09/0.13	c 1570           6674           458167         324267         56             990            19   24   19   
0.09/0.13	c 1580           6735           461848         326666         56             992            20   25   20   
0.09/0.13	c 1585           6759           464061         328776         56             995            18   18   15   
0.09/0.14	c 1590           6795           465811         329753         56             1000           27   28   22   
0.09/0.14	c 1600           6831           471029         334202         56             1010           18   18   16   
0.09/0.14	c 1610           6878           473817         336071         56             1012           19   24   19   
0.09/0.14	c 1620           6935           476709         337900         56             1014           20   24   20   
0.09/0.14	c 1630           6972           480263         341540         56             1021           18   21   16   
0.09/0.14	c 1640           7019           483042         343336         56             1023           19   24   19   
0.09/0.14	c 1650           7066           487032         345820         56             1033           21   24   19   
0.09/0.14	c 1660           7115           490510         348162         56             1040           19   26   19   
0.09/0.14	c 1670           7161           493238         349979         56             1042           18   24   19   
0.09/0.14	c 1680           7220           496939         352363         56             1045           20   25   20   
0.09/0.14	c 1690           7257           500589         356231         56             1055           19   19   17   
0.09/0.14	c 1700           7304           503370         358033         56             1057           19   24   19   
0.09/0.14	c 1710           7365           507066         360463         56             1059           20   25   20   
0.09/0.14	c 1720           7402           510583         364272         56             1069           19   19   17   
0.09/0.14	c 1730           7449           513367         366078         56             1071           19   24   19   
0.09/0.15	c 1740           7505           516191         367744         56             1073           20   24   20   
0.09/0.15	c 1750           7543           518993         370359         56             1076           18   21   17   
0.09/0.15	c 1760           7583           522802         372828         56             1086           18   21   17   
0.09/0.15	c 1770           7633           526340         375210         56             1093           20   26   19   
0.09/0.15	c 1780           7680           529123         377018         56             1095           19   24   19   
0.09/0.15	c 1790           7726           533088         379501         56             1105           21   24   19   
0.09/0.15	c 1800           7776           536624         381827         56             1112           20   26   19   
0.09/0.15	c 1810           7823           539412         383689         56             1114           19   24   19   
0.09/0.15	c 1820           7881           543236         386169         56             1119           20   25   20   
0.09/0.15	c 1830           7930           546685         388493         56             1126           19   26   19   
0.09/0.15	c 1840           7977           549561         390502         56             1129           19   24   19   
0.09/0.15	c 1841           7997           551012         391425         56             1130           20   20   10   
0.09/0.15	c 1850           8027           553599         393359         56             1138           18   21   16   
0.09/0.15	c 1860           8073           556517         395553         56             1142           18   24   18   
0.09/0.15	c 1870           8120           560483         398144         56             1151           20   24   19   
0.09/0.15	c 1880           8169           563932         400458         56             1158           19   26   19   
0.09/0.16	c 1890           8215           566844         402622         56             1162           18   24   18   
0.09/0.16	c 1900           8258           570867         405121         56             1172           20   23   19   
0.09/0.16	c 1910           8307           574316         407417         56             1179           19   26   19   
0.09/0.16	c 1920           8353           577140         409436         56             1182           18   24   19   
0.09/0.16	c 1930           8412           580848         411826         56             1185           20   25   20   
0.09/0.16	c 1940           8449           583130         413584         56             1189           21   21   19   
0.09/0.16	c 1950           8490           586976         416131         56             1199           19   22   18   
0.09/0.16	c 1960           8540           590481         418421         56             1206           20   26   19   
0.09/0.16	c 1970           8587           593285         420324         56             1208           19   24   19   
0.09/0.16	c 1980           8648           597008         422727         56             1211           20   25   20   
0.09/0.16	c 1990           8686           599317         424360         56             1214           21   21   19   
0.09/0.16	c 2000           8726           603160         426870         56             1224           18   21   17   
0.09/0.16	c 2010           8775           606583         429172         56             1231           19   26   19   
0.09/0.16	c 2020           8821           609311         430946         56             1233           18   24   19   
0.09/0.16	c 2030           8879           612901         433304         56             1237           20   25   20   
0.09/0.16	c 2040           8915           614996         434721         56             1240           22   22   20   
0.09/0.17	c 2050           8954           618274         436745         56             1250           24   27   22   
0.09/0.17	c 2060           8986           620363         438097         56             1260           20   23   18   
0.09/0.17	c 2070           9017           622652         439708         56             1270           22   22   20   
0.09/0.17	c 2080           9047           625363         441865         56             1280           21   21   19   
0.09/0.17	c 2090           9087           629135         445688         56             1290           21   22   19   
0.09/0.17	c 2100           9126           631230         446763         56             1300           21   21   19   
0.09/0.17	c 2110           9162           633501         448282         56             1306           20   23   18   
0.09/0.17	c 2120           9193           635730         449514         56             1316           22   22   20   
0.09/0.17	c 2122           9215           637214         450567         56             1318           21   21   14   
0.09/0.17	c 2130           9244           639246         451869         56             1325           18   22   16   
0.09/0.17	c 2140           9273           641896         454024         56             1335           20   20   18   
0.09/0.17	c 2150           9306           644113         455577         56             1345           19   22   17   
0.09/0.17	c 2160           9343           646279         456896         56             1348           22   24   21   
0.09/0.17	c 2170           9374           648336         458201         56             1358           19   22   17   
0.09/0.17	c 2180           9404           650779         460014         56             1368           21   21   19   
0.09/0.17	c 2190           9459           654025         462250         56             1373           19   23   19   
0.09/0.17	c 2200           9490           656621         464133         56             1384           21   21   19   
0.09/0.17	c 2210           9521           658871         465552         56             1393           18   22   16   
0.09/0.17	c 2220           9564           662097         468431         56             1397           19   22   18   
0.09/0.17	c 2230           9604           665778         472332         56             1407           21   22   19   
0.09/0.18	c 2240           9644           668242         474330         56             1415           21   21   19   
0.09/0.18	c 2250           9679           670463         475639         56             1421           19   22   17   
0.09/0.18	c 2260           9712           673050         477585         56             1432           23   23   20   
0.09/0.18	c 2270           9751           675616         479240         56             1441           19   23   18   
0.09/0.18	c 2280           9781           678067         481103         56             1451           21   21   19   
0.09/0.18	c 2290           9815           680799         482897         56             1461           18   22   17   
0.09/0.18	c 2300           9845           683252         484630         56             1471           21   21   19   
0.09/0.18	c 2310           9875           685702         485946         56             1481           21   21   19   
0.09/0.18	c 2320           9909           687888         487471         56             1488           21   23   20   
0.09/0.18	c 2330           9966           690688         489038         56             1497           23   28   24   
0.09/0.18	c 2340           10024          693493         490822         56             1506           23   26   22   
0.09/0.18	c 2350           10060          695985         492468         56             1511           19   23   18   
0.09/0.18	c 2360           10101          698184         493885         56             1516           24   25   22   
0.09/0.18	c 2370           10138          701745         496591         56             1523           21   24   20   
0.09/0.18	c 2380           10192          704548         498371         56             1530           22   25   21   
0.09/0.18	c 2390           10230          706773         499840         56             1539           20   24   19   
0.09/0.18	c 2400           10264          709256         501113         56             1548           20   22   18   
0.09/0.18	c 2410           10330          712981         502848         56             1558           26   30   26   
0.09/0.18	c 2420           10366          715179         504017         56             1559           21   25   19   
0.09/0.18	c 2430           10401          717469         505432         56             1564           19   22   17   
0.09/0.18	c 2431           10422          718821         506322         56             1565           21   21   10   
0.09/0.19	c 2440           10459          721239         507890         56             1573           19   23   18   
0.09/0.19	c 2450           10495          723177         509249         56             1578           23   23   20   
0.09/0.19	c 2460           10546          725971         511129         56             1584           22   25   21   
0.09/0.19	c 2470           10578          728075         512666         56             1595           19   22   17   
0.09/0.19	c 2480           10608          730527         514521         56             1605           21   21   19   
0.09/0.19	c 2490           10654          733600         516680         56             1609           19   23   18   
0.09/0.19	c 2500           10684          736059         518429         56             1619           21   21   19   
0.09/0.19	c 2510           10720          739241         520154         56             1628           20   22   18   
0.09/0.19	c 2520           10751          741245         521429         56             1638           19   22   17   
0.09/0.19	c 2530           10786          743365         522825         56             1645           21   23   20   
0.09/0.19	c 2540           10822          746789         525209         56             1653           21   24   20   
0.09/0.19	c 2550           10872          749532         527165         56             1659           21   24   20   
0.09/0.19	c 2560           10903          751550         528538         56             1669           19   22   17   
0.09/0.19	c 2570           10940          753538         529874         56             1675           23   23   20   
0.09/0.19	c 2580           10972          755387         530895         56             1685           21   23   19   
0.09/0.19	c 2590           11008          758532         532572         56             1694           20   22   18   
0.09/0.19	c 2600           11042          761292         534348         56             1704           18   22   17   
0.09/0.19	c 2610           11079          763285         535688         56             1710           23   23   20   
0.09/0.19	c 2620           11129          765835         536785         56             1720           32   32   29   
0.09/0.19	c 2630           11166          767993         538215         56             1730           21   23   19   
0.09/0.19	c 2640           11197          769995         539608         56             1740           19   22   17   
0.09/0.19	c 2650           11234          771961         540930         56             1746           23   23   20   
0.09/0.19	c 2660           11269          774271         542115         56             1756           23   26   21   
0.09/0.19	c 2670           11302          776457         543678         56             1767           23   23   20   
0.09/0.20	c 2680           11337          778647         545105         56             1777           18   22   17   
0.09/0.20	c 2690           11374          780690         546432         56             1783           23   23   20   
0.19/0.20	c 2700           11413          785113         550162         56             1794           20   20   18   
0.19/0.20	c 2710           11449          788281         551816         56             1803           20   22   18   
0.19/0.20	c 2720           11479          790761         553132         56             1813           21   21   19   
0.19/0.20	c 2730           11514          793347         554948         56             1820           22   23   20   
0.19/0.20	c 2740           11550          795619         556397         56             1825           19   22   17   
0.19/0.20	c 2750           11580          798067         558235         56             1835           21   21   19   
0.19/0.20	c 2760           11616          801217         559905         56             1844           20   22   18   
0.19/0.20	c 2770           11649          803706         561164         56             1852           20   22   18   
0.19/0.20	c 2771           11670          805067         562040         56             1853           21   21   10   
0.19/0.20	c 2780           11702          807213         563551         56             1855           19   19   17   
0.19/0.20	c 2790           11755          809701         564806         56             1860           21   28   24   
0.19/0.20	c 2800           11791          811799         566228         56             1870           20   22   18   
0.19/0.20	c 2810           11827          814093         567644         56             1876           19   22   17   
0.19/0.20	c 2820           11857          816549         569369         56             1886           21   21   19   
0.19/0.20	c 2830           11907          819487         571006         56             1890           19   22   18   
0.19/0.20	c 2840           11953          822038         572107         56             1900           27   28   25   
0.19/0.20	c 2850           11994          825091         574481         56             1906           21   23   19   
0.19/0.20	c 2860           12034          827200         575502         56             1916           23   25   22   
0.19/0.20	c 2870           12064          829998         577614         56             1926           21   21   19   
0.19/0.20	c 2880           12096          832206         579142         56             1931           19   19   17   
0.19/0.20	c 2890           12135          835027         580996         56             1935           20   23   20   
0.19/0.20	c 2900           12174          838239         583346         56             1945           21   23   20   
0.19/0.21	c 2910           12202          839888         584246         56             1955           19   19   17   
0.19/0.21	c 2920           12236          842315         585856         56             1960           19   20   18   
0.19/0.21	c 2930           12266          844070         586843         56             1970           19   21   17   
0.19/0.21	c 2940           12309          846357         587917         56             1980           25   25   22   
0.19/0.21	c 2950           12350          849656         590321         56             1990           23   23   20   
0.19/0.21	c 2960           12388          854810         594461         56             2000           20   20   18   
0.19/0.21	c 2970           12429          857072         595820         56             2002           21   24   20   
0.19/0.21	c 2980           12481          859715         597161         56             2004           23   26   22   
0.19/0.21	c 2990           12514          862506         599342         56             2012           19   22   18   
0.19/0.21	c 3000           12550          865955         601427         56             2020           20   20   18   
0.19/0.21	c 3010           12597          868999         603222         56             2021           23   23   20   
0.19/0.21	c 3020           12632          871745         604903         56             2027           19   22   17   
0.19/0.21	c 3030           12666          874092         606450         56             2033           21   23   20   
0.19/0.21	c 3040           12702          877490         609188         56             2040           20   21   18   
0.19/0.21	c 3050           12737          880115         610897         56             2044           18   22   17   
0.19/0.21	c 3060           12783          882641         611947         56             2045           28   28   25   
0.19/0.21	c 3070           12814          885159         613514         56             2054           18   22   17   
0.19/0.21	c 3080           12843          887648         615484         56             2064           18   20   18   
0.19/0.21	c 3090           12877          889982         617087         56             2070           20   20   18   
0.19/0.21	c 3100           12926          893118         618649         56             2075           23   30   22   
0.19/0.21	c 3110           12954          894765         619545         56             2085           19   19   17   
0.19/0.21	c 3120           12992          898706         621921         56             2087           20   20   18   
0.19/0.22	c 3130           13027          900916         623309         56             2092           22   22   20   
0.19/0.22	c 3140           13062          903788         625411         56             2100           20   23   20   
0.19/0.22	c 3142           13083          905200         626390         56             2101           20   20   13   
0.19/0.22	c 3150           13119          908071         628412         56             2106           19   23   19   
0.19/0.22	c 3160           13152          910435         630021         56             2111           20   20   18   
0.19/0.22	c 3170           13186          913062         632147         56             2116           21   21   19   
0.19/0.22	c 3180           13221          915284         633555         56             2121           22   22   20   
0.19/0.22	c 3190           13256          918155         635699         56             2129           20   23   20   
0.19/0.22	c 3200           13289          920493         637253         56             2134           20   20   18   
0.19/0.22	c 3210           13322          922929         639346         56             2139           20   20   18   
0.19/0.22	c 3220           13355          925257         640970         56             2144           20   20   18   
0.19/0.22	c 3230           13389          927806         643052         56             2149           21   21   19   
0.19/0.22	c 3240           13424          930011         644480         56             2154           22   22   20   
0.19/0.22	c 3250           13459          932872         646565         56             2162           20   23   20   
0.19/0.22	c 3260           13493          935256         648156         56             2166           20   20   18   
0.19/0.22	c 3270           13529          937491         649570         56             2168           22   22   20   
0.19/0.22	c 3280           13559          939241         650551         56             2178           19   21   17   
0.19/0.22	c 3290           13621          941832         651659         56             2181           28   28   25   
0.19/0.22	c 3300           13663          944364         652816         56             2186           21   26   21   
0.19/0.22	c 3310           13712          946873         653958         56             2191           21   28   24   
0.19/0.22	c 3320           13739          948462         654804         56             2201           18   18   16   
0.19/0.22	c 3330           13777          952851         657284         56             2211           20   20   18   
0.19/0.22	c 3340           13812          955879         659522         56             2220           21   25   19   
0.19/0.22	c 3350           13845          958669         661692         56             2228           19   22   18   
0.19/0.23	c 3360           13881          961920         663703         56             2236           20   20   18   
0.19/0.23	c 3370           13918          964700         665779         56             2243           21   24   20   
0.19/0.23	c 3380           13951          967484         667874         56             2251           19   22   18   
0.19/0.23	c 3390           13988          970657         669845         56             2255           20   20   18   
0.19/0.23	c 3400           14022          973285         671907         56             2260           21   21   19   
0.19/0.23	c 3410           14057          975554         673345         56             2265           22   22   20   
0.19/0.23	c 3420           14091          978362         675418         56             2273           20   23   19   
0.19/0.23	c 3430           14124          980820         677027         56             2278           20   20   18   
0.19/0.23	c 3440           14157          983260         679121         56             2283           20   20   18   
0.19/0.23	c 3450           14190          985702         680750         56             2288           20   20   18   
0.19/0.23	c 3460           14224          988314         682822         56             2293           21   21   19   
0.19/0.23	c 3470           14259          990556         684205         56             2298           22   22   20   
0.19/0.23	c 3480           14294          993436         686311         56             2306           20   23   20   
0.19/0.23	c 3490           14327          995859         687936         56             2307           20   20   18   
0.19/0.23	c 3500           14360          998277         689983         56             2312           20   20   18   
0.19/0.23	c 3510           14393          1000618        691621         56             2317           20   20   18   
0.19/0.23	c 3520           14433          1002979        693316         56             2321           23   24   21   
0.19/0.23	c 3530           14466          1005758        695442         56             2329           19   22   18   
0.19/0.23	c 3540           14499          1008108        697075         56             2334           20   20   18   
0.19/0.23	c 3550           14540          1010409        698539         56             2337           24   24   21   
0.19/0.23	c 3551           14559          1011765        699468         56             2338           19   19   9    
0.19/0.23	c 3560           14602          1014143        700898         56             2342           24   26   23   
0.19/0.23	c 3570           14638          1016911        702949         56             2349           21   24   20   
0.19/0.24	c 3580           14672          1019479        704542         56             2358           21   22   19   
0.19/0.24	c 3590           14705          1021807        706145         56             2363           20   20   18   
0.19/0.24	c 3600           14738          1024233        708203         56             2368           20   20   18   
0.19/0.24	c 3610           14773          1026609        709834         56             2371           20   20   18   
0.19/0.24	c 3620           14812          1028786        711191         56             2374           24   24   21   
0.19/0.24	c 3630           14845          1031295        712786         56             2380           18   20   18   
0.19/0.24	c 3640           14883          1033471        714127         56             2390           19   25   19   
0.19/0.24	c 3650           14918          1035699        715531         56             2395           22   22   20   
0.19/0.24	c 3660           14953          1038565        717605         56             2403           20   23   20   
0.19/0.24	c 3670           14986          1040898        719271         56             2408           20   20   18   
0.19/0.24	c 3680           15025          1043888        721668         56             2414           20   24   18   
0.19/0.24	c 3690           15058          1046667        723782         56             2422           19   22   18   
0.19/0.24	c 3700           15091          1048981        725443         56             2427           20   20   18   
0.19/0.24	c 3710           15137          1052953        728352         56             2437           23   24   21   
0.19/0.24	c 3720           15171          1055762        730425         56             2445           20   23   19   
0.19/0.24	c 3730           15204          1058060        732107         56             2446           20   20   18   
0.19/0.24	c 3740           15243          1060288        733620         56             2449           24   24   21   
0.19/0.24	c 3750           15277          1063136        735730         56             2457           19   22   19   
0.19/0.24	c 3760           15310          1065441        737352         56             2462           20   20   18   
0.19/0.24	c 3770           15349          1067649        738750         56             2465           24   24   21   
0.19/0.24	c 3780           15384          1070074        740222         56             2471           20   21   19   
0.19/0.24	c 3790           15425          1072466        741199         56             2477           28   30   26   
0.19/0.24	c 3800           15461          1074738        742667         56             2480           22   22   20   
0.19/0.25	c 3810           15501          1077601        744726         56             2486           19   23   19   
0.19/0.25	c 3820           15534          1079870        746322         56             2491           20   20   18   
0.19/0.25	c 3830           15581          1083602        748880         56             2497           24   24   21   
0.19/0.25	c 3840           15615          1086418        750954         56             2505           20   23   19   
0.19/0.25	c 3850           15648          1088684        752566         56             2510           20   20   18   
0.19/0.25	c 3860           15687          1090875        753933         56             2513           24   24   21   
0.19/0.25	c 3870           15720          1093615        755870         56             2518           20   20   18   
0.19/0.25	c 3880           15755          1096069        757511         56             2523           20   20   18   
0.19/0.25	c 3890           15790          1098365        758986         56             2528           22   22   20   
0.19/0.25	c 3900           15824          1101191        761092         56             2536           20   23   19   
0.19/0.25	c 3910           15857          1103485        762624         56             2541           20   20   18   
0.19/0.25	c 3920           15905          1107276        765144         56             2543           24   24   21   
0.19/0.25	c 3930           15938          1110039        767205         56             2551           19   22   18   
0.19/0.25	c 3940           15971          1112321        768780         56             2556           20   20   18   
0.19/0.25	c 3950           16019          1116052        771224         56             2557           24   24   21   
0.19/0.25	c 3960           16052          1118621        773136         56             2562           20   20   18   
0.19/0.25	c 3970           16085          1120867        774656         56             2567           20   20   18   
0.19/0.25	c 3980           16130          1124485        777070         56             2571           24   24   21   
0.19/0.25	c 3990           16163          1127253        779133         56             2579           19   22   18   
0.19/0.25	c 4000           16197          1129594        780729         56             2583           20   20   18   
0.19/0.25	c 4001           16219          1130932        781528         56             2584           22   22   11   
0.19/0.25	c 4010           16259          1133270        782635         56             2588           22   26   21   
0.19/0.25	c 4020           16292          1135716        784560         56             2593           20   20   18   
0.19/0.26	c 4030           16325          1138033        786115         56             2598           20   20   18   
0.19/0.26	c 4040           16364          1140247        787603         56             2601           24   24   21   
0.19/0.26	c 4050           16397          1143017        789687         56             2609           19   22   18   
0.19/0.26	c 4060           16430          1145313        791237         56             2614           20   20   18   
0.19/0.26	c 4070           16478          1149112        793742         56             2616           24   24   21   
0.19/0.26	c 4080           16512          1151942        795826         56             2624           19   22   19   
0.19/0.26	c 4090           16545          1154219        797371         56             2629           20   20   18   
0.19/0.26	c 4100           16590          1157859        799800         56             2635           24   24   21   
0.19/0.26	c 4110           16624          1160651        801845         56             2643           19   22   19   
0.19/0.26	c 4120           16659          1163078        803457         56             2647           20   20   18   
0.19/0.26	c 4130           16705          1166760        805874         56             2652           24   24   21   
0.19/0.26	c 4140           16738          1169263        807778         56             2658           20   20   18   
0.19/0.26	c 4150           16781          1171817        809148         56             2663           20   25   21   
0.19/0.26	c 4160           16817          1174096        810514         56             2669           22   22   20   
0.19/0.26	c 4170           16864          1176760        811908         56             2672           23   24   21   
0.19/0.26	c 4180           16914          1179294        813188         56             2682           18   31   22   
0.19/0.26	c 4190           16948          1182083        815258         56             2690           20   23   19   
0.19/0.26	c 4200           16981          1184391        816788         56             2695           20   20   18   
0.19/0.26	c 4210           17025          1188033        819298         56             2697           24   24   21   
0.19/0.26	c 4220           17058          1190799        821330         56             2705           19   22   18   
0.19/0.26	c 4230           17091          1193095        822905         56             2710           20   20   18   
0.19/0.26	c 4240           17136          1196760        825378         56             2715           24   24   21   
0.19/0.27	c 4250           17169          1199496        827399         56             2723           19   22   18   
0.19/0.27	c 4260           17202          1201770        828969         56             2724           20   20   18   
0.19/0.27	c 4270           17247          1205413        831395         56             2728           24   24   21   
0.19/0.27	c 4280           17275          1207538        832648         56             2738           19   19   17   
0.19/0.27	c 4290           17304          1209324        833595         56             2748           18   20   16   
0.19/0.27	c 4300           17350          1212095        835087         56             2751           23   24   21   
0.19/0.27	c 4310           17395          1214739        836630         56             2757           18   26   20   
0.19/0.27	c 4320           17431          1216992        837988         56             2763           22   22   20   
0.19/0.27	c 4330           17477          1219791        839475         56             2766           23   24   21   
0.19/0.27	c 4340           17544          1223361        841781         56             2770           19   26   22   
0.19/0.27	c 4350           17582          1226874        844464         56             2780           21   24   20   
0.19/0.27	c 4360           17626          1229410        845945         56             2785           20   23   20   
0.19/0.27	c 4370           17654          1231719        847178         56             2795           19   19   17   
0.19/0.27	c 4380           17700          1234397        848664         56             2802           22   23   20   
0.19/0.27	c 4390           17733          1237170        850566         56             2807           19   21   18   
0.19/0.27	c 4400           17766          1239551        852180         56             2812           20   20   18   
0.19/0.27	c 4410           17804          1241697        853574         56             2814           24   24   21   
0.19/0.27	c 4420           17832          1243823        854827         56             2824           19   19   17   
0.19/0.27	c 4430           17865          1246207        856380         56             2829           20   20   18   
0.19/0.27	c 4440           17910          1248774        857728         56             2834           22   23   20   
0.19/0.27	c 4450           17938          1251089        858946         56             2844           19   19   17   
0.19/0.27	c 4460           17985          1253644        860166         56             2849           23   23   20   
0.19/0.27	c 4470           18018          1256419        862067         56             2854           19   21   18   
0.19/0.27	c 4480           18051          1258761        863628         56             2859           20   20   18   
0.19/0.28	c 4490           18089          1261034        864940         56             2864           25   25   22   
0.19/0.28	c 4493           18115          1262730        866158         56             2867           24   24   18   
0.19/0.28	c 4500           18145          1264891        867569         56             2874           22   23   19   
0.19/0.28	c 4510           18178          1267414        869376         56             2882           23   23   20   
0.19/0.28	c 4520           18210          1269681        870638         56             2892           23   23   20   
0.19/0.28	c 4530           18240          1272034        872339         56             2902           21   21   19   
0.19/0.28	c 4540           18272          1274343        873448         56             2912           23   23   20   
0.19/0.28	c 4550           18304          1276772        874933         56             2922           23   23   20   
0.19/0.28	c 4560           18347          1279220        876502         56             2926           25   25   22   
0.19/0.28	c 4570           18380          1281693        878135         56             2936           24   24   21   
0.19/0.28	c 4580           18420          1284074        879488         56             2941           25   25   22   
0.19/0.28	c 4590           18450          1286443        880861         56             2951           21   21   19   
0.19/0.28	c 4600           18490          1288892        882181         56             2956           24   25   22   
0.19/0.28	c 4610           18526          1291483        883912         56             2962           21   23   20   
0.19/0.28	c 4620           18558          1293885        885686         56             2972           23   23   20   
0.19/0.28	conflict 21lvl : 22 bt22-953:0(839)X152826
0.19/0.28	c 4630           18597          1296064        887037         56             2978           25   25   22   
0.19/0.28	c 4640           18631          1298397        888195         56             2980           23   25   21   
0.19/0.28	c 4650           18672          1301008        889664         56             2986           24   25   22   
0.19/0.28	c 4660           18708          1303605        891460         56             2991           23   23   20   
0.19/0.28	c 4670           18740          1305981        892800         56             3001           23   23   20   
0.19/0.28	c 4680           18778          1308086        894060         56             3006           24   25   22   
0.19/0.28	c 4690           18815          1310116        895425         56             3011           24   24   21   
0.19/0.28	c 4700           18849          1312392        896709         56             3016           23   25   21   
0.19/0.28	c 4710           18888          1314621        898009         56             3021           24   25   22   
0.19/0.29	c 4720           18925          1316641        899354         56             3026           24   24   21   
0.19/0.29	c 4730           18962          1319251        901413         56             3032           21   23   19   
0.19/0.29	c 4740           19009          1321953        902764         56             3042           26   30   26   
0.19/0.29	c 4750           19053          1324995        904165         56             3053           24   25   21   
0.19/0.29	c 4760           19091          1327510        906082         56             3063           20   21   19   
0.19/0.29	c 4770           19127          1330063        907579         56             3069           20   22   18   
0.19/0.29	c 4780           19175          1332657        908742         56             3079           30   30   27   
0.19/0.29	c 4790           19213          1334769        909984         56             3084           25   25   22   
0.19/0.29	c 4800           19250          1336748        911300         56             3085           24   24   21   
0.19/0.29	c 4810           19285          1339488        913376         56             3091           21   21   19   
0.19/0.29	c 4820           19343          1342487        914557         56             3094           21   26   22   
0.19/0.29	c 4830           19377          1344810        915785         56             3098           23   25   21   
0.19/0.29	c 4840           19415          1346886        916973         56             3103           25   25   22   
0.19/0.29	c 4850           19446          1349390        918832         56             3113           22   22   20   
0.19/0.29	c 4860           19479          1351761        920903         56             3118           20   20   18   
0.19/0.29	c 4870           19512          1354107        922362         56             3122           22   24   20   
0.19/0.29	c 4880           19550          1356182        923573         56             3127           25   25   22   
0.19/0.29	c 4890           19581          1358699        925377         56             3137           22   22   20   
0.19/0.29	c 4900           19614          1361082        927420         56             3142           20   20   18   
0.19/0.29	c 4910           19646          1363493        929055         56             3152           23   23   20   
0.19/0.29	c 4920           19684          1365544        930206         56             3153           25   25   22   
0.19/0.29	c 4930           19719          1367780        931732         56             3160           22   24   21   
0.19/0.29	c 4940           19754          1370448        933750         56             3166           21   21   19   
0.19/0.29	c 4950           19801          1373068        934922         56             3173           26   27   24   
0.19/0.30	c 4960           19833          1375411        936101         56             3183           23   23   20   
0.29/0.30	c 4970           19871          1377526        937322         56             3188           25   25   22   
0.29/0.30	c 4980           19908          1379558        938721         56             3193           24   24   21   
0.29/0.30	c 4990           19943          1382122        940716         56             3199           21   21   19   
0.29/0.30	c 5035           20047          1388553        942640         56             3210           24   32   28   
0.29/0.30	c 5631           20992          1432339        966468         56             3244           22   25   24   
0.29/0.31	c 6286           22039          1482138        995291         56             3284           23   25   24   
0.29/0.32	c 7006           23162          1576181        1056455        56             3301           23   28   26   
0.29/0.32	c 7798           24907          1666391        1084887        56             3332           20   30   26   
0.29/0.33	c 8669           26297          1727175        1127883        56             3351           21   24   23   
0.29/0.34	c 9627           28327          1820067        1161430        56             3384           22   26   25   
0.29/0.35	c 10680          30585          1922516        1197285        56             3410           22   26   25   
0.29/0.36	c 11838          32782          2080751        1305758        56             3438           19   29   23   
0.29/0.37	c 13111          35460          2222327        1364709        56             3458           20   25   24   
0.29/0.39	c 14511          37454          2345082        1461616        56             3484           21   24   22   
0.39/0.40	c 16051          39974          2549061        1537078        56             3501           23   28   27   
0.39/0.42	c 17745          42481          2690959        1637328        56             3517           20   24   22   
0.39/0.44	c 19608          45843          2911085        1751810        56             3571           21   25   23   
0.39/0.46	c 21657          48451          3105565        1901155        56             3609           22   24   23   
0.39/0.48	c 23910          51154          3310023        2005721        56             3634           20   24   21   
0.49/0.50	c 26388          54663          3566309        2165802        56             3670           21   25   22   
0.49/0.54	c 29113          60557          3968482        2470265        56             3716           18   30   24   
0.49/0.56	c 32110          67557          4275512        2562715        56             3758           21   24   23   
0.59/0.60	c 35406          71648          4602966        2814384        56             3795           21   24   22   
0.59/0.63	c 39031          76533          4939860        3076948        56             3824           20   23   22   
0.59/0.68	c 43018          83218          5429153        3471616        56             3888           19   26   22   
0.69/0.71	c 47403          92621          5829474        3608954        56             3923           20   26   22   
0.69/0.79	c 52226          99967          6563884        4131440        56             3965           20   25   22   
0.79/0.83	c 57531          107507         7016833        4413761        56             4018           20   25   22   
0.79/0.88	c 63366          119073         7552001        4653678        56             4047           21   24   22   
0.89/0.93	c 69784          127564         8068056        5019248        56             4096           20   28   22   
0.99/1.00	c 76843          138264         8750520        5528493        56             4123           21   25   23   
0.99/1.05	c 84607          150315         9503675        5782849        56             4165           21   33   28   
1.10/1.13	c 93147          166403         10341386       6256614        56             4208           23   26   24   
1.20/1.22	c 102541         182507         11213248       6842293        56             4222           22   26   24   
1.20/1.29	c 112874         201115         12013377       7202165        56             4247           21   26   24   
1.29/1.34	c 124240         215550         12852654       7351996        56             4283           16   31   29   
1.39/1.44	c 136742         244446         14118784       7750618        56             4326           21   25   24   
1.49/1.57	c 150494         263104         15352475       8774538        56             4386           19   23   22   
1.59/1.69	c 165621         282496         16608017       9559229        56             4447           20   24   22   
1.79/1.85	c 182260         320383         18422146       10340524       56             4487           20   25   23   
1.99/2.00	c 200562         351763         20010897       11304305       56             4513           22   26   24   
2.20/2.23	c 220694         375462         22379332       12795230       56             4560           20   25   22   
2.39/2.48	c 242839         414364         24895929       14560057       56             4608           21   25   23   
2.59/2.69	c 267198         461997         27903621       15330301       56             4647           16   32   27   
2.89/2.93	c 293992         512703         30621308       16570840       56             4676           18   28   23   
3.30/3.39	c 323465         576077         35169266       19161103       56             4712           22   26   24   
3.59/3.64	c 355885         614184         38428821       20438207       56             4773           20   25   22   
3.99/4.02	c 391547         692128         42722110       22436305       56             4801           22   26   25   
4.50/4.51	c 430775         754586         47313945       26538510       56             4850           20   24   22   
4.89/4.92	c 473925         829520         52389235       28824002       56             4882           18   32   27   
5.29/5.38	c 521390         915298         57759874       31095520       56             4908           20   28   24   
5.60/5.66	c 573601         990863         62269614       32161991       56             4959           19   31   27   
6.29/6.32	c 631033         1112252        69015909       36970881       56             4990           20   29   24   
6.70/6.75	c 694208         1217587        73531559       39854392       56             5040           21   27   25   
7.80/7.84	c 763700         1361172        84156018       44699290       56             5057           21   27   25   
8.39/8.44	c 840141         1501779        90947177       48308638       56             5084           22   27   25   
9.69/9.79	c 924226         1702615        104674241      56341233       56             5099           16   31   24   
10.39/10.44	c 1016719        1834806        111663192      60422596       56             5156           20   28   25   
11.19/11.21	c 1118461        2006126        119543955      65453391       56             5202           22   25   24   
12.20/12.27	c 1230377        2209728        130340970      72216276       56             5241           22   25   24   
13.49/13.51	c 1353484        2440856        143249608      79940785       56             5283           21   28   24   
14.69/14.77	c 1488901        2689183        156285144      87862294       56             5335           21   27   24   
17.09/17.18	c 1637859        2985884        180040635      105004335      56             5387           22   27   24   
18.89/18.92	c 1801712        3273302        198245828      114578897      56             5430           22   28   24   
21.39/21.49	c 1981950        3605643        222337501      132577117      56             5480           23   28   24   
22.69/22.75	c 2180211        3912811        235491533      140070927      56             5518           19   26   24   
25.09/25.15	c 2398298        4261279        257420547      153442269      56             5535           22   25   24   
27.28/27.36	c 2638193        4780013        285639073      163151170      56             5574           25   28   27   
30.38/30.49	c 2902077        5149621        318870404      189782610      56             5641           21   27   24   
33.09/33.13	c 3192349        5616056        346418025      206572887      56             5699           19   27   24   
37.18/37.26	c 3511648        6158757        387662541      233644034      56             5759           17   30   23   
41.58/41.65	c 3862876        6774319        433381568      262689436      56             5789           21   26   24   
45.48/45.50	c 4249226        7349500        475340705      291662212      56             5852           20   29   24   
50.48/50.50	c 4674211        8034126        524086557      330273670      56             5916           18   27   23   
56.48/56.53	c 5141694        8998140        586425693      366707784      56             5933           18   30   24   
62.98/63.01	c 5655925        9902151        650032932      405955610      56             5995           18   29   23   
70.28/70.40	c 6221579        10873081       729051615      460361500      56             6060           19   27   24   
76.18/76.21	c 6843798        11829651       782293059      500154109      56             6129           20   27   24   
85.68/85.73	c 7528238        13162617       876430742      565589783      56             6167           21   27   25   
90.78/90.80	c 8281122        14465537       932640902      592703112      56             6226           22   27   25   
98.38/98.45	c 9109294        16037321       1031740003     632840036      56             6266           16   33   28   
108.17/108.24	c 10020283       17136064       1129419831     712700956      56             6313           18   25   22   
113.87/113.92	c 11022370       18740780       1190714009     741529361      56             6387           20   25   24   
129.47/129.58	c 12124665       21174163       1362710072     827435589      56             6440           16   31   24   
138.58/138.62	c 13337189       23349672       1461551533     874544827      56             6512           20   28   24   
148.67/148.73	c 14670965       25442655       1580235220     917444660      56             6560           19   29   24   
160.97/161.06	c 16138118       28598511       1726491901     972033518      56             6620           19   27   25   
175.77/175.87	c 17751986       31050465       1860834096     1061628627     56             6674           21   27   24   
188.47/188.53	c 19527240       33613602       2029194482     1124964481     56             6724           20   32   27   
207.46/207.52	c 21480019       37672892       2266377403     1209167551     56             6802           17   30   24   
243.36/243.41	c 23628075       42242369       2598593972     1364269844     56             6839           21   27   24   
277.85/277.97	c 25990936       46515462       2940333794     1521526077     56             6904           20   27   24   
299.55/299.64	c 28590083       50861216       3246237941     1624072754     56             6926           20   32   27   
355.05/355.14	c 31449144       57324950       3763654924     1871209552     56             6960           21   28   25   
379.94/380.07	c 34594111       62356054       4019803389     1984709818     56             7001           21   27   25   
431.94/432.04	c 38053574       69099128       4498085886     2221006852     56             7044           20   28   24   
478.14/478.24	c 41858983       75115387       5008811326     2421912594     56             7087           19   28   24   
510.54/510.61	c 46044932       81795551       5342970958     2570428639     56             7122           23   26   24   
565.93/566.05	c 50649475       89595181       5840509917     2837019457     56             7149           24   26   24   
624.42/624.57	c 55714472       97375501       6485268073     3097717650     56             7201           19   29   24   
652.52/652.69	c 61285968       105051893      6947617896     3179928663     56             7262           22   31   27   
763.32/763.42	c 67414613       118654566      7970444432     3646809970     56             7313           20   27   25   
835.10/835.20	c 74156122       129419009      8620780165     4002020164     56             7388           21   29   24   
892.99/893.18	c 81571781       141318819      9220576021     4269714324     56             7437           24   26   24   
944.99/945.18	c 89729005       154211804      9972378706     4472349085     56             7498           16   33   28   
1109.47/1109.65	c 98701951       173344490      11464610581    5165587865     56             7565           22   27   25   
1224.56/1224.77	c 108572191      189895938      12605945895    5674766805     56             7626           19   29   25   
1395.34/1395.53	c 119429455      211256725      14217463041    6387907833     56             7658           19   29   25   
1525.02/1525.23	c 131372445      231074799      15496955003    6984285057     56             7710           21   28   25   
1613.91/1614.15	c 144509734      247750196      16667347788    7327168581     56             7799           18   30   24   
1721.00/1721.20	c 158960751      270779493      17839067132    7974888264     56             7863           20   29   24   
1917.28/1917.58	c 174856869      299908755      19922831249    9102484267     56             7897           19   26   25   
2084.27/2084.57	c 192342598      334122297      21769900300    10050013567    56             7960           20   27   25   
2084.37/2084.66	conflict 40lvl : 21 bt20-1347:0(763)X268772
2345.53/2345.87	c 211576899      373200821      24501276179    11586760715    56             8023           21   26   25

Verifier Data 

One s line expected

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-4242449-1500657812/watcher-4242449-1500657812 -o /tmp/evaluation-result-4242449-1500657812/solver-4242449-1500657812 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500648173-9853 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242449-1500657812.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.96 2.00 2.04 3/242 11101
/proc/meminfo: memFree=32018100/32770624 swapFree=5760/192552
[pid=11101] ppid=11098 vsize=27116 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 1056 0 0 0 0 0 0 0 20 0 1 0 1047525 27766784 849 33554432000 4194304 5970956 140735906236960 140735906234760 139909543486726 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 6779 849 743 434 0 143 0

[startup+0.100122 s]
/proc/loadavg: 1.96 2.00 2.04 3/242 11101
/proc/meminfo: memFree=32018100/32770624 swapFree=5760/192552
[pid=11101] ppid=11098 vsize=32368 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 1430 0 0 0 9 0 0 0 20 0 1 0 1047525 33144832 1244 33554432000 4194304 5970956 140735906236960 140735906234296 4994541 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8092 1244 839 434 0 1456 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32368

[startup+0.200298 s]
/proc/loadavg: 1.96 2.00 2.04 3/242 11101
/proc/meminfo: memFree=32018100/32770624 swapFree=5760/192552
[pid=11101] ppid=11098 vsize=32368 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 1465 0 0 0 19 0 0 0 20 0 1 0 1047525 33144832 1244 33554432000 4194304 5970956 140735906236960 140735906234296 139909534579808 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8092 1244 839 434 0 1456 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32368

[startup+0.300211 s]
/proc/loadavg: 1.96 2.00 2.04 3/242 11101
/proc/meminfo: memFree=32018100/32770624 swapFree=5760/192552
[pid=11101] ppid=11098 vsize=32512 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 1539 0 0 0 29 0 0 0 20 0 1 0 1047525 33292288 1376 33554432000 4194304 5970956 140735906236960 140735906234296 5243529 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8128 1376 843 434 0 1492 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32512

[startup+0.700184 s]
/proc/loadavg: 1.96 2.00 2.04 3/242 11101
/proc/meminfo: memFree=32018100/32770624 swapFree=5760/192552
[pid=11101] ppid=11098 vsize=32512 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 1556 0 0 0 69 0 0 0 20 0 1 0 1047525 33292288 1376 33554432000 4194304 5970956 140735906236960 140735906234296 5337920 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8128 1376 843 434 0 1492 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32512

[startup+1.50018 s]
/proc/loadavg: 1.96 2.00 2.04 3/243 11102
/proc/meminfo: memFree=32016744/32770624 swapFree=5760/192596
[pid=11101] ppid=11098 vsize=32512 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 1566 0 0 0 149 0 0 0 20 0 1 0 1047525 33292288 1376 33554432000 4194304 5970956 140735906236960 140735906234296 5319212 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8128 1376 843 434 0 1492 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32512

[startup+3.10018 s]
/proc/loadavg: 1.88 1.99 2.03 3/243 11102
/proc/meminfo: memFree=32016372/32770624 swapFree=5760/192596
[pid=11101] ppid=11098 vsize=32512 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 1711 0 0 0 309 0 0 0 20 0 1 0 1047525 33292288 1415 33554432000 4194304 5970956 140735906236960 140735906234296 4994541 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8128 1415 843 434 0 1492 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32512

[startup+6.30017 s]
/proc/loadavg: 1.88 1.99 2.03 3/243 11102
/proc/meminfo: memFree=32016388/32770624 swapFree=5760/192596
[pid=11101] ppid=11098 vsize=32512 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 2409 0 0 0 629 0 0 0 20 0 1 0 1047525 33292288 1422 33554432000 4194304 5970956 140735906236960 140735906234296 5098928 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8128 1422 843 434 0 1492 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32512

[startup+12.7002 s]
/proc/loadavg: 1.90 1.99 2.03 3/243 11102
/proc/meminfo: memFree=32015676/32770624 swapFree=5760/192616
[pid=11101] ppid=11098 vsize=32648 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 2880 0 0 0 1269 0 0 0 20 0 1 0 1047525 33431552 1436 33554432000 4194304 5970956 140735906236960 140735906234296 5322288 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1436 843 434 0 1526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32648

[startup+25.5002 s]
/proc/loadavg: 1.91 1.99 2.03 3/243 11102
/proc/meminfo: memFree=32016380/32770624 swapFree=5760/192624
[pid=11101] ppid=11098 vsize=32648 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 3731 0 0 0 2548 0 0 0 20 0 1 0 1047525 33431552 1455 33554432000 4194304 5970956 140735906236960 140735906234296 4994537 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1455 843 434 0 1526 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32648

[startup+51.1002 s]
/proc/loadavg: 1.94 1.99 2.03 3/243 11102
/proc/meminfo: memFree=32016708/32770624 swapFree=5760/192656
[pid=11101] ppid=11098 vsize=32648 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 4242 0 0 0 5108 0 0 0 20 0 1 0 1047525 33431552 1464 33554432000 4194304 5970956 140735906236960 140735906234296 4994545 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1464 843 434 0 1526 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32648

[startup+102.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/243 11104
/proc/meminfo: memFree=32016444/32770624 swapFree=5760/192760
[pid=11101] ppid=11098 vsize=32648 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 4731 0 0 0 10228 0 0 0 20 0 1 0 1047525 33431552 1472 33554432000 4194304 5970956 140735906236960 140735906234296 4908256 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1472 843 434 0 1526 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 32648

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/243 11105
/proc/meminfo: memFree=32015712/32770624 swapFree=5760/192836
[pid=11101] ppid=11098 vsize=32648 CPUtime=162.27 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 5205 0 0 0 16227 0 0 0 20 0 1 0 1047525 33431552 1482 33554432000 4194304 5970956 140735906236960 140735906234296 4994503 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1482 843 434 0 1526 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 32648

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 11106
/proc/meminfo: memFree=32015332/32770624 swapFree=5760/192892
[pid=11101] ppid=11098 vsize=32648 CPUtime=222.27 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 5708 0 0 0 22227 0 0 0 20 0 1 0 1047525 33431552 1489 33554432000 4194304 5970956 140735906236960 140735906234296 5239682 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1489 843 434 0 1526 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 32648

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 11108
/proc/meminfo: memFree=32014360/32770624 swapFree=5760/192944
[pid=11101] ppid=11098 vsize=32648 CPUtime=282.25 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 6185 0 0 0 28225 0 0 0 20 0 1 0 1047525 33431552 1495 33554432000 4194304 5970956 140735906236960 140735906234296 5272769 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1495 843 434 0 1526 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 32648

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 11109
/proc/meminfo: memFree=32014412/32770624 swapFree=5760/193004
[pid=11101] ppid=11098 vsize=32648 CPUtime=342.25 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 6666 0 0 0 34225 0 0 0 20 0 1 0 1047525 33431552 1497 33554432000 4194304 5970956 140735906236960 140735906234296 5098896 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1497 843 434 0 1526 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 32648

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/244 11118
/proc/meminfo: memFree=32012432/32770624 swapFree=5760/193088
[pid=11101] ppid=11098 vsize=32648 CPUtime=402.24 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 7109 0 0 0 40224 0 0 0 20 0 1 0 1047525 33431552 1499 33554432000 4194304 5970956 140735906236960 140735906234296 5254325 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1499 843 434 0 1526 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 32648

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/244 11119
/proc/meminfo: memFree=32010636/32770624 swapFree=5760/193132
[pid=11101] ppid=11098 vsize=32648 CPUtime=462.24 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 7533 0 0 0 46223 1 0 0 20 0 1 0 1047525 33431552 1500 33554432000 4194304 5970956 140735906236960 140735906234296 5250792 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1500 843 434 0 1526 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 32648

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/244 11120
/proc/meminfo: memFree=32010512/32770624 swapFree=5760/193172
[pid=11101] ppid=11098 vsize=32648 CPUtime=522.24 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 7958 0 0 0 52223 1 0 0 20 0 1 0 1047525 33431552 1502 33554432000 4194304 5970956 140735906236960 140735906234296 4994454 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1502 843 434 0 1526 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 32648

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/244 11121
/proc/meminfo: memFree=32010644/32770624 swapFree=5760/193224
[pid=11101] ppid=11098 vsize=32648 CPUtime=582.23 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 8399 0 0 0 58222 1 0 0 20 0 1 0 1047525 33431552 1503 33554432000 4194304 5970956 140735906236960 140735906234296 4994506 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8162 1503 843 434 0 1526 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 32648


################
# More data... #
################


[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 11146
/proc/meminfo: memFree=32008920/32770624 swapFree=5760/193712
[pid=11101] ppid=11098 vsize=32780 CPUtime=1542.13 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 14073 0 0 0 154212 1 0 0 20 0 1 0 1047525 33566720 1524 33554432000 4194304 5970956 140735906236960 140735906234296 5081178 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1524 843 434 0 1559 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 32780

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/245 11156
/proc/meminfo: memFree=32007276/32770624 swapFree=5760/193776
[pid=11101] ppid=11098 vsize=32780 CPUtime=1602.12 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 14392 0 0 0 160211 1 0 0 20 0 1 0 1047525 33566720 1524 33554432000 4194304 5970956 140735906236960 140735906234296 4994541 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1524 843 434 0 1559 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 32780

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/245 11157
/proc/meminfo: memFree=32006768/32770624 swapFree=5760/193816
[pid=11101] ppid=11098 vsize=32780 CPUtime=1662.11 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 14788 0 0 0 166210 1 0 0 20 0 1 0 1047525 33566720 1526 33554432000 4194304 5970956 140735906236960 140735906234296 5243361 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1526 843 434 0 1559 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 32780

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11158
/proc/meminfo: memFree=32007548/32770624 swapFree=5760/193860
[pid=11101] ppid=11098 vsize=32780 CPUtime=1722.1 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 15268 0 0 0 172209 1 0 0 20 0 1 0 1047525 33566720 1528 33554432000 4194304 5970956 140735906236960 140735906234296 5337509 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1528 843 434 0 1559 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 32780

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11159
/proc/meminfo: memFree=32007796/32770624 swapFree=5760/193888
[pid=11101] ppid=11098 vsize=32780 CPUtime=1782.09 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 15561 0 0 0 178208 1 0 0 20 0 1 0 1047525 33566720 1528 33554432000 4194304 5970956 140735906236960 140735906234296 4994496 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1528 843 434 0 1559 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 32780

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11160
/proc/meminfo: memFree=32007552/32770624 swapFree=5760/193920
[pid=11101] ppid=11098 vsize=32780 CPUtime=1842.09 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 15885 0 0 0 184208 1 0 0 20 0 1 0 1047525 33566720 1528 33554432000 4194304 5970956 140735906236960 140735906234296 5108593 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1528 843 434 0 1559 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 32780

[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11162
/proc/meminfo: memFree=32006696/32770624 swapFree=5760/193980
[pid=11101] ppid=11098 vsize=32780 CPUtime=1902.08 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 16201 0 0 0 190207 1 0 0 20 0 1 0 1047525 33566720 1528 33554432000 4194304 5970956 140735906236960 140735906234296 5337920 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1528 843 434 0 1559 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 32780

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11163
/proc/meminfo: memFree=32007660/32770624 swapFree=5760/194024
[pid=11101] ppid=11098 vsize=32780 CPUtime=1962.08 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 16780 0 0 0 196207 1 0 0 20 0 1 0 1047525 33566720 1529 33554432000 4194304 5970956 140735906236960 140735906234296 4994549 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1529 843 434 0 1559 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 32780

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11164
/proc/meminfo: memFree=32008028/32770624 swapFree=5760/194056
[pid=11101] ppid=11098 vsize=32780 CPUtime=2022.07 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 16915 0 0 0 202206 1 0 0 20 0 1 0 1047525 33566720 1529 33554432000 4194304 5970956 140735906236960 140735906234296 4908168 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1529 843 434 0 1559 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 32780

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11166
/proc/meminfo: memFree=32007264/32770624 swapFree=5760/194104
[pid=11101] ppid=11098 vsize=32780 CPUtime=2082.07 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 17284 0 0 0 208206 1 0 0 20 0 1 0 1047525 33566720 1529 33554432000 4194304 5970956 140735906236960 140735906234296 4912969 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1529 843 434 0 1559 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 32780

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11167
/proc/meminfo: memFree=32007324/32770624 swapFree=5760/194136
[pid=11101] ppid=11098 vsize=32780 CPUtime=2142.06 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 17580 0 0 0 214205 1 0 0 20 0 1 0 1047525 33566720 1530 33554432000 4194304 5970956 140735906236960 140735906234392 5319887 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1530 843 434 0 1559 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 32780

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11175
/proc/meminfo: memFree=32006864/32770624 swapFree=5760/194192
[pid=11101] ppid=11098 vsize=32780 CPUtime=2202.06 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 17734 0 0 0 220205 1 0 0 20 0 1 0 1047525 33566720 1530 33554432000 4194304 5970956 140735906236960 140735906234392 5337509 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1530 843 434 0 1559 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 32780

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11198
/proc/meminfo: memFree=32006584/32770624 swapFree=5760/194228
[pid=11101] ppid=11098 vsize=32780 CPUtime=2262.04 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 18077 0 0 0 226203 1 0 0 20 0 1 0 1047525 33566720 1530 33554432000 4194304 5970956 140735906236960 140735906234392 4994471 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1530 843 434 0 1559 0
Current children cumulated CPU time (s) 2262.04
Current children cumulated vsize (KiB) 32780

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11199
/proc/meminfo: memFree=32007236/32770624 swapFree=5760/194280
[pid=11101] ppid=11098 vsize=32780 CPUtime=2322.03 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 18232 0 0 0 232202 1 0 0 20 0 1 0 1047525 33566720 1530 33554432000 4194304 5970956 140735906236960 140735906234392 5327985 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1530 843 434 0 1559 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 32780

[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11266
/proc/meminfo: memFree=32029896/32770624 swapFree=5760/194344
[pid=11101] ppid=11098 vsize=32780 CPUtime=2382.03 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 18783 0 0 0 238202 1 0 0 20 0 1 0 1047525 33566720 1536 33554432000 4194304 5970956 140735906236960 140735906234296 5243571 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1536 843 434 0 1559 0
Current children cumulated CPU time (s) 2382.03
Current children cumulated vsize (KiB) 32780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11266
/proc/meminfo: memFree=32029524/32770624 swapFree=5760/194344
[pid=11101] ppid=11098 vsize=32780 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 18982 0 0 0 240002 1 0 0 20 0 1 0 1047525 33566720 1536 33554432000 4194304 5970956 140735906236960 140735906234296 4994480 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1536 843 434 0 1559 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 32780

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+2400.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11266
/proc/meminfo: memFree=32029524/32770624 swapFree=5760/194344
[pid=11101] ppid=11098 vsize=32780 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/11101/stat : 11101 (cosoco) R 11098 11101 9821 0 -1 4202496 18982 0 0 0 240002 1 0 0 20 0 1 0 1047525 33566720 1536 33554432000 4194304 5970956 140735906236960 140735906234296 4994480 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 26157056 140735906239676 140735906239811 140735906239811 140735906242510 0
/proc/11101/statm: 8195 1536 843 434 0 1559 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 32780

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.04
CPU user time (s): 2400.03
CPU system time (s): 0.016998
CPU usage (%): 99.989
Max. virtual memory (cumulated for all children) (KiB): 32780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.016998
maximum resident set size= 6188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19012
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= 120735

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36754 second user time and 10.2235 second system time

The end

Launcher Data 

Begin job on node143 at 2017-07-21 19:23:33
IDJOB=4242449
IDBENCH=134509
IDSOLVER=2621
FILE ID=node143/4242449-1500657812
RUNJOBID= node143-1500648173-9853
PBS_JOBID= 20623278
Free space on /tmp= 61988 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s07/Blackhole-07-3-10.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242449-1500657812/watcher-4242449-1500657812 -o /tmp/evaluation-result-4242449-1500657812/solver-4242449-1500657812 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500648173-9853 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242449-1500657812.xml

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

MD5SUM BENCH= 41a77f0ff8ed1fddf85157fc97a1c00e
RANDOM SEED=1322572694

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32018640 kB
MemAvailable:   32008992 kB
Buffers:           33720 kB
Cached:           266840 kB
SwapCached:            0 kB
Active:           176672 kB
Inactive:         201296 kB
Active(anon):      80212 kB
Inactive(anon):     8744 kB
Active(file):      96460 kB
Inactive(file):   192552 kB
Unevictable:        5760 kB
Mlocked:            5760 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2444 kB
Writeback:             0 kB
AnonPages:         74644 kB
Mapped:            32244 kB
Shmem:              8852 kB
Slab:              65836 kB
SReclaimable:      34352 kB
SUnreclaim:        31484 kB
KernelStack:        4256 kB
PageTables:         5252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      155008 kB
DirectMap2M:    33390592 kB

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