Trace number 4266217

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.0801 2519.8401

General information on the benchmark

NameOrtholatin/Ortholatin-m1-s1/
Ortholatin-019.xml
MD5SUM3d460941811377b846401dbdf8e8b024
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 variables1083
Number of constraints366
Number of domains2
Minimum domain size19
Maximum domain size361
Distribution of domain sizes[{"size":19,"count":722},{"size":361,"count":361}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":1045},{"degree":3,"count":38}]
Minimum constraint arity3
Maximum constraint arity361
Distribution of constraint arities[{"arity":3,"count":361},{"arity":19,"count":2},{"arity":361,"count":3}]
Number of extensional constraints361
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":361},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}]
Optimization problemNO
Type of objective

Solver Data 

1.59/1.62	c SAT : Variables: 144039 -- Clauses: 23582325
1.59/1.64	c root propagations     : 9312        
1.59/1.64	c restarts enabled, print stats at every restarts
1.59/1.64	c
1.59/1.64	c
1.59/1.64	c
1.59/1.64	c This is cosoco 1.12 --  
1.59/1.64	c
1.59/1.64	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266217-1502581091.xml 
1.59/1.64	c ========================================[ Problem Statistics ]===========================================
1.59/1.64	c |                                                                                                       
1.59/1.64	c |  Parse time        :         1.41 s 
1.59/1.64	c |
1.59/1.64	c |               Variables: 1083
1.59/1.64	c |            Domain Sizes: 19..361
1.59/1.64	c |
1.59/1.64	c |             Constraints: 476
1.59/1.64	c |                   Arity: 1..361  -- Unary: 38  -- Ternary: 361
1.59/1.64	c | 
1.59/1.64	c |                   Types: 
1.59/1.64	c |                          All Different: 77
1.59/1.64	c |                          Extension: 361  (nb tuples: 361..361) -- (shared: 360)
1.59/1.64	c |                          Unary: 38
1.59/1.64	c |                          
1.59/1.64	c =========================================================================================================
1.59/1.64	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.59/1.66	c 10             174            2879           29468          471            10             155   165   146
1.69/1.71	c 20             507            8467           67180          471            15             308   314   283
1.69/1.75	c 30             845            14234          105615         471            20             306   315   281
1.69/1.79	c 40             1136           18434          135764         471            27             218   274   229
1.79/1.83	c 50             1510           24180          177245         471            35             220   349   288
1.79/1.85	c 60             1655           26983          188343         471            45             136   136   123
1.79/1.88	c 70             1803           29897          199866         471            55             139   139   126
1.89/1.90	c 80             1993           33292          215831         471            65             181   181   164
1.89/1.92	c 90             2150           36264          228364         471            75             148   148   134
1.89/1.94	c 100            2346           39027          244425         471            85             187   187   170
1.89/1.96	c 101            2525           42037          260109         471            86             179   179   89 
1.89/2.00	c 110            2772           47181          284147         471            94             181   235   200
2.00/2.03	c 120            2976           50865          302589         471            103            184   190   171
2.00/2.06	c 130            3218           55151          325585         471            112            220   229   205
2.00/2.10	c 140            3480           60400          353141         471            116            220   226   203
2.10/2.12	c 150            3619           62988          362941         471            126            130   130   118
2.10/2.14	c 160            3764           65627          373435         471            136            136   136   123
2.10/2.16	c 170            3936           68483          386596         471            146            163   163   148
2.10/2.19	c 180            4183           73729          409756         471            156            238   238   216
2.19/2.22	c 190            4424           78066          432497         471            166            232   232   210
2.19/2.25	c 200            4626           81627          449680         471            176            193   193   175
2.19/2.29	c 210            4889           86997          478730         471            182            229   241   214
2.29/2.32	c 211            5091           91085          497366         471            183            202   202   101
2.29/2.35	c 220            5301           94859          516052         471            192            202   202   181
2.29/2.37	c 230            5461           98089          528734         471            202            151   151   137
2.39/2.40	c 240            5681           102452         548256         471            212            211   211   191
2.39/2.43	c 250            5895           106299         567364         471            222            205   205   186
2.39/2.46	c 260            6085           109861         583209         471            232            181   181   164
2.39/2.48	c 270            6299           113644         602327         471            242            205   205   186
2.49/2.51	c 280            6522           117533         621908         471            252            214   214   194
2.49/2.54	c 290            6742           121465         641508         471            262            211   211   191
2.49/2.57	c 300            6968           126390         662454         471            272            217   217   197
2.59/2.61	c 310            7212           131003         685314         471            282            223   235   212
2.59/2.64	c 320            7456           135916         708818         471            292            235   235   213
2.59/2.68	c 330            7694           140165         730949         471            302            229   229   208
2.69/2.71	c 332            7930           144747         753935         471            304            235   235   156
2.69/2.75	c 340            8223           150724         783750         471            312            286   286   254
2.69/2.79	c 350            8518           156521         813889         471            322            286   286   260
2.79/2.83	c 360            8768           161946         839150         471            332            241   241   219
2.79/2.88	c 370            9076           168256         872261         471            340            274   289   257
2.89/2.92	c 380            9350           174087         899838         471            350            265   265   240
2.89/2.96	c 390            9648           179853         930025         471            360            289   289   262
3.00/3.01	c 400            9949           185819         960926         471            370            292   292   265
3.00/3.05	c 410            10273          192030         996617         471            376            286   301   268
3.00/3.10	c 420            10588          197665         1028860        471            386            292   301   272
3.10/3.15	c 430            10922          204928         1066869        471            390            270   296   249
3.10/3.19	c 440            11235          210295         1099779        471            400            287   301   271
3.19/3.24	c 450            11529          216571         1132594        471            404            243   262   227
3.19/3.29	c 460            11856          224251         1172149        471            408            288   292   264
3.29/3.32	c 465            12086          228899         1194465        471            413            226   226   188
3.29/3.36	c 470            12319          233208         1216724        471            418            229   229   190
3.29/3.39	c 480            12563          237663         1239810        471            428            235   235   213
3.39/3.43	c 490            12887          243740         1276130        471            435            287   298   267
3.39/3.47	c 500            13197          249544         1307718        471            445            301   301   273
3.50/3.53	c 510            13535          257262         1347314        471            450            298   310   276
3.50/3.57	c 520            13782          262138         1371352        471            459            1   238   194  
3.59/3.60	c 530            14029          266875         1395277        471            469            238   238   216
3.59/3.64	c 540            14312          271630         1423341        471            479            274   274   249
3.59/3.68	c 550            14589          277544         1451483        471            489            268   268   243
3.69/3.72	c 560            14905          283333         1484442        471            499            298   307   278
3.69/3.77	c 570            15228          289491         1518597        471            509            308   313   284
3.79/3.82	c 580            15567          296049         1556649        471            517            308   319   286
3.79/3.86	c 590            15859          301499         1586847        471            526            1   283   231  
3.89/3.90	c 600            16175          307641         1620631        471            535            1   307   251  
3.89/3.94	c 610            16494          313492         1656517        471            537            296   300   270
3.89/3.98	c 611            16759          318499         1684381        471            538            265   265   132
4.00/4.02	c 620            17077          324947         1717878        471            547            310   310   279
4.00/4.06	c 630            17354          330025         1745869        471            557            268   268   243
4.10/4.11	c 640            17708          336956         1787644        471            561            326   336   299
4.10/4.16	c 650            18065          343600         1829679        471            565            328   333   300
4.10/4.19	c 660            18333          348348         1855902        471            575            259   259   235
4.19/4.24	c 670            18619          354369         1885014        471            585            277   277   251
4.19/4.28	c 680            18908          360160         1914540        471            595            280   280   254
4.29/4.33	c 690            19230          366799         1948835        471            605            313   313   284
4.29/4.38	c 700            19558          373234         1983815        471            615            298   319   288
4.39/4.41	c 710            19823          378175         2009981        471            625            256   256   232
4.39/4.45	c 720            20103          383926         2038981        471            635            271   271   246
4.49/4.50	c 730            20431          390399         2073895        471            645            319   319   290
4.49/4.56	c 740            20778          397333         2113954        471            648            313   318   286
4.59/4.60	c 750            21107          403024         2149618        471            657            308   313   281
4.59/4.65	c 760            21451          409194         2187216        471            663            273   322   271
4.59/4.69	c 770            21740          414865         2216971        471            673            280   280   254
4.69/4.73	c 771            22062          420816         2251540        471            674            322   322   161
4.69/4.78	c 780            22397          426918         2290253        471            675            316   321   286
4.79/4.83	c 790            22753          434060         2331883        471            677            316   322   290
4.79/4.88	c 800            23083          440885         2370137        471            679            301   306   276
4.89/4.92	c 810            23372          445745         2398877        471            689            280   280   254
4.89/4.95	c 820            23597          449579         2421906        471            691            199   201   181
4.89/4.99	c 830            23919          455730         2458036        471            693            189   298   182
5.00/5.03	c 840            24190          460858         2484801        471            703            262   262   238
5.00/5.07	c 850            24494          466512         2515469        471            713            295   295   268
5.10/5.12	c 860            24792          472218         2545726        471            723            190   289   253
5.10/5.16	c 870            25129          478191         2581095        471            733            322   328   297
5.19/5.21	c 880            25450          484354         2616067        471            740            262   304   261
5.19/5.25	c 890            25757          490841         2647376        471            750            298   298   270
5.29/5.31	c 900            26101          498584         2687372        471            754            286   313   264
5.29/5.36	c 910            26411          504399         2719189        471            764            301   301   273
5.40/5.40	c 920            26724          509985         2751139        471            774            304   304   276
5.40/5.45	c 930            27080          516449         2791687        471            779            292   334   285
5.40/5.48	c 940            27325          521224         2818671        471            783            205   211   190
5.50/5.53	c 947            27623          527039         2849549        471            790            292   292   255
5.50/5.57	c 950            27932          532614         2882141        471            793            292   307   226
5.60/5.61	c 960            28239          537596         2916179        471            798            205   283   241
5.60/5.65	c 970            28537          542961         2946458        471            808            289   289   262
5.70/5.70	c 980            28843          549023         2977491        471            818            283   295   267
5.70/5.74	c 990            29139          554115         3007893        471            827            271   280   251
5.70/5.76	c 1000           29341          557493         3025198        471            837            193   193   175
5.70/5.79	c 1010           29582          561700         3047407        471            847            232   232   210
5.80/5.85	c 1020           29913          569044         3085839        471            850            286   298   263
5.80/5.89	c 1030           30190          574696         3112898        471            860            268   268   243
5.89/5.93	c 1040           30452          579666         3138976        471            870            247   253   228
5.89/5.97	c 1050           30735          585261         3167358        471            880            274   274   249
6.00/6.02	c 1060           31055          590699         3200365        471            890            214   307   261
6.00/6.05	c 1070           31320          595409         3225727        471            900            256   256   232
6.00/6.10	c 1080           31652          601677         3260779        471            910            296   322   290
6.10/6.14	c 1090           31959          606809         3292240        471            920            298   298   270
6.10/6.19	c 1100           32309          613105         3330715        471            926            316   331   295
6.19/6.23	c 1110           32652          619315         3369768        471            929            317   324   290
6.19/6.28	c 1120           32996          625910         3409271        471            933            210   316   235
6.29/6.33	c 1130           33346          632713         3448601        471            937            279   322   259
6.29/6.36	c 1140           33575          636496         3469998        471            947            220   220   200
6.39/6.40	c 1141           33852          641560         3498381        471            948            277   277   138
6.39/6.44	c 1150           34143          646881         3530918        471            951            257   263   234
6.39/6.47	c 1160           34375          650589         3552367        471            961            223   223   202
6.49/6.50	c 1170           34610          655070         3574508        471            971            226   226   205
6.49/6.54	c 1180           34852          660233         3599308        471            980            214   226   201
6.49/6.58	c 1190           35162          666037         3630981        471            990            301   301   273
6.59/6.63	c 1200           35474          672147         3666618        471            996            215   286   217
6.59/6.68	c 1210           35790          678587         3700992        471            1005           270   295   261
6.69/6.71	c 1220           36040          682933         3724901        471            1015           241   241   219
6.69/6.75	c 1230           36341          688068         3754886        471            1025           292   292   265
6.69/6.79	c 1240           36666          693720         3788984        471            1035           276   316   283
6.79/6.84	c 1250           36984          699704         3823145        471            1044           235   304   251
6.79/6.88	c 1260           37304          706055         3856270        471            1054           272   310   278
6.89/6.92	c 1270           37604          711014         3888995        471            1059           230   277   241
6.89/6.96	c 1280           37866          716161         3916981        471            1069           246   251   224
7.00/7.02	c 1290           38195          723786         3955574        471            1074           217   307   211
7.00/7.07	c 1300           38551          730264         3995390        471            1082           216   337   272
7.00/7.10	c 1310           38760          734629         4018025        471            1092           200   200   181
7.10/7.15	c 1320           39073          741365         4050946        471            1102           235   304   270
7.19/7.20	c 1330           39396          748148         4084876        471            1112           245   313   278
7.19/7.24	c 1340           39667          753431         4118510        471            1115           193   248   192
7.19/7.28	c 1350           39910          758930         4147959        471            1123           184   217   178
7.29/7.31	c 1352           40154          764211         4176614        471            1125           242   243   161
7.29/7.36	c 1360           40459          770089         4208284        471            1133           298   298   264
7.39/7.40	c 1370           40780          776479         4242829        471            1142           247   307   262
7.39/7.46	c 1380           41109          783367         4279967        471            1148           256   307   252
7.49/7.51	c 1390           41463          789828         4319899        471            1155           253   337   273
7.49/7.56	c 1400           41789          796314         4354505        471            1165           270   316   283
7.59/7.60	c 1410           42093          801947         4388964        471            1175           295   295   268
7.59/7.65	c 1420           42398          808105         4427473        471            1178           195   278   215
7.59/7.67	c 1430           42561          811292         4444490        471            1188           154   154   140
7.69/7.72	c 1440           42847          817336         4476962        471            1198           277   277   251
7.69/7.76	c 1450           43142          822771         4510062        471            1208           286   286   260
7.79/7.80	c 1460           43452          828532         4547482        471            1215           280   289   258
7.79/7.84	c 1470           43729          833785         4578606        471            1225           268   268   243
7.79/7.89	c 1480           44036          839429         4613248        471            1235           298   298   270
7.89/7.93	c 1490           44355          845458         4652636        471            1243           179   305   218
7.89/7.97	c 1500           44627          850967         4687644        471            1247           244   253   227
7.89/8.00	c 1510           44836          854911         4710387        471            1256           188   194   174
8.00/8.05	c 1520           45152          861073         4747609        471            1266           292   307   276
8.00/8.10	c 1530           45484          867364         4791465        471            1269           1   300   243  
8.10/8.15	c 1540           45788          874502         4831364        471            1272           275   278   251
8.19/8.20	c 1550           46082          880346         4869353        471            1274           259   266   240
8.19/8.22	c 1560           46258          884139         4887708        471            1284           167   167   151
8.19/8.27	c 1570           46519          889821         4918064        471            1291           185   242   199
8.19/8.29	c 1580           46683          893018         4934869        471            1301           155   155   140
8.29/8.33	c 1585           46926          898092         4962068        471            1306           227   239   195
8.29/8.37	c 1590           47173          902868         4989290        471            1311           233   243   200
8.39/8.40	c 1600           47425          907733         5016586        471            1321           243   243   220
8.39/8.44	c 1610           47696          912781         5046645        471            1330           145   255   211
8.39/8.48	c 1620           47966          918433         5076734        471            1340           261   261   237
8.49/8.52	c 1630           48226          923421         5105574        471            1349           240   246   222
8.49/8.57	c 1640           48555          929831         5144530        471            1356           261   309   270
8.59/8.61	c 1650           48802          934275         5171674        471            1365           160   231   197
8.59/8.65	c 1660           49050          939615         5200050        471            1373           168   231   191
8.59/8.69	c 1670           49323          944742         5229739        471            1383           264   264   240
8.69/8.73	c 1680           49651          949938         5267889        471            1392           163   312   232
8.69/8.78	c 1690           49994          956329         5310239        471            1397           176   315   252
8.79/8.82	c 1700           50280          961672         5342850        471            1405           1   273   217  
8.79/8.85	c 1710           50427          964971         5357342        471            1415           138   138   125
8.79/8.89	c 1720           50736          970574         5394495        471            1424           281   286   256
8.89/8.91	c 1730           50899          973315         5409795        471            1434           154   154   140
8.89/8.95	c 1740           51146          978454         5439942        471            1437           213   215   194
8.89/8.97	c 1750           51297          981402         5454175        471            1447           142   142   129
9.00/9.01	c 1760           51568          987021         5484562        471            1457           252   262   236
9.00/9.06	c 1770           51898          992587         5523418        471            1465           232   313   266
9.00/9.10	c 1780           52178          997743         5554096        471            1475           271   271   246
9.10/9.14	c 1790           52503          1003428        5590814        471            1485           271   316   283
9.10/9.18	c 1800           52768          1008525        5619790        471            1495           256   256   232
9.19/9.22	c 1810           53009          1013270        5646028        471            1505           232   232   210
9.19/9.26	c 1820           53305          1018669        5682395        471            1510           188   258   203
9.19/9.28	c 1830           53469          1021811        5698114        471            1520           155   155   140
9.30/9.32	c 1840           53705          1026524        5724162        471            1530           214   227   204
9.30/9.36	c 1841           53968          1032477        5753991        471            1531           263   263   131
9.40/9.41	c 1850           54254          1038383        5786082        471            1540           275   278   249
9.40/9.45	c 1860           54541          1044071        5818697        471            1549           158   272   226
9.40/9.49	c 1870           54828          1049353        5850499        471            1559           278   278   252
9.50/9.54	c 1880           55158          1055628        5888148        471            1569           290   321   289
9.50/9.59	c 1890           55469          1062300        5925264        471            1576           264   291   255
9.60/9.64	c 1900           55794          1068075        5965394        471            1580           206   297   251
9.60/9.69	c 1910           56120          1074779        6002492        471            1590           292   312   280
9.69/9.71	c 1920           56301          1077706        6019765        471            1600           172   172   156
9.69/9.76	c 1930           56616          1082957        6054833        471            1610           279   306   275
9.79/9.80	c 1940           56947          1089040        6095691        471            1614           279   303   264
9.79/9.84	c 1950           57262          1094876        6134556        471            1619           183   284   195
9.79/9.89	c 1960           57496          1100496        6162180        471            1628           177   216   182
9.89/9.92	c 1970           57670          1104442        6179954        471            1638           165   165   150
9.89/9.96	c 1980           58003          1111024        6218054        471            1648           280   321   287
9.89/10.00	c 1990           58256          1116050        6248976        471            1652           225   231   207
10.00/10.03	c 2000           58503          1120647        6279511        471            1655           223   227   204
10.00/10.05	c 2010           58618          1123171        6289941        471            1665           106   106   96 
10.00/10.07	c 2020           58724          1125312        6298695        471            1675           97   97   88   
10.00/10.09	c 2030           58886          1128564        6314678        471            1685           153   153   139
10.10/10.13	c 2040           59165          1134352        6345314        471            1695           270   270   245
10.10/10.18	c 2050           59480          1140513        6381079        471            1705           303   306   277
10.19/10.21	c 2060           59748          1145216        6413224        471            1706           237   243   218
10.19/10.25	c 2070           60033          1149907        6446930        471            1712           255   263   235
10.19/10.28	c 2080           60281          1153900        6476713        471            1714           213   221   198
10.29/10.32	c 2090           60583          1159652        6511024        471            1723           222   288   250
10.29/10.36	c 2100           60863          1164660        6544280        471            1731           247   261   232
10.29/10.39	c 2110           61134          1169297        6577377        471            1734           234   239   215
10.39/10.41	c 2120           61246          1171474        6587000        471            1744           103   103   93 
10.39/10.43	c 2122           61404          1174227        6602069        471            1746           157   157   104
10.39/10.46	c 2130           61606          1178249        6623102        471            1754           195   195   173
10.39/10.48	c 2140           61744          1180864        6636048        471            1764           103   129   114
10.49/10.51	c 2150           61960          1185204        6658450        471            1774           207   207   188
10.49/10.55	c 2160           62182          1189485        6682358        471            1782           170   204   176
10.49/10.58	c 2170           62411          1194276        6706486        471            1791           175   213   186
10.59/10.61	c 2180           62573          1197420        6721981        471            1801           153   153   139
10.59/10.65	c 2190           62831          1203143        6749621        471            1811           249   249   226
10.59/10.67	c 2200           63000          1206265        6765600        471            1821           160   160   145
10.69/10.71	c 2210           63279          1212014        6795849        471            1831           270   270   245
10.69/10.74	c 2220           63504          1215940        6818815        471            1841           216   216   196
10.69/10.79	c 2230           63798          1222393        6851162        471            1851           276   285   257
10.79/10.83	c 2240           64083          1227903        6882433        471            1861           276   276   250
10.79/10.88	c 2250           64398          1234771        6917422        471            1871           306   306   278
10.89/10.92	c 2260           64697          1240244        6954092        471            1873           257   261   235
10.89/10.94	c 2270           64881          1243740        6972203        471            1883           175   175   159
10.89/10.98	c 2280           65130          1248895        6998538        471            1893           240   240   218
11.00/11.02	c 2290           65415          1254565        7029494        471            1903           276   276   250
11.00/11.06	c 2300           65685          1259895        7058695        471            1913           261   261   237
11.10/11.11	c 2310           65976          1265738        7090736        471            1923           282   282   256
11.10/11.15	c 2320           66278          1271595        7126556        471            1929           276   282   253
11.19/11.20	c 2330           66581          1277584        7160148        471            1939           285   294   266
11.19/11.24	c 2340           66872          1283392        7192178        471            1949           282   282   256
11.19/11.28	c 2350           67172          1288922        7225126        471            1959           291   291   264
11.29/11.33	c 2360           67503          1295468        7263010        471            1969           279   321   284
11.29/11.39	c 2370           67845          1302456        7306955        471            1972           301   308   278
11.39/11.42	c 2380           68073          1306452        7332722        471            1978           174   205   173
11.39/11.44	c 2390           68248          1309387        7349289        471            1988           166   166   150
11.39/11.48	c 2400           68539          1315167        7381659        471            1998           282   282   256
11.49/11.53	c 2410           68854          1321076        7418060        471            2008           300   306   276
11.49/11.57	c 2420           69184          1327073        7455348        471            2018           321   321   291
11.59/11.62	c 2430           69481          1332808        7488286        471            2028           288   288   261
11.59/11.64	c 2431           69700          1336578        7511690        471            2029           219   219   109
11.59/11.68	c 2440           70022          1341845        7550313        471            2031           293   297   265
11.69/11.73	c 2450           70351          1348468        7592106        471            2035           292   299   269
11.69/11.78	c 2460           70688          1354345        7632335        471            2044           172   315   243
11.79/11.82	c 2470           71003          1360511        7668000        471            2054           306   306   278
11.79/11.87	c 2480           71315          1366376        7702960        471            2064           303   303   275
11.89/11.91	c 2490           71633          1372348        7739535        471            2074           297   309   279
11.89/11.96	c 2500           71951          1378283        7775515        471            2084           306   309   280
11.89/12.00	c 2510           72246          1384067        7809644        471            2093           273   282   254
12.00/12.05	c 2520           72590          1390689        7850163        471            2100           312   324   290
12.00/12.10	c 2530           72893          1396380        7884438        471            2110           291   294   267
12.10/12.14	c 2540           73172          1402453        7920330        471            2114           253   257   232
12.10/12.19	c 2550           73500          1409243        7957940        471            2124           257   318   283
12.19/12.24	c 2560           73839          1415313        7998295        471            2126           312   318   286
12.19/12.26	c 2570           74001          1418549        8013960        471            2136           153   153   139
12.29/12.31	c 2580           74339          1424969        8056266        471            2141           150   317   269
12.29/12.35	c 2590           74626          1430518        8091461        471            2145           162   258   206
12.29/12.38	c 2600           74742          1433276        8101876        471            2155           107   107   97 
12.29/12.39	c 2610           74855          1435358        8111588        471            2165           104   104   94 
12.39/12.41	c 2620           74989          1437827        8123929        471            2175           125   125   113
12.39/12.45	c 2630           75303          1443559        8161922        471            2180           206   292   233
12.49/12.50	c 2640           75627          1450019        8198979        471            2190           315   315   286
12.49/12.54	c 2650           75911          1454613        8232862        471            2193           252   254   230
12.49/12.55	c 2660           75986          1456486        8238180        471            2203           66   66   60   
12.49/12.56	c 2670           76052          1457927        8242085        471            2213           57   57   51   
12.59/12.60	c 2680           76287          1462775        8271518        471            2215           194   200   180
12.59/12.61	c 2690           76377          1464618        8278560        471            2225           81   81   73   
12.59/12.63	c 2700           76496          1467081        8289243        471            2235           110   110   100
12.59/12.67	c 2710           76772          1472774        8319142        471            2245           267   267   242
12.69/12.71	c 2720           77009          1478012        8344259        471            2255           228   228   207
12.69/12.75	c 2730           77300          1483778        8376849        471            2265           273   282   254
12.69/12.79	c 2740           77580          1489316        8407688        471            2275           271   271   246
12.79/12.83	c 2750           77819          1493655        8436756        471            2277           209   212   191
12.79/12.84	c 2760           77936          1495959        8447060        471            2287           108   108   98 
12.79/12.88	c 2770           78178          1501834        8473231        471            2297           233   233   211
12.89/12.92	c 2771           78402          1506725        8498701        471            2298           224   224   112
12.89/12.96	c 2780           78649          1512770        8525968        471            2307           236   239   214
13.01/13.01	c 2790           78959          1518865        8565155        471            2309           288   292   263
13.01/13.04	c 2800           79225          1523840        8594369        471            2319           257   257   233
13.01/13.09	c 2810           79470          1528989        8621588        471            2329           224   236   212
13.10/13.14	c 2820           79784          1535806        8658756        471            2338           280   299   267
13.10/13.18	c 2830           80074          1541291        8691030        471            2348           281   281   255
13.19/13.23	c 2840           80412          1547670        8729607        471            2358           296   329   293
13.19/13.27	c 2850           80663          1552591        8757042        471            2368           242   242   220
13.29/13.32	c 2860           80962          1558495        8790867        471            2378           290   290   263
13.29/13.36	c 2870           81287          1564304        8831294        471            2380           258   302   247
13.39/13.41	c 2880           81628          1571201        8871273        471            2389           275   328   288
13.39/13.45	c 2890           81882          1576126        8899126        471            2399           245   245   222
13.39/13.49	c 2900           82205          1581806        8939831        471            2405           244   287   252
13.49/13.54	c 2910           82511          1587168        8978865        471            2410           241   271   242
13.49/13.58	c 2920           82835          1592612        9019062        471            2414           244   282   237
13.59/13.60	c 2930           82994          1596029        9034860        471            2424           150   150   136
13.59/13.64	c 2940           83239          1600817        9061472        471            2434           236   236   214
13.59/13.65	c 2950           83332          1602316        9068819        471            2444           78   84   75   
13.59/13.69	c 2960           83629          1608448        9103540        471            2453           258   281   244
13.69/13.71	c 2970           83759          1610643        9114524        471            2463           117   121   109
13.69/13.75	c 2980           84032          1615557        9144706        471            2473           258   264   238
13.69/13.79	c 2990           84329          1620691        9178546        471            2483           282   288   261
13.79/13.84	c 3000           84661          1627463        9217482        471            2491           297   315   281
13.79/13.88	c 3010           84985          1633227        9256222        471            2499           271   312   265
13.89/13.92	c 3020           85246          1638291        9284995        471            2509           252   252   229
13.89/13.97	c 3030           85586          1644870        9324362        471            2519           284   327   291
14.00/14.02	c 3040           85880          1651013        9357305        471            2529           282   285   256
14.00/14.06	c 3050           86151          1656041        9390686        471            2533           243   248   222
14.00/14.10	c 3060           86467          1661837        9429770        471            2536           258   288   242
14.10/14.15	c 3070           86761          1667764        9462654        471            2546           285   285   259
14.10/14.16	c 3080           86867          1669510        9470467        471            2556           97   97   88   
14.19/14.20	c 3090           87161          1674559        9503965        471            2563           147   270   215
14.19/14.25	c 3100           87491          1681153        9542073        471            2573           315   321   291
14.19/14.26	c 3110           87615          1682887        9552062        471            2583           115   115   104
14.29/14.31	c 3120           87913          1688528        9588913        471            2586           222   270   212
14.29/14.34	c 3130           88207          1693889        9621828        471            2596           285   285   259
14.29/14.36	c 3140           88304          1695421        9629450        471            2606           88   88   80   
14.39/14.40	c 3142           88554          1700880        9657883        471            2608           240   249   163
14.39/14.44	c 3150           88825          1706604        9688452        471            2616           264   264   234
14.39/14.48	c 3160           89095          1711601        9717770        471            2626           261   261   237
14.49/14.52	c 3170           89368          1716455        9748058        471            2636           264   264   240
14.49/14.56	c 3180           89635          1721556        9777636        471            2646           255   258   234
14.59/14.60	c 3190           89911          1726875        9808768        471            2656           264   267   242
14.59/14.63	c 3200           90179          1731679        9841704        471            2659           239   242   219
14.59/14.67	c 3210           90467          1736134        9873707        471            2669           279   279   253
14.69/14.71	c 3220           90728          1741483        9902593        471            2679           252   252   229
14.69/14.75	c 3230           90980          1746622        9930818        471            2689           243   243   220
14.69/14.79	c 3240           91274          1752236        9963755        471            2699           285   285   259
14.79/14.83	c 3250           91535          1757030        9992686        471            2709           243   252   228
14.79/14.87	c 3260           91805          1762047        10022764       471            2719           258   261   237
14.89/14.91	c 3270           92108          1767616        10057075       471            2729           294   294   267
14.89/14.96	c 3280           92405          1773061        10090409       471            2739           288   288   261
14.89/14.98	c 3290           92529          1775577        10101237       471            2749           115   115   104
15.00/15.01	c 3300           92796          1780977        10134504       471            2750           234   237   214
15.00/15.04	c 3310           92974          1784354        10152213       471            2760           169   169   153
15.00/15.08	c 3320           93253          1789839        10183492       471            2770           270   270   245
15.10/15.12	c 3330           93523          1795634        10213819       471            2780           261   261   237
15.10/15.16	c 3340           93839          1801328        10250636       471            2790           297   307   277
15.19/15.21	c 3350           94158          1807625        10289761       471            2794           205   295   212
15.19/15.24	c 3360           94408          1812089        10320079       471            2795           217   220   198
15.19/15.29	c 3370           94714          1817889        10358378       471            2797           205   274   195
15.29/15.31	c 3380           94869          1820504        10372399       471            2807           146   146   132
15.29/15.35	c 3390           95134          1826126        10401872       471            2817           256   256   232
15.29/15.39	c 3400           95427          1832292        10437083       471            2821           241   268   228
15.39/15.43	c 3410           95707          1837446        10471416       471            2823           250   253   228
15.39/15.45	c 3420           95831          1840289        10483228       471            2833           115   115   104
15.39/15.47	c 3430           95952          1842974        10494244       471            2843           112   112   101
15.49/15.51	c 3440           96218          1848255        10523408       471            2853           247   257   231
15.49/15.56	c 3450           96539          1855101        10559582       471            2863           275   312   255
15.59/15.62	c 3460           96890          1862367        10600661       471            2870           296   329   286
15.59/15.66	c 3470           97159          1867806        10630242       471            2880           260   260   236
15.69/15.70	c 3480           97416          1873197        10658648       471            2890           248   248   225
15.69/15.74	c 3490           97699          1878768        10690404       471            2899           263   269   242
15.69/15.78	c 3500           97986          1884579        10722467       471            2909           275   278   251
15.79/15.83	c 3510           98285          1890498        10756635       471            2919           284   290   263
15.79/15.87	c 3520           98587          1896390        10790962       471            2929           290   293   266
15.89/15.92	c 3530           98924          1902646        10829857       471            2939           256   326   290
15.89/15.96	c 3540           99244          1907844        10865899       471            2949           311   311   282
16.00/16.01	c 3550           99550          1914587        10904940       471            2950           267   275   246
16.00/16.04	c 3551           99745          1918508        10926355       471            2951           195   195   97 
16.00/16.09	c 3560           100076         1924723        10964441       471            2960           323   323   290
16.10/16.14	c 3570           100418         1930600        11004239       471            2970           186   329   271
16.10/16.17	c 3580           100603         1934317        11022924       471            2980           176   176   160
16.19/16.21	c 3590           100893         1939998        11055534       471            2990           281   281   255
16.19/16.26	c 3600           101203         1945971        11093550       471            2995           178   290   211
16.29/16.30	c 3610           101481         1951462        11124296       471            3005           269   269   244
16.29/16.35	c 3620           101795         1957899        11159467       471            3015           305   305   277
16.29/16.38	c 3630           102016         1961941        11182894       471            3025           212   212   192
16.39/16.41	c 3640           102193         1965474        11200352       471            3035           168   168   152
16.39/16.45	c 3650           102511         1971462        11236440       471            3044           290   305   270
16.49/16.50	c 3660           102846         1977885        11278161       471            3048           265   313   278
16.49/16.52	c 3670           102936         1979947        11285219       471            3058           81   81   73   
16.49/16.56	c 3680           103222         1985315        11320965       471            3062           257   263   236
16.59/16.60	c 3690           103544         1991345        11357533       471            3072           193   311   272
16.59/16.62	c 3700           103663         1993406        11368503       471            3082           107   110   99 
16.59/16.64	c 3710           103795         1995285        11379206       471            3092           123   123   111
16.59/16.66	c 3720           103923         1997765        11390522       471            3102           119   119   108
16.69/16.71	c 3730           104264         2004507        11429991       471            3112           311   332   298
16.69/16.75	c 3740           104548         2009893        11461535       471            3122           275   275   250
16.69/16.79	c 3750           104841         2015771        11494329       471            3132           284   284   258
16.79/16.84	c 3760           105122         2021345        11525442       471            3142           272   272   247
16.79/16.88	c 3770           105464         2027827        11565102       471            3152           271   329   288
16.89/16.92	c 3780           105718         2032428        11592782       471            3162           245   245   222
16.89/16.97	c 3790           106038         2038686        11628885       471            3172           311   311   282
17.00/17.02	c 3800           106396         2045618        11673083       471            3177           299   329   280
17.00/17.07	c 3810           106728         2051098        11713768       471            3180           172   295   230
17.10/17.12	c 3820           107070         2057577        11755249       471            3188           257   329   276
17.10/17.17	c 3830           107375         2063669        11792460       471            3194           270   284   251
17.19/17.21	c 3840           107666         2068506        11825890       471            3203           270   277   247
17.19/17.24	c 3850           107955         2073829        11861460       471            3208           130   256   204
17.19/17.26	c 3860           108092         2076159        11873627       471            3218           128   128   116
17.29/17.31	c 3870           108406         2082236        11908479       471            3228           305   305   277
17.29/17.35	c 3880           108708         2087739        11942493       471            3238           290   293   266
17.29/17.39	c 3890           108965         2092470        11970334       471            3248           248   248   225
17.39/17.43	c 3900           109299         2098596        12008424       471            3258           257   323   287
17.39/17.48	c 3910           109641         2104749        12047682       471            3268           273   332   294
17.49/17.52	c 3920           109941         2110179        12085148       471            3269           276   280   253
17.49/17.56	c 3930           110178         2114355        12111278       471            3279           161   227   200
17.59/17.60	c 3940           110485         2119925        12146522       471            3288           236   293   256
17.59/17.64	c 3950           110812         2125565        12187204       471            3292           245   286   237
17.59/17.66	c 3960           110985         2128389        12203928       471            3302           164   164   149
17.59/17.69	c 3970           111161         2131960        12221736       471            3312           167   167   151
17.69/17.74	c 3980           111487         2138545        12258597       471            3322           317   317   288
17.69/17.78	c 3990           111825         2144546        12296847       471            3332           329   329   299
17.79/17.80	c 4000           111926         2146248        12304565       471            3342           92   92   83   
17.79/17.84	c 4001           112237         2152707        12340371       471            3343           311   311   155
17.79/17.88	c 4010           112444         2157867        12365786       471            3347           158   191   149
17.89/17.93	c 4020           112779         2164543        12405322       471            3354           239   311   226
17.89/17.98	c 4030           113109         2171502        12446035       471            3356           267   296   249
18.01/18.03	c 4040           113435         2176964        12486622       471            3358           287   292   263
18.01/18.05	c 4050           113557         2179424        12497874       471            3368           113   113   102
18.01/18.08	c 4060           113811         2184594        12525550       471            3378           245   245   222
18.10/18.12	c 4070           114062         2189016        12553505       471            3387           140   236   162
18.10/18.16	c 4080           114340         2194602        12583989       471            3397           269   269   244
18.20/18.21	c 4090           114661         2200787        12622092       471            3406           226   305   255
18.20/18.23	c 4100           114804         2203855        12635875       471            3416           134   134   121
18.20/18.27	c 4110           115132         2209761        12677211       471            3421           252   295   246
18.20/18.29	c 4120           115260         2211957        12688660       471            3431           119   119   108
18.30/18.33	c 4130           115526         2216663        12717482       471            3441           257   257   233
18.30/18.37	c 4140           115792         2222315        12746093       471            3451           257   257   233
18.40/18.40	c 4150           116085         2227273        12779395       471            3460           274   278   252
18.40/18.44	c 4160           116342         2232158        12807719       471            3470           248   248   225
18.40/18.49	c 4170           116683         2238721        12847175       471            3479           268   326   285
18.50/18.52	c 4180           116835         2241804        12862693       471            3489           143   143   130
18.50/18.56	c 4190           117131         2247400        12895638       471            3499           260   287   256
18.60/18.60	c 4200           117442         2253083        12930366       471            3509           302   302   274
18.60/18.65	c 4210           117756         2258534        12965207       471            3519           305   305   277
18.60/18.69	c 4220           118095         2264521        13005553       471            3525           154   320   171
18.70/18.75	c 4230           118448         2271456        13048102       471            3531           288   326   279
18.80/18.80	c 4240           118808         2278770        13091150       471            3537           291   335   285
18.80/18.84	c 4250           119077         2283417        13121762       471            3546           149   254   211
18.90/18.90	c 4260           119432         2290467        13163765       471            3555           277   335   290
18.90/18.94	c 4270           119716         2296232        13196989       471            3565           269   275   248
18.90/18.99	c 4280           120066         2302264        13240097       471            3570           307   327   290
19.00/19.04	c 4290           120413         2308810        13284860       471            3576           316   321   289
19.00/19.05	c 4300           120461         2309465        13286105       471            3586           39   39   35   
19.00/19.06	c 4310           120574         2311093        13294956       471            3596           104   104   94 
19.10/19.11	c 4320           120848         2317581        13325836       471            3606           250   265   239
19.10/19.13	c 4330           120961         2320222        13335830       471            3616           104   104   94 
19.10/19.15	c 4340           121074         2322520        13345776       471            3626           104   104   94 
19.10/19.19	c 4350           121351         2328170        13377241       471            3636           238   268   240
19.20/19.23	c 4360           121640         2333266        13410172       471            3646           280   280   254
19.20/19.27	c 4370           121911         2337962        13440137       471            3656           262   262   238
19.30/19.31	c 4380           122205         2343526        13476469       471            3662           263   270   241
19.30/19.34	c 4390           122488         2348385        13512056       471            3666           248   255   228
19.30/19.39	c 4400           122842         2354395        13557397       471            3669           208   313   201
19.40/19.42	c 4410           123092         2359222        13585123       471            3679           241   241   219
19.40/19.46	c 4420           123366         2364713        13615763       471            3689           265   265   240
19.50/19.50	c 4430           123631         2369521        13645400       471            3699           256   256   232
19.50/19.54	c 4440           123905         2375401        13675650       471            3709           265   265   240
19.50/19.58	c 4450           124176         2380005        13706055       471            3719           262   262   238
19.60/19.60	c 4460           124292         2381923        13715623       471            3729           107   107   97 
19.60/19.64	c 4470           124595         2387885        13753516       471            3731           277   279   252
19.60/19.68	c 4480           124884         2393512        13786691       471            3741           250   280   251
19.69/19.70	c 4490           124962         2394655        13792112       471            3751           66   69   62   
19.69/19.74	c 4493           125232         2399954        13823212       471            3754           265   268   200
19.69/19.78	c 4500           125515         2405053        13855216       471            3761           277   277   242
19.79/19.82	c 4510           125831         2410722        13894621       471            3764           277   282   254
19.79/19.84	c 4520           125962         2412959        13906215       471            3774           122   122   110
19.79/19.87	c 4530           126218         2417571        13934462       471            3784           247   247   224
19.89/19.91	c 4540           126465         2422026        13961217       471            3794           238   238   216
19.89/19.95	c 4550           126799         2428280        14003000       471            3800           244   316   267
19.89/19.99	c 4560           127073         2434021        14033616       471            3810           265   265   240
20.00/20.04	c 4570           127385         2440083        14072748       471            3812           272   279   250
20.00/20.08	c 4580           127688         2445778        14109887       471            3814           274   277   249
20.10/20.11	c 4590           127908         2449438        14136518       471            3816           184   191   170
20.10/20.12	c 4600           128006         2451062        14143858       471            3826           89   89   80   
20.10/20.16	c 4610           128286         2457319        14174820       471            3836           271   271   246
20.10/20.19	c 4620           128541         2462002        14206675       471            3838           220   227   203
20.19/20.21	c 4630           128670         2464405        14218348       471            3848           120   120   109
20.19/20.26	c 4640           128998         2470375        14257124       471            3858           307   319   285
20.19/20.29	c 4650           129272         2474887        14287477       471            3868           265   265   240
20.29/20.34	c 4660           129511         2480330        14314365       471            3876           137   220   178
20.29/20.37	c 4670           129740         2484747        14339214       471            3886           220   220   200
20.39/20.41	c 4680           129985         2489741        14367192       471            3894           143   226   183
20.39/20.45	c 4690           130280         2495327        14404065       471            3897           256   261   235
20.39/20.47	c 4700           130438         2498122        14419529       471            3907           149   149   135
20.49/20.51	c 4710           130718         2503447        14451072       471            3917           271   271   246
20.49/20.55	c 4720           130963         2508368        14478993       471            3925           143   226   183
20.49/20.59	c 4730           131219         2513350        14506872       471            3935           247   247   224
20.59/20.63	c 4740           131476         2519061        14536018       471            3943           155   238   194
20.59/20.67	c 4750           131756         2524372        14567314       471            3953           268   271   245
20.69/20.71	c 4760           132022         2529283        14596768       471            3963           253   257   232
20.69/20.73	c 4770           132139         2531321        14606445       471            3973           108   108   98 
20.69/20.77	c 4780           132426         2537376        14638827       471            3983           272   278   251
20.79/20.81	c 4790           132716         2542723        14671155       471            3993           281   281   255
20.79/20.83	c 4800           132872         2545269        14685358       471            4003           147   147   133
20.79/20.87	c 4810           133150         2550750        14716418       471            4013           269   269   244
20.89/20.91	c 4820           133434         2555992        14748029       471            4023           275   275   250
20.89/20.96	c 4830           133730         2561587        14782181       471            4033           281   287   259
21.00/21.01	c 4840           134038         2567689        14817399       471            4043           296   299   271
21.00/21.06	c 4850           134370         2575006        14855275       471            4053           323   323   293
21.00/21.10	c 4860           134686         2581033        14893736       471            4056           288   294   265
21.10/21.16	c 4870           135041         2587862        14937713       471            4062           260   329   267
21.19/21.20	c 4880           135325         2593145        14972944       471            4066           213   262   199
21.19/21.24	c 4890           135611         2598354        15008247       471            4070           202   262   200
21.19/21.26	c 4900           135800         2601873        15028225       471            4080           180   180   163
21.19/21.28	c 4910           135932         2604555        15040418       471            4090           123   123   111
21.29/21.33	c 4920           136270         2611056        15080001       471            4100           323   329   298
21.29/21.38	c 4930           136589         2616873        15117288       471            4109           213   302   250
21.39/21.42	c 4940           136924         2622811        15157525       471            4115           218   317   235
21.39/21.47	c 4950           137244         2627790        15193889       471            4125           311   311   282
21.49/21.50	c 4960           137489         2632861        15223464       471            4126           217   223   199
21.49/21.54	c 4970           137706         2637330        15248633       471            4133           144   198   161
21.49/21.57	c 4980           137996         2642486        15281615       471            4143           281   281   255
21.59/21.62	c 4990           138293         2648318        15316698       471            4151           208   281   236
21.59/21.67	c 5035           138659         2655172        15357073       471            4193           212   311   285
21.79/21.82	c 5631           139631         2665299        15407836       471            4789           147   375   322
21.89/22.00	c 6286           140718         2677351        15490631       471            5420           192   392   351
22.19/22.20	c 7006           141885         2690310        15553998       471            6134           189   426   367
22.29/22.38	c 7798           143177         2703443        15629077       471            6668           296   423   337
22.49/22.59	c 8669           144509         2716007        15688180       471            7539           270   458   416
22.79/22.86	c 9627           146262         2736904        15856251       471            7867           202   522   472
23.10/23.17	c 10680          148223         2764017        16036355       471            8156           178   513   484
23.49/23.59	c 11838          150666         2803314        16297405       471            8170           243   386   374
23.79/23.88	c 13111          152499         2821466        16379081       471            9422           160   486   365
24.11/24.18	c 14511          155245         2847429        16635020       471            9438           145   442   431
24.60/24.64	c 16051          158040         2888340        16917164       471            9488           157   316   304
24.90/24.94	c 17745          160297         2905868        17009525       471            10544          186   351   255
25.30/25.37	c 19608          163102         2932057        17199209       471            11998          237   543   467
25.80/25.87	c 21657          166197         2972917        17427921       471            12005          145   336   327
26.49/26.51	c 23910          169946         3019835        17739726       471            13826          195   562   413
27.00/27.06	c 26388          174137         3055110        18082240       471            15004          218   623   517
27.69/27.72	c 29113          179697         3119552        18741260       471            15264          175   587   548
28.39/28.47	c 32110          184593         3182323        19220860       471            16582          220   609   430
29.09/29.15	c 35406          190311         3227659        19717138       471            17546          159   567   507
29.89/29.97	c 39031          198270         3310562        20741345       471            17986          171   357   340
30.69/30.76	c 43018          204360         3373123        21235842       471            20099          178   530   392
31.49/31.60	c 47403          210266         3438026        21616625       471            21122          189   351   317
32.39/32.49	c 52226          217132         3515162        22100893       471            21352          172   345   328
33.39/33.42	c 57531          224459         3576106        22565271       471            24833          194   635   475
34.39/34.41	c 63366          233170         3648460        23105995       471            25853          171   539   505
35.49/35.55	c 69784          242950         3754409        23861924       471            26227          187   467   452
37.79/37.89	c 76843          257263         3995881        25566196       471            26755          203   447   433
39.19/39.24	c 84607          269181         4088781        26439856       471            28486          184   644   466
40.69/40.76	c 93147          282871         4206289        27552401       471            30548          231   614   472
42.00/42.04	c 102541         295492         4300535        28228363       471            31132          151   416   400
44.29/44.37	c 112874         312324         4514689        29823368       471            31687          192   441   391
46.20/46.20	c 124240         327944         4633667        30760451       471            34384          166   684   427
48.60/48.61	c 136742         348009         4843388        32590124       471            35521          184   557   463
51.69/51.77	c 150494         371936         5117447        35216595       471            37038          215   575   531
55.29/55.36	c 165621         395247         5412769        38235254       471            39470          164   687   551
58.59/58.65	c 182260         419997         5652234        40189941       471            42675          172   747   611
62.00/62.05	c 200562         450777         5935780        43019436       471            44293          181   628   585
65.20/65.21	c 220694         483065         6255367        45522653       471            44971          188   329   306
69.49/69.51	c 242839         521053         6630632        49007785       471            46499          171   643   569
74.79/74.87	c 267198         573357         7183216        56049010       471            48352          134   545   471
78.59/78.63	c 293992         609051         7455739        58110105       471            50882          125   397   374
83.59/83.69	c 323465         652802         7822117        61328321       471            54206          167   613   531
89.89/89.92	c 355885         703083         8289648        65521268       471            56981          145   528   456
96.00/96.08	c 391547         747625         8785483        67897837       471            58882          174   378   362
102.59/102.60	c 430775         801347         9275297        71315534       471            61237          163   473   451
110.49/110.55	c 473925         865479         9980263        76348126       471            62473          152   350   335
118.40/118.41	c 521390         935947         10521122       81314790       471            65495          217   593   556
127.40/127.48	c 573601         1017534        11205725       88527296       471            68465          211   583   541
138.80/138.87	c 631033         1111497        12194978       97105718       471            70249          214   412   395
150.59/150.70	c 694208         1210552        13093324       105480937      471            73536          163   560   465
162.20/162.24	c 763700         1319635        13997748       114843053      471            75966          141   643   508
176.11/176.14	c 840141         1430891        15197936       122832670      471            78041          161   473   453
189.80/189.83	c 924226         1542457        16247094       129720835      471            79687          137   391   358
205.40/205.47	c 1016719        1680874        17444534       140538587      471            81200          152   465   449
225.50/225.51	c 1118461        1842860        18970547       155882492      471            83990          170   837   705
245.31/245.38	c 1230377        2042280        20768214       175783954      471            85499          159   509   481
262.60/262.67	c 1353484        2213717        22053332       186010456      471            87882          155   438   417
284.80/284.89	c 1488901        2393949        23730889       195226596      471            89953          203   386   373
321.11/321.14	c 1637859        2695553        26631091       230524406      471            93262          156   665   600
358.71/358.73	c 1801712        3008662        29514921       266445807      471            96107          153   613   570
389.61/389.63	c 1981950        3272088        32045501       285462809      471            97287          209   555   468
424.62/424.64	c 2180211        3607009        34831546       313685902      471            98716          250   583   547
477.82/477.86	c 2398298        3969675        39966809       346499677      471            98933          302   384   357
521.92/521.91	c 2638193        4350772        43419823       378098405      471            101521         222   756   583
566.53/566.54	c 2902077        4743395        47200365       407806534      471            102777         158   513   484
622.34/622.31	c 3192349        5221955        51670041       454604356      471            104534         203   629   554
684.05/684.10	c 3511648        5699154        56414978       494081142      471            107088         206   804   641
742.54/742.59	c 3862876        6234933        61236716       535025383      471            108430         206   539   496
809.07/809.02	c 4249226        6824911        66293403       581024008      471            110847         174   757   580
886.27/886.26	c 4674211        7576870        72471753       650374180      471            112685         171   584   539
970.08/970.04	c 5141694        8372139        79405950       723204145      471            114640         229   567   474
1071.68/1071.62	c 5655925        9340533        87233867       851631556      471            116087         250   530   515
1242.40/1242.34	c 6221579        10517391       101338616      1002103489     471            120020         136   797   728
1340.30/1340.20	c 6843798        11434840       108693794      1069086852     471            123760         161   526   497
1464.42/1464.35	c 7528238        12609826       119192268      1173423712     471            127742         151   547   525
1611.84/1611.79	c 8281122        13762557       130784332      1278475471     471            131767         162   609   581
1780.56/1780.42	c 9109294        15180482       144692128      1423656177     471            134014         197   765   624
1983.29/1983.16	c 10020283       16667326       162988244      1575922280     471            136861         207   642   593
2191.21/2191.03	c 11022370       18391806       180761444      1775451470     471            140231         208   632   510
2449.92/2449.77	c 12124665       20254149       201577397      1984941407     471            143682         230   845   721
2520.03/2519.80	
2520.03/2519.80	c *** INTERRUPTED ***
2520.03/2519.80	c restarts              : 598         
2520.03/2519.80	c conflicts             : 12592996     (4998 /sec)
2520.03/2519.80	c decisions             : 20894534     (8293 /sec)
2520.03/2519.80	c propagations          : 2023619199  (803158 /sec)
2520.03/2519.80	c root propagations     : 9312        
2520.03/2519.80	c filter calls          : 206900540      (82117 /sec)
2520.03/2519.80	c useless filter calls  : 144651466      (69 %)
2520.03/2519.80	c
2520.03/2519.80	c clauses               : 23727812
2520.03/2519.80	c SAT propagations      : 18713
2520.03/2519.80	c SAT conflicts         : 0 (0 learnts)
2520.03/2519.80	c Memory used           : 1471.60 MB
2520.03/2519.80	c CPU time              : 2519.58 s
2520.03/2519.80	
2520.03/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 (12367 MiB free)
  memory of node 1: 16384 MiB (13111 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266217-1502581091/watcher-4266217-1502581091 -o /tmp/evaluation-result-4266217-1502581091/solver-4266217-1502581091 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266217-1502581091.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26636, runsolver pid=26633

[startup+0.100216 s]*
/proc/loadavg: 1.89 1.97 2.03 3/188 26637
/proc/meminfo: memFree=26039292/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=95844 memory=59184 CPUtime=0.1 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 12454 0 0 0 8 2 0 0 20 0 1 0 91180717 98144256 14796 33554432000 4194304 5972588 140727033300896 140727033297544 139856197962725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 23961 14796 767 435 0 17324 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 95844 KiB
Current children cumulated memory: 59184 KiB

[startup+0.20992 s]*
/proc/loadavg: 1.82 1.95 2.02 3/188 26637
/proc/meminfo: memFree=25974852/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=153032 memory=123312 CPUtime=0.21 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 22363 0 0 0 17 4 0 0 20 0 1 0 91180717 156704768 30828 33554432000 4194304 5972588 140727033300896 140727033297544 139856197962725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 38258 30828 767 435 0 31621 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 153032 KiB
Current children cumulated memory: 123312 KiB

[startup+0.30981 s]*
/proc/loadavg: 1.82 1.95 2.02 3/188 26637
/proc/meminfo: memFree=25919524/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=217772 memory=180480 CPUtime=0.31 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 29989 0 0 0 26 5 0 0 20 0 1 0 91180717 222998528 45120 33554432000 4194304 5972588 140727033300896 140727033297544 139856197967258 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 54443 45120 767 435 0 47806 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 217772 KiB
Current children cumulated memory: 180480 KiB

[startup+0.700437 s]
/proc/loadavg: 1.82 1.95 2.02 3/188 26637
/proc/meminfo: memFree=25805872/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=480940 memory=395608 CPUtime=0.69 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 58720 0 0 0 60 9 0 0 20 0 1 0 91180717 492482560 98902 33554432000 4194304 5972588 140727033300896 140727033297688 139856197962725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 120235 98902 767 435 0 113598 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 480940 KiB
Current children cumulated memory: 395608 KiB

[startup+1.50043 s]
/proc/loadavg: 1.82 1.95 2.02 3/188 26637
/proc/meminfo: memFree=25524320/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=890628 memory=854076 CPUtime=1.49 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 116633 0 0 0 130 19 0 0 20 0 1 0 91180717 912003072 213519 33554432000 4194304 5972588 140727033300896 140727033297688 139856197962725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 222657 213519 767 435 0 216020 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 890628 KiB
Current children cumulated memory: 854076 KiB

[startup+3.10954 s]
/proc/loadavg: 1.82 1.95 2.02 3/188 26637
/proc/meminfo: memFree=25162520/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1148800 memory=928476 CPUtime=3.1 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 133563 0 0 0 287 23 0 0 20 0 1 0 91180717 1176371200 232119 33554432000 4194304 5972588 140727033300896 140727033297688 4935663 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 287200 232119 786 435 0 280563 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1148800 KiB
Current children cumulated memory: 928476 KiB

[startup+6.3004 s]
/proc/loadavg: 1.83 1.95 2.02 3/188 26637
/proc/meminfo: memFree=25161684/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1149216 memory=928876 CPUtime=6.29 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 155595 0 0 0 605 24 0 0 20 0 1 0 91180717 1176797184 232219 33554432000 4194304 5972588 140727033300896 140727033298200 4935502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 287304 232219 786 435 0 280667 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1149216 KiB
Current children cumulated memory: 928876 KiB

[startup+12.7004 s]
/proc/loadavg: 1.84 1.95 2.02 3/188 26637
/proc/meminfo: memFree=25159560/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1149340 memory=929000 CPUtime=12.69 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 179014 0 0 0 1244 25 0 0 20 0 1 0 91180717 1176924160 232250 33554432000 4194304 5972588 140727033300896 140727033298200 4935490 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 287335 232250 786 435 0 280698 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1149340 KiB
Current children cumulated memory: 929000 KiB

[startup+25.5004 s]
/proc/loadavg: 1.79 1.94 2.02 3/188 26698
/proc/meminfo: memFree=23185424/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1151452 memory=943408 CPUtime=25.5 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 219467 0 0 0 2522 28 0 0 20 0 1 0 91180717 1179086848 235852 33554432000 4194304 5972588 140727033300896 140727033298200 4975143 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 287863 235852 786 435 0 281226 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 1151452 KiB
Current children cumulated memory: 943408 KiB

[startup+51.1092 s]
/proc/loadavg: 1.87 1.95 2.02 3/188 26698
/proc/meminfo: memFree=22078488/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1153316 memory=982192 CPUtime=51.1 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 277869 0 0 0 5078 32 0 0 20 0 1 0 91180717 1180995584 245548 33554432000 4194304 5972588 140727033300896 140727033298200 4978580 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 288329 245548 786 435 0 281692 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 1153316 KiB
Current children cumulated memory: 982192 KiB

[startup+102.3 s]
/proc/loadavg: 1.94 1.96 2.02 3/187 26700
/proc/meminfo: memFree=21999504/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1154312 memory=1011884 CPUtime=102.29 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 328926 0 0 0 10195 34 0 0 20 0 1 0 91180717 1182015488 252971 33554432000 4194304 5972588 140727033300896 140727033298200 4975726 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 288578 252971 786 435 0 281941 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1154312 KiB
Current children cumulated memory: 1011884 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 1.96 2.02 3/187 26701
/proc/meminfo: memFree=21841804/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1154744 memory=1034944 CPUtime=162.3 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 362491 0 0 0 16194 36 0 0 20 0 1 0 91180717 1182457856 258736 33554432000 4194304 5972588 140727033300896 140727033298200 4970752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 288686 258736 786 435 0 282049 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 1154744 KiB
Current children cumulated memory: 1034944 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 2.02 3/187 26702
/proc/meminfo: memFree=21802060/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1155152 memory=1041428 CPUtime=222.3 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 394139 0 0 0 22193 37 0 0 20 0 1 0 91180717 1182875648 260357 33554432000 4194304 5972588 140727033300896 140727033297560 4979114 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 288788 260357 786 435 0 282151 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 1155152 KiB
Current children cumulated memory: 1041428 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.97 2.02 3/187 26704
/proc/meminfo: memFree=21762856/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1155332 memory=1051888 CPUtime=282.3 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 411818 0 0 0 28192 38 0 0 20 0 1 0 91180717 1183059968 262972 33554432000 4194304 5972588 140727033300896 140727033298200 4975600 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 288833 262972 786 435 0 282196 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 1155332 KiB
Current children cumulated memory: 1051888 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.98 2.02 3/187 26705
/proc/meminfo: memFree=21743540/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1155488 memory=1058216 CPUtime=342.31 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 433988 0 0 0 34191 40 0 0 20 0 1 0 91180717 1183219712 264554 33554432000 4194304 5972588 140727033300896 140727033297720 4975792 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 288872 264554 786 435 0 282235 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 1155488 KiB
Current children cumulated memory: 1058216 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/188 26714
/proc/meminfo: memFree=21713224/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1155656 memory=1064592 CPUtime=402.32 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 447190 0 0 0 40191 41 0 0 20 0 1 0 91180717 1183391744 266148 33554432000 4194304 5972588 140727033300896 140727033298200 4977707 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 288914 266148 786 435 0 282277 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 1155656 KiB
Current children cumulated memory: 1064592 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/188 26715
/proc/meminfo: memFree=21686008/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1155896 memory=1066792 CPUtime=462.32 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 455756 0 0 0 46191 41 0 0 20 0 1 0 91180717 1183637504 266698 33554432000 4194304 5972588 140727033300896 140727033297720 4935456 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 288974 266698 786 435 0 282337 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 1155896 KiB
Current children cumulated memory: 1066792 KiB


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

/proc/26636/statm: 289239 278211 786 435 0 282602 0
Current children cumulated CPU time: 1722.45 s
Current children cumulated vsize: 1156956 KiB
Current children cumulated memory: 1112844 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 26754
/proc/meminfo: memFree=21578064/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157148 memory=1115152 CPUtime=1782.46 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 499446 0 0 0 178202 44 0 0 20 0 1 0 91180717 1184919552 278788 33554432000 4194304 5972588 140727033300896 140727033298200 4972748 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289287 278788 786 435 0 282650 0
Current children cumulated CPU time: 1782.46 s
Current children cumulated vsize: 1157148 KiB
Current children cumulated memory: 1115152 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 26755
/proc/meminfo: memFree=21577772/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157332 memory=1115196 CPUtime=1842.46 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 500465 0 0 0 184202 44 0 0 20 0 1 0 91180717 1185107968 278799 33554432000 4194304 5972588 140727033300896 140727033297720 4979152 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289333 278799 786 435 0 282696 0
Current children cumulated CPU time: 1842.46 s
Current children cumulated vsize: 1157332 KiB
Current children cumulated memory: 1115196 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 26757
/proc/meminfo: memFree=21577904/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157332 memory=1115196 CPUtime=1902.47 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 501258 0 0 0 190203 44 0 0 20 0 1 0 91180717 1185107968 278799 33554432000 4194304 5972588 140727033300896 140727033297720 4975319 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289333 278799 786 435 0 282696 0
Current children cumulated CPU time: 1902.47 s
Current children cumulated vsize: 1157332 KiB
Current children cumulated memory: 1115196 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 26758
/proc/meminfo: memFree=21577884/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157332 memory=1115196 CPUtime=1962.48 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 502451 0 0 0 196204 44 0 0 20 0 1 0 91180717 1185107968 278799 33554432000 4194304 5972588 140727033300896 140727033297720 4978080 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289333 278799 786 435 0 282696 0
Current children cumulated CPU time: 1962.48 s
Current children cumulated vsize: 1157332 KiB
Current children cumulated memory: 1115196 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26759
/proc/meminfo: memFree=21573768/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157496 memory=1119436 CPUtime=2022.48 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 504929 0 0 0 202204 44 0 0 20 0 1 0 91180717 1185275904 279859 33554432000 4194304 5972588 140727033300896 140727033297720 5327610 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289374 279859 786 435 0 282737 0
Current children cumulated CPU time: 2022.48 s
Current children cumulated vsize: 1157496 KiB
Current children cumulated memory: 1119436 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26761
/proc/meminfo: memFree=21573820/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157496 memory=1119436 CPUtime=2082.49 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 506009 0 0 0 208205 44 0 0 20 0 1 0 91180717 1185275904 279859 33554432000 4194304 5972588 140727033300896 140727033297720 4978055 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289374 279859 786 435 0 282737 0
Current children cumulated CPU time: 2082.49 s
Current children cumulated vsize: 1157496 KiB
Current children cumulated memory: 1119436 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26762
/proc/meminfo: memFree=21573952/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157496 memory=1119436 CPUtime=2142.5 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 506948 0 0 0 214206 44 0 0 20 0 1 0 91180717 1185275904 279859 33554432000 4194304 5972588 140727033300896 140727033297720 4971589 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289374 279859 786 435 0 282737 0
Current children cumulated CPU time: 2142.5 s
Current children cumulated vsize: 1157496 KiB
Current children cumulated memory: 1119436 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26771
/proc/meminfo: memFree=21565120/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157496 memory=1123592 CPUtime=2202.5 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 508818 0 0 0 220206 44 0 0 20 0 1 0 91180717 1185275904 280898 33554432000 4194304 5972588 140727033300896 140727033298200 4971939 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289374 280898 786 435 0 282737 0
Current children cumulated CPU time: 2202.5 s
Current children cumulated vsize: 1157496 KiB
Current children cumulated memory: 1123592 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26797
/proc/meminfo: memFree=21564244/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157496 memory=1123592 CPUtime=2262.51 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 510783 0 0 0 226207 44 0 0 20 0 1 0 91180717 1185275904 280898 33554432000 4194304 5972588 140727033300896 140727033298200 4970728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289374 280898 786 435 0 282737 0
Current children cumulated CPU time: 2262.51 s
Current children cumulated vsize: 1157496 KiB
Current children cumulated memory: 1123592 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26798
/proc/meminfo: memFree=21564700/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157496 memory=1123592 CPUtime=2322.51 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 512042 0 0 0 232207 44 0 0 20 0 1 0 91180717 1185275904 280898 33554432000 4194304 5972588 140727033300896 140727033298200 4977753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289374 280898 786 435 0 282737 0
Current children cumulated CPU time: 2322.51 s
Current children cumulated vsize: 1157496 KiB
Current children cumulated memory: 1123592 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26799
/proc/meminfo: memFree=21563272/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157496 memory=1123592 CPUtime=2382.52 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 513201 0 0 0 238208 44 0 0 20 0 1 0 91180717 1185275904 280898 33554432000 4194304 5972588 140727033300896 140727033298200 5323222 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289374 280898 786 435 0 282737 0
Current children cumulated CPU time: 2382.52 s
Current children cumulated vsize: 1157496 KiB
Current children cumulated memory: 1123592 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26800
/proc/meminfo: memFree=21563344/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1157496 memory=1123592 CPUtime=2442.52 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 514539 0 0 0 244208 44 0 0 20 0 1 0 91180717 1185275904 280898 33554432000 4194304 5972588 140727033300896 140727033298200 4970919 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 289374 280898 786 435 0 282737 0
Current children cumulated CPU time: 2442.52 s
Current children cumulated vsize: 1157496 KiB
Current children cumulated memory: 1123592 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26801
/proc/meminfo: memFree=21557652/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1506916 memory=1128580 CPUtime=2502.53 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 527559 0 0 0 250207 46 0 0 20 0 1 0 91180717 1543081984 282145 33554432000 4194304 5972588 140727033300896 140727033297720 5243345 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 376729 282145 786 435 0 370092 0
Current children cumulated CPU time: 2502.53 s
Current children cumulated vsize: 1506916 KiB
Current children cumulated memory: 1128580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26801
/proc/meminfo: memFree=21558024/32770624 swapFree=67108860/67108860
[pid=26636] ppid=26633 vsize=1506916 memory=1128580 CPUtime=2520.03 cores=0,2,4,6
/proc/26636/stat : 26636 (cosoco) R 26633 26636 24318 0 -1 4202496 528075 0 0 0 251957 46 0 0 20 0 1 0 91180717 1543081984 282145 33554432000 4194304 5972588 140727033300896 140727033297720 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 32280576 140727033308346 140727033308446 140727033308446 140727033311182 0
/proc/26636/statm: 376729 282145 786 435 0 370092 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 1506916 KiB
Current children cumulated memory: 1128580 KiB

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

[startup+2519.84 s]
# the end of solver process 26636 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.58 s, system=0.499051 s

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

Child status: 1
Real time (s): 2519.84
CPU time (s): 2520.08
CPU user time (s): 2519.58
CPU system time (s): 0.499051
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 1506916
Max. memory (cumulated for all children) (KiB): 1128580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.58
system time used= 0.499051
maximum resident set size= 1128660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528123
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= 32
involuntary context switches= 826


# summary of solver processes directly reported to runsolver:
#   pid: 26636
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2519.58
#   total CPU system time (s): 0.499051

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.39841 second user time and 16.2248 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-13 01:23:52
IDJOB=4266217
IDBENCH=133170
IDSOLVER=2655
FILE ID=node105/4266217-1502581091
RUNJOBID= node105-1502567255-24402
PBS_JOBID= 20628286
Free space on /tmp= 60656 MiB

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

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

MD5SUM BENCH= 3d460941811377b846401dbdf8e8b024
RANDOM SEED=900822567

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:        26090772 kB
MemAvailable:   31412572 kB
Buffers:          140360 kB
Cached:          5458252 kB
SwapCached:            0 kB
Active:          1219692 kB
Inactive:        5000684 kB
Active(anon):     624356 kB
Inactive(anon):    25072 kB
Active(file):     595336 kB
Inactive(file):  4975612 kB
Unevictable:        6236 kB
Mlocked:            6236 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2632 kB
Writeback:             0 kB
AnonPages:        699176 kB
Mapped:            44600 kB
Shmem:             25228 kB
Slab:             159156 kB
SReclaimable:     133376 kB
SUnreclaim:        25780 kB
KernelStack:        3584 kB
PageTables:         6276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     922900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 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:05:52