Trace number 4241445

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1? (TO) 2400.11 2400.5

General information on the benchmark

NameDubois/Dubois-m1-s1/
Dubois-090.xml
MD5SUM328d51b82070b586362c1099b738d751
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.015376
Satisfiable
(Un)Satisfiability was proved
Number of variables270
Number of constraints180
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":270}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":270}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":180}]
Number of extensional constraints180
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":180}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c SAT : Variables: 540 -- Clauses: 540
0.00/0.01	c root propagations     : 0           
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.0 --  
0.00/0.01	c
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 270
0.00/0.01	c |            Domain Sizes: 2..2
0.00/0.01	c |
0.00/0.01	c |             Constraints: 180
0.00/0.01	c |                   Arity: 3..3  -- Ternary: 180
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Extension: 180  (nb tuples: 4..4) -- (shared: 175)
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 10             320            1764           1481           0              1              177   267   203
0.00/0.01	c 20             553            2420           1923           0              2              199   208   184
0.00/0.02	c 30             761            3000           2310           0              4              193   198   177
0.00/0.02	c 40             1071           4142           3295           0              8              134   185   140
0.00/0.02	c 50             1301           4813           3792           0              10             180   185   165
0.00/0.02	c 60             1479           5390           4220           0              12             135   148   126
0.00/0.02	c 70             1701           6053           4699           0              15             174   181   161
0.00/0.03	c 80             1866           6515           5018           0              18             84   156   124 
0.00/0.03	c 90             2162           7354           5596           0              20             174   267   184
0.00/0.03	c 100            2316           7825           5948           0              24             74   124   101 
0.00/0.03	c 101            2415           8090           6119           0              25             99   99   49   
0.00/0.03	c 110            2544           8479           6406           0              26             103   110   96 
0.00/0.03	c 120            2717           8992           6775           0              29             129   147   121
0.00/0.03	c 130            2852           9385           7054           0              31             114   124   108
0.00/0.04	c 140            3012           9884           7424           0              33             93   123   100 
0.00/0.04	c 150            3139           10262          7704           0              34             100   112   95 
0.00/0.04	c 160            3332           10810          8082           0              36             120   183   155
0.00/0.04	c 170            3625           11622          8633           0              39             122   265   222
0.00/0.04	c 180            3886           12361          9147           0              40             234   250   218
0.00/0.04	c 190            3995           12700          9408           0              43             72   82   70   
0.00/0.05	c 200            4197           13300          9845           0              45             72   166   93  
0.00/0.05	c 210            4406           13895          10256          0              49             48   189   128 
0.00/0.05	c 211            4574           14342          10536          0              50             168   168   84 
0.00/0.05	c 220            4748           14874          10926          0              53             129   143   122
0.00/0.05	c 230            5031           15668          11462          0              57             162   267   216
0.00/0.05	c 240            5257           16320          11931          0              59             178   187   166
0.00/0.06	c 250            5435           16824          12282          0              60             157   169   147
0.00/0.06	c 260            5663           17530          12827          0              62             135   159   136
0.00/0.06	c 270            5771           17849          13060          0              64             86   98   85   
0.00/0.06	c 280            5965           18414          13459          0              67             139   172   147
0.00/0.06	c 290            6202           19125          14001          0              69             139   162   138
0.00/0.06	c 300            6421           19796          14527          0              72             140   152   133
0.00/0.06	c 310            6555           20190          14822          0              74             100   109   94 
0.00/0.07	c 320            6842           20997          15385          0              77             140   257   163
0.00/0.07	c 330            7019           21515          15764          0              80             138   151   131
0.00/0.07	c 332            7174           21937          16041          0              81             154   154   102
0.00/0.07	c 340            7339           22413          16379          0              83             138   147   127
0.00/0.07	c 350            7612           23186          16902          0              88             234   244   217
0.00/0.07	c 360            7841           23826          17335          0              90             208   219   194
0.00/0.08	c 370            8134           24661          17915          0              93             249   257   228
0.00/0.08	c 380            8399           25405          18416          0              97             214   248   214
0.00/0.08	c 390            8715           26305          19047          0              101            213   267   213
0.00/0.08	c 400            9021           27171          19650          0              105            212   267   235
0.00/0.08	c 410            9322           28064          20304          0              107            234   257   225
0.00/0.09	c 420            9602           28850          20848          0              108            251   266   234
0.00/0.09	c 430            9886           29656          21409          0              110            247   259   229
0.00/0.09	c 440            10159          30455          21978          0              111            227   243   213
0.00/0.09	c 450            10370          31063          22405          0              113            179   201   173
0.00/0.09	c 460            10615          31748          22879          0              114            215   236   203
0.00/0.09	c 465            10827          32341          23266          0              116            202   208   172
0.09/0.10	c 470            11006          32858          23634          0              118            145   161   129
0.09/0.10	c 480            11219          33461          24052          0              119            188   204   178
0.09/0.10	c 490            11517          34320          24665          0              122            249   260   232
0.09/0.10	c 500            11783          35062          25181          0              123            233   257   225
0.09/0.10	c 510            12133          36113          25983          0              126            235   254   225
0.09/0.10	c 520            12454          37037          26652          0              130            235   261   228
0.09/0.11	c 530            12711          37771          27176          0              134            153   220   189
0.09/0.11	c 540            12979          38556          27726          0              135            233   249   217
0.09/0.11	c 550            13243          39337          28309          0              138            197   215   189
0.09/0.11	c 560            13549          40209          28941          0              140            246   255   228
0.09/0.11	c 570            13793          40903          29435          0              141            201   223   192
0.09/0.12	c 580            14058          41650          29960          0              143            229   247   219
0.09/0.12	c 590            14308          42360          30466          0              144            214   241   206
0.09/0.12	c 600            14577          43118          31016          0              145            215   246   209
0.09/0.12	c 610            14908          44058          31738          0              146            226   249   218
0.09/0.12	c 611            15109          44589          32085          0              147            201   201   100
0.09/0.12	c 620            15304          45131          32468          0              148            166   187   161
0.09/0.13	c 630            15593          45970          33114          0              152            171   216   185
0.09/0.13	c 640            15795          46540          33519          0              153            177   193   169
0.09/0.13	c 650            15997          47117          33931          0              155            163   182   155
0.09/0.13	c 660            16245          47835          34450          0              158            195   213   188
0.09/0.13	c 670            16460          48456          34891          0              159            181   196   170
0.09/0.13	c 680            16674          49072          35337          0              161            164   172   154
0.09/0.13	c 690            16866          49619          35730          0              163            156   180   151
0.09/0.13	c 700            17079          50232          36162          0              164            184   204   176
0.09/0.14	c 710            17280          50821          36595          0              165            150   174   150
0.09/0.14	c 720            17484          51395          36997          0              167            158   183   150
0.09/0.14	c 730            17668          51954          37387          0              169            144   175   151
0.09/0.14	c 740            17869          52521          37802          0              172            131   160   137
0.09/0.14	c 750            18034          52984          38142          0              173            132   156   134
0.09/0.14	c 760            18185          53409          38456          0              175            102   116   100
0.09/0.14	c 770            18305          53751          38696          0              176            104   111   97 
0.09/0.14	c 771            18462          54160          38951          0              177            157   157   78 
0.09/0.14	c 780            18631          54637          39288          0              180            137   151   130
0.09/0.15	c 790            18813          55201          39712          0              182            139   158   135
0.09/0.15	c 800            18965          55634          40019          0              183            137   143   127
0.09/0.15	c 810            19127          56129          40392          0              186            122   135   118
0.09/0.15	c 820            19319          56706          40849          0              188            115   135   117
0.09/0.15	c 830            19615          57547          41467          0              191            226   250   216
0.09/0.15	c 840            19875          58328          42030          0              192            218   241   207
0.09/0.15	c 850            20114          59039          42539          0              195            135   218   180
0.09/0.16	c 860            20394          59840          43132          0              197            215   233   205
0.09/0.16	c 870            20658          60587          43669          0              199            211   228   200
0.09/0.16	c 880            20881          61220          44121          0              200            187   214   184
0.09/0.16	c 890            21118          61898          44602          0              202            196   210   185
0.09/0.16	c 900            21429          62768          45209          0              205            216   267   214
0.09/0.16	c 910            21658          63430          45669          0              208            184   196   173
0.09/0.16	c 920            21904          64136          46185          0              209            194   216   186
0.09/0.17	c 930            22142          64823          46706          0              212            171   179   161
0.09/0.17	c 940            22345          65419          47164          0              214            142   161   141
0.09/0.17	c 947            22437          65679          47352          0              215            75   83   69   
0.09/0.17	c 950            22605          66151          47659          0              217            164   166   124
0.09/0.17	c 960            22953          67208          48576          0              221            162   171   153
0.09/0.17	c 970            23094          67618          48876          0              223            111   130   110
0.09/0.17	c 980            23325          68315          49425          0              225            152   172   149
0.09/0.17	c 990            23488          68886          49860          0              226            135   154   130
0.09/0.17	c 1000           23679          69439          50276          0              227            143   172   142
0.09/0.18	c 1010           23814          69832          50573          0              229            94   106   91  
0.09/0.18	c 1020           23979          70314          50940          0              230            121   142   118
0.09/0.18	c 1030           24143          70782          51284          0              232            118   131   114
0.09/0.18	c 1040           24273          71159          51558          0              233            104   114   99 
0.09/0.18	c 1050           24441          71660          51951          0              235            92   102   91  
0.09/0.18	c 1060           24541          71975          52182          0              238            76   84   73   
0.09/0.18	c 1070           24636          72276          52416          0              242            62   77   65   
0.09/0.18	c 1080           24726          72551          52630          0              244            64   79   63   
0.09/0.18	c 1090           24785          72767          52808          0              245            33   46   35   
0.09/0.18	c 1100           24881          73055          53027          0              246            81   87   76   
0.09/0.18	c 1110           24933          73230          53172          0              248            30   42   33   
0.09/0.18	c 1120           25069          73649          53519          0              251            69   82   71   
0.09/0.18	c 1130           25215          74069          53822          0              254            75   132   109 
0.09/0.18	c 1140           25312          74370          54053          0              255            77   84   73   
0.09/0.18	c 1141           25377          74549          54173          0              256            65   65   32   
0.09/0.18	c 1150           25463          74820          54394          0              258            53   74   56   
0.09/0.19	c 1160           25578          75155          54671          0              261            68   74   65   
0.09/0.19	c 1170           25822          75877          55228          0              265            62   172   141 
0.09/0.19	c 1180           26019          76473          55683          0              268            143   165   142
0.09/0.19	c 1190           26262          77186          56229          0              270            150   166   147
0.09/0.19	c 1200           26505          77878          56778          0              273            161   166   148
0.09/0.19	c 1210           26708          78464          57200          0              276            150   158   141
0.09/0.19	c 1220           26907          79046          57639          0              278            145   158   140
0.09/0.19	c 1230           27165          79815          58285          0              281            128   148   131
0.09/0.19	c 1240           27455          80630          58845          0              283            190   267   196
0.19/0.20	c 1250           27756          81489          59446          0              286            262   267   240
0.19/0.20	c 1260           28080          82406          60092          0              290            232   267   228
0.19/0.20	c 1270           28409          83334          60774          0              292            254   267   239
0.19/0.20	c 1280           28744          84320          61511          0              293            260   266   239
0.19/0.20	c 1290           29080          85273          62207          0              296            255   266   238
0.19/0.20	c 1300           29385          86141          62838          0              298            242   266   232
0.19/0.21	c 1310           29688          87002          63457          0              301            240   260   227
0.19/0.21	c 1320           30019          87963          64176          0              302            248   266   236
0.19/0.21	c 1330           30198          88500          64570          0              304            140   149   132
0.19/0.21	c 1340           30520          89426          65233          0              306            250   266   235
0.19/0.21	c 1350           30686          89911          65590          0              307            129   140   122
0.19/0.21	c 1352           30811          90248          65811          0              309            119   119   79 
0.19/0.21	c 1360           30995          90769          66168          0              312            140   168   137
0.19/0.21	c 1370           31174          91314          66581          0              313            140   152   133
0.19/0.21	c 1380           31326          91755          66899          0              315            128   138   121
0.19/0.22	c 1390           31642          92673          67584          0              318            127   268   151
0.19/0.22	c 1400           31989          93699          68376          0              321            234   266   230
0.19/0.22	c 1410           32304          94582          69012          0              325            249   265   238
0.19/0.22	c 1420           32600          95495          69682          0              329            135   262   218
0.19/0.22	c 1430           32897          96331          70281          0              330            248   266   233
0.19/0.22	c 1440           33168          97091          70814          0              331            236   262   227
0.19/0.22	c 1450           33483          97978          71438          0              335            218   262   219
0.19/0.23	c 1460           33747          98722          71958          0              337            214   237   209
0.19/0.23	c 1470           34005          99459          72495          0              338            208   219   196
0.19/0.23	c 1480           34257          100169         73001          0              341            209   220   195
0.19/0.23	c 1490           34609          101174         73744          0              345            207   266   234
0.19/0.23	c 1500           34922          102066         74370          0              348            214   266   209
0.19/0.23	c 1510           35167          102753         74852          0              350            203   223   192
0.19/0.23	c 1520           35521          103776         75601          0              355            251   266   240
0.19/0.24	c 1530           35837          104657         76234          0              358            206   260   219
0.19/0.24	c 1540           36151          105532         76853          0              360            255   266   238
0.19/0.24	c 1550           36483          106483         77558          0              365            242   266   234
0.19/0.24	c 1560           36802          107395         78212          0              368            255   266   238
0.19/0.24	c 1570           37155          108415         78982          0              372            250   262   237
0.19/0.24	c 1580           37452          109256         79600          0              373            247   266   235
0.19/0.24	c 1585           37747          110079         80190          0              375            245   266   214
0.19/0.25	c 1590           37977          110711         80609          0              377            213   221   182
0.19/0.25	c 1600           38196          111326         81039          0              378            193   210   184
0.19/0.25	c 1610           38510          112229         81688          0              380            164   262   166
0.19/0.25	c 1620           38784          112992         82227          0              384            222   234   209
0.19/0.25	c 1630           39122          113949         82944          0              386            258   262   237
0.19/0.25	c 1640           39417          114779         83530          0              387            251   266   234
0.19/0.25	c 1650           39664          115479         84030          0              389            198   225   193
0.19/0.26	c 1660           39967          116320         84626          0              391            225   266   233
0.19/0.26	c 1670           40256          117137         85211          0              392            237   258   223
0.19/0.26	c 1680           40559          117995         85828          0              393            252   266   237
0.19/0.26	c 1690           40829          118751         86367          0              394            238   261   227
0.19/0.26	c 1700           41128          119603         86974          0              397            244   266   234
0.19/0.26	c 1710           41391          120348         87509          0              399            212   254   213
0.19/0.26	c 1720           41649          121078         88014          0              400            223   232   207
0.19/0.27	c 1730           41863          121687         88446          0              403            167   180   160
0.19/0.27	c 1740           42004          122105         88771          0              404            95   104   91  
0.19/0.27	c 1750           42310          122971         89395          0              408            231   254   221
0.19/0.27	c 1760           42628          123867         90039          0              411            254   266   238
0.19/0.27	c 1770           42944          124769         90700          0              414            249   265   236
0.19/0.27	c 1780           43270          125686         91380          0              415            257   265   239
0.19/0.27	c 1790           43595          126656         92118          0              419            234   259   227
0.19/0.28	c 1800           43910          127557         92763          0              423            232   265   236
0.19/0.28	c 1810           44270          128599         93576          0              425            236   265   235
0.19/0.28	c 1820           44536          129345         94120          0              426            217   257   213
0.19/0.28	c 1830           44871          130280         94802          0              429            253   261   235
0.19/0.28	c 1840           45145          131058         95381          0              431            205   261   215
0.19/0.28	c 1841           45351          131590         95710          0              432            206   206   103
0.19/0.28	c 1850           45692          132546         96439          0              435            247   261   232
0.19/0.29	c 1860           45980          133378         97091          0              438            181   206   182
0.19/0.29	c 1870           46289          134255         97710          0              442            233   265   223
0.19/0.29	c 1880           46526          134918         98191          0              444            187   209   182
0.19/0.29	c 1890           46841          135809         98838          0              446            178   266   230
0.19/0.29	c 1900           47385          137476         100267         0              450            181   266   232
0.19/0.29	c 1910           47727          138454         101005         0              453            204   262   214
0.19/0.30	c 1920           47996          139230         101603         0              457            184   199   176
0.29/0.30	c 1930           48296          140090         102228         0              458            259   266   237
0.29/0.30	c 1940           48646          141082         103004         0              461            181   262   224
0.29/0.30	c 1950           48988          142045         103725         0              464            248   266   235
0.29/0.30	c 1960           49358          143089         104570         0              467            238   252   224
0.29/0.30	c 1970           49706          144077         105297         0              470            255   266   239
0.29/0.31	c 1980           50087          145208         106183         0              472            231   262   229
0.29/0.31	c 1990           50463          146310         107056         0              474            231   266   233
0.29/0.31	c 2000           50806          147290         107804         0              476            247   262   235
0.29/0.31	c 2010           51209          148434         108729         0              477            228   261   233
0.29/0.31	c 2020           51524          149326         109383         0              481            239   254   228
0.29/0.31	c 2030           51786          150058         109894         0              482            232   250   219
0.29/0.31	c 2040           52119          151046         110658         0              484            204   243   205
0.29/0.32	c 2050           52435          151947         111320         0              488            135   250   159
0.29/0.32	c 2060           52673          152627         111828         0              489            192   229   192
0.29/0.32	c 2070           52949          153398         112372         0              491            239   262   229
0.29/0.32	c 2080           53273          154310         113036         0              493            244   255   227
0.29/0.32	c 2090           53570          155150         113645         0              495            232   255   223
0.29/0.32	c 2100           53901          156091         114338         0              497            239   255   227
0.29/0.33	c 2110           54197          156942         114964         0              499            215   240   212
0.29/0.33	c 2120           54426          157589         115424         0              501            189   217   185
0.29/0.33	c 2122           54662          158223         115831         0              503            229   232   153
0.29/0.33	c 2130           54917          158935         116347         0              505            182   219   179
0.29/0.33	c 2140           55135          159548         116775         0              507            188   206   180
0.29/0.33	c 2150           55416          160359         117384         0              511            167   198   170
0.29/0.33	c 2160           55711          161199         117989         0              513            160   249   214
0.29/0.33	c 2170           55984          161975         118564         0              515            163   238   200
0.29/0.34	c 2180           56263          162767         119141         0              517            217   244   209
0.29/0.34	c 2190           56491          163408         119595         0              519            187   214   185
0.29/0.34	c 2200           56780          164237         120181         0              522            194   259   219
0.29/0.34	c 2210           57076          165072         120787         0              524            223   242   213
0.29/0.34	c 2220           57385          165952         121443         0              525            231   251   222
0.29/0.34	c 2230           57638          166659         121937         0              526            227   244   214
0.29/0.34	c 2240           57925          167484         122532         0              528            221   234   208
0.29/0.34	c 2250           58158          168150         123000         0              535            178   202   172
0.29/0.35	c 2260           58461          169005         123602         0              537            238   251   223
0.29/0.35	c 2270           58711          169776         124191         0              540            177   205   178
0.29/0.35	c 2280           58929          170386         124611         0              542            192   206   181
0.29/0.35	c 2290           59253          171301         125263         0              546            180   266   232
0.29/0.35	c 2300           59555          172142         125845         0              551            252   266   236
0.29/0.35	c 2310           59878          173053         126524         0              553            248   268   237
0.29/0.35	c 2320           60213          173993         127219         0              556            259   266   241
0.29/0.36	c 2330           60506          174816         127792         0              558            250   266   235
0.29/0.36	c 2340           60788          175614         128360         0              559            232   262   226
0.29/0.36	c 2350           61100          176516         129011         0              560            250   266   236
0.29/0.36	c 2360           61419          177501         129805         0              562            191   266   220
0.29/0.36	c 2370           61737          178412         130459         0              564            212   266   207
0.29/0.36	c 2380           62079          179377         131160         0              569            224   266   223
0.29/0.37	c 2390           62421          180359         131901         0              571            246   266   236
0.29/0.37	c 2400           62758          181345         132639         0              573            250   266   237
0.29/0.37	c 2410           63089          182292         133350         0              575            235   262   229
0.29/0.37	c 2420           63410          183207         134026         0              576            250   266   236
0.29/0.37	c 2430           63992          184960         135519         0              578            208   266   231
0.29/0.37	c 2431           64254          185657         135977         0              579            262   262   131
0.29/0.38	c 2440           64524          186425         136522         0              581            229   262   222
0.29/0.38	c 2450           64754          187079         137009         0              583            167   187   164
0.29/0.38	c 2460           64943          187609         137379         0              584            162   176   153
0.29/0.38	c 2470           65088          188061         137715         0              587            102   119   103
0.29/0.38	c 2480           65202          188379         137938         0              588            99   105   92  
0.29/0.38	c 2490           65547          189373         138692         0              590            237   262   230
0.29/0.38	c 2500           65822          190160         139264         0              591            227   262   220
0.29/0.38	c 2510           66137          191058         139941         0              594            222   262   224
0.29/0.38	c 2520           66379          191748         140438         0              595            194   215   185
0.29/0.39	c 2530           66714          192727         141156         0              601            183   266   222
0.29/0.39	c 2540           67003          193542         141775         0              604            206   214   192
0.29/0.39	c 2550           67351          194510         142491         0              608            253   266   238
0.29/0.39	c 2560           67689          195482         143204         0              612            235   266   229
0.29/0.39	c 2570           67995          196356         143851         0              614            249   264   232
0.29/0.39	c 2580           68322          197260         144521         0              617            239   259   228
0.39/0.40	c 2590           68662          198217         145248         0              622            215   230   203
0.39/0.40	c 2600           68958          199053         145863         0              624            234   257   226
0.39/0.40	c 2610           69268          199955         146513         0              626            219   249   219
0.39/0.40	c 2620           69607          200935         147236         0              630            203   257   207
0.39/0.40	c 2630           69953          201999         148130         0              633            171   213   184
0.39/0.40	c 2640           70229          202785         148700         0              636            194   217   188
0.39/0.41	c 2650           70438          203386         149105         0              638            191   195   174
0.39/0.41	c 2660           70641          203958         149529         0              640            155   193   166
0.39/0.41	c 2670           70840          204524         149961         0              644            130   142   126
0.39/0.41	c 2680           70988          204949         150276         0              645            114   128   111
0.39/0.41	c 2690           71125          205355         150592         0              647            84   94   81   
0.39/0.41	c 2700           71269          205761         150896         0              651            65   112   80  
0.39/0.41	c 2710           71361          206050         151128         0              652            52   62   51   
0.39/0.41	c 2720           71480          206396         151383         0              654            19   92   29   
0.39/0.41	c 2730           71717          207058         151850         0              658            22   197   87  
0.39/0.41	c 2740           71820          207354         152066         0              659            85   94   81   
0.39/0.41	c 2750           72087          208120         152654         0              663            75   197   143 
0.39/0.41	c 2760           72247          208563         152966         0              664            143   151   133
0.39/0.42	c 2770           72450          209153         153427         0              666            140   150   133
0.39/0.42	c 2771           72707          209834         153863         0              667            257   257   128
0.39/0.42	c 2780           73046          210783         154549         0              671            257   266   237
0.39/0.42	c 2790           73394          211792         155326         0              673            249   266   236
0.39/0.42	c 2800           73692          212650         155928         0              676            211   264   230
0.39/0.42	c 2810           74011          213551         156599         0              679            221   266   228
0.39/0.42	c 2820           74318          214404         157204         0              683            227   262   225
0.39/0.43	c 2830           74605          215204         157791         0              685            220   248   213
0.39/0.43	c 2840           74936          216134         158469         0              688            248   266   238
0.39/0.43	c 2850           75268          217085         159176         0              690            247   266   237
0.39/0.43	c 2860           75605          218087         159931         0              692            243   262   231
0.39/0.43	c 2870           75905          218934         160535         0              694            244   256   227
0.39/0.43	c 2880           76131          219559         160972         0              695            195   210   184
0.39/0.44	c 2890           76416          220357         161557         0              696            224   248   217
0.39/0.44	c 2900           76665          221047         162036         0              699            192   217   185
0.39/0.44	c 2910           76912          221741         162546         0              701            191   213   185
0.39/0.44	c 2920           77132          222354         162966         0              703            195   207   184
0.39/0.44	c 2930           77376          223039         163460         0              704            196   204   183
0.39/0.44	c 2940           77608          223704         163941         0              706            188   198   175
0.39/0.44	c 2950           77831          224344         164418         0              708            173   182   161
0.39/0.44	c 2960           78014          224904         164833         0              710            138   166   139
0.39/0.44	c 2970           78221          225504         165258         0              713            144   178   150
0.39/0.45	c 2980           78407          226026         165622         0              714            163   173   152
0.39/0.45	c 2990           78623          226635         166053         0              715            180   190   168
0.39/0.45	c 3000           78970          227611         166773         0              718            253   266   240
0.39/0.45	c 3010           79316          228611         167544         0              719            238   266   234
0.39/0.45	c 3020           79631          229501         168197         0              721            256   264   237
0.39/0.45	c 3030           79938          230368         168822         0              724            244   264   235
0.39/0.45	c 3040           80245          231238         169446         0              727            241   257   228
0.39/0.46	c 3050           80456          231851         169876         0              730            168   185   163
0.39/0.46	c 3060           80710          232585         170475         0              731            155   179   157
0.39/0.46	c 3070           81078          233644         171272         0              735            177   268   218
0.39/0.46	c 3080           81419          234568         172050         0              737            139   188   159
0.39/0.46	c 3090           81700          235394         172714         0              739            154   186   161
0.39/0.46	c 3100           82075          236429         173489         0              743            184   266   232
0.39/0.46	c 3110           82238          236901         173834         0              745            130   153   127
0.39/0.47	c 3120           82378          237312         174136         0              746            116   121   108
0.39/0.47	c 3130           82609          237973         174642         0              748            167   183   160
0.39/0.47	c 3140           82751          238375         174923         0              750            123   131   115
0.39/0.47	c 3142           83018          239103         175402         0              752            254   266   173
0.39/0.47	c 3150           83338          239990         176048         0              754            266   266   236
0.39/0.47	c 3160           83729          241140         176936         0              756            238   266   235
0.39/0.47	c 3170           84054          242048         177589         0              759            254   266   238
0.39/0.48	c 3180           84374          242963         178277         0              760            229   255   223
0.39/0.48	c 3190           84635          243701         178786         0              763            227   232   208
0.39/0.48	c 3200           84869          244351         179231         0              764            214   225   199
0.39/0.48	c 3210           85092          244978         179664         0              766            199   213   188
0.39/0.48	c 3220           85449          245995         180430         0              769            196   266   203
0.39/0.48	c 3230           85785          246950         181131         0              774            147   262   204
0.39/0.48	c 3240           86089          247810         181742         0              778            253   266   238
0.39/0.49	c 3250           86435          248773         182459         0              780            252   266   239
0.39/0.49	c 3260           86783          249764         183202         0              783            254   266   239
0.39/0.49	c 3270           87081          250602         183788         0              786            243   266   233
0.39/0.49	c 3280           87386          251475         184396         0              791            243   264   233
0.39/0.49	c 3290           87794          252655         185321         0              794            234   266   237
0.39/0.49	c 3300           87971          253147         185680         0              795            140   168   142
0.39/0.49	c 3310           88176          253718         186085         0              796            185   196   174
0.39/0.50	c 3320           88407          254443         186663         0              798            147   170   145
0.49/0.50	c 3330           88735          255411         187377         0              800            250   266   237
0.49/0.50	c 3340           88936          255985         187805         0              803            135   156   135
0.49/0.50	c 3350           89266          256929         188496         0              806            258   266   240
0.49/0.50	c 3360           89530          257675         189031         0              808            222   233   208
0.49/0.50	c 3370           89889          258705         189807         0              811            247   266   239
0.49/0.50	c 3380           90246          259730         190594         0              812            249   266   236
0.49/0.51	c 3390           90567          260652         191275         0              813            243   260   232
0.49/0.51	c 3400           90899          261605         191996         0              816            226   266   221
0.49/0.51	c 3410           91138          262293         192500         0              820            148   192   164
0.49/0.51	c 3420           91289          262710         192783         0              821            136   142   126
0.49/0.51	c 3430           91552          263473         193351         0              823            154   196   148
0.49/0.51	c 3440           91749          264041         193754         0              825            162   168   150
0.49/0.51	c 3450           91999          264774         194332         0              828            147   166   148
0.49/0.51	c 3460           92311          265663         195001         0              830            221   260   218
0.49/0.52	c 3470           92548          266350         195544         0              832            152   163   147
0.49/0.52	c 3480           92718          266835         195905         0              833            139   161   137
0.49/0.52	c 3490           92945          267495         196420         0              838            137   153   131
0.49/0.52	c 3500           93183          268147         196946         0              839            142   161   139
0.49/0.52	c 3510           93421          268814         197470         0              842            159   163   146
0.49/0.52	c 3520           93630          269408         197922         0              844            142   163   143
0.49/0.52	c 3530           93834          270016         198433         0              845            104   120   105
0.49/0.52	c 3540           94063          270669         198931         0              848            112   159   126
0.49/0.53	c 3550           94269          271259         199373         0              850            152   163   144
0.49/0.53	c 3551           94392          271584         199584         0              851            123   123   61 
0.49/0.53	c 3560           94530          271986         199880         0              852            109   119   103
0.49/0.53	c 3570           94678          272411         200184         0              853            124   135   118
0.49/0.53	c 3580           94890          273023         200652         0              856            139   152   135
0.49/0.53	c 3590           95132          273691         201121         0              858            124   208   126
0.49/0.53	c 3600           95399          274447         201688         0              861            191   205   184
0.49/0.53	c 3610           95563          274906         202010         0              862            147   155   136
0.49/0.53	c 3620           95876          275809         202663         0              867            199   266   226
0.49/0.53	c 3630           96166          276613         203225         0              870            247   262   231
0.49/0.54	c 3640           96569          277808         204165         0              872            233   266   233
0.49/0.54	c 3650           96813          278479         204623         0              873            222   235   206
0.49/0.54	c 3660           97131          279370         205257         0              875            233   266   226
0.49/0.54	c 3670           97258          279737         205531         0              876            106   118   103
0.49/0.54	c 3680           97478          280366         206022         0              878            151   160   143
0.49/0.54	c 3690           97752          281157         206566         0              881            242   260   225
0.49/0.54	c 3700           97958          281754         207014         0              883            157   163   144
0.49/0.54	c 3710           98091          282138         207302         0              885            98   117   97  
0.49/0.55	c 3720           98295          282718         207747         0              888            147   153   137
0.49/0.55	c 3730           98498          283302         208193         0              891            150   153   138
0.49/0.55	c 3740           98744          283991         208677         0              894            211   221   196
0.49/0.55	c 3750           99010          284749         209234         0              897            99   216   183 
0.49/0.55	c 3760           99328          285647         209867         0              901            196   266   200
0.49/0.55	c 3770           99595          286401         210408         0              904            212   217   195
0.49/0.55	c 3780           99853          287133         210951         0              906            196   213   188
0.49/0.55	c 3790           100002         287565         211264         0              908            118   132   115
0.49/0.56	c 3800           100252         288283         211790         0              909            193   212   189
0.49/0.56	c 3810           100518         289036         212344         0              911            203   210   189
0.49/0.56	c 3820           100779         289769         212882         0              913            189   202   181
0.49/0.56	c 3830           101007         290418         213362         0              915            180   198   170
0.49/0.56	c 3840           101242         291090         213863         0              918            177   198   172
0.49/0.56	c 3850           101466         291732         214335         0              920            176   188   168
0.49/0.56	c 3860           101667         292297         214739         0              922            166   185   161
0.49/0.56	c 3870           101981         293175         215381         0              924            161   250   202
0.49/0.57	c 3880           102335         294181         216130         0              927            163   266   208
0.49/0.57	c 3890           102541         294770         216569         0              929            145   168   146
0.49/0.57	c 3900           102884         295746         217278         0              934            163   266   229
0.49/0.57	c 3910           103196         296621         217893         0              938            245   266   233
0.49/0.57	c 3920           103548         297619         218629         0              940            138   266   151
0.49/0.57	c 3930           103870         298537         219309         0              941            240   266   234
0.49/0.57	c 3940           104179         299415         219940         0              944            243   262   228
0.49/0.58	c 3950           104433         300129         220432         0              945            232   245   217
0.49/0.58	c 3960           104752         301036         221076         0              949            253   266   239
0.49/0.58	c 3970           105074         301954         221728         0              953            255   265   238
0.49/0.58	c 3980           105362         302765         222296         0              956            237   256   225
0.49/0.58	c 3990           105676         303644         222921         0              960            239   265   233
0.49/0.58	c 4000           105970         304462         223506         0              962            246   261   231
0.49/0.59	c 4001           106231         305166         223957         0              963            261   261   130
0.49/0.59	c 4010           106561         306085         224635         0              965            252   261   231
0.49/0.59	c 4020           106867         306970         225288         0              969            189   247   198
0.49/0.59	c 4030           107162         307823         225902         0              972            228   240   213
0.49/0.59	c 4040           107435         308621         226485         0              976            199   229   199
0.49/0.59	c 4050           107665         309272         226952         0              977            193   221   186
0.49/0.59	c 4060           107921         310033         227512         0              980            166   201   171
0.49/0.59	c 4070           108144         310666         227969         0              981            173   195   168
0.59/0.60	c 4080           108371         311328         228462         0              983            155   181   155
0.59/0.60	c 4090           108699         312249         229129         0              986            253   265   238
0.59/0.60	c 4100           109108         313415         230031         0              989            261   265   240
0.59/0.60	c 4110           109351         314127         230537         0              991            198   232   192
0.59/0.60	c 4120           109477         314481         230791         0              992            104   117   99 
0.59/0.60	c 4130           109820         315457         231501         0              995            249   265   237
0.59/0.60	c 4140           110131         316351         232154         0              997            240   265   236
0.59/0.61	c 4150           110498         317453         233006         0              999            231   265   233
0.59/0.61	c 4160           110795         318290         233610         0              1002           186   265   220
0.59/0.61	c 4170           111040         319000         234151         0              1003           207   230   200
0.59/0.61	c 4180           111352         319880         234785         0              1006           214   265   228
0.59/0.61	c 4190           111639         320696         235356         0              1009           243   256   228
0.59/0.61	c 4200           111964         321605         236035         0              1010           249   253   229
0.59/0.62	c 4210           112309         322627         236833         0              1013           182   253   212
0.59/0.62	c 4220           112721         323764         237775         0              1014           211   253   226
0.59/0.62	c 4230           113033         324709         238503         0              1018           189   235   201
0.59/0.62	c 4240           113220         325251         238909         0              1020           134   164   136
0.59/0.62	c 4250           113500         326040         239480         0              1021           233   253   222
0.59/0.62	c 4260           113796         326881         240113         0              1023           195   215   189
0.59/0.62	c 4270           114100         327750         240759         0              1025           219   248   216
0.59/0.63	c 4280           114384         328588         241412         0              1028           167   189   164
0.59/0.63	c 4290           114681         329450         242030         0              1030           240   248   222
0.59/0.63	c 4300           114962         330303         242653         0              1032           220   233   207
0.59/0.63	c 4310           115204         330993         243179         0              1033           192   218   184
0.59/0.63	c 4320           115482         331785         243739         0              1037           218   228   206
0.59/0.63	c 4330           115622         332166         244037         0              1038           85   88   78   
0.59/0.63	c 4340           115714         332440         244244         0              1039           63   73   61   
0.59/0.63	c 4350           115949         333100         244724         0              1040           184   226   188
0.59/0.63	c 4360           116145         333648         245113         0              1041           166   187   162
0.59/0.64	c 4370           116391         334345         245630         0              1044           167   176   158
0.59/0.64	c 4380           116554         334807         245968         0              1046           126   152   132
0.59/0.64	c 4390           116849         335691         246619         0              1048           205   236   207
0.59/0.64	c 4400           117124         336458         247171         0              1051           224   230   207
0.59/0.64	c 4410           117361         337123         247636         0              1054           206   215   192
0.59/0.64	c 4420           117644         337929         248229         0              1058           219   230   206
0.59/0.64	c 4430           118011         338971         249016         0              1061           216   266   216
0.59/0.65	c 4440           118420         340148         250007         0              1063           222   230   206
0.59/0.65	c 4450           118746         341071         250675         0              1066           229   266   232
0.59/0.65	c 4460           119116         342147         251526         0              1069           205   230   206
0.59/0.65	c 4470           119436         343097         252253         0              1074           80   229   185 
0.59/0.65	c 4480           119718         343915         252843         0              1079           185   229   184
0.59/0.65	c 4490           120057         344858         253535         0              1084           255   266   240
0.59/0.65	c 4493           120332         345610         254041         0              1085           257   264   196
0.59/0.66	c 4500           120578         346293         254528         0              1087           197   220   184
0.59/0.66	c 4510           120888         347166         255143         0              1089           178   264   173
0.59/0.66	c 4520           121137         347926         255740         0              1092           163   182   159
0.59/0.66	c 4530           121300         348389         256063         0              1093           141   150   131
0.59/0.66	c 4540           121476         348882         256401         0              1094           156   162   144
0.59/0.66	c 4550           121626         349308         256697         0              1095           133   141   124
0.59/0.66	c 4560           121846         349990         257270         0              1096           108   137   118
0.59/0.66	c 4570           122149         350869         258019         0              1099           127   138   122
0.59/0.67	c 4580           122345         351436         258467         0              1101           124   138   121
0.59/0.67	c 4590           122494         351869         258795         0              1102           105   124   105
0.59/0.67	c 4600           122826         352819         259487         0              1105           111   264   129
0.59/0.67	c 4610           123185         353849         260248         0              1108           225   268   237
0.59/0.67	c 4620           123488         354697         260839         0              1112           251   266   236
0.59/0.67	c 4630           123783         355533         261436         0              1114           233   246   219
0.59/0.67	c 4640           124033         356243         261963         0              1116           177   200   176
0.59/0.67	c 4650           124313         357054         262565         0              1118           206   238   200
0.59/0.68	c 4660           124631         357953         263216         0              1120           251   266   239
0.59/0.68	c 4670           124986         358978         263972         0              1125           247   266   237
0.59/0.68	c 4680           125248         359718         264502         0              1127           213   250   207
0.59/0.68	c 4690           125523         360497         265065         0              1128           240   266   230
0.59/0.68	c 4700           125791         361244         265608         0              1129           207   217   195
0.59/0.68	c 4710           126057         361981         266149         0              1132           193   202   181
0.59/0.68	c 4720           126250         362527         266541         0              1134           156   180   152
0.59/0.69	c 4730           126609         363547         267313         0              1136           250   266   238
0.59/0.69	c 4740           126876         364294         267840         0              1138           222   231   206
0.59/0.69	c 4750           127251         365384         268679         0              1140           235   266   237
0.59/0.69	c 4760           127647         366505         269567         0              1142           240   266   239
0.59/0.69	c 4770           127929         367295         270129         0              1143           234   246   220
0.59/0.69	c 4780           128131         367858         270526         0              1144           169   186   160
0.59/0.70	c 4790           128342         368475         271001         0              1146           132   163   138
0.69/0.70	c 4800           128592         369193         271521         0              1147           199   223   193
0.69/0.70	c 4810           128796         369780         271948         0              1148           163   182   155
0.69/0.70	c 4820           128989         370329         272343         0              1150           144   156   138
0.69/0.70	c 4830           129224         370989         272801         0              1152           145   205   154
0.69/0.70	c 4840           129415         371541         273226         0              1153           139   163   137
0.69/0.70	c 4850           129629         372179         273706         0              1154           156   169   149
0.69/0.70	c 4860           129836         372778         274150         0              1156           154   163   144
0.69/0.70	c 4870           130025         373308         274523         0              1159           154   167   145
0.69/0.70	c 4880           130203         373833         274916         0              1161           132   159   135
0.69/0.71	c 4890           130495         374657         275513         0              1164           118   251   185
0.69/0.71	c 4900           130638         375067         275811         0              1165           118   134   113
0.69/0.71	c 4910           130943         375909         276406         0              1169           257   266   239
0.69/0.71	c 4920           131295         376918         277173         0              1172           252   266   238
0.69/0.71	c 4930           131644         377903         277898         0              1176           249   265   236
0.69/0.71	c 4940           131966         378798         278545         0              1180           104   265   224
0.69/0.72	c 4950           132320         379783         279298         0              1184           187   265   218
0.69/0.72	c 4960           132630         380671         279950         0              1185           246   265   234
0.69/0.72	c 4970           132995         381742         280770         0              1188           237   265   232
0.69/0.72	c 4980           133388         382899         281660         0              1191           238   265   234
0.69/0.72	c 4990           133743         383913         282411         0              1195           252   265   238
0.69/0.73	c 5035           134437         386100         284363         0              1198           239   265   249
0.69/0.75	c 5631           139876         404544         302430         0              1204           152   257   194
0.69/0.79	c 6286           148315         432563         329973         0              1209           212   265   256
0.79/0.81	c 7006           152765         448297         345114         0              1214           39   265   113 
0.79/0.83	c 7798           157158         464359         360451         0              1216           65   184   122 
0.79/0.86	c 8669           163045         484501         379875         0              1223           33   229   120 
0.79/0.89	c 9627           170578         510315         404878         0              1229           188   265   219
0.89/0.92	c 10680          177285         533751         427425         0              1236           91   175   148 
0.89/0.96	c 11838          185156         561436         454047         0              1245           54   164   130 
0.99/1.02	c 13111          199039         608702         500512         0              1251           49   265   256 
0.99/1.06	c 14511          209040         643181         533820         0              1260           201   267   250
1.10/1.11	c 16051          219163         678386         567676         0              1270           53   267   208 
1.10/1.17	c 17745          231986         723032         611226         0              1279           140   255   164
1.20/1.23	c 19608          244808         768189         655092         0              1282           42   147   69  
1.29/1.30	c 21657          260448         822134         707297         0              1288           62   255   238 
1.29/1.37	c 23910          275556         876013         758988         0              1296           94   198   131 
1.39/1.47	c 26388          294334         941416         822578         0              1300           76   122   102 
1.49/1.55	c 29113          314554         1012949        891791         0              1313           47   267   240 
1.59/1.67	c 32110          336810         1090979        967647         0              1317           51   97   81   
1.69/1.78	c 35406          362260         1178466        1053315        0              1328           48   235   196 
1.89/1.90	c 39031          391622         1278207        1150928        0              1342           23   268   259 
1.99/2.04	c 43018          423524         1389051        1258331        0              1351           69   230   224 
2.19/2.22	c 47403          459155         1512388        1378863        0              1360           95   154   128 
2.39/2.40	c 52226          494777         1637680        1501992        0              1370           40   135   87  
2.49/2.57	c 57531          535639         1779157        1639506        0              1382           32   266   255 
2.69/2.76	c 63366          579956         1931812        1788765        0              1394           33   212   201 
2.89/2.99	c 69784          635262         2122685        1975793        0              1405           25   262   252 
3.19/3.24	c 76843          694417         2324113        2173770        0              1414           69   261   240 
3.49/3.50	c 84607          753374         2535598        2379956        0              1426           36   258   224 
3.79/3.81	c 93147          823288         2778974        2616915        0              1433           171   213   204
4.09/4.14	c 102541         901857         3057646        2889211        0              1443           129   254   246
4.49/4.51	c 112874         987275         3360686        3186542        0              1451           176   252   231
4.89/4.92	c 124240         1080084        3684935        3503078        0              1457           37   221   200 
5.39/5.42	c 136742         1181606        4037416        3848779        0              1466           102   146   135
5.89/5.96	c 150494         1292603        4427109        4232359        0              1471           101   141   131
6.39/6.44	c 165621         1404970        4821418        4616065        0              1483           50   252   239 
6.99/7.05	c 182260         1549718        5325768        5111117        0              1493           85   250   243 
7.69/7.71	c 200562         1699149        5850118        5621246        0              1507           52   241   209 
8.49/8.52	c 220694         1867074        6443909        6203847        0              1514           98   189   147 
9.39/9.43	c 242839         2053345        7103399        6846202        0              1522           103   142   133
10.29/10.35	c 267198         2271243        7860896        7590201        0              1540           34   250   240 
11.29/11.35	c 293992         2508202        8687422        8400180        0              1551           38   248   242 
12.49/12.50	c 323465         2776507        9616052        9311661        0              1559           42   250   235 
13.69/13.70	c 355885         3060403        10601045       10274663       0              1575           34   248   242 
15.19/15.22	c 391547         3392974        11785485       11438092       0              1585           52   248   196 
16.69/16.72	c 430775         3701752        12865445       12490966       0              1598           42   248   127 
18.29/18.34	c 473925         4083271        14216455       13812824       0              1612           33   249   242 
19.99/20.06	c 521390         4484997        15639152       15200570       0              1628           39   251   240 
21.99/22.03	c 573601         4950119        17241341       16774575       0              1641           85   249   238 
23.99/24.03	c 631033         5395453        18792184       18291767       0              1649           71   249   196 
26.39/26.49	c 694208         5972092        20808872       20274849       0              1667           45   249   235 
29.49/29.55	c 763700         6643283        23132942       22557346       0              1678           108   204   189
32.48/32.60	c 840141         7260631        25305345       24673891       0              1690           40   251   123 
35.29/35.38	c 924226         7901011        27559318       26895014       0              1706           48   251   225 
39.08/39.13	c 1016719        8764465        30577234       29851039       0              1721           81   229   222 
43.08/43.13	c 1118461        9711010        33821215       33040531       0              1733           139   249   243
47.68/47.75	c 1230377        10693920       37290665       36450104       0              1749           50   189   166 
52.28/52.33	c 1353484        11762468       41077323       40146568       0              1762           102   250   234
58.08/58.12	c 1488901        13134297       45722755       44716563       0              1774           157   250   241
64.48/64.51	c 1637859        14444529       50345664       49239721       0              1780           91   146   134 
71.08/71.13	c 1801712        15990990       55797327       54577657       0              1790           54   249   234 
78.78/78.83	c 1981950        17720422       61708327       60378800       0              1802           49   209   203 
87.68/87.72	c 2180211        19534079       68115176       66644867       0              1816           78   208   133 
95.08/95.14	c 2398298        21270616       74199183       72592823       0              1824           35   251   236 
103.97/104.09	c 2638193        23339306       81511455       79723194       0              1836           39   249   228 
115.37/115.45	c 2902077        25857658       90342129       88379436       0              1849           53   249   198 
125.87/125.93	c 3192349        28303944       98925818       96765323       0              1864           99   249   232 
137.97/138.06	c 3511648        31137190       108951021      106589021      0              1875           189   250   237
151.07/151.17	c 3862876        34216560       119704789      117157971      0              1893           55   246   237 
168.06/168.10	c 4249226        37910529       132747049      129998498      0              1910           121   202   189
184.56/184.63	c 4674211        41664218       145914791      142933256      0              1925           51   249   216 
202.76/202.88	c 5141694        45702974       160087039      156758160      0              1936           32   249   197 
221.55/221.61	c 5655925        50029252       175340081      171718202      0              1948           166   245   226
243.95/244.09	c 6221579        55280844       193970564      189881396      0              1963           55   249   237 
268.65/268.78	c 6843798        61072188       214261427      209792964      0              1972           119   247   239
300.14/300.27	c 7528238        68426518       239772991      234979352      0              1984           61   249   238 
329.64/329.70	c 8281122        75272145       263859344      258697497      0              2005           64   248   233 
363.53/363.66	c 9109294        83153642       291449811      285827474      0              2017           136   246   232
403.13/403.27	c 10020283       92397040       323684577      317652777      0              2030           54   249   238 
454.42/454.53	c 11022370       103282407      361602669      355013717      0              2037           54   181   168 
500.71/500.83	c 12124665       113893025      398569235      391259381      0              2053           42   248   216 
550.80/550.90	c 13337189       125586461      439473219      431521514      0              2063           37   246   237 
602.80/602.96	c 14670965       137676039      482319020      473614717      0              2078           41   248   233 
668.18/668.33	c 16138118       152898217      535447972      525877306      0              2089           169   248   236
728.27/728.46	c 17751986       166812041      584676346      574196205      0              2103           53   246   229 
800.86/801.03	c 19527240       183653386      643887861      632386968      0              2114           50   248   231 
885.75/885.95	c 21480019       203426661      712545546      699765826      0              2128           67   248   235 
977.43/977.64	c 23628075       224627881      786551815      772755056      0              2138           61   246   231 
1076.72/1076.92	c 25990936       245389921      859586213      844469471      0              2154           81   248   150 
1189.60/1189.83	c 28590083       271629946      951159406      934660690      0              2171           37   248   236 
1302.18/1302.45	c 31449144       297387258      1041947178     1023895301     0              2182           78   246   222 
1432.76/1433.05	c 34594111       327574127      1148610877     1128545611     0              2198           87   248   233 
1578.34/1578.66	c 38053574       361350880      1266730946     1244821402     0              2217           42   248   232 
1731.91/1732.20	c 41858983       396559133      1390697942     1366853420     0              2233           120   246   226
1903.38/1903.79	c 46044932       433844304      1523085148     1495874895     0              2251           104   248   186
2129.54/2129.92	c 50649475       485819810      1704158782     1674257397     0              2270           47   246   227 
2364.10/2364.54	c 55714472       537483425      1884890629     1851869324     0              2284           79   208   195

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241445-1500631193/watcher-4241445-1500631193 -o /tmp/evaluation-result-4241445-1500631193/solver-4241445-1500631193 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241445-1500631193.xml 

pid=6936
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 6939
/proc/meminfo: memFree=31971552/32770624 swapFree=6244/21328
[pid=6939] ppid=6936 vsize=27124 CPUtime=0 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 1007 0 0 0 0 0 0 0 20 0 1 0 16396158 27774976 832 33554432000 4194304 5970956 140736007368432 140736007365080 5429988 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 6781 832 703 434 0 145 0

[startup+0.100174 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 6939
/proc/meminfo: memFree=31971552/32770624 swapFree=6244/21328
[pid=6939] ppid=6936 vsize=32680 CPUtime=0.09 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 1360 0 0 0 9 0 0 0 20 0 1 0 16396158 33464320 1162 33554432000 4194304 5970956 140736007368432 140736007365768 4933202 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8170 1162 766 434 0 1534 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32680

[startup+0.200339 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 6939
/proc/meminfo: memFree=31971552/32770624 swapFree=6244/21328
[pid=6939] ppid=6936 vsize=32680 CPUtime=0.19 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 1402 0 0 0 19 0 0 0 20 0 1 0 16396158 33464320 1228 33554432000 4194304 5970956 140736007368432 140736007365768 5279748 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8170 1228 766 434 0 1534 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32680

[startup+0.300302 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 6939
/proc/meminfo: memFree=31971552/32770624 swapFree=6244/21328
[pid=6939] ppid=6936 vsize=32812 CPUtime=0.29 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 1449 0 0 0 29 0 0 0 20 0 1 0 16396158 33599488 1228 33554432000 4194304 5970956 140736007368432 140736007365768 140706241838176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1228 766 434 0 1567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32812

[startup+0.700281 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 6939
/proc/meminfo: memFree=31971552/32770624 swapFree=6244/21328
[pid=6939] ppid=6936 vsize=32812 CPUtime=0.69 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 1511 0 0 0 69 0 0 0 20 0 1 0 16396158 33599488 1806 33554432000 4194304 5970956 140736007368432 140736007365768 140706241838176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1806 766 434 0 1567 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32812

[startup+1.50028 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 6940
/proc/meminfo: memFree=31967520/32770624 swapFree=6244/21364
[pid=6939] ppid=6936 vsize=32812 CPUtime=1.49 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 1512 0 0 0 149 0 0 0 20 0 1 0 16396158 33599488 1806 33554432000 4194304 5970956 140736007368432 140736007365768 4930611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1806 766 434 0 1567 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32812

[startup+3.10028 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 6940
/proc/meminfo: memFree=31967152/32770624 swapFree=6244/21364
[pid=6939] ppid=6936 vsize=32812 CPUtime=3.09 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 2026 0 0 0 309 0 0 0 20 0 1 0 16396158 33599488 1864 33554432000 4194304 5970956 140736007368432 140736007365768 5319216 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1864 766 434 0 1567 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32812

[startup+6.30028 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 6940
/proc/meminfo: memFree=31966648/32770624 swapFree=6244/21364
[pid=6939] ppid=6936 vsize=32812 CPUtime=6.29 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 2538 0 0 0 629 0 0 0 20 0 1 0 16396158 33599488 1864 33554432000 4194304 5970956 140736007368432 140736007365768 4930611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1864 766 434 0 1567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32812

[startup+12.7003 s]
/proc/loadavg: 2.01 2.05 2.05 3/188 6948
/proc/meminfo: memFree=31964896/32770624 swapFree=6244/21376
[pid=6939] ppid=6936 vsize=32812 CPUtime=12.69 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 3051 0 0 0 1269 0 0 0 20 0 1 0 16396158 33599488 1864 33554432000 4194304 5970956 140736007368432 140736007365768 4930544 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1864 766 434 0 1567 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32812

[startup+25.5003 s]
/proc/loadavg: 2.01 2.05 2.05 3/188 6948
/proc/meminfo: memFree=31965392/32770624 swapFree=6244/21400
[pid=6939] ppid=6936 vsize=32812 CPUtime=25.49 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 4055 0 0 0 2549 0 0 0 20 0 1 0 16396158 33599488 1868 33554432000 4194304 5970956 140736007368432 140736007365768 4930611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1868 766 434 0 1567 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32812

[startup+51.1003 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 6948
/proc/meminfo: memFree=31965440/32770624 swapFree=6244/21432
[pid=6939] ppid=6936 vsize=32812 CPUtime=51.08 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 4601 0 0 0 5108 0 0 0 20 0 1 0 16396158 33599488 1868 33554432000 4194304 5970956 140736007368432 140736007365768 5337501 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1868 766 434 0 1567 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32812

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 6972
/proc/meminfo: memFree=31963776/32770624 swapFree=6244/21492
[pid=6939] ppid=6936 vsize=32812 CPUtime=102.28 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 5119 0 0 0 10228 0 0 0 20 0 1 0 16396158 33599488 1869 33554432000 4194304 5970956 140736007368432 140736007365768 4930611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1869 766 434 0 1567 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 32812

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 6973
/proc/meminfo: memFree=31964308/32770624 swapFree=6244/21548
[pid=6939] ppid=6936 vsize=32812 CPUtime=162.26 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 5640 0 0 0 16226 0 0 0 20 0 1 0 16396158 33599488 1872 33554432000 4194304 5970956 140736007368432 140736007365768 5327383 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1872 766 434 0 1567 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 32812

[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 6974
/proc/meminfo: memFree=31964904/32770624 swapFree=6244/21596
[pid=6939] ppid=6936 vsize=32812 CPUtime=222.26 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 6161 0 0 0 22226 0 0 0 20 0 1 0 16396158 33599488 1872 33554432000 4194304 5970956 140736007368432 140736007365768 4930654 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1872 766 434 0 1567 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 32812

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 6975
/proc/meminfo: memFree=31965200/32770624 swapFree=6244/21648
[pid=6939] ppid=6936 vsize=32812 CPUtime=282.25 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 6682 0 0 0 28225 0 0 0 20 0 1 0 16396158 33599488 1873 33554432000 4194304 5970956 140736007368432 140736007365768 4930600 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1873 766 434 0 1567 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 32812

[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 6976
/proc/meminfo: memFree=31964948/32770624 swapFree=6244/21688
[pid=6939] ppid=6936 vsize=32812 CPUtime=342.24 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 7204 0 0 0 34224 0 0 0 20 0 1 0 16396158 33599488 1873 33554432000 4194304 5970956 140736007368432 140736007365768 5327843 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1873 766 434 0 1567 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 32812

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 6977
/proc/meminfo: memFree=31965372/32770624 swapFree=6244/21724
[pid=6939] ppid=6936 vsize=32812 CPUtime=402.23 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 7690 0 0 0 40223 0 0 0 20 0 1 0 16396158 33599488 1874 33554432000 4194304 5970956 140736007368432 140736007365768 5322037 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1874 766 434 0 1567 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 32812

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7039
/proc/meminfo: memFree=31994648/32770624 swapFree=6244/21792
[pid=6939] ppid=6936 vsize=32812 CPUtime=462.22 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 8237 0 0 0 46222 0 0 0 20 0 1 0 16396158 33599488 1874 33554432000 4194304 5970956 140736007368432 140736007365768 5319216 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1874 766 434 0 1567 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 32812

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7100
/proc/meminfo: memFree=31993652/32770624 swapFree=6244/21908
[pid=6939] ppid=6936 vsize=32812 CPUtime=522.21 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 8762 0 0 0 52221 0 0 0 20 0 1 0 16396158 33599488 1876 33554432000 4194304 5970956 140736007368432 140736007365768 5327380 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1876 766 434 0 1567 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 32812

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7161
/proc/meminfo: memFree=31990924/32770624 swapFree=6244/22020
[pid=6939] ppid=6936 vsize=32812 CPUtime=582.2 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 9286 0 0 0 58220 0 0 0 20 0 1 0 16396158 33599488 1876 33554432000 4194304 5970956 140736007368432 140736007365768 4930640 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1876 766 434 0 1567 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 32812


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


[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7315
/proc/meminfo: memFree=30988016/32770624 swapFree=6244/31644
[pid=6939] ppid=6936 vsize=32812 CPUtime=1542.04 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 17041 0 0 0 154204 0 0 0 20 0 1 0 16396158 33599488 1877 33554432000 4194304 5970956 140736007368432 140736007365768 4930611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1877 766 434 0 1567 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 32812

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 7316
/proc/meminfo: memFree=30988224/32770624 swapFree=6244/31692
[pid=6939] ppid=6936 vsize=32812 CPUtime=1602.03 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 17566 0 0 0 160203 0 0 0 20 0 1 0 16396158 33599488 1878 33554432000 4194304 5970956 140736007368432 140736007365768 5337501 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1878 766 434 0 1567 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 32812

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7317
/proc/meminfo: memFree=30985612/32770624 swapFree=6244/31732
[pid=6939] ppid=6936 vsize=32812 CPUtime=1662.02 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 17924 0 0 0 166202 0 0 0 20 0 1 0 16396158 33599488 1878 33554432000 4194304 5970956 140736007368432 140736007365768 4934146 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1878 766 434 0 1567 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 32812

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7319
/proc/meminfo: memFree=30983152/32770624 swapFree=6244/31788
[pid=6939] ppid=6936 vsize=32812 CPUtime=1722.01 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 18313 0 0 0 172201 0 0 0 20 0 1 0 16396158 33599488 1878 33554432000 4194304 5970956 140736007368432 140736007365768 4930611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1878 766 434 0 1567 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 32812

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7320
/proc/meminfo: memFree=30981008/32770624 swapFree=6244/31824
[pid=6939] ppid=6936 vsize=32812 CPUtime=1782 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 18952 0 0 0 178200 0 0 0 20 0 1 0 16396158 33599488 1878 33554432000 4194304 5970956 140736007368432 140736007365768 4930600 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1878 766 434 0 1567 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 32812

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 7329
/proc/meminfo: memFree=30980580/32770624 swapFree=6244/31860
[pid=6939] ppid=6936 vsize=32812 CPUtime=1841.99 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 19302 0 0 0 184199 0 0 0 20 0 1 0 16396158 33599488 1878 33554432000 4194304 5970956 140736007368432 140736007365768 5337505 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1878 766 434 0 1567 0
Current children cumulated CPU time (s) 1841.99
Current children cumulated vsize (KiB) 32812

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7330
/proc/meminfo: memFree=30980904/32770624 swapFree=6244/31900
[pid=6939] ppid=6936 vsize=32812 CPUtime=1901.98 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 19651 0 0 0 190198 0 0 0 20 0 1 0 16396158 33599488 1878 33554432000 4194304 5970956 140736007368432 140736007365768 5327843 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1878 766 434 0 1567 0
Current children cumulated CPU time (s) 1901.98
Current children cumulated vsize (KiB) 32812

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7331
/proc/meminfo: memFree=30981328/32770624 swapFree=6244/31932
[pid=6939] ppid=6936 vsize=32812 CPUtime=1961.97 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 20297 0 0 0 196197 0 0 0 20 0 1 0 16396158 33599488 1878 33554432000 4194304 5970956 140736007368432 140736007365768 4930611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1878 766 434 0 1567 0
Current children cumulated CPU time (s) 1961.97
Current children cumulated vsize (KiB) 32812

[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 7332
/proc/meminfo: memFree=30979324/32770624 swapFree=6244/31976
[pid=6939] ppid=6936 vsize=32812 CPUtime=2021.96 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 20801 0 0 0 202196 0 0 0 20 0 1 0 16396158 33599488 1878 33554432000 4194304 5970956 140736007368432 140736007365768 4930611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1878 766 434 0 1567 0
Current children cumulated CPU time (s) 2021.96
Current children cumulated vsize (KiB) 32812

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 7333
/proc/meminfo: memFree=30979232/32770624 swapFree=6244/32016
[pid=6939] ppid=6936 vsize=32812 CPUtime=2081.95 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 21278 0 0 0 208195 0 0 0 20 0 1 0 16396158 33599488 1879 33554432000 4194304 5970956 140736007368432 140736007365768 4930560 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1879 766 434 0 1567 0
Current children cumulated CPU time (s) 2081.95
Current children cumulated vsize (KiB) 32812

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7334
/proc/meminfo: memFree=30979172/32770624 swapFree=6244/32060
[pid=6939] ppid=6936 vsize=32812 CPUtime=2141.94 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 21809 0 0 0 214194 0 0 0 20 0 1 0 16396158 33599488 1880 33554432000 4194304 5970956 140736007368432 140736007365768 4930611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1880 766 434 0 1567 0
Current children cumulated CPU time (s) 2141.94
Current children cumulated vsize (KiB) 32812

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7335
/proc/meminfo: memFree=30978832/32770624 swapFree=6244/32100
[pid=6939] ppid=6936 vsize=32812 CPUtime=2201.93 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 22156 0 0 0 220193 0 0 0 20 0 1 0 16396158 33599488 1880 33554432000 4194304 5970956 140736007368432 140736007365768 5327360 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1880 766 434 0 1567 0
Current children cumulated CPU time (s) 2201.93
Current children cumulated vsize (KiB) 32812

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7336
/proc/meminfo: memFree=30977068/32770624 swapFree=6244/32136
[pid=6939] ppid=6936 vsize=32812 CPUtime=2261.92 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 22495 0 0 0 226192 0 0 0 20 0 1 0 16396158 33599488 1880 33554432000 4194304 5970956 140736007368432 140736007365768 5311659 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1880 766 434 0 1567 0
Current children cumulated CPU time (s) 2261.92
Current children cumulated vsize (KiB) 32812

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7337
/proc/meminfo: memFree=30976568/32770624 swapFree=6244/32180
[pid=6939] ppid=6936 vsize=32812 CPUtime=2321.91 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 22840 0 0 0 232191 0 0 0 20 0 1 0 16396158 33599488 1880 33554432000 4194304 5970956 140736007368432 140736007365768 4930640 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1880 766 434 0 1567 0
Current children cumulated CPU time (s) 2321.91
Current children cumulated vsize (KiB) 32812

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7338
/proc/meminfo: memFree=30976444/32770624 swapFree=6244/32224
[pid=6939] ppid=6936 vsize=32812 CPUtime=2381.9 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 23369 0 0 0 238190 0 0 0 20 0 1 0 16396158 33599488 1880 33554432000 4194304 5970956 140736007368432 140736007365768 5322042 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1880 766 434 0 1567 0
Current children cumulated CPU time (s) 2381.9
Current children cumulated vsize (KiB) 32812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7339
/proc/meminfo: memFree=30976048/32770624 swapFree=6244/32248
[pid=6939] ppid=6936 vsize=32812 CPUtime=2400.09 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 23716 0 0 0 240009 0 0 0 20 0 1 0 16396158 33599488 1880 33554432000 4194304 5970956 140736007368432 140736007365768 5240310 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1880 766 434 0 1567 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 32812

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6939 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7339
/proc/meminfo: memFree=30976048/32770624 swapFree=6244/32248
[pid=6939] ppid=6936 vsize=32812 CPUtime=2400.09 cores=0,2,4,6
/proc/6939/stat : 6939 (cosoco) R 6936 6939 2920 0 -1 4202496 23716 0 0 0 240009 0 0 0 20 0 1 0 16396158 33599488 1880 33554432000 4194304 5970956 140736007368432 140736007365768 5240310 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 25219072 140736007374012 140736007374147 140736007374147 140736007376846 0
/proc/6939/statm: 8203 1880 766 434 0 1567 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 32812

Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.11
CPU user time (s): 2400.1
CPU system time (s): 0.005999
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 32812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.1
system time used= 0.005999
maximum resident set size= 7564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23743
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= 12
involuntary context switches= 123048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83054 second user time and 8.35439 second system time

The end

Launcher Data 

Begin job on node125 at 2017-07-21 11:59:53
IDJOB=4241445
IDBENCH=126877
IDSOLVER=2621
FILE ID=node125/4241445-1500631193
RUNJOBID= node125-1500623778-2951
PBS_JOBID= 20623008
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-090.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241445-1500631193/watcher-4241445-1500631193 -o /tmp/evaluation-result-4241445-1500631193/solver-4241445-1500631193 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241445-1500631193.xml

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

MD5SUM BENCH= 328d51b82070b586362c1099b738d751
RANDOM SEED=1398630821

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 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.75
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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.56
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		: 2267.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31971356 kB
MemAvailable:   31981468 kB
Buffers:           91080 kB
Cached:           193024 kB
SwapCached:          488 kB
Active:           283156 kB
Inactive:          83168 kB
Active(anon):      32188 kB
Inactive(anon):    61840 kB
Active(file):     250968 kB
Inactive(file):    21328 kB
Unevictable:        6244 kB
Mlocked:            6244 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              2544 kB
Writeback:             0 kB
AnonPages:         65900 kB
Mapped:            33992 kB
Shmem:              8576 kB
Slab:             132892 kB
SReclaimable:     107304 kB
SUnreclaim:        25588 kB
KernelStack:        3360 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 62020 MiB
End job on node125 at 2017-07-21 12:39:54