Trace number 4266167

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) 2520.02 2520.02

General information on the benchmark

NameMagicSquare/MagicSquare-sum-s1/
MagicSquare-22-sum.xml
MD5SUM9d2f02dd2333c70ec17cc1afaa6594ca
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 variables484
Number of constraints47
Number of domains1
Minimum domain size484
Maximum domain size484
Distribution of domain sizes[{"size":484,"count":484}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":440},{"degree":4,"count":44}]
Minimum constraint arity22
Maximum constraint arity484
Distribution of constraint arities[{"arity":22,"count":46},{"arity":484,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"sum","count":46}]
Optimization problemNO
Type of objective

Solver Data 

3.84/3.97	c SAT : Variables: 234256 -- Clauses: 56573308
3.84/3.98	c root propagations     : 0           
3.84/3.98	c restarts enabled, print stats at every restarts
3.84/3.98	c
3.84/3.98	c
3.84/3.98	c
3.84/3.98	c This is cosoco 1.12 --  
3.84/3.98	c
3.84/3.98	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266167-1502581176.xml 
3.84/3.98	c ========================================[ Problem Statistics ]===========================================
3.84/3.98	c |                                                                                                       
3.84/3.98	c |  Parse time        :         3.32 s 
3.84/3.98	c |
3.84/3.98	c |               Variables: 484
3.84/3.98	c |            Domain Sizes: 484..484
3.84/3.98	c |
3.84/3.98	c |             Constraints: 47
3.84/3.98	c |                   Arity: 22..484
3.84/3.98	c | 
3.84/3.98	c |                   Types: 
3.84/3.98	c |                          All Different: 1
3.84/3.98	c |                          Sum: 46
3.84/3.98	c |                          
3.84/3.98	c =========================================================================================================
3.84/3.98	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
3.94/4.03	c 10             23             731            21069          0              10             13   14   11   
3.94/4.07	c 20             45             1368           40707          0              20             12   13   11   
4.04/4.11	c 30             67             2005           60345          0              30             12   13   11   
4.04/4.16	c 40             89             2642           79983          0              40             12   13   11   
4.13/4.20	c 50             111            3279           99621          0              50             12   13   11   
4.13/4.24	c 60             133            3916           119259         0              60             12   13   11   
4.13/4.29	c 70             155            4553           138897         0              70             12   13   11   
4.23/4.33	c 80             177            5190           158535         0              80             12   13   11   
4.23/4.37	c 90             199            5827           178173         0              90             12   13   11   
4.33/4.42	c 100            221            6464           197811         0              100            12   13   11   
4.33/4.45	c 101            233            6991           208220         0              101            12   12   6    
4.33/4.49	c 110            253            7572           222693         0              110            12   12   10   
4.43/4.54	c 120            275            8211           242331         0              120            12   13   11   
4.43/4.58	c 130            297            8848           261969         0              130            12   13   11   
4.53/4.62	c 140            319            9485           281607         0              140            12   13   11   
4.53/4.66	c 150            341            10122          301245         0              150            12   13   11   
4.63/4.71	c 160            363            10759          320883         0              160            12   13   11   
4.63/4.75	c 170            385            11396          340521         0              170            12   13   11   
4.63/4.79	c 180            407            12033          360159         0              180            12   13   11   
4.73/4.84	c 190            429            12670          379797         0              190            12   13   11   
4.73/4.88	c 200            451            13307          399435         0              200            12   13   11   
4.83/4.92	c 210            473            13944          419073         0              210            12   13   11   
4.83/4.96	c 211            485            14469          429482         0              211            12   12   6    
4.83/5.00	c 220            505            15050          443955         0              220            12   12   10   
4.94/5.04	c 230            527            15687          463593         0              230            12   13   11   
4.94/5.08	c 240            549            16343          483231         0              240            12   13   11   
5.04/5.13	c 250            571            16982          502869         0              250            12   13   11   
5.04/5.17	c 260            593            17619          522507         0              260            12   13   11   
5.13/5.21	c 270            615            18256          542145         0              270            12   13   11   
5.13/5.26	c 280            637            18893          561783         0              280            12   13   11   
5.23/5.30	c 290            659            19530          581421         0              290            12   13   11   
5.23/5.34	c 300            681            20167          601059         0              300            12   13   11   
5.23/5.39	c 310            703            20804          620697         0              310            12   13   11   
5.33/5.43	c 320            725            21441          640335         0              320            12   13   11   
5.33/5.47	c 330            747            22078          659973         0              330            12   13   11   
5.43/5.51	c 332            760            22610          670925         0              332            12   12   8    
5.43/5.55	c 340            779            23184          684925         0              340            12   12   10   
5.43/5.59	c 350            801            23821          704563         0              350            12   13   11   
5.53/5.63	c 360            823            24458          724201         0              360            12   13   11   
5.53/5.68	c 370            845            25114          743839         0              370            12   13   11   
5.63/5.72	c 380            867            25753          763477         0              380            12   13   11   
5.63/5.76	c 390            889            26390          783115         0              390            12   13   11   
5.73/5.81	c 400            911            27027          802753         0              400            12   13   11   
5.73/5.85	c 410            933            27664          822391         0              410            12   13   11   
5.73/5.89	c 420            955            28301          842029         0              420            12   13   11   
5.84/5.94	c 430            977            28938          861667         0              430            12   13   11   
5.84/5.98	c 440            999            29575          881305         0              440            12   13   11   
5.95/6.02	c 450            1021           30212          900943         0              450            12   13   11   
5.95/6.07	c 460            1043           30849          920581         0              460            12   13   11   
5.95/6.10	c 465            1059           31402          933102         0              465            12   12   10   
6.05/6.14	c 470            1075           31955          945623         0              470            12   12   10   
6.05/6.18	c 480            1097           32592          965261         0              480            12   13   11   
6.14/6.23	c 490            1120           33254          981266         0              483            13   13   11   
6.14/6.27	c 500            1142           33910          1000904        0              493            12   13   11   
6.24/6.32	c 510            1164           34549          1020542        0              503            12   13   11   
6.24/6.36	c 520            1186           35186          1040180        0              513            12   13   11   
6.34/6.40	c 530            1208           35823          1059818        0              523            12   13   11   
6.34/6.45	c 540            1230           36460          1079456        0              533            12   13   11   
6.34/6.49	c 550            1252           37097          1099094        0              543            12   13   11   
6.44/6.53	c 560            1274           37734          1118732        0              553            12   13   11   
6.44/6.57	c 570            1296           38371          1138370        0              563            12   13   11   
6.54/6.62	c 580            1318           39008          1158008        0              573            12   13   11   
6.54/6.66	c 590            1340           39645          1177646        0              583            12   13   11   
6.64/6.70	c 600            1362           40282          1197284        0              593            12   13   11   
6.64/6.75	c 610            1384           40919          1216922        0              603            12   13   11   
6.64/6.79	c 611            1397           41496          1231952        0              604            13   13   6    
6.74/6.83	c 620            1417           42077          1246425        0              613            12   12   10   
6.74/6.87	c 630            1439           42733          1266063        0              623            12   13   11   
6.84/6.91	c 640            1461           43372          1285701        0              633            12   13   11   
6.84/6.95	c 650            1483           44009          1305339        0              643            12   13   11   
6.84/7.00	c 660            1505           44646          1324977        0              653            12   13   11   
6.95/7.04	c 670            1527           45283          1344615        0              663            12   13   11   
6.95/7.09	c 680            1549           45920          1364253        0              673            12   13   11   
7.05/7.13	c 690            1571           46557          1383891        0              683            12   13   11   
7.05/7.17	c 700            1593           47194          1403529        0              693            12   13   11   
7.14/7.21	c 710            1615           47831          1423167        0              703            12   13   11   
7.14/7.26	c 720            1637           48468          1442805        0              713            12   13   11   
7.24/7.30	c 730            1659           49105          1462443        0              723            12   13   11   
7.24/7.34	c 740            1681           49742          1482081        0              733            12   13   11   
7.24/7.38	c 750            1703           50379          1501719        0              743            12   13   11   
7.34/7.43	c 760            1725           51016          1521357        0              753            12   13   11   
7.34/7.47	c 770            1748           51682          1537362        0              756            13   13   11   
7.44/7.51	c 771            1760           52207          1547771        0              757            12   12   6    
7.44/7.55	c 780            1780           52788          1562244        0              766            12   12   10   
7.44/7.59	c 790            1802           53425          1581882        0              776            12   13   11   
7.54/7.63	c 800            1824           54062          1601520        0              786            12   13   11   
7.54/7.68	c 810            1846           54699          1621158        0              796            12   13   11   
7.64/7.72	c 820            1868           55336          1640796        0              806            12   13   11   
7.64/7.76	c 830            1890           55973          1660434        0              816            12   13   11   
7.74/7.81	c 840            1912           56610          1680072        0              826            12   13   11   
7.74/7.85	c 850            1934           57247          1699710        0              836            12   13   11   
7.74/7.89	c 860            1956           57884          1719348        0              846            12   13   11   
7.84/7.94	c 870            1978           58521          1738986        0              856            12   13   11   
7.84/7.98	c 880            2000           59177          1758624        0              866            12   13   11   
7.95/8.02	c 890            2022           59816          1778262        0              876            12   13   11   
7.95/8.07	c 900            2044           60453          1797900        0              886            12   13   11   
8.05/8.11	c 910            2066           61090          1817538        0              896            12   13   11   
8.05/8.15	c 920            2088           61727          1837176        0              906            12   13   11   
8.14/8.20	c 930            2111           62389          1853181        0              909            13   13   11   
8.14/8.24	c 940            2133           63026          1872819        0              919            12   13   11   
8.14/8.28	c 947            2151           63593          1886336        0              926            12   12   10   
8.24/8.32	c 950            2165           64132          1897821        0              929            12   12   9    
8.24/8.36	c 960            2187           64769          1917459        0              939            12   13   11   
8.34/8.40	c 970            2209           65406          1937097        0              949            12   13   11   
8.34/8.44	c 980            2231           66043          1956735        0              959            12   13   11   
8.34/8.49	c 990            2253           66680          1976373        0              969            12   13   11   
8.44/8.53	c 1000           2275           67317          1996011        0              979            12   13   11   
8.44/8.57	c 1010           2297           67973          2015649        0              989            12   13   11   
8.54/8.62	c 1020           2319           68612          2035287        0              999            12   13   11   
8.54/8.66	c 1030           2341           69249          2054925        0              1009           12   13   11   
8.64/8.70	c 1040           2363           69886          2074563        0              1019           12   13   11   
8.64/8.75	c 1050           2385           70523          2094201        0              1029           12   13   11   
8.64/8.79	c 1060           2407           71160          2113839        0              1039           12   13   11   
8.74/8.83	c 1070           2429           71797          2133477        0              1049           12   13   11   
8.74/8.87	c 1080           2451           72434          2153115        0              1059           12   13   11   
8.84/8.92	c 1090           2473           73071          2172753        0              1069           12   13   11   
8.84/8.96	c 1100           2496           73733          2188758        0              1072           13   13   11   
8.95/9.01	c 1110           2518           74370          2208396        0              1082           12   13   11   
8.95/9.05	c 1120           2540           75007          2228034        0              1092           12   13   11   
8.95/9.09	c 1130           2562           75644          2247672        0              1102           12   13   11   
9.05/9.13	c 1140           2584           76281          2267310        0              1112           12   13   11   
9.05/9.17	c 1141           2596           76808          2277719        0              1113           12   12   6    
9.14/9.21	c 1150           2616           77389          2292192        0              1122           12   12   10   
9.14/9.25	c 1160           2638           78028          2311830        0              1132           12   13   11   
9.24/9.30	c 1170           2660           78665          2331468        0              1142           12   13   11   
9.24/9.34	c 1180           2682           79302          2351106        0              1152           12   13   11   
9.24/9.38	c 1190           2704           79939          2370744        0              1162           12   13   11   
9.34/9.43	c 1200           2726           80576          2390382        0              1172           12   13   11   
9.34/9.47	c 1210           2748           81213          2410020        0              1182           12   13   11   
9.44/9.51	c 1220           2770           81850          2429658        0              1192           12   13   11   
9.44/9.55	c 1230           2792           82487          2449296        0              1202           12   13   11   
9.54/9.60	c 1240           2814           83124          2468934        0              1212           12   13   11   
9.54/9.64	c 1250           2836           83761          2488572        0              1222           12   13   11   
9.54/9.68	c 1260           2858           84398          2508210        0              1232           12   13   11   
9.64/9.73	c 1270           2880           85035          2527848        0              1242           12   13   11   
9.64/9.77	c 1280           2902           85672          2547486        0              1252           12   13   11   
9.74/9.81	c 1290           2924           86328          2567124        0              1262           12   13   11   
9.74/9.86	c 1300           2947           87008          2583129        0              1265           13   13   11   
9.84/9.90	c 1310           2969           87645          2602767        0              1275           12   13   11   
9.84/9.94	c 1320           2991           88282          2622405        0              1285           12   13   11   
9.84/9.99	c 1330           3013           88919          2642043        0              1295           12   13   11   
9.95/10.03	c 1340           3035           89556          2661681        0              1305           12   13   11   
9.95/10.07	c 1350           3057           90193          2681319        0              1315           12   13   11   
10.05/10.11	c 1352           3070           90725          2692271        0              1317           12   12   8    
10.05/10.15	c 1360           3089           91299          2706271        0              1325           12   12   10   
10.05/10.19	c 1370           3111           91936          2725909        0              1335           12   13   11   
10.14/10.24	c 1380           3133           92573          2745547        0              1345           12   13   11   
10.14/10.28	c 1390           3155           93210          2765185        0              1355           12   13   11   
10.24/10.32	c 1400           3177           93866          2784823        0              1365           12   13   11   
10.24/10.36	c 1410           3199           94505          2804461        0              1375           12   13   11   
10.34/10.41	c 1420           3221           95142          2824099        0              1385           12   13   11   
10.34/10.45	c 1430           3243           95779          2843737        0              1395           12   13   11   
10.34/10.49	c 1440           3265           96416          2863375        0              1405           12   13   11   
10.44/10.54	c 1450           3287           97053          2883013        0              1415           12   13   11   
10.44/10.58	c 1460           3309           97690          2902651        0              1425           12   13   11   
10.54/10.62	c 1470           3331           98327          2922289        0              1435           12   13   11   
10.54/10.66	c 1480           3353           98964          2941927        0              1445           12   13   11   
10.64/10.71	c 1490           3375           99601          2961565        0              1455           12   13   11   
10.64/10.75	c 1500           3397           100238         2981203        0              1465           12   13   11   
10.64/10.79	c 1510           3420           100900         2997208        0              1468           13   13   11   
10.74/10.84	c 1520           3442           101537         3016846        0              1478           12   13   11   
10.74/10.88	c 1530           3464           102174         3036484        0              1488           12   13   11   
10.84/10.93	c 1540           3486           102830         3056122        0              1498           12   13   11   
10.84/10.97	c 1550           3508           103469         3075760        0              1508           12   13   11   
10.94/11.01	c 1560           3530           104106         3095398        0              1518           12   13   11   
10.94/11.06	c 1570           3552           104743         3115036        0              1528           12   13   11   
10.94/11.10	c 1580           3574           105380         3134674        0              1538           12   13   11   
11.05/11.14	c 1585           3590           105933         3147195        0              1543           12   12   10   
11.05/11.17	c 1590           3606           106486         3159716        0              1548           12   12   10   
11.14/11.22	c 1600           3628           107123         3179354        0              1558           12   13   11   
11.14/11.26	c 1610           3650           107760         3198992        0              1568           12   13   11   
11.24/11.30	c 1620           3672           108397         3218630        0              1578           12   13   11   
11.24/11.35	c 1630           3694           109034         3238268        0              1588           12   13   11   
11.24/11.39	c 1640           3716           109671         3257906        0              1598           12   13   11   
11.34/11.43	c 1650           3738           110308         3277544        0              1608           12   13   11   
11.34/11.47	c 1660           3760           110945         3297182        0              1618           12   13   11   
11.44/11.52	c 1670           3782           111601         3316820        0              1628           12   13   11   
11.44/11.56	c 1680           3804           112240         3336458        0              1638           12   13   11   
11.54/11.60	c 1690           3826           112877         3356096        0              1648           12   13   11   
11.54/11.65	c 1700           3848           113514         3375734        0              1658           12   13   11   
11.54/11.69	c 1710           3870           114151         3395372        0              1668           12   13   11   
11.64/11.73	c 1720           3892           114788         3415010        0              1678           12   13   11   
11.64/11.77	c 1730           3914           115425         3434648        0              1688           12   13   11   
11.74/11.82	c 1740           3937           116087         3450653        0              1691           13   13   11   
11.74/11.86	c 1750           3959           116724         3470291        0              1701           12   13   11   
11.84/11.91	c 1760           3981           117361         3489929        0              1711           12   13   11   
11.84/11.95	c 1770           4003           117998         3509567        0              1721           12   13   11   
11.84/11.99	c 1780           4025           118635         3529205        0              1731           12   13   11   
11.94/12.04	c 1790           4047           119272         3548843        0              1741           12   13   11   
11.94/12.08	c 1800           4069           119909         3568481        0              1751           12   13   11   
12.04/12.12	c 1810           4091           120565         3588119        0              1761           12   13   11   
12.04/12.16	c 1820           4113           121204         3607757        0              1771           12   13   11   
12.13/12.21	c 1830           4135           121841         3627395        0              1781           12   13   11   
12.13/12.25	c 1840           4157           122478         3647033        0              1791           12   13   11   
12.13/12.29	c 1841           4169           123003         3657442        0              1792           12   12   6    
12.23/12.33	c 1850           4189           123584         3671915        0              1801           12   12   10   
12.23/12.37	c 1860           4211           124221         3691553        0              1811           12   13   11   
12.33/12.41	c 1870           4233           124858         3711191        0              1821           12   13   11   
12.33/12.46	c 1880           4255           125495         3730829        0              1831           12   13   11   
12.43/12.50	c 1890           4277           126132         3750467        0              1841           12   13   11   
12.43/12.54	c 1900           4299           126769         3770105        0              1851           12   13   11   
12.43/12.58	c 1910           4321           127406         3789743        0              1861           12   13   11   
12.53/12.63	c 1920           4343           128043         3809381        0              1871           12   13   11   
12.53/12.67	c 1930           4365           128680         3829019        0              1881           12   13   11   
12.63/12.71	c 1940           4387           129336         3848657        0              1891           12   13   11   
12.63/12.76	c 1950           4409           129975         3868295        0              1901           12   13   11   
12.73/12.80	c 1960           4431           130612         3887933        0              1911           12   13   11   
12.73/12.84	c 1970           4453           131249         3907571        0              1921           12   13   11   
12.73/12.88	c 1980           4475           131886         3927209        0              1931           12   13   11   
12.83/12.93	c 1990           4497           132523         3946847        0              1941           12   13   11   
12.83/12.97	c 2000           4520           133185         3962852        0              1944           13   13   11   
12.94/13.02	c 2010           4542           133822         3982490        0              1954           12   13   11   
12.94/13.06	c 2020           4564           134459         4002128        0              1964           12   13   11   
12.94/13.10	c 2030           4586           135096         4021766        0              1974           12   13   11   
13.04/13.15	c 2040           4608           135733         4041404        0              1984           12   13   11   
13.04/13.19	c 2050           4630           136370         4061042        0              1994           12   13   11   
13.13/13.23	c 2060           4652           137007         4080680        0              2004           12   13   11   
13.13/13.27	c 2070           4674           137644         4100318        0              2014           12   13   11   
13.23/13.32	c 2080           4696           138300         4119956        0              2024           12   13   11   
13.23/13.36	c 2090           4718           138939         4139594        0              2034           12   13   11   
13.33/13.40	c 2100           4740           139576         4159232        0              2044           12   13   11   
13.33/13.45	c 2110           4762           140213         4178870        0              2054           12   13   11   
13.33/13.49	c 2120           4784           140850         4198508        0              2064           12   13   11   
13.43/13.53	c 2122           4798           141434         4213613        0              2066           13   13   8    
13.43/13.57	c 2130           4817           142008         4227613        0              2074           12   12   10   
13.53/13.61	c 2140           4839           142645         4247251        0              2084           12   13   11   
13.53/13.65	c 2150           4861           143282         4266889        0              2094           12   13   11   
13.63/13.70	c 2160           4883           143919         4286527        0              2104           12   13   11   
13.63/13.74	c 2170           4905           144556         4306165        0              2114           12   13   11   
13.63/13.78	c 2180           4927           145193         4325803        0              2124           12   13   11   
13.73/13.83	c 2190           4949           145830         4345441        0              2134           12   13   11   
13.73/13.87	c 2200           4971           146467         4365079        0              2144           12   13   11   
13.83/13.91	c 2210           4993           147123         4384717        0              2154           12   13   11   
13.83/13.96	c 2220           5015           147762         4404355        0              2164           12   13   11   
13.83/14.00	c 2230           5037           148399         4423993        0              2174           12   13   11   
13.94/14.04	c 2240           5059           149036         4443631        0              2184           12   13   11   
13.94/14.08	c 2250           5081           149673         4463269        0              2194           12   13   11   
14.04/14.13	c 2260           5103           150310         4482907        0              2204           12   13   11   
14.04/14.17	c 2270           5125           150947         4502545        0              2214           12   13   11   
14.13/14.22	c 2280           5148           151609         4518550        0              2217           13   13   11   
14.13/14.26	c 2290           5170           152246         4538188        0              2227           12   13   11   
14.23/14.30	c 2300           5192           152883         4557826        0              2237           12   13   11   
14.23/14.34	c 2310           5214           153520         4577464        0              2247           12   13   11   
14.23/14.39	c 2320           5236           154157         4597102        0              2257           12   13   11   
14.33/14.43	c 2330           5258           154794         4616740        0              2267           12   13   11   
14.33/14.47	c 2340           5280           155431         4636378        0              2277           12   13   11   
14.43/14.52	c 2350           5302           156087         4656016        0              2287           12   13   11   
14.43/14.56	c 2360           5324           156726         4675654        0              2297           12   13   11   
14.53/14.60	c 2370           5346           157363         4695292        0              2307           12   13   11   
14.53/14.64	c 2380           5368           158000         4714930        0              2317           12   13   11   
14.53/14.69	c 2390           5390           158637         4734568        0              2327           12   13   11   
14.63/14.73	c 2400           5412           159274         4754206        0              2337           12   13   11   
14.63/14.77	c 2410           5434           159918         4770138        0              2339           12   13   11   
14.73/14.82	c 2420           5457           160576         4785630        0              2349           13   14   12   
14.73/14.86	c 2430           5480           161260         4806610        0              2359           13   14   11   
14.83/14.90	c 2431           5493           161832         4817472        0              2360           13   13   6    
14.83/14.95	c 2440           5514           162460         4833039        0              2369           13   13   11   
14.83/14.99	c 2450           5537           163144         4853752        0              2379           13   14   11   
14.94/15.04	c 2460           5560           163828         4874376        0              2389           13   14   11   
14.94/15.09	c 2470           5583           164512         4894911        0              2399           13   14   11   
15.04/15.13	c 2480           5606           165196         4915357        0              2409           13   14   11   
15.04/15.18	c 2490           5629           165899         4935714        0              2419           13   14   11   
15.13/15.22	c 2500           5652           166585         4955982        0              2429           13   14   11   
15.13/15.27	c 2510           5675           167269         4976161        0              2439           13   14   11   
15.23/15.31	c 2520           5697           167925         4995799        0              2449           12   13   11   
15.23/15.36	c 2530           5720           168628         5016779        0              2459           13   14   11   
15.33/15.41	c 2540           5743           169314         5037670        0              2469           13   14   11   
15.33/15.45	c 2550           5766           169998         5058472        0              2479           13   14   11   
15.43/15.50	c 2560           5789           170682         5079185        0              2489           13   14   11   
15.43/15.54	c 2570           5812           171366         5099809        0              2499           13   14   11   
15.43/15.59	c 2580           5835           172050         5120344        0              2509           13   14   11   
15.53/15.64	c 2590           5858           172734         5140790        0              2519           13   14   11   
15.53/15.68	c 2600           5881           173418         5161147        0              2529           13   14   11   
15.63/15.73	c 2610           5904           174102         5181415        0              2539           13   14   11   
15.63/15.77	c 2620           5927           174786         5201594        0              2549           13   14   11   
15.73/15.82	c 2630           5949           175423         5221232        0              2559           12   13   11   
15.73/15.86	c 2640           5972           176107         5242212        0              2569           13   14   11   
15.83/15.91	c 2650           5995           176810         5263103        0              2579           13   14   11   
15.83/15.96	c 2660           6018           177496         5283905        0              2589           13   14   11   
15.83/16.00	c 2670           6041           178180         5304618        0              2599           13   14   11   
15.95/16.05	c 2680           6064           178883         5325242        0              2609           13   14   11   
15.95/16.10	c 2690           6087           179569         5345777        0              2619           13   14   11   
16.05/16.14	c 2700           6110           180253         5366223        0              2629           13   14   11   
16.05/16.19	c 2710           6133           180937         5386580        0              2639           13   14   11   
16.14/16.23	c 2720           6156           181621         5406848        0              2649           13   14   11   
16.14/16.28	c 2730           6179           182305         5427027        0              2659           13   14   11   
16.24/16.32	c 2740           6201           182942         5446665        0              2669           12   13   11   
16.24/16.37	c 2750           6224           183626         5467645        0              2679           13   14   11   
16.34/16.41	c 2760           6247           184310         5488536        0              2689           13   14   11   
16.34/16.46	c 2770           6270           184994         5509338        0              2699           13   14   11   
16.44/16.50	c 2771           6283           185566         5520202        0              2700           13   13   6    
16.44/16.54	c 2780           6304           186194         5535611        0              2709           13   13   11   
16.44/16.59	c 2790           6327           186897         5556146        0              2719           13   14   11   
16.54/16.64	c 2800           6350           187583         5576592        0              2729           13   14   11   
16.54/16.68	c 2810           6373           188267         5596949        0              2739           13   14   11   
16.64/16.73	c 2820           6396           188970         5617217        0              2749           13   14   11   
16.64/16.77	c 2830           6419           189656         5637396        0              2759           13   14   11   
16.74/16.82	c 2840           6441           190293         5657034        0              2769           12   13   11   
16.74/16.86	c 2850           6464           190979         5678014        0              2779           13   14   11   
16.84/16.91	c 2860           6487           191663         5698905        0              2789           13   14   11   
16.84/16.96	c 2870           6510           192347         5719707        0              2799           13   14   11   
16.84/17.00	c 2880           6533           193031         5740420        0              2809           13   14   11   
16.95/17.05	c 2890           6556           193715         5761044        0              2819           13   14   11   
16.95/17.09	c 2900           6579           194399         5781579        0              2829           13   14   11   
17.05/17.14	c 2910           6602           195083         5802025        0              2839           13   14   11   
17.05/17.19	c 2920           6625           195767         5822382        0              2849           13   14   11   
17.14/17.23	c 2930           6648           196451         5842650        0              2859           13   14   11   
17.14/17.28	c 2940           6671           197154         5862829        0              2869           13   14   11   
17.24/17.32	c 2950           6693           197791         5882467        0              2879           12   13   11   
17.24/17.37	c 2960           6716           198475         5903447        0              2889           13   14   11   
17.34/17.41	c 2970           6739           199159         5924338        0              2899           13   14   11   
17.34/17.46	c 2980           6762           199843         5945140        0              2909           13   14   11   
17.44/17.51	c 2990           6785           200546         5965853        0              2919           13   14   11   
17.44/17.55	c 3000           6808           201232         5986477        0              2929           13   14   11   
17.54/17.60	c 3010           6831           201916         6007012        0              2939           13   14   11   
17.54/17.64	c 3020           6854           202600         6027458        0              2949           13   14   11   
17.54/17.69	c 3030           6877           203284         6047815        0              2959           13   14   11   
17.64/17.74	c 3040           6900           203968         6068083        0              2969           13   14   11   
17.64/17.78	c 3050           6923           204652         6088262        0              2979           13   14   11   
17.74/17.83	c 3060           6945           205308         6107900        0              2989           12   13   11   
17.74/17.87	c 3070           6968           206011         6128880        0              2999           13   14   11   
17.84/17.92	c 3080           6991           206697         6149771        0              3009           13   14   11   
17.84/17.96	c 3090           7014           207381         6170573        0              3019           13   14   11   
17.95/18.01	c 3100           7037           208065         6191286        0              3029           13   14   11   
17.95/18.06	c 3110           7060           208749         6211910        0              3039           13   14   11   
17.95/18.10	c 3120           7083           209433         6232445        0              3049           13   14   11   
18.05/18.15	c 3130           7106           210117         6252891        0              3059           13   14   11   
18.05/18.20	c 3140           7129           210820         6273248        0              3069           13   14   11   
18.14/18.24	c 3142           7143           211399         6284680        0              3071           13   13   8    
18.14/18.28	c 3150           7163           212020         6299211        0              3079           13   13   11   
18.24/18.32	c 3160           7185           212657         6318849        0              3089           12   13   11   
18.24/18.37	c 3170           7208           213341         6339829        0              3099           13   14   11   
18.34/18.41	c 3180           7231           214025         6360720        0              3109           13   14   11   
18.34/18.46	c 3190           7254           214709         6381522        0              3119           13   14   11   
18.44/18.50	c 3200           7277           215393         6402235        0              3129           13   14   11   
18.44/18.55	c 3210           7300           216096         6422859        0              3139           13   14   11   
18.54/18.60	c 3220           7323           216782         6443394        0              3149           13   14   11   
18.54/18.65	c 3230           7346           217466         6463840        0              3159           13   14   11   
18.54/18.69	c 3240           7369           218150         6484197        0              3169           13   14   11   
18.64/18.74	c 3250           7392           218834         6504465        0              3179           13   14   11   
18.64/18.78	c 3260           7415           219537         6524644        0              3189           13   14   11   
18.74/18.83	c 3270           7437           220174         6544282        0              3199           12   13   11   
18.74/18.87	c 3280           7460           220858         6565262        0              3209           13   14   11   
18.84/18.92	c 3290           7483           221542         6586153        0              3219           13   14   11   
18.84/18.97	c 3300           7506           222226         6606955        0              3229           13   14   11   
18.95/19.01	c 3310           7529           222910         6627668        0              3239           13   14   11   
18.95/19.06	c 3320           7552           223594         6648292        0              3249           13   14   11   
18.95/19.10	c 3330           7575           224278         6668827        0              3259           13   14   11   
19.05/19.15	c 3340           7598           224962         6689273        0              3269           13   14   11   
19.05/19.20	c 3350           7621           225646         6709630        0              3279           13   14   11   
19.14/19.24	c 3360           7644           226349         6729898        0              3289           13   14   11   
19.14/19.29	c 3370           7667           227035         6750077        0              3299           13   14   11   
19.24/19.33	c 3380           7689           227691         6769715        0              3309           12   13   11   
19.24/19.38	c 3390           7712           228396         6790695        0              3319           13   14   11   
19.34/19.42	c 3400           7735           229082         6811586        0              3329           13   14   11   
19.34/19.47	c 3410           7758           229766         6832388        0              3339           13   14   11   
19.44/19.52	c 3420           7781           230450         6853101        0              3349           13   14   11   
19.44/19.56	c 3430           7804           231134         6873725        0              3359           13   14   11   
19.54/19.61	c 3440           7827           231818         6894260        0              3369           13   14   11   
19.54/19.65	c 3450           7850           232502         6914706        0              3379           13   14   11   
19.64/19.70	c 3460           7873           233186         6935063        0              3389           13   14   11   
19.64/19.75	c 3470           7896           233870         6955331        0              3399           13   14   11   
19.64/19.79	c 3480           7919           234554         6975510        0              3409           13   14   11   
19.74/19.83	c 3490           7941           235191         6995148        0              3419           12   13   11   
19.74/19.88	c 3500           7964           235875         7016128        0              3429           13   14   11   
19.84/19.93	c 3510           7987           236559         7037019        0              3439           13   14   11   
19.84/19.97	c 3520           8010           237243         7057821        0              3449           13   14   11   
19.95/20.02	c 3530           8033           237946         7078534        0              3459           13   14   11   
19.95/20.07	c 3540           8056           238651         7099158        0              3469           13   14   11   
20.05/20.11	c 3550           8079           239337         7119693        0              3479           13   14   11   
20.05/20.15	c 3551           8092           239909         7130560        0              3480           13   13   6    
20.05/20.19	c 3560           8113           240537         7145732        0              3489           13   13   11   
20.14/20.24	c 3570           8136           241221         7166000        0              3499           13   14   11   
20.14/20.29	c 3580           8159           241905         7186179        0              3509           13   14   11   
20.24/20.33	c 3590           8181           242542         7205817        0              3519           12   13   11   
20.24/20.38	c 3600           8204           243226         7226797        0              3529           13   14   11   
20.34/20.42	c 3610           8227           243910         7247688        0              3539           13   14   11   
20.34/20.47	c 3620           8250           244594         7268490        0              3549           13   14   11   
20.44/20.51	c 3630           8273           245278         7289203        0              3559           13   14   11   
20.44/20.56	c 3640           8296           245962         7309827        0              3569           13   14   11   
20.54/20.61	c 3650           8319           246646         7330362        0              3579           13   14   11   
20.54/20.65	c 3660           8342           247330         7350808        0              3589           13   14   11   
20.64/20.70	c 3670           8365           248014         7371165        0              3599           13   14   11   
20.64/20.74	c 3680           8388           248717         7391433        0              3609           13   14   11   
20.64/20.79	c 3690           8411           249422         7411612        0              3619           13   14   11   
20.74/20.83	c 3700           8433           250059         7431250        0              3629           12   13   11   
20.74/20.88	c 3710           8456           250745         7452230        0              3639           13   14   11   
20.84/20.93	c 3720           8479           251429         7473121        0              3649           13   14   11   
20.84/20.97	c 3730           8502           252113         7493923        0              3659           13   14   11   
20.95/21.02	c 3740           8525           252797         7514636        0              3669           13   14   11   
20.95/21.06	c 3750           8548           253481         7535260        0              3679           13   14   11   
21.05/21.11	c 3760           8571           254165         7555795        0              3689           13   14   11   
21.05/21.16	c 3770           8594           254849         7576241        0              3699           13   14   11   
21.14/21.20	c 3780           8617           255533         7596598        0              3709           13   14   11   
21.14/21.25	c 3790           8640           256217         7616866        0              3719           13   14   11   
21.14/21.29	c 3800           8663           256901         7637045        0              3729           13   14   11   
21.24/21.34	c 3810           8685           257557         7656683        0              3739           12   13   11   
21.24/21.38	c 3820           8708           258260         7677663        0              3749           13   14   11   
21.34/21.43	c 3830           8731           258946         7698554        0              3759           13   14   11   
21.34/21.48	c 3840           8754           259630         7719356        0              3769           13   14   11   
21.44/21.52	c 3850           8777           260333         7740069        0              3779           13   14   11   
21.44/21.57	c 3860           8800           261019         7760693        0              3789           13   14   11   
21.54/21.62	c 3870           8823           261703         7781228        0              3799           13   14   11   
21.54/21.66	c 3880           8846           262387         7801674        0              3809           13   14   11   
21.64/21.71	c 3890           8869           263071         7822031        0              3819           13   14   11   
21.64/21.75	c 3900           8892           263755         7842299        0              3829           13   14   11   
21.74/21.80	c 3910           8915           264439         7862478        0              3839           13   14   11   
21.74/21.84	c 3920           8937           265076         7882116        0              3849           12   13   11   
21.74/21.89	c 3930           8960           265760         7903096        0              3859           13   14   11   
21.84/21.93	c 3940           8983           266444         7923987        0              3869           13   14   11   
21.84/21.98	c 3950           9006           267128         7944789        0              3879           13   14   11   
21.94/22.03	c 3960           9029           267812         7965502        0              3889           13   14   11   
21.94/22.07	c 3970           9052           268515         7986126        0              3899           13   14   11   
22.05/22.12	c 3980           9075           269201         8006661        0              3909           13   14   11   
22.05/22.17	c 3990           9098           269885         8027107        0              3919           13   14   11   
22.14/22.21	c 4000           9121           270588         8047464        0              3929           13   14   11   
22.14/22.25	c 4001           9134           271160         8058333        0              3930           13   13   6    
22.14/22.30	c 4010           9155           271788         8073347        0              3939           13   13   11   
22.24/22.34	c 4020           9177           272425         8092985        0              3949           12   13   11   
22.24/22.38	c 4030           9200           273109         8113965        0              3959           13   14   11   
22.34/22.43	c 4040           9223           273793         8134856        0              3969           13   14   11   
22.34/22.48	c 4050           9246           274477         8155658        0              3979           13   14   11   
22.44/22.52	c 4060           9269           275161         8176371        0              3989           13   14   11   
22.44/22.57	c 4070           9292           275845         8196995        0              3999           13   14   11   
22.54/22.61	c 4080           9315           276529         8217530        0              4009           13   14   11   
22.54/22.66	c 4090           9338           277213         8237976        0              4019           13   14   11   
22.64/22.71	c 4100           9361           277897         8258333        0              4029           13   14   11   
22.64/22.75	c 4110           9384           278600         8278601        0              4039           13   14   11   
22.74/22.80	c 4120           9407           279305         8298780        0              4049           13   14   11   
22.74/22.84	c 4130           9429           279942         8318418        0              4059           12   13   11   
22.74/22.89	c 4140           9452           280628         8339398        0              4069           13   14   11   
22.84/22.93	c 4150           9475           281312         8360289        0              4079           13   14   11   
22.84/22.98	c 4160           9498           281996         8381091        0              4089           13   14   11   
22.94/23.03	c 4170           9521           282680         8401804        0              4099           13   14   11   
22.94/23.07	c 4180           9544           283364         8422428        0              4109           13   14   11   
23.05/23.12	c 4190           9567           284048         8442963        0              4119           13   14   11   
23.05/23.16	c 4200           9590           284732         8463409        0              4129           13   14   11   
23.14/23.21	c 4210           9613           285416         8483766        0              4139           13   14   11   
23.14/23.26	c 4220           9636           286100         8504034        0              4149           13   14   11   
23.24/23.30	c 4230           9659           286784         8524213        0              4159           13   14   11   
23.24/23.35	c 4240           9681           287440         8543851        0              4169           12   13   11   
23.24/23.39	c 4250           9704           288143         8564831        0              4179           13   14   11   
23.34/23.44	c 4260           9727           288829         8585722        0              4189           13   14   11   
23.34/23.48	c 4270           9750           289513         8606524        0              4199           13   14   11   
23.44/23.53	c 4280           9773           290216         8627237        0              4209           13   14   11   
23.44/23.58	c 4290           9796           290902         8647861        0              4219           13   14   11   
23.54/23.62	c 4300           9819           291586         8668396        0              4229           13   14   11   
23.54/23.67	c 4310           9842           292270         8688842        0              4239           13   14   11   
23.64/23.72	c 4320           9865           292954         8709199        0              4249           13   14   11   
23.64/23.76	c 4330           9888           293638         8729467        0              4259           13   14   11   
23.74/23.81	c 4340           9911           294322         8749646        0              4269           13   14   11   
23.74/23.85	c 4350           9933           294959         8769284        0              4279           12   13   11   
23.84/23.90	c 4360           9956           295643         8790264        0              4289           13   14   11   
23.84/23.94	c 4370           9979           296327         8811155        0              4299           13   14   11   
23.84/23.99	c 4380           10002          297011         8831957        0              4309           13   14   11   
23.94/24.03	c 4390           10025          297695         8852670        0              4319           13   14   11   
23.94/24.08	c 4400           10048          298398         8873294        0              4329           13   14   11   
24.05/24.13	c 4410           10071          299084         8893829        0              4339           13   14   11   
24.05/24.17	c 4420           10094          299768         8914275        0              4349           13   14   11   
24.14/24.22	c 4430           10117          300471         8934632        0              4359           13   14   11   
24.14/24.27	c 4440           10140          301157         8954900        0              4369           13   14   11   
24.24/24.31	c 4450           10163          301841         8975079        0              4379           13   14   11   
24.24/24.35	c 4460           10185          302478         8994717        0              4389           12   13   11   
24.34/24.40	c 4470           10208          303162         9015697        0              4399           13   14   11   
24.34/24.45	c 4480           10231          303846         9036588        0              4409           13   14   11   
24.34/24.49	c 4490           10254          304530         9057390        0              4419           13   14   11   
24.44/24.53	c 4493           10269          305116         9069470        0              4422           13   13   9    
24.44/24.58	c 4500           10288          305730         9083803        0              4429           13   13   11   
24.54/24.62	c 4510           10311          306414         9104338        0              4439           13   14   11   
24.54/24.67	c 4520           10334          307098         9124784        0              4449           13   14   11   
24.64/24.71	c 4530           10357          307782         9145141        0              4459           13   14   11   
24.64/24.76	c 4540           10380          308485         9165409        0              4469           13   14   11   
24.74/24.81	c 4550           10403          309171         9185588        0              4479           13   14   11   
24.74/24.85	c 4560           10425          309808         9205226        0              4489           12   13   11   
24.74/24.89	c 4570           10448          310494         9226206        0              4499           13   14   11   
24.84/24.94	c 4580           10471          311197         9247097        0              4509           13   14   11   
24.84/24.99	c 4590           10494          311883         9267899        0              4519           13   14   11   
24.94/25.03	c 4600           10517          312567         9288612        0              4529           13   14   11   
24.94/25.08	c 4610           10540          313251         9309236        0              4539           13   14   11   
25.05/25.13	c 4620           10563          313935         9329771        0              4549           13   14   11   
25.05/25.17	c 4630           10586          314619         9350217        0              4559           13   14   11   
25.14/25.22	c 4640           10609          315303         9370574        0              4569           13   14   11   
25.14/25.26	c 4650           10632          315987         9390842        0              4579           13   14   11   
25.24/25.31	c 4660           10655          316671         9411021        0              4589           13   14   11   
25.24/25.35	c 4670           10677          317308         9430659        0              4599           12   13   11   
25.34/25.40	c 4680           10700          317992         9451639        0              4609           13   14   11   
25.34/25.44	c 4690           10723          318676         9472530        0              4619           13   14   11   
25.34/25.49	c 4700           10746          319360         9493332        0              4629           13   14   11   
25.44/25.54	c 4710           10769          320063         9514045        0              4639           13   14   11   
25.44/25.58	c 4720           10792          320749         9534669        0              4649           13   14   11   
25.54/25.63	c 4730           10815          321452         9555204        0              4659           13   14   11   
25.54/25.68	c 4740           10838          322138         9575650        0              4669           13   14   11   
25.64/25.72	c 4750           10861          322822         9596007        0              4679           13   14   11   
25.64/25.77	c 4760           10884          323506         9616275        0              4689           13   14   11   
25.74/25.81	c 4770           10907          324190         9636454        0              4699           13   14   11   
25.74/25.86	c 4780           10929          324827         9656092        0              4709           12   13   11   
25.84/25.90	c 4790           10952          325511         9677072        0              4719           13   14   11   
25.84/25.95	c 4800           10975          326195         9697963        0              4729           13   14   11   
25.84/25.99	c 4810           10998          326879         9718765        0              4739           13   14   11   
25.94/26.04	c 4820           11021          327563         9739478        0              4749           13   14   11   
25.94/26.09	c 4830           11044          328247         9760102        0              4759           13   14   11   
26.05/26.13	c 4840           11067          328931         9780637        0              4769           13   14   11   
26.05/26.18	c 4850           11090          329615         9801083        0              4779           13   14   11   
26.14/26.23	c 4860           11113          330318         9821440        0              4789           13   14   11   
26.14/26.27	c 4870           11136          331004         9841708        0              4799           13   14   11   
26.24/26.32	c 4880           11159          331707         9861887        0              4809           13   14   11   
26.24/26.36	c 4890           11181          332344         9881525        0              4819           12   13   11   
26.34/26.41	c 4900           11204          333028         9902505        0              4829           13   14   11   
26.34/26.45	c 4910           11227          333712         9923396        0              4839           13   14   11   
26.44/26.50	c 4920           11250          334396         9944198        0              4849           13   14   11   
26.44/26.54	c 4930           11273          335080         9964911        0              4859           13   14   11   
26.44/26.59	c 4940           11296          335764         9985535        0              4869           13   14   11   
26.54/26.64	c 4950           11319          336448         10006070       0              4879           13   14   11   
26.54/26.68	c 4960           11342          337132         10026516       0              4889           13   14   11   
26.64/26.73	c 4970           11365          337816         10046873       0              4899           13   14   11   
26.64/26.77	c 4980           11388          338500         10067141       0              4909           13   14   11   
26.74/26.82	c 4990           11411          339184         10087320       0              4919           13   14   11   
26.74/26.88	c 5035           11472          340225         10119675       0              4940           12   14   12   
27.24/27.34	c 5631           12154          347594         10353176       0              4979           12   16   14   
27.74/27.82	c 6286           12903          355566         10605138       0              5031           12   16   14   
28.24/28.35	c 7006           13726          363853         10877950       0              5076           12   16   14   
28.84/28.92	c 7798           14630          372924         11182666       0              5109           12   16   14   
29.44/29.55	c 8669           15624          382898         11517436       0              5160           12   16   14   
30.14/30.24	c 9627           16717          393807         11882624       0              5212           12   16   14   
30.84/30.99	c 10680          17917          405672         12275952       0              5265           12   16   14   
31.73/31.82	c 11838          19236          418617         12705927       0              5319           12   16   14   
32.63/32.72	c 13111          20684          432806         13186402       0              5350           12   16   14   
33.63/33.71	c 14511          22274          448339         13710586       0              5389           12   16   14   
34.63/34.79	c 16051          24022          465387         14284316       0              5435           12   16   14   
35.83/35.99	c 17745          25944          484501         14919281       0              5469           12   16   14   
37.23/37.31	c 19608          28058          505502         15616305       0              5536           12   16   14   
38.64/38.78	c 21657          30382          529015         16380159       0              5590           12   16   14   
40.24/40.35	c 23910          32938          553800         17216107       0              5664           12   16   14   
41.95/42.08	c 26388          35747          580939         18139342       0              5725           12   16   14   
43.84/43.97	c 29113          38833          610683         19146653       0              5784           12   16   14   
45.95/46.06	c 32110          42228          643514         20262804       0              5867           12   16   14   
48.24/48.36	c 35406          45962          679557         21489269       0              5934           12   16   14   
50.74/50.88	c 39031          50068          719051         22834238       0              6004           12   16   14   
53.54/53.64	c 43018          54580          762382         24304956       0              6089           12   16   14   
56.54/56.68	c 47403          59543          810024         25922554       0              6192           12   16   14   
59.95/60.07	c 52226          65003          864017         27700982       0              6305           12   16   14   
63.74/63.81	c 57531          71010          923523         29656354       0              6418           12   16   14   
67.95/68.03	c 63366          77627          991909         31812611       0              6532           12   17   14   
72.54/72.69	c 69784          84920          1065549        34234741       0              6639           12   17   14   
77.74/77.80	c 76843          92948          1146021        36904332       0              6760           12   17   15   
83.34/83.47	c 84607          101797         1234434        39861487       0              6887           12   17   15   
89.54/89.62	c 93147          111536         1328545        43141036       0              7007           12   17   15   
96.24/96.37	c 102541         122243         1431864        46737791       0              7124           12   17   15   
103.74/103.80	c 112874         134025         1545494        50684744       0              7251           12   17   15   
111.95/112.03	c 124240         146998         1671074        55069079       0              7385           12   17   15   
121.05/121.17	c 136742         161296         1809487        59933233       0              7524           12   17   15   
131.05/131.17	c 150494         177009         1961438        65262078       0              7678           12   17   15   
142.14/142.24	c 165621         194308         2129107        71156129       0              7840           12   17   15   
154.54/154.61	c 182260         213359         2317946        77669901       0              7987           12   17   15   
168.06/168.12	c 200562         234327         2521463        84866270       0              8126           12   17   15   
182.95/183.01	c 220694         257402         2745330        92801294       0              8290           12   17   15   
199.54/199.64	c 242839         282795         2998754        101545223      0              8482           12   17   15   
217.95/218.07	c 267198         310747         3280319        111191513      0              8661           12   17   15   
238.25/238.33	c 293992         341515         3588077        121836754      0              8841           12   17   15   
260.64/260.73	c 323465         375383         3927721        133589452      0              9036           12   17   15   
285.34/285.43	c 355885         412646         4302811        146528598      0              9229           12   17   15   
312.55/312.64	c 391547         453650         4715456        160783313      0              9414           12   17   15   
342.65/342.73	c 430775         498797         5170320        176554664      0              9596           12   17   15   
375.25/375.39	c 473925         548493         5654232        193910284      0              9791           12   17   15   
412.35/412.47	c 521390         603202         6219739        213082527      0              9992           12   17   15   
453.35/453.49	c 573601         663426         6845362        234205574      0              10154          12   17   15   
498.16/498.21	c 631033         729728         7516349        257541058      0              10324          12   17   15   
547.85/547.94	c 694208         802790         8259923        283532482      0              10553          12   18   15   
601.65/601.79	c 763700         883188         9047897        312210637      0              10750          12   18   15   
661.16/661.28	c 840141         971702         9916729        343904059      0              10983          12   18   15   
726.35/726.49	c 924226         1069166        10874943       379014450      0              11198          12   18   15   
798.16/798.24	c 1016719        1176433        11930930       417751771      0              11422          12   18   15   
877.66/877.73	c 1118461        1294580        13097665       460732086      0              11654          12   18   15   
965.66/965.70	c 1230377        1424721        14383731       508363253      0              11876          12   18   15   
1062.85/1062.95	c 1353484        1568052        15801111       561058837      0              12089          12   18   16   
1170.46/1170.57	c 1488901        1725939        17362716       619410292      0              12285          12   18   16   
1290.45/1290.59	c 1637859        1899863        19112641       684022625      0              12541          12   18   16   
1425.07/1425.14	c 1801712        2091440        21098651       755614853      0              12789          12   18   16   
1572.37/1572.48	c 1981950        2302590        23229455       835396099      0              13026          12   18   16   
1736.87/1736.94	c 2180211        2535243        25618618       924064033      0              13235          12   18   16   
1919.18/1919.25	c 2398298        2791610        28253510       1022366474     0              13481          12   18   16   
2120.58/2120.60	c 2638193        3073734        31167338       1130736737     0              13729          12   18   16   
2343.88/2343.95	c 2902077        3384663        34385465       1251020088     0              14015          12   18   16   
2520.00/2520.00	
2520.00/2520.00	c *** INTERRUPTED ***
2520.00/2520.00	c restarts              : 583         
2520.00/2520.00	c conflicts             : 3113189      (1236 /sec)
2520.00/2520.00	c decisions             : 3632675      (1442 /sec)
2520.00/2520.00	c propagations          : 1345998168  (534298 /sec)
2520.00/2520.00	c root propagations     : 0           
2520.00/2520.00	c filter calls          : 36936426       (14662 /sec)
2520.00/2520.00	c useless filter calls  : 27793233       (75 %)
2520.00/2520.00	c
2520.00/2520.00	c clauses               : 56587807
2520.00/2520.00	c SAT propagations      : 186
2520.00/2520.00	c SAT conflicts         : 0 (0 learnts)
2520.00/2520.00	c Memory used           : 2393.32 MB
2520.00/2520.00	c CPU time              : 2519.19 s
2520.00/2520.00	
2520.00/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 (14183 MiB free)
  memory of node 1: 16384 MiB (15640 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266167-1502581176/watcher-4266167-1502581176 -o /tmp/evaluation-result-4266167-1502581176/solver-4266167-1502581176 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4738 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266167-1502581176.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
solver pid=6690, runsolver pid=6687
Current StackSize limit: 8192 KiB


[startup+0.100164 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 6691
/proc/meminfo: memFree=30514920/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=58872 memory=33732 CPUtime=0.04 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 7585 0 0 0 4 0 0 0 20 0 1 0 105623993 60284928 8433 18446744073709551615 4194304 5972588 140729033726624 140729033723272 5280489 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 14718 8433 776 435 0 8081 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 58872 KiB
Current children cumulated memory: 33732 KiB

[startup+0.209853 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 6691
/proc/meminfo: memFree=30449712/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=139004 memory=98460 CPUtime=0.15 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 19171 0 0 0 13 2 0 0 20 0 1 0 105623993 142340096 24615 18446744073709551615 4194304 5972588 140729033726624 140729033723416 140412283526117 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 34751 24615 776 435 0 28114 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 139004 KiB
Current children cumulated memory: 98460 KiB

[startup+0.309709 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 6691
/proc/meminfo: memFree=30388804/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=207352 memory=159168 CPUtime=0.25 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 28207 0 0 0 21 4 0 0 20 0 1 0 105623993 212328448 39792 18446744073709551615 4194304 5972588 140729033726624 140729033723416 140412283595307 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 51838 39792 776 435 0 45201 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 207352 KiB
Current children cumulated memory: 159168 KiB

[startup+0.700405 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6691
/proc/meminfo: memFree=30267788/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=480640 memory=388936 CPUtime=0.64 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 59631 0 0 0 53 11 0 0 20 0 1 0 105623993 492175360 97234 18446744073709551615 4194304 5972588 140729033726624 140729033723416 140412283526117 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 120160 97234 776 435 0 113523 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 480640 KiB
Current children cumulated memory: 388936 KiB

[startup+1.50038 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6691
/proc/meminfo: memFree=29976444/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=911420 memory=862636 CPUtime=1.43 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 122313 0 0 0 119 24 0 0 20 0 1 0 105623993 933294080 215659 18446744073709551615 4194304 5972588 140729033726624 140729033723416 140412283526117 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 227855 215659 776 435 0 221218 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 911420 KiB
Current children cumulated memory: 862636 KiB

[startup+3.10967 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6691
/proc/meminfo: memFree=28804304/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2078668 memory=1799032 CPUtime=3.04 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 247184 0 0 0 255 49 0 0 20 0 1 0 105623993 2128556032 449758 18446744073709551615 4194304 5972588 140729033726624 140729033723416 140412283526117 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 519667 449758 776 435 0 513030 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 2078668 KiB
Current children cumulated memory: 1799032 KiB

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6691
/proc/meminfo: memFree=28232384/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2305828 CPUtime=6.24 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 316154 0 0 0 563 61 0 0 20 0 1 0 105623993 2509578240 576457 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5323639 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576457 795 435 0 606053 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2305828 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6691
/proc/meminfo: memFree=28232756/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2305828 CPUtime=12.63 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 319250 0 0 0 1202 61 0 0 20 0 1 0 105623993 2509578240 576457 18446744073709551615 4194304 5972588 140729033726624 140729033723928 4978344 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576457 795 435 0 606053 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2305828 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6691
/proc/meminfo: memFree=28233068/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2305828 CPUtime=25.44 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 323012 0 0 0 2482 62 0 0 20 0 1 0 105623993 2509578240 576457 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5099648 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576457 795 435 0 606053 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2305828 KiB

[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6691
/proc/meminfo: memFree=28232912/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2305828 CPUtime=51.05 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 329059 0 0 0 5042 63 0 0 20 0 1 0 105623993 2509578240 576457 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5040128 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576457 795 435 0 606053 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2305828 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6693
/proc/meminfo: memFree=28233164/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2305828 CPUtime=102.24 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 333422 0 0 0 10160 64 0 0 20 0 1 0 105623993 2509578240 576457 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5099648 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576457 795 435 0 606053 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2305828 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6696
/proc/meminfo: memFree=28232880/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2305828 CPUtime=162.24 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 339065 0 0 0 16160 64 0 0 20 0 1 0 105623993 2509578240 576457 18446744073709551615 4194304 5972588 140729033726624 140729033723928 4975319 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576457 795 435 0 606053 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2305828 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6698
/proc/meminfo: memFree=28233132/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2305828 CPUtime=222.24 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 343376 0 0 0 22159 65 0 0 20 0 1 0 105623993 2509578240 576457 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5040180 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576457 795 435 0 606053 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2305828 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6715
/proc/meminfo: memFree=28228280/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2305828 CPUtime=282.24 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 348719 0 0 0 28158 66 0 0 20 0 1 0 105623993 2509578240 576457 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5099648 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576457 795 435 0 606053 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2305828 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6717
/proc/meminfo: memFree=28228724/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2305828 CPUtime=342.25 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 352748 0 0 0 34158 67 0 0 20 0 1 0 105623993 2509578240 576457 18446744073709551615 4194304 5972588 140729033726624 140729033723928 4975376 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576457 795 435 0 606053 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2305828 KiB

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 6719
/proc/meminfo: memFree=28233792/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2305828 CPUtime=402.25 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 358275 0 0 0 40157 68 0 0 20 0 1 0 105623993 2509578240 576457 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5099648 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576457 795 435 0 606053 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2305828 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 6723
/proc/meminfo: memFree=28233020/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2305828 CPUtime=462.25 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 362580 0 0 0 46156 69 0 0 20 0 1 0 105623993 2509578240 576457 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5040157 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576457 795 435 0 606053 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2305828 KiB


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

/proc/6690/statm: 612690 576970 795 435 0 606053 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2307880 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6863
/proc/meminfo: memFree=28465880/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2307880 CPUtime=1782.27 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 453212 0 0 0 178147 80 0 0 20 0 1 0 105623993 2509578240 576970 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5099648 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576970 795 435 0 606053 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2307880 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6865
/proc/meminfo: memFree=28466256/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2307880 CPUtime=1842.28 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 457892 0 0 0 184147 81 0 0 20 0 1 0 105623993 2509578240 576970 18446744073709551615 4194304 5972588 140729033726624 140729033723928 4979392 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576970 795 435 0 606053 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2307880 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6867
/proc/meminfo: memFree=28466380/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2307880 CPUtime=1902.28 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 462178 0 0 0 190147 81 0 0 20 0 1 0 105623993 2509578240 576970 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5099648 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576970 795 435 0 606053 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2307880 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6870
/proc/meminfo: memFree=28465592/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2307880 CPUtime=1962.28 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 465255 0 0 0 196147 81 0 0 20 0 1 0 105623993 2509578240 576970 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5322967 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576970 795 435 0 606053 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2307880 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6873
/proc/meminfo: memFree=28465720/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2307880 CPUtime=2022.28 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 467661 0 0 0 202147 81 0 0 20 0 1 0 105623993 2509578240 576970 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5099648 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576970 795 435 0 606053 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2307880 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6890
/proc/meminfo: memFree=28462288/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2307880 CPUtime=2082.28 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 472309 0 0 0 208147 81 0 0 20 0 1 0 105623993 2509578240 576970 18446744073709551615 4194304 5972588 140729033726624 140729033723928 4975391 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 576970 795 435 0 606053 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2307880 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6919
/proc/meminfo: memFree=28460668/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2308212 CPUtime=2142.28 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 475047 0 0 0 214147 81 0 0 20 0 1 0 105623993 2509578240 577053 18446744073709551615 4194304 5972588 140729033726624 140729033723928 4979356 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 577053 795 435 0 606053 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2308212 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6921
/proc/meminfo: memFree=28461500/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2308212 CPUtime=2202.28 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 477976 0 0 0 220147 81 0 0 20 0 1 0 105623993 2509578240 577053 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5322967 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 577053 795 435 0 606053 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2308212 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6923
/proc/meminfo: memFree=28465748/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2308212 CPUtime=2262.28 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 480919 0 0 0 226147 81 0 0 20 0 1 0 105623993 2509578240 577053 18446744073709551615 4194304 5972588 140729033726624 140729033723928 4975104 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 577053 795 435 0 606053 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2308212 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6926
/proc/meminfo: memFree=28465784/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2308212 CPUtime=2322.28 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 483868 0 0 0 232147 81 0 0 20 0 1 0 105623993 2509578240 577053 18446744073709551615 4194304 5972588 140729033726624 140729033723928 4978688 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 577053 795 435 0 606053 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2308212 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6928
/proc/meminfo: memFree=28466160/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2308212 CPUtime=2382.29 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 485533 0 0 0 238148 81 0 0 20 0 1 0 105623993 2509578240 577053 18446744073709551615 4194304 5972588 140729033726624 140729033723928 4975242 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 577053 795 435 0 606053 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2308212 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6930
/proc/meminfo: memFree=28466204/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2308212 CPUtime=2442.29 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 488509 0 0 0 244148 81 0 0 20 0 1 0 105623993 2509578240 577053 18446744073709551615 4194304 5972588 140729033726624 140729033723928 5040162 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 577053 795 435 0 606053 0
Current children cumulated CPU time: 2442.29 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2308212 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6933
/proc/meminfo: memFree=28466480/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2308212 CPUtime=2502.3 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 491443 0 0 0 250148 82 0 0 20 0 1 0 105623993 2509578240 577053 18446744073709551615 4194304 5972588 140729033726624 140729033723928 4975204 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 577053 795 435 0 606053 0
Current children cumulated CPU time: 2502.3 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2308212 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 6933
/proc/meminfo: memFree=28466452/32770624 swapFree=67108764/67108860
[pid=6690] ppid=6687 vsize=2450760 memory=2308212 CPUtime=2520 cores=1,3,5,7
/proc/6690/stat : 6690 (cosoco) R 6687 6690 4674 0 -1 4202496 491494 0 0 0 251918 82 0 0 20 0 1 0 105623993 2509578240 577053 18446744073709551615 4194304 5972588 140729033726624 140729033723928 4971949 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 31969280 140729033732548 140729033732648 140729033732648 140729033736142 0
/proc/6690/statm: 612690 577053 795 435 0 606053 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 2450760 KiB
Current children cumulated memory: 2308212 KiB

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

[startup+2520.02 s]
# the end of solver process 6690 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.19 s, system=0.830023 s

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 2520.02
CPU user time (s): 2519.19
CPU system time (s): 0.830023
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2450760
Max. memory (cumulated for all children) (KiB): 2308212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.19
system time used= 0.830023
maximum resident set size= 2308292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491542
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= 48
involuntary context switches= 663


# summary of solver processes directly reported to runsolver:
#   pid: 6690
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2519.19
#   total CPU system time (s): 0.830023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.35044 second user time and 15.89 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-13 01:25:41
IDJOB=4266167
IDBENCH=133233
IDSOLVER=2655
FILE ID=node134/4266167-1502581176
RUNJOBID= node134-1502565207-4738
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-22-sum.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266167-1502581176/watcher-4266167-1502581176 -o /tmp/evaluation-result-4266167-1502581176/solver-4266167-1502581176 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4738 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266167-1502581176.xml

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

MD5SUM BENCH= 9d2f02dd2333c70ec17cc1afaa6594ca
RANDOM SEED=1044034877

node134.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.43
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.43
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.43
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.43
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:        30539576 kB
MemAvailable:   30771584 kB
Buffers:          192508 kB
Cached:           352292 kB
SwapCached:            4 kB
Active:          1601908 kB
Inactive:         214164 kB
Active(anon):    1218112 kB
Inactive(anon):    94712 kB
Active(file):     383796 kB
Inactive(file):   119452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108764 kB
Dirty:              2352 kB
Writeback:             4 kB
AnonPages:       1270976 kB
Mapped:            56404 kB
Shmem:             41564 kB
Slab:             115296 kB
SReclaimable:      89192 kB
SUnreclaim:        26104 kB
KernelStack:        3280 kB
PageTables:         7064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1623364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1206272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node134 at 2017-08-13 02:07:41