Trace number 4266218

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.04 2519.8201

General information on the benchmark

NameOrtholatin/Ortholatin-m1-s1/
Ortholatin-024.xml
MD5SUM23eb83e679dec689804004fda8e6ed87
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 variables1728
Number of constraints581
Number of domains2
Minimum domain size24
Maximum domain size576
Distribution of domain sizes[{"size":24,"count":1152},{"size":576,"count":576}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":1680},{"degree":3,"count":48}]
Minimum constraint arity3
Maximum constraint arity576
Distribution of constraint arities[{"arity":3,"count":576},{"arity":24,"count":2},{"arity":576,"count":3}]
Number of extensional constraints576
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":576},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}]
Optimization problemNO
Type of objective

Solver Data 

6.39/6.50	c SAT : Variables: 359424 -- Clauses: 95705280
6.49/6.55	c root propagations     : 17762       
6.49/6.55	c restarts enabled, print stats at every restarts
6.49/6.55	c
6.49/6.55	c
6.49/6.55	c
6.49/6.55	c This is cosoco 1.12 --  
6.49/6.55	c
6.49/6.55	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266218-1502581111.xml 
6.49/6.55	c ========================================[ Problem Statistics ]===========================================
6.49/6.55	c |                                                                                                       
6.49/6.55	c |  Parse time        :         5.67 s 
6.49/6.55	c |
6.49/6.55	c |               Variables: 1728
6.49/6.55	c |            Domain Sizes: 24..576
6.49/6.55	c |
6.49/6.55	c |             Constraints: 721
6.49/6.55	c |                   Arity: 1..576  -- Unary: 48  -- Ternary: 576
6.49/6.55	c | 
6.49/6.55	c |                   Types: 
6.49/6.55	c |                          All Different: 97
6.49/6.55	c |                          Extension: 576  (nb tuples: 576..576) -- (shared: 575)
6.49/6.55	c |                          Unary: 48
6.49/6.55	c |                          
6.49/6.55	c =========================================================================================================
6.49/6.55	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
6.49/6.59	c 10             216            4776           58439          716            10             201   207   186
6.69/6.70	c 20             639            12540          131158         716            19             260   414   296
6.79/6.80	c 30             1023           20497          205269         716            22             349   351   318
6.79/6.87	c 40             1336           25879          257229         716            26             269   274   248
6.89/6.90	c 50             1439           27870          263101         716            36             94   94   85   
6.89/6.94	c 60             1602           30647          278448         716            46             154   154   140
6.89/6.97	c 70             1765           33467          294277         716            56             154   154   140
7.00/7.01	c 80             1931           36353          310693         716            66             157   157   142
7.10/7.13	c 90             2313           45908          377786         716            71             343   355   316
7.10/7.16	c 100            2428           48116          385436         716            81             106   106   96 
7.10/7.19	c 101            2537           50381          393654         716            82             109   109   54 
7.19/7.23	c 110            2657           52777          402517         716            91             112   112   100
7.19/7.26	c 120            2781           55217          411900         716            101            115   115   104
7.29/7.30	c 130            2953           58270          429507         716            111            163   163   148
7.29/7.33	c 140            3128           61365          447672         716            121            166   166   150
7.29/7.37	c 150            3306           64479          466385         716            131            169   169   153
7.39/7.41	c 160            3487           67704          485697         716            141            172   172   156
7.39/7.46	c 170            3722           72511          515835         716            151            226   226   205
7.49/7.52	c 180            3957           76878          545972         716            161            226   226   205
7.49/7.57	c 190            4195           81336          576724         716            171            229   229   208
7.59/7.63	c 200            4436           85796          608054         716            181            232   232   210
7.59/7.69	c 210            4683           90464          640661         716            191            238   238   216
7.69/7.74	c 211            4921           95095          673238         716            192            238   238   119
7.79/7.81	c 220            5221           100950         716546         716            201            281   292   261
7.79/7.89	c 230            5528           107506         762038         716            211            298   298   270
7.89/7.96	c 240            5793           113106         800814         716            219            244   250   226
8.00/8.04	c 250            6109           120022         851585         716            226            286   295   265
8.00/8.09	c 260            6281           124043         870979         716            236            163   163   148
8.10/8.13	c 270            6459           127468         890466         716            246            169   169   153
8.10/8.18	c 280            6679           131527         917575         716            256            211   211   191
8.19/8.23	c 290            6944           136091         953887         716            266            256   256   232
8.29/8.33	c 300            7316           144384         1019104        716            270            338   343   310
8.29/8.39	c 310            7503           148614         1041909        716            280            178   178   161
8.39/8.44	c 320            7684           152874         1063030        716            290            172   172   156
8.39/8.48	c 330            7868           157099         1084190        716            300            175   175   159
8.49/8.52	c 332            8053           160872         1106548        716            302            184   184   122
8.49/8.57	c 340            8241           165174         1129220        716            310            181   181   160
8.59/8.64	c 350            8509           170370         1167230        716            320            256   259   235
8.69/8.75	c 360            8859           179185         1228472        716            325            259   322   283
8.79/8.82	c 370            9124           184909         1266574        716            335            256   256   232
8.79/8.88	c 380            9395           190269         1306358        716            345            262   262   238
8.89/8.95	c 390            9690           195836         1348958        716            355            286   286   260
9.00/9.02	c 400            9991           202084         1393159        716            365            292   292   265
9.10/9.11	c 410            10329          209257         1447389        716            374            313   325   293
9.10/9.18	c 420            10636          215971         1493141        716            384            298   298   270
9.19/9.30	c 430            11039          225379         1559769        716            394            328   394   339
9.29/9.38	c 440            11376          232429         1615597        716            397            298   301   272
9.39/9.46	c 450            11727          239740         1674097        716            402            316   325   292
9.49/9.53	c 460            11956          245150         1705377        716            412            220   220   200
9.49/9.58	c 465            12183          250008         1736643        716            417            223   223   185
9.59/9.64	c 470            12434          255131         1771792        716            422            247   247   205
9.69/9.70	c 480            12690          260693         1806763        716            432            247   247   224
9.69/9.77	c 490            12970          266448         1846575        716            442            271   271   246
9.79/9.85	c 500            13310          273475         1899742        716            452            331   331   300
9.89/9.95	c 510            13668          281864         1956969        716            462            343   349   316
10.00/10.04	c 520            14017          289292         2011533        716            472            340   340   309
10.10/10.14	c 530            14363          297794         2066936        716            482            330   337   305
10.19/10.23	c 540            14722          304832         2125560        716            491            332   346   312
10.29/10.31	c 550            15029          311694         2171808        716            501            298   298   270
10.39/10.40	c 560            15339          318958         2218528        716            511            301   301   273
10.39/10.49	c 570            15707          326414         2278747        716            519            340   352   315
10.49/10.57	c 580            16017          333264         2325576        716            529            301   301   273
10.59/10.68	c 590            16401          341562         2389610        716            537            1   370   301  
10.69/10.79	c 600            16781          351302         2457738        716            539            346   350   317
10.79/10.87	c 610            17121          358206         2510615        716            549            331   331   300
10.89/10.96	c 611            17468          366665         2567719        716            550            347   347   173
11.00/11.05	c 620            17828          374135         2625256        716            559            352   352   316
11.10/11.16	c 630            18201          382983         2685877        716            568            1   364   297  
11.19/11.26	c 640            18574          391891         2745957        716            578            364   364   330
11.29/11.36	c 650            18953          400486         2806706        716            588            370   370   336
11.39/11.47	c 660            19350          409768         2871402        716            598            388   388   352
11.49/11.59	c 670            19746          419824         2942096        716            603            361   373   330
11.69/11.73	c 680            20194          431734         3026862        716            607            372   410   369
11.79/11.82	c 690            20552          439390         3083734        716            617            349   349   317
11.89/11.96	c 700            20956          451275         3157506        716            622            361   376   332
12.00/12.09	c 710            21396          462670         3236088        716            629            406   418   375
12.19/12.20	c 720            21775          471550         3297624        716            639            370   370   336
12.19/12.30	c 730            22163          479565         3360571        716            649            379   379   344
12.39/12.42	c 740            22560          489803         3431469        716            655            363   379   338
12.49/12.54	c 750            22957          500654         3496970        716            665            388   388   352
12.59/12.67	c 760            23361          511118         3570261        716            670            373   376   340
12.69/12.76	c 770            23731          519057         3629957        716            680            361   361   328
12.79/12.85	c 771            24107          527575         3692324        716            681            376   376   188
12.89/13.00	c 780            24505          539628         3770149        716            683            303   370   319
13.10/13.11	c 790            24890          548530         3832872        716            693            376   376   341
13.10/13.19	c 800            25246          555007         3889919        716            702            304   343   304
13.29/13.33	c 810            25642          566550         3966935        716            703            362   365   331
13.39/13.42	c 820            26024          574614         4029272        716            713            373   373   339
13.49/13.51	c 830            26370          582156         4083520        716            723            337   337   306
13.59/13.62	c 840            26722          590859         4139491        716            733            343   343   311
13.69/13.71	c 850            27090          599105         4202247        716            739            315   343   299
13.79/13.81	c 860            27445          607250         4258793        716            749            346   346   314
13.89/13.92	c 870            27818          617090         4320307        716            758            1   364   297  
14.00/14.04	c 880            28194          627088         4381356        716            768            322   367   329
14.10/14.15	c 890            28561          636404         4440767        716            778            358   358   325
14.19/14.26	c 900            28931          645467         4505750        716            781            328   334   302
14.29/14.38	c 910            29334          655717         4573135        716            791            394   394   358
14.39/14.48	c 920            29707          664219         4632793        716            801            364   364   330
14.59/14.61	c 930            30129          675326         4709903        716            806            385   394   353
14.69/14.72	c 940            30511          683877         4771757        716            816            373   373   339
14.79/14.81	c 947            30866          691579         4829008        716            823            349   349   305
14.89/14.92	c 950            31268          701079         4896683        716            826            400   400   300
15.00/15.02	c 960            31653          709289         4959705        716            836            376   376   341
15.10/15.13	c 970            32064          718336         5028026        716            846            396   400   363
15.19/15.24	c 980            32476          727799         5096846        716            856            403   403   366
15.29/15.33	c 990            32834          735645         5153205        716            866            349   349   317
15.39/15.47	c 1000           33262          746790         5230622        716            871            397   406   364
15.49/15.59	c 1010           33680          756383         5300788        716            881            361   409   366
15.69/15.72	c 1020           34106          766701         5374655        716            890            403   412   371
15.79/15.83	c 1030           34530          776295         5446234        716            900            415   415   377
15.89/15.95	c 1040           34960          786035         5518598        716            910            421   421   382
16.00/16.07	c 1050           35407          796139         5599781        716            914            409   421   375
16.19/16.20	c 1060           35846          806331         5676061        716            923            327   427   360
16.29/16.33	c 1070           36293          817191         5756138        716            928            413   424   380
16.39/16.49	c 1080           36743          830462         5844526        716            931            294   417   345
16.59/16.60	c 1090           37183          839680         5925198        716            935            295   416   365
16.69/16.72	c 1100           37628          850217         6004085        716            940            411   421   377
16.79/16.83	c 1110           38010          858850         6065971        716            950            373   373   339
16.89/16.94	c 1120           38392          867924         6128347        716            960            373   373   339
17.00/17.05	c 1130           38789          877267         6193747        716            970            388   388   352
17.10/17.16	c 1140           39137          886107         6253221        716            971            319   325   293
17.19/17.21	c 1141           39393          891535         6291422        716            972            256   256   128
17.29/17.33	c 1150           39777          901348         6354954        716            981            376   376   338
17.39/17.44	c 1160           40171          910786         6420254        716            991            385   385   350
17.49/17.56	c 1170           40565          920927         6486724        716            1001           382   385   349
17.59/17.69	c 1180           41019          931719         6569124        716            1005           418   427   383
17.79/17.81	c 1190           41416          942026         6634958        716            1015           388   388   352
17.89/17.92	c 1200           41813          951421         6699429        716            1025           388   388   352
18.00/18.05	c 1210           42249          962455         6772728        716            1035           427   427   388
18.10/18.18	c 1220           42696          973466         6853747        716            1039           412   421   377
18.29/18.31	c 1230           43132          984534         6927033        716            1049           427   427   388
18.39/18.44	c 1240           43587          995708         7007842        716            1054           420   433   385
18.49/18.57	c 1250           44029          1006015        7082553        716            1064           433   433   393
18.59/18.68	c 1260           44471          1014904        7156817        716            1074           433   433   393
18.79/18.80	c 1270           44880          1024797        7224561        716            1084           400   400   363
18.89/18.94	c 1280           45325          1036373        7299586        716            1094           436   436   396
19.00/19.07	c 1290           45779          1047560        7376533        716            1104           445   445   404
19.10/19.19	c 1300           46164          1057338        7444133        716            1107           361   366   331
19.29/19.31	c 1310           46567          1067178        7510688        716            1117           394   394   358
19.39/19.41	c 1320           46940          1075653        7570469        716            1127           364   364   330
19.49/19.52	c 1330           47346          1084695        7637165        716            1137           397   397   360
19.59/19.63	c 1340           47749          1094097        7703732        716            1147           394   394   358
19.69/19.77	c 1350           48164          1105431        7773675        716            1157           397   406   368
19.79/19.89	c 1352           48589          1116280        7846349        716            1159           424   424   282
20.00/20.02	c 1360           49038          1126861        7922201        716            1167           442   442   392
20.10/20.13	c 1370           49387          1135663        7978883        716            1177           340   340   309
20.19/20.21	c 1380           49727          1143165        8032264        716            1187           331   331   300
20.29/20.34	c 1390           50181          1153828        8110794        716            1196           284   442   371
20.39/20.46	c 1400           50632          1162857        8186639        716            1206           442   442   401
20.49/20.59	c 1410           51093          1173399        8270916        716            1208           429   439   391
20.69/20.71	c 1420           51511          1183314        8341953        716            1217           300   406   349
20.79/20.83	c 1430           51926          1193145        8410738        716            1227           406   406   369
20.89/20.96	c 1440           52383          1203700        8488410        716            1237           448   448   407
21.00/21.08	c 1450           52801          1213588        8558111        716            1247           409   409   371
21.19/21.20	c 1460           53224          1222839        8628851        716            1257           328   412   366
21.29/21.32	c 1470           53645          1233154        8699022        716            1267           316   412   365
21.39/21.45	c 1480           54071          1243307        8769907        716            1277           328   415   369
21.49/21.58	c 1490           54546          1253648        8854745        716            1282           437   451   403
21.69/21.70	c 1500           54964          1263591        8924509        716            1292           409   409   371
21.79/21.82	c 1510           55409          1273163        8999346        716            1302           436   436   396
21.89/21.94	c 1520           55836          1282463        9070666        716            1312           418   418   380
22.00/22.06	c 1530           56293          1292018        9148835        716            1322           399   448   402
22.10/22.18	c 1540           56723          1301274        9220846        716            1332           421   421   382
22.19/22.29	c 1550           57135          1310414        9288758        716            1342           403   403   366
22.39/22.41	c 1560           57556          1319663        9358466        716            1352           412   412   374
22.49/22.55	c 1570           58029          1331392        9443825        716            1357           427   451   397
22.59/22.67	c 1580           58465          1341463        9517107        716            1367           427   427   388
22.79/22.80	c 1585           58920          1351894        9594960        716            1372           451   451   375
22.89/22.93	c 1590           59375          1362666        9673169        716            1377           451   451   375
23.00/23.06	c 1600           59834          1373615        9751276        716            1387           391   448   402
23.19/23.20	c 1610           60290          1384497        9832165        716            1394           403   442   387
23.29/23.32	c 1620           60756          1394832        9915811        716            1398           420   424   383
23.39/23.45	c 1630           61223          1404767        10001459       716            1402           397   442   365
23.49/23.55	c 1640           61560          1412940        10054394       716            1412           328   328   298
23.59/23.67	c 1650           62008          1423440        10130651       716            1422           439   439   399
23.69/23.79	c 1660           62447          1433247        10204496       716            1432           430   430   390
23.89/23.93	c 1670           62904          1444360        10282434       716            1442           445   448   407
24.00/24.06	c 1680           63377          1455268        10367951       716            1447           430   451   398
24.10/24.19	c 1690           63813          1465296        10440830       716            1457           427   427   388
24.19/24.28	c 1700           64156          1473087        10494883       716            1467           334   334   303
24.39/24.41	c 1710           64626          1484081        10580607       716            1471           415   445   380
24.49/24.54	c 1720           65059          1494622        10653202       716            1481           360   424   379
24.59/24.66	c 1730           65507          1504232        10728138       716            1491           439   439   399
24.79/24.80	c 1740           65986          1515087        10816394       716            1495           436   448   399
24.89/24.93	c 1750           66465          1526398        10904542       716            1499           445   454   406
25.00/25.06	c 1760           66901          1536799        10978078       716            1509           427   427   388
25.10/25.18	c 1770           67310          1545911        11045682       716            1519           400   400   363
25.29/25.30	c 1780           67734          1555535        11116875       716            1528           356   412   364
25.39/25.42	c 1790           68146          1564927        11185217       716            1538           403   403   366
25.49/25.56	c 1800           68612          1576367        11264884       716            1548           457   457   415
25.69/25.71	c 1810           69103          1589443        11354376       716            1553           448   463   413
25.79/25.83	c 1820           69506          1599325        11420884       716            1563           394   394   358
25.89/25.93	c 1830           69837          1607283        11472068       716            1573           322   322   292
26.00/26.05	c 1840           70258          1616928        11542177       716            1583           412   412   374
26.10/26.14	c 1841           70577          1624338        11593617       716            1584           319   319   159
26.20/26.27	c 1850           71003          1635031        11665323       716            1593           364   418   370
26.29/26.39	c 1860           71427          1644300        11735651       716            1603           415   415   377
26.49/26.52	c 1870           71848          1654825        11806150       716            1613           412   412   374
26.59/26.63	c 1880           72266          1664454        11876069       716            1623           409   409   371
26.69/26.77	c 1890           72705          1675601        11950077       716            1633           430   430   390
26.79/26.88	c 1900           73132          1685112        12021038       716            1643           418   418   380
27.00/27.01	c 1910           73568          1695368        12094420       716            1653           427   427   388
27.10/27.14	c 1920           74013          1705524        12170900       716            1663           430   436   395
27.19/27.25	c 1930           74404          1714779        12235672       716            1673           382   382   347
27.29/27.38	c 1940           74852          1725897        12311189       716            1683           439   439   399
27.49/27.51	c 1950           75297          1736050        12386316       716            1693           436   436   396
27.59/27.64	c 1960           75769          1747210        12466934       716            1703           463   463   420
27.69/27.77	c 1970           76220          1757827        12543627       716            1713           442   442   401
27.89/27.90	c 1980           76692          1768411        12624360       716            1723           463   463   420
28.00/28.04	c 1990           77164          1779007        12705102       716            1733           463   463   420
28.10/28.18	c 2000           77642          1791166        12787487       716            1743           469   469   426
28.29/28.32	c 2010           78102          1802031        12866937       716            1752           418   448   402
28.39/28.46	c 2020           78580          1813232        12950034       716            1762           466   469   426
28.49/28.59	c 2030           79065          1823947        13037264       716            1767           438   463   407
28.69/28.72	c 2040           79537          1834967        13118514       716            1777           463   463   420
28.79/28.86	c 2050           80009          1846742        13207422       716            1781           380   446   375
28.89/28.99	c 2060           80455          1856555        13285886       716            1789           425   430   389
29.10/29.12	c 2070           80930          1866790        13366898       716            1799           373   466   415
29.19/29.25	c 2080           81409          1876927        13451353       716            1808           374   466   405
29.29/29.39	c 2090           81908          1888492        13544353       716            1812           448   466   411
29.49/29.53	c 2100           82386          1899942        13626990       716            1822           385   469   418
29.59/29.67	c 2110           82867          1911619        13710016       716            1832           472   472   429
29.79/29.81	c 2120           83348          1923136        13793136       716            1842           472   472   429
29.89/29.93	c 2122           83793          1932994        13871746       716            1843           442   444   295
30.00/30.05	c 2130           84252          1943107        13956215       716            1847           442   444   393
30.19/30.20	c 2140           84743          1955215        14047367       716            1851           453   466   414
30.29/30.33	c 2150           85164          1965782        14118285       716            1861           412   412   374
30.39/30.45	c 2160           85597          1975301        14191397       716            1871           424   424   385
30.49/30.58	c 2170           86033          1986274        14264894       716            1881           427   427   388
30.69/30.73	c 2180           86514          1998202        14347767       716            1891           472   472   429
30.79/30.84	c 2190           86932          2007496        14417635       716            1901           409   409   371
30.89/30.97	c 2200           87395          2018674        14503725       716            1903           441   443   401
31.00/31.09	c 2210           87855          2027949        14587391       716            1904           434   439   396
31.19/31.23	c 2220           88309          2038709        14665077       716            1914           364   445   396
31.29/31.36	c 2230           88794          2048796        14751993       716            1919           452   463   415
31.39/31.47	c 2240           89167          2057447        14812493       716            1929           364   364   330
31.59/31.60	c 2250           89645          2068620        14894694       716            1939           469   469   426
31.69/31.74	c 2260           90108          2079845        14973994       716            1949           454   454   412
31.79/31.89	c 2270           90608          2091685        15065825       716            1953           459   475   420
31.89/31.99	c 2280           90966          2099713        15122866       716            1963           349   349   317
32.10/32.13	c 2290           91457          2110792        15207304       716            1972           380   478   416
32.19/32.27	c 2300           91938          2121813        15294409       716            1977           340   464   380
32.39/32.41	c 2310           92441          2133546        15388320       716            1982           455   475   420
32.49/32.54	c 2320           92874          2143844        15460224       716            1992           424   424   385
32.59/32.69	c 2330           93371          2156221        15550187       716            1997           368   475   412
32.79/32.83	c 2340           93852          2166729        15633304       716            2007           415   472   419
32.89/32.95	c 2350           94285          2176212        15705342       716            2017           424   424   385
33.00/33.09	c 2360           94782          2187272        15796330       716            2021           462   472   422
33.19/33.22	c 2370           95209          2197408        15867135       716            2031           418   418   380
33.29/33.35	c 2380           95639          2208279        15939199       716            2041           421   421   382
33.39/33.47	c 2390           96066          2217809        16010210       716            2051           418   418   380
33.49/33.59	c 2400           96496          2226864        16081806       716            2061           421   421   382
33.69/33.73	c 2410           96980          2237944        16164573       716            2071           475   475   431
33.79/33.87	c 2420           97467          2248172        16248373       716            2081           427   478   425
34.00/34.02	c 2430           97960          2260391        16339526       716            2085           379   466   408
34.10/34.12	c 2431           98312          2268283        16397030       716            2086           352   352   176
34.19/34.24	c 2440           98753          2277708        16471287       716            2095           433   433   389
34.29/34.39	c 2450           99258          2289796        16564247       716            2099           458   472   420
34.49/34.53	c 2460           99751          2301591        16656792       716            2101           460   463   420
34.59/34.67	c 2470           100232         2312642        16739814       716            2111           472   472   429
34.69/34.75	c 2480           100485         2319089        16776131       716            2121           244   244   221
34.79/34.87	c 2490           100918         2328470        16849333       716            2130           262   421   339
35.00/35.01	c 2500           101363         2338658        16925142       716            2140           433   436   396
35.10/35.15	c 2510           101844         2349909        17007224       716            2150           472   472   429
35.29/35.30	c 2520           102338         2362339        17097814       716            2155           449   466   415
35.39/35.44	c 2530           102807         2372989        17177450       716            2165           298   460   388
35.49/35.58	c 2540           103288         2384504        17259779       716            2175           472   472   429
35.69/35.73	c 2550           103790         2395731        17352629       716            2179           458   475   420
35.79/35.82	c 2560           104026         2402526        17394614       716            2189           215   227   205
35.89/35.95	c 2570           104462         2412877        17468041       716            2199           421   427   387
36.00/36.04	c 2580           104668         2419490        17502664       716            2209           197   197   179
36.10/36.18	c 2590           105168         2431650        17595634       716            2211           464   478   423
36.19/36.27	c 2600           105392         2438797        17634703       716            2221           215   215   195
36.29/36.35	c 2610           105664         2445255        17681788       716            2231           263   263   239
36.39/36.47	c 2620           106103         2454813        17754999       716            2241           430   430   390
36.49/36.57	c 2630           106483         2462879        17823236       716            2242           336   371   324
36.59/36.68	c 2640           106894         2472686        17892459       716            2251           250   394   319
36.69/36.76	c 2650           107076         2478439        17921947       716            2261           173   173   157
36.79/36.85	c 2660           107357         2486395        17971681       716            2271           272   272   247
36.90/36.95	c 2670           107704         2494815        18033180       716            2281           338   338   307
37.00/37.06	c 2680           108107         2504626        18099830       716            2291           394   394   358
37.10/37.18	c 2690           108522         2513882        18168714       716            2301           406   406   369
37.20/37.29	c 2700           108937         2522739        18236647       716            2311           406   406   369
37.30/37.38	c 2710           109197         2529992        18281621       716            2321           251   251   228
37.50/37.50	c 2720           109621         2540007        18351780       716            2331           415   415   377
37.60/37.62	c 2730           110024         2549115        18417692       716            2341           394   394   358
37.70/37.75	c 2740           110451         2559966        18488980       716            2351           418   418   380
37.80/37.89	c 2750           110887         2570671        18562777       716            2361           278   424   372
38.00/38.01	c 2760           111317         2580238        18634299       716            2371           421   421   382
38.10/38.14	c 2770           111753         2589848        18707367       716            2381           421   427   387
38.19/38.26	c 2771           112186         2599661        18781201       716            2382           433   433   216
38.29/38.39	c 2780           112624         2609864        18854891       716            2391           430   430   387
38.49/38.51	c 2790           113048         2619695        18925483       716            2401           415   415   377
38.59/38.64	c 2800           113490         2630354        19000719       716            2411           314   430   380
38.69/38.78	c 2810           113938         2641233        19076260       716            2421           439   439   399
38.89/38.93	c 2820           114449         2653065        19171400       716            2425           417   478   391
39.00/39.05	c 2830           114882         2662544        19243962       716            2435           424   424   385
39.10/39.19	c 2840           115363         2673676        19327232       716            2445           466   472   428
39.29/39.31	c 2850           115808         2682999        19401768       716            2455           436   436   396
39.39/39.46	c 2860           116262         2693856        19478639       716            2465           445   445   404
39.49/39.59	c 2870           116720         2704726        19569261       716            2470           402   430   376
39.69/39.75	c 2880           117219         2718259        19655320       716            2480           490   490   445
39.79/39.89	c 2890           117655         2729088        19737057       716            2490           427   427   388
39.89/40.00	c 2900           118002         2737816        19799250       716            2500           338   338   307
40.10/40.15	c 2910           118495         2749740        19884873       716            2510           481   484   439
40.19/40.30	c 2920           118926         2760854        19964795       716            2520           372   421   378
40.39/40.43	c 2930           119370         2770713        20048569       716            2530           355   430   384
40.49/40.58	c 2940           119840         2782382        20142195       716            2535           411   442   383
40.69/40.73	c 2950           120304         2794344        20234077       716            2540           432   442   396
40.79/40.85	c 2960           120714         2803361        20308417       716            2550           401   401   364
40.89/41.00	c 2970           121165         2815038        20392731       716            2560           442   442   401
41.10/41.13	c 2980           121595         2825100        20473474       716            2567           386   407   363
41.19/41.25	c 2990           121945         2834477        20537377       716            2577           341   341   310
41.29/41.38	c 3000           122355         2844722        20612858       716            2587           401   401   364
41.49/41.50	c 3010           122774         2854470        20689968       716            2597           410   410   372
41.59/41.64	c 3020           123244         2865719        20783563       716            2602           417   442   389
41.69/41.78	c 3030           123657         2876320        20858999       716            2612           404   404   367
41.89/41.90	c 3040           124085         2885584        20937105       716            2622           419   419   380
42.00/42.05	c 3050           124550         2897351        21026943       716            2631           360   448   394
42.10/42.17	c 3060           124906         2906920        21092110       716            2641           347   347   315
42.30/42.32	c 3070           125384         2918390        21188328       716            2645           441   445   402
42.40/42.48	c 3080           125831         2930379        21273841       716            2651           314   422   335
42.60/42.61	c 3090           126273         2940633        21355309       716            2661           433   433   393
42.70/42.76	c 3100           126746         2952461        21451734       716            2665           297   439   384
42.80/42.89	c 3110           127174         2962605        21530594       716            2675           419   419   380
42.90/42.99	c 3120           127527         2970809        21592908       716            2685           344   344   312
43.10/43.13	c 3130           127966         2981266        21676346       716            2695           279   427   374
43.19/43.26	c 3140           128411         2992362        21758833       716            2705           436   436   396
43.29/43.35	c 3142           128704         2999111        21811728       716            2707           290   292   194
43.39/43.48	c 3150           129117         3010495        21895066       716            2709           391   393   348
43.59/43.61	c 3160           129497         3020659        21970588       716            2712           344   350   314
43.69/43.74	c 3170           129935         3031905        22057662       716            2717           397   416   368
43.79/43.87	c 3180           130372         3041813        22139992       716            2727           428   428   389
43.89/44.00	c 3190           130809         3051836        22221855       716            2737           428   428   389
44.00/44.08	c 3200           131060         3058484        22263968       716            2747           242   242   220
44.19/44.21	c 3210           131497         3069082        22346281       716            2757           428   428   389
44.29/44.33	c 3220           131912         3079009        22427743       716            2762           384   387   350
44.49/44.50	c 3230           132377         3092105        22521874       716            2767           366   443   347
44.59/44.65	c 3240           132827         3104519        22611595       716            2771           397   425   366
44.69/44.75	c 3250           133111         3111771        22661114       716            2781           275   275   250
44.79/44.83	c 3260           133389         3118566        22708426       716            2791           269   269   244
44.89/44.95	c 3270           133812         3128911        22791862       716            2796           391   401   359
45.00/45.09	c 3280           134237         3140060        22871102       716            2806           416   416   378
45.19/45.22	c 3290           134668         3150014        22953454       716            2816           408   422   381
45.29/45.36	c 3300           135116         3161063        23043025       716            2818           281   417   330
45.49/45.50	c 3310           135533         3172266        23126763       716            2822           367   392   338
45.49/45.58	c 3320           135781         3178932        23169593       716            2832           239   239   217
45.59/45.69	c 3330           136131         3187675        23231473       716            2842           341   341   310
45.79/45.81	c 3340           136505         3196960        23298471       716            2852           365   365   331
45.89/45.94	c 3350           136885         3207158        23367315       716            2862           368   371   337
46.00/46.03	c 3360           137142         3214378        23411362       716            2872           248   248   225
46.10/46.16	c 3370           137549         3224879        23487130       716            2882           398   398   361
46.19/46.29	c 3380           137959         3235825        23561963       716            2892           401   401   364
46.39/46.41	c 3390           138345         3244871        23631668       716            2902           377   377   342
46.49/46.55	c 3400           138776         3255804        23711639       716            2912           422   422   383
46.59/46.63	c 3410           139057         3262495        23759409       716            2922           272   272   247
46.69/46.76	c 3420           139492         3273070        23844741       716            2927           382   413   359
46.89/46.91	c 3430           139936         3284986        23933728       716            2931           394   413   362
47.00/47.03	c 3440           140329         3293405        24004470       716            2941           371   384   347
47.10/47.16	c 3450           140752         3303275        24082247       716            2951           414   414   376
47.19/47.27	c 3460           141176         3312367        24166672       716            2953           401   403   365
47.39/47.42	c 3470           141598         3324420        24250627       716            2956           354   393   331
47.49/47.50	c 3480           141829         3330597        24288448       716            2966           222   222   201
47.59/47.64	c 3490           142238         3341611        24370696       716            2971           345   387   345
47.69/47.75	c 3500           142598         3349797        24435495       716            2981           225   351   296
47.79/47.84	c 3510           142850         3357056        24478879       716            2991           243   243   220
47.89/47.95	c 3520           143213         3366322        24543112       716            3001           354   354   321
48.00/48.04	c 3530           143480         3373323        24588467       716            3011           258   258   234
48.10/48.14	c 3540           143777         3381041        24640870       716            3021           288   288   261
48.19/48.26	c 3550           144146         3390528        24706868       716            3031           360   360   327
48.29/48.38	c 3551           144521         3400497        24776286       716            3032           375   375   187
48.49/48.50	c 3560           144907         3409372        24845925       716            3041           378   378   340
48.59/48.63	c 3570           145300         3420240        24917079       716            3051           384   384   349
48.69/48.76	c 3580           145690         3430123        24987690       716            3061           378   381   346
48.79/48.89	c 3590           146089         3441015        25060035       716            3071           390   390   354
49.00/49.05	c 3600           146537         3453874        25143539       716            3081           402   439   395
49.10/49.19	c 3610           146975         3465186        25223558       716            3091           429   429   390
49.29/49.32	c 3620           147384         3475146        25298146       716            3101           400   400   363
49.39/49.46	c 3630           147799         3485755        25373495       716            3111           406   406   369
49.59/49.60	c 3640           148211         3496778        25447740       716            3121           403   403   366
49.69/49.75	c 3650           148655         3508751        25529614       716            3131           400   435   392
49.79/49.89	c 3660           149079         3519396        25607526       716            3141           409   415   376
50.00/50.04	c 3670           149523         3530722        25689170       716            3151           435   435   395
50.10/50.19	c 3680           149985         3542759        25775109       716            3161           453   453   411
50.29/50.33	c 3690           150432         3553462        25857091       716            3171           438   438   398
50.39/50.47	c 3700           150879         3563761        25940064       716            3181           295   438   385
50.59/50.61	c 3710           151306         3574444        26018379       716            3191           418   418   380
50.70/50.76	c 3720           151756         3586371        26101244       716            3201           441   441   400
50.90/50.91	c 3730           152221         3598527        26188644       716            3211           456   456   414
51.00/51.07	c 3740           152661         3610887        26276514       716            3216           294   416   355
51.20/51.22	c 3750           153118         3621994        26362115       716            3226           445   448   407
51.30/51.32	c 3760           153437         3629846        26417523       716            3236           310   310   281
51.40/51.47	c 3770           153914         3642002        26513313       716            3240           274   449   329
51.49/51.58	c 3780           154292         3650902        26588344       716            3244           278   347   284
51.69/51.74	c 3790           154747         3663236        26675968       716            3250           285   428   331
51.79/51.88	c 3800           155202         3674865        26761693       716            3260           446   446   405
52.00/52.02	c 3810           155633         3685047        26840099       716            3270           422   422   383
52.10/52.15	c 3820           156034         3695010        26912578       716            3280           392   392   356
52.19/52.30	c 3830           156465         3706742        26992339       716            3290           422   422   383
52.39/52.47	c 3840           156939         3720392        27087577       716            3295           420   446   388
52.59/52.61	c 3850           157343         3731663        27160965       716            3305           395   395   359
52.69/52.75	c 3860           157756         3742699        27235812       716            3315           404   404   367
52.79/52.89	c 3870           158184         3752941        27316566       716            3320           293   404   306
53.00/53.01	c 3880           158528         3762579        27379168       716            3330           335   335   304
53.00/53.09	c 3890           158821         3769454        27428663       716            3340           284   284   258
53.19/53.24	c 3900           159279         3780748        27513833       716            3350           446   449   407
53.29/53.39	c 3910           159751         3793093        27608206       716            3352           441   444   402
53.49/53.54	c 3920           160228         3804980        27702827       716            3356           406   452   378
53.59/53.68	c 3930           160650         3816061        27779943       716            3366           413   413   375
53.79/53.81	c 3940           161075         3826035        27857449       716            3376           416   416   378
53.89/53.95	c 3950           161497         3837218        27934573       716            3386           413   413   375
54.00/54.09	c 3960           161931         3848970        28014123       716            3396           425   425   386
54.19/54.24	c 3970           162385         3860251        28103564       716            3401           385   428   365
54.29/54.38	c 3980           162825         3871063        28184584       716            3411           431   431   391
54.49/54.53	c 3990           163287         3882722        28275888       716            3415           397   437   368
54.59/54.63	c 4000           163571         3890548        28325534       716            3425           275   275   250
54.69/54.76	c 4001           164008         3900963        28407691       716            3426           437   437   218
54.89/54.91	c 4010           164481         3913597        28501640       716            3429           439   449   396
54.89/54.98	c 4020           164684         3919106        28533280       716            3439           194   194   176
55.00/55.06	c 4030           164917         3925496        28571870       716            3449           224   224   203
55.19/55.21	c 4040           165382         3936763        28659233       716            3459           446   456   413
55.29/55.34	c 4050           165822         3947554        28746046       716            3461           409   412   373
55.39/55.48	c 4060           166282         3959069        28836618       716            3466           278   438   311
55.49/55.59	c 4070           166606         3967922        28894078       716            3476           315   315   286
55.69/55.73	c 4080           167049         3979098        28978037       716            3485           397   429   384
55.79/55.86	c 4090           167480         3990056        29058564       716            3495           203   417   340
55.89/55.99	c 4100           167906         4000325        29142187       716            3497           404   406   368
56.10/56.12	c 4110           168359         4010816        29227472       716            3507           441   444   403
56.19/56.25	c 4120           168774         4020917        29305149       716            3513           218   390   277
56.29/56.33	c 4130           168999         4027264        29342408       716            3523           216   216   196
56.39/56.45	c 4140           169387         4036187        29411698       716            3533           375   379   343
56.49/56.58	c 4150           169798         4047162        29487606       716            3543           219   397   328
56.69/56.74	c 4160           170257         4059850        29575422       716            3552           434   445   402
56.79/56.88	c 4170           170692         4070492        29656412       716            3562           228   421   347
56.90/57.00	c 4180           171095         4079616        29728536       716            3572           394   394   358
57.11/57.14	c 4190           171533         4090994        29810027       716            3582           234   424   351
57.20/57.29	c 4200           171973         4102311        29890637       716            3592           421   431   390
57.40/57.41	c 4210           172401         4111878        29968008       716            3602           419   419   380
57.50/57.55	c 4220           172851         4122841        30052688       716            3608           259   425   311
57.60/57.69	c 4230           173288         4134212        30132273       716            3618           428   428   389
57.80/57.83	c 4240           173707         4144805        30208150       716            3628           410   410   372
57.90/57.96	c 4250           174143         4155860        30289692       716            3638           265   422   355
58.11/58.11	c 4260           174568         4167914        30366649       716            3648           416   416   378
58.20/58.25	c 4270           174987         4178522        30441664       716            3658           410   410   372
58.30/58.38	c 4280           175406         4189203        30517205       716            3668           410   410   372
58.50/58.52	c 4290           175837         4199602        30595155       716            3678           422   422   383
58.60/58.63	c 4300           176169         4208593        30653283       716            3688           323   323   293
58.70/58.73	c 4310           176474         4216242        30706558       716            3698           296   296   269
58.80/58.87	c 4320           176907         4227175        30787082       716            3708           295   419   357
58.90/59.00	c 4330           177350         4237326        30866993       716            3718           434   434   394
59.11/59.14	c 4340           177814         4248465        30953041       716            3728           455   455   413
59.20/59.28	c 4350           178275         4259647        31038598       716            3738           449   452   410
59.40/59.44	c 4360           178747         4271846        31129017       716            3747           441   458   413
59.50/59.57	c 4370           179193         4281589        31210367       716            3757           437   437   397
59.70/59.71	c 4380           179630         4292479        31289542       716            3767           428   428   389
59.80/59.87	c 4390           180105         4305332        31379983       716            3776           441   461   415
60.00/60.03	c 4400           180583         4317865        31469878       716            3786           466   469   426
60.10/60.18	c 4410           181053         4329428        31558302       716            3796           326   456   391
60.30/60.32	c 4420           181523         4340865        31647182       716            3805           448   456   413
60.40/60.47	c 4430           181991         4352274        31734005       716            3815           459   459   417
60.60/60.62	c 4440           182465         4363742        31821786       716            3825           465   465   422
60.70/60.77	c 4450           182944         4375901        31912923       716            3834           451   465   420
60.90/60.92	c 4460           183418         4387822        32001370       716            3844           465   465   422
61.00/61.07	c 4470           183892         4399455        32089785       716            3854           465   465   422
61.20/61.24	c 4480           184371         4412763        32181339       716            3863           460   465   421
61.30/61.39	c 4490           184851         4424393        32270467       716            3873           468   471   427
61.50/61.54	c 4493           185324         4435933        32359683       716            3876           471   471   353
61.60/61.69	c 4500           185801         4447846        32449236       716            3883           471   471   412
61.80/61.84	c 4510           186262         4459253        32534809       716            3893           326   447   384
61.90/61.99	c 4520           186742         4470773        32623794       716            3903           468   471   427
62.10/62.15	c 4530           187222         4483575        32713765       716            3913           471   471   428
62.30/62.30	c 4540           187719         4495909        32811112       716            3918           461   471   423
62.40/62.45	c 4550           188207         4507224        32902715       716            3928           329   474   404
62.50/62.59	c 4560           188693         4517927        32993113       716            3938           477   477   433
62.70/62.73	c 4570           189125         4529176        33071936       716            3948           423   423   384
62.80/62.89	c 4580           189630         4541686        33173026       716            3952           461   474   422
62.90/62.98	c 4590           189870         4548504        33212077       716            3962           231   231   210
63.00/63.10	c 4600           190287         4558231        33287956       716            3972           408   408   370
63.19/63.23	c 4610           190707         4568889        33363464       716            3982           411   411   373
63.29/63.34	c 4620           191084         4578085        33434433       716            3983           348   354   319
63.39/63.49	c 4630           191558         4589577        33523543       716            3993           459   465   421
63.59/63.63	c 4640           192020         4600721        33608806       716            4003           453   453   411
63.69/63.72	c 4650           192317         4608485        33665164       716            4008           268   271   245
63.79/63.86	c 4660           192718         4619553        33742541       716            4013           234   369   239
63.89/64.00	c 4670           193187         4631155        33835129       716            4017           410   444   376
64.10/64.14	c 4680           193661         4641997        33923343       716            4027           465   465   422
64.19/64.28	c 4690           194108         4653047        34006158       716            4037           438   438   398
64.29/64.38	c 4700           194408         4660467        34059011       716            4047           291   291   264
64.49/64.52	c 4710           194868         4671892        34150149       716            4051           431   435   393
64.59/64.66	c 4720           195318         4683262        34233012       716            4061           441   441   400
64.69/64.77	c 4730           195657         4692306        34292203       716            4071           330   330   300
64.89/64.92	c 4740           196116         4704569        34377244       716            4081           450   450   409
65.00/65.04	c 4750           196468         4714296        34446318       716            4085           236   325   278
65.10/65.18	c 4760           196912         4725660        34528922       716            4095           435   435   395
65.29/65.33	c 4770           197386         4737237        34617556       716            4105           462   465   422
65.39/65.49	c 4780           197885         4750178        34716246       716            4109           450   474   424
65.59/65.64	c 4790           198371         4761839        34806418       716            4119           477   477   433
65.79/65.80	c 4800           198849         4774533        34901329       716            4123           356   453   341
65.89/65.95	c 4810           199325         4785155        34991453       716            4133           251   462   381
66.00/66.01	c 4820           199490         4789418        35014682       716            4143           156   156   141
66.10/66.14	c 4830           199937         4800849        35095414       716            4153           438   438   398
66.29/66.30	c 4840           200415         4813701        35189387       716            4158           374   456   368
66.29/66.39	c 4850           200643         4819914        35225734       716            4168           219   219   199
66.49/66.54	c 4860           201117         4832407        35319509       716            4173           248   447   344
66.59/66.68	c 4870           201561         4843959        35399692       716            4183           435   435   395
66.79/66.82	c 4880           202033         4854932        35491373       716            4188           398   450   381
66.89/66.96	c 4890           202483         4865577        35573250       716            4198           441   441   400
67.10/67.11	c 4900           202957         4877723        35661103       716            4208           453   465   421
67.19/67.20	c 4910           203251         4884724        35710501       716            4218           285   285   259
67.29/67.34	c 4920           203713         4896294        35794605       716            4228           453   453   411
67.39/67.48	c 4930           204139         4907075        35871657       716            4238           408   417   378
67.59/67.62	c 4940           204583         4918242        35952117       716            4248           435   435   395
67.69/67.76	c 4950           205036         4929419        36034659       716            4258           444   444   403
67.89/67.91	c 4960           205486         4940728        36116685       716            4268           441   441   400
68.00/68.01	c 4970           205831         4948350        36175738       716            4278           336   336   305
68.00/68.10	c 4980           206086         4955465        36217551       716            4288           246   246   223
68.10/68.17	c 4990           206317         4961601        36254297       716            4298           222   222   201
68.29/68.32	c 5035           206802         4973191        36336681       716            4343           441   441   431
68.59/68.60	c 5631           207883         4986807        36430130       716            4939           435   486   455
68.89/68.95	c 6286           209063         5003818        36535715       716            5589           409   513   486
69.19/69.28	c 7006           210301         5019444        36635031       716            6309           386   519   463
69.70/69.70	c 7798           211683         5038269        36757664       716            7096           464   574   548
70.10/70.12	c 8669           213181         5057077        36883931       716            7959           436   604   575
70.59/70.69	c 9627           214881         5083693        37073193       716            8884           481   658   620
71.20/71.26	c 10680          216739         5110326        37269298       716            9880           523   678   643
71.79/71.83	c 11838          218663         5132277        37433375       716            11033          546   750   692
72.49/72.54	c 13111          221181         5168504        37815968       716            11749          583   779   753
73.10/73.17	c 14511          223511         5197974        38062848       716            12422          552   777   736
74.00/74.05	c 16051          226412         5239567        38439431       716            13785          442   808   725
75.40/75.41	c 17745          230877         5328504        39322859       716            13942          520   654   640
76.20/76.20	c 19608          233507         5358584        39506270       716            15764          409   650   517
77.19/77.23	c 21657          236669         5402962        39809145       716            17695          243   818   724
78.49/78.59	c 23910          240928         5481286        40502542       716            18679          279   782   696
79.59/79.65	c 26388          244739         5531202        40872796       716            20108          344   816   775
80.50/80.56	c 29113          249198         5580067        41448390       716            20333          514   561   519
81.70/81.78	c 32110          253183         5622579        41689705       716            23277          218   763   655
83.89/83.93	c 35406          259722         5741949        42703820       716            24489          282   544   330
85.11/85.17	c 39031          264159         5775647        42875694       716            28109          246   798   698
87.10/87.17	c 43018          271844         5887946        44262780       716            28514          256   747   714
88.59/88.63	c 47403          277449         5952863        44803963       716            29466          267   437   426
90.29/90.30	c 52226          283588         6027412        45274473       716            31122          250   557   441
91.90/91.90	c 57531          289777         6071383        45487465       716            36069          300   773   559
94.10/94.16	c 63366          297710         6187917        46297847       716            36380          361   483   471
96.20/96.21	c 69784          305134         6234484        46537135       716            42367          1   964   767  
99.80/99.83	c 76843          318095         6423851        48536759       716            44096          237   1009   916
102.50/102.55	c 84607          328159         6542980        49299683       716            44161          493   505   497
105.79/105.84	c 93147          341380         6694835        50889886       716            46039          232   656   492
108.79/108.83	c 102541         353648         6817558        51918282       716            48372          369   767   627
111.79/111.87	c 112874         367304         6945011        53166361       716            49309          362   570   549
115.70/115.75	c 124240         383348         7102934        55303655       716            55588          285   1012   809
119.59/119.66	c 136742         399119         7250617        56379595       716            61071          279   796   595
124.90/124.94	c 150494         417927         7465638        58095571       716            69602          317   870   606
129.90/129.94	c 165621         436949         7680030        59500772       716            72490          1   788   477  
135.80/135.83	c 182260         459866         7922120        61716269       716            77967          332   1046   757
141.89/142.00	c 200562         483137         8194558        63703875       716            78143          232   446   436
148.11/148.18	c 220694         512534         8423473        67085833       716            85668          265   1039   637
155.30/155.34	c 242839         545693         8714556        70981026       716            85736          313   426   415
163.30/163.32	c 267198         588853         9144296        77354143       716            86406          329   416   403
172.70/172.70	c 293992         625696         9567328        81184766       716            89595          278   516   474
185.70/185.73	c 323465         669154         10223049       86638999       716            90450          264   515   487
195.30/195.31	c 355885         714836         10599034       90298154       716            91959          197   473   458
204.61/204.68	c 391547         766093         10952669       95699850       716            94134          224   507   466
218.61/218.60	c 430775         821264         11592253       100803973      716            94305          279   402   389
232.70/232.71	c 473925         880016         12188127       106279374      716            97189          274   503   477
248.41/248.42	c 521390         947717         12849203       113286514      716            105349         308   1006   811
262.81/262.88	c 573601         1019156        13429818       121640446      716            106709         328   581   550
282.12/282.13	c 631033         1090875        14318925       127402890      716            109118         327   567   547
296.91/296.99	c 694208         1176722        14857224       133477313      716            112350         306   476   463
325.32/325.35	c 763700         1287639        16406070       150783278      716            113852         314   531   504
344.92/344.95	c 840141         1385685        17187639       157744611      716            116783         1   573   540  
371.22/371.23	c 924226         1492865        18241273       167585530      716            123680         269   914   717
399.62/399.60	c 1016719        1615422        19441516       179743937      716            131366         273   751   641
431.33/431.35	c 1118461        1755252        20833954       193383148      716            135814         353   987   656
468.03/468.02	c 1230377        1919049        22692498       215786554      716            139397         393   734   615
503.23/503.23	c 1353484        2096236        24270499       235878221      716            143645         360   707   597
530.63/530.68	c 1488901        2249479        25120843       241532270      716            145102         308   423   410
577.34/577.37	c 1637859        2460569        27249613       266973565      716            146806         216   631   606
634.64/634.66	c 1801712        2685224        29970828       288688870      716            147383         242   537   493
687.55/687.50	c 1981950        2931013        32246250       312753081      716            148968         187   593   564
729.94/729.99	c 2180211        3190497        34366747       337701399      716            149333         216   524   510
803.96/803.98	c 2398298        3509985        38416765       376527012      716            152351         235   710   646
869.56/869.56	c 2638193        3836450        41766827       405194620      716            152434         236   508   492
947.67/947.67	c 2902077        4181031        45958912       436804460      716            154111         346   646   551
1028.09/1028.03	c 3192349        4551111        50087504       462772277      716            154761         292   481   466
1113.19/1113.14	c 3511648        4972073        54698144       498579128      716            154828         296   476   461
1196.10/1196.06	c 3862876        5445799        58991576       544022509      716            158649         262   702   580
1287.11/1287.09	c 4249226        5973305        63560051       587421755      716            159388         264   551   520
1414.01/1413.90	c 4674211        6563278        70475859       646346713      716            159802         333   548   532
1553.42/1553.38	c 5141694        7319901        78563942       741076112      716            160182         238   497   485
1667.63/1667.52	c 5655925        8030252        84023432       813863081      716            163867         304   705   671
1799.34/1799.22	c 6221579        8743304        90439317       860848429      716            164687         284   627   521
1973.56/1973.45	c 6843798        9632464        99317298       962833356      716            164759         340   611   579
2149.68/2149.56	c 7528238        10529248       108271112      1037165074     716            166478         297   709   550
2302.69/2302.58	c 8281122        11506794       115390898      1110017673     716            167039         353   624   602
2513.61/2513.43	c 9109294        12615041       126277460      1207775278     716            167122         260   568   552
2520.01/2519.80	
2520.01/2519.80	c *** INTERRUPTED ***
2520.01/2519.80	c restarts              : 595         
2520.01/2519.80	c conflicts             : 9131743      (3626 /sec)
2520.01/2519.80	c decisions             : 12644939     (5021 /sec)
2520.01/2519.80	c propagations          : 1210379234  (480574 /sec)
2520.01/2519.80	c root propagations     : 17762       
2520.01/2519.80	c filter calls          : 126650867      (50286 /sec)
2520.01/2519.80	c useless filter calls  : 103634312      (81 %)
2520.01/2519.80	c
2520.01/2519.80	c clauses               : 95875282
2520.01/2519.80	c SAT propagations      : 24410
2520.01/2519.80	c SAT conflicts         : 0 (0 learnts)
2520.01/2519.80	c Memory used           : 4533.39 MB
2520.01/2519.80	c CPU time              : 2518.61 s
2520.01/2519.80	
2520.01/2519.80	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 (11458 MiB free)
  memory of node 1: 16384 MiB (13672 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266218-1502581111/watcher-4266218-1502581111 -o /tmp/evaluation-result-4266218-1502581111/solver-4266218-1502581111 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266218-1502581111.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=26697, runsolver pid=26694
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 1.79 1.94 2.02 3/188 26698
/proc/meminfo: memFree=25679124/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=91008 memory=61876 CPUtime=0.1 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 13109 0 0 0 8 2 0 0 20 0 1 0 91182760 93192192 15469 33554432000 4194304 5972588 140735969561040 140735969558408 139779751369701 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 22752 15469 767 435 0 16115 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 91008 KiB
Current children cumulated memory: 61876 KiB

[startup+0.209737 s]*
/proc/loadavg: 1.79 1.94 2.02 3/188 26698
/proc/meminfo: memFree=25615800/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=157624 memory=126316 CPUtime=0.2 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 23088 0 0 0 17 3 0 0 20 0 1 0 91182760 161406976 31579 33554432000 4194304 5972588 140735969561040 140735969558408 139779751438891 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 39406 31579 767 435 0 32769 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 157624 KiB
Current children cumulated memory: 126316 KiB

[startup+0.309672 s]*
/proc/loadavg: 1.79 1.94 2.02 3/188 26698
/proc/meminfo: memFree=25557432/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=223688 memory=184280 CPUtime=0.31 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 30965 0 0 0 26 5 0 0 20 0 1 0 91182760 229056512 46070 33554432000 4194304 5972588 140735969561040 140735969558408 139779751375768 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 55922 46070 767 435 0 49285 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 223688 KiB
Current children cumulated memory: 184280 KiB

[startup+0.700376 s]
/proc/loadavg: 1.79 1.94 2.02 3/188 26698
/proc/meminfo: memFree=25442368/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=483416 memory=400688 CPUtime=0.69 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 58448 0 0 0 59 10 0 0 20 0 1 0 91182760 495017984 100172 33554432000 4194304 5972588 140735969561040 140735969557832 139779751369701 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 120854 100172 767 435 0 114217 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 483416 KiB
Current children cumulated memory: 400688 KiB

[startup+1.50037 s]
/proc/loadavg: 1.79 1.94 2.02 3/188 26698
/proc/meminfo: memFree=25163540/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=1095396 memory=848860 CPUtime=1.49 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 113249 0 0 0 126 23 0 0 20 0 1 0 91182760 1121685504 212215 33554432000 4194304 5972588 140735969561040 140735969557832 139779751369701 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 273882 212215 767 435 0 267245 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1095396 KiB
Current children cumulated memory: 848860 KiB

[startup+3.10961 s]
/proc/loadavg: 1.79 1.94 2.02 3/188 26698
/proc/meminfo: memFree=24046144/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=1985328 memory=1738080 CPUtime=3.1 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 222735 0 0 0 268 42 0 0 20 0 1 0 91182760 2032975872 434520 33554432000 4194304 5972588 140735969561040 140735969557832 139779751365438 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 496332 434520 767 435 0 489695 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1985328 KiB
Current children cumulated memory: 1738080 KiB

[startup+6.30034 s]
/proc/loadavg: 1.81 1.94 2.02 3/188 26698
/proc/meminfo: memFree=22400108/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=3647864 memory=3475804 CPUtime=6.29 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 432098 0 0 0 547 82 0 0 20 0 1 0 91182760 3735412736 868951 33554432000 4194304 5972588 140735969561040 140735969557832 139779751369701 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 911966 868951 767 435 0 905329 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 3647864 KiB
Current children cumulated memory: 3475804 KiB

[startup+12.7004 s]
/proc/loadavg: 1.82 1.94 2.02 3/188 26698
/proc/meminfo: memFree=22105308/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4626832 memory=3593664 CPUtime=12.69 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 470630 0 0 0 1184 85 0 0 20 0 1 0 91182760 4737875968 898416 33554432000 4194304 5972588 140735969561040 140735969558344 5244099 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1156708 898416 786 435 0 1150071 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 4626832 KiB
Current children cumulated memory: 3593664 KiB

[startup+25.5004 s]
/proc/loadavg: 1.86 1.94 2.02 3/188 26698
/proc/meminfo: memFree=22087316/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4627864 memory=3596772 CPUtime=25.49 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 497778 0 0 0 2462 87 0 0 20 0 1 0 91182760 4738932736 899193 33554432000 4194304 5972588 140735969561040 140735969558344 4935546 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1156966 899193 786 435 0 1150329 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 4627864 KiB
Current children cumulated memory: 3596772 KiB

[startup+51.1095 s]
/proc/loadavg: 1.91 1.95 2.02 3/187 26699
/proc/meminfo: memFree=22058180/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4628544 memory=3599280 CPUtime=51.1 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 538839 0 0 0 5018 92 0 0 20 0 1 0 91182760 4739629056 899820 33554432000 4194304 5972588 140735969561040 140735969558344 4978741 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1157136 899820 786 435 0 1150499 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 4628544 KiB
Current children cumulated memory: 3599280 KiB

[startup+102.3 s]
/proc/loadavg: 1.96 1.96 2.02 3/187 26700
/proc/meminfo: memFree=21932448/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4637452 memory=3702232 CPUtime=102.3 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 634907 0 0 0 10130 100 0 0 20 0 1 0 91182760 4748750848 925558 33554432000 4194304 5972588 140735969561040 140735969558344 4975114 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1159363 925558 786 435 0 1152726 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 4637452 KiB
Current children cumulated memory: 3702232 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.96 2.02 3/187 26701
/proc/meminfo: memFree=21815272/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4639280 memory=3804284 CPUtime=162.3 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 706488 0 0 0 16125 105 0 0 20 0 1 0 91182760 4750622720 951071 33554432000 4194304 5972588 140735969561040 140735969558344 4931727 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1159820 951071 786 435 0 1153183 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 4639280 KiB
Current children cumulated memory: 3804284 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 2.02 3/187 26702
/proc/meminfo: memFree=21791872/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4639464 memory=3816788 CPUtime=222.3 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 746459 0 0 0 22123 107 0 0 20 0 1 0 91182760 4750811136 954197 33554432000 4194304 5972588 140735969561040 140735969558344 5325880 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1159866 954197 786 435 0 1153229 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 4639464 KiB
Current children cumulated memory: 3816788 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.98 2.02 3/187 26704
/proc/meminfo: memFree=21758736/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4639816 memory=3847796 CPUtime=282.31 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 804437 0 0 0 28121 110 0 0 20 0 1 0 91182760 4751171584 961949 33554432000 4194304 5972588 140735969561040 140735969557864 4931747 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1159954 961949 786 435 0 1153317 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 4639816 KiB
Current children cumulated memory: 3847796 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.98 2.02 3/187 26705
/proc/meminfo: memFree=21737624/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4640180 memory=3856328 CPUtime=342.32 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 832547 0 0 0 34120 112 0 0 20 0 1 0 91182760 4751544320 964082 33554432000 4194304 5972588 140735969561040 140735969558344 5273324 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160045 964082 786 435 0 1153408 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 4640180 KiB
Current children cumulated memory: 3856328 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/188 26714
/proc/meminfo: memFree=21698376/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4641136 memory=3891996 CPUtime=402.32 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 896999 0 0 0 40116 116 0 0 20 0 1 0 91182760 4752523264 972999 33554432000 4194304 5972588 140735969561040 140735969557864 4970744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160284 972999 786 435 0 1153647 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 4641136 KiB
Current children cumulated memory: 3891996 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/188 26715
/proc/meminfo: memFree=21686348/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4641136 memory=3902272 CPUtime=462.32 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 936715 0 0 0 46114 118 0 0 20 0 1 0 91182760 4752523264 975568 33554432000 4194304 5972588 140735969561040 140735969558344 4936060 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160284 975568 786 435 0 1153647 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 4641136 KiB
Current children cumulated memory: 3902272 KiB


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

/proc/26697/statm: 1160470 990191 786 435 0 1153833 0
Current children cumulated CPU time: 1722.43 s
Current children cumulated vsize: 4641880 KiB
Current children cumulated memory: 3960764 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 26754
/proc/meminfo: memFree=21578500/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642044 memory=3960840 CPUtime=1782.43 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1329922 0 0 0 178105 138 0 0 20 0 1 0 91182760 4753453056 990210 33554432000 4194304 5972588 140735969561040 140735969557864 4972757 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160511 990210 786 435 0 1153874 0
Current children cumulated CPU time: 1782.43 s
Current children cumulated vsize: 4642044 KiB
Current children cumulated memory: 3960840 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 26755
/proc/meminfo: memFree=21577984/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3960908 CPUtime=1842.45 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1341934 0 0 0 184106 139 0 0 20 0 1 0 91182760 4753596416 990227 33554432000 4194304 5972588 140735969561040 140735969557864 4975784 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 990227 786 435 0 1153909 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3960908 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 26757
/proc/meminfo: memFree=21577964/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3960908 CPUtime=1902.45 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1343834 0 0 0 190106 139 0 0 20 0 1 0 91182760 4753596416 990227 33554432000 4194304 5972588 140735969561040 140735969557864 4935482 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 990227 786 435 0 1153909 0
Current children cumulated CPU time: 1902.45 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3960908 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 26758
/proc/meminfo: memFree=21578064/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3960908 CPUtime=1962.46 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1347562 0 0 0 196107 139 0 0 20 0 1 0 91182760 4753596416 990227 33554432000 4194304 5972588 140735969561040 140735969557864 4975379 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 990227 786 435 0 1153909 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3960908 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26759
/proc/meminfo: memFree=21573952/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3960908 CPUtime=2022.46 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1357148 0 0 0 202107 139 0 0 20 0 1 0 91182760 4753596416 990227 33554432000 4194304 5972588 140735969561040 140735969558344 4975114 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 990227 786 435 0 1153909 0
Current children cumulated CPU time: 2022.46 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3960908 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26761
/proc/meminfo: memFree=21573888/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3960908 CPUtime=2082.46 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1361395 0 0 0 208107 139 0 0 20 0 1 0 91182760 4753596416 990227 33554432000 4194304 5972588 140735969561040 140735969558344 4971949 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 990227 786 435 0 1153909 0
Current children cumulated CPU time: 2082.46 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3960908 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26762
/proc/meminfo: memFree=21574012/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3960908 CPUtime=2142.48 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1368236 0 0 0 214108 140 0 0 20 0 1 0 91182760 4753596416 990227 33554432000 4194304 5972588 140735969561040 140735969558344 4972741 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 990227 786 435 0 1153909 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3960908 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26771
/proc/meminfo: memFree=21565088/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3965060 CPUtime=2202.48 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1373540 0 0 0 220108 140 0 0 20 0 1 0 91182760 4753596416 991265 33554432000 4194304 5972588 140735969561040 140735969558344 4970785 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 991265 786 435 0 1153909 0
Current children cumulated CPU time: 2202.48 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3965060 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26797
/proc/meminfo: memFree=21564460/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3965060 CPUtime=2262.49 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1374713 0 0 0 226109 140 0 0 20 0 1 0 91182760 4753596416 991265 33554432000 4194304 5972588 140735969561040 140735969558344 4972789 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 991265 786 435 0 1153909 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3965060 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26798
/proc/meminfo: memFree=21563140/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3967108 CPUtime=2322.49 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1379847 0 0 0 232109 140 0 0 20 0 1 0 91182760 4753596416 991777 33554432000 4194304 5972588 140735969561040 140735969558344 4935490 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 991777 786 435 0 1153909 0
Current children cumulated CPU time: 2322.49 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3967108 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26799
/proc/meminfo: memFree=21563344/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3967108 CPUtime=2382.5 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1381807 0 0 0 238110 140 0 0 20 0 1 0 91182760 4753596416 991777 33554432000 4194304 5972588 140735969561040 140735969558344 4971305 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 991777 786 435 0 1153909 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3967108 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26800
/proc/meminfo: memFree=21558008/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3967108 CPUtime=2442.5 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1385646 0 0 0 244110 140 0 0 20 0 1 0 91182760 4753596416 991777 33554432000 4194304 5972588 140735969561040 140735969558344 4935502 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 991777 786 435 0 1153909 0
Current children cumulated CPU time: 2442.5 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3967108 KiB

[startup+2502.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 26862
/proc/meminfo: memFree=21603064/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3967108 CPUtime=2502.5 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1389471 0 0 0 250110 140 0 0 20 0 1 0 91182760 4753596416 991777 33554432000 4194304 5972588 140735969561040 140735969558344 4975664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 991777 786 435 0 1153909 0
Current children cumulated CPU time: 2502.5 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3967108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.13 2.04 2.05 3/187 26862
/proc/meminfo: memFree=20190968/32770624 swapFree=67108860/67108860
[pid=26697] ppid=26694 vsize=4642184 memory=3967108 CPUtime=2520.01 cores=1,3,5,7
/proc/26697/stat : 26697 (cosoco) R 26694 26697 24318 0 -1 4202496 1392248 0 0 0 251860 141 0 0 20 0 1 0 91182760 4753596416 991777 33554432000 4194304 5972588 140735969561040 140735969558344 4979152 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10285056 140735969563834 140735969563934 140735969563934 140735969566670 0
/proc/26697/statm: 1160546 991777 786 435 0 1153909 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 4642184 KiB
Current children cumulated memory: 3967108 KiB

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

[startup+2519.82 s]
# the end of solver process 26697 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.61 s, system=1.43213 s

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

Child status: 1
Real time (s): 2519.82
CPU time (s): 2520.04
CPU user time (s): 2518.61
CPU system time (s): 1.43213
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 4642184
Max. memory (cumulated for all children) (KiB): 3967108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.61
system time used= 1.43213
maximum resident set size= 3967188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1392289
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= 34
involuntary context switches= 837


# summary of solver processes directly reported to runsolver:
#   pid: 26697
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2518.61
#   total CPU system time (s): 1.43213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.20105 second user time and 16.9344 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-13 01:24:13
IDJOB=4266218
IDBENCH=133181
IDSOLVER=2655
FILE ID=node105/4266218-1502581111
RUNJOBID= node105-1502567255-24403
PBS_JOBID= 20628286
Free space on /tmp= 60664 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-024.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266218-1502581111/watcher-4266218-1502581111 -o /tmp/evaluation-result-4266218-1502581111/solver-4266218-1502581111 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266218-1502581111.xml

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

MD5SUM BENCH= 23eb83e679dec689804004fda8e6ed87
RANDOM SEED=1002068873

node105.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.17
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.17
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.17
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.17
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:        25735784 kB
MemAvailable:   31051396 kB
Buffers:          140428 kB
Cached:          5452276 kB
SwapCached:            0 kB
Active:          1573268 kB
Inactive:        5000676 kB
Active(anon):     984132 kB
Inactive(anon):    25072 kB
Active(file):     589136 kB
Inactive(file):  4975604 kB
Unevictable:        6236 kB
Mlocked:            6236 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2352 kB
Writeback:             0 kB
AnonPages:        922344 kB
Mapped:            44704 kB
Shmem:             25228 kB
Slab:             159148 kB
SReclaimable:     133416 kB
SUnreclaim:        25732 kB
KernelStack:        3376 kB
PageTables:         6984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1473704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60660 MiB
End job on node105 at 2017-08-13 02:06:13