Trace number 4240783

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.05 2400.6

General information on the benchmark

NameAllInterval/AllInterval-m1-s1/
AllInterval-035.xml
MD5SUMfe30f006f3af9f6842518347a037ed7d
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.066059001
Satisfiable
(Un)Satisfiability was proved
Number of variables69
Number of constraints36
Number of domains2
Minimum domain size34
Maximum domain size35
Distribution of domain sizes[{"size":34,"count":34},{"size":35,"count":35}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":36},{"degree":3,"count":33}]
Minimum constraint arity3
Maximum constraint arity35
Distribution of constraint arities[{"arity":3,"count":34},{"arity":34,"count":1},{"arity":35,"count":1}]
Number of extensional constraints0
Number of intensional constraints34
Distribution of constraint types[{"type":"intension","count":34},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.06	c SAT : Variables: 2381 -- Clauses: 39968
0.00/0.06	c root propagations     : 0           
0.00/0.06	c restarts enabled, print stats at every restarts
0.00/0.06	c
0.00/0.06	c
0.00/0.06	c
0.00/0.06	c This is cosoco 1.0 --  
0.00/0.06	c
0.00/0.06	c ========================================[ Problem Statistics ]===========================================
0.00/0.06	c |                                                                                                       
0.00/0.06	c |  Parse time        :         0.06 s 
0.00/0.06	c |
0.00/0.06	c |               Variables: 69
0.00/0.06	c |            Domain Sizes: 34..35
0.00/0.06	c |
0.00/0.06	c |             Constraints: 36
0.00/0.06	c |                   Arity: 3..35  -- Ternary: 34
0.00/0.06	c | 
0.00/0.06	c |                   Types: 
0.00/0.06	c |                          All Different: 2
0.00/0.06	c |                          Intension: 34
0.00/0.06	c |                          
0.00/0.06	c =========================================================================================================
0.00/0.06	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.07	c 10             49             1984           3747           0              1              32   35   29   
0.09/0.10	c 20             109            2999           9920           0              7              27   38   30   
0.09/0.13	c 30             157            4142           15682          0              12             33   33   30   
0.09/0.14	c 40             207            4767           21655          0              22             25   39   29   
0.09/0.15	c 50             261            5669           26067          0              32             21   39   31   
0.09/0.16	c 60             303            6572           29653          0              34             29   33   28   
0.09/0.18	c 70             352            7638           34631          0              43             34   35   31   
0.09/0.19	c 80             406            9360           38587          0              45             28   36   28   
0.19/0.20	c 90             453            10436          43084          0              54             28   34   29   
0.19/0.23	c 100            503            11426          47990          0              59             14   37   30   
0.19/0.23	c 101            531            12042          49547          0              60             28   28   14   
0.19/0.24	c 110            582            12978          52944          0              68             35   43   33   
0.19/0.28	c 120            624            14348          60144          0              72             27   31   27   
0.19/0.29	c 130            676            15261          64635          0              82             33   43   33   
0.29/0.31	c 140            739            16509          69177          0              88             34   47   35   
0.29/0.33	c 150            795            17633          73184          0              94             35   42   34   
0.29/0.34	c 160            846            18858          77941          0              98             28   39   32   
0.29/0.37	c 170            899            19983          83490          0              107            30   41   33   
0.29/0.39	c 180            938            21482          89522          0              111            22   26   21   
0.39/0.42	c 190            984            22909          96133          0              112            31   33   28   
0.39/0.44	c 200            1026           24142          100224         0              117            24   26   22   
0.39/0.46	c 210            1077           25167          104137         0              126            35   38   33   
0.39/0.46	c 211            1102           25803          105176         0              127            25   25   12   
0.39/0.47	c 220            1152           26739          109711         0              131            29   40   32   
0.39/0.49	c 230            1190           27748          113546         0              138            23   26   23   
0.49/0.51	c 240            1245           29262          118836         0              145            23   40   31   
0.49/0.53	c 250            1298           30698          123070         0              152            32   38   32   
0.49/0.54	c 260            1335           32209          126884         0              156            24   26   23   
0.49/0.54	conflict 67lvl : 26 bt26-473:0(1471)X170219
0.49/0.55	c 270            1382           33971          130423         0              160            25   30   24   
0.49/0.57	c 280            1431           35000          134860         0              166            26   36   31   
0.49/0.59	c 290            1489           36160          141100         0              175            30   38   31   
0.59/0.60	c 300            1525           37337          144195         0              177            23   25   21   
0.59/0.62	c 310            1581           38388          149266         0              186            27   37   29   
0.59/0.63	c 320            1618           39563          152548         0              191            24   25   22   
0.59/0.64	c 330            1669           40672          156580         0              197            34   40   32   
0.59/0.65	c 332            1703           41329          158486         0              199            31   33   21   
0.59/0.66	c 340            1747           42195          163123         0              207            29   35   27   
0.59/0.68	c 350            1782           43475          167802         0              211            24   25   22   
0.59/0.69	c 360            1834           44351          171710         0              214            34   37   31   
0.59/0.69	c 370            1882           45073          176942         0              224            26   39   32   
0.69/0.70	c 380            1935           46098          180186         0              234            35   44   35   
0.69/0.73	c 390            1984           47247          185040         0              244            34   38   33   
0.69/0.75	c 400            2044           48355          190234         0              254            30   44   33   
0.69/0.77	c 410            2079           49315          194259         0              258            23   24   21   
0.69/0.78	c 420            2119           50818          197490         0              260            27   27   24   
0.69/0.78	c 430            2163           51371          201065         0              270            22   35   27   
0.79/0.81	c 440            2215           52680          206617         0              276            13   34   28   
0.79/0.82	c 450            2270           53627          212042         0              279            31   37   31   
0.79/0.84	c 460            2320           54762          216625         0              283            37   38   34   
0.79/0.85	c 465            2365           55534          219457         0              288            36   38   31   
0.79/0.86	c 470            2408           56258          222391         0              293            30   37   28   
0.79/0.89	c 480            2461           59499          231395         0              297            25   29   24   
0.89/0.91	c 490            2520           60507          237400         0              303            35   38   34   
0.89/0.93	c 500            2566           61558          242391         0              311            27   34   29   
0.89/0.94	c 510            2607           62331          245994         0              321            15   30   23   
0.89/0.95	c 520            2652           63531          248394         0              322            25   28   24   
0.89/0.97	c 530            2695           64640          253168         0              324            26   31   27   
0.89/0.99	c 540            2739           66576          257853         0              326            24   26   23   
0.99/1.00	c 550            2793           68619          262598         0              335            26   31   26   
0.99/1.02	c 560            2851           69770          266917         0              341            32   44   36   
0.99/1.03	c 570            2903           71285          271070         0              347            25   31   27   
0.99/1.05	c 580            2946           72510          276555         0              354            27   30   26   
0.99/1.07	c 590            2998           73543          281090         0              364            27   39   30   
0.99/1.09	c 600            3050           74602          285733         0              374            27   39   30   
1.10/1.12	c 610            3100           75652          291136         0              378            30   38   31   
1.10/1.12	c 611            3128           76138          292737         0              379            28   28   14   
1.10/1.15	c 620            3188           77569          298511         0              385            34   38   31   
1.10/1.17	c 630            3255           78749          302897         0              391            30   40   33   
1.10/1.19	c 640            3315           79851          308321         0              401            31   41   33   
1.10/1.20	c 650            3368           80921          312778         0              406            34   42   33   
1.20/1.23	c 660            3415           82477          319084         0              414            30   34   28   
1.20/1.24	c 670            3463           83560          324074         0              421            32   37   32   
1.20/1.26	c 680            3514           84715          330462         0              431            32   38   30   
1.20/1.28	c 690            3569           85809          335418         0              438            28   39   31   
1.20/1.30	c 700            3623           86990          340853         0              447            29   40   30   
1.29/1.32	c 710            3678           88084          347296         0              453            32   42   34   
1.29/1.33	c 720            3720           89022          351806         0              463            27   33   27   
1.29/1.34	c 730            3763           89940          355077         0              467            31   33   29   
1.29/1.36	c 740            3818           91849          360754         0              473            24   29   24   
1.29/1.37	c 750            3865           92672          364182         0              483            32   38   32   
1.29/1.39	c 760            3916           93524          368991         0              493            26   34   27   
1.39/1.40	c 770            3970           94553          372388         0              503            34   39   32   
1.39/1.40	c 771            4002           95175          373922         0              504            32   32   16   
1.39/1.41	c 780            4049           96079          377278         0              513            27   37   27   
1.39/1.43	c 790            4109           97364          383540         0              518            35   41   34   
1.39/1.45	conflict 67lvl : 27 bt27-24:0(1535)X182926
1.39/1.45	conflict 67lvl : 26 bt26-24:0(1573)X182996
1.39/1.45	conflict 67lvl : 26 bt26-12:0(1504)X183066
1.39/1.45	conflict 132lvl : 26 bt26478:0(1563)X183136
1.39/1.46	c 800            4153           99374          391056         0              522            25   27   23   
1.39/1.47	c 810            4211           101122         396570         0              529            26   36   26   
1.39/1.48	c 820            4261           102089         401946         0              533            17   36   27   
1.49/1.51	c 830            4305           103206         407338         0              543            28   33   29   
1.49/1.54	c 840            4354           104353         412844         0              553            28   34   29   
1.49/1.55	c 850            4401           105881         418020         0              560            23   27   22   
1.49/1.57	c 860            4453           106891         423647         0              569            31   37   31   
1.49/1.59	c 870            4514           108998         429760         0              575            24   36   27   
1.59/1.60	c 880            4576           110184         434097         0              579            34   51   39   
1.59/1.62	c 890            4632           111238         439530         0              586            33   43   35   
1.59/1.64	c 900            4694           112306         445060         0              589            31   45   36   
1.59/1.65	c 910            4754           113956         449549         0              594            23   37   24   
1.59/1.66	c 920            4810           114944         453251         0              603            33   40   33   
1.59/1.67	c 930            4860           115819         457464         0              613            31   39   31   
1.59/1.69	c 940            4908           117013         462327         0              620            32   33   29   
1.69/1.70	c 947            4948           117851         466565         0              627            28   34   26   
1.69/1.72	c 950            4987           118718         469691         0              629            34   35   26   
1.69/1.74	c 960            5037           119822         475308         0              639            28   37   31   
1.69/1.75	c 970            5094           120789         478687         0              647            32   44   35   
1.69/1.76	c 980            5142           121598         483837         0              657            29   39   31   
1.69/1.78	c 990            5200           123506         490232         0              662            24   34   25   
1.69/1.79	c 1000           5250           124257         494017         0              672            33   39   34   
1.79/1.80	c 1010           5303           125248         497471         0              677            31   35   29   
1.79/1.82	c 1020           5364           126466         503308         0              686            27   38   29   
1.79/1.83	c 1030           5409           128198         507573         0              688            25   30   24   
1.79/1.85	c 1040           5454           129718         512269         0              690            24   27   23   
1.79/1.86	c 1050           5510           131225         515265         0              696            25   36   31   
1.79/1.87	c 1060           5563           132285         519492         0              703            28   42   31   
1.79/1.90	c 1070           5609           133293         524362         0              713            25   34   28   
1.89/1.91	c 1080           5663           134744         527834         0              717            27   36   31   
1.89/1.92	c 1090           5705           135638         531546         0              724            30   32   28   
1.89/1.93	c 1100           5750           136451         536870         0              734            28   36   28   
1.89/1.94	c 1110           5807           137601         541380         0              741            31   41   34   
1.89/1.96	c 1120           5858           138601         546200         0              751            28   38   29   
1.89/1.99	c 1130           5911           139680         551902         0              760            26   36   27   
1.99/2.04	c 1140           5966           141032         558205         0              768            30   39   31   
1.99/2.05	c 1141           6001           141613         559916         0              769            35   35   17   
1.99/2.08	c 1150           6060           142921         567319         0              777            29   39   32   
1.99/2.09	c 1160           6118           143868         570899         0              787            35   47   38   
2.09/2.11	c 1170           6168           144905         575890         0              793            31   35   31   
2.09/2.12	c 1180           6228           146041         580993         0              803            32   43   34   
2.09/2.16	c 1190           6274           147063         587540         0              808            11   33   25   
2.09/2.18	c 1200           6314           148378         592613         0              813            23   26   21   
2.09/2.20	c 1210           6353           149968         597832         0              817            24   26   22   
2.09/2.20	c 1220           6401           150799         601794         0              825            34   36   31   
2.20/2.21	c 1230           6455           152046         607234         0              832            32   37   31   
2.20/2.22	conflict 67lvl : 27 bt26-192:0(1384)X194265
2.20/2.22	conflict 67lvl : 25 bt25-193:0(1362)X194335
2.20/2.22	c 1240           6494           153327         609835         0              835            25   27   23   
2.20/2.24	c 1250           6552           154641         615326         0              842            30   39   31   
2.20/2.25	c 1260           6606           156090         619839         0              845            34   41   33   
2.20/2.27	conflict 98lvl : 29 bt27-1209:0(1504)X194847
2.20/2.27	c 1270           6652           157991         625479         0              849            27   31   25   
2.20/2.29	c 1280           6699           159231         630909         0              851            33   35   31   
2.30/2.31	c 1290           6740           160298         635566         0              856            27   32   28   
2.30/2.33	c 1300           6789           162006         639983         0              858            28   30   26   
2.30/2.34	c 1310           6840           163170         643902         0              861            33   37   31   
2.30/2.36	c 1320           6892           164277         648406         0              867            33   37   33   
2.30/2.38	c 1330           6950           165523         653230         0              877            33   43   35   
2.39/2.40	c 1340           7020           167173         658839         0              887            23   34   25   
2.39/2.42	c 1350           7066           168227         662416         0              895            34   35   31   
2.39/2.43	c 1352           7104           169113         664991         0              897            33   35   22   
2.39/2.45	c 1360           7157           170118         669175         0              904            32   40   32   
2.39/2.46	c 1370           7216           171319         673413         0              912            36   42   35   
2.39/2.48	c 1380           7271           172763         679945         0              922            29   36   29   
2.49/2.52	c 1390           7320           173890         685801         0              932            28   34   29   
2.49/2.54	c 1400           7364           175460         691716         0              937            24   33   27   
2.49/2.56	c 1410           7417           176463         697686         0              944            9   41   29    
2.49/2.57	c 1420           7471           177413         701127         0              954            28   43   33   
2.59/2.60	c 1430           7525           178788         706479         0              959            30   39   30   
2.59/2.64	c 1440           7570           179922         712254         0              962            32   32   29   
2.59/2.66	c 1450           7617           181086         717459         0              963            33   34   30   
2.59/2.67	c 1460           7656           182648         722021         0              967            27   27   24   
2.59/2.70	c 1470           7707           183794         727498         0              974            29   38   32   
2.69/2.71	c 1480           7749           185306         732178         0              978            27   29   25   
2.69/2.72	c 1490           7815           186463         737575         0              988            28   45   36   
2.69/2.75	c 1500           7866           187595         742770         0              995            29   38   32   
2.69/2.76	c 1510           7927           189334         746334         0              996            27   35   27   
2.69/2.79	c 1520           7975           190414         751244         0              1004           30   35   30   
2.79/2.81	c 1530           8010           192029         756648         0              1008           23   25   22   
2.79/2.82	c 1540           8051           193534         760026         0              1012           27   28   25   
2.79/2.84	c 1550           8109           194719         765637         0              1019           31   38   32   
2.79/2.85	conflict 99lvl : 25 bt25-233:0(1524)X201079
2.79/2.87	c 1560           8162           197236         774336         0              1024           25   37   25   
2.79/2.87	c 1570           8205           197896         777927         0              1034           21   34   28   
2.79/2.88	c 1580           8255           198542         781940         0              1044           22   37   28   
2.79/2.89	c 1585           8283           199433         785153         0              1046           23   23   19   
2.89/2.90	c 1590           8314           200414         787776         0              1051           25   26   21   
2.89/2.92	c 1600           8363           201576         794002         0              1060           18   33   27   
2.89/2.93	c 1610           8421           203144         798364         0              1068           24   37   28   
2.89/2.94	c 1620           8472           204021         804270         0              1078           30   36   29   
2.89/2.95	c 1630           8511           204799         808869         0              1082           27   29   26   
2.89/2.96	c 1640           8560           205453         812993         0              1092           17   40   27   
2.89/2.98	c 1650           8623           206440         818040         0              1102           33   42   36   
2.99/3.01	c 1660           8686           207666         824986         0              1106           30   40   34   
2.99/3.02	c 1670           8726           208980         829120         0              1112           23   28   22   
2.99/3.03	c 1680           8764           210330         832558         0              1115           23   24   21   
2.99/3.05	c 1690           8813           211343         836606         0              1125           29   40   34   
2.99/3.07	c 1700           8870           212463         840785         0              1133           34   44   35   
2.99/3.09	c 1710           8915           213349         845647         0              1136           24   33   28   
3.09/3.10	c 1720           8965           214801         850467         0              1143           23   30   25   
3.09/3.12	c 1730           9013           215971         855433         0              1147           30   36   31   
3.09/3.14	c 1740           9059           216953         860209         0              1154           25   36   29   
3.09/3.16	c 1750           9102           218198         864962         0              1158           23   26   21   
3.09/3.17	c 1760           9163           219385         869622         0              1168           32   43   35   
3.09/3.20	c 1770           9217           220530         875479         0              1178           29   39   33   
3.19/3.23	c 1780           9274           221822         881956         0              1184           29   39   32   
3.19/3.24	c 1790           9320           222657         885515         0              1191           28   37   30   
3.19/3.27	c 1800           9377           223930         892081         0              1197           29   39   32   
3.19/3.28	c 1810           9435           224962         895816         0              1203           32   47   34   
3.19/3.30	c 1820           9475           226330         901647         0              1209           24   27   22   
3.30/3.31	c 1830           9529           227300         905291         0              1219           32   42   33   
3.30/3.33	c 1840           9585           228204         911255         0              1226           27   39   30   
3.30/3.33	c 1841           9617           228796         913252         0              1227           32   32   16   
3.30/3.35	c 1850           9676           230466         919162         0              1233           27   35   27   
3.30/3.38	c 1860           9733           231730         925674         0              1239           29   39   32   
3.30/3.39	c 1870           9784           232501         931403         0              1249           20   38   30   
3.40/3.42	c 1880           9844           233812         937804         0              1258           32   38   32   
3.40/3.43	c 1890           9900           234711         942555         0              1268           32   43   33   
3.40/3.44	c 1900           9948           235447         947181         0              1278           30   39   33   
3.40/3.46	c 1910           10001          237290         952006         0              1282           23   31   25   
3.40/3.47	c 1920           10049          239069         955832         0              1288           28   31   26   
3.40/3.48	c 1930           10093          240106         960128         0              1292           28   34   30   
3.40/3.49	conflict 67lvl : 25 bt25-928:0(1476)X210698
3.49/3.50	conflict 67lvl : 24 bt24-542:0(1511)X210768
3.49/3.50	c 1940           10134          241819         965530         0              1298           25   27   24   
3.49/3.53	c 1950           10181          242755         970193         0              1304           26   35   30   
3.49/3.53	c 1960           10244          244406         973661         0              1308           32   35   31   
3.49/3.55	c 1970           10286          245284         977320         0              1313           27   32   28   
3.49/3.57	c 1980           10334          246268         981995         0              1323           27   37   29   
3.59/3.60	c 1990           10378          247433         987395         0              1333           28   33   29   
3.59/3.61	c 2000           10424          249160         991303         0              1338           29   32   27   
3.59/3.62	c 2010           10467          250234         995505         0              1344           32   33   29   
3.59/3.65	c 2020           10521          251386         1001772        0              1348           34   34   30   
3.59/3.68	c 2030           10578          252603         1007503        0              1352           36   36   32   
3.69/3.70	c 2040           10634          253591         1011528        0              1359           38   43   37   
3.69/3.72	c 2050           10674          254776         1017430        0              1362           28   30   26   
3.69/3.74	c 2060           10716          256097         1022990        0              1368           29   31   27   
3.69/3.76	c 2070           10773          257162         1027712        0              1373           39   39   35   
3.69/3.77	c 2080           10824          258010         1030952        0              1382           35   40   34   
3.69/3.79	c 2090           10882          259129         1036355        0              1392           31   37   31   
3.79/3.81	c 2100           10948          260667         1041809        0              1400           23   36   28   
3.79/3.82	c 2110           11008          261796         1046423        0              1403           29   40   31   
3.79/3.85	c 2120           11052          262959         1051677        0              1413           29   30   26   
3.79/3.85	c 2122           11080          263523         1053578        0              1415           25   27   17   
3.79/3.86	c 2130           11124          264353         1057596        0              1420           24   36   28   
3.79/3.87	c 2140           11160          265296         1060858        0              1429           23   26   21   
3.79/3.88	c 2150           11210          266421         1065229        0              1433           36   38   33   
3.79/3.89	c 2160           11247          267604         1067829        0              1439           26   27   24   
3.89/3.91	c 2170           11303          268890         1072711        0              1444           33   38   31   
3.89/3.94	c 2180           11347          270168         1078996        0              1448           31   33   29   
3.89/3.96	c 2190           11404          271244         1083787        0              1458           29   42   33   
3.89/3.99	c 2200           11451          272339         1089561        0              1464           28   34   27   
3.99/4.00	c 2210           11512          273398         1093163        0              1471           31   46   36   
3.99/4.01	c 2220           11556          274464         1098239        0              1476           31   33   29   
3.99/4.03	c 2230           11593          275460         1101911        0              1482           24   25   22   
3.99/4.04	c 2240           11640          277071         1106795        0              1487           25   29   25   
3.99/4.05	c 2250           11703          278329         1111974        0              1493           34   38   33   
3.99/4.08	c 2260           11750          279362         1116405        0              1503           26   35   30   
3.99/4.09	c 2270           11785          280776         1120382        0              1509           25   25   22   
4.09/4.11	c 2280           11850          282406         1126172        0              1512           31   42   33   
4.09/4.12	c 2290           11903          283343         1129660        0              1519           30   41   32   
4.09/4.14	c 2300           11944          285054         1136181        0              1524           23   27   22   
4.09/4.17	c 2310           11990          286305         1141763        0              1530           29   32   27   
4.09/4.19	c 2320           12040          287253         1146066        0              1538           25   39   30   
4.19/4.21	c 2330           12102          288552         1151241        0              1541           32   39   31   
4.19/4.22	c 2340           12157          289840         1155241        0              1548           32   42   34   
4.19/4.25	c 2350           12199          291425         1162439        0              1556           23   26   22   
4.19/4.26	c 2360           12257          292552         1166198        0              1564           38   46   36   
4.19/4.27	c 2370           12306          293505         1170404        0              1566           37   38   33   
4.19/4.29	c 2380           12371          295164         1175682        0              1573           23   38   25   
4.29/4.30	c 2390           12417          296102         1180191        0              1583           30   35   30   
4.29/4.31	c 2400           12472          297022         1183392        0              1592           34   41   34   
4.29/4.32	c 2410           12524          297906         1187092        0              1602           37   41   36   
4.29/4.35	c 2420           12586          299059         1193896        0              1606           30   40   33   
4.29/4.38	c 2430           12639          300218         1199698        0              1613           30   40   30   
4.29/4.38	c 2431           12662          300826         1200471        0              1614           23   23   11   
4.29/4.39	c 2440           12695          301889         1203963        0              1623           24   25   22   
4.40/4.41	c 2450           12757          302924         1208724        0              1629           31   41   33   
4.40/4.42	c 2460           12814          304676         1213549        0              1635           25   32   25   
4.40/4.43	c 2470           12871          305827         1218211        0              1644           28   44   33   
4.40/4.44	c 2480           12907          306973         1221677        0              1649           23   24   21   
4.40/4.46	c 2490           12957          308862         1228333        0              1653           24   31   25   
4.40/4.47	c 2500           13015          309715         1233226        0              1663           24   39   30   
4.40/4.48	c 2510           13052          310748         1235735        0              1667           25   25   22   
4.40/4.50	c 2520           13084          311774         1240564        0              1669           22   22   20   
4.50/4.51	c 2530           13119          312741         1244285        0              1674           23   24   21   
4.50/4.52	c 2540           13160          313703         1248563        0              1679           29   30   27   
4.50/4.53	c 2550           13209          314523         1254782        0              1689           28   38   30   
4.50/4.55	c 2560           13264          315455         1259896        0              1699           26   37   28   
4.50/4.57	c 2570           13304          316590         1264623        0              1704           23   27   22   
4.50/4.58	c 2580           13347          317818         1270048        0              1706           22   25   21   
4.59/4.61	c 2590           13385          319705         1278267        0              1708           23   25   21   
4.59/4.62	c 2600           13427          320582         1281947        0              1713           29   31   28   
4.59/4.62	c 2610           13482          321357         1287017        0              1722           30   42   33   
4.59/4.63	conflict 67lvl : 25 bt25-1072:0(1492)X225504
4.59/4.63	conflict 132lvl : 25 bt25-83:0(1548)X225574
4.59/4.63	conflict 195lvl : 24 bt24-1064:0(1557)X225709
4.59/4.64	c 2620           13518          322914         1291400        0              1728           24   26   22   
4.59/4.66	c 2630           13574          324078         1296801        0              1738           29   37   29   
4.59/4.68	c 2640           13621          325032         1301095        0              1741           27   35   30   
4.59/4.69	c 2650           13672          326898         1305155        0              1750           26   32   25   
4.69/4.70	c 2660           13725          327833         1313066        0              1758           30   40   31   
4.69/4.72	c 2670           13780          328956         1318100        0              1767           27   40   32   
4.69/4.75	c 2680           13828          330102         1323941        0              1771           33   33   30   
4.69/4.76	c 2690           13887          331319         1329188        0              1780           35   38   33   
4.69/4.77	c 2700           13942          332272         1332785        0              1785           36   42   35   
4.69/4.78	c 2710           13995          333287         1336814        0              1792           29   40   32   
4.69/4.79	c 2720           14052          334264         1340456        0              1795           33   44   36   
4.79/4.82	c 2730           14101          335341         1345890        0              1799           29   33   29   
4.79/4.85	c 2740           14148          336673         1352482        0              1801           32   34   30   
4.79/4.87	c 2750           14197          337830         1357961        0              1805           29   33   29   
4.79/4.89	c 2760           14251          338753         1363025        0              1813           27   41   32   
4.89/4.90	c 2770           14302          339679         1367390        0              1823           27   40   32   
4.89/4.91	c 2771           14344          340369         1369329        0              1824           42   42   21   
4.89/4.93	c 2780           14392          341561         1374763        0              1827           33   35   30   
4.89/4.95	c 2790           14459          342789         1379572        0              1830           33   37   31   
4.89/4.96	c 2800           14505          343649         1383335        0              1836           31   36   32   
4.89/4.97	c 2810           14545          344952         1387078        0              1843           25   26   23   
4.89/4.99	c 2820           14602          346063         1391915        0              1852           33   38   33   
4.99/5.01	c 2830           14656          347537         1397858        0              1856           30   33   28   
4.99/5.03	c 2840           14718          348755         1403202        0              1859           37   41   34   
4.99/5.03	c 2850           14771          349979         1406537        0              1864           24   28   24   
4.99/5.05	c 2860           14809          351713         1412603        0              1869           24   26   22   
4.99/5.07	c 2870           14862          352812         1417633        0              1875           31   41   32   
4.99/5.08	c 2880           14918          353918         1421377        0              1885           35   43   36   
4.99/5.10	c 2890           14972          355016         1424826        0              1895           35   43   36   
5.09/5.10	c 2900           15026          356002         1427981        0              1905           37   45   37   
5.09/5.12	c 2910           15083          357723         1432963        0              1910           26   30   26   
5.09/5.13	c 2920           15139          358759         1436774        0              1915           34   44   37   
5.09/5.15	c 2930           15192          360109         1440949        0              1921           24   32   24   
5.09/5.16	c 2940           15238          361098         1446401        0              1928           30   33   28   
5.09/5.17	c 2950           15288          361909         1450194        0              1938           29   41   31   
5.09/5.19	c 2960           15334          362879         1455040        0              1945           30   33   28   
5.19/5.20	c 2970           15388          363980         1459584        0              1946           31   39   32   
5.19/5.21	c 2980           15421          365204         1463045        0              1950           23   23   20   
5.19/5.22	c 2990           15474          366185         1466625        0              1959           37   40   34   
5.19/5.23	c 3000           15520          367094         1471719        0              1964           30   34   28   
5.19/5.25	c 3010           15557          368357         1475119        0              1969           24   27   24   
5.19/5.26	c 3020           15629          370174         1480059        0              1975           29   44   32   
5.19/5.27	c 3030           15677          370884         1483641        0              1985           26   37   30   
5.19/5.28	c 3040           15733          372039         1488225        0              1993           37   45   36   
5.19/5.29	conflict 67lvl : 33 bt33-1034:0(1618)X235579
5.19/5.29	conflict 67lvl : 32 bt32-228:0(1637)X235649
5.19/5.29	conflict 67lvl : 30 bt30-1035:0(1504)X235719
5.19/5.29	conflict 132lvl : 33 bt33226:0(1576)X235789
5.19/5.29	conflict 67lvl : 32 bt32-928:0(1626)X235924
5.19/5.29	conflict 67lvl : 31 bt31-1031:0(1517)X235994
5.19/5.29	c 3050           15791          374941         1495012        0              1998           30   31   28   
5.29/5.31	c 3060           15830          376123         1499483        0              2005           24   27   24   
5.29/5.32	c 3070           15887          377728         1504577        0              2012           24   38   28   
5.29/5.36	c 3080           15924          378751         1509193        0              2013           26   28   23   
5.29/5.37	c 3090           15972          380342         1513279        0              2019           25   29   23   
5.29/5.39	c 3100           16023          381435         1518486        0              2023           30   35   30   
5.39/5.41	c 3110           16079          382586         1522613        0              2032           33   43   34   
5.39/5.43	c 3120           16127          383609         1527746        0              2036           33   33   30   
5.39/5.44	c 3130           16187          384912         1532703        0              2042           32   43   32   
5.39/5.45	c 3140           16227          386220         1538110        0              2051           22   31   21   
5.39/5.46	c 3142           16266          386945         1540149        0              2053           30   38   22   
5.39/5.47	c 3150           16306          388159         1543921        0              2055           23   27   22   
5.39/5.49	c 3160           16373          390652         1550415        0              2059           25   36   26   
5.50/5.51	c 3170           16429          391726         1556143        0              2066           27   39   30   
5.50/5.52	c 3180           16478          392793         1560840        0              2069           37   38   33   
5.50/5.54	c 3190           16546          394198         1566751        0              2075           32   41   34   
5.50/5.58	c 3200           16604          395396         1572895        0              2085           29   40   30   
5.60/5.61	c 3210           16651          396455         1577869        0              2092           30   35   29   
5.60/5.63	c 3220           16714          397901         1583713        0              2100           34   38   32   
5.60/5.65	c 3230           16772          399146         1588492        0              2108           35   41   34   
5.60/5.66	c 3240           16831          400162         1592989        0              2118           30   42   33   
5.60/5.68	c 3250           16878          401143         1597225        0              2125           29   35   30   
5.60/5.69	c 3260           16935          402088         1600559        0              2133           32   44   35   
5.60/5.69	c 3270           16981          402827         1603933        0              2139           12   37   30   
5.69/5.71	c 3280           17020          404583         1609244        0              2144           24   26   22   
5.69/5.73	c 3290           17066          405682         1614501        0              2150           32   35   30   
5.69/5.73	c 3300           17100          406827         1618038        0              2151           24   25   21   
5.69/5.75	c 3310           17156          407840         1623142        0              2158           27   39   30   
5.69/5.76	c 3320           17204          408936         1627060        0              2166           38   39   34   
5.69/5.78	c 3330           17260          409975         1632116        0              2173           27   39   30   
5.69/5.79	c 3340           17313          411126         1636779        0              2180           37   41   34   
5.79/5.80	c 3350           17369          412338         1640464        0              2188           37   47   38   
5.79/5.83	c 3360           17408          413961         1647672        0              2191           22   25   20   
5.79/5.85	c 3370           17448          415331         1652473        0              2194           23   26   21   
5.79/5.86	c 3380           17499          416324         1656653        0              2198           34   39   33   
5.79/5.87	c 3390           17552          417758         1660993        0              2202           25   39   29   
5.79/5.88	c 3400           17605          418862         1664750        0              2210           33   40   33   
5.79/5.89	c 3410           17659          420086         1668032        0              2217           24   36   28   
5.89/5.90	c 3420           17716          421452         1671484        0              2226           24   32   24   
5.89/5.92	c 3430           17767          422658         1677309        0              2234           30   36   31   
5.89/5.95	c 3440           17806          424286         1684002        0              2239           22   24   21   
5.89/5.99	c 3450           17858          425646         1690935        0              2245           30   36   31   
5.99/6.01	c 3460           17916          427064         1696453        0              2252           33   37   32   
5.99/6.02	c 3470           17977          428536         1700812        0              2258           34   42   34   
5.99/6.04	c 3480           18032          429631         1706460        0              2266           32   42   32   
5.99/6.08	c 3490           18075          431009         1713138        0              2273           27   30   25   
6.09/6.10	c 3500           18125          431959         1717788        0              2280           24   36   29   
6.09/6.12	c 3510           18181          433037         1722937        0              2287           32   36   30   
6.09/6.12	c 3520           18231          434620         1726719        0              2291           31   33   29   
6.09/6.17	c 3530           18274          435984         1733261        0              2298           27   30   25   
6.09/6.18	c 3540           18334          436985         1738387        0              2301           35   37   33   
6.19/6.20	c 3550           18390          438182         1742947        0              2309           30   40   31   
6.19/6.20	c 3551           18404          438469         1743425        0              2310           14   14   7    
6.19/6.20	c 3560           18457          439811         1746707        0              2317           27   39   27   
6.19/6.22	c 3570           18504          440679         1750550        0              2326           13   36   28   
6.19/6.23	c 3580           18553          442416         1755730        0              2334           26   33   25   
6.19/6.24	c 3590           18604          443380         1759269        0              2338           34   39   33   
6.19/6.25	c 3600           18639          444577         1762209        0              2340           24   25   21   
6.19/6.26	c 3610           18694          445631         1765974        0              2347           31   39   31   
6.19/6.27	conflict 67lvl : 26 bt26-51:0(1527)X248258
6.19/6.27	conflict 67lvl : 26 bt26-55:0(1491)X248328
6.19/6.27	c 3620           18745          447490         1770210        0              2350           27   29   24   
6.19/6.29	c 3630           18805          448479         1774956        0              2359           31   41   33   
6.29/6.34	c 3640           18852          450154         1784202        0              2363           27   29   25   
6.29/6.35	c 3650           18899          451873         1787949        0              2368           30   32   28   
6.29/6.35	conflict 67lvl : 23 bt23-1173:0(1485)X249119
6.29/6.36	conflict 67lvl : 23 bt23-1033:0(1556)X249189
6.29/6.38	c 3660           18936          453721         1797182        0              2373           23   24   21   
6.29/6.39	c 3670           18990          454637         1801581        0              2380           31   43   32   
6.39/6.42	c 3680           19025          456306         1807702        0              2383           22   24   21   
6.39/6.43	c 3690           19085          457377         1812991        0              2384           35   43   34   
6.39/6.44	c 3700           19148          459080         1818222        0              2389           24   36   25   
6.39/6.47	c 3710           19190          460212         1823334        0              2394           31   32   29   
6.39/6.49	c 3720           19240          461523         1831553        0              2401           26   30   26   
6.49/6.51	c 3730           19278          462772         1837670        0              2405           23   25   21   
6.49/6.52	c 3740           19342          464511         1842924        0              2408           24   31   24   
6.49/6.54	c 3750           19392          465645         1847788        0              2417           30   38   30   
6.49/6.57	c 3760           19434          466797         1853085        0              2422           31   32   29   
6.49/6.59	c 3770           19499          468170         1859275        0              2428           35   41   35   
6.60/6.62	c 3780           19544          469969         1866698        0              2433           21   24   20   
6.60/6.63	c 3790           19593          471078         1871682        0              2441           29   34   30   
6.60/6.67	c 3800           19634          472827         1879737        0              2445           22   24   20   
6.60/6.69	c 3810           19693          474304         1885163        0              2447           34   40   32   
6.60/6.70	c 3820           19727          475391         1889546        0              2450           23   24   21   
6.70/6.72	c 3830           19787          476785         1894195        0              2454           34   44   35   
6.70/6.74	c 3840           19835          478221         1899766        0              2462           24   27   23   
6.70/6.76	c 3850           19883          479933         1905461        0              2463           23   30   22   
6.70/6.78	c 3860           19949          481886         1911756        0              2466           23   29   24   
6.70/6.79	c 3870           19999          482915         1916364        0              2471           30   37   31   
6.79/6.81	c 3880           20039          484139         1921399        0              2477           24   27   23   
6.79/6.82	c 3890           20078          485142         1924052        0              2487           24   26   23   
6.79/6.85	c 3900           20138          486301         1930733        0              2492           30   40   33   
6.79/6.86	c 3910           20182          487797         1934047        0              2494           29   32   27   
6.79/6.87	c 3920           20229          489401         1937407        0              2499           29   31   27   
6.89/6.90	c 3930           20278          490465         1943050        0              2509           29   35   29   
6.89/6.92	c 3940           20324          491966         1948088        0              2511           26   30   24   
6.89/6.94	c 3950           20370          493275         1954373        0              2513           31   33   29   
6.89/6.96	c 3960           20432          495221         1959860        0              2515           24   33   26   
6.89/6.97	c 3970           20484          496152         1964558        0              2525           30   43   32   
6.89/6.99	c 3980           20536          497103         1970220        0              2531           29   39   31   
6.99/7.00	c 3990           20588          498065         1974372        0              2539           34   41   34   
6.99/7.03	c 4000           20641          499225         1980193        0              2549           28   40   31   
6.99/7.03	c 4001           20673          499851         1981898        0              2550           32   32   16   
6.99/7.05	c 4010           20722          500918         1986463        0              2559           27   37   29   
6.99/7.07	c 4020           20778          501949         1991261        0              2567           30   41   33   
7.09/7.11	c 4030           20836          503238         1997669        0              2577           28   37   29   
7.09/7.13	c 4040           20887          504327         2002751        0              2587           30   39   32   
7.09/7.14	c 4050           20934          505214         2005741        0              2597           29   38   29   
7.09/7.16	c 4060           20992          506348         2011593        0              2604           31   41   32   
7.09/7.17	c 4070           21036          507535         2014579        0              2610           30   32   28   
7.09/7.18	c 4080           21093          508700         2018747        0              2618           34   44   34   
7.09/7.19	c 4090           21142          509702         2022452        0              2622           36   38   32   
7.19/7.20	c 4100           21188          510360         2026830        0              2632           29   37   31   
7.19/7.21	c 4110           21239          511383         2031006        0              2638           30   38   32   
7.19/7.22	c 4120           21287          512281         2034794        0              2647           29   34   28   
7.19/7.24	c 4130           21349          513361         2039789        0              2655           26   40   31   
7.19/7.25	c 4140           21402          514476         2044410        0              2656           33   43   34   
7.19/7.27	c 4150           21471          515706         2050024        0              2661           34   42   36   
7.19/7.29	c 4160           21520          516856         2054398        0              2671           31   38   32   
7.29/7.31	c 4170           21572          518423         2058800        0              2674           24   27   23   
7.29/7.33	c 4180           21610          519594         2063813        0              2679           24   25   22   
7.29/7.36	c 4190           21653          520762         2068286        0              2682           26   32   26   
7.29/7.37	c 4200           21691          521608         2070525        0              2687           25   25   22   
7.29/7.38	c 4210           21733          522817         2073831        0              2692           24   31   27   
7.29/7.39	c 4220           21785          523795         2078066        0              2696           29   38   33   
7.39/7.40	c 4230           21826          525257         2081557        0              2700           26   31   24   
7.39/7.41	c 4240           21876          526192         2085061        0              2705           35   38   33   
7.39/7.42	c 4250           21922          527178         2089035        0              2707           29   34   30   
7.39/7.44	c 4260           21992          528990         2095717        0              2711           25   33   27   
7.39/7.46	c 4270           22045          529932         2101116        0              2715           25   38   31   
7.39/7.47	c 4280           22096          530839         2104907        0              2722           15   39   27   
7.39/7.48	c 4290           22147          531804         2109703        0              2732           31   40   30   
7.39/7.49	c 4300           22196          532654         2113123        0              2742           27   38   32   
7.49/7.51	c 4310           22253          533718         2118013        0              2748           31   41   34   
7.49/7.53	c 4320           22310          534825         2123831        0              2758           32   42   34   
7.49/7.55	c 4330           22361          535875         2128296        0              2766           29   39   33   
7.49/7.56	c 4340           22414          536788         2131981        0              2770           33   37   32   
7.49/7.57	c 4350           22463          537839         2135605        0              2776           30   39   33   
7.59/7.60	c 4360           22523          538998         2142049        0              2786           31   41   33   
7.59/7.62	c 4370           22572          539942         2146056        0              2792           29   39   32   
7.59/7.66	c 4380           22621          541367         2153044        0              2802           29   35   30   
7.59/7.68	c 4390           22660          542725         2156473        0              2804           24   26   22   
7.70/7.71	c 4400           22714          543960         2162575        0              2812           29   39   32   
7.70/7.73	c 4410           22769          545384         2168694        0              2817           33   41   32   
7.70/7.77	c 4420           22818          546778         2175435        0              2827           29   35   30   
7.70/7.79	c 4430           22875          548790         2182453        0              2832           24   28   24   
7.80/7.81	c 4440           22929          550154         2187630        0              2835           34   38   31   
7.80/7.83	c 4450           22983          551207         2193267        0              2841           35   37   33   
7.80/7.85	c 4460           23030          552369         2198369        0              2842           33   34   30   
7.80/7.87	c 4470           23070          554106         2205121        0              2848           23   27   22   
7.80/7.89	c 4480           23119          555131         2210462        0              2852           27   33   28   
7.89/7.91	c 4490           23177          556286         2215840        0              2862           30   43   31   
7.89/7.92	c 4493           23213          557091         2218899        0              2865           29   34   24   
7.89/7.95	c 4500           23258          558169         2223621        0              2871           28   34   27   
7.89/7.96	c 4510           23292          559705         2228039        0              2875           24   24   21   
7.89/7.97	c 4520           23351          560858         2232118        0              2881           33   42   35   
7.89/7.99	c 4530           23393          561935         2236985        0              2886           27   32   28   
7.99/8.00	c 4540           23460          563179         2241896        0              2892           29   42   34   
7.99/8.02	c 4550           23510          564229         2246892        0              2902           27   38   29   
7.99/8.04	c 4560           23573          565333         2252712        0              2905           35   41   35   
7.99/8.06	c 4570           23635          566726         2258363        0              2910           22   41   31   
7.99/8.08	c 4580           23683          567837         2264981        0              2919           31   33   28   
7.99/8.09	c 4590           23740          568967         2268392        0              2927           32   43   35   
8.09/8.10	c 4600           23799          569831         2273161        0              2935           32   42   33   
8.09/8.15	c 4610           23848          571256         2280132        0              2945           29   35   30   
8.09/8.16	c 4620           23891          572617         2283503        0              2947           27   27   24   
8.09/8.19	c 4630           23948          573857         2289388        0              2957           28   38   29   
8.19/8.21	c 4640           23984          575233         2293932        0              2960           22   24   20   
8.19/8.22	c 4650           24020          576139         2296876        0              2964           24   24   21   
8.19/8.23	c 4660           24063          577333         2301774        0              2968           25   27   23   
8.19/8.27	c 4670           24120          578574         2307659        0              2978           28   38   29   
8.19/8.29	c 4680           24163          580332         2314585        0              2981           24   28   23   
8.29/8.30	c 4690           24215          582049         2318852        0              2986           24   34   23   
8.29/8.32	c 4700           24263          583090         2323317        0              2995           28   34   30   
8.29/8.33	c 4710           24325          584372         2327364        0              3001           23   39   32   
8.29/8.36	c 4720           24372          585579         2332959        0              3009           31   33   29   
8.29/8.39	c 4730           24427          586781         2338774        0              3016           30   39   32   
8.39/8.41	conflict 67lvl : 25 bt24-403:0(1385)X271571
8.39/8.42	conflict 67lvl : 26 bt26-437:0(1506)X271641
8.39/8.42	conflict 98lvl : 26 bt26-401:0(1494)X271711
8.39/8.42	conflict 67lvl : 25 bt25-440:0(1547)X271812
8.39/8.43	conflict 98lvl : 26 bt26-334:0(1493)X271882
8.39/8.43	conflict 133lvl : 27 bt27194:0(1500)X271983
8.39/8.43	conflict 99lvl : 26 bt26-440:0(1530)X272119
8.39/8.43	conflict 67lvl : 25 bt25-404:0(1302)X272221
8.39/8.44	conflict 67lvl : 26 bt26-859:0(1430)X272291
8.39/8.44	conflict 160lvl : 26 bt26-861:0(1343)X272361
8.39/8.44	conflict 193lvl : 25 bt25471:0(1377)X272524
8.39/8.45	c 4740           24479          590252         2356425        0              3026           25   26   23   
8.39/8.46	c 4750           24520          591371         2361537        0              3031           28   30   27   
8.39/8.50	c 4760           24573          592562         2366981        0              3039           29   39   33   
8.49/8.51	c 4770           24615          593928         2373078        0              3043           24   26   22   
8.49/8.53	c 4780           24653          594968         2376255        0              3047           24   26   22   
8.49/8.54	c 4790           24687          596402         2381403        0              3050           23   23   20   
8.49/8.56	c 4800           24732          597941         2387487        0              3053           25   27   24   
8.49/8.57	c 4810           24784          598781         2391604        0              3063           24   39   31   
8.49/8.59	c 4820           24840          599839         2396512        0              3073           31   43   34   
8.59/8.61	c 4830           24894          600748         2402463        0              3083           27   41   30   
8.59/8.62	c 4840           24937          602180         2405866        0              3086           24   24   21   
8.59/8.64	c 4850           24980          603111         2409599        0              3090           31   33   29   
8.59/8.65	c 4860           25030          604111         2415871        0              3097           27   33   27   
8.59/8.67	c 4870           25088          605178         2421786        0              3099           15   36   30   
8.59/8.68	conflict 99lvl : 28 bt28-125:0(1466)X275456
8.59/8.68	conflict 129lvl : 27 bt27-121:0(1488)X275558
8.59/8.68	c 4880           25133          606583         2424589        0              3101           27   29   25   
8.59/8.69	c 4890           25182          607602         2429224        0              3106           26   36   29   
8.69/8.71	c 4900           25227          608657         2434692        0              3107           32   33   29   
8.69/8.75	c 4910           25279          610016         2442789        0              3114           31   34   28   
8.69/8.78	c 4920           25326          611145         2447729        0              3124           29   35   30   
8.69/8.80	c 4930           25384          612148         2452572        0              3132           30   41   32   
8.80/8.82	c 4940           25439          613346         2458337        0              3140           28   38   30   
8.80/8.84	c 4950           25484          614353         2462679        0              3147           28   35   30   
8.80/8.86	c 4960           25530          615466         2468648        0              3149           28   30   26   
8.80/8.87	c 4970           25575          616428         2472844        0              3155           30   35   31   
8.80/8.90	c 4980           25629          617594         2478186        0              3159           36   36   32   
8.90/8.92	c 4990           25689          618686         2483909        0              3167           33   45   33   
8.90/8.98	c 5035           25814          621379         2498650        0              3180           32   44   36   
9.49/9.58	c 5631           27292          649541         2713380        0              3194           27   42   36   
10.39/10.44	c 6286           28724          684177         2928334        0              3209           29   45   35   
11.19/11.26	c 7006           30636          765314         3223562        0              3220           23   41   30   
11.99/12.07	c 7798           32826          807438         3506045        0              3225           28   44   36   
12.69/12.77	c 8669           35307          850568         3801741        0              3246           28   44   37   
13.89/13.92	c 9627           37527          936717         4227988        0              3255           20   36   23   
14.39/14.45	c 10680          40784          981352         4768088        0              3267           28   45   39   
17.29/17.30	c 11838          43827          1062505        5390921        0              3293           27   39   34   
18.59/18.61	c 13111          45774          1119532        5742777        0              3316           27   35   34   
19.39/19.44	c 14511          50039          1178245        6113280        0              3342           31   44   42   
20.29/20.39	c 16051          53763          1250264        6572551        0              3365           30   44   37   
21.99/22.03	c 17745          58442          1333894        7157733        0              3389           27   42   37   
22.49/22.56	c 19608          63515          1412896        7670071        0              3415           27   44   35   
24.68/24.78	c 21657          69369          1524599        8404819        0              3421           27   44   36   
27.38/27.43	c 23910          73993          1658272        9148762        0              3438           26   37   33   
29.88/29.93	c 26388          84778          1848843        10051629       0              3466           20   43   34   
31.89/32.00	c 29113          91348          1983485        10936905       0              3486           28   47   36   
33.88/33.96	c 32110          99407          2201350        11720386       0              3512           22   44   34   
37.08/37.15	c 35406          108575         2373116        12895128       0              3527           27   42   36   
38.28/38.30	c 39031          116105         2485682        13667263       0              3542           31   45   39   
40.18/40.24	c 43018          124756         2644532        14633072       0              3565           30   51   40   
44.09/44.15	c 47403          135367         2853780        15956016       0              3596           30   47   39   
48.88/48.94	c 52226          146455         3101568        17867570       0              3613           25   43   34   
53.18/53.21	c 57531          161404         3395652        19833428       0              3651           27   45   36   
57.68/57.72	c 63366          176456         3693016        21681116       0              3671           28   46   39   
64.27/64.33	c 69784          194195         4031468        23843852       0              3699           26   47   37   
67.57/67.65	c 76843          207412         4529020        25826920       0              3708           24   39   28   
75.47/75.53	c 84607          231704         4958571        28483242       0              3741           29   48   40   
81.87/81.91	c 93147          254087         5326706        31371273       0              3767           27   47   36   
87.97/88.04	c 102541         280658         5746010        33993062       0              3796           31   49   42   
97.57/97.64	c 112874         311940         6313298        37416674       0              3817           26   46   38   
106.26/106.31	c 124240         337309         6925438        41043836       0              3831           26   46   34   
114.66/114.72	c 136742         371823         7590848        45536724       0              3873           26   47   36   
124.27/124.37	c 150494         414452         8843118        49922371       0              3920           22   51   31   
136.26/136.36	c 165621         457356         9536399        54660160       0              3942           28   43   39   
150.25/150.39	c 182260         499726         10265928       60698403       0              3972           26   46   36   
165.35/165.46	c 200562         556342         11418879       67949954       0              4000           26   45   35   
179.55/179.67	c 220694         609532         12380386       74442490       0              4038           29   49   40   
199.05/199.19	c 242839         675770         13426144       83857684       0              4075           27   46   37   
215.94/216.00	c 267198         746163         14668591       92039599       0              4096           27   46   37   
230.33/230.42	c 293992         826460         16089950       99349495       0              4118           30   50   39   
252.33/252.49	c 323465         916460         17519557       108094854      0              4149           29   52   41   
278.52/278.62	c 355885         1006116        19069577       118491922      0              4180           25   47   37   
305.92/306.05	c 391547         1116954        21071496       131056523      0              4194           26   46   38   
328.82/328.90	c 430775         1199561        24146221       142413695      0              4198           20   44   29   
361.00/361.11	c 473925         1319294        26275487       154760697      0              4230           30   51   42   
399.79/399.95	c 521390         1468970        28755898       169648101      0              4262           29   48   40   
438.69/438.90	c 573601         1616553        31095689       187980319      0              4301           25   48   38   
487.07/487.22	c 631033         1798258        34121255       206352456      0              4328           14   50   39   
539.66/539.84	c 694208         1980504        37057604       229912274      0              4373           27   47   37   
575.35/575.56	c 763700         2146542        39554653       248519310      0              4398           28   50   40   
635.54/635.78	c 840141         2349190        43520004       275573931      0              4416           15   45   36   
711.92/712.12	c 924226         2609612        48004043       303288068      0              4438           26   50   38   
784.81/785.03	c 1016719        2904888        52446938       330415905      0              4458           27   50   41   
866.79/867.07	c 1118461        3225463        57562291       365958827      0              4508           27   48   39   
956.47/956.72	c 1230377        3595779        63972361       404439558      0              4540           26   46   39   
1061.15/1061.50	c 1353484        3928628        70403903       441664725      0              4575           28   50   39   
1140.03/1140.35	c 1488901        4295335        76449460       485380721      0              4601           26   48   38   
1252.90/1253.28	c 1637859        4740208        84053207       541104464      0              4643           25   48   38   
1372.27/1372.65	c 1801712        5189157        91955479       594306028      0              4670           26   50   40   
1526.74/1527.14	c 1981950        5698185        100652557      650587484      0              4693           26   49   39   
1702.20/1702.63	c 2180211        6260283        109985062      718964441      0              4752           26   50   39   
1849.87/1850.36	c 2398298        6904755        120549006      785394615      0              4781           24   48   37   
2049.12/2049.69	c 2638193        7582945        133368548      862662885      0              4812           24   47   37   
2251.47/2252.09	c 2902077        8337596        145392745      949437189      0              4848           27   50   40

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-4240783-1500626449/watcher-4240783-1500626449 -o /tmp/evaluation-result-4240783-1500626449/solver-4240783-1500626449 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17720 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240783-1500626449.xml 

pid=18872
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: 2.04 2.14 1.97 2/243 18875
/proc/meminfo: memFree=31747180/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=27108 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 1050 0 0 0 0 0 0 0 20 0 1 0 16059257 27758592 849 33554432000 4194304 5970956 140733360548176 140733360540512 140470957406794 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 6777 849 747 434 0 141 0

[startup+0.100147 s]
/proc/loadavg: 2.04 2.14 1.97 2/243 18875
/proc/meminfo: memFree=31747180/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=32980 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 1628 0 0 0 9 0 0 0 20 0 1 0 16059257 33771520 1443 33554432000 4194304 5970956 140733360548176 140733360545512 4908912 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8245 1443 833 434 0 1609 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32980

[startup+0.20027 s]
/proc/loadavg: 2.04 2.14 1.97 2/243 18875
/proc/meminfo: memFree=31747180/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=32980 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 1638 0 0 0 19 0 0 0 20 0 1 0 16059257 33771520 1443 33554432000 4194304 5970956 140733360548176 140733360545512 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8245 1443 833 434 0 1609 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32980

[startup+0.300236 s]
/proc/loadavg: 2.04 2.14 1.97 2/243 18875
/proc/meminfo: memFree=31747180/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=32980 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 1641 0 0 0 29 0 0 0 20 0 1 0 16059257 33771520 1443 33554432000 4194304 5970956 140733360548176 140733360545512 4961411 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8245 1443 833 434 0 1609 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32980

[startup+0.7002 s]
/proc/loadavg: 2.04 2.14 1.97 2/243 18875
/proc/meminfo: memFree=31747180/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=32980 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 1654 0 0 0 69 0 0 0 20 0 1 0 16059257 33771520 1443 33554432000 4194304 5970956 140733360548176 140733360545512 4964586 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8245 1443 833 434 0 1609 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32980

[startup+1.5002 s]
/proc/loadavg: 2.04 2.14 1.97 3/244 18876
/proc/meminfo: memFree=31744948/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=32980 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 1673 0 0 0 149 0 0 0 20 0 1 0 16059257 33771520 1509 33554432000 4194304 5970956 140733360548176 140733360545512 4908988 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8245 1509 837 434 0 1609 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32980

[startup+3.1002 s]
/proc/loadavg: 2.04 2.14 1.97 3/244 18876
/proc/meminfo: memFree=31744188/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=33108 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 2255 0 0 0 309 0 0 0 20 0 1 0 16059257 33902592 1524 33554432000 4194304 5970956 140733360548176 140733360545512 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8277 1524 837 434 0 1641 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33108

[startup+6.30022 s]
/proc/loadavg: 2.03 2.13 1.97 3/244 18876
/proc/meminfo: memFree=31743464/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=33108 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 2896 0 0 0 629 0 0 0 20 0 1 0 16059257 33902592 1562 33554432000 4194304 5970956 140733360548176 140733360545512 4967778 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8277 1562 838 434 0 1641 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33108

[startup+12.7002 s]
/proc/loadavg: 2.03 2.13 1.97 3/244 18876
/proc/meminfo: memFree=31743464/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=33108 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 3577 0 0 0 1269 0 0 0 20 0 1 0 16059257 33902592 1612 33554432000 4194304 5970956 140733360548176 140733360545512 4974704 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8277 1612 838 434 0 1641 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33108

[startup+25.5003 s]
/proc/loadavg: 2.02 2.12 1.97 3/244 18876
/proc/meminfo: memFree=31743464/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=33108 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 4764 0 0 0 2548 0 0 0 20 0 1 0 16059257 33902592 1641 33554432000 4194304 5970956 140733360548176 140733360545512 5052062 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8277 1641 838 434 0 1641 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33108

[startup+51.1003 s]
/proc/loadavg: 2.02 2.12 1.97 3/244 18876
/proc/meminfo: memFree=31742720/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=33108 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 5573 0 0 0 5108 0 0 0 20 0 1 0 16059257 33902592 1650 33554432000 4194304 5970956 140733360548176 140733360545512 5070855 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8277 1650 838 434 0 1641 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33108

[startup+102.3 s]
/proc/loadavg: 2.01 2.10 1.97 3/244 18877
/proc/meminfo: memFree=31741808/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=33108 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 6235 0 0 0 10227 0 0 0 20 0 1 0 16059257 33902592 1660 33554432000 4194304 5970956 140733360548176 140733360545512 4967797 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8277 1660 838 434 0 1641 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 33108

[startup+162.3 s]
/proc/loadavg: 2.00 2.08 1.97 3/244 18878
/proc/meminfo: memFree=31742036/32770624 swapFree=6792/300676
[pid=18875] ppid=18872 vsize=33108 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 6920 0 0 0 16225 0 0 0 20 0 1 0 16059257 33902592 1664 33554432000 4194304 5970956 140733360548176 140733360545512 4974248 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8277 1664 838 434 0 1641 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 33108

[startup+222.308 s]
/proc/loadavg: 2.00 2.07 1.97 3/244 18879
/proc/meminfo: memFree=31742208/32770624 swapFree=6792/301340
[pid=18875] ppid=18872 vsize=33240 CPUtime=222.24 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 7625 0 0 0 22224 0 0 0 20 0 1 0 16059257 34037760 1672 33554432000 4194304 5970956 140733360548176 140733360545512 4974608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1672 838 434 0 1674 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 33240

[startup+282.3 s]
/proc/loadavg: 2.00 2.05 1.97 3/244 18880
/proc/meminfo: memFree=31742200/32770624 swapFree=6792/301340
[pid=18875] ppid=18872 vsize=33240 CPUtime=282.22 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 8231 0 0 0 28222 0 0 0 20 0 1 0 16059257 34037760 1675 33554432000 4194304 5970956 140733360548176 140733360545512 5069728 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1675 838 434 0 1674 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 33240

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 1.97 3/243 18881
/proc/meminfo: memFree=31742200/32770624 swapFree=6792/301340
[pid=18875] ppid=18872 vsize=33240 CPUtime=342.21 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 8953 0 0 0 34221 0 0 0 20 0 1 0 16059257 34037760 1677 33554432000 4194304 5970956 140733360548176 140733360545512 4967883 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1677 838 434 0 1674 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 33240

[startup+402.3 s]
/proc/loadavg: 2.04 2.05 1.97 3/243 18882
/proc/meminfo: memFree=31741736/32770624 swapFree=6792/301340
[pid=18875] ppid=18872 vsize=33240 CPUtime=402.19 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 9592 0 0 0 40219 0 0 0 20 0 1 0 16059257 34037760 1680 33554432000 4194304 5970956 140733360548176 140733360545512 4908912 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1680 838 434 0 1674 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 33240

[startup+462.3 s]
/proc/loadavg: 2.02 2.04 1.97 3/243 18883
/proc/meminfo: memFree=31739544/32770624 swapFree=6792/301340
[pid=18875] ppid=18872 vsize=33240 CPUtime=462.18 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 10210 0 0 0 46218 0 0 0 20 0 1 0 16059257 34037760 1682 33554432000 4194304 5970956 140733360548176 140733360545512 4961411 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1682 838 434 0 1674 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 33240

[startup+522.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/243 18884
/proc/meminfo: memFree=31740588/32770624 swapFree=6792/301584
[pid=18875] ppid=18872 vsize=33240 CPUtime=522.17 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 10839 0 0 0 52217 0 0 0 20 0 1 0 16059257 34037760 1684 33554432000 4194304 5970956 140733360548176 140733360545512 5069728 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1684 838 434 0 1674 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 33240

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/243 18892
/proc/meminfo: memFree=31739796/32770624 swapFree=6792/301640
[pid=18875] ppid=18872 vsize=33240 CPUtime=582.15 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 11537 0 0 0 58215 0 0 0 20 0 1 0 16059257 34037760 1686 33554432000 4194304 5970956 140733360548176 140733360545512 4908985 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1686 838 434 0 1674 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 33240


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


[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/243 18939
/proc/meminfo: memFree=31738504/32770624 swapFree=6792/302220
[pid=18875] ppid=18872 vsize=33240 CPUtime=1481.95 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 20159 0 0 0 148194 1 0 0 20 0 1 0 16059257 34037760 1696 33554432000 4194304 5970956 140733360548176 140733360545512 4961411 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1696 838 434 0 1674 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 33240

[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 1.99 3/242 18940
/proc/meminfo: memFree=31738260/32770624 swapFree=6792/302220
[pid=18875] ppid=18872 vsize=33240 CPUtime=1541.94 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 20763 0 0 0 154193 1 0 0 20 0 1 0 16059257 34037760 1698 33554432000 4194304 5970956 140733360548176 140733360545512 4964524 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1698 838 434 0 1674 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 33240

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/243 18942
/proc/meminfo: memFree=31738368/32770624 swapFree=6792/302220
[pid=18875] ppid=18872 vsize=33240 CPUtime=1601.92 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 21192 0 0 0 160191 1 0 0 20 0 1 0 16059257 34037760 1698 33554432000 4194304 5970956 140733360548176 140733360545512 5052080 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1698 838 434 0 1674 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 33240

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 18943
/proc/meminfo: memFree=31737796/32770624 swapFree=6792/302220
[pid=18875] ppid=18872 vsize=33240 CPUtime=1661.91 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 21609 0 0 0 166190 1 0 0 20 0 1 0 16059257 34037760 1698 33554432000 4194304 5970956 140733360548176 140733360545512 5069728 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1698 838 434 0 1674 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 33240

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 18944
/proc/meminfo: memFree=31738156/32770624 swapFree=6792/302404
[pid=18875] ppid=18872 vsize=33240 CPUtime=1721.89 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 22210 0 0 0 172188 1 0 0 20 0 1 0 16059257 34037760 1700 33554432000 4194304 5970956 140733360548176 140733360545512 4968229 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1700 838 434 0 1674 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 33240

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/244 18953
/proc/meminfo: memFree=31737896/32770624 swapFree=6792/302440
[pid=18875] ppid=18872 vsize=33240 CPUtime=1781.88 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 22737 0 0 0 178187 1 0 0 20 0 1 0 16059257 34037760 1700 33554432000 4194304 5970956 140733360548176 140733360545512 4967758 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1700 838 434 0 1674 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 33240

[startup+1842.3 s]
/proc/loadavg: 2.13 2.05 2.00 3/244 18954
/proc/meminfo: memFree=31737708/32770624 swapFree=6792/302488
[pid=18875] ppid=18872 vsize=33240 CPUtime=1841.86 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 23203 0 0 0 184185 1 0 0 20 0 1 0 16059257 34037760 1700 33554432000 4194304 5970956 140733360548176 140733360545512 4908963 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1700 838 434 0 1674 0
Current children cumulated CPU time (s) 1841.86
Current children cumulated vsize (KiB) 33240

[startup+1902.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/244 18955
/proc/meminfo: memFree=31736404/32770624 swapFree=6792/302488
[pid=18875] ppid=18872 vsize=33240 CPUtime=1901.85 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 23751 0 0 0 190184 1 0 0 20 0 1 0 16059257 34037760 1702 33554432000 4194304 5970956 140733360548176 140733360545512 5052093 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1702 838 434 0 1674 0
Current children cumulated CPU time (s) 1901.85
Current children cumulated vsize (KiB) 33240

[startup+1962.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/244 18956
/proc/meminfo: memFree=31736932/32770624 swapFree=6792/302488
[pid=18875] ppid=18872 vsize=33240 CPUtime=1961.83 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 24111 0 0 0 196182 1 0 0 20 0 1 0 16059257 34037760 1702 33554432000 4194304 5970956 140733360548176 140733360545512 5052093 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1702 838 434 0 1674 0
Current children cumulated CPU time (s) 1961.83
Current children cumulated vsize (KiB) 33240

[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/244 18957
/proc/meminfo: memFree=31738236/32770624 swapFree=6792/302608
[pid=18875] ppid=18872 vsize=33240 CPUtime=2021.82 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 24552 0 0 0 202181 1 0 0 20 0 1 0 16059257 34037760 1702 33554432000 4194304 5970956 140733360548176 140733360545512 5070793 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1702 838 434 0 1674 0
Current children cumulated CPU time (s) 2021.82
Current children cumulated vsize (KiB) 33240

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/243 18958
/proc/meminfo: memFree=31737296/32770624 swapFree=6792/302608
[pid=18875] ppid=18872 vsize=33240 CPUtime=2081.81 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 25177 0 0 0 208180 1 0 0 20 0 1 0 16059257 34037760 1703 33554432000 4194304 5970956 140733360548176 140733360545512 4908971 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1703 838 434 0 1674 0
Current children cumulated CPU time (s) 2081.81
Current children cumulated vsize (KiB) 33240

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/243 18959
/proc/meminfo: memFree=31738012/32770624 swapFree=6792/302608
[pid=18875] ppid=18872 vsize=33240 CPUtime=2141.79 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 25650 0 0 0 214178 1 0 0 20 0 1 0 16059257 34037760 1703 33554432000 4194304 5970956 140733360548176 140733360545512 4908979 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1703 838 434 0 1674 0
Current children cumulated CPU time (s) 2141.79
Current children cumulated vsize (KiB) 33240

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/243 19026
/proc/meminfo: memFree=31589720/32770624 swapFree=6792/302828
[pid=18875] ppid=18872 vsize=33240 CPUtime=2201.79 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 26078 0 0 0 220178 1 0 0 20 0 1 0 16059257 34037760 1703 33554432000 4194304 5970956 140733360548176 140733360545512 5052048 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1703 838 434 0 1674 0
Current children cumulated CPU time (s) 2201.79
Current children cumulated vsize (KiB) 33240

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 19027
/proc/meminfo: memFree=31585412/32770624 swapFree=6788/302832
[pid=18875] ppid=18872 vsize=33240 CPUtime=2261.76 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 26718 0 0 0 226175 1 0 0 20 0 1 0 16059257 34037760 1704 33554432000 4194304 5970956 140733360548176 140733360545512 4908982 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1704 838 434 0 1674 0
Current children cumulated CPU time (s) 2261.76
Current children cumulated vsize (KiB) 33240

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 19028
/proc/meminfo: memFree=31583848/32770624 swapFree=6792/302912
[pid=18875] ppid=18872 vsize=33240 CPUtime=2321.75 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 27101 0 0 0 232174 1 0 0 20 0 1 0 16059257 34037760 1704 33554432000 4194304 5970956 140733360548176 140733360545512 4967836 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1704 838 434 0 1674 0
Current children cumulated CPU time (s) 2321.75
Current children cumulated vsize (KiB) 33240

[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/244 19037
/proc/meminfo: memFree=31584568/32770624 swapFree=6792/302996
[pid=18875] ppid=18872 vsize=33240 CPUtime=2381.74 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 27490 0 0 0 238173 1 0 0 20 0 1 0 16059257 34037760 1704 33554432000 4194304 5970956 140733360548176 140733360545512 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1704 838 434 0 1674 0
Current children cumulated CPU time (s) 2381.74
Current children cumulated vsize (KiB) 33240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.05 2.03 2.01 3/244 19037
/proc/meminfo: memFree=31584568/32770624 swapFree=6792/302996
[pid=18875] ppid=18872 vsize=33240 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/18875/stat : 18875 (cosoco) R 18872 18875 17688 0 -1 4202496 27792 0 0 0 240002 1 0 0 20 0 1 0 16059257 34037760 1704 33554432000 4194304 5970956 140733360548176 140733360545512 5070093 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 12255232 140733360555196 140733360555331 140733360555331 140733360558030 0
/proc/18875/statm: 8310 1704 838 434 0 1674 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 33240

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 18875 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.05
CPU user time (s): 2400.03
CPU system time (s): 0.018995
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 33240

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12452 second user time and 10.5215 second system time

The end

Launcher Data 

Begin job on node112 at 2017-07-21 10:40:49
IDJOB=4240783
IDBENCH=124113
IDSOLVER=2621
FILE ID=node112/4240783-1500626449
RUNJOBID= node112-1500623784-17720
PBS_JOBID= 20623019
Free space on /tmp= 62020 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-035.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240783-1500626449/watcher-4240783-1500626449 -o /tmp/evaluation-result-4240783-1500626449/solver-4240783-1500626449 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17720 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240783-1500626449.xml

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

MD5SUM BENCH= fe30f006f3af9f6842518347a037ed7d
RANDOM SEED=495921098

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

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

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
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		: 2400.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	: 5334.09
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		: 2668.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	: 5334.09
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		: 1733.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	: 5334.09
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:        31746856 kB
MemAvailable:   31984000 kB
Buffers:          133048 kB
Cached:           384696 kB
SwapCached:            0 kB
Active:           272028 kB
Inactive:         309444 kB
Active(anon):      67140 kB
Inactive(anon):     8768 kB
Active(file):     204888 kB
Inactive(file):   300676 kB
Unevictable:        6792 kB
Mlocked:            6800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2488 kB
Writeback:             0 kB
AnonPages:        146412 kB
Mapped:            33428 kB
Shmem:              8848 kB
Slab:             128064 kB
SReclaimable:      94828 kB
SUnreclaim:        33236 kB
KernelStack:        4256 kB
PageTables:         5140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     335748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62020 MiB
End job on node112 at 2017-07-21 11:20:50