Trace number 4266003

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
cosoco-sat 1.12? (TO) 2519.8701 2520.01

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s13/
Blackhole-4-13-2_X2.xml
MD5SUM88708c27ba26ffc45c437651276dcd59
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables208
Number of constraints4218
Number of domains4
Minimum domain size1
Maximum domain size52
Distribution of domain sizes[{"size":1,"count":2},{"size":13,"count":52},{"size":26,"count":51},{"size":52,"count":102}]
Minimum variable degree0
Maximum variable degree104
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":53},{"degree":3,"count":50},{"degree":52,"count":1},{"degree":53,"count":34},{"degree":54,"count":17},{"degree":104,"count":52}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4218}]
Number of extensional constraints4218
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4218}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.18	c SAT : Variables: 7334 -- Clauses: 156414
0.10/0.24	c root propagations     : 793         
0.10/0.24	c restarts enabled, print stats at every restarts
0.10/0.24	c
0.10/0.24	c
0.10/0.24	c
0.10/0.24	c This is cosoco 1.12 --  
0.10/0.24	c
0.10/0.24	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266003-1502583709.xml 
0.10/0.24	c ========================================[ Problem Statistics ]===========================================
0.10/0.24	c |                                                                                                       
0.10/0.24	c |  Parse time        :         0.13 s 
0.10/0.24	c |
0.10/0.24	c |               Variables: 208
0.10/0.24	c |            Domain Sizes: 1..52
0.10/0.24	c |
0.10/0.24	c |             Constraints: 4218
0.10/0.24	c |                   Arity: 2..2  -- Binary: 4218
0.10/0.24	c | 
0.10/0.24	c |                   Types: 
0.10/0.24	c |                          Extension: 4218  (nb tuples: 0..1326) -- (shared: 4208)
0.10/0.24	c |                          
0.10/0.24	c =========================================================================================================
0.10/0.24	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.24	c remove useless variable z[0]
0.10/0.26	c 10             125            78425          4987           126            2              101   107   95 
0.10/0.27	c 20             260            142796         9107           126            4              114   117   105
0.10/0.28	c 30             392            192848         13105          126            6              108   114   101
0.10/0.29	c 40             530            242163         17069          126            8              113   119   106
0.10/0.31	c 50             682            310354         21050          126            10             130   134   120
0.20/0.33	c 60             831            389128         25240          126            12             123   131   116
0.20/0.35	c 70             1001           463403         29718          126            15             104   135   99 
0.20/0.36	c 80             1121           527047         33855          126            19             90   105   86  
0.20/0.38	c 90             1168           594847         38150          126            23             22   27   21   
0.20/0.39	c 100            1213           666965         42564          126            28             19   24   20   
0.20/0.41	c 101            1249           737431         46301          126            29             36   36   18   
0.30/0.43	c 110            1306           808376         50169          126            31             31   38   30   
0.30/0.45	c 120            1368           886651         54700          126            35             39   42   37   
0.30/0.46	c 130            1425           982207         59783          126            39             31   35   30   
0.30/0.49	c 140            1476           1077893        64704          126            42             33   36   31   
0.30/0.50	c 150            1537           1152165        68586          126            47             39   43   38   
0.40/0.53	c 160            1599           1269650        74274          126            50             36   39   33   
0.40/0.54	c 170            1664           1344183        78577          126            55             48   50   45   
0.40/0.57	c 180            1718           1438275        84326          126            58             33   37   32   
0.40/0.59	c 190            1777           1544310        92372          126            65             9   46   34    
0.49/0.61	c 200            1835           1638464        97038          126            68             40   44   38   
0.49/0.63	c 210            1908           1730485        103187         126            71             45   49   42   
0.49/0.65	c 211            1950           1810815        107154         126            72             42   42   21   
0.49/0.66	c 220            2020           1890001        112481         126            75             44   49   41   
0.49/0.68	c 230            2083           1980097        117077         126            77             42   44   39   
0.58/0.70	c 240            2154           2074819        123391         126            80             49   52   45   
0.58/0.72	c 250            2239           2168366        127340         126            83             58   60   52   
0.58/0.75	c 260            2279           2257364        152910         126            86             17   20   16   
0.58/0.77	c 270            2348           2381749        160082         126            90             44   46   41   
0.68/0.80	c 280            2405           2478757        165107         126            91             38   40   35   
0.68/0.81	c 290            2466           2556373        169507         126            94             43   45   40   
0.68/0.84	c 300            2532           2660390        173923         126            97             21   48   39   
0.68/0.85	c 310            2597           2742975        178991         126            100            39   44   37   
0.68/0.88	c 320            2682           2861791        185351         126            106            40   48   40   
0.78/0.90	c 330            2751           2937043        189734         126            110            38   41   37   
0.78/0.91	c 332            2795           3008455        193506         126            111            43   43   28   
0.78/0.94	c 340            2864           3102891        197992         126            115            54   57   49   
0.78/0.96	c 350            2991           3210290        203672         126            119            43   58   47   
0.78/0.98	c 360            3060           3284779        208036         126            123            38   41   37   
0.78/0.99	c 370            3125           3363896        212121         126            126            48   53   45   
0.89/1.02	c 380            3183           3473144        220066         126            131            23   44   37   
0.89/1.04	c 390            3241           3564594        226129         126            133            35   38   33   
0.89/1.06	c 400            3316           3653159        231548         126            135            47   51   44   
0.89/1.08	c 410            3393           3739315        235587         126            139            55   60   53   
0.89/1.10	c 420            3457           3845823        241037         126            141            42   45   39   
0.99/1.12	c 430            3520           3931295        246078         126            151            43   47   40   
0.99/1.14	c 440            3602           4028632        251719         126            159            50   59   47   
0.99/1.17	c 450            3670           4150105        257461         126            160            45   48   42   
0.99/1.19	c 460            3746           4245840        262461         126            164            45   51   43   
1.08/1.21	c 465            3817           4325206        266396         126            165            52   62   46   
1.08/1.23	c 470            3875           4410360        278589         126            168            13   49   22   
1.08/1.25	c 480            3935           4487766        284438         126            171            43   46   39   
1.08/1.27	c 490            4019           4588369        290486         126            179            37   63   48   
1.08/1.29	c 500            4103           4685895        296201         126            183            45   51   43   
1.18/1.31	c 510            4181           4801543        302879         126            185            55   59   51   
1.18/1.34	c 520            4262           4915854        308061         126            187            49   62   47   
1.18/1.36	c 530            4352           5018210        314311         126            193            47   57   47   
1.18/1.38	c 540            4415           5109395        319275         126            195            48   49   44   
1.28/1.41	c 550            4493           5216489        324140         126            198            50   54   47   
1.28/1.43	c 560            4562           5336324        329757         126            202            48   51   45   
1.28/1.45	c 570            4633           5436133        335535         126            205            50   53   46   
1.28/1.47	c 580            4700           5519121        339996         126            208            43   48   42   
1.38/1.50	c 590            4784           5628449        346356         126            211            45   54   43   
1.38/1.52	c 600            4848           5722057        350998         126            213            48   50   44   
1.38/1.54	c 610            4923           5832952        357014         126            221            53   56   49   
1.38/1.55	c 611            4936           5861914        358895         126            222            13   13   6    
1.38/1.57	c 620            5010           5948575        363769         126            226            45   49   43   
1.38/1.59	c 630            5087           6038922        368266         126            228            57   61   54   
1.48/1.61	c 640            5169           6117691        372511         126            234            59   62   55   
1.48/1.63	c 650            5242           6205520        377322         126            238            48   51   45   
1.48/1.65	c 660            5314           6303746        383251         126            240            56   57   51   
1.48/1.67	c 670            5408           6393963        387503         126            247            50   74   58   
1.48/1.69	c 680            5485           6486232        393877         126            250            49   54   46   
1.58/1.71	c 690            5560           6575091        398649         126            253            51   53   47   
1.58/1.73	c 700            5661           6679958        403882         126            257            55   70   56   
1.58/1.76	c 710            5721           6795329        408557         126            259            46   47   42   
1.58/1.78	c 720            5819           6891525        413491         126            265            55   65   55   
1.68/1.80	c 730            5883           6974919        417979         126            266            50   53   46   
1.68/1.82	c 740            5944           7067406        433860         126            268            33   38   33   
1.68/1.84	c 750            6024           7153259        439856         126            271            12   62   51   
1.68/1.86	c 760            6113           7255977        445326         126            275            50   63   48   
1.68/1.88	c 770            6187           7352498        450982         126            278            50   53   47   
1.78/1.90	c 771            6227           7427703        454536         126            279            40   40   20   
1.78/1.92	c 780            6294           7522403        458895         126            284            34   54   46   
1.78/1.94	c 790            6369           7612659        464503         126            287            56   58   52   
1.78/1.97	c 800            6432           7735637        474659         126            289            47   47   42   
1.78/1.99	c 810            6497           7820119        479246         126            291            51   55   48   
1.89/2.01	c 820            6561           7946019        489945         126            293            48   48   43   
1.89/2.03	c 830            6649           8036964        494404         126            297            45   54   47   
1.89/2.06	c 840            6717           8141033        500451         126            305            46   53   43   
1.89/2.09	c 850            6787           8257791        507271         126            307            51   54   47   
1.99/2.11	c 860            6854           8363631        514079         126            312            51   53   47   
1.99/2.13	c 870            6920           8471097        520551         126            314            51   51   46   
1.99/2.16	c 880            6991           8578950        526871         126            316            51   53   47   
1.99/2.17	c 890            7068           8654985        531353         126            319            49   54   48   
2.08/2.20	c 900            7142           8759806        536408         126            323            55   57   51   
2.08/2.22	c 910            7208           8847231        541230         126            329            49   51   46   
2.08/2.24	c 920            7281           8963226        547509         126            330            58   60   53   
2.08/2.26	c 930            7372           9050225        552938         126            336            50   53   47   
2.08/2.28	c 940            7441           9159779        559422         126            340            51   53   47   
2.18/2.31	c 947            7516           9251744        563766         126            344            60   63   54   
2.18/2.32	conflict 76lvl : 52 bt48-1335:0(3118)X2275993
2.18/2.32	c 950            7587           9329412        567723         126            347            55   55   41   
2.18/2.34	c 960            7674           9417642        572338         126            348            61   65   57   
2.18/2.36	c 970            7743           9499085        577124         126            352            47   51   45   
2.18/2.38	c 980            7824           9591667        583086         126            354            50   55   48   
2.28/2.40	c 990            7898           9680556        588000         126            356            49   53   47   
2.28/2.42	c 1000           7966           9791450        593017         126            357            52   54   47   
2.28/2.44	c 1010           8043           9882198        598515         126            361            54   56   50   
2.28/2.46	c 1020           8118           9967766        603272         126            363            57   59   52   
2.28/2.48	c 1030           8188           10044517       607434         126            367            54   56   49   
2.38/2.50	c 1040           8267           10132387       612169         126            370            60   63   55   
2.38/2.52	c 1050           8338           10217994       617040         126            373            48   52   46   
2.38/2.54	c 1060           8441           10323069       623289         126            378            10   64   50   
2.38/2.56	c 1070           8523           10407802       627313         126            382            60   62   55   
2.38/2.58	c 1080           8586           10506388       632772         126            386            48   50   44   
2.48/2.60	c 1090           8671           10583693       637187         126            389            54   62   53   
2.48/2.62	c 1100           8769           10664618       641383         126            392            45   53   46   
2.48/2.64	c 1110           8846           10752543       647196         126            395            56   59   52   
2.48/2.66	c 1120           8893           10837412       652570         126            398            34   34   30   
2.48/2.67	c 1130           8965           10915097       657406         126            399            54   57   50   
2.48/2.69	c 1140           9030           11011357       662749         126            401            51   52   47   
2.58/2.72	c 1141           9076           11100441       666556         126            402            46   46   23   
2.58/2.74	c 1150           9143           11192691       671015         126            404            51   53   47   
2.58/2.76	c 1160           9235           11282026       675449         126            410            27   74   58   
2.58/2.77	c 1170           9314           11358003       679744         126            413            56   58   52   
2.58/2.79	c 1180           9398           11439604       683926         126            416            60   62   55   
2.68/2.81	c 1190           9494           11525833       688032         126            420            54   61   53   
2.68/2.83	c 1200           9578           11612723       692821         126            424            63   64   57   
2.68/2.85	c 1210           9643           11711043       697935         126            425            47   50   44   
2.68/2.87	c 1220           9735           11811714       704774         126            433            38   53   43   
2.78/2.90	c 1230           9813           11932978       710475         126            436            50   56   49   
2.78/2.92	c 1240           9892           12018710       715106         126            440            58   59   53   
2.78/2.94	c 1250           9976           12112669       720508         126            446            51   55   48   
2.78/2.96	c 1260           10055          12204352       726123         126            448            48   53   46   
2.78/2.97	c 1270           10124          12289276       730878         126            453            46   51   44   
2.78/3.00	c 1280           10210          12387595       735681         126            458            50   54   47   
2.89/3.02	c 1290           10297          12485596       742593         126            462            51   57   49   
2.89/3.04	c 1300           10391          12583483       747495         126            465            47   62   45   
2.89/3.06	c 1310           10474          12666888       751894         126            469            50   59   50   
2.89/3.08	c 1320           10552          12779892       759753         126            473            45   56   42   
2.89/3.10	c 1330           10631          12871743       765017         126            477            55   57   51   
2.99/3.12	c 1340           10722          12972064       769719         126            482            48   64   56   
2.99/3.14	c 1350           10805          13057832       774130         126            486            50   59   50   
2.99/3.15	c 1352           10854          13124942       777924         126            488            47   47   31   
2.99/3.17	c 1360           10926          13206942       782532         126            493            19   60   47   
2.99/3.19	c 1370           10991          13285839       787240         126            501            42   46   40   
3.08/3.21	c 1380           11062          13388200       792122         126            504            52   54   48   
3.08/3.23	c 1390           11141          13480837       797019         126            508            39   49   39   
3.08/3.26	c 1400           11214          13594812       802471         126            515            39   47   38   
3.08/3.28	c 1410           11293          13688827       807704         126            519            55   57   51   
3.18/3.30	c 1420           11391          13780107       812026         126            524            41   59   51   
3.18/3.32	c 1430           11476          13871186       817004         126            530            47   53   46   
3.18/3.34	c 1440           11538          13952748       821307         126            532            30   41   35   
3.18/3.36	c 1450           11613          14044135       826322         126            535            53   55   49   
3.18/3.39	c 1460           11677          14162639       831877         126            539            43   44   39   
3.28/3.41	c 1470           11758          14267824       838032         126            543            46   53   45   
3.28/3.43	c 1480           11828          14355802       842535         126            548            37   45   38   
3.28/3.45	c 1490           11910          14463060       848466         126            553            48   55   46   
3.28/3.47	c 1500           11977          14546594       852654         126            557            41   44   39   
3.28/3.49	c 1510           12052          14653142       858288         126            563            48   54   45   
3.38/3.52	c 1520           12124          14747430       863173         126            570            46   49   42   
3.38/3.54	c 1530           12196          14871040       869907         126            572            49   51   45   
3.38/3.56	c 1540           12261          14971987       875094         126            575            45   46   41   
3.38/3.59	c 1550           12331          15094930       881647         126            577            49   51   45   
3.48/3.61	c 1560           12415          15172510       885593         126            581            50   51   46   
3.48/3.63	c 1570           12480          15278507       891818         126            584            49   51   45   
3.48/3.66	c 1580           12549          15394521       897637         126            586            49   51   45   
3.48/3.68	c 1585           12598          15490735       904246         126            589            38   40   32   
3.48/3.70	c 1590           12658          15564887       908217         126            592            54   54   45   
3.58/3.72	c 1600           12724          15656589       912704         126            596            46   50   43   
3.58/3.74	c 1610           12801          15775375       919102         126            598            46   54   44   
3.58/3.76	c 1620           12862          15854331       923453         126            600            48   48   43   
3.58/3.78	c 1630           12934          15944395       927761         126            604            41   53   46   
3.68/3.80	c 1640           13001          16047487       933211         126            607            53   55   49   
3.68/3.83	c 1650           13082          16147124       937902         126            612            45   60   53   
3.68/3.85	c 1660           13159          16251929       943098         126            614            54   57   50   
3.68/3.87	c 1670           13229          16368683       949235         126            616            49   51   45   
3.68/3.90	c 1680           13304          16460693       954752         126            621            28   57   46   
3.78/3.92	c 1690           13400          16564657       959544         126            624            54   57   50   
3.78/3.94	c 1700           13486          16647650       964566         126            629            41   50   42   
3.78/3.96	c 1710           13555          16763097       970382         126            630            49   51   45   
3.78/3.98	c 1720           13644          16850594       975615         126            634            39   50   41   
3.78/4.00	c 1730           13715          16932290       979752         126            636            54   55   49   
3.89/4.02	c 1740           13775          17017135       984260         126            640            39   44   37   
3.89/4.04	c 1750           13854          17135127       990757         126            642            46   56   44   
3.89/4.07	c 1760           13932          17228623       995025         126            645            54   59   51   
3.89/4.08	c 1770           13989          17312951       1000227        126            646            42   44   39   
3.99/4.11	c 1780           14058          17423813       1006756        126            650            53   54   49   
3.99/4.13	c 1790           14132          17520971       1011014        126            654            40   50   43   
3.99/4.16	c 1800           14209          17653701       1020376        126            658            46   53   47   
3.99/4.18	c 1810           14299          17750530       1025507        126            664            45   53   45   
4.08/4.21	c 1820           14362          17864330       1032721        126            671            50   53   46   
4.08/4.23	c 1830           14445          17956012       1037425        126            675            42   47   41   
4.08/4.26	c 1840           14515          18076263       1045447        126            681            49   53   46   
4.08/4.27	c 1841           14568          18144717       1049177        126            682            53   53   26   
4.08/4.29	c 1850           14627          18245737       1055063        126            685            46   47   42   
4.18/4.32	c 1860           14710          18346353       1059208        126            690            59   62   55   
4.18/4.34	c 1870           14791          18452690       1064444        126            696            54   58   50   
4.18/4.36	c 1880           14845          18535061       1069099        126            698            37   38   34   
4.18/4.38	c 1890           14935          18653877       1075581        126            701            51   59   49   
4.28/4.40	c 1900           15005          18745290       1080483        126            704            38   41   36   
4.28/4.43	c 1910           15080          18847435       1085714        126            709            48   57   48   
4.28/4.46	c 1920           15151          18993035       1096757        126            713            47   49   43   
4.28/4.48	c 1930           15220          19085988       1101709        126            717            53   54   48   
4.38/4.50	c 1940           15284          19201743       1108466        126            720            42   45   38   
4.38/4.53	c 1950           15387          19304182       1113226        126            722            54   54   49   
4.38/4.55	c 1960           15455          19414989       1118958        126            725            44   47   41   
4.38/4.57	c 1970           15540          19525953       1125209        126            731            49   56   48   
4.48/4.60	c 1980           15620          19638126       1129673        126            733            47   53   46   
4.48/4.62	c 1990           15717          19743422       1135786        126            737            44   54   46   
4.48/4.64	c 2000           15790          19825140       1139928        126            739            56   57   51   
4.48/4.66	c 2010           15857          19917971       1144381        126            741            42   46   40   
4.48/4.68	c 2020           15936          20008840       1148789        126            744            54   56   50   
4.58/4.70	c 2030           15997          20093824       1153232        126            746            39   44   38   
4.58/4.72	c 2040           16074          20200109       1159099        126            749            54   58   51   
4.58/4.75	c 2050           16151          20311737       1163561        126            751            47   53   46   
4.58/4.77	c 2060           16237          20413201       1169001        126            753            45   52   45   
4.68/4.80	c 2070           16295          20538531       1181157        126            756            38   39   34   
4.68/4.82	c 2080           16387          20637797       1185892        126            757            46   52   46   
4.68/4.84	c 2090           16467          20735618       1191219        126            759            40   46   38   
4.68/4.86	c 2100           16541          20834336       1195373        126            762            54   56   50   
4.68/4.89	c 2110           16614          20943117       1199579        126            766            50   52   46   
4.78/4.91	c 2120           16680          21032136       1204106        126            767            48   51   44   
4.78/4.93	c 2122           16726          21124764       1208979        126            768            44   44   29   
4.78/4.95	c 2130           16793          21228233       1214518        126            773            52   54   46   
4.78/4.97	c 2140           16861          21296569       1218195        126            776            44   44   40   
4.78/4.99	c 2150           16936          21426590       1225691        126            779            54   56   50   
4.89/5.02	c 2160           17009          21528219       1230669        126            782            41   49   41   
4.89/5.04	c 2170           17077          21637554       1237392        126            786            45   48   42   
4.89/5.06	c 2180           17182          21733995       1242516        126            787            39   54   41   
4.89/5.08	c 2190           17250          21821490       1248483        126            790            48   50   44   
4.89/5.10	c 2200           17336          21924579       1254348        126            794            40   51   39   
4.99/5.13	c 2210           17439          22022794       1259160        126            796            53   53   48   
4.99/5.14	c 2220           17522          22107544       1263684        126            799            39   51   40   
4.99/5.17	c 2230           17597          22231360       1270028        126            801            53   55   49   
4.99/5.19	c 2240           17655          22334062       1275177        126            804            39   40   35   
5.08/5.22	c 2250           17721          22446456       1281630        126            809            49   51   45   
5.08/5.24	c 2260           17797          22527132       1285574        126            813            48   50   44   
5.08/5.26	c 2270           17879          22630301       1291123        126            819            48   60   51   
5.08/5.28	c 2280           17950          22722573       1295654        126            823            44   52   43   
5.18/5.30	c 2290           18032          22825742       1301203        126            829            48   60   51   
5.18/5.32	c 2300           18107          22919621       1305791        126            833            45   56   44   
5.18/5.35	c 2310           18183          23027770       1311308        126            836            54   56   49   
5.18/5.37	c 2320           18269          23141540       1316467        126            840            53   67   50   
5.18/5.39	c 2330           18345          23232337       1322059        126            844            50   53   47   
5.28/5.42	c 2340           18413          23371733       1333957        126            848            43   44   39   
5.28/5.44	c 2350           18505          23474697       1339508        126            851            44   52   45   
5.28/5.46	c 2360           18575          23564421       1344997        126            855            51   53   47   
5.28/5.48	c 2370           18647          23664679       1350226        126            859            43   51   43   
5.38/5.51	c 2380           18724          23780574       1356991        126            861            55   57   50   
5.38/5.53	c 2390           18814          23866769       1361006        126            866            40   64   52   
5.38/5.55	c 2400           18882          23978782       1366175        126            869            47   52   44   
5.38/5.58	c 2410           18957          24104257       1373196        126            872            54   56   50   
5.48/5.60	c 2420           19022          24213205       1378546        126            875            41   43   38   
5.48/5.63	c 2430           19092          24319253       1383951        126            880            52   55   49   
5.48/5.65	c 2431           19133          24404067       1387646        126            881            41   41   20   
5.48/5.67	c 2440           19202          24513088       1393193        126            887            53   56   48   
5.48/5.69	conflict 113lvl : 43 bt42-4337:0(2677)X2303906
5.58/5.70	c 2450           19292          24638695       1401899        126            891            45   58   45   
5.58/5.72	c 2460           19360          24750741       1408549        126            893            51   53   47   
5.58/5.74	c 2470           19418          24842676       1413886        126            897            39   44   38   
5.58/5.77	c 2480           19491          24943094       1419116        126            901            44   52   44   
5.58/5.79	c 2490           19565          25042641       1423884        126            904            55   56   50   
5.68/5.81	c 2500           19635          25139864       1428953        126            907            46   51   44   
5.68/5.83	c 2510           19714          25245951       1434180        126            909            51   61   53   
5.68/5.86	c 2520           19786          25345257       1438884        126            914            42   56   45   
5.68/5.88	c 2530           19854          25459163       1445621        126            917            51   53   47   
5.78/5.90	c 2540           19929          25552617       1450923        126            920            55   57   50   
5.78/5.92	c 2550           20015          25638306       1455878        126            924            43   49   42   
5.78/5.94	c 2560           20096          25724723       1460426        126            927            46   63   54   
5.78/5.96	c 2570           20166          25813158       1465209        126            931            50   53   46   
5.78/5.98	c 2580           20237          25903021       1470431        126            936            47   53   47   
5.78/6.00	c 2590           20310          25995874       1475275        126            938            51   54   48   
5.89/6.02	c 2600           20392          26082959       1479808        126            941            47   64   55   
5.89/6.04	c 2610           20468          26177876       1484368        126            945            57   59   52   
5.89/6.06	c 2620           20555          26269070       1488996        126            948            62   64   57   
5.89/6.08	c 2630           20663          26372469       1493773        126            950            57   57   51   
5.99/6.11	c 2640           20756          26490475       1500723        126            956            48   56   48   
5.99/6.13	c 2650           20839          26599217       1505921        126            958            53   62   53   
5.99/6.15	c 2660           20923          26682435       1510091        126            963            42   57   47   
5.99/6.17	c 2670           21002          26800219       1516294        126            969            55   65   51   
6.08/6.21	c 2680           21073          26963961       1527859        126            972            44   46   41   
6.08/6.23	c 2690           21144          27084003       1534637        126            974            52   54   48   
6.08/6.26	c 2700           21230          27197378       1540279        126            980            52   59   50   
6.08/6.28	c 2710           21302          27316006       1546876        126            984            54   57   50   
6.18/6.30	c 2720           21370          27393953       1551583        126            986            48   51   44   
6.18/6.32	c 2730           21436          27479722       1555639        126            992            47   51   44   
6.18/6.35	c 2740           21508          27592630       1561742        126            999            55   57   50   
6.18/6.37	c 2750           21574          27710157       1566819        126            1000           49   51   45   
6.18/6.39	c 2760           21647          27800099       1571213        126            1003           54   56   50   
6.28/6.41	c 2770           21716          27878188       1575919        126            1005           49   52   45   
6.28/6.43	c 2771           21762          27957079       1579681        126            1006           46   46   23   
6.28/6.45	c 2780           21841          28047821       1584099        126            1008           56   57   50   
6.28/6.47	c 2790           21909          28145855       1589247        126            1010           47   49   44   
6.28/6.49	c 2800           21981          28264564       1596117        126            1012           55   56   50   
6.38/6.51	c 2810           22055          28344353       1600491        126            1015           48   51   45   
6.38/6.54	c 2820           22125          28463984       1607372        126            1018           54   56   50   
6.38/6.56	c 2830           22220          28569420       1611648        126            1023           47   61   54   
6.38/6.59	c 2840           22294          28672140       1615938        126            1024           55   57   51   
6.48/6.61	c 2850           22376          28786615       1620747        126            1027           46   51   45   
6.48/6.64	c 2860           22451          28912488       1627209        126            1030           53   55   49   
6.48/6.66	c 2870           22512          29017668       1632740        126            1032           39   44   36   
6.48/6.69	c 2880           22627          29143826       1638446        126            1037           51   63   54   
6.58/6.71	c 2890           22695          29267591       1643516        126            1038           51   53   46   
6.58/6.74	c 2900           22768          29389073       1649958        126            1041           53   57   50   
6.58/6.76	c 2910           22840          29479087       1655318        126            1043           56   58   51   
6.58/6.78	c 2920           22909          29567688       1660171        126            1045           47   50   44   
6.68/6.80	c 2930           22981          29656092       1665569        126            1047           56   58   51   
6.68/6.82	c 2940           23050          29740459       1670229        126            1051           49   51   45   
6.68/6.85	c 2950           23126          29863809       1676211        126            1058           49   55   46   
6.68/6.87	c 2960           23195          29952504       1681064        126            1060           47   50   44   
6.68/6.89	c 2970           23267          30043006       1686463        126            1062           56   58   51   
6.78/6.90	c 2980           23339          30131329       1691303        126            1066           45   50   44   
6.78/6.93	c 2990           23420          30246560       1696108        126            1070           47   51   44   
6.78/6.95	c 3000           23502          30349950       1700699        126            1073           59   62   54   
6.78/6.98	c 3010           23578          30445824       1705838        126            1078           54   56   50   
6.78/7.00	c 3020           23661          30543154       1711024        126            1080           42   44   39   
6.89/7.03	c 3030           23734          30667862       1717001        126            1087           47   53   44   
6.89/7.05	c 3040           23803          30759253       1722691        126            1093           35   42   35   
6.89/7.08	c 3050           23887          30892199       1729573        126            1096           48   53   46   
6.89/7.10	c 3060           23961          31016729       1736460        126            1100           53   56   49   
6.99/7.12	c 3070           24030          31121362       1741619        126            1104           35   48   41   
6.99/7.15	c 3080           24126          31220496       1746470        126            1105           50   56   50   
6.99/7.17	c 3090           24196          31336454       1752568        126            1112           49   55   46   
6.99/7.20	c 3100           24273          31445101       1758475        126            1118           44   58   50   
7.08/7.21	c 3110           24333          31531981       1762982        126            1122           46   48   42   
7.08/7.24	c 3120           24419          31643406       1768182        126            1127           56   63   54   
7.08/7.26	c 3130           24492          31748355       1773814        126            1128           47   52   44   
7.08/7.29	c 3140           24566          31858071       1779812        126            1134           46   57   49   
7.18/7.30	c 3142           24621          31939298       1783792        126            1136           52   52   34   
7.18/7.33	c 3150           24697          32047154       1789273        126            1141           54   57   50   
7.18/7.35	c 3160           24788          32166696       1795521        126            1146           57   59   52   
7.18/7.37	c 3170           24868          32253976       1800152        126            1153           34   54   41   
7.18/7.40	c 3180           24947          32353045       1804610        126            1157           57   61   53   
7.28/7.42	c 3190           25012          32463370       1811073        126            1162           47   49   43   
7.28/7.44	c 3200           25082          32584008       1818221        126            1164           52   56   48   
7.28/7.47	c 3210           25155          32678518       1823400        126            1167           53   56   49   
7.28/7.48	c 3220           25212          32761861       1827818        126            1171           43   45   40   
7.38/7.51	c 3230           25298          32874468       1832630        126            1174           57   63   55   
7.38/7.53	c 3240           25367          32962619       1837076        126            1178           43   45   40   
7.38/7.56	c 3250           25449          33089844       1843378        126            1180           56   58   52   
7.38/7.58	c 3260           25517          33190916       1848528        126            1182           47   49   44   
7.49/7.60	c 3270           25592          33285908       1853340        126            1189           51   56   48   
7.49/7.62	c 3280           25668          33378028       1858038        126            1192           45   46   41   
7.49/7.64	c 3290           25744          33474667       1862982        126            1199           51   56   48   
7.49/7.66	c 3300           25816          33566247       1867662        126            1201           42   46   40   
7.49/7.68	c 3310           25895          33670723       1873307        126            1202           51   55   47   
7.59/7.71	c 3320           26004          33792584       1879888        126            1210           47   62   47   
7.59/7.73	c 3330           26072          33900707       1885942        126            1212           50   53   46   
7.59/7.76	c 3340           26146          33995856       1892580        126            1218           44   51   43   
7.59/7.78	c 3350           26235          34090143       1896609        126            1222           63   68   59   
7.69/7.80	c 3360           26300          34207138       1904375        126            1225           49   50   45   
7.69/7.82	c 3370           26372          34301896       1909637        126            1228           53   55   49   
7.69/7.84	c 3380           26458          34385129       1913795        126            1232           52   62   54   
7.69/7.87	c 3390           26528          34496719       1920095        126            1233           42   48   41   
7.69/7.89	c 3400           26615          34593419       1924755        126            1238           50   59   51   
7.79/7.91	c 3410           26695          34691451       1930113        126            1242           53   56   50   
7.79/7.93	c 3420           26763          34782457       1934835        126            1245           50   52   46   
7.79/7.96	c 3430           26834          34911254       1940270        126            1249           50   51   46   
7.79/7.98	c 3440           26904          35024664       1946621        126            1251           52   55   48   
7.79/8.00	c 3450           26980          35122180       1952106        126            1255           54   56   49   
7.90/8.02	c 3460           27073          35210501       1957122        126            1261           47   59   48   
7.90/8.04	c 3470           27145          35307985       1962404        126            1264           53   55   49   
7.90/8.06	c 3480           27236          35399925       1966975        126            1267           52   58   50   
7.90/8.08	c 3490           27310          35487497       1971409        126            1270           48   55   47   
8.00/8.11	c 3500           27389          35608864       1977347        126            1272           55   57   51   
8.00/8.13	c 3510           27452          35701958       1982151        126            1273           44   47   41   
8.00/8.15	c 3520           27526          35806884       1987276        126            1277           49   54   47   
8.00/8.17	c 3530           27592          35909296       1991998        126            1281           43   48   40   
8.09/8.20	c 3540           27663          36021827       1998352        126            1283           53   56   49   
8.09/8.22	c 3550           27736          36106221       2002480        126            1287           53   54   48   
8.09/8.24	c 3551           27787          36181765       2006178        126            1288           51   51   25   
8.09/8.26	c 3560           27878          36294229       2012257        126            1293           50   58   49   
8.09/8.28	c 3570           27955          36394964       2017821        126            1298           53   57   50   
8.19/8.30	c 3580           28020          36493351       2022972        126            1300           45   48   42   
8.19/8.33	c 3590           28107          36602798       2028997        126            1304           48   55   47   
8.19/8.35	c 3600           28173          36707036       2035335        126            1307           49   52   45   
8.19/8.37	c 3610           28253          36798733       2039664        126            1311           59   59   53   
8.19/8.39	c 3620           28333          36885814       2044532        126            1318           37   53   41   
8.29/8.41	c 3630           28404          36979468       2049192        126            1320           51   54   47   
8.29/8.43	c 3640           28506          37063448       2053215        126            1323           53   53   48   
8.29/8.45	c 3650           28580          37149757       2057702        126            1326           45   58   50   
8.29/8.47	c 3660           28672          37241123       2062714        126            1331           38   53   42   
8.29/8.49	c 3670           28745          37366607       2068598        126            1334           57   58   52   
8.39/8.52	c 3680           28819          37490651       2074414        126            1340           46   54   45   
8.39/8.55	c 3690           28894          37597215       2079027        126            1341           59   59   53   
8.39/8.57	c 3700           28964          37726732       2084460        126            1345           49   50   45   
8.49/8.60	c 3710           29058          37827521       2089518        126            1347           45   54   47   
8.49/8.62	c 3720           29122          37913614       2093951        126            1350           49   51   45   
8.49/8.64	c 3730           29200          38002294       2098186        126            1354           57   60   53   
8.49/8.66	c 3740           29272          38101788       2103373        126            1357           51   54   47   
8.49/8.68	c 3750           29364          38200331       2108495        126            1361           55   60   52   
8.59/8.70	c 3760           29447          38299319       2113122        126            1366           46   58   50   
8.59/8.72	c 3770           29520          38404424       2119461        126            1367           52   53   48   
8.59/8.74	c 3780           29588          38493872       2124154        126            1370           50   52   46   
8.59/8.76	c 3790           29661          38601712       2130704        126            1371           52   53   48   
8.59/8.79	c 3800           29735          38698655       2135466        126            1375           48   52   46   
8.69/8.81	c 3810           29811          38800080       2140655        126            1379           56   58   51   
8.69/8.83	c 3820           29885          38887218       2145603        126            1386           36   52   39   
8.69/8.85	c 3830           29952          38981388       2150260        126            1388           47   50   43   
8.69/8.87	c 3840           30052          39067865       2154624        126            1391           43   52   44   
8.69/8.90	c 3850           30151          39192662       2160648        126            1396           57   61   53   
8.79/8.92	c 3860           30225          39304643       2165216        126            1399           47   52   45   
8.79/8.94	c 3870           30314          39416198       2170264        126            1403           58   61   54   
8.79/8.97	c 3880           30379          39540600       2175608        126            1405           47   49   43   
8.79/8.99	c 3890           30451          39642923       2181106        126            1409           44   47   41   
8.90/9.02	c 3900           30525          39770053       2186932        126            1410           46   51   44   
8.90/9.05	c 3910           30601          39912867       2197202        126            1414           51   55   48   
8.90/9.07	c 3920           30676          40012553       2202804        126            1419           49   59   48   
8.90/9.10	c 3930           30748          40133359       2207457        126            1422           53   54   48   
9.00/9.13	c 3940           30850          40252080       2213108        126            1426           57   64   55   
9.00/9.15	c 3950           30919          40377216       2218660        126            1428           47   51   44   
9.00/9.18	c 3960           30994          40507260       2226775        126            1432           52   56   49   
9.09/9.21	c 3970           31068          40632905       2232591        126            1433           47   52   45   
9.09/9.23	c 3980           31141          40751153       2239437        126            1436           52   55   48   
9.09/9.25	c 3990           31212          40847772       2245421        126            1441           48   53   45   
9.09/9.27	c 4000           31283          40937630       2249915        126            1443           50   53   47   
9.19/9.30	c 4001           31335          41041214       2253774        126            1444           52   52   26   
9.19/9.32	c 4010           31408          41142268       2259907        126            1452           51   55   47   
9.19/9.34	c 4020           31475          41230091       2264840        126            1455           44   52   45   
9.19/9.36	c 4030           31545          41315715       2269865        126            1457           50   53   46   
9.19/9.38	c 4040           31619          41404207       2273920        126            1461           50   52   47   
9.29/9.40	c 4050           31689          41526160       2280840        126            1463           52   54   48   
9.29/9.42	c 4060           31785          41620173       2284889        126            1464           66   66   60   
9.29/9.45	c 4070           31854          41741907       2290240        126            1465           49   51   45   
9.29/9.48	c 4080           31985          41860862       2296635        126            1473           57   68   57   
9.39/9.50	c 4090           32061          41977637       2301872        126            1476           52   54   48   
9.39/9.52	c 4100           32140          42080671       2306554        126            1479           58   59   53   
9.39/9.55	c 4110           32219          42183412       2312124        126            1483           52   61   51   
9.39/9.57	c 4120           32295          42302461       2317512        126            1485           51   55   49   
9.49/9.60	c 4130           32380          42407869       2322073        126            1487           59   59   53   
9.49/9.62	c 4140           32497          42516345       2327022        126            1492           50   64   51   
9.49/9.64	c 4150           32579          42623710       2331866        126            1496           56   63   55   
9.49/9.66	c 4160           32642          42703674       2337153        126            1506           47   50   43   
9.49/9.69	c 4170           32721          42811360       2342372        126            1508           50   64   47   
9.59/9.71	c 4180           32813          42912175       2348135        126            1511           50   55   47   
9.59/9.73	c 4190           32892          43029102       2354621        126            1514           58   60   53   
9.59/9.75	c 4200           32961          43117283       2359662        126            1516           49   52   45   
9.59/9.77	c 4210           33040          43204994       2363911        126            1519           58   61   54   
9.69/9.80	c 4220           33111          43325374       2368548        126            1522           53   54   48   
9.69/9.82	c 4230           33186          43423241       2373413        126            1525           58   61   53   
9.69/9.84	c 4240           33258          43543858       2379808        126            1527           54   56   50   
9.69/9.87	c 4250           33335          43677309       2387233        126            1529           47   51   44   
9.79/9.90	c 4260           33407          43806244       2397037        126            1532           51   52   46   
9.79/9.92	c 4270           33475          43918789       2405734        126            1535           43   48   41   
9.79/9.95	c 4280           33562          44050662       2412688        126            1538           48   59   46   
9.79/9.98	c 4290           33677          44164750       2418534        126            1541           49   62   53   
9.79/10.00	c 4300           33745          44258262       2423280        126            1544           52   54   48   
9.89/10.03	c 4310           33844          44386043       2429459        126            1553           48   63   47   
9.89/10.05	c 4320           33913          44482514       2434142        126            1557           48   52   45   
9.89/10.07	c 4330           33996          44568695       2438760        126            1561           37   48   41   
9.89/10.09	c 4340           34074          44689414       2444604        126            1567           55   60   52   
10.00/10.12	c 4350           34147          44815650       2450547        126            1572           47   53   46   
10.00/10.15	c 4360           34227          44917800       2455202        126            1576           58   60   53   
10.00/10.17	c 4370           34309          45017019       2459966        126            1581           51   61   53   
10.00/10.19	c 4380           34386          45104016       2464938        126            1583           54   57   50   
10.09/10.21	c 4390           34444          45194459       2469776        126            1584           46   47   42   
10.09/10.23	c 4400           34511          45285736       2475954        126            1592           45   51   42   
10.09/10.25	c 4410           34579          45366361       2479949        126            1597           50   52   46   
10.09/10.27	c 4420           34664          45477034       2485495        126            1602           41   60   52   
10.09/10.29	c 4430           34729          45564931       2491788        126            1610           43   49   40   
10.19/10.31	c 4440           34795          45645220       2495786        126            1612           48   52   45   
10.19/10.33	c 4450           34871          45747885       2500344        126            1616           58   59   53   
10.19/10.35	c 4460           34991          45860243       2505677        126            1621           48   64   50   
10.19/10.38	c 4470           35074          45981446       2512785        126            1623           55   59   51   
10.29/10.41	c 4480           35152          46109105       2518786        126            1628           52   58   50   
10.29/10.44	c 4490           35228          46235107       2524741        126            1630           56   58   52   
10.29/10.46	c 4493           35283          46342528       2528925        126            1631           50   51   38   
10.29/10.48	c 4500           35358          46448103       2534529        126            1633           54   58   48   
10.39/10.51	c 4510           35430          46574993       2540487        126            1636           52   57   49   
10.39/10.53	c 4520           35515          46679518       2545054        126            1638           57   59   52   
10.39/10.56	c 4530           35625          46782760       2550017        126            1643           48   61   49   
10.39/10.58	c 4540           35701          46877145       2554196        126            1647           58   61   53   
10.49/10.60	c 4550           35776          46979226       2559148        126            1649           48   61   45   
10.49/10.62	c 4560           35863          47087509       2565217        126            1651           43   47   40   
10.49/10.64	c 4570           35933          47170191       2570072        126            1653           54   56   49   
10.49/10.66	c 4580           36007          47277382       2575387        126            1654           49   51   45   
10.49/10.69	c 4590           36119          47408957       2581731        126            1658           47   63   48   
10.59/10.72	c 4600           36191          47506145       2586408        126            1662           51   55   47   
10.59/10.74	c 4610           36265          47613019       2591724        126            1663           49   51   45   
10.59/10.77	c 4620           36373          47740920       2598468        126            1667           47   63   47   
10.59/10.79	c 4630           36447          47850708       2606672        126            1673           47   52   45   
10.69/10.82	c 4640           36548          47980009       2612863        126            1678           46   58   47   
10.69/10.85	c 4650           36615          48102949       2620806        126            1680           49   51   45   
10.69/10.87	c 4660           36685          48187853       2625675        126            1682           54   56   49   
10.69/10.89	c 4670           36756          48289813       2630638        126            1684           50   51   46   
10.79/10.91	c 4680           36823          48408469       2637174        126            1687           51   53   47   
10.79/10.93	c 4690           36895          48505488       2643130        126            1690           45   50   42   
10.79/10.95	c 4700           36976          48601446       2648965        126            1695           39   48   39   
10.79/10.98	c 4710           37063          48728511       2654541        126            1705           53   67   50   
10.89/11.01	c 4720           37132          48870103       2662900        126            1708           50   52   47   
10.89/11.04	c 4730           37206          48992606       2668843        126            1713           47   53   46   
10.89/11.06	c 4740           37278          49092369       2673533        126            1717           57   58   52   
10.89/11.08	c 4750           37346          49173863       2678179        126            1718           49   51   45   
10.89/11.10	c 4760           37433          49260944       2682686        126            1723           40   53   44   
11.00/11.12	c 4770           37520          49362817       2686744        126            1726           60   60   54   
11.00/11.15	c 4780           37604          49466295       2692692        126            1730           49   53   46   
11.00/11.17	c 4790           37680          49570927       2699515        126            1738           45   51   43   
11.00/11.19	c 4800           37770          49675541       2706176        126            1745           37   48   39   
11.09/11.22	c 4810           37881          49808848       2711748        126            1753           53   68   53   
11.09/11.25	c 4820           37967          49932512       2718839        126            1760           49   58   47   
11.09/11.28	c 4830           38043          50053676       2724377        126            1762           52   55   48   
11.19/11.30	c 4840           38126          50164515       2729861        126            1767           53   55   48   
11.19/11.33	c 4850           38197          50291707       2736801        126            1773           49   54   46   
11.19/11.35	c 4860           38259          50384100       2741927        126            1777           44   46   41   
11.19/11.37	c 4870           38332          50502468       2747634        126            1779           53   55   48   
11.29/11.40	c 4880           38412          50631547       2754756        126            1786           47   55   45   
11.29/11.43	c 4890           38483          50747847       2760624        126            1788           53   55   48   
11.29/11.45	c 4900           38550          50847263       2766863        126            1792           43   46   40   
11.29/11.47	c 4910           38632          50953468       2771843        126            1796           53   53   48   
11.39/11.50	c 4920           38708          51071600       2777513        126            1800           48   55   48   
11.39/11.52	c 4930           38780          51186110       2784916        126            1801           47   52   45   
11.39/11.55	c 4940           38846          51319038       2793826        126            1805           48   48   43   
11.39/11.57	c 4950           38911          51408464       2798401        126            1812           45   47   42   
11.39/11.59	c 4960           38989          51534556       2804492        126            1815           52   55   48   
11.49/11.61	c 4970           39070          51615844       2808505        126            1818           54   54   49   
11.49/11.63	c 4980           39159          51703300       2813108        126            1820           40   40   36   
11.49/11.65	c 4990           39228          51792146       2817228        126            1826           44   53   46   
11.49/11.69	c 5035           39393          51994900       2826830        126            1831           59   63   59   
11.79/11.97	c 5631           41194          53646654       2958048        126            1846           47   64   52   
12.09/12.24	c 6286           43765          55243834       3059272        126            1859           48   62   55   
12.49/12.66	c 7006           46232          57685276       3294037        126            1870           39   58   44   
12.79/12.96	c 7798           48945          59482383       3410002        126            1881           44   57   51   
13.09/13.22	c 8669           53007          60995618       3498595        126            1889           42   71   52   
13.39/13.58	c 9627           55848          63204086       3637752        126            1897           45   58   54   
13.78/13.96	c 10680          59133          65475746       3768061        126            1914           41   59   48   
14.28/14.46	c 11838          63753          68612494       3956380        126            1919           45   66   54   
14.68/14.85	c 13111          67848          70979913       4051673        126            1928           44   57   49   
15.28/15.41	c 14511          75178          74456355       4247339        126            1934           46   65   57   
15.78/15.94	c 16051          79607          77740434       4407335        126            1946           35   49   42   
16.28/16.47	c 17745          87236          80992459       4561900        126            1959           44   64   58   
17.18/17.32	c 19608          94468          85988988       4953722        126            1970           39   57   46   
17.89/18.08	c 21657          102309         90754193       5203363        126            1984           46   66   57   
18.78/18.90	c 23910          109410         95677546       5506369        126            1995           38   56   46   
19.38/19.55	c 26388          117227         99798413       5673923        126            2007           41   59   52   
20.18/20.39	c 29113          127415         105014954      5944708        126            2024           29   55   44   
21.58/21.73	c 32110          137350         113079232      6529048        126            2038           33   49   41   
22.58/22.76	c 35406          148618         119454593      6852295        126            2062           43   58   53   
24.28/24.41	c 39031          160272         129549880      7554679        126            2076           34   53   42   
25.68/25.80	c 43018          170415         138313444      8128322        126            2097           47   60   55   
27.18/27.38	c 47403          182149         147907451      8636272        126            2117           37   48   42   
28.58/28.71	c 52226          203184         156195746      9021793        126            2128           48   68   59   
30.78/30.97	c 57531          223966         169557814      9966404        126            2148           32   51   41   
32.78/32.94	c 63366          239894         181675490      10601449       126            2162           31   46   39   
35.18/35.31	c 69784          263350         196727348      11385225       126            2182           47   71   63   
37.68/37.87	c 76843          282576         212333402      12249610       126            2201           29   40   35   
40.28/40.48	c 84607          304248         229479825      13294356       126            2211           41   60   53   
43.28/43.40	c 93147          340566         246162267      14273346       126            2220           32   55   43   
46.38/46.58	c 102541         374455         266321239      15327071       126            2227           41   59   52   
50.08/50.26	c 112874         411873         287882957      16727513       126            2250           35   54   45   
54.98/55.14	c 124240         461194         318411621      18723478       126            2270           40   64   53   
59.88/60.01	c 136742         518162         348301349      20438658       126            2297           36   54   47   
65.17/65.34	c 150494         563438         380946476      22263927       126            2343           34   53   43   
71.57/71.75	c 165621         624928         421414521      24721956       126            2363           42   61   53   
77.98/78.13	c 182260         676323         460440735      27211344       126            2375           33   52   43   
82.88/83.07	c 200562         739886         491620751      28612285       126            2393           37   59   51   
91.67/91.85	c 220694         803910         545696643      32134950       126            2412           38   57   48   
101.97/102.13	c 242839         883747         612423382      36533745       126            2437           42   63   55   
111.66/111.81	c 267198         966984         671375078      40280128       126            2454           39   58   49   
120.37/120.54	c 293992         1046011        729144562      42970747       126            2481           43   64   55   
129.77/129.91	c 323465         1132400        786102012      45893679       126            2497           29   52   42   
138.98/139.19	c 355885         1231960        847636186      48694023       126            2504           45   65   57   
153.17/153.36	c 391547         1356928        931350482      54533820       126            2519           41   61   49   
165.06/165.25	c 430775         1501894        1007847678     58087787       126            2545           45   65   57   
180.16/180.34	c 473925         1628926        1101170025     62906669       126            2567           34   56   44   
200.26/200.44	c 521390         1828762        1232231723     70546322       126            2595           40   64   54   
216.35/216.56	c 573601         1958256        1330317428     75348420       126            2602           35   46   41   
232.35/232.54	c 631033         2153313        1431314702     79498901       126            2614           43   65   56   
249.05/249.26	c 694208         2369790        1532127161     83693705       126            2637           29   55   44   
270.95/271.18	c 763700         2583920        1672474705     91346674       126            2648           34   56   47   
297.85/298.04	c 840141         2842273        1834992004     100740869      126            2664           34   56   46   
325.73/326.00	c 924226         3147927        2015874465     110986582      126            2685           36   61   51   
358.23/358.43	c 1016719        3488706        2208242018     121733647      126            2700           32   54   43   
387.13/387.31	c 1118461        3825641        2395592273     129955897      126            2731           38   59   51   
431.13/431.32	c 1230377        4246020        2657574250     146672864      126            2758           41   62   52   
472.53/472.78	c 1353484        4711954        2930404282     159751750      126            2788           36   59   51   
514.03/514.24	c 1488901        5130715        3184788822     171563218      126            2807           31   55   45   
566.63/566.89	c 1637859        5712331        3528157334     187563509      126            2818           38   60   52   
616.13/616.34	c 1801712        6290694        3827743783     200886692      126            2841           31   53   44   
668.03/668.28	c 1981950        6843887        4179146125     216020438      126            2866           36   58   50   
742.73/742.91	c 2180211        7525386        4633200688     241718070      126            2881           35   56   47   
808.84/809.04	c 2398298        8190869        5077216209     260916287      126            2910           35   57   48   
890.23/890.40	c 2638193        8920020        5572586199     288254665      126            2938           35   58   47   
998.63/998.86	c 2902077        9861358        6291063562     331457492      126            2983           33   56   46   
1109.94/1110.18	c 3192349        10912260       7029101343     384910501      126            3005           37   59   46   
1231.63/1231.86	c 3511648        12470609       7860012568     428447970      126            3029           36   61   52   
1358.13/1358.35	c 3862876        13389441       8718121222     478339813      126            3055           33   51   41   
1469.53/1469.79	c 4249226        14518763       9506704918     516061823      126            3070           37   60   51   
1599.84/1600.03	c 4674211        15641440       10388693314    560472507      126            3087           29   46   39   
1713.03/1713.24	c 5141694        17450534       11164273891    587752745      126            3100           36   60   53   
1882.94/1883.12	c 5655925        19535024       12281752710    658240508      126            3131           31   55   43   
2080.44/2080.60	c 6221579        21688612       13639866112    732657578      126            3168           32   58   49   
2273.86/2274.05	c 6843798        23612832       14970509073    802651908      126            3221           30   54   43   
2452.35/2452.52	c 7528238        25912580       16210175671    853307608      126            3241           36   59   52   
2519.86/2520.00	
2519.86/2520.00	c *** INTERRUPTED ***
2519.86/2520.00	c restarts              : 593         
2519.86/2520.00	c conflicts             : 7746379      (3074 /sec)
2519.86/2520.00	c decisions             : 26633106     (10569 /sec)
2519.86/2520.00	c propagations          : 878101208   (348479 /sec)
2519.86/2520.00	c root propagations     : 793         
2519.86/2520.00	c filter calls          : 16670463436    (6615750 /sec)
2519.86/2520.00	c useless filter calls  : 16167264633    (96 %)
2519.86/2520.00	c
2519.86/2520.00	c clauses               : 484780
2519.86/2520.00	c SAT propagations      : 908
2519.86/2520.00	c SAT conflicts         : 0 (2 learnts)
2519.86/2520.00	c Memory used           : 57.93 MB
2519.86/2520.00	c CPU time              : 2519.81 s
2519.86/2520.00	
2519.86/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14951 MiB free)
  memory of node 1: 16384 MiB (15566 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266003-1502583709/watcher-4266003-1502583709 -o /tmp/evaluation-result-4266003-1502583709/solver-4266003-1502583709 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11650 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266003-1502583709.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16219, runsolver pid=16216

[startup+0.100152 s]*
/proc/loadavg: 2.02 2.02 2.05 2/181 16220
/proc/meminfo: memFree=31248996/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=26916 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4194304 621 0 0 0 0 0 0 0 20 0 1 0 46711596 27561984 421 18446744073709551615 4194304 5972588 140723564985616 140723564982264 139680922543840 0 0 1 0 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 6729 487 438 435 0 60 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 26916 KiB
Current children cumulated memory: 1948 KiB

[startup+0.208895 s]*
/proc/loadavg: 2.02 2.02 2.05 3/181 16220
/proc/meminfo: memFree=31228116/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=51068 memory=26148 CPUtime=0.1 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 5681 0 0 0 10 0 0 0 20 0 1 0 46711596 52293632 6537 18446744073709551615 4194304 5972588 140723564985616 140723564982184 5280404 0 0 1 0 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 12767 6537 757 435 0 6130 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 26148 KiB

[startup+0.309219 s]*
/proc/loadavg: 2.02 2.02 2.05 3/181 16220
/proc/meminfo: memFree=31217512/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=33828 CPUtime=0.2 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 7121 0 0 0 20 0 0 0 20 0 1 0 46711596 60743680 8457 18446744073709551615 4194304 5972588 140723564985616 140723564982184 4908934 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8457 758 435 0 8193 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 33828 KiB

[startup+0.700315 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 16220
/proc/meminfo: memFree=31213944/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=33828 CPUtime=0.58 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 7121 0 0 0 58 0 0 0 20 0 1 0 46711596 60743680 8457 18446744073709551615 4194304 5972588 140723564985616 140723564982184 4913729 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8457 758 435 0 8193 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 33828 KiB

[startup+1.50032 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 16220
/proc/meminfo: memFree=31210968/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=33828 CPUtime=1.38 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 7121 0 0 0 138 0 0 0 20 0 1 0 46711596 60743680 8457 18446744073709551615 4194304 5972588 140723564985616 140723564982184 5328641 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8457 758 435 0 8193 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 33828 KiB

[startup+3.1089 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 16220
/proc/meminfo: memFree=31190596/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=33988 CPUtime=2.99 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 10965 0 0 0 299 0 0 0 20 0 1 0 46711596 60743680 8497 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913533 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8497 778 435 0 8193 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 33988 KiB

[startup+6.3003 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 16220
/proc/meminfo: memFree=31162376/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=33992 CPUtime=6.18 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 14987 0 0 0 618 0 0 0 20 0 1 0 46711596 60743680 8498 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913622 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8498 778 435 0 8193 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 33992 KiB

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 16220
/proc/meminfo: memFree=31107984/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=33992 CPUtime=12.59 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 18996 0 0 0 1258 1 0 0 20 0 1 0 46711596 60743680 8498 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913434 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8498 778 435 0 8193 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 33992 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 16220
/proc/meminfo: memFree=30988532/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34016 CPUtime=25.38 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 26263 0 0 0 2537 1 0 0 20 0 1 0 46711596 60743680 8504 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913632 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8504 778 435 0 8193 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34016 KiB

[startup+51.1088 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 16220
/proc/meminfo: memFree=30750312/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34016 CPUtime=50.98 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 30474 0 0 0 5097 1 0 0 20 0 1 0 46711596 60743680 8504 18446744073709551615 4194304 5972588 140723564985616 140723564982920 5328641 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8504 778 435 0 8193 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34016 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16222
/proc/meminfo: memFree=29685300/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34016 CPUtime=102.17 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 34350 0 0 0 10216 1 0 0 20 0 1 0 46711596 60743680 8504 18446744073709551615 4194304 5972588 140723564985616 140723564982920 5328649 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8504 778 435 0 8193 0
Current children cumulated CPU time: 102.17 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34016 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16239
/proc/meminfo: memFree=29680416/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34016 CPUtime=162.16 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 38098 0 0 0 16214 2 0 0 20 0 1 0 46711596 60743680 8504 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913600 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8504 778 435 0 8193 0
Current children cumulated CPU time: 162.16 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34016 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16241
/proc/meminfo: memFree=29680292/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34016 CPUtime=222.15 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 41878 0 0 0 22213 2 0 0 20 0 1 0 46711596 60743680 8504 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913724 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8504 778 435 0 8193 0
Current children cumulated CPU time: 222.15 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34016 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16243
/proc/meminfo: memFree=29683616/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34016 CPUtime=282.14 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 45643 0 0 0 28212 2 0 0 20 0 1 0 46711596 60743680 8504 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913688 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8504 778 435 0 8193 0
Current children cumulated CPU time: 282.14 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34016 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16245
/proc/meminfo: memFree=29683776/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34016 CPUtime=342.13 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 49356 0 0 0 34211 2 0 0 20 0 1 0 46711596 60743680 8504 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4908847 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8504 778 435 0 8193 0
Current children cumulated CPU time: 342.13 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34016 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16247
/proc/meminfo: memFree=29683948/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34016 CPUtime=402.12 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 53041 0 0 0 40210 2 0 0 20 0 1 0 46711596 60743680 8504 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913651 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8504 778 435 0 8193 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34016 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16249
/proc/meminfo: memFree=29684000/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34020 CPUtime=462.13 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 56703 0 0 0 46210 3 0 0 20 0 1 0 46711596 60743680 8505 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4909013 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8505 778 435 0 8193 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34020 KiB


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

/proc/16219/statm: 14830 8539 778 435 0 8193 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34156 KiB

[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/181 16387
/proc/meminfo: memFree=31113080/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34160 CPUtime=1782.13 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 94619 0 0 0 178209 4 0 0 20 0 1 0 46711596 60743680 8540 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913724 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8540 778 435 0 8193 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34160 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 16389
/proc/meminfo: memFree=31113308/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34160 CPUtime=1842.14 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 95045 0 0 0 184210 4 0 0 20 0 1 0 46711596 60743680 8540 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913651 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8540 778 435 0 8193 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34160 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 16391
/proc/meminfo: memFree=31113416/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34160 CPUtime=1902.14 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 95794 0 0 0 190210 4 0 0 20 0 1 0 46711596 60743680 8540 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913636 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8540 778 435 0 8193 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34160 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 16407
/proc/meminfo: memFree=31107452/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34160 CPUtime=1962.14 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 96313 0 0 0 196210 4 0 0 20 0 1 0 46711596 60743680 8540 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913724 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8540 778 435 0 8193 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34160 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 16409
/proc/meminfo: memFree=31107584/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34160 CPUtime=2022.14 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 96817 0 0 0 202210 4 0 0 20 0 1 0 46711596 60743680 8540 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913709 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8540 778 435 0 8193 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34160 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 16411
/proc/meminfo: memFree=31109316/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34160 CPUtime=2082.14 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 97540 0 0 0 208210 4 0 0 20 0 1 0 46711596 60743680 8540 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913729 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8540 778 435 0 8193 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34160 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16413
/proc/meminfo: memFree=31109696/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34160 CPUtime=2142.15 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 97975 0 0 0 214210 5 0 0 20 0 1 0 46711596 60743680 8540 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913632 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8540 778 435 0 8193 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34160 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16415
/proc/meminfo: memFree=31109660/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34160 CPUtime=2202.15 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 98383 0 0 0 220210 5 0 0 20 0 1 0 46711596 60743680 8540 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913729 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8540 778 435 0 8193 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34160 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16417
/proc/meminfo: memFree=31110048/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34160 CPUtime=2262.15 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 98793 0 0 0 226210 5 0 0 20 0 1 0 46711596 60743680 8540 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913600 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8540 778 435 0 8193 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34160 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16419
/proc/meminfo: memFree=31110056/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34164 CPUtime=2322.15 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 99561 0 0 0 232210 5 0 0 20 0 1 0 46711596 60743680 8541 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913724 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8541 778 435 0 8193 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34164 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16421
/proc/meminfo: memFree=31109872/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34164 CPUtime=2382.15 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 100037 0 0 0 238210 5 0 0 20 0 1 0 46711596 60743680 8541 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913651 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8541 778 435 0 8193 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34164 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16423
/proc/meminfo: memFree=31109880/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34164 CPUtime=2442.15 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 100503 0 0 0 244210 5 0 0 20 0 1 0 46711596 60743680 8541 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913651 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8541 778 435 0 8193 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34164 KiB

[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 16425
/proc/meminfo: memFree=31109756/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34164 CPUtime=2502.15 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 101218 0 0 0 250210 5 0 0 20 0 1 0 46711596 60743680 8541 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913533 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8541 778 435 0 8193 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34164 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.04 2.03 2.05 3/181 16425
/proc/meminfo: memFree=31109760/32770624 swapFree=67108860/67108860
[pid=16219] ppid=16216 vsize=59320 memory=34164 CPUtime=2519.86 cores=1,3,5,7
/proc/16219/stat : 16219 (cosoco) R 16216 16219 11586 0 -1 4202496 101619 0 0 0 251981 5 0 0 20 0 1 0 46711596 60743680 8541 18446744073709551615 4194304 5972588 140723564985616 140723564982920 4913533 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 36261888 140723564990916 140723564991016 140723564991016 140723564994510 0
/proc/16219/statm: 14830 8541 778 435 0 8193 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 34164 KiB

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

[startup+2520.01 s]
# the end of solver process 16219 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.81 s, system=0.053999 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.87
CPU user time (s): 2519.81
CPU system time (s): 0.053999
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 59320
Max. memory (cumulated for all children) (KiB): 34164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.81
system time used= 0.053999
maximum resident set size= 34240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101670
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= 13
involuntary context switches= 974


# summary of solver processes directly reported to runsolver:
#   pid: 16219
#   total CPU time (s): 2519.87
#   total CPU user time (s): 2519.81
#   total CPU system time (s): 0.053999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.58494 second user time and 15.8336 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-13 02:07:33
IDJOB=4266003
IDBENCH=134517
IDSOLVER=2655
FILE ID=node124/4266003-1502583709
RUNJOBID= node124-1502565138-11650
PBS_JOBID= 
Free space on /tmp= 61844 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s13/Blackhole-4-13-2_X2.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266003-1502583709/watcher-4266003-1502583709 -o /tmp/evaluation-result-4266003-1502583709/solver-4266003-1502583709 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11650 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266003-1502583709.xml

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

MD5SUM BENCH= 88708c27ba26ffc45c437651276dcd59
RANDOM SEED=1952204025

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31249480 kB
MemAvailable:   31959892 kB
Buffers:          244912 kB
Cached:           756336 kB
SwapCached:            0 kB
Active:           592876 kB
Inactive:         506116 kB
Active(anon):      98096 kB
Inactive(anon):    24960 kB
Active(file):     494780 kB
Inactive(file):   481156 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2504 kB
Writeback:            24 kB
AnonPages:         83060 kB
Mapped:            42920 kB
Shmem:             25320 kB
Slab:             126512 kB
SReclaimable:     100624 kB
SUnreclaim:        25888 kB
KernelStack:        3216 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     378948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62024 MiB
End job on node124 at 2017-08-13 02:49:33