Trace number 4398045

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.O parallelSAT 1.5704 0.208402

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-40-2-7.xml
MD5SUMc03c7f5b7c3afa870e2bbdca7571e3a2
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.264843
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":88}]
Minimum variable degree0
Maximum variable degree7
Distribution of variable degrees[{"degree":0,"count":12},{"degree":1,"count":20},{"degree":2,"count":25},{"degree":3,"count":20},{"degree":4,"count":12},{"degree":5,"count":5},{"degree":6,"count":3},{"degree":7,"count":3}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":7},{"arity":7,"count":4},{"arity":8,"count":9},{"arity":9,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":40}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 292         
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 2.00 --  
0.00/0.01	c
0.00/0.01	c command line: cosoco -model -nbcores=8 HOME/instance-4398045-1568605851.xml 
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: 100
0.00/0.01	c |            Domain Sizes: 28..28
0.00/0.01	c |
0.00/0.01	c |             Constraints: 40
0.00/0.01	c |                   Arity: 2..9  -- Binary: 4  -- Ternary: 4
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Sum: 40
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c Parallel mode: Portfolio
0.00/0.01	c [pFactory][Group N°0] created (threads:8).
0.00/0.01	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.00/0.01	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.00/0.01	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.00/0.01	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.00/0.01	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.00/0.01	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.00/0.01	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.00/0.01	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.00/0.01	c [pFactory][Group N°0] concurrent mode: enabled.
0.00/0.01	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.00/0.01	c [pFactory][Group N°0] task 7 launched on thread 0.
0.00/0.01	c [pFactory][Group N°0] task 6 launched on thread 2.
0.00/0.01	c [pFactory][Group N°0] task 5 launched on thread 5.
0.00/0.01	c [pFactory][Group N°0] task 4 launched on thread 4.
0.00/0.01	c [pFactory][Group N°0] task 3 launched on thread 6.
0.00/0.01	c [pFactory][Group N°0] task 2 launched on thread 7.
0.00/0.01	c [pFactory][Group N°0] task 1 launched on thread 1.
0.00/0.01	c c [pFactory][Group N°0] task 0 launched on thread 3.
0.00/0.01	conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable x[1]
0.00/0.01	c remove useless variable x[16]
0.00/0.01	c remove useless variable x[22]
0.00/0.01	c remove useless variable x[52]
0.00/0.01	c remove useless variable x[58]
0.00/0.01	c remove useless variable x[62]
0.00/0.01	c remove useless variable x[70]
0.00/0.01	c remove useless variable x[76]
0.00/0.01	c remove useless variable x[77]
0.00/0.01	c remove useless variable x[78]
0.00/0.01	c remove useless variable x[80]
0.00/0.01	c remove useless variable x[96]
0.00/0.01	c root propagations     : 292         
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 conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable x[1]
0.00/0.01	c remove useless variable x[16]
0.00/0.01	c remove useless variable x[22]
0.00/0.01	c remove useless variable x[52]
0.00/0.01	c remove useless variable x[58]
0.00/0.01	c remove useless variable x[62]
0.00/0.01	c remove useless variable x[70]
0.00/0.01	c root propagations     : 292         
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 remove useless variable x[76]
0.00/0.01	c remove useless variable x[77]
0.00/0.01	c remove useless variable x[78]
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable x[80]
0.00/0.01	c remove useless variable x[1]
0.00/0.01	c remove useless variable x[16]
0.00/0.01	c remove useless variable x[22]
0.00/0.01	c remove useless variable x[52]
0.00/0.01	c remove useless variable x[58]
0.00/0.01	c remove useless variable x[62]
0.00/0.01	c remove useless variable x[70]
0.00/0.01	c remove useless variable x[76]
0.00/0.01	c remove useless variable x[96]
0.00/0.01	c remove useless variable x[77]
0.00/0.01	c remove useless variable x[78]
0.00/0.01	c remove useless variable x[80]
0.00/0.01	c remove useless variable x[96]
0.00/0.01	c root propagations     : 292         
0.00/0.01	c 0              1              81             293            25             0              0   0   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 root propagations     : 292         
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 root propagations     : 292         
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.c  0                  2              Nogoods      c 81             conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
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 remove useless variable x[1]
0.00/0.01	c remove useless variable x[16]
0.00/0.01	c remove useless variable x[22]
0.00/0.01	c  conflicts       decisions      filterCalls  min/max/avg depth 
0.00/0.01	 propagations   Root Prop.     c remove useless variable x[52]
0.00/0.01	c root propagations     : 292         
0.00/0.01	c remove useless variable x[1]
0.00/0.01	c remove useless variable x[16]
0.00/0.01	c remove useless variable x[58]
0.00/0.01	Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable x[1]
0.00/0.01	c remove useless variable x[22]
0.00/0.01	c remove useless variable x[52]
0.00/0.01	c remove useless variable x[58]
0.00/0.01	c remove useless variable x[62]
0.00/0.01	294            25             0              0   0   0      
0.00/0.01	c remove useless variable x[70]
0.00/0.01	c remove useless variable x[16]
0.00/0.01	c remove useless variable x[22]
0.00/0.01	c remove useless variable x[62]
0.00/0.01	c 0              3              81             295            25             0              c 0   0   0      
0.00/0.01	c remove useless variable x[70]
0.00/0.01	c remove useless variable x[76]
0.00/0.01	c remove useless variable x[77]
0.00/0.01	c remove useless variable x[78]
0.00/0.01	c remove useless variable x[80]
0.00/0.01	c remove useless variable x[96]
0.00/0.01	0c 0              14              81             296            25             0              81             293            0   0   025                   
0.00/0.01	c remove useless variable x[76]
0.00/0.01	0              c 0              5              81             297            25             0              0   0   0      
0.00/0.01	0   0   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 conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable x[77]
0.00/0.01	c 0              6              81             298            25             0              0   0   0      
0.00/0.01	c remove useless variable x[78]
0.00/0.01	c remove useless variable x[80]
0.00/0.01	c 0              7              81             299            25             0              0   0   0      
0.00/0.01	c remove useless variable x[96]
0.00/0.01	c 0              1              81             293            c 25             0              02              c 81             0              294            8              0   0   025              0              81                 0   0   0 300                  
0.00/0.01	c remove useless variable x[52]
0.00/0.01	c remove useless variable x[58]
0.00/0.01	c remove useless variable x[62]
0.00/0.01	c remove useless variable x[70]
0.00/0.01	c remove useless variable x[76]
0.00/0.01	c remove useless variable x[77]
0.00/0.01	c remove useless variable x[78]
0.00/0.01	c 25             c 0              3              81             0              0              2951              81             25             2930   0   0 0              25     
0.00/0.01	c remove useless variable x[80]
0.00/0.01	c remove useless variable x[96]
0.00/0.01	0              0   0   00   0   0          
0.00/0.01	  c 0              4              81             296            25             0              
0.00/0.01	c remove useless variable x[1]
0.00/0.01	c remove useless variable x[16]
0.00/0.01	c remove useless variable x[22]
0.00/0.01	c remove useless variable x[52]
0.00/0.01	c 0              2              81             294            25             0              0   0   0      
0.00/0.01	c remove useless variable x[58]
0.00/0.01	c remove useless variable x[62]
0.00/0.01	c remove useless variable x[70]
0.00/0.01	
0.00/0.01	c c remove useless variable x[76]
0.00/0.01	c remove useless variable x[77]
0.00/0.01	c remove useless variable x[78]
0.00/0.01	c remove useless variable x[80]
0.00/0.01	c remove useless variable x[96]
0.00/0.01	0              c 1              0              81             c 4              293            840296            25             25             0              0   0   0      
0.00/0.01	c root propagations     : 292         
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	281             294            25             0              0   0   0      
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c conflicts      decisions      filterCalls   c  c propagations   Root Prop.c 0              0              2              10             0              811              81              0              294            293             25                25             0              0Nogoods0   0   00   0   0  min/max/avg depth
0.00/0.01	 c remove useless variable x[1]
0.00/0.01	c remove useless variable x[16]
0.00/0.01	c remove useless variable x[22]
0.00/0.01	0   0   0      
0.00/0.01	c remove useless variable x[52]
0.00/0.01	c remove useless variable x[58]
0.00/0.01	c remove useless variable x[62]
0.00/0.01	c remove useless variable x[70]
0.00/0.01	c remove useless variable x[76]
0.00/0.01	c remove useless variable x[77]
0.00/0.01	c remove useless variable x[78]
0.00/0.01	c remove useless variable x[80]
0.00/0.01	c remove useless variable x[96]
0.00/0.01	104452            25             0                0   0   0         
0.00/0.01	
0.00/0.01	    
0.00/0.01	c 0   0   0c 0              3              81             0              295             25             5                   c 
0.00/0.01	00   0   0      
0.00/0.01	c 107            0              5              81             297            25             0              c 0              2              85             294            25             0              0   0   0      
0.00/0.01	c 0              7              92             0300            25             333            0              c 525             0   0   0c 0   0   00              84             0              11              297            0   0   0      
0.00/0.01	0 c      0              3              c 0              6              109            335             1              25                83              0              
0.00/0.01	294            
0.00/0.01	87             25             25             296            25             0              0   0   00              0               0   0   00   0   0     0   0   0      c c     
0.00/0.01	
0.00/0.01	 0                
0.00/0.01	1048               92453             301            c c 25             0              6              c 0              0              7              109            336            0              25             0              2              83             295            0   0   086             25             299              0              0                25             0   0   0      0   0   0
0.00/0.01	   
0.00/0.01	 0              25 
0.00/0.01	0                0   0   00   0   0            
0.00/0.01	
0.00/0.01	c 0              4               87                c 0              8              109            337            25             0              0   0   0      
0.00/0.01	297            25             0              
0.00/0.01	c c 0              0              89              92             302            25             0              c 101            0   0   0      
0.00/0.01	0              c 12             0   0   00               106                 332            c 25             455            7              0              
0.00/0.01	86             0              5              87             60   0   0c       0              
0.00/0.01	10             94             304            25             0              298            300            25             25             0              0   0   00   0   0     c 83             0              9              103            334             25              
0.00/0.01	c 299            25             0               0              0              0                 10              
0.00/0.01	133            0   0   0376                  
0.00/0.01	0   0   0c       0              6              25             c 0              7              83             
0.00/0.01	c 0   0   025             89             0              c       0              0              
0.00/0.01	300            100   0   00   0   0      
0.00/0.01	25             103            0              0               11             94             305            25             0              c 300            0              0   0   0335            11             25             133             377             25             c 0               0   0   00              0   0   00              13             108            457            25                    0   0   025              
0.00/0.01	 0                   
0.00/0.01	     
0.00/0.01	c 0   0   00               12             94              306            25             0              c 0   0   0      
0.00/0.01	  0              
0.00/0.01	c c   0              0   0   0  
0.00/0.01	0               c 8               0               85             13              c 0              8              88             302            25             302             25             110              0               94             103            0   0   0     307             336            25             0              0   0   0      
0.00/0.01	 0              25              c  0   0   0 0 0              12 0   0   0      
0.00/0.01	103            
0.00/0.01	7337             89             301            25             0              0   0   0       
0.00/0.01	   
0.00/0.01	
0.00/0.01	c c 0              c 25             0              9              85             303            8              25             c 00              890              140   0   00   0   0        302 
0.00/0.01	0 25             94             0              12              308             
0.00/0.01	
0.00/0.01	0   0   0
0.00/0.01	25c 1330              037814             0   0   025                   
0.00/0.01	0              108            0   0   0      
0.00/0.01	458            25             0              0   0   0      
0.00/0.01	c 32             71             1105           2745           25             0              29   29   28   
0.00/0.01	c 33             76             1203           2967           25             0              5   5   2      
0.00/0.02	c 32             89             1983           8859           25             0              1   33   21    
0.00/0.02	c 33             98             2187           9612           25             0              9   9   4      
0.00/0.02	c 64             155            2209           6604           25             0              3   37   25    
0.00/0.02	c 65             156            2211           6657           25             0              1   1   0      
0.00/0.02	c 66             164            2329           7176           26             0              8   8   4      
0.00/0.02	c 67             176            2476           7534           26             0              12   12   6    
0.00/0.02	c 32             98             2968           10674          25             0              12   26   17   
0.00/0.02	c 32             97             2977           10704          25             0              13   27   18   
0.00/0.02	c 33             99             2981           10852          26             0              1   1   0      
0.00/0.02	c 33             98             2990           10882          26             0              1   1   0      
0.00/0.02	c 101            156            3511           9915           25             0              5   25   22    
0.00/0.02	c 101            213            3425           13557          25             0              5   36   24    
0.00/0.02	c 64             168            3724           14118          25             0              8   26   21    
0.00/0.02	c 65             183            3866           14415          28             0              15   15   7    
0.00/0.02	c 66             195            3975           14624          28             0              12   12   6    
0.00/0.02	c 67             201            4024           14783          28             0              6   6   3      
0.00/0.02	c 101            170            2621           10260          25             0              28   38   30   
0.00/0.02	c 101            191            3903           20332          25             0              9   34   29    
0.00/0.02	c 128            272            4213           18205          26             0              5   20   13    
0.00/0.02	c 129            278            4302           18443          28             0              6   6   3      
0.00/0.02	c 130            282            4371           18613          28             0              4   4   2      
0.00/0.02	c 131            287            4415           18771          28             0              5   5   2      
0.00/0.02	c 132            293            4499           18982          28             0              6   6   3      
0.00/0.02	c 133            297            4568           19152          28             0              4   4   2      
0.00/0.02	c 134            302            4612           19310          28             0              5   5   2      
0.00/0.02	c 135            315            4798           19748          28             0              13   13   6    
0.00/0.02	c 64             142            4858           20272          28             0              1   5   2      
0.00/0.02	c 64             141            4867           20302          28             0              1   5   2      
0.00/0.02	c 65             146            4907           20491          28             0              4   4   2      
0.00/0.02	c 65             145            4916           20521          28             0              4   4   2      
0.00/0.02	c 66             147            4915           20544          28             0              1   1   0      
0.00/0.02	c 66             146            4924           20574          28             0              1   1   0      
0.00/0.02	c 67             148            4922           20596          29             0              1   1   0      
0.00/0.02	c 67             147            4931           20626          29             0              1   1   0      
0.00/0.02	c 128            309            6085           21707          28             0              11   23   21   
0.00/0.02	c 129            321            6224           22073          29             0              12   12   6    
0.00/0.02	c 130            332            6341           22395          29             0              11   11   5    
0.00/0.02	c 131            342            6452           22709          29             0              10   10   5    
0.00/0.02	c 211            426            5258           19997          28             0              5   59   41    
0.00/0.02	c 132            353            6564           23030          29             0              11   11   5    
0.00/0.02	c 133            363            6675           23344          29             0              10   10   5    
0.00/0.02	c 134            374            6793           23667          29             0              11   11   5    
0.00/0.02	c 135            384            6904           23980          29             0              10   10   5    
0.00/0.02	c 128            281            7774           33409          29             0              1   46   36    
0.00/0.02	c 128            280            7831           33534          29             0              1   46   37    
0.00/0.02	c 129            285            7864           33833          29             0              4   4   2      
0.00/0.02	c 129            295            8039           34244          29             0              15   15   7    
0.00/0.02	c 211            405            8439           35073          27             0              9   20   14    
0.00/0.02	c 130            303            8099           34614          29             0              18   18   9    
0.00/0.02	c 130            302            8240           35029          29             0              7   7   3      
0.00/0.02	c 131            314            8262           35281          29             0              11   11   5    
0.00/0.02	c 131            320            8447           35806          29             0              18   18   9    
0.00/0.02	c 132            321            8463           36066          29             0              7   7   3      
0.00/0.02	c 132            331            8626           36477          29             0              11   11   5    
0.00/0.02	c 256            577            8988           35897          28             0              5   60   40    
0.00/0.02	c 133            343            8734           36861          29             0              22   22   11   
0.00/0.02	c 134            344            8746           36910          29             0              1   1   0      
0.00/0.02	c 257            588            9129           36419          29             0              11   11   5    
0.00/0.02	c 133            338            8827           37262          29             0              7   7   3      
0.00/0.02	c 135            359            8889           37614          29             0              15   15   7    
0.00/0.02	c 258            603            9314           37011          29             0              15   15   7    
0.00/0.02	c 259            604            9318           37096          29             0              1   1   0      
0.00/0.02	c 134            360            9097           38185          29             0              22   22   11   
0.00/0.02	c 211            357            9646           36941          27             0              12   27   20   
0.00/0.02	c 260            608            9387           37315          29             0              4   4   2      
0.00/0.02	c 261            609            9394           37367          29             0              1   1   0      
0.00/0.02	c 262            615            9437           37524          29             0              6   6   3      
0.00/0.02	c 263            619            9506           37742          29             0              4   4   2      
0.00/0.02	c 264            625            9549           37899          29             0              6   6   3      
0.00/0.02	c 135            367            9300           38969          29             0              7   7   3      
0.00/0.02	c 265            630            9621           38118          29             0              5   5   2      
0.00/0.02	c 266            636            9664           38275          29             0              6   6   3      
0.00/0.02	c 267            641            9736           38494          29             0              5   5   2      
0.00/0.02	c 268            647            9779           38651          29             0              6   6   3      
0.00/0.02	c 269            652            9851           38870          29             0              5   5   2      
0.00/0.02	c 270            658            9894           39027          29             0              6   6   3      
0.00/0.02	c 271            663            9966           39246          29             0              5   5   2      
0.00/0.02	c 211            357            9870           47180          28             0              6   20   8     
0.00/0.02	c 332            607            11513          45232          29             0              10   32   29   
0.00/0.02	c 256            601            11273          49465          29             0              11   35   14   
0.00/0.02	c 257            624            11488          50039          29             0              23   23   11   
0.00/0.02	c 258            644            11668          50591          29             0              20   20   10   
0.00/0.02	c 259            665            11856          51196          29             0              21   21   10   
0.00/0.02	c 260            685            12036          51748          29             0              20   20   10   
0.00/0.02	c 261            706            12224          52353          29             0              21   21   10   
0.00/0.02	c 332            635            11700          40058          29             0              1   24   12    
0.00/0.02	c 262            726            12404          52905          29             0              20   20   10   
0.00/0.02	c 263            747            12592          53510          29             0              21   21   10   
0.00/0.02	c 264            767            12772          54062          29             0              20   20   10   
0.00/0.02	c 265            788            12960          54667          29             0              21   21   10   
0.00/0.02	c 266            808            13140          55219          29             0              20   20   10   
0.00/0.02	c 267            829            13328          55824          29             0              21   21   10   
0.00/0.02	c 268            849            13508          56376          29             0              20   20   10   
0.00/0.02	c 332            554            12695          64060          29             0              15   49   32   
0.00/0.02	c 269            870            13694          56980          29             0              21   21   10   
0.00/0.02	c 270            890            13874          57532          29             0              20   20   10   
0.00/0.02	c 271            911            14060          58136          29             0              21   21   10   
0.00/0.02	c 256            643            14827          58277          29             0              15   40   27   
0.00/0.02	c 257            660            15070          58988          29             0              17   17   8    
0.00/0.02	c 258            667            15134          59371          29             0              7   7   3      
0.00/0.03	c 259            683            15345          60356          29             0              16   16   8    
0.00/0.03	c 260            690            15546          61137          29             0              7   7   3      
0.00/0.03	c 261            706            15731          61912          29             0              16   16   8    
0.00/0.03	c 262            722            15876          62616          29             0              16   16   8    
0.00/0.03	c 263            742            16112          63313          29             0              20   20   10   
0.00/0.03	c 264            758            16333          63951          29             0              16   16   8    
0.00/0.03	c 265            774            16478          64655          29             0              16   16   8    
0.00/0.03	c 465            929            15699          56699          29             0              7   35   30    
0.00/0.03	c 266            794            16714          65352          29             0              20   20   10   
0.00/0.03	c 332            536            16637          68376          29             0              8   25   20    
0.00/0.03	c 267            810            16911          66046          29             0              16   16   8    
0.00/0.03	c 268            817            16975          66429          29             0              7   7   3      
0.00/0.03	c 269            833            17186          67208          29             0              16   16   8    
0.00/0.03	c 270            849            17331          67912          29             0              16   16   8    
0.00/0.03	c 271            869            17567          68609          29             0              20   20   10   
0.00/0.03	c 256            617            17422          71847          29             0              10   32   23   
0.00/0.03	c 257            632            17628          72543          29             0              15   15   7    
0.00/0.03	c 258            638            17689          72925          29             0              6   6   3      
0.00/0.03	c 259            644            17759          73192          29             0              6   6   3      
0.00/0.03	c 260            648            17798          73264          29             0              4   4   2      
0.00/0.03	c 261            649            17807          73329          29             0              1   1   0      
0.00/0.03	c 262            659            17923          73726          29             0              10   10   5    
0.00/0.03	c 263            671            18096          74158          29             0              12   12   6    
0.00/0.03	c 264            675            18152          74355          29             0              4   4   2      
0.00/0.03	c 465            818            18335          77870          29             0              8   21   15    
0.00/0.03	c 265            687            18325          74787          29             0              12   12   6    
0.00/0.03	c 266            691            18381          74984          29             0              4   4   2      
0.00/0.03	c 267            703            18554          75416          29             0              12   12   6    
0.00/0.03	c 268            707            18610          75613          29             0              4   4   2      
0.00/0.03	c 269            719            18783          76045          29             0              12   12   6    
0.00/0.03	c 465            760            17567          88603          29             0              14   27   21   
0.00/0.03	c 270            723            18839          76242          29             0              4   4   2      
0.00/0.03	c 512            1081           19459          73305          29             0              6   34   29    
0.00/0.03	c 271            735            19012          76674          29             0              12   12   6    
0.00/0.03	c 513            1095           19629          73724          29             0              14   14   7    
0.00/0.03	c 514            1103           19693          73890          29             0              8   8   4      
0.00/0.03	c 515            1118           19889          74710          29             0              15   15   7    
0.00/0.03	c 516            1134           20140          75312          29             0              16   16   8    
0.00/0.03	c 517            1142           20208          75563          29             0              8   8   4      
0.00/0.03	c 518            1155           20342          75959          29             0              13   13   6    
0.00/0.03	c 519            1163           20406          76125          29             0              8   8   4      
0.00/0.03	c 520            1178           20602          76945          29             0              15   15   7    
0.00/0.03	c 465            801            20510          82235          29             0              10   31   23   
0.00/0.03	c 521            1194           20853          77547          29             0              16   16   8    
0.00/0.03	c 522            1202           20921          77798          29             0              8   8   4      
0.00/0.03	c 523            1214           21024          78103          29             0              12   12   6    
0.00/0.03	c 524            1222           21088          78269          29             0              8   8   4      
0.00/0.03	c 525            1237           21284          79089          29             0              15   15   7    
0.00/0.03	c 526            1251           21512          79755          29             0              14   14   7    
0.00/0.03	c 527            1259           21580          80006          29             0              8   8   4      
0.00/0.03	c 528            1273           21760          80446          29             0              14   14   7    
0.00/0.03	c 529            1281           21829          80613          29             0              8   8   4      
0.00/0.03	c 530            1296           22032          81467          29             0              15   15   7    
0.00/0.03	c 611            1158           21841          76724          29             0              7   29   26    
0.00/0.03	c 531            1310           22260          82132          29             0              14   14   7    
0.00/0.03	c 611            998            21668          97346          29             0              8   14   13    
0.00/0.03	c 532            1318           22327          82299          29             0              8   8   4      
0.00/0.03	c 533            1333           22530          83152          29             0              15   15   7    
0.00/0.04	c 534            1347           22758          83816          29             0              14   14   7    
0.00/0.04	c 535            1355           22822          83982          29             0              8   8   4      
0.00/0.04	c 536            1370           23025          84835          29             0              15   15   7    
0.00/0.04	c 537            1384           23253          85499          29             0              14   14   7    
0.00/0.04	c 538            1392           23317          85665          29             0              8   8   4      
0.00/0.04	c 539            1407           23520          86518          29             0              15   15   7    
0.00/0.04	c 540            1421           23748          87182          29             0              14   14   7    
0.00/0.04	c 541            1429           23812          87348          29             0              8   8   4      
0.00/0.04	c 542            1444           23980          87862          29             0              15   15   7    
0.00/0.04	c 543            1452           24044          88028          29             0              8   8   4      
0.00/0.04	c 611            992            23322          110137         29             0              8   29   24    
0.00/0.04	c 611            1097           24593          100573         29             0              12   34   24   
0.00/0.04	c 512            1325           25198          109637         29             0              22   44   27   
0.00/0.04	c 771            1498           26193          96019          29             0              8   38   30    
0.00/0.04	c 513            1348           25424          110292         29             0              23   23   11   
0.00/0.04	c 771            1256           25686          116737         29             0              8   26   14    
0.00/0.04	c 514            1373           25684          111036         29             0              25   25   12   
0.00/0.04	c 515            1396           25894          111671         29             0              23   23   11   
0.00/0.04	c 516            1421           26154          112415         29             0              25   25   12   
0.00/0.04	c 517            1444           26364          113050         29             0              23   23   11   
0.00/0.04	c 518            1469           26624          113794         29             0              25   25   12   
0.00/0.04	c 519            1492           26823          114330         29             0              23   23   11   
0.00/0.04	c 520            1512           27022          114858         29             0              20   20   10   
0.00/0.04	c 771            1326           26975          129970         29             0              14   47   31   
0.00/0.04	c 521            1535           27221          115394         29             0              23   23   11   
0.00/0.04	c 522            1555           27420          115922         29             0              20   20   10   
0.00/0.04	c 523            1578           27619          116458         29             0              23   23   11   
0.00/0.04	c 524            1598           27818          116986         29             0              20   20   10   
0.00/0.04	c 525            1621           28017          117522         29             0              23   23   11   
0.00/0.04	c 526            1641           28216          118050         29             0              20   20   10   
0.00/0.04	c 512            1273           30345          112006         29             0              12   25   18   
0.00/0.04	c 527            1664           28415          118586         29             0              23   23   11   
0.00/0.04	c 771            1371           29477          118701         29             0              14   36   19   
0.00/0.04	c 513            1289           30534          112545         29             0              16   16   8    
0.00/0.04	c 528            1684           28614          119114         29             0              20   20   10   
0.00/0.04	c 514            1300           30679          112886         29             0              11   11   5    
0.00/0.04	c 529            1707           28813          119650         29             0              23   23   11   
0.00/0.04	c 515            1313           30980          113770         29             0              13   13   6    
0.00/0.04	c 530            1727           29012          120178         29             0              20   20   10   
0.00/0.04	c 516            1324           31098          114074         29             0              11   11   5    
0.00/0.04	c 531            1750           29211          120714         29             0              23   23   11   
0.00/0.04	c 517            1337           31399          114958         29             0              13   13   6    
0.00/0.04	c 532            1770           29410          121242         29             0              20   20   10   
0.00/0.04	c 518            1348           31517          115262         29             0              11   11   5    
0.00/0.04	c 533            1793           29609          121778         29             0              23   23   11   
0.00/0.04	c 947            1729           30747          107571         29             0              4   17   15    
0.00/0.04	c 534            1813           29808          122306         29             0              20   20   10   
0.00/0.04	c 519            1361           31818          116146         29             0              13   13   6    
0.00/0.04	c 520            1372           31936          116450         29             0              11   11   5    
0.00/0.04	c 535            1836           30007          122842         29             0              23   23   11   
0.00/0.04	c 536            1856           30206          123370         29             0              20   20   10   
0.00/0.04	c 521            1385           32237          117334         29             0              13   13   6    
0.00/0.04	c 522            1396           32355          117638         29             0              11   11   5    
0.00/0.04	c 537            1879           30405          123906         29             0              23   23   11   
0.00/0.04	c 538            1899           30604          124434         29             0              20   20   10   
0.00/0.04	c 523            1409           32656          118522         29             0              13   13   6    
0.00/0.04	c 539            1922           30803          124970         29             0              23   23   11   
0.00/0.04	c 524            1420           32774          118826         29             0              11   11   5    
0.00/0.04	c 947            1561           31233          138051         29             0              12   34   27   
0.00/0.06	c 525            1433           33075          119710         29             0              13   13   6    
0.00/0.06	c 540            1938           30966          125430         29             0              16   16   8    
0.00/0.06	c 526            1444           33193          120014         29             0              11   11   5    
0.00/0.06	c 541            1961           31165          125966         29             0              23   23   11   
0.00/0.06	c 527            1457           33494          120898         29             0              13   13   6    
0.00/0.06	c 542            1977           31328          126426         29             0              16   16   8    
0.00/0.06	c 528            1468           33612          121202         29             0              11   11   5    
0.00/0.06	c 543            2000           31538          127061         29             0              23   23   11   
0.00/0.06	c 529            1481           33913          122086         29             0              13   13   6    
0.00/0.06	c 530            1492           34031          122390         29             0              11   11   5    
0.00/0.06	c 512            1143           33462          127641         29             0              2   29   18    
0.00/0.06	c 513            1152           33565          127860         29             0              9   9   4      
0.00/0.06	c 514            1157           33633          128125         29             0              5   5   2      
0.00/0.06	c 531            1505           34332          123274         29             0              13   13   6    
0.00/0.06	c 515            1161           33670          128195         29             0              4   4   2      
0.00/0.06	c 532            1516           34450          123578         29             0              11   11   5    
0.00/0.06	c 516            1171           33786          128590         29             0              10   10   5    
0.00/0.06	c 517            1183           33959          129020         29             0              12   12   6    
0.00/0.06	c 518            1187           34003          129175         29             0              4   4   2      
0.00/0.06	c 533            1529           34751          124462         29             0              13   13   6    
0.00/0.06	c 534            1540           34869          124766         29             0              11   11   5    
0.00/0.06	c 519            1199           34176          129605         29             0              12   12   6    
0.00/0.06	c 520            1203           34220          129760         29             0              4   4   2      
0.00/0.06	c 521            1215           34393          130190         29             0              12   12   6    
0.00/0.06	c 535            1553           35170          125650         29             0              13   13   6    
0.00/0.06	c 522            1219           34437          130345         29             0              4   4   2      
0.00/0.06	c 536            1564           35288          125954         29             0              11   11   5    
0.00/0.06	c 523            1231           34610          130775         29             0              12   12   6    
0.00/0.06	c 524            1235           34654          130930         29             0              4   4   2      
0.00/0.06	c 525            1247           34827          131360         29             0              12   12   6    
0.00/0.06	c 537            1577           35589          126838         29             0              13   13   6    
0.00/0.06	c 526            1251           34871          131515         29             0              4   4   2      
0.00/0.06	c 538            1588           35707          127142         29             0              11   11   5    
0.00/0.06	c 527            1263           35044          131945         29             0              12   12   6    
0.00/0.06	c 528            1267           35088          132100         29             0              4   4   2      
0.00/0.06	c 539            1601           36008          128026         29             0              13   13   6    
0.00/0.06	c 529            1279           35261          132530         29             0              12   12   6    
0.00/0.06	c 530            1283           35305          132685         29             0              4   4   2      
0.00/0.06	c 540            1612           36126          128330         29             0              11   11   5    
0.00/0.06	c 1140           2120           35495          121833         29             0              2   38   26    
0.00/0.06	c 531            1295           35478          133115         29             0              12   12   6    
0.00/0.06	c 532            1299           35522          133270         29             0              4   4   2      
0.00/0.06	c 947            1757           35397          141812         29             0              22   53   31   
0.00/0.06	c 541            1625           36427          129214         29             0              13   13   6    
0.00/0.06	c 533            1311           35695          133700         29             0              12   12   6    
0.00/0.06	c 542            1636           36545          129518         29             0              11   11   5    
0.00/0.06	c 534            1315           35739          133855         29             0              4   4   2      
0.00/0.06	c 535            1327           35912          134285         29             0              12   12   6    
0.00/0.06	c 536            1331           35956          134440         29             0              4   4   2      
0.00/0.06	c 543            1649           36846          130402         29             0              13   13   6    
0.00/0.06	c 537            1343           36129          134870         29             0              12   12   6    
0.00/0.06	c 538            1347           36173          135025         29             0              4   4   2      
0.00/0.06	c 539            1359           36346          135455         29             0              12   12   6    
0.00/0.06	c 540            1363           36390          135610         29             0              4   4   2      
0.00/0.06	c 541            1375           36563          136040         29             0              12   12   6    
0.00/0.06	c 542            1379           36607          136195         29             0              4   4   2      
0.00/0.06	c 543            1391           36780          136625         29             0              12   12   6    
0.00/0.06	c 947            1588           35378          165735         29             0              11   20   16   
0.00/0.06	c 1140           1858           39013          169295         29             0              7   29   14    
0.00/0.06	c 1140           2023           41445          161337         29             0              11   28   13   
0.00/0.07	c 1352           2543           42121          146261         29             0              8   43   25    
0.00/0.07	c 1024           2628           41659          172506         29             0              23   39   28   
0.00/0.07	c 1025           2638           41754          172816         29             0              10   10   5    
0.00/0.07	c 1026           2647           41849          173127         29             0              9   9   4      
0.00/0.07	c 1027           2657           41944          173437         29             0              10   10   5    
0.00/0.07	c 1028           2666           42039          173748         29             0              9   9   4      
0.00/0.07	c 1029           2676           42134          174058         29             0              10   10   5    
0.00/0.07	c 1030           2685           42229          174369         29             0              9   9   4      
0.00/0.07	c 1031           2695           42324          174679         29             0              10   10   5    
0.00/0.07	c 1032           2704           42419          174990         29             0              9   9   4      
0.00/0.07	c 1033           2714           42514          175300         29             0              10   10   5    
0.00/0.07	c 1034           2723           42609          175611         29             0              9   9   4      
0.00/0.07	c 1035           2733           42704          175921         29             0              10   10   5    
0.00/0.07	c 1036           2742           42799          176232         29             0              9   9   4      
0.00/0.07	c 1037           2752           42894          176542         29             0              10   10   5    
0.00/0.07	c 1038           2761           42989          176853         29             0              9   9   4      
0.00/0.07	c 1039           2771           43084          177163         29             0              10   10   5    
0.00/0.07	c 1040           2780           43179          177474         29             0              9   9   4      
0.00/0.07	c 1041           2790           43274          177784         29             0              10   10   5    
0.00/0.07	c 1140           1944           41271          203561         29             0              12   28   23   
0.00/0.07	c 1042           2799           43369          178095         29             0              9   9   4      
0.00/0.07	c 1043           2809           43464          178405         29             0              10   10   5    
0.00/0.07	c 1044           2818           43559          178716         29             0              9   9   4      
0.00/0.07	c 1045           2828           43654          179026         29             0              10   10   5    
0.00/0.07	c 1046           2837           43749          179337         29             0              9   9   4      
0.00/0.07	c 1047           2847           43844          179647         29             0              10   10   5    
0.00/0.07	c 1048           2856           43939          179958         29             0              9   9   4      
0.00/0.07	c 1049           2866           44034          180268         29             0              10   10   5    
0.00/0.07	c 1050           2875           44129          180579         29             0              9   9   4      
0.00/0.07	c 1051           2885           44224          180889         29             0              10   10   5    
0.00/0.07	c 1052           2894           44319          181200         29             0              9   9   4      
0.00/0.07	c 1053           2904           44414          181510         29             0              10   10   5    
0.00/0.07	c 1054           2913           44509          181821         29             0              9   9   4      
0.00/0.07	c 1055           2923           44604          182131         29             0              10   10   5    
0.00/0.07	c 1056           2932           44699          182442         29             0              9   9   4      
0.00/0.07	c 1057           2942           44794          182752         29             0              10   10   5    
0.00/0.07	c 1352           2179           45487          193507         29             0              11   29   21   
0.00/0.07	c 1058           2951           44889          183063         29             0              9   9   4      
0.00/0.07	c 1059           2961           44984          183373         29             0              10   10   5    
0.00/0.07	c 1060           2970           45079          183684         29             0              9   9   4      
0.00/0.07	c 1061           2980           45174          183994         29             0              10   10   5    
0.00/0.07	c 1062           2989           45269          184305         29             0              9   9   4      
0.00/0.07	c 1063           2999           45364          184615         29             0              10   10   5    
0.00/0.07	c 1064           3008           45459          184926         29             0              9   9   4      
0.00/0.07	c 1065           3018           45554          185236         29             0              10   10   5    
0.00/0.07	c 1066           3027           45649          185547         29             0              9   9   4      
0.00/0.07	c 1067           3037           45744          185857         29             0              10   10   5    
0.00/0.07	c 1068           3046           45839          186168         29             0              9   9   4      
0.00/0.07	c 1069           3056           45934          186478         29             0              10   10   5    
0.00/0.07	c 1352           2338           47786          183373         29             0              20   28   23   
0.00/0.07	c 1070           3065           46029          186789         29             0              9   9   4      
0.00/0.07	c 1071           3075           46124          187099         29             0              10   10   5    
0.00/0.07	c 1072           3084           46219          187410         29             0              9   9   4      
0.00/0.07	c 1073           3094           46314          187720         29             0              10   10   5    
0.00/0.07	c 1074           3103           46409          188031         29             0              9   9   4      
0.00/0.07	c 1075           3113           46504          188341         29             0              10   10   5    
0.00/0.07	c 1076           3122           46599          188652         29             0              9   9   4      
0.00/0.07	c 1077           3132           46694          188962         29             0              10   10   5    
0.00/0.07	c 1078           3141           46789          189273         29             0              9   9   4      
0.00/0.07	c 1079           3151           46884          189583         29             0              10   10   5    
0.00/0.07	c 1080           3160           46979          189894         29             0              9   9   4      
0.00/0.07	c 1081           3170           47074          190204         29             0              10   10   5    
0.00/0.07	c 1082           3179           47169          190515         29             0              9   9   4      
0.00/0.07	c 1083           3189           47264          190825         29             0              10   10   5    
0.00/0.07	c 1084           3198           47359          191136         29             0              9   9   4      
0.00/0.07	c 1085           3208           47454          191446         29             0              10   10   5    
0.00/0.07	c 1086           3217           47549          191757         29             0              9   9   4      
0.00/0.07	c 1087           3227           47644          192067         29             0              10   10   5    
0.00/0.08	c 1000           2056           49167          175667         29             0              13   27   18   
0.00/0.08	c 1024           2106           49736          178059         29             0              10   27   21   
0.00/0.08	c 1025           2113           49815          178278         29             0              7   7   3      
0.00/0.08	c 1026           2121           49962          178592         29             0              8   8   4      
0.00/0.08	c 1027           2125           50006          178787         29             0              4   4   2      
0.00/0.08	c 1028           2132           50129          179080         29             0              7   7   3      
0.00/0.08	c 1029           2136           50173          179275         29             0              4   4   2      
0.00/0.08	c 1030           2143           50296          179568         29             0              7   7   3      
0.00/0.08	c 1031           2147           50340          179763         29             0              4   4   2      
0.00/0.08	c 1032           2154           50463          180056         29             0              7   7   3      
0.00/0.08	c 1033           2158           50507          180251         29             0              4   4   2      
0.00/0.08	c 1034           2165           50630          180544         29             0              7   7   3      
0.00/0.08	c 1035           2169           50674          180739         29             0              4   4   2      
0.00/0.08	c 1036           2176           50797          181032         29             0              7   7   3      
0.00/0.08	c 1037           2180           50841          181227         29             0              4   4   2      
0.00/0.08	c 1038           2187           50964          181520         29             0              7   7   3      
0.00/0.08	c 1039           2191           51008          181715         29             0              4   4   2      
0.00/0.08	c 1040           2198           51131          182008         29             0              7   7   3      
0.00/0.08	c 1041           2202           51175          182203         29             0              4   4   2      
0.00/0.08	c 1585           2977           53725          185248         29             0              11   26   16   
0.00/0.08	c 1042           2209           51298          182496         29             0              7   7   3      
0.00/0.08	c 1043           2213           51342          182691         29             0              4   4   2      
0.00/0.08	c 1044           2220           51465          182984         29             0              7   7   3      
0.00/0.08	c 1045           2224           51509          183179         29             0              4   4   2      
0.00/0.08	c 1046           2231           51632          183472         29             0              7   7   3      
0.00/0.08	c 1047           2235           51676          183667         29             0              4   4   2      
0.00/0.08	c 1048           2242           51799          183960         29             0              7   7   3      
0.00/0.08	c 1049           2246           51843          184155         29             0              4   4   2      
0.00/0.08	c 1050           2253           51966          184448         29             0              7   7   3      
0.00/0.08	c 1051           2257           52010          184643         29             0              4   4   2      
0.00/0.08	c 1052           2264           52133          184936         29             0              7   7   3      
0.00/0.08	c 1053           2268           52177          185131         29             0              4   4   2      
0.00/0.08	c 1054           2275           52300          185424         29             0              7   7   3      
0.00/0.08	c 1055           2279           52344          185619         29             0              4   4   2      
0.00/0.08	c 1056           2286           52467          185912         29             0              7   7   3      
0.00/0.08	c 1057           2290           52511          186107         29             0              4   4   2      
0.00/0.08	c 1058           2297           52634          186400         29             0              7   7   3      
0.00/0.08	c 1059           2301           52678          186595         29             0              4   4   2      
0.00/0.08	c 1060           2308           52801          186888         29             0              7   7   3      
0.00/0.08	c 1061           2312           52845          187083         29             0              4   4   2      
0.00/0.08	c 1062           2319           52968          187376         29             0              7   7   3      
0.00/0.08	c 1063           2323           53012          187571         29             0              4   4   2      
0.00/0.08	c 1352           2289           50494          253875         29             0              7   27   16    
0.00/0.08	c 1064           2330           53135          187864         29             0              7   7   3      
0.00/0.08	c 1065           2334           53179          188059         29             0              4   4   2      
0.00/0.08	c 1066           2341           53302          188352         29             0              7   7   3      
0.00/0.08	c 1067           2345           53346          188547         29             0              4   4   2      
0.00/0.08	c 1068           2352           53469          188840         29             0              7   7   3      
0.00/0.08	c 1069           2356           53513          189035         29             0              4   4   2      
0.00/0.08	c 1070           2363           53636          189328         29             0              7   7   3      
0.00/0.08	c 1071           2367           53680          189523         29             0              4   4   2      
0.00/0.08	c 1024           2566           56659          207126         29             0              3   50   27    
0.00/0.08	c 1585           2688           55631          222017         29             0              13   40   24   
0.00/0.08	c 1072           2374           53803          189816         29             0              7   7   3      
0.00/0.08	c 1073           2378           53847          190011         29             0              4   4   2      
0.00/0.08	c 1585           2554           54775          229310         29             0              8   24   21    
0.00/0.08	c 1025           2583           56822          207575         29             0              17   17   8    
0.00/0.08	c 1074           2385           53970          190304         29             0              7   7   3      
0.00/0.08	c 1026           2587           56873          207706         29             0              4   4   2      
0.00/0.08	c 1075           2389           54014          190499         29             0              4   4   2      
0.00/0.08	c 1027           2599           57059          208297         29             0              12   12   6    
0.00/0.08	c 1076           2396           54137          190792         29             0              7   7   3      
0.00/0.08	c 1077           2400           54181          190987         29             0              4   4   2      
0.00/0.08	c 1078           2407           54304          191280         29             0              7   7   3      
0.00/0.08	c 1028           2616           57287          208816         29             0              17   17   8    
0.00/0.08	c 1079           2411           54348          191475         29             0              4   4   2      
0.00/0.08	c 1029           2624           57350          209082         29             0              8   8   4      
0.00/0.08	c 1080           2418           54471          191768         29             0              7   7   3      
0.00/0.08	c 1081           2422           54515          191963         29             0              4   4   2      
0.00/0.08	c 1030           2641           57578          209601         29             0              17   17   8    
0.00/0.08	c 1082           2429           54638          192256         29             0              7   7   3      
0.00/0.08	c 1031           2649           57641          209867         29             0              8   8   4      
0.00/0.08	c 1083           2433           54682          192451         29             0              4   4   2      
0.00/0.08	c 1084           2440           54805          192744         29             0              7   7   3      
0.00/0.08	c 1032           2666           57869          210386         29             0              17   17   8    
0.00/0.08	c 1085           2444           54849          192939         29             0              4   4   2      
0.00/0.08	c 1033           2674           57932          210652         29             0              8   8   4      
0.00/0.08	c 1086           2451           54972          193232         29             0              7   7   3      
0.00/0.08	c 1087           2455           55016          193427         29             0              4   4   2      
0.00/0.08	c 1034           2691           58160          211171         29             0              17   17   8    
0.00/0.08	c 1035           2699           58223          211437         29             0              8   8   4      
0.00/0.08	c 1036           2716           58451          211956         29             0              17   17   8    
0.00/0.08	c 1037           2724           58514          212222         29             0              8   8   4      
0.00/0.08	c 1038           2741           58742          212741         29             0              17   17   8    
0.00/0.08	c 1039           2749           58810          213008         29             0              8   8   4      
0.00/0.08	c 1040           2766           59038          213527         29             0              17   17   8    
0.00/0.08	c 1041           2774           59101          213793         29             0              8   8   4      
0.00/0.08	c 1042           2791           59329          214312         29             0              17   17   8    
0.00/0.08	c 1043           2799           59392          214578         29             0              8   8   4      
0.00/0.08	c 1044           2816           59620          215097         29             0              17   17   8    
0.00/0.08	c 1045           2824           59683          215363         29             0              8   8   4      
0.00/0.08	c 1046           2841           59911          215882         29             0              17   17   8    
0.00/0.08	c 1047           2849           59974          216148         29             0              8   8   4      
0.00/0.08	c 1048           2866           60202          216667         29             0              17   17   8    
0.00/0.08	c 1049           2874           60265          216933         29             0              8   8   4      
0.00/0.08	c 1050           2891           60493          217452         29             0              17   17   8    
0.00/0.08	c 1051           2899           60556          217718         29             0              8   8   4      
0.00/0.08	c 1052           2916           60784          218237         29             0              17   17   8    
0.00/0.08	c 1053           2924           60847          218503         29             0              8   8   4      
0.00/0.09	c 1054           2941           61075          219022         29             0              17   17   8    
0.00/0.09	c 1055           2949           61138          219288         29             0              8   8   4      
0.00/0.09	c 1056           2966           61366          219807         29             0              17   17   8    
0.00/0.09	c 1057           2974           61429          220073         29             0              8   8   4      
0.00/0.09	c 1058           2991           61657          220592         29             0              17   17   8    
0.00/0.09	c 1059           2999           61720          220858         29             0              8   8   4      
0.00/0.09	c 1060           3015           61946          221376         29             0              16   16   8    
0.00/0.09	c 1061           3023           62009          221642         29             0              8   8   4      
0.00/0.09	c 1841           2893           59657          259238         29             0              c 8   32   261062               3039
0.00/0.09	62235          222160         29             0              16   16   8    
0.00/0.09	c 1063           3047           62298          222426         29             0              8   8   4      
0.00/0.09	c 1841           3486           61826          219511         29             0              10   45   27   
0.00/0.09	c 1064           3063           62524          222944         29             0              16   16   8    
0.00/0.09	c 1065           3071           62587          223210         29             0              8   8   4      
0.00/0.09	c 1066           3087           62813          223728         29             0              16   16   8    
0.00/0.09	c 1067           3095           62876          223994         29             0              8   8   4      
0.00/0.09	c 1068           3111           63102          224512         29             0              16   16   8    
0.00/0.09	c 1069           3119           63165          224778         29             0              8   8   4      
0.00/0.09	c 1070           3135           63391          225296         29             0              16   16   8    
0.00/0.09	c 1071           3160           63626          226179         29             0              25   25   12   
0.00/0.09	c 1072           3164           63677          226310         29             0              4   4   2      
0.00/0.09	c 1073           3181           63846          226820         29             0              17   17   8    
0.00/0.09	c 1074           3206           64081          227703         29             0              25   25   12   
0.00/0.09	c 1075           3210           64132          227834         29             0              4   4   2      
0.00/0.09	c 1076           3227           64301          228344         29             0              17   17   8    
0.00/0.09	c 1077           3252           64536          229227         29             0              25   25   12   
0.00/0.09	c 1078           3256           64587          229358         29             0              4   4   2      
0.00/0.09	c 1000           2186           62997          233726         29             0              4   28   14    
0.00/0.09	c 1079           3273           64756          229868         29             0              17   17   8    
0.00/0.09	c 1080           3298           64994          230751         29             0              25   25   12   
0.00/0.09	c 1081           3302           65045          230882         29             0              4   4   2      
0.00/0.09	c 1082           3319           65214          231391         29             0              17   17   8    
0.00/0.09	c 1024           2241           63727          236497         29             0              1   32   18    
0.00/0.09	c 1841           3258           64194          255938         29             0              21   40   28   
0.00/0.09	c 1083           3344           65449          232273         29             0              25   25   12   
0.00/0.09	c 1084           3348           65500          232404         29             0              4   4   2      
0.00/0.09	c 1025           2260           63921          237092         29             0              19   19   9    
0.00/0.09	c 1026           2266           64001          237266         29             0              6   6   3      
0.00/0.09	c 1085           3365           65669          232913         29             0              17   17   8    
0.00/0.09	c 2000           3763           65439          231281         29             0              16   56   47   
0.00/0.09	c 1027           2275           64111          237658         29             0              9   9   4      
0.00/0.09	c 1086           3390           65904          233795         29             0              25   25   12   
0.00/0.09	c 1028           2285           64269          238074         29             0              10   10   5    
0.00/0.09	c 1087           3394           65955          233926         29             0              4   4   2      
0.00/0.09	c 1029           2298           64567          239068         29             0              13   13   6    
0.00/0.09	c 1030           2316           64743          239636         29             0              18   18   9    
0.00/0.09	c 1031           2322           64823          239810         29             0              6   6   3      
0.00/0.09	c 1032           2331           64933          240202         29             0              9   9   4      
0.00/0.09	c 1033           2341           65091          240618         29             0              10   10   5    
0.00/0.09	c 1034           2354           65389          241612         29             0              13   13   6    
0.00/0.09	c 1035           2372           65565          242180         29             0              18   18   9    
0.00/0.09	c 1585           2644           61619          297841         29             0              15   23   20   
0.00/0.09	c 1036           2378           65645          242354         29             0              6   6   3      
0.00/0.09	c 1037           2387           65755          242746         29             0              9   9   4      
0.00/0.09	c 1038           2397           65913          243162         29             0              10   10   5    
0.00/0.09	c 2000           3129           65201          279842         29             0              8   20   15    
0.00/0.09	c 1039           2410           66211          244156         29             0              13   13   6    
0.00/0.09	c 1040           2428           66387          244724         29             0              18   18   9    
0.00/0.09	c 1041           2434           66467          244898         29             0              6   6   3      
0.00/0.09	c 1042           2443           66577          245290         29             0              9   9   4      
0.00/0.09	c 1043           2453           66735          245706         29             0              10   10   5    
0.00/0.09	c 2122           3993           68416          244933         29             0              9   47   37    
0.00/0.09	c 1044           2466           67033          246700         29             0              13   13   6    
0.00/0.09	c 1045           2484           67209          247268         29             0              18   18   9    
0.00/0.09	c 1046           2490           67289          247442         29             0              6   6   3      
0.00/0.09	c 1047           2499           67399          247834         29             0              9   9   4      
0.00/0.09	c 2000           3571           67897          275454         29             0              21   41   30   
0.00/0.09	c 1048           2509           67557          248250         29             0              10   10   5    
0.00/0.09	c 1049           2522           67855          249244         29             0              13   13   6    
0.00/0.09	c 1050           2540           68031          249812         29             0              18   18   9    
0.00/0.09	c 1051           2546           68111          249986         29             0              6   6   3      
0.00/0.09	c 1052           2555           68221          250378         29             0              9   9   4      
0.00/0.09	c 1053           2565           68379          250794         29             0              10   10   5    
0.00/0.10	c 1054           2578           68677          251788         29             0              13   13   6    
0.00/0.10	c 1055           2596           68853          252356         29             0              18   18   9    
0.00/0.10	c 1056           2602           68933          252530         29             0              6   6   3      
0.00/0.10	c 1057           2611           69043          252922         29             0              9   9   4      
0.00/0.10	c 1058           2621           69201          253338         29             0              10   10   5    
0.00/0.10	c 1059           2634           69499          254332         29             0              13   13   6    
0.00/0.10	c 1060           2652           69675          254900         29             0              18   18   9    
0.00/0.10	c 1061           2658           69755          255074         29             0              6   6   3      
0.00/0.10	c 1062           2667           69865          255466         29             0              9   9   4      
0.00/0.10	c 1063           2677           70023          255882         29             0              10   10   5    
0.00/0.10	c 2122           3331           69011          300431         29             0              10   35   24   
0.00/0.10	c 1064           2690           70321          256876         29             0              13   13   6    
0.00/0.10	c 2000           4526           69305          287410         29             0              9   37   16    
0.00/0.10	c 1065           2708           70500          257445         29             0              18   18   9    
0.00/0.10	c 1066           2714           70580          257618         29             0              6   6   3      
0.00/0.10	c 1067           2723           70690          258010         29             0              9   9   4      
0.00/0.10	c 1068           2733           70848          258426         29             0              10   10   5    
0.00/0.10	c 1841           3019           67125          324461         29             0              11   27   21   
0.00/0.10	c 1069           2746           71146          259420         29             0              13   13   6    
0.00/0.10	c 1070           2764           71322          259988         29             0              18   18   9    
0.00/0.10	c 1071           2770           71402          260161         29             0              6   6   3      
0.00/0.10	c 1072           2779           71512          260553         29             0              9   9   4      
0.00/0.10	c 2048           4604           70564          294033         29             0              11   14   13   
0.00/0.10	c 1073           2789           71670          260969         29             0              10   10   5    
0.00/0.10	c 2049           4621           70732          294433         29             0              17   17   8    
0.00/0.10	c 2122           3819           72454          294842         29             0              10   30   22   
0.00/0.10	c 2050           4633           70864          294710         29             0              12   12   6    
0.00/0.10	c 1074           2802           71968          261963         29             0              13   13   6    
0.00/0.10	c 2051           4645           70994          294993         29             0              12   12   6    
0.00/0.10	c 1075           2820           72144          262531         29             0              18   18   9    
0.00/0.10	c 2052           4657           71126          295270         29             0              12   12   6    
0.00/0.10	c 1076           2826           72224          262704         29             0              6   6   3      
0.00/0.10	c 2053           4669           71256          295553         29             0              12   12   6    
0.00/0.10	c 1077           2835           72334          263096         29             0              9   9   4      
0.00/0.10	c 2054           4681           71388          295830         29             0              12   12   6    
0.00/0.10	c 1078           2845           72492          263512         29             0              10   10   5    
0.00/0.10	c 2055           4693           71518          296113         29             0              12   12   6    
0.00/0.10	c 2056           4705           71650          296390         29             0              12   12   6    
0.00/0.10	c 1079           2858           72790          264506         29             0              13   13   6    
0.00/0.10	c 2057           4717           71780          296673         29             0              12   12   6    
0.00/0.10	c 2058           4729           71912          296950         29             0              12   12   6    
0.00/0.10	c 1080           2876           72966          265074         29             0              18   18   9    
0.00/0.10	c 1081           2882           73046          265247         29             0              6   6   3      
0.00/0.10	c 2059           4741           72042          297233         29             0              12   12   6    
0.00/0.10	c 1082           2891           73156          265639         29             0              9   9   4      
0.00/0.10	c 2060           4753           72174          297510         29             0              12   12   6    
0.00/0.10	c 1083           2901           73314          266055         29             0              10   10   5    
0.00/0.10	c 2061           4765           72304          297793         29             0              12   12   6    
0.00/0.10	c 2062           4777           72436          298070         29             0              12   12   6    
0.00/0.10	c 2063           4789           72566          298353         29             0              12   12   6    
0.00/0.10	c 1084           2914           73612          267049         29             0              13   13   6    
0.00/0.10	c 2064           4801           72698          298630         29             0              12   12   6    
0.00/0.10	c 1085           2932           73788          267617         29             0              18   18   9    
0.00/0.10	c 2065           4813           72828          298913         29             0              12   12   6    
0.00/0.10	c 1086           2938           73868          267790         29             0              6   6   3      
0.00/0.10	c 2066           4825           72960          299190         29             0              12   12   6    
0.00/0.10	c 1087           2947           73978          268182         29             0              9   9   4      
0.00/0.10	c 2067           4837           73090          299473         29             0              12   12   6    
0.00/0.10	c 2068           4849           73222          299750         29             0              12   12   6    
0.00/0.10	c 2069           4861           73352          300033         29             0              12   12   6    
0.00/0.10	c 2070           4873           73484          300310         29             0              12   12   6    
0.77/0.11	c 2071           4885           73614          300593         29             0              12   12   6    
0.77/0.11	c 2072           4897           73746          300870         29             0              12   12   6    
0.77/0.11	c 2073           4909           73876          301153         29             0              12   12   6    
0.77/0.11	c 2074           4921           74008          301430         29             0              12   12   6    
0.77/0.11	c 2075           4933           74138          301713         29             0              12   12   6    
0.77/0.11	c 2076           4945           74270          301990         29             0              12   12   6    
0.77/0.11	c 2077           4957           74400          302273         29             0              12   12   6    
0.77/0.11	c 2078           4969           74532          302550         29             0              12   12   6    
0.77/0.11	c 2079           4981           74662          302833         29             0              12   12   6    
0.77/0.11	c 2080           4993           74794          303110         29             0              12   12   6    
0.77/0.11	c 2081           5005           74924          303393         29             0              12   12   6    
0.77/0.11	c 2082           5017           75056          303670         29             0              12   12   6    
0.77/0.11	c 2083           5029           75186          303953         29             0              12   12   6    
0.77/0.11	c 2084           5041           75318          304230         29             0              12   12   6    
0.77/0.11	c 2085           5053           75448          304513         29             0              12   12   6    
0.77/0.11	c 2086           5065           75580          304790         29             0              12   12   6    
0.77/0.11	c 2087           5077           75710          305073         29             0              12   12   6    
0.77/0.11	c 2088           5089           75842          305350         29             0              12   12   6    
0.77/0.11	c 2089           5101           75972          305633         29             0              12   12   6    
0.77/0.11	c 2090           5113           76104          305910         29             0              12   12   6    
0.77/0.11	c 2091           5125           76234          306193         29             0              12   12   6    
0.77/0.11	c 2092           5137           76366          306470         29             0              12   12   6    
0.77/0.11	c 2093           5149           76496          306753         29             0              12   12   6    
0.77/0.11	c 2094           5161           76628          307030         29             0              12   12   6    
0.77/0.11	c 2095           5173           76758          307313         29             0              12   12   6    
0.77/0.11	c 2096           5185           76890          307590         29             0              12   12   6    
0.77/0.11	c 2097           5197           77020          307873         29             0              12   12   6    
0.77/0.11	c 2098           5209           77152          308150         29             0              12   12   6    
0.77/0.11	c 2099           5221           77282          308433         29             0              12   12   6    
0.77/0.11	c 2100           5233           77414          308710         29             0              12   12   6    
0.77/0.11	c 2101           5245           77544          308993         29             0              12   12   6    
0.77/0.11	c 2102           5257           77676          309270         29             0              12   12   6    
0.77/0.11	c 2103           5269           77806          309553         29             0              12   12   6    
0.77/0.11	c 2104           5281           77938          309830         29             0              12   12   6    
0.77/0.11	c 2105           5293           78068          310113         29             0              12   12   6    
0.77/0.11	c 2106           5305           78200          310390         29             0              12   12   6    
0.77/0.11	c 2431           3823           79031          340305         29             0              1   36   23    
0.77/0.11	c 2107           5317           78330          310673         29             0              12   12   6    
0.77/0.11	c 2108           5329           78462          310950         29             0              12   12   6    
0.77/0.11	c 2109           5341           78592          311233         29             0              12   12   6    
0.77/0.11	c 2110           5353           78724          311510         29             0              12   12   6    
0.77/0.11	c 2111           5365           78854          311793         29             0              12   12   6    
0.77/0.11	c 2112           5377           78986          312070         29             0              12   12   6    
0.77/0.11	c 2113           5389           79116          312353         29             0              12   12   6    
0.77/0.11	c 2114           5401           79248          312630         29             0              12   12   6    
0.77/0.11	c 2115           5413           79378          312913         29             0              12   12   6    
0.77/0.11	c 2116           5425           79510          313190         29             0              12   12   6    
0.77/0.11	c 2117           5437           79640          313473         29             0              12   12   6    
0.77/0.11	c 2118           5449           79772          313750         29             0              12   12   6    
0.77/0.11	c 2119           5461           79902          314033         29             0              12   12   6    
0.77/0.11	c 2120           5473           80034          314310         29             0              12   12   6    
0.77/0.11	c 2121           5485           80164          314593         29             0              12   12   6    
0.77/0.11	c 2122           5497           80296          314870         29             0              12   12   6    
0.77/0.11	c 2123           5509           80426          315153         29             0              12   12   6    
0.77/0.11	c 2124           5521           80558          315430         29             0              12   12   6    
0.77/0.11	c 2125           5533           80688          315713         29             0              12   12   6    
0.77/0.11	c 2126           5545           80820          315990         29             0              12   12   6    
0.77/0.11	c 2127           5557           80950          316273         29             0              12   12   6    
0.77/0.11	c 2128           5569           81082          316550         29             0              12   12   6    
0.77/0.11	c 2431           4485           84988          298173         29             0              8   34   20    
0.77/0.11	c 2129           5581           81212          316833         29             0              12   12   6    
0.77/0.11	c 2000           3242           70665          337900         29             0              7   20   12    
0.77/0.11	c 2130           5593           81344          317110         29             0              12   12   6    
0.77/0.11	c 2131           5605           81474          317393         29             0              12   12   6    
0.77/0.11	c 2431           4462           83040          342270         29             0              10   38   26   
0.77/0.11	c 2132           5617           81606          317670         29             0              12   12   6    
0.77/0.11	c 2133           5629           81736          317953         29             0              12   12   6    
0.77/0.11	c 2134           5641           81868          318230         29             0              12   12   6    
0.77/0.11	c 2135           5653           81998          318513         29             0              12   12   6    
0.77/0.11	c 2136           5665           82130          318790         29             0              12   12   6    
0.77/0.11	c 2137           5677           82260          319073         29             0              12   12   6    
0.77/0.11	c 2138           5689           82392          319350         29             0              12   12   6    
0.77/0.11	c 2139           5701           82522          319633         29             0              12   12   6    
0.77/0.12	c 2140           5713           82654          319910         29             0              12   12   6    
0.77/0.12	c 2141           5725           82784          320193         29             0              12   12   6    
0.77/0.12	c 2142           5737           82916          320470         29             0              12   12   6    
0.77/0.12	c 2143           5749           83046          320753         29             0              12   12   6    
0.77/0.12	c 2000           4774           87739          308630         29             0              12   52   25   
0.77/0.12	c 2144           5761           83178          321030         29             0              12   12   6    
0.77/0.12	c 2145           5773           83308          321313         29             0              12   12   6    
0.77/0.12	c 2146           5785           83440          321590         29             0              12   12   6    
0.77/0.12	c 2147           5797           83570          321873         29             0              12   12   6    
0.77/0.12	c 2148           5809           83702          322150         29             0              12   12   6    
0.77/0.12	c 2149           5821           83832          322433         29             0              12   12   6    
0.77/0.12	c 2150           5833           83964          322710         29             0              12   12   6    
0.77/0.12	c 2151           5845           84094          322993         29             0              12   12   6    
0.77/0.12	c 2152           5857           84226          323270         29             0              12   12   6    
0.77/0.12	c 2153           5869           84356          323553         29             0              12   12   6    
0.77/0.12	c 2154           5881           84488          323830         29             0              12   12   6    
0.77/0.12	c 2155           5893           84618          324113         29             0              12   12   6    
0.77/0.12	c 2156           5905           84750          324390         29             0              12   12   6    
0.77/0.12	c 2122           3430           74000          356163         29             0              7   28   24    
0.77/0.12	c 2157           5917           84880          324673         29             0              12   12   6    
0.77/0.12	c 2158           5929           85012          324950         29             0              12   12   6    
0.77/0.12	c 2159           5941           85142          325233         29             0              12   12   6    
0.77/0.12	c 2160           5953           85274          325510         29             0              12   12   6    
0.77/0.12	c 2770           4305           86262          369780         29             0              8   29   22    
0.77/0.12	c 2048           4875           90063          318263         29             0              9   38   29    
0.77/0.12	c 2049           4876           90069          318312         29             0              1   1   0      
0.77/0.12	c 2161           5965           85404          325793         29             0              12   12   6    
0.77/0.12	c 2050           4884           90121          318456         29             0              8   8   4      
0.77/0.12	c 2051           4893           90197          318792         29             0              9   9   4      
0.77/0.12	c 2162           5977           85539          326071         29             0              12   12   6    
0.77/0.12	c 2052           4899           90234          318980         29             0              6   6   3      
0.77/0.12	c 2053           4908           90310          319316         29             0              9   9   4      
0.77/0.12	c 2163           5989           85669          326354         29             0              12   12   6    
0.77/0.12	c 2054           4914           90347          319504         29             0              6   6   3      
0.77/0.12	c 2055           4923           90423          319840         29             0              9   9   4      
0.77/0.12	c 2164           6001           85801          326631         29             0              12   12   6    
0.77/0.12	c 2056           4929           90460          320028         29             0              6   6   3      
0.77/0.12	c 2057           4938           90536          320364         29             0              9   9   4      
0.77/0.12	c 2165           6013           85931          326914         29             0              12   12   6    
0.77/0.12	c 2058           4944           90573          320552         29             0              6   6   3      
0.77/0.12	c 2059           4953           90649          320888         29             0              9   9   4      
0.77/0.12	c 2166           6025           86063          327191         29             0              12   12   6    
0.77/0.12	c 2060           4959           90686          321076         29             0              6   6   3      
0.77/0.12	c 2061           4968           90762          321412         29             0              9   9   4      
0.77/0.12	c 2167           6037           86193          327474         29             0              12   12   6    
0.77/0.12	c 2062           4974           90799          321600         29             0              6   6   3      
0.77/0.12	c 2063           4983           90875          321936         29             0              9   9   4      
0.77/0.12	c 2168           6049           86325          327751         29             0              12   12   6    
0.77/0.12	c 2064           4989           90912          322124         29             0              6   6   3      
0.77/0.12	c 2065           4998           90988          322460         29             0              9   9   4      
0.77/0.12	c 2169           6061           86455          328034         29             0              12   12   6    
0.77/0.12	c 2066           5004           91025          322648         29             0              6   6   3      
0.77/0.12	c 2067           5013           91101          322984         29             0              9   9   4      
0.77/0.12	c 2170           6073           86587          328311         29             0              c 12   12   6   2068            5019           
0.77/0.12	91138          323172         29             0              6   6   3      
0.77/0.12	c 2069           5028           91214          323508         29             0              9   9   4      
0.77/0.12	c 2070           5034           91251          323696         29             0              6   6   3      
0.77/0.12	c 2171           6085           86717          328594         29             0              12   12   6    
0.77/0.12	c 2071           5043           91327          324032         29             0              9   9   4      
0.77/0.12	c 2072           5049           91364          324220         29             0              6   6   3      
0.77/0.12	c 2172           6097           86849          328871         29             0              12   12   6    
0.77/0.12	c 2073           5058           91440          324556         29             0              9   9   4      
0.77/0.12	c 2074           5064           91477          324744         29             0              6   6   3      
0.77/0.12	c 2173           6109           86979          329154         29             0              12   12   6    
0.77/0.12	c 2075           5073           91553          325080         29             0              9   9   4      
0.77/0.12	c 2076           5079           91590          325268         29             0              6   6   3      
0.77/0.12	c 2174           6121           87111          329431         29             0              12   12   6    
0.77/0.12	c 2770           5059           91418          327200         29             0              7   53   40    
0.77/0.12	c 2077           5088           91666          325604         29             0              9   9   4      
0.77/0.12	c 2078           5094           91703          325792         29             0              6   6   3      
0.77/0.12	c 2175           6133           87241          329714         29             0              12   12   6    
0.77/0.12	c 2079           5103           91779          326128         29             0              9   9   4      
0.77/0.12	c 2080           5109           91816          326316         29             0              6   6   3      
0.77/0.12	c 2081           5118           91892          326652         29             0              9   9   4      
0.77/0.12	c 2082           5124           91929          326840         29             0              6   6   3      
0.77/0.12	c 2083           5133           92005          327176         29             0              9   9   4      
0.77/0.12	c 2084           5139           92042          327364         29             0              6   6   3      
0.77/0.12	c 2085           5148           92118          327700         29             0              9   9   4      
0.77/0.12	c 2086           5154           92155          327888         29             0              6   6   3      
0.77/0.12	c 2087           5163           92231          328224         29             0              9   9   4      
0.77/0.12	c 2088           5169           92268          328412         29             0              6   6   3      
0.77/0.12	c 2089           5178           92344          328748         29             0              9   9   4      
0.77/0.12	c 2090           5184           92381          328936         29             0              6   6   3      
0.77/0.12	c 2091           5193           92457          329272         29             0              9   9   4      
0.77/0.12	c 2092           5199           92494          329460         29             0              6   6   3      
0.77/0.12	c 2093           5208           92570          329796         29             0              9   9   4      
0.77/0.12	c 2094           5214           92607          329984         29             0              6   6   3      
0.77/0.12	c 2095           5223           92683          330320         29             0              9   9   4      
0.77/0.12	c 2096           5229           92720          330508         29             0              6   6   3      
0.77/0.12	c 2097           5238           92796          330844         29             0              9   9   4      
0.77/0.12	c 2098           5244           92833          331032         29             0              6   6   3      
0.77/0.12	c 2099           5253           92909          331368         29             0              9   9   4      
0.77/0.12	c 2100           5259           92946          331556         29             0              6   6   3      
0.77/0.12	c 2101           5268           93022          331892         29             0              9   9   4      
0.77/0.12	c 2102           5274           93059          332080         29             0              6   6   3      
0.77/0.12	c 2103           5283           93135          332416         29             0              9   9   4      
0.77/0.12	c 2104           5289           93172          332604         29             0              6   6   3      
0.77/0.12	c 2105           5298           93248          332940         29             0              9   9   4      
0.77/0.12	c 2106           5304           93285          333128         29             0              6   6   3      
0.77/0.12	c 2107           5313           93361          333464         29             0              9   9   4      
0.77/0.12	c 2108           5319           93398          333652         29             0              6   6   3      
0.77/0.12	c 2109           5328           93474          333988         29             0              9   9   4      
0.77/0.12	c 2110           5334           93511          334176         29             0              6   6   3      
0.77/0.12	c 2111           5343           93587          334512         29             0              9   9   4      
0.77/0.12	c 2112           5349           93624          334700         29             0              6   6   3      
0.77/0.12	c 2113           5358           93700          335036         29             0              9   9   4      
0.77/0.12	c 2114           5364           93737          335224         29             0              6   6   3      
0.77/0.12	c 2115           5373           93813          335560         29             0              9   9   4      
0.77/0.12	c 2116           5379           93850          335748         29             0              6   6   3      
0.77/0.12	c 2117           5388           93926          336084         29             0              9   9   4      
0.77/0.12	c 2118           5394           93963          336272         29             0              6   6   3      
0.77/0.12	c 2119           5403           94039          336608         29             0              9   9   4      
0.77/0.12	c 2120           5409           94076          336796         29             0              6   6   3      
0.77/0.12	c 2121           5418           94152          337132         29             0              9   9   4      
0.77/0.12	c 2122           5424           94189          337320         29             0              6   6   3      
0.77/0.12	c 2123           5433           94265          337656         29             0              9   9   4      
0.77/0.12	c 2124           5439           94302          337844         29             0              6   6   3      
0.77/0.12	c 2125           5448           94378          338180         29             0              9   9   4      
0.77/0.12	c 2126           5454           94415          338368         29             0              6   6   3      
0.77/0.12	c 2127           5463           94503          338562         29             0              9   9   4      
0.77/0.12	c 2770           4997           92783          374559         29             0              22   38   28   
0.77/0.12	c 2128           5471           94755          339170         29             0              8   8   4      
0.77/0.12	c 2129           5480           94843          339364         29             0              9   9   4      
0.77/0.12	c 2130           5488           95095          339972         29             0              8   8   4      
0.77/0.12	c 2131           5497           95183          340166         29             0              9   9   4      
0.77/0.12	c 2132           5505           95435          340774         29             0              8   8   4      
0.77/0.12	c 2133           5514           95523          340968         29             0              9   9   4      
0.77/0.12	c 3000           4747           91968          399650         29             0              19   43   29   
0.77/0.12	c 2134           5522           95775          341576         29             0              8   8   4      
0.77/0.12	c 2135           5531           95863          341770         29             0              9   9   4      
0.77/0.12	c 2136           5539           96115          342378         29             0              8   8   4      
0.77/0.12	c 2137           5548           96203          342572         29             0              9   9   4      
0.77/0.12	c 2138           5556           96455          343180         29             0              8   8   4      
0.77/0.12	c 2139           5565           96543          343374         29             0              9   9   4      
0.77/0.12	c 2140           5573           96795          343982         29             0              8   8   4      
0.77/0.12	c 2141           5582           96883          344176         29             0              9   9   4      
0.77/0.12	c 2142           5590           97135          344784         29             0              8   8   4      
0.77/0.12	c 2143           5599           97223          344978         29             0              9   9   4      
0.77/0.12	c 2431           3847           81554          397718         29             0              12   26   21   
0.77/0.12	c 2144           5607           97475          345586         29             0              8   8   4      
0.77/0.12	c 2145           5616           97563          345780         29             0              9   9   4      
0.77/0.12	c 2146           5624           97815          346388         29             0              8   8   4      
0.77/0.12	c 2147           5633           97903          346582         29             0              9   9   4      
0.77/0.12	c 2148           5641           98155          347190         29             0              8   8   4      
0.77/0.12	c 2149           5650           98243          347384         29             0              9   9   4      
0.77/0.12	c 2150           5658           98495          347992         29             0              8   8   4      
0.77/0.12	c 2151           5667           98583          348186         29             0              9   9   4      
0.77/0.12	c 3000           5443           98306          361467         29             0              7   39   27    
0.77/0.12	c 2152           5675           98835          348794         29             0              8   8   4      
0.77/0.12	c 2153           5684           98923          348988         29             0              9   9   4      
0.77/0.12	c 2154           5692           99175          349596         29             0              8   8   4      
0.77/0.12	c 2155           5701           99263          349790         29             0              9   9   4      
0.77/0.12	c 2156           5709           99515          350398         29             0              8   8   4      
0.77/0.12	c 2157           5718           99603          350592         29             0              9   9   4      
0.77/0.12	c 2158           5726           99855          351200         29             0              8   8   4      
0.77/0.12	c 2159           5735           99943          351394         29             0              9   9   4      
0.77/0.12	c 2160           5743           100195         352002         29             0              8   8   4      
0.77/0.12	c 2161           5752           100283         352196         29             0              9   9   4      
0.77/0.12	c 2162           5760           100535         352804         29             0              8   8   4      
0.77/0.12	c 2163           5769           100623         352998         29             0              9   9   4      
0.77/0.12	c 2164           5777           100875         353606         29             0              8   8   4      
0.77/0.12	c 2165           5786           100963         353800         29             0              9   9   4      
0.77/0.13	c 2166           5794           101215         354408         29             0              8   8   4      
0.77/0.13	c 2167           5803           101303         354602         29             0              9   9   4      
0.77/0.13	c 2168           5811           101555         355210         29             0              8   8   4      
0.77/0.13	c 2169           5820           101643         355404         29             0              9   9   4      
0.77/0.13	c 2000           3929           97371          376221         29             0              7   49   31    
0.77/0.13	c 3000           5354           98988          410186         29             0              22   31   27   
0.77/0.13	c 2170           5828           101895         356012         29             0              8   8   4      
0.77/0.13	c 2171           5837           101983         356206         29             0              9   9   4      
0.77/0.13	c 2172           5845           102235         356814         29             0              8   8   4      
0.77/0.13	c 2173           5854           102323         357008         29             0              9   9   4      
0.77/0.13	c 2174           5862           102575         357616         29             0              8   8   4      
0.77/0.13	c 2175           5871           102663         357810         29             0              9   9   4      
0.77/0.13	c 3142           5671           103651         380002         29             0              7   32   22    
0.77/0.13	c 3142           5014           100119         434829         29             0              10   20   14   
0.77/0.13	c 2048           4029           99576          381971         29             0              9   14   13    
0.77/0.13	c 2049           4039           99657          382122         29             0              10   10   5    
0.77/0.13	c 2050           4044           99690          382290         29             0              5   5   2      
0.77/0.13	c 2051           4054           99769          382449         29             0              10   10   5    
0.77/0.13	c 2052           4059           99802          382617         29             0              5   5   2      
0.77/0.13	c 2053           4069           99881          382776         29             0              10   10   5    
0.77/0.13	c 2054           4074           99914          382944         29             0              5   5   2      
0.77/0.13	c 2055           4084           99993          383103         29             0              10   10   5    
0.77/0.13	c 2056           4089           100026         383271         29             0              5   5   2      
0.77/0.13	c 2057           4099           100105         383430         29             0              10   10   5    
0.77/0.13	c 2058           4104           100138         383598         29             0              5   5   2      
0.77/0.13	c 2059           4114           100217         383757         29             0              10   10   5    
0.77/0.13	c 2060           4119           100250         383925         29             0              5   5   2      
0.77/0.13	c 2061           4129           100329         384084         29             0              10   10   5    
0.77/0.13	c 2062           4134           100362         384252         29             0              5   5   2      
0.77/0.13	c 2063           4144           100441         384411         29             0              10   10   5    
0.77/0.13	c 2064           4149           100474         384579         29             0              5   5   2      
0.77/0.13	c 2065           4159           100553         384738         29             0              10   10   5    
0.77/0.13	c 2770           4320           87384          441126         29             0              11   41   20   
0.77/0.13	c 2066           4164           100586         384906         29             0              5   5   2      
0.77/0.13	c 2067           4174           100665         385065         29             0              10   10   5    
0.77/0.13	c 2068           4179           100698         385233         29             0              5   5   2      
0.77/0.13	c 2069           4189           100777         385392         29             0              10   10   5    
0.77/0.13	c 2070           4194           100810         385560         29             0              5   5   2      
0.77/0.13	c 2071           4204           100889         385719         29             0              10   10   5    
0.77/0.13	c 2072           4209           100922         385887         29             0              5   5   2      
0.77/0.13	c 2073           4219           101001         386046         29             0              10   10   5    
0.77/0.13	c 2074           4224           101034         386214         29             0              5   5   2      
0.77/0.13	c 2075           4234           101113         386373         29             0              10   10   5    
0.77/0.13	c 2076           4239           101146         386541         29             0              5   5   2      
0.77/0.13	c 2077           4249           101225         386700         29             0              10   10   5    
0.77/0.13	c 2078           4254           101258         386868         29             0              5   5   2      
0.77/0.13	c 2079           4264           101337         387027         29             0              10   10   5    
0.77/0.13	c 2080           4269           101370         387195         29             0              5   5   2      
0.77/0.13	c 2081           4279           101449         387354         29             0              10   10   5    
0.77/0.13	c 2082           4284           101482         387522         29             0              5   5   2      
0.77/0.13	c 3142           5696           102830         428419         29             0              15   44   29   
0.77/0.13	c 2083           4294           101561         387681         29             0              10   10   5    
0.77/0.13	c 2084           4299           101594         387849         29             0              5   5   2      
0.77/0.13	c 2085           4309           101673         388008         29             0              10   10   5    
0.77/0.13	c 2086           4314           101706         388176         29             0              5   5   2      
0.77/0.13	c 2087           4324           101785         388335         29             0              10   10   5    
0.77/0.13	c 2088           4329           101818         388503         29             0              5   5   2      
0.77/0.13	c 2089           4339           101897         388662         29             0              10   10   5    
0.77/0.13	c 2090           4344           101930         388830         29             0              5   5   2      
0.77/0.13	c 2091           4354           102009         388989         29             0              10   10   5    
0.77/0.13	c 2092           4359           102042         389157         29             0              5   5   2      
0.77/0.13	c 2093           4369           102121         389316         29             0              10   10   5    
0.77/0.13	c 2094           4374           102154         389484         29             0              5   5   2      
0.77/0.13	c 2095           4384           102233         389643         29             0              10   10   5    
0.77/0.13	c 2096           4389           102266         389811         29             0              5   5   2      
0.77/0.13	c 2097           4399           102345         389970         29             0              10   10   5    
0.77/0.13	c 2098           4404           102378         390138         29             0              5   5   2      
0.77/0.13	c 2099           4414           102457         390297         29             0              10   10   5    
0.77/0.13	c 2100           4419           102490         390465         29             0              5   5   2      
0.77/0.13	c 2101           4429           102569         390624         29             0              10   10   5    
0.77/0.13	c 2102           4434           102602         390792         29             0              5   5   2      
0.77/0.13	c 2103           4444           102681         390951         29             0              10   10   5    
0.77/0.13	c 2104           4449           102714         391119         29             0              5   5   2      
0.77/0.13	c 2105           4459           102793         391278         29             0              10   10   5    
0.77/0.13	c 2106           4464           102826         391446         29             0              5   5   2      
0.77/0.13	c 2107           4474           102905         391605         29             0              10   10   5    
0.77/0.13	c 2108           4479           102938         391773         29             0              5   5   2      
0.77/0.13	c 2109           4489           103017         391932         29             0              10   10   5    
0.77/0.13	c 2110           4494           103050         392100         29             0              5   5   2      
0.77/0.13	c 2111           4504           103129         392259         29             0              10   10   5    
0.77/0.13	c 2112           4509           103162         392427         29             0              5   5   2      
0.77/0.13	c 2113           4519           103241         392586         29             0              10   10   5    
0.77/0.13	c 2114           4524           103274         392754         29             0              5   5   2      
0.77/0.13	c 2115           4534           103353         392913         29             0              10   10   5    
0.77/0.13	c 2116           4539           103386         393081         29             0              5   5   2      
0.77/0.13	c 2117           4549           103465         393240         29             0              10   10   5    
0.77/0.13	c 2118           4554           103498         393408         29             0              5   5   2      
0.77/0.13	c 2119           4564           103577         393567         29             0              10   10   5    
0.77/0.13	c 2120           4569           103610         393735         29             0              5   5   2      
0.77/0.13	c 2121           4579           103689         393894         29             0              10   10   5    
0.77/0.13	c 2122           4584           103722         394062         29             0              5   5   2      
0.77/0.13	c 2123           4594           103801         394221         29             0              10   10   5    
0.77/0.13	c 2124           4599           103834         394389         29             0              5   5   2      
0.77/0.13	c 2125           4609           103913         394548         29             0              10   10   5    
0.77/0.13	c 2126           4614           103946         394716         29             0              5   5   2      
0.77/0.14	c 2127           4624           104025         394875         29             0              10   10   5    
0.77/0.14	c 2128           4629           104058         395043         29             0              5   5   2      
0.77/0.14	c 2129           4639           104137         395202         29             0              10   10   5    
0.77/0.14	c 2130           4644           104170         395370         29             0              5   5   2      
0.77/0.14	c 2131           4654           104249         395529         29             0              10   10   5    
0.77/0.14	c 2132           4659           104282         395697         29             0              5   5   2      
0.77/0.14	c 2133           4669           104361         395856         29             0              10   10   5    
0.77/0.14	c 2134           4674           104394         396024         29             0              5   5   2      
0.77/0.14	c 2135           4684           104473         396183         29             0              10   10   5    
0.77/0.14	c 2136           4689           104506         396351         29             0              5   5   2      
0.77/0.14	c 2137           4699           104585         396510         29             0              10   10   5    
0.77/0.14	c 2138           4704           104618         396678         29             0              5   5   2      
0.77/0.14	c 2139           4714           104697         396837         29             0              10   10   5    
0.77/0.14	c 2140           4721           104740         397007         29             0              7   7   3      
0.77/0.14	c 2141           4731           104819         397166         29             0              10   10   5    
0.77/0.14	c 2142           4738           104862         397336         29             0              7   7   3      
0.77/0.14	c 2143           4748           104941         397495         29             0              10   10   5    
0.77/0.14	c 2144           4755           104984         397665         29             0              7   7   3      
0.77/0.14	c 2145           4765           105063         397824         29             0              10   10   5    
0.77/0.14	c 2146           4772           105106         397994         29             0              7   7   3      
0.77/0.14	c 2147           4782           105185         398153         29             0              10   10   5    
0.77/0.14	c 2148           4789           105228         398323         29             0              7   7   3      
0.77/0.14	c 2149           4799           105307         398482         29             0              10   10   5    
0.77/0.14	c 2150           4806           105350         398652         29             0              7   7   3      
0.77/0.14	c 2151           4816           105429         398811         29             0              10   10   5    
0.77/0.14	c 2152           4823           105472         398981         29             0              7   7   3      
0.77/0.14	c 2153           4833           105551         399140         29             0              10   10   5    
0.77/0.14	c 2154           4840           105594         399310         29             0              7   7   3      
0.77/0.14	c 2155           4850           105673         399469         29             0              10   10   5    
0.77/0.14	c 2156           4857           105716         399639         29             0              7   7   3      
0.77/0.14	c 2157           4867           105795         399798         29             0              10   10   5    
0.77/0.14	c 2158           4874           105838         399968         29             0              7   7   3      
0.77/0.14	c 2159           4884           105917         400127         29             0              10   10   5    
0.77/0.14	c 2160           4891           105960         400297         29             0              7   7   3      
0.77/0.14	c 2161           4901           106039         400456         29             0              10   10   5    
0.77/0.14	c 2162           4908           106082         400626         29             0              7   7   3      
0.77/0.14	c 2163           4918           106161         400785         29             0              10   10   5    
0.77/0.14	c 2164           4925           106204         400955         29             0              7   7   3      
0.77/0.14	c 2165           4935           106283         401114         29             0              10   10   5    
0.77/0.14	c 2166           4942           106326         401284         29             0              7   7   3      
0.77/0.14	c 2167           4952           106405         401443         29             0              10   10   5    
0.77/0.14	c 2168           4959           106448         401613         29             0              7   7   3      
0.77/0.14	c 2169           4969           106527         401772         29             0              10   10   5    
0.77/0.14	c 2170           4976           106570         401942         29             0              7   7   3      
0.77/0.14	c 2171           4986           106649         402101         29             0              10   10   5    
0.77/0.14	c 2172           4993           106692         402271         29             0              7   7   3      
0.77/0.14	c 3000           7295           106118         420928         29             0              10   34   14   
0.77/0.14	c 2173           5003           106771         402430         29             0              10   10   5    
0.77/0.14	c 2174           5010           106814         402600         29             0              7   7   3      
0.77/0.14	c 2175           5020           106893         402759         29             0              10   10   5    
0.77/0.14	c 3000           4640           96668          478565         29             0              10   21   19   
0.77/0.14	c 3551           5572           110562         480041         29             0              1   26   18    
0.77/0.14	c 3551           6427           113164         491161         29             0              21   34   26   
0.77/0.15	c 3142           4834           100612         497571         29             0              7   19   16    
0.77/0.15	c 2000           4396           118410         451323         29             0              10   36   25   
0.77/0.15	c 3000           7206           124439         429774         29             0              8   48   26    
0.77/0.15	c 2048           4485           121379         464527         29             0              12   24   14   
0.77/0.15	c 2049           4494           121495         464830         29             0              9   9   4      
0.77/0.15	c 2050           4498           121537         464973         29             0              4   4   2      
0.77/0.15	c 2051           4507           121653         465276         29             0              9   9   4      
0.77/0.15	c 2052           4511           121695         465419         29             0              4   4   2      
0.77/0.15	c 2053           4520           121811         465722         29             0              9   9   4      
0.77/0.15	c 2054           4524           121853         465865         29             0              4   4   2      
0.77/0.15	c 2055           4533           121969         466168         29             0              9   9   4      
0.77/0.15	c 2056           4537           122011         466311         29             0              4   4   2      
0.77/0.15	c 2057           4546           122127         466614         29             0              9   9   4      
0.77/0.15	c 2058           4550           122169         466757         29             0              4   4   2      
0.77/0.15	c 2059           4559           122285         467060         29             0              9   9   4      
0.77/0.15	c 2060           4563           122327         467203         29             0              4   4   2      
0.77/0.15	c 2061           4572           122443         467506         29             0              9   9   4      
0.77/0.15	c 2062           4576           122485         467649         29             0              4   4   2      
0.77/0.16	c 2063           4585           122601         467952         29             0              9   9   4      
0.77/0.16	c 2064           4589           122643         468095         29             0              4   4   2      
0.77/0.16	c 2065           4598           122759         468398         29             0              9   9   4      
0.77/0.16	c 2066           4602           122801         468541         29             0              4   4   2      
0.77/0.16	c 2067           4611           122917         468844         29             0              9   9   4      
0.77/0.16	c 2068           4615           122959         468987         29             0              4   4   2      
0.77/0.16	c 2069           4624           123075         469290         29             0              9   9   4      
0.77/0.16	c 2070           4628           123117         469433         29             0              4   4   2      
0.77/0.16	c 2071           4637           123233         469736         29             0              9   9   4      
0.77/0.16	c 2072           4641           123275         469879         29             0              4   4   2      
0.77/0.16	c 2073           4650           123391         470182         29             0              9   9   4      
0.77/0.16	c 2074           4654           123433         470325         29             0              4   4   2      
0.77/0.16	c 2075           4663           123549         470628         29             0              9   9   4      
0.77/0.16	c 2076           4667           123591         470771         29             0              4   4   2      
0.77/0.16	c 2077           4676           123707         471074         29             0              9   9   4      
0.77/0.16	c 2078           4680           123749         471217         29             0              4   4   2      
0.77/0.16	c 2079           4689           123865         471520         29             0              9   9   4      
0.77/0.16	c 2080           4693           123907         471663         29             0              4   4   2      
0.77/0.16	c 3551           6481           127276         468414         29             0              9   26   20    
0.77/0.16	c 2081           4702           124023         471966         29             0              9   9   4      
0.77/0.16	c 2082           4706           124065         472109         29             0              4   4   2      
0.77/0.16	c 2083           4715           124181         472412         29             0              9   9   4      
0.77/0.16	c 2084           4719           124223         472555         29             0              4   4   2      
0.77/0.16	c 2085           4728           124339         472858         29             0              9   9   4      
0.77/0.16	c 2086           4732           124381         473001         29             0              4   4   2      
0.77/0.16	c 2087           4741           124497         473304         29             0              9   9   4      
0.77/0.16	c 2088           4745           124539         473447         29             0              4   4   2      
0.77/0.16	c 2089           4754           124655         473750         29             0              9   9   4      
0.77/0.16	c 2090           4758           124697         473893         29             0              4   4   2      
0.77/0.16	c 2091           4767           124813         474196         29             0              9   9   4      
0.77/0.16	c 2092           4771           124855         474339         29             0              4   4   2      
0.77/0.16	c 2093           4780           124971         474642         29             0              9   9   4      
0.77/0.16	c 2094           4784           125013         474785         29             0              4   4   2      
0.77/0.16	c 2095           4793           125129         475088         29             0              9   9   4      
0.77/0.16	c 2096           4797           125171         475231         29             0              4   4   2      
0.77/0.16	c 2097           4806           125287         475534         29             0              9   9   4      
0.77/0.16	c 2098           4810           125329         475677         29             0              4   4   2      
0.77/0.16	c 2099           4819           125445         475980         29             0              9   9   4      
0.77/0.16	c 2100           4823           125487         476123         29             0              4   4   2      
0.77/0.16	c 2101           4832           125603         476426         29             0              9   9   4      
0.77/0.16	c 2102           4836           125645         476569         29             0              4   4   2      
0.77/0.16	c 2103           4845           125761         476872         29             0              9   9   4      
0.77/0.16	c 2104           4849           125803         477015         29             0              4   4   2      
0.77/0.16	c 2105           4858           125919         477318         29             0              9   9   4      
0.77/0.16	c 2106           4862           125961         477461         29             0              4   4   2      
0.77/0.16	c 3551           5363           110271         547938         29             0              4   27   20    
0.77/0.16	c 2107           4871           126077         477764         29             0              9   9   4      
0.77/0.16	c 2108           4875           126119         477907         29             0              4   4   2      
0.77/0.16	c 2109           4884           126235         478210         29             0              9   9   4      
0.77/0.16	c 2110           4888           126277         478353         29             0              4   4   2      
0.77/0.16	c 2111           4897           126393         478656         29             0              9   9   4      
0.77/0.16	c 2112           4901           126435         478799         29             0              4   4   2      
0.77/0.16	c 2113           4910           126551         479102         29             0              9   9   4      
0.77/0.16	c 2114           4913           126591         479244         29             0              3   3   1      
0.77/0.16	c 2115           4922           126707         479547         29             0              9   9   4      
0.77/0.16	c 2116           4925           126747         479689         29             0              3   3   1      
0.77/0.16	c 2117           4934           126863         479992         29             0              9   9   4      
0.77/0.16	c 2118           4937           126903         480134         29             0              3   3   1      
0.77/0.16	c 2119           4946           127019         480437         29             0              9   9   4      
0.77/0.16	c 2120           4949           127059         480579         29             0              3   3   1      
0.77/0.16	c 2121           4958           127175         480882         29             0              9   9   4      
0.77/0.17	c 2122           4961           127215         481024         29             0              3   3   1      
0.77/0.17	c 2123           4970           127331         481327         29             0              9   9   4      
0.77/0.17	c 2124           4973           127371         481469         29             0              3   3   1      
0.77/0.17	c 2125           4982           127487         481772         29             0              9   9   4      
0.77/0.17	c 2126           4985           127527         481914         29             0              3   3   1      
0.77/0.17	c 2127           4994           127643         482217         29             0              9   9   4      
0.77/0.17	c 2128           4997           127683         482359         29             0              3   3   1      
0.77/0.17	c 2129           5006           127799         482662         29             0              9   9   4      
0.77/0.17	c 2130           5009           127839         482804         29             0              3   3   1      
0.77/0.17	c 2131           5018           127955         483107         29             0              9   9   4      
0.77/0.17	c 2132           5021           127995         483249         29             0              3   3   1      
0.77/0.17	c 2133           5030           128111         483552         29             0              9   9   4      
0.77/0.17	c 2134           5033           128151         483694         29             0              3   3   1      
0.77/0.17	c 4000           7276           126560         553845         29             0              7   33   22    
0.77/0.17	c 2135           5042           128267         483997         29             0              9   9   4      
0.77/0.17	c 2136           5045           128307         484139         29             0              3   3   1      
0.77/0.17	c 2137           5054           128423         484442         29             0              9   9   4      
0.77/0.17	c 2138           5057           128463         484584         29             0              3   3   1      
0.77/0.17	c 2139           5066           128579         484887         29             0              9   9   4      
0.77/0.17	c 2140           5069           128619         485029         29             0              3   3   1      
0.77/0.17	c 2141           5078           128735         485332         29             0              9   9   4      
0.77/0.17	c 2142           5081           128775         485474         29             0              3   3   1      
0.77/0.17	c 2143           5090           128891         485777         29             0              9   9   4      
0.77/0.17	c 2144           5093           128931         485919         29             0              3   3   1      
0.77/0.17	c 2145           5102           129047         486222         29             0              9   9   4      
0.77/0.17	c 2146           5105           129087         486364         29             0              3   3   1      
0.77/0.17	c 4000           6297           129002         555813         29             0              10   27   21   
0.77/0.17	c 2147           5114           129203         486667         29             0              9   9   4      
0.77/0.17	c 2148           5117           129243         486809         29             0              3   3   1      
0.77/0.17	c 2149           5126           129359         487112         29             0              9   9   4      
0.77/0.17	c 2150           5129           129399         487254         29             0              3   3   1      
0.77/0.17	c 2151           5138           129515         487557         29             0              9   9   4      
0.77/0.17	c 2152           5141           129555         487699         29             0              3   3   1      
0.77/0.17	c 2153           5150           129671         488002         29             0              9   9   4      
0.77/0.17	c 2154           5153           129711         488144         29             0              3   3   1      
0.77/0.17	c 2155           5162           129827         488447         29             0              9   9   4      
0.77/0.17	c 2156           5165           129867         488589         29             0              3   3   1      
0.77/0.17	c 2157           5174           129983         488892         29             0              9   9   4      
0.77/0.17	c 2158           5177           130023         489034         29             0              3   3   1      
0.77/0.17	c 2159           5186           130139         489337         29             0              9   9   4      
0.77/0.17	c 2160           5189           130179         489479         29             0              3   3   1      
0.77/0.17	c 2161           5198           130295         489782         29             0              9   9   4      
0.77/0.17	c 2162           5201           130335         489924         29             0              3   3   1      
0.77/0.17	c 2163           5210           130451         490227         29             0              9   9   4      
0.77/0.17	c 2164           5213           130491         490369         29             0              3   3   1      
0.77/0.17	c 2165           5222           130607         490672         29             0              9   9   4      
0.77/0.17	c 2166           5225           130647         490814         29             0              3   3   1      
0.77/0.17	c 2167           5234           130763         491117         29             0              9   9   4      
0.77/0.17	c 2168           5237           130803         491259         29             0              3   3   1      
0.77/0.17	c 2169           5246           130919         491562         29             0              9   9   4      
0.77/0.17	c 2170           5249           130959         491704         29             0              3   3   1      
0.77/0.17	c 2171           5258           131075         492007         29             0              9   9   4      
0.77/0.17	c 2172           5261           131115         492149         29             0              3   3   1      
0.77/0.17	c 2173           5270           131231         492452         29             0              9   9   4      
0.77/0.17	c 2174           5273           131271         492594         29             0              3   3   1      
0.77/0.17	c 2175           5282           131387         492897         29             0              9   9   4      
0.77/0.17	c 3000           6321           132670         531625         29             0              7   35   21    
0.77/0.17	c 4000           7355           140905         532650         29             0              9   45   32    
0.77/0.17	c 4000           6126           122581         608894         29             0              5   51   33    
0.77/0.17	c 4493           6993           137117         612823         29             0              17   38   28   
0.77/0.18	c 4000           8546           140488         551233         29             0              12   21   15   
0.77/0.18	c 4000           8821           148473         532807         29             0              12   58   47   
0.77/0.18	c 4493           8167           140933         611575         29             0              17   33   22   
0.77/0.19	c 4096           8689           144877         567889         29             0              15   23   18   
0.77/0.19	c 4097           8710           145150         568748         29             0              21   21   10   
0.77/0.19	c 4096           8981           152408         546815         29             0              11   22   19   
0.77/0.19	c 4098           8731           145374         569474         29             0              21   21   10   
0.77/0.19	c 5035           7812           144501         653405         29             0              5   57   50    
0.77/0.19	c 4097           9005           152640         547692         29             0              24   24   12   
0.77/0.19	c 4099           8752           145647         570333         29             0              21   21   10   
0.77/0.19	c 4098           9009           152691         547822         29             0              4   4   2      
0.77/0.19	c 4099           9025           152859         548330         30             0              16   16   8    
0.77/0.19	c 4100           8773           145878         571060         30             0              21   21   10   
0.77/0.19	c 4100           9049           153091         549206         30             0              24   24   12   
0.77/0.19	c 4101           9053           153142         549335         30             0              4   4   2      
0.77/0.19	c 4101           8794           146151         571918         30             0              21   21   10   
0.77/0.19	c 4102           9069           153303         549842         30             0              16   16   8    
0.77/0.19	c 4102           8815           146375         572644         30             0              21   21   10   
0.77/0.19	c 4493           6799           130639         653699         29             0              c 4103           9093           153535         5   32   24550718
0.77/0.19	30             0              24   24   12   
0.77/0.19	c 4104           9097           153586         550847         30             0              4   4   2      
0.77/0.19	c 4103           8836           146648         573502         30             0              21   21   10   
0.77/0.19	c 4105           9113           153747         551354         30             0              16   16   8    
0.77/0.19	c 4104           8857           146872         574228         30             0              21   21   10   
0.77/0.19	c 4106           9137           153979         552230         30             0              24   24   12   
0.77/0.19	c 4107           9141           154030         552359         30             0              4   4   2      
0.77/0.19	c 4108           9157           154191         552866         30             0              16   16   8    
0.77/0.19	c 4105           8878           147145         575086         30             0              21   21   10   
0.77/0.19	c 4109           9181           154423         553742         30             0              24   24   12   
0.77/0.19	c 4106           8899           147369         575812         30             0              21   21   10   
0.77/0.19	c 4110           9185           154474         553871         30             0              4   4   2      
0.77/0.19	c 4111           9201           154635         554378         30             0              16   16   8    
0.77/0.19	c 4107           8920           147642         576670         30             0              21   21   10   
0.77/0.19	c 4112           9225           154867         555254         30             0              24   24   12   
0.77/0.19	c 4113           9229           154918         555383         30             0              4   4   2      
0.77/0.19	c 4108           8941           147866         577396         30             0              21   21   10   
0.77/0.19	c 4114           9245           155079         555890         30             0              16   16   8    
0.77/0.19	c 4109           8962           148139         578254         30             0              21   21   10   
0.77/0.19	c 4115           9269           155311         556766         30             0              24   24   12   
0.77/0.19	c 4116           9273           155362         556895         30             0              4   4   2      
0.77/0.19	c 4110           8983           148363         578980         30             0              21   21   10   
0.77/0.19	c 4117           9289           155523         557402         30             0              16   16   8    
0.77/0.19	c 4111           9004           148636         579838         30             0              21   21   10   
0.77/0.19	c 4118           9313           155755         558278         30             0              24   24   12   
0.77/0.19	c 4119           9317           155806         558407         30             0              4   4   2      
0.77/0.19	c 4493           8238           155203         573163         29             0              9   34   30    
0.77/0.19	c c 4112           4120           90259333           148860155967         558914         58056430             0              30             0              16   16   8    
0.77/0.20	21   21   10   
0.77/0.20	c 4121           9357           156199         559790         30             0              24   24   12   
0.77/0.20	c 4122           9361           156250         559919         30             0              4   4   2      
0.77/0.20	c 4113           9046           149133         581422         30             0              21   21   10   
0.77/0.20	c 4123           9377           156411         560426         30             0              16   16   8    
0.77/0.20	c 4114           9067           149357         582148         30             0              21   21   10   
0.77/0.20	c 4124           9401           156643         561302         30             0              24   24   12   
0.77/0.20	c 4125           9405           156694         561431         30             0              4   4   2      
0.77/0.20	c 4126           9421           156855         561938         30             0              16   16   8    
0.77/0.20	c 4115           9088           149630         583006         30             0              21   21   10   
0.77/0.20	c 4127           9445           157087         562814         30             0              24   24   12   
0.77/0.20	c 4116           9109           149854         583732         30             0              21   21   10   
0.77/0.20	c 4128           9449           157138         562943         30             0              4   4   2      
0.77/0.20	c 4129           9465           157299         563450         30             0              16   16   8    
0.77/0.20	c 4117           9130           150127         584590         30             0              21   21   10   
0.77/0.20	c 4130           9489           157531         564326         30             0              24   24   12   
0.77/0.20	c 4131           9493           157582         564455         30             0              4   4   2      
0.77/0.20	c 4118           9151           150351         585316         30             0              21   21   10   
0.77/0.20	c 4132           9509           157743         564962         30             0              16   16   8    
0.77/0.20	c 4119           9172           150624         586174         30             0              21   21   10   
0.77/0.20	c 4133           9533           157975         565838         30             0              24   24   12   
0.77/0.20	c 4134           9537           158026         565967         30             0              4   4   2      
0.77/0.20	c 4120           9193           150848         586900         30             0              21   21   10   
0.77/0.20	c 4135           9553           158187         566474         30             0              16   16   8    
0.77/0.20	c 4136           9577           158419         567350         30             0              24   24   12   
0.77/0.20	c 4121           9214           151121         587758         30             0              21   21   10   
0.77/0.20	c 4137           9581           158470         567479         30             0              4   4   2      
0.77/0.20	c 4138           9597           158631         567986         30             0              16   16   8    
0.77/0.20	c 4122           9235           151345         588484         30             0              21   21   10   
0.77/0.20	c 4139           9621           158863         568862         30             0              24   24   12   
0.77/0.20	c 4140           9625           158914         568991         30             0              4   4   2      
0.77/0.20	c 4123           9256           151618         589342         30             0              21   21   10   
0.77/0.20	c 4141           9641           159075         569498         30             0              16   16   8    
0.77/0.20	c 4124           9277           151842         590068         30             0              21   21   10   
0.77/0.20	c 4142           9665           159307         570374         30             0              24   24   12   
0.77/0.20	c 4143           9669           159358         570503         30             0              4   4   2      
0.77/0.20	c 5000           8940           151553         652848         29             0              18   57   49   
0.77/0.20	c 4125           9298           152115         590926         30             0              21   21   10   
0.77/0.20	c 4144           9685           159519         571010         30             0              16   16   8    
0.77/0.20	c 4126           9319           152339         591652         30             0              21   21   10   
0.77/0.20	c 4145           9709           159751         571886         30             0              24   24   12   
0.77/0.20	c 4146           9713           159802         572015         30             0              4   4   2      
0.77/0.20	c 4127           9340           152612         592510         30             0              c 4147           9729           21   21   10  159963          572522         30             0              
0.77/0.20	16   16   8    
0.77/0.20	c 4128           9361           152836         593236         30             0              21   21   10   
0.77/0.20	c 4148           9753           160195         573398         30             0              24   24   12   
0.77/0.20	c 4149           9757           160246         573527         30             0              4   4   2      
0.77/0.20	c 4150           9773           160407         574034         30             0              16   16   8    
0.77/0.20	c 4129           9382           153109         594094         30             0              21   21   10   
0.77/0.20	c 4151           9797           160639         574910         30             0              24   24   12   
0.77/0.20	c 4152           9801           160690         575039         30             0              4   4   2      
0.77/0.20	c 4130           9403           153333         594820         30             0              21   21   10   
0.77/0.20	c 4153           9817           160851         575546         30             0              16   16   8    
0.77/0.20	c 4131           9424           153606         595678         30             0              21   21   10   
0.77/0.20	c 4154           9841           161083         576422         30             0              24   24   12   
0.77/0.20	c 4155           9845           161134         576551         30             0              4   4   2      
0.77/0.20	c 4132           9445           153830         596404         30             0              21   21   10   
0.77/0.20	c 4156           9861           161295         577058         30             0              16   16   8    
0.77/0.20	c 4133           9466           154103         597262         30             0              21   21   10   
0.77/0.20	c 4157           9885           161527         577934         30             0              24   24   12   
0.77/0.20	c 4158           9889           161578         578063         30             0              4   4   2      
0.77/0.20	c 4134           9487           154327         597988         30             0              21   21   10   
0.77/0.20	c 4159           9905           161739         578570         30             0              16   16   8    
0.77/0.20	c 5035           9016           154082         660673         30             0              19   26   21   
0.77/0.20	c 4160           9929           161971         579446         30             0              24   24   12   
0.77/0.20	c 4135           9508           154600         598846         30             0              21   21   10   
0.77/0.20	c 4161           9933           162022         579575         30             0              4   4   2      
0.77/0.20	c 4162           9949           162183         580082         30             0              16   16   8    
0.77/0.20	c 4136           9529           154824         599572         30             0              21   21   10   
0.77/0.20	c 4163           9973           162415         580958         30             0              24   24   12   
0.77/0.20	c 4164           9977           162466         581087         30             0              4   4   2      
0.77/0.20	c 4137           9550           155097         600430         30             0              21   21   10   
0.77/0.20	c 4165           9993           162627         581594         30             0              16   16   8    
0.77/0.20	c 4138           9571           155321         601156         30             0              21   21   10   
0.77/0.20	c 4166           10017          162859         582470         30             0              24   24   12   
0.77/0.20	c 4167           10021          162910         582599         30             0              4   4   2      
0.77/0.20	c 4139           9592           155594         602014         30             0              21   21   10   
0.77/0.20	c 4168           10037          163071         583106         30             0              16   16   8    
0.77/0.20	c 5000           7574           139289         707616         30             0              12   49   34   
0.77/0.20	c 4140           9613           155818         602740         30             0              21   21   10   
0.77/0.20	c 4169           10061          163303         583982         30             0              24   24   12   
0.77/0.20	c 4170           10065          163354         584111         30             0              4   4   2      
0.77/0.20	c 4171           10081          163515         584618         30             0              16   16   8    
0.77/0.20	c 4141           9634           156091         603598         30             0              21   21   10   
0.77/0.20	c 4172           10105          163747         585494         30             0              24   24   12   
0.77/0.20	c 4142           9655           156315         604324         30             0              21   21   10   
0.77/0.20	c 4173           10109          163798         585623         30             0              4   4   2      
0.77/0.20	c 4174           10125          163959         586130         30             0              16   16   8    
0.77/0.20	c 4143           9676           156588         605182         30             0              21   21   10   
0.77/0.20	c 4175           10149          164191         587006         30             0              24   24   12   
0.77/0.20	c 4176           10153          164242         587135         30             0              4   4   2      
0.77/0.20	c 4144           9697           156812         605908         30             0              21   21   10   
0.77/0.20	c 4177           10169          164403         587642         30             0              16   16   8    
0.77/0.20	c 4145           9718           157085         606766         30             0              21   21   10   
0.77/0.20	c 4178           10193          164635         588518         30             0              24   24   12   
0.77/0.20	c 4179           10197          164686         588647         30             0              4   4   2      
0.77/0.20	c 4180           10213          164847         589154         30             0              16   16   8    
0.77/0.20	c 4181           10237          165079         590030         30             0              24   24   12   
0.77/0.20	c 4146           9739           157309         607492         30             0              21   21   10   
0.77/0.20	c 4182           10241          165130         590159         30             0              4   4   2      
0.77/0.20	c 4183           10257          165291         590666         30             0              16   16   8    
0.77/0.20	c 4147           9760           157582         608350         30             0              21   21   10   
0.77/0.20	c 4184           10281          165523         591542         30             0              24   24   12   
0.77/0.20	c 5035           7638           141257         719174         30             0              12   22   19   
0.77/0.20	c 4185           10285          165574         591671         30             0              4   4   2      
0.77/0.20	c 4148           9781           157806         609076         30             0              21   21   10   
0.77/0.20	c 4186           10301          165735         592178         30             0              16   16   8    
0.77/0.20	c 4149           9802           158079         609934         30             0              21   21   10   
0.77/0.20	c 4187           10325          165967         593054         30             0              24   24   12   
0.77/0.20	c 4188           10329          c 166018         593183         30             0              5000           9044           166018         4   4   2615393         
0.77/0.20	30             0              9   59   48    
0.77/0.20	c 4150           9823           158303         610660         30             0              21   21   10   
0.77/0.20	c 4189           10345          166179         593690         30             0              16   16   8    
0.77/0.20	c 4151           9844           158576         611518         30             0              21   21   10   
0.77/0.20	c 4190           10369          166411         594566         30             0              24   24   12   
0.77/0.20	c 4191           10373          166462         594695         30             0              4   4   2      
0.77/0.20	c 4152           9865           158800         612244         30             0              21   21   10   
0.77/0.20	c 4192           10389          166623         595202         30             0              16   16   8    
0.77/0.20	c 4193           10413          166855         596078         30             0              24   24   12   
0.77/0.20	c 4153           9886           159073         613102         30             0              21   21   10   
0.77/0.20	c 4194           10417          166906         596207         30             0              4   4   2      
0.77/0.20	c 4195           10433          167067         596714         30             0              16   16   8    
0.77/0.20	c 4154           9907           159297         613828         30             0              21   21   10   
0.77/0.20	c 4196           10457          167299         597590         30             0              24   24   12   
0.77/0.20	c 4197           10461          167350         597719         30             0              4   4   2      
0.77/0.20	c 4155           9928           159570         614686         30             0              21   21   10   
0.77/0.20	c 4198           10477          167511         598226         30             0              16   16   8    
0.77/0.20	c 4156           9949           159794         615412         30             0              21   21   10   
0.77/0.20	c 4199           10501          167743         599102         30             0              24   24   12   
0.77/0.20	c 4200           10505          167794         599231         30             0              4   4   2      
0.77/0.20	c 4201           10521          167955         599738         30             0              16   16   8    
0.77/0.20	c 4157           9970           160171         616602         30             0              21   21   10   
0.77/0.20	c 4158           9988           160324         616940         30             0              18   18   9    
0.77/0.20	c 4202           10545          168187         600614         30             0              24   24   12   
0.77/0.20	c 4203           10549          168238         600743         30             0              4   4   2      
0.77/0.20	c 4159           10004          160461         617336         30             0              16   16   8    
0.77/0.20	c 4204           10565          168399         601250         30             0              16   16   8    
0.77/0.20	c 4160           10027          160648         617832         30             0              23   23   11   
0.77/0.20	c 4205           10589          168631         602126         30             0              24   24   12   
0.77/0.20	c 4161           10044          160808         618293         30             0              17   17   8    
0.77/0.20	c 4206           10593          168682         602255         30             0              4   4   2      
0.77/0.20	c 4162           10067          160995         618789         30             0              23   23   11   
0.77/0.20	c 4207           10609          168843         602762         30             0              16   16   8    
0.77/0.20	c 4163           10084          161155         619250         30             0              17   17   8    
0.77/0.20	c 4208           10633          169075         603638         30             0              24   24   12   
0.77/0.20	c 5035           9121           169056         623649         30             0              9   23   12    
0.77/0.20	c 4209           10637          169126         603767         30             0              4   4   2      
0.77/0.20	c 4164           10107          161342         619746         30             0              23   23   11   
0.77/0.20	c 4210           10653          169287         604274         30             0              16   16   8    
0.77/0.20	c 4165           10124          161502         620207         30             0              17   17   8    
0.77/0.20	c First solution is found
0.77/0.20	c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 6.
0.77/0.20	c [pFactory][Group N°0] Thread N°0 is joined.
0.77/0.20	c [pFactory][Group N°0] Thread N°1 is joined.
0.77/0.20	c [pFactory][Group N°0] Thread N°2 is joined.
0.77/0.20	c [pFactory][Group N°0] Thread N°3 is joined.
0.77/0.20	c [pFactory][Group N°0] Thread N°4 is joined.
0.77/0.20	c [pFactory][Group N°0] Thread N°5 is joined.
0.77/0.20	c [pFactory][Group N°0] Thread N°6 is joined.
0.77/0.20	c [pFactory][Group N°0] Thread N°7 is joined.
0.77/0.20	c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°2)
0.77/0.20	s SATISFIABLE
0.77/0.20	c restarts              : 267         
0.77/0.20	c conflicts             : 2691         (1721 /sec)
0.77/0.20	c decisions             : 6226         (3982 /sec)
0.77/0.20	c propagations          : 625082      (399820 /sec)
0.77/0.20	c root propagations     : 292         
0.77/0.20	c filter calls          : 160448         (102627 /sec)
0.77/0.20	c useless filter calls  : 90456          (56 %)
0.77/0.20	c Memory used           : 571.37 MB
0.77/0.20	c CPU time              : 1.56337 s
0.77/0.20	c real time             : 0.204763 s
0.77/0.20	
0.77/0.20	c solution 1
0.77/0.20	
0.77/0.20	v <instantiation type='solution'>
0.77/0.20	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] </list>
0.77/0.20	v <values>15 * 14 8 14 13 13 8 28 3 2 17 8 6 5 20 * 24 4 17 2 21 * 25 2 4 6 26 19 27 20 15 26 24 26 18 15 22 6 6 28 9 25 8 11 5 10 9 14 9 9 22 * 20 21 10 21 20 * 29 4 16 * 19 20 9 11 9 2 21 * 19 29 13 23 2 * * * 16 * 26 15 16 5 10 5 2 2 26 10 3 17 28 29 8 * 8 11 28 </values>
0.77/0.20	v </instantiation>
0.77/0.20

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398045-1568605851/watcher-4398045-1568605851 -o /tmp/evaluation-result-4398045-1568605851/solver-4398045-1568605851 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398045-1568605851.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=8871, runsolver pid=8868

[startup+0.100177 s]*
/proc/loadavg: 8.28 8.35 8.14 10/200 8880
/proc/meminfo: memFree=31566148/32770624 swapFree=66998824/67108860
[pid=8871] ppid=8868 vsize=617860 memory=4664 CPUtime=0.77 cores=0-7
/proc/8871/stat : 8871 (cosoco) S 8868 8871 7626 0 -1 1077944320 1494 0 0 0 77 0 0 0 20 0 9 0 436836509 632688640 1166 33554432000 4194304 6211092 140723339809280 140723339807536 140290274651895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
/proc/8871/statm: 154465 1166 873 493 0 147770 0
[pid=8871/tid=8873] ppid=8868 vsize=617860 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/8871/task/8873/stat : 8873 (cosoco) R 8868 8871 7626 0 -1 4202560 25 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290251508808 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8874] ppid=8868 vsize=617860 memory=4342489072520795239 CPUtime=0.09 cores=0-7
/proc/8871/task/8874/stat : 8874 (cosoco) R 8868 8871 7626 0 -1 4202560 18 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290243116128 5149192 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8875] ppid=8868 vsize=617860 memory=139762336450176 CPUtime=0.09 cores=0-7
/proc/8871/task/8875/stat : 8875 (cosoco) R 8868 8871 7626 0 -1 4202560 22 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290234723424 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8876] ppid=8868 vsize=617860 memory=0 CPUtime=0.09 cores=0-7
/proc/8871/task/8876/stat : 8876 (cosoco) R 8868 8871 7626 0 -1 4202560 16 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290226330408 5149608 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8877] ppid=8868 vsize=617860 memory=0 CPUtime=0.08 cores=0-7
/proc/8871/task/8877/stat : 8877 (cosoco) R 8868 8871 7626 0 -1 4202560 17 0 0 0 8 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290217938016 5193703 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8878] ppid=8868 vsize=617860 memory=0 CPUtime=0.09 cores=0-7
/proc/8871/task/8878/stat : 8878 (cosoco) R 8868 8871 7626 0 -1 4202560 16 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290209545000 5148679 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8879] ppid=8868 vsize=617860 memory=-1 CPUtime=0.09 cores=0-7
/proc/8871/task/8879/stat : 8879 (cosoco) R 8868 8871 7626 0 -1 4202560 18 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290201152584 5390211 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8880] ppid=8868 vsize=617860 memory=0 CPUtime=0.09 cores=0-7
/proc/8871/task/8880/stat : 8880 (cosoco) R 8868 8871 7626 0 -1 4202560 16 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290192759904 140290259049597 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 617860 KiB
Current children cumulated memory: 4664 KiB

[startup+0.208379 s]
# the end of solver process 8871 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1.56341 s, system=0.00699 s

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

[startup+0.100177 s]*
/proc/loadavg: 8.28 8.35 8.14 10/200 8880
/proc/meminfo: memFree=31566148/32770624 swapFree=66998824/67108860
[pid=8871] ppid=8868 vsize=617860 memory=4664 CPUtime=0.77 cores=0-7
/proc/8871/stat : 8871 (cosoco) S 8868 8871 7626 0 -1 1077944320 1494 0 0 0 77 0 0 0 20 0 9 0 436836509 632688640 1166 33554432000 4194304 6211092 140723339809280 140723339807536 140290274651895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
/proc/8871/statm: 154465 1166 873 493 0 147770 0
[pid=8871/tid=8873] ppid=8868 vsize=617860 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/8871/task/8873/stat : 8873 (cosoco) R 8868 8871 7626 0 -1 4202560 25 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290251508808 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8874] ppid=8868 vsize=617860 memory=4342489072520795239 CPUtime=0.09 cores=0-7
/proc/8871/task/8874/stat : 8874 (cosoco) R 8868 8871 7626 0 -1 4202560 18 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290243116128 5149192 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8875] ppid=8868 vsize=617860 memory=139762336450176 CPUtime=0.09 cores=0-7
/proc/8871/task/8875/stat : 8875 (cosoco) R 8868 8871 7626 0 -1 4202560 22 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290234723424 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8876] ppid=8868 vsize=617860 memory=0 CPUtime=0.09 cores=0-7
/proc/8871/task/8876/stat : 8876 (cosoco) R 8868 8871 7626 0 -1 4202560 16 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290226330408 5149608 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8877] ppid=8868 vsize=617860 memory=0 CPUtime=0.08 cores=0-7
/proc/8871/task/8877/stat : 8877 (cosoco) R 8868 8871 7626 0 -1 4202560 17 0 0 0 8 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290217938016 5193703 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8878] ppid=8868 vsize=617860 memory=0 CPUtime=0.09 cores=0-7
/proc/8871/task/8878/stat : 8878 (cosoco) R 8868 8871 7626 0 -1 4202560 16 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290209545000 5148679 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8879] ppid=8868 vsize=617860 memory=-1 CPUtime=0.09 cores=0-7
/proc/8871/task/8879/stat : 8879 (cosoco) R 8868 8871 7626 0 -1 4202560 18 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290201152584 5390211 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
[pid=8871/tid=8880] ppid=8868 vsize=617860 memory=0 CPUtime=0.09 cores=0-7
/proc/8871/task/8880/stat : 8880 (cosoco) R 8868 8871 7626 0 -1 4202560 16 0 0 0 9 0 0 0 20 0 9 0 436836511 632688640 1166 33554432000 4194304 6211092 140723339809280 140290192759904 140290259049597 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28340224 140723339813905 140723339813997 140723339813997 140723339816910 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 617860 KiB
Current children cumulated memory: 4664 KiB

Child status: 0
Real time (s): 0.208402
CPU time (s): 1.5704
CPU user time (s): 1.56341
CPU system time (s): 0.00699
CPU usage (%): 753.544
Max. virtual memory (cumulated for all children) (KiB): 617860
Max. memory (cumulated for all children) (KiB): 4664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.56341
system time used= 0.00699
maximum resident set size= 5352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1520
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= 226
involuntary context switches= 38


# summary of solver processes directly reported to runsolver:
#   pid: 8871
#   total CPU time (s): 1.5704
#   total CPU user time (s): 1.56341
#   total CPU system time (s): 0.00699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016414 second user time and 0.020211 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-16 05:50:05
IDJOB=4398045
IDBENCH=133410
IDSOLVER=2851
FILE ID=node102/4398045-1568605851
RUNJOBID= node102-1568597211-7653
PBS_JOBID= 21703406
Free space on /tmp= 59328 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-40-2-7.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398045-1568605851/watcher-4398045-1568605851 -o /tmp/evaluation-result-4398045-1568605851/solver-4398045-1568605851 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398045-1568605851.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= c03c7f5b7c3afa870e2bbdca7571e3a2
RANDOM SEED=902013849

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31566516 kB
MemAvailable:   31904640 kB
Buffers:          127332 kB
Cached:           510412 kB
SwapCached:         7700 kB
Active:           375376 kB
Inactive:         273056 kB
Active(anon):       6380 kB
Inactive(anon):    46568 kB
Active(file):     368996 kB
Inactive(file):   226488 kB
Unevictable:      110384 kB
Mlocked:          110384 kB
SwapTotal:      67108860 kB
SwapFree:       66998824 kB
Dirty:              2872 kB
Writeback:             0 kB
AnonPages:        121348 kB
Mapped:            40556 kB
Shmem:             33416 kB
Slab:             145120 kB
SReclaimable:     116948 kB
SUnreclaim:        28172 kB
KernelStack:        3728 kB
PageTables:         5932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59324 MiB
End job on node102 at 2019-09-16 05:50:06