Trace number 4240216

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1? (TO) 2400.07 2400.8

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K10-P04.xml
MD5SUMddb81c87fc1d8e68708f77d31c52a231
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables470
Number of constraints212
Number of domains2
Minimum domain size210
Maximum domain size211
Distribution of domain sizes[{"size":210,"count":210},{"size":211,"count":40}]
Minimum variable degree0
Maximum variable degree12
Distribution of variable degrees[{"degree":0,"count":220},{"degree":2,"count":210},{"degree":11,"count":20},{"degree":12,"count":20}]
Minimum constraint arity3
Maximum constraint arity210
Distribution of constraint arities[{"arity":3,"count":210},{"arity":40,"count":1},{"arity":210,"count":1}]
Number of extensional constraints0
Number of intensional constraints210
Distribution of constraint types[{"type":"intension","count":210},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.99/1.04	c SAT : Variables: 98740 -- Clauses: 10323020
0.99/1.05	c root propagations     : 0           
0.99/1.05	c restarts enabled, print stats at every restarts
0.99/1.05	c
0.99/1.05	c
0.99/1.05	c
0.99/1.05	c This is cosoco 1.0 --  
0.99/1.05	c
0.99/1.05	c ========================================[ Problem Statistics ]===========================================
0.99/1.05	c |                                                                                                       
0.99/1.05	c |  Parse time        :         0.93 s 
0.99/1.05	c |
0.99/1.05	c |               Variables: 470
0.99/1.05	c |            Domain Sizes: 210..211
0.99/1.05	c |
0.99/1.05	c |             Constraints: 212
0.99/1.05	c |                   Arity: 3..210  -- Ternary: 210
0.99/1.05	c | 
0.99/1.05	c |                   Types: 
0.99/1.05	c |                          All Different: 2
0.99/1.05	c |                          Intension: 210
0.99/1.05	c |                          
0.99/1.05	c =========================================================================================================
0.99/1.05	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.99/1.05	c remove useless variable ce[0][0][0]
0.99/1.05	c remove useless variable ce[0][1][0]
0.99/1.05	c remove useless variable ce[0][1][1]
0.99/1.05	c remove useless variable ce[0][2][0]
0.99/1.05	c remove useless variable ce[0][2][1]
0.99/1.05	c remove useless variable ce[0][2][2]
0.99/1.05	c remove useless variable ce[0][3][0]
0.99/1.05	c remove useless variable ce[0][3][1]
0.99/1.05	c remove useless variable ce[0][3][2]
0.99/1.05	c remove useless variable ce[0][3][3]
0.99/1.05	c remove useless variable ce[0][4][0]
0.99/1.05	c remove useless variable ce[0][4][1]
0.99/1.05	c remove useless variable ce[0][4][2]
0.99/1.05	c remove useless variable ce[0][4][3]
0.99/1.05	c remove useless variable ce[0][4][4]
0.99/1.05	c remove useless variable ce[0][5][0]
0.99/1.05	c remove useless variable ce[0][5][1]
0.99/1.05	c remove useless variable ce[0][5][2]
0.99/1.05	c remove useless variable ce[0][5][3]
0.99/1.05	c remove useless variable ce[0][5][4]
0.99/1.05	c remove useless variable ce[0][5][5]
0.99/1.05	c remove useless variable ce[0][6][0]
0.99/1.05	c remove useless variable ce[0][6][1]
0.99/1.05	c remove useless variable ce[0][6][2]
0.99/1.05	c remove useless variable ce[0][6][3]
0.99/1.05	c remove useless variable ce[0][6][4]
0.99/1.05	c remove useless variable ce[0][6][5]
0.99/1.05	c remove useless variable ce[0][6][6]
0.99/1.05	c remove useless variable ce[0][7][0]
0.99/1.05	c remove useless variable ce[0][7][1]
0.99/1.05	c remove useless variable ce[0][7][2]
0.99/1.05	c remove useless variable ce[0][7][3]
0.99/1.05	c remove useless variable ce[0][7][4]
0.99/1.05	c remove useless variable ce[0][7][5]
0.99/1.05	c remove useless variable ce[0][7][6]
0.99/1.05	c remove useless variable ce[0][7][7]
0.99/1.05	c remove useless variable ce[0][8][0]
0.99/1.05	c remove useless variable ce[0][8][1]
0.99/1.05	c remove useless variable ce[0][8][2]
0.99/1.05	c remove useless variable ce[0][8][3]
0.99/1.05	c remove useless variable ce[0][8][4]
0.99/1.05	c remove useless variable ce[0][8][5]
0.99/1.05	c remove useless variable ce[0][8][6]
0.99/1.05	c remove useless variable ce[0][8][7]
0.99/1.05	c remove useless variable ce[0][8][8]
0.99/1.05	c remove useless variable ce[0][9][0]
0.99/1.05	c remove useless variable ce[0][9][1]
0.99/1.05	c remove useless variable ce[0][9][2]
0.99/1.05	c remove useless variable ce[0][9][3]
0.99/1.05	c remove useless variable ce[0][9][4]
0.99/1.05	c remove useless variable ce[0][9][5]
0.99/1.05	c remove useless variable ce[0][9][6]
0.99/1.05	c remove useless variable ce[0][9][7]
0.99/1.05	c remove useless variable ce[0][9][8]
0.99/1.05	c remove useless variable ce[0][9][9]
0.99/1.05	c remove useless variable ce[1][0][0]
0.99/1.05	c remove useless variable ce[1][1][0]
0.99/1.05	c remove useless variable ce[1][1][1]
0.99/1.05	c remove useless variable ce[1][2][0]
0.99/1.05	c remove useless variable ce[1][2][1]
0.99/1.05	c remove useless variable ce[1][2][2]
0.99/1.05	c remove useless variable ce[1][3][0]
0.99/1.05	c remove useless variable ce[1][3][1]
0.99/1.05	c remove useless variable ce[1][3][2]
0.99/1.05	c remove useless variable ce[1][3][3]
0.99/1.05	c remove useless variable ce[1][4][0]
0.99/1.05	c remove useless variable ce[1][4][1]
0.99/1.05	c remove useless variable ce[1][4][2]
0.99/1.05	c remove useless variable ce[1][4][3]
0.99/1.05	c remove useless variable ce[1][4][4]
0.99/1.05	c remove useless variable ce[1][5][0]
0.99/1.05	c remove useless variable ce[1][5][1]
0.99/1.05	c remove useless variable ce[1][5][2]
0.99/1.05	c remove useless variable ce[1][5][3]
0.99/1.05	c remove useless variable ce[1][5][4]
0.99/1.05	c remove useless variable ce[1][5][5]
0.99/1.05	c remove useless variable ce[1][6][0]
0.99/1.05	c remove useless variable ce[1][6][1]
0.99/1.05	c remove useless variable ce[1][6][2]
0.99/1.05	c remove useless variable ce[1][6][3]
0.99/1.05	c remove useless variable ce[1][6][4]
0.99/1.05	c remove useless variable ce[1][6][5]
0.99/1.05	c remove useless variable ce[1][6][6]
0.99/1.05	c remove useless variable ce[1][7][0]
0.99/1.05	c remove useless variable ce[1][7][1]
0.99/1.05	c remove useless variable ce[1][7][2]
0.99/1.05	c remove useless variable ce[1][7][3]
0.99/1.05	c remove useless variable ce[1][7][4]
0.99/1.05	c remove useless variable ce[1][7][5]
0.99/1.05	c remove useless variable ce[1][7][6]
0.99/1.05	c remove useless variable ce[1][7][7]
0.99/1.05	c remove useless variable ce[1][8][0]
0.99/1.05	c remove useless variable ce[1][8][1]
0.99/1.05	c remove useless variable ce[1][8][2]
0.99/1.05	c remove useless variable ce[1][8][3]
0.99/1.05	c remove useless variable ce[1][8][4]
0.99/1.05	c remove useless variable ce[1][8][5]
0.99/1.05	c remove useless variable ce[1][8][6]
0.99/1.05	c remove useless variable ce[1][8][7]
0.99/1.05	c remove useless variable ce[1][8][8]
0.99/1.05	c remove useless variable ce[1][9][0]
0.99/1.05	c remove useless variable ce[1][9][1]
0.99/1.05	c remove useless variable ce[1][9][2]
0.99/1.05	c remove useless variable ce[1][9][3]
0.99/1.05	c remove useless variable ce[1][9][4]
0.99/1.05	c remove useless variable ce[1][9][5]
0.99/1.05	c remove useless variable ce[1][9][6]
0.99/1.05	c remove useless variable ce[1][9][7]
0.99/1.05	c remove useless variable ce[1][9][8]
0.99/1.05	c remove useless variable ce[1][9][9]
0.99/1.05	c remove useless variable ce[2][0][0]
0.99/1.05	c remove useless variable ce[2][1][0]
0.99/1.05	c remove useless variable ce[2][1][1]
0.99/1.05	c remove useless variable ce[2][2][0]
0.99/1.05	c remove useless variable ce[2][2][1]
0.99/1.05	c remove useless variable ce[2][2][2]
0.99/1.05	c remove useless variable ce[2][3][0]
0.99/1.05	c remove useless variable ce[2][3][1]
0.99/1.05	c remove useless variable ce[2][3][2]
0.99/1.05	c remove useless variable ce[2][3][3]
0.99/1.05	c remove useless variable ce[2][4][0]
0.99/1.05	c remove useless variable ce[2][4][1]
0.99/1.05	c remove useless variable ce[2][4][2]
0.99/1.05	c remove useless variable ce[2][4][3]
0.99/1.05	c remove useless variable ce[2][4][4]
0.99/1.05	c remove useless variable ce[2][5][0]
0.99/1.05	c remove useless variable ce[2][5][1]
0.99/1.05	c remove useless variable ce[2][5][2]
0.99/1.05	c remove useless variable ce[2][5][3]
0.99/1.05	c remove useless variable ce[2][5][4]
0.99/1.05	c remove useless variable ce[2][5][5]
0.99/1.05	c remove useless variable ce[2][6][0]
0.99/1.05	c remove useless variable ce[2][6][1]
0.99/1.05	c remove useless variable ce[2][6][2]
0.99/1.05	c remove useless variable ce[2][6][3]
0.99/1.05	c remove useless variable ce[2][6][4]
0.99/1.05	c remove useless variable ce[2][6][5]
0.99/1.05	c remove useless variable ce[2][6][6]
0.99/1.05	c remove useless variable ce[2][7][0]
0.99/1.05	c remove useless variable ce[2][7][1]
0.99/1.05	c remove useless variable ce[2][7][2]
0.99/1.05	c remove useless variable ce[2][7][3]
0.99/1.05	c remove useless variable ce[2][7][4]
0.99/1.05	c remove useless variable ce[2][7][5]
0.99/1.05	c remove useless variable ce[2][7][6]
0.99/1.05	c remove useless variable ce[2][7][7]
0.99/1.05	c remove useless variable ce[2][8][0]
0.99/1.05	c remove useless variable ce[2][8][1]
0.99/1.05	c remove useless variable ce[2][8][2]
0.99/1.05	c remove useless variable ce[2][8][3]
0.99/1.05	c remove useless variable ce[2][8][4]
0.99/1.05	c remove useless variable ce[2][8][5]
0.99/1.05	c remove useless variable ce[2][8][6]
0.99/1.05	c remove useless variable ce[2][8][7]
0.99/1.05	c remove useless variable ce[2][8][8]
0.99/1.05	c remove useless variable ce[2][9][0]
0.99/1.05	c remove useless variable ce[2][9][1]
0.99/1.05	c remove useless variable ce[2][9][2]
0.99/1.05	c remove useless variable ce[2][9][3]
0.99/1.05	c remove useless variable ce[2][9][4]
0.99/1.05	c remove useless variable ce[2][9][5]
0.99/1.05	c remove useless variable ce[2][9][6]
0.99/1.05	c remove useless variable ce[2][9][7]
0.99/1.05	c remove useless variable ce[2][9][8]
0.99/1.05	c remove useless variable ce[2][9][9]
0.99/1.05	c remove useless variable ce[3][0][0]
0.99/1.05	c remove useless variable ce[3][1][0]
0.99/1.05	c remove useless variable ce[3][1][1]
0.99/1.05	c remove useless variable ce[3][2][0]
0.99/1.05	c remove useless variable ce[3][2][1]
0.99/1.05	c remove useless variable ce[3][2][2]
0.99/1.05	c remove useless variable ce[3][3][0]
0.99/1.05	c remove useless variable ce[3][3][1]
0.99/1.05	c remove useless variable ce[3][3][2]
0.99/1.05	c remove useless variable ce[3][3][3]
0.99/1.05	c remove useless variable ce[3][4][0]
0.99/1.05	c remove useless variable ce[3][4][1]
0.99/1.05	c remove useless variable ce[3][4][2]
0.99/1.05	c remove useless variable ce[3][4][3]
0.99/1.05	c remove useless variable ce[3][4][4]
0.99/1.05	c remove useless variable ce[3][5][0]
0.99/1.05	c remove useless variable ce[3][5][1]
0.99/1.05	c remove useless variable ce[3][5][2]
0.99/1.05	c remove useless variable ce[3][5][3]
0.99/1.05	c remove useless variable ce[3][5][4]
0.99/1.05	c remove useless variable ce[3][5][5]
0.99/1.05	c remove useless variable ce[3][6][0]
0.99/1.05	c remove useless variable ce[3][6][1]
0.99/1.05	c remove useless variable ce[3][6][2]
0.99/1.05	c remove useless variable ce[3][6][3]
0.99/1.05	c remove useless variable ce[3][6][4]
0.99/1.05	c remove useless variable ce[3][6][5]
0.99/1.05	c remove useless variable ce[3][6][6]
0.99/1.05	c remove useless variable ce[3][7][0]
0.99/1.05	c remove useless variable ce[3][7][1]
0.99/1.05	c remove useless variable ce[3][7][2]
0.99/1.05	c remove useless variable ce[3][7][3]
0.99/1.05	c remove useless variable ce[3][7][4]
0.99/1.05	c remove useless variable ce[3][7][5]
0.99/1.05	c remove useless variable ce[3][7][6]
0.99/1.05	c remove useless variable ce[3][7][7]
0.99/1.05	c remove useless variable ce[3][8][0]
0.99/1.05	c remove useless variable ce[3][8][1]
0.99/1.05	c remove useless variable ce[3][8][2]
0.99/1.05	c remove useless variable ce[3][8][3]
0.99/1.05	c remove useless variable ce[3][8][4]
0.99/1.05	c remove useless variable ce[3][8][5]
0.99/1.05	c remove useless variable ce[3][8][6]
0.99/1.05	c remove useless variable ce[3][8][7]
0.99/1.05	c remove useless variable ce[3][8][8]
0.99/1.05	c remove useless variable ce[3][9][0]
0.99/1.05	c remove useless variable ce[3][9][1]
0.99/1.05	c remove useless variable ce[3][9][2]
0.99/1.05	c remove useless variable ce[3][9][3]
0.99/1.05	c remove useless variable ce[3][9][4]
0.99/1.05	c remove useless variable ce[3][9][5]
0.99/1.05	c remove useless variable ce[3][9][6]
0.99/1.05	c remove useless variable ce[3][9][7]
0.99/1.05	c remove useless variable ce[3][9][8]
0.99/1.05	c remove useless variable ce[3][9][9]
0.99/1.09	c 10             220            22710          24586          0              10             211   211   191
1.10/1.12	c 20             370            42504          63992          0              20             4   141   115  
1.10/1.12	c 30             391            43861          70494          0              30             6   12   9     
1.10/1.13	c 40             412            45129          76647          0              40             6   12   8     
1.10/1.13	c 50             433            46367          82987          0              50             6   12   9     
1.10/1.13	c 60             454            47669          89065          0              60             4   12   9     
1.10/1.13	c 70             475            48968          93938          0              70             4   12   7     
1.10/1.14	c 80             496            50266          98602          0              80             4   12   8     
1.10/1.14	c 90             517            51600          103268         0              90             12   12   10   
1.10/1.14	c 100            538            52729          109236         0              100            5   12   9     
1.10/1.14	c 101            550            53904          111854         0              101            12   12   6    
1.10/1.15	c 110            570            55181          117179         0              110            6   12   7     
1.10/1.15	c 120            591            56454          122047         0              120            4   12   8     
1.10/1.15	c 130            612            57741          126707         0              130            4   12   8     
1.10/1.17	c 140            705            70743          146389         0              140            12   84   17   
1.10/1.18	c 150            729            72262          152698         0              150            6   15   10    
1.10/1.18	c 160            750            73565          158843         0              160            6   12   8     
1.10/1.18	c 170            771            74874          163949         0              170            6   12   9     
1.10/1.19	c 180            816            78736          182013         0              180            17   36   27   
1.10/1.19	c 190            834            80012          186896         0              190            4   9   6      
1.10/1.20	c 200            855            81300          191563         0              200            4   12   8     
1.10/1.20	c 210            876            82434          197738         0              210            5   12   9     
1.10/1.20	c 211            882            83117          198904         0              211            6   6   3      
1.20/1.20	c 220            902            84069          205921         0              220            5   12   8     
1.20/1.20	c 230            923            85383          211866         0              230            6   12   8     
1.20/1.21	c 240            951            87607          228043         0              240            12   19   14   
1.20/1.21	c 250            973            89089          233519         0              250            4   13   8     
1.20/1.22	c 260            994            90058          241166         0              260            5   12   9     
1.20/1.22	c 270            1015           91159          246500         0              270            6   12   8     
1.20/1.23	c 280            1060           93687          263897         0              280            12   36   20   
1.20/1.23	c 290            1078           94962          267706         0              290            3   9   6      
1.20/1.23	c 300            1096           96082          271552         0              300            7   9   7      
1.20/1.23	c 310            1113           97136          275199         0              310            4   8   6      
1.20/1.23	c 320            1134           98223          280122         0              320            6   12   9     
1.20/1.24	c 330            1155           99512          284784         0              330            4   12   9     
1.20/1.24	c 332            1168           100733         287786         0              332            9   12   7     
1.20/1.24	c 340            1184           101782         292046         0              340            4   9   6      
1.20/1.25	c 350            1210           103355         300194         0              350            12   17   12   
1.20/1.25	c 360            1230           104484         306575         0              360            5   11   8     
1.20/1.25	c 370            1251           105781         311483         0              370            5   12   9     
1.20/1.25	c 380            1276           107317         318785         0              380            12   16   11   
1.20/1.26	c 390            1298           108811         323649         0              390            4   13   8     
1.20/1.27	c 400            1352           112291         344641         0              400            17   45   28   
1.20/1.27	c 410            1374           113760         350161         0              410            3   13   7     
1.20/1.28	c 420            1438           117936         374404         0              420            55   55   50   
1.20/1.28	c 430            1460           119430         379268         0              430            4   13   8     
1.20/1.28	c 440            1481           120739         385002         0              440            6   12   8     
1.20/1.29	c 450            1507           122402         392754         0              450            12   17   15   
1.20/1.29	c 460            1531           123897         399282         0              460            5   15   9     
1.20/1.29	c 465            1547           125079         403181         0              465            8   12   8     
1.29/1.30	c 470            1560           126078         406224         0              470            6   9   7      
1.29/1.30	c 480            1581           127372         411339         0              480            6   12   8     
1.29/1.31	c 490            1623           129969         445781         0              490            12   33   23   
1.29/1.31	c 500            1641           131245         450664         0              500            4   9   6      
1.29/1.32	c 510            1683           133859         466405         0              510            12   33   18   
1.29/1.32	c 520            1701           135135         470010         0              520            3   9   6      
1.29/1.32	c 530            1722           136497         475088         0              530            12   12   10   
1.29/1.33	c 540            1759           139099         508552         0              540            16   28   20   
1.29/1.34	c 550            1781           140569         514073         0              550            3   13   7     
1.29/1.34	c 560            1802           141856         518980         0              560            5   12   9     
1.29/1.35	c 570            1839           144828         564522         0              570            12   28   22   
1.29/1.35	c 580            1861           146322         570020         0              580            6   13   9     
1.29/1.37	c 590            1935           150562         602551         0              590            28   65   52   
1.29/1.37	c 600            1957           152056         608049         0              600            6   13   9     
1.29/1.39	c 610            2118           164973         649799         0              610            12   152   28  
1.39/1.40	c 611            2124           165865         650755         0              611            6   6   3      
1.39/1.41	c 620            2161           168427         698841         0              620            12   29   22   
1.39/1.41	c 630            2183           169756         704140         0              630            4   13   7     
1.39/1.43	c 640            2340           182008         737839         0              640            148   148   134
1.39/1.44	c 650            2362           183487         743356         0              650            6   13   8     
1.39/1.46	c 660            2528           195154         787680         0              660            12   157   29  
1.39/1.47	c 670            2568           198546         823296         0              670            3   31   25    
1.39/1.48	c 680            2600           200849         832590         0              680            3   23   16    
1.39/1.48	c 690            2625           202332         839349         0              690            4   16   9     
1.39/1.48	c 700            2646           203695         845872         0              700            9   12   10    
1.39/1.49	c 710            2689           206751         885191         0              710            16   34   25   
1.49/1.50	c 720            2711           208259         891094         0              720            6   13   10    
1.49/1.50	c 730            2742           210150         900782         0              730            22   22   20   
1.49/1.51	c 740            2764           211447         906021         0              740            3   13   8     
1.49/1.51	c 750            2789           212901         913167         0              750            8   16   11    
1.49/1.51	c 760            2811           214189         919682         0              760            4   13   8     
1.49/1.52	c 770            2855           217336         935995         0              770            5   35   11    
1.49/1.52	c 771            2861           218281         936920         0              771            6   6   3      
1.49/1.52	c 780            2881           219584         942431         0              780            9   12   10    
1.49/1.53	c 790            2910           221111         952813         0              790            8   20   12    
1.49/1.53	c 800            2926           222154         956624         0              800            3   7   5      
1.49/1.53	c 810            2947           223488         961085         0              810            7   12   8     
1.49/1.54	c 820            2964           224556         965146         0              820            4   8   6      
1.49/1.54	c 830            2985           225853         970009         0              830            4   12   8     
1.49/1.54	c 840            3010           227218         978789         0              840            12   16   12   
1.49/1.55	c 850            3032           228808         984034         0              850            10   13   10   
1.49/1.55	c 860            3050           229918         987882         0              860            7   9   7      
1.49/1.55	c 870            3071           231217         993807         0              870            6   12   9     
1.49/1.55	c 880            3096           232739         999915         0              880            9   16   10    
1.49/1.56	c 890            3120           234272         1005591        0              890            4   15   9     
1.49/1.56	c 900            3149           235811         1015187        0              900            16   20   17   
1.49/1.56	c 910            3170           237337         1020712        0              910            3   12   7     
1.49/1.57	c 920            3195           238867         1028222        0              920            12   16   12   
1.49/1.57	c 930            3216           240157         1032646        0              930            3   12   8     
1.49/1.57	c 940            3241           241713         1039753        0              940            12   16   11   
1.49/1.58	c 947            3256           242752         1042937        0              947            3   9   5      
1.49/1.58	c 950            3264           243482         1044489        0              950            4   6   4      
1.49/1.58	c 960            3282           244539         1048755        0              960            4   9   6      
1.49/1.59	c 970            3325           247569         1071825        0              970            16   34   19   
1.49/1.59	c 980            3344           248851         1076040        0              980            3   10   6     
1.59/1.61	c 990            3388           252463         1131530        0              990            35   35   31   
1.59/1.61	c 1000           3407           253755         1136154        0              1000           3   10   7     
1.59/1.62	c 1010           3451           257363         1191644        0              1010           35   35   31   
1.59/1.63	c 1020           3473           258929         1197480        0              1020           13   13   11   
1.59/1.63	c 1030           3499           260675         1207464        0              1030           8   17   11    
1.59/1.63	c 1040           3515           261747         1210863        0              1040           3   7   5      
1.59/1.64	c 1050           3536           263059         1215925        0              1050           6   12   9     
1.59/1.64	c 1060           3557           264373         1221192        0              1060           9   12   10    
1.59/1.65	c 1070           3601           267986         1276681        0              1070           35   35   31   
1.59/1.66	c 1080           3628           269707         1285368        0              1080           13   18   15   
1.59/1.66	c 1090           3649           271071         1291223        0              1090           9   12   10    
1.59/1.68	c 1100           3693           274840         1343502        0              1100           21   35   30   
1.59/1.68	c 1110           3715           276394         1349336        0              1110           13   13   11   
1.59/1.68	c 1120           3736           277680         1354866        0              1120           6   12   8     
1.59/1.69	c 1130           3780           280920         1394930        0              1130           17   35   26   
1.69/1.70	c 1140           3817           283494         1407530        0              1140           13   28   18   
1.69/1.70	c 1141           3821           284169         1408239        0              1141           4   4   2      
1.69/1.71	c 1150           3841           285433         1412722        0              1150           6   12   9     
1.69/1.71	c 1160           3867           287138         1420872        0              1160           12   17   12   
1.69/1.71	c 1170           3889           288753         1428983        0              1170           13   13   11   
1.69/1.72	c 1180           3910           290069         1433449        0              1180           9   12   9     
1.69/1.73	c 1190           3954           293785         1481357        0              1190           21   35   29   
1.69/1.73	c 1200           3973           295099         1485169        0              1200           5   10   6     
1.69/1.74	c 1210           3994           296404         1490274        0              1210           5   12   9     
1.69/1.75	c 1220           4107           302867         1533329        0              1220           12   104   31  
1.69/1.76	c 1230           4126           304142         1537340        0              1230           3   10   6     
1.69/1.77	c 1240           4170           307339         1574318        0              1240           21   35   26   
1.69/1.78	c 1250           4225           310224         1611393        0              1250           18   46   35   
1.69/1.78	c 1260           4241           311308         1615410        0              1260           3   7   5      
1.69/1.80	c 1270           4285           314881         1651490        0              1270           12   35   24   
1.79/1.80	c 1280           4304           316168         1656756        0              1280           4   10   8     
1.79/1.80	c 1290           4325           317512         1661424        0              1290           7   12   7     
1.79/1.80	c 1300           4346           318809         1666935        0              1300           5   12   9     
1.79/1.81	c 1310           4390           321974         1683295        0              1310           12   35   17   
1.79/1.81	c 1320           4406           323056         1686694        0              1320           3   7   5      
1.79/1.82	c 1330           4427           324329         1691804        0              1330           6   12   8     
1.79/1.82	c 1340           4453           325847         1700173        0              1340           5   17   9     
1.79/1.82	c 1350           4475           327359         1705647        0              1350           4   13   8     
1.79/1.83	c 1352           4493           328762         1710496        0              1352           17   17   11   
1.79/1.83	c 1360           4510           330016         1714296        0              1360           3   10   6     
1.79/1.84	c 1370           4554           333432         1768448        0              1370           35   35   31   
1.79/1.84	c 1380           4573           334768         1773084        0              1380           5   10   6     
1.79/1.85	c 1390           4594           335748         1780035        0              1390           5   12   8     
1.79/1.85	c 1400           4615           336717         1787404        0              1400           5   12   8     
1.79/1.86	c 1410           4659           339715         1815871        0              1410           21   35   25   
1.79/1.86	c 1420           4681           341288         1820910        0              1420           10   13   10   
1.79/1.87	c 1430           4722           343474         1838430        0              1430           12   32   16   
1.79/1.87	c 1440           4741           344758         1842647        0              1440           3   10   6     
1.79/1.88	c 1450           4802           347590         1865338        0              1450           17   52   44   
1.79/1.88	c 1460           4821           348905         1870585        0              1460           10   10   9    
1.79/1.88	c 1470           4842           350278         1875663        0              1470           12   12   10   
1.79/1.89	c 1480           4863           351592         1882217        0              1480           6   12   9     
1.89/1.90	c 1490           4945           355080         1919646        0              1490           33   73   54   
1.89/1.90	c 1500           4964           356362         1923861        0              1500           3   10   6     
1.89/1.91	c 1510           5044           359397         1955676        0              1510           33   71   58   
1.89/1.92	c 1520           5063           360686         1960097        0              1520           3   10   6     
1.89/1.93	c 1530           5105           363523         1998929        0              1530           33   33   30   
1.89/1.93	c 1540           5124           364812         2003350        0              1540           3   10   6     
1.89/1.94	c 1550           5167           367698         2032827        0              1550           34   34   30   
1.89/1.94	c 1560           5189           369266         2038461        0              1560           10   13   11   
1.89/1.95	c 1570           5232           372074         2058985        0              1570           17   34   22   
1.89/1.96	c 1580           5271           375040         2084641        0              1580           13   30   21   
1.89/1.96	c 1585           5282           376017         2086783        0              1585           3   7   4      
1.89/1.96	c 1590           5298           377214         2090232        0              1590           6   12   7     
1.89/1.97	c 1600           5341           380082         2119690        0              1600           34   34   30   
1.89/1.98	c 1610           5363           381635         2125534        0              1610           10   13   10   
1.89/1.99	c 1620           5406           384691         2152270        0              1620           17   34   28   
1.89/1.99	c 1630           5428           386337         2160754        0              1630           13   13   11   
1.99/2.00	c 1640           5471           389418         2190329        0              1640           34   34   30   
1.99/2.01	c 1650           5510           392877         2227716        0              1650           30   30   27   
1.99/2.02	c 1660           5529           394161         2231933        0              1660           3   10   6     
1.99/2.03	c 1670           5568           397191         2268359        0              1670           30   30   27   
1.99/2.03	c 1680           5587           398538         2273404        0              1680           7   10   7     
1.99/2.04	c 1690           5626           401573         2309851        0              1690           30   30   27   
1.99/2.04	c 1700           5648           403133         2315306        0              1700           10   13   10   
1.99/2.05	c 1710           5687           406111         2338351        0              1710           17   30   20   
1.99/2.06	c 1720           5709           407664         2344195        0              1720           10   13   10   
1.99/2.07	c 1730           5748           411065         2380707        0              1730           30   30   27   
1.99/2.07	c 1740           5767           412395         2385343        0              1740           5   10   6     
1.99/2.07	c 1750           5785           413497         2389602        0              1750           4   9   7      
1.99/2.07	c 1760           5806           414892         2396739        0              1760           12   12   10   
1.99/2.08	c 1770           5846           418317         2421914        0              1770           31   31   28   
1.99/2.09	c 1780           5868           419908         2427364        0              1780           10   13   10   
2.09/2.10	c 1790           5908           423333         2452539        0              1790           31   31   28   
2.09/2.10	c 1800           5936           425487         2461224        0              1800           13   19   14   
2.09/2.11	c 1810           5960           427057         2467482        0              1810           12   15   11   
2.09/2.11	c 1820           5991           428742         2478208        0              1820           17   22   17   
2.09/2.11	c 1830           6007           429828         2482225        0              1830           3   7   5      
2.09/2.12	c 1840           6033           431493         2490165        0              1840           17   17   15   
2.09/2.12	c 1841           6048           432950         2493545        0              1841           15   15   7    
2.09/2.12	c 1850           6068           434272         2498415        0              1850           12   12   10   
2.09/2.13	c 1860           6108           437290         2516352        0              1860           12   31   20   
2.09/2.14	c 1870           6148           439755         2533512        0              1870           27   31   26   
2.09/2.14	c 1880           6167           441045         2538591        0              1880           4   10   7     
2.09/2.15	c 1890           6207           443989         2554075        0              1890           12   31   19   
2.09/2.15	c 1900           6229           445636         2562184        0              1900           13   13   11   
2.09/2.16	c 1910           6250           446951         2567680        0              1910           4   12   8     
2.09/2.16	c 1920           6290           450043         2582240        0              1920           22   31   20   
2.09/2.17	c 1930           6309           451336         2586459        0              1930           3   10   7     
2.09/2.17	c 1940           6327           452432         2591137        0              1940           4   9   6      
2.09/2.17	c 1950           6345           453527         2595815        0              1950           4   9   6      
2.09/2.17	c 1960           6366           454863         2600684        0              1960           12   12   10   
2.09/2.18	c 1970           6406           457774         2614630        0              1970           17   31   19   
2.09/2.18	c 1980           6428           459268         2620128        0              1980           6   13   9     
2.09/2.19	c 1990           6468           462366         2633701        0              1990           17   31   19   
2.09/2.19	c 2000           6490           463915         2639354        0              2000           7   13   8     
2.09/2.20	c 2010           6516           465634         2647712        0              2010           12   17   14   
2.19/2.20	c 2020           6546           467474         2658489        0              2020           13   21   16   
2.19/2.21	c 2030           6571           469105         2665777        0              2030           13   16   12   
2.19/2.22	c 2040           6611           472268         2700713        0              2040           31   31   28   
2.19/2.22	c 2050           6633           473772         2705378        0              2050           4   13   7     
2.19/2.23	c 2060           6673           477007         2730295        0              2060           31   31   28   
2.19/2.23	c 2070           6695           478538         2735985        0              2070           4   13   8     
2.19/2.24	c 2080           6735           481691         2768719        0              2080           22   31   27   
2.19/2.24	c 2090           6757           483198         2773787        0              2090           4   13   9     
2.19/2.25	c 2100           6797           486430         2798519        0              2100           31   31   28   
2.19/2.26	c 2110           6857           489178         2823819        0              2110           13   51   29   
2.19/2.27	c 2120           6879           490675         2829320        0              2120           6   13   9     
2.19/2.27	c 2122           6892           491911         2832131        0              2122           12   12   8    
2.19/2.27	c 2130           6911           493167         2837244        0              2130           6   12   7     
2.19/2.28	c 2140           6942           494946         2847199        0              2140           12   22   16   
2.19/2.28	c 2150           6960           496240         2852270        0              2150           4   9   7      
2.19/2.29	c 2160           7001           499644         2873425        0              2160           22   32   25   
2.19/2.29	c 2170           7020           500954         2877854        0              2170           3   10   6     
2.19/2.30	c 2180           7061           504254         2891588        0              2180           17   32   19   
2.19/2.30	c 2190           7083           505809         2896405        0              2190           10   13   10   
2.29/2.31	c 2200           7110           507685         2906708        0              2200           18   18   16   
2.29/2.31	c 2210           7128           508950         2910517        0              2210           3   9   6      
2.29/2.31	c 2220           7159           510407         2920023        0              2220           18   22   17   
2.29/2.32	c 2230           7179           511541         2928573        0              2230           7   11   9     
2.29/2.32	c 2240           7220           514249         2946466        0              2240           22   32   23   
2.29/2.33	c 2250           7256           516437         2957364        0              2250           18   27   23   
2.29/2.33	c 2260           7281           517972         2963912        0              2260           3   16   9     
2.29/2.34	c 2270           7307           519510         2972434        0              2270           12   17   12   
2.29/2.34	c 2280           7329           521018         2977909        0              2280           4   13   8     
2.29/2.34	c 2290           7350           522332         2984040        0              2290           6   12   8     
2.29/2.34	c 2300           7371           523648         2989977        0              2300           5   12   8     
2.29/2.35	c 2310           7392           524976         2996311        0              2310           6   12   9     
2.29/2.35	c 2320           7410           526077         3000362        0              2320           4   9   7      
2.29/2.36	c 2330           7451           529497         3023672        0              2330           21   32   27   
2.29/2.37	c 2340           7491           532123         3051294        0              2340           26   31   27   
2.29/2.37	c 2350           7507           533161         3054693        0              2350           3   7   5      
2.29/2.37	c 2360           7528           534488         3059156        0              2360           9   12   10    
2.29/2.38	c 2370           7569           537920         3084463        0              2370           32   32   29   
2.29/2.40	c 2380           7609           540736         3126702        0              2380           31   31   28   
2.39/2.40	c 2390           7628           542121         3131950        0              2390           10   10   9    
2.39/2.41	c 2400           7669           545552         3157348        0              2400           32   32   29   
2.39/2.42	c 2410           7709           548272         3199456        0              2410           31   31   28   
2.39/2.42	c 2420           7732           550054         3205284        0              2420           14   14   12   
2.39/2.43	c 2430           7773           553025         3221761        0              2430           17   32   18   
2.39/2.43	c 2431           7776           553483         3222224        0              2431           3   3   1      
2.39/2.44	c 2440           7816           556894         3245335        0              2440           32   32   28   
2.39/2.44	c 2450           7835           558213         3249762        0              2450           5   10   6     
2.39/2.45	c 2460           7857           559336         3256601        0              2460           5   13   9     
2.39/2.45	c 2470           7898           562489         3273076        0              2470           17   32   18   
2.39/2.46	c 2480           7921           564052         3277911        0              2480           10   14   9    
2.39/2.47	c 2490           7962           567484         3303218        0              2490           32   32   29   
2.39/2.48	c 2500           8002           569664         3325082        0              2500           14   31   20   
2.39/2.48	c 2510           8033           571668         3334556        0              2510           14   22   14   
2.39/2.48	c 2520           8052           572937         3338566        0              2520           3   10   7     
2.39/2.49	c 2530           8074           574459         3344672        0              2530           13   13   11   
2.49/2.50	c 2540           8115           577500         3369960        0              2540           32   32   29   
2.49/2.50	c 2550           8138           579151         3377430        0              2550           14   14   12   
2.49/2.51	c 2560           8179           582194         3402540        0              2560           32   32   29   
2.49/2.52	c 2570           8219           584555         3421498        0              2570           14   31   19   
2.49/2.53	c 2580           8242           586239         3427194        0              2580           6   14   9     
2.49/2.53	c 2590           8268           588029         3436975        0              2590           12   17   12   
2.49/2.54	c 2600           8291           589732         3442694        0              2600           6   14   8     
2.49/2.54	c 2610           8326           591604         3452639        0              2610           26   26   23   
2.49/2.54	c 2620           8346           592895         3457369        0              2620           4   11   7     
2.49/2.55	c 2630           8372           594378         3464486        0              2630           13   17   13   
2.49/2.55	c 2640           8397           596247         3474739        0              2640           16   16   14   
2.49/2.56	c 2650           8432           598185         3491825        0              2650           26   26   23   
2.49/2.56	c 2660           8460           599927         3499607        0              2660           11   19   14   
2.49/2.57	c 2670           8495           602005         3523133        0              2670           26   26   23   
2.49/2.57	c 2680           8535           604240         3537635        0              2680           19   31   20   
2.49/2.58	c 2690           8561           606010         3544281        0              2690           10   17   12   
2.49/2.59	c 2700           8612           608021         3569326        0              2700           26   42   35   
2.49/2.59	c 2710           8635           609551         3575420        0              2710           4   14   7     
2.59/2.60	c 2720           8695           611685         3598369        0              2720           42   51   44   
2.59/2.60	c 2730           8718           613381         3603420        0              2730           4   14   9     
2.59/2.61	c 2740           8759           616816         3628744        0              2740           32   32   29   
2.59/2.61	c 2750           8794           619037         3638405        0              2750           14   26   14   
2.59/2.62	c 2760           8820           620900         3647853        0              2760           17   17   15   
2.59/2.62	c 2770           8850           622622         3657431        0              2770           17   21   17   
2.59/2.62	c 2771           8855           623334         3658316        0              2771           5   5   2      
2.59/2.63	c 2780           8884           625036         3667079        0              2780           8   21   10    
2.59/2.63	c 2790           8909           626625         3674146        0              2790           16   16   14   
2.59/2.64	c 2800           8978           628982         3704460        0              2800           50   60   46   
2.59/2.65	c 2810           9000           630455         3709769        0              2810           3   13   8     
2.59/2.66	c 2820           9094           633149         3739037        0              2820           60   85   67   
2.59/2.66	c 2830           9116           634622         3744346        0              2830           3   13   8     
2.59/2.67	c 2840           9221           637911         3771512        0              2840           85   96   79   
2.59/2.67	c 2850           9243           639384         3776821        0              2850           3   13   8     
2.59/2.68	c 2860           9349           642146         3803715        0              2860           92   97   85   
2.59/2.69	c 2870           9372           643820         3809438        0              2870           3   14   7     
2.69/2.70	c 2880           9478           646860         3839528        0              2880           87   97   83   
2.69/2.70	c 2890           9501           648559         3844395        0              2890           4   14   7     
2.69/2.71	c 2900           9527           650032         3853924        0              2900           17   17   15   
2.69/2.71	c 2910           9546           651344         3858557        0              2910           10   10   9    
2.69/2.72	c 2920           9588           654764         3886085        0              2920           33   33   30   
2.69/2.72	c 2930           9610           656335         3892117        0              2930           13   13   11   
2.69/2.72	c 2940           9631           657641         3897648        0              2940           6   12   8     
2.69/2.73	c 2950           9657           659378         3905787        0              2950           12   17   12   
2.69/2.73	c 2960           9677           660643         3911127        0              2960           8   11   9     
2.69/2.74	c 2970           9718           664065         3934395        0              2970           21   32   27   
2.69/2.75	c 2980           9759           666862         3951395        0              2980           18   32   19   
2.69/2.75	c 2990           9781           668419         3957079        0              2990           10   13   11   
2.69/2.76	c 3000           9878           671617         3988707        0              3000           88   88   80   
2.69/2.77	c 3010           9900           673090         3994016        0              3010           3   13   8     
2.69/2.78	c 3020           9996           676500         4024777        0              3020           87   87   79   
2.69/2.78	c 3030           10018          677973         4030286        0              3030           6   13   9     
2.69/2.79	c 3040           10114          681215         4063243        0              3040           87   87   79   
2.69/2.79	c 3050           10136          682533         4068542        0              3050           4   13   7     
2.79/2.81	c 3060           10178          685951         4093457        0              3060           21   33   27   
2.79/2.82	c 3070           10219          689135         4143705        0              3070           32   32   29   
2.79/2.82	c 3080           10242          690861         4149616        0              3080           9   14   10    
2.79/2.83	c 3090           10284          694419         4171798        0              3090           21   33   25   
2.79/2.84	c 3100           10324          696936         4195286        0              3100           18   31   21   
2.79/2.85	c 3110           10366          700580         4221340        0              3110           22   33   29   
2.79/2.86	c 3120           10408          703346         4235698        0              3120           26   33   24   
2.79/2.86	c 3130           10427          704642         4240123        0              3130           3   10   7     
2.79/2.87	c 3140           10469          708268         4267643        0              3140           33   33   30   
2.79/2.88	c 3142           10496          710208         4274061        0              3142           26   26   17   
2.79/2.88	c 3150           10520          711965         4280175        0              3150           12   17   11   
2.79/2.89	c 3160           10562          715527         4303919        0              3160           21   33   26   
2.89/2.90	c 3170           10604          718632         4333313        0              3170           33   33   30   
2.89/2.90	c 3180           10627          720327         4339023        0              3180           3   14   7     
2.89/2.91	c 3190           10669          723500         4367677        0              3190           33   33   30   
2.89/2.91	c 3200           10688          724809         4371490        0              3200           3   10   6     
2.89/2.92	c 3210           10709          726100         4376604        0              3210           6   12   8     
2.89/2.93	c 3220           10751          729709         4404171        0              3220           33   33   30   
2.89/2.93	c 3230           10792          732394         4413299        0              3230           32   32   29   
2.89/2.93	c 3240           10812          733519         4419723        0              3240           5   11   8     
2.89/2.94	c 3250           10848          735969         4427564        0              3250           27   27   24   
2.89/2.94	c 3260           10872          737516         4434316        0              3260           5   15   9     
2.89/2.95	c 3270           10908          739963         4442690        0              3270           27   27   24   
2.89/2.95	c 3280           10932          741319         4449059        0              3280           5   15   9     
2.89/2.96	c 3290           10968          743773         4460726        0              3290           27   27   24   
2.89/2.96	c 3300           10997          745488         4469468        0              3300           15   20   15   
2.89/2.96	c 3310           11015          746775         4474351        0              3310           4   9   6      
2.89/2.97	c 3320           11046          748620         4483268        0              3320           22   22   20   
2.89/2.97	c 3330           11068          749885         4488808        0              3330           4   13   8     
2.89/2.97	c 3340           11089          751144         4494309        0              3340           6   12   9     
2.89/2.97	c 3350           11110          752040         4499830        0              3350           4   12   7     
2.89/2.98	c 3360           11131          753318         4504940        0              3360           6   12   8     
2.89/2.98	c 3370           11152          754612         4510461        0              3370           6   12   8     
2.89/2.98	c 3380           11173          755875         4515359        0              3380           6   12   9     
2.89/2.98	c 3390           11194          757164         4521283        0              3390           5   12   9     
2.89/2.99	c 3400           11212          758243         4525139        0              3400           4   9   6      
2.89/2.99	c 3410           11230          759335         4529190        0              3410           4   9   7      
2.89/2.99	c 3420           11256          761159         4537954        0              3420           12   17   11   
2.89/2.99	c 3430           11278          762123         4545740        0              3430           5   13   7     
2.99/3.00	c 3440           11305          764140         4551796        0              3440           18   18   16   
2.99/3.00	c 3450           11330          765672         4557707        0              3450           16   16   14   
2.99/3.00	c 3460           11351          766637         4565353        0              3460           5   12   8     
2.99/3.01	c 3470           11372          767934         4571496        0              3470           6   12   8     
2.99/3.01	c 3480           11399          769859         4579644        0              3480           12   18   11   
2.99/3.01	c 3490           11424          771344         4586206        0              3490           8   16   9     
2.99/3.02	c 3500           11451          772703         4596564        0              3500           12   18   13   
2.99/3.02	c 3510           11473          774126         4605496        0              3510           10   13   11   
2.99/3.03	c 3520           11504          776081         4624124        0              3520           22   22   20   
2.99/3.03	c 3530           11533          777797         4633867        0              3530           16   20   16   
2.99/3.03	c 3540           11552          779099         4637882        0              3540           3   10   6     
2.99/3.04	c 3550           11573          780362         4642987        0              3550           6   12   9     
2.99/3.04	c 3551           11591          782162         4647243        0              3551           18   18   9    
2.99/3.04	c 3560           11612          783451         4652928        0              3560           4   13   8     
2.99/3.04	c 3570           11633          784709         4657824        0              3570           6   12   9     
2.99/3.05	c 3580           11651          785787         4662092        0              3580           4   9   6      
2.99/3.05	c 3590           11672          787078         4666553        0              3590           4   12   7     
2.99/3.05	c 3600           11699          789092         4675912        0              3600           12   18   11   
2.99/3.06	c 3610           11721          790398         4681425        0              3610           5   13   9     
2.99/3.06	c 3620           11739          791476         4685693        0              3620           4   9   6      
2.99/3.06	c 3630           11760          792793         4690972        0              3630           9   12   10    
2.99/3.06	c 3640           11791          794820         4698045        0              3640           18   22   19   
2.99/3.07	c 3650           11813          796105         4703323        0              3650           4   13   9     
2.99/3.07	c 3660           11840          798098         4711669        0              3660           12   18   13   
2.99/3.07	c 3670           11865          799685         4717966        0              3670           13   16   12   
2.99/3.08	c 3680           11886          800979         4723699        0              3680           6   12   8     
2.99/3.08	c 3690           11912          802740         4730396        0              3690           17   17   15   
2.99/3.08	c 3700           11937          804312         4737506        0              3700           16   16   14   
2.99/3.09	c 3710           11963          805891         4744665        0              3710           12   17   14   
3.08/3.10	c 3720           11992          807619         4755809        0              3720           16   20   17   
3.08/3.10	c 3730           12011          808905         4760235        0              3730           3   10   7     
3.08/3.11	c 3740           12051          810891         4774588        0              3740           17   31   24   
3.08/3.11	c 3750           12073          812196         4780026        0              3750           3   13   8     
3.08/3.11	c 3760           12099          813882         4786356        0              3760           8   17   11    
3.08/3.12	c 3770           12133          815653         4799326        0              3770           20   25   21   
3.08/3.12	c 3780           12152          816933         4803754        0              3780           3   10   6     
3.08/3.12	c 3790           12173          818238         4809896        0              3790           6   12   9     
3.08/3.13	c 3800           12194          819556         4814577        0              3800           6   12   7     
3.08/3.13	c 3810           12215          820631         4819497        0              3810           6   12   9     
3.08/3.13	c 3820           12241          822435         4825764        0              3820           17   17   15   
3.08/3.14	c 3830           12275          824203         4841157        0              3830           25   25   22   
3.08/3.14	c 3840           12297          825781         4846810        0              3840           10   13   10   
3.08/3.15	c 3850           12337          828002         4861931        0              3850           17   31   22   
3.08/3.15	c 3860           12355          829282         4865741        0              3860           3   9   6      
3.08/3.15	c 3870           12376          830567         4870403        0              3870           4   12   9     
3.08/3.16	c 3880           12416          832789         4888146        0              3880           31   31   28   
3.08/3.16	c 3890           12441          834401         4896007        0              3890           9   16   12    
3.08/3.17	c 3900           12492          836850         4915804        0              3900           31   42   33   
3.08/3.17	c 3910           12510          838132         4919817        0              3910           3   9   6      
3.08/3.18	c 3920           12536          839510         4927374        0              3920           12   17   13   
3.08/3.18	c 3930           12556          840599         4932294        0              3930           6   11   8     
3.08/3.18	c 3940           12596          842237         4946744        0              3940           17   31   19   
3.08/3.19	c 3950           12614          843537         4951993        0              3950           3   9   7      
3.08/3.19	c 3960           12654          845120         4967749        0              3960           31   31   28   
3.08/3.19	c 3970           12684          847172         4975347        0              3970           16   21   18   
3.18/3.20	c 3980           12724          849172         4992886        0              3980           31   31   28   
3.18/3.20	c 3990           12749          850787         5000178        0              3990           9   16   13    
3.18/3.21	c 4000           12783          852456         5014632        0              4000           17   25   19   
3.18/3.21	c 4001           12796          853890         5017395        0              4001           13   13   6    
3.18/3.22	c 4010           12835          855467         5031673        0              4010           31   31   27   
3.18/3.22	c 4020           12855          856766         5037388        0              4020           6   11   9     
3.18/3.22	c 4030           12881          858523         5044071        0              4030           12   17   13   
3.18/3.23	c 4040           12928          860788         5060800        0              4040           31   38   32   
3.18/3.23	c 4050           12946          862067         5064815        0              4050           3   9   6      
3.18/3.24	c 4060           12986          864251         5079784        0              4060           17   31   23   
3.18/3.24	c 4070           13011          865829         5087127        0              4070           11   16   13   
3.18/3.25	c 4080           13032          866927         5092255        0              4080           6   12   9     
3.18/3.25	c 4090           13072          869111         5108805        0              4090           31   31   28   
3.18/3.26	c 4100           13102          870948         5117153        0              4100           16   21   17   
3.18/3.26	c 4110           13153          873190         5134077        0              4110           38   42   37   
3.18/3.27	c 4120           13171          874478         5138500        0              4120           3   9   6      
3.18/3.27	c 4130           13211          876682         5157595        0              4130           31   31   28   
3.18/3.28	c 4140           13251          878756         5172254        0              4140           21   31   20   
3.18/3.28	c 4150           13278          880758         5179118        0              4150           13   18   13   
3.18/3.29	c 4160           13329          883017         5199626        0              4160           42   42   38   
3.18/3.29	c 4170           13356          885024         5207291        0              4170           9   18   11    
3.18/3.30	c 4180           13407          887292         5228398        0              4180           42   42   38   
3.29/3.30	c 4190           13434          889316         5235776        0              4190           18   18   16   
3.29/3.31	c 4200           13493          891621         5259066        0              4200           42   50   44   
3.29/3.32	c 4210           13511          892900         5263081        0              4210           3   9   6      
3.29/3.32	c 4220           13562          895517         5284533        0              4220           31   42   36   
3.29/3.33	c 4230           13589          897594         5299707        0              4230           18   18   16   
3.29/3.34	c 4240           13659          900419         5324871        0              4240           50   61   48   
3.29/3.34	c 4250           13678          901706         5329292        0              4250           3   10   6     
3.29/3.34	c 4260           13704          903274         5335183        0              4260           12   17   12   
3.29/3.36	c 4270           13800          907012         5377570        0              4270           60   87   65   
3.29/3.36	c 4280           13819          908299         5381991        0              4280           3   10   6     
3.29/3.37	c 4290           13840          909582         5386854        0              4290           4   12   8     
3.29/3.37	c 4300           13866          910982         5394402        0              4300           12   17   13   
3.29/3.38	c 4310           13963          914615         5423818        0              4310           72   88   77   
3.29/3.38	c 4320           13979          915696         5427835        0              4320           3   7   5      
3.29/3.39	c 4330           14000          916985         5432698        0              4330           6   12   9     
3.29/3.39	c 4340           14026          918364         5441608        0              4340           17   17   15   
3.29/3.39	c 4350           14047          919697         5447524        0              4350           6   12   7     
3.29/3.40	c 4360           14073          921452         5454411        0              4360           12   17   12   
3.29/3.40	c 4370           14098          923035         5460934        0              4370           12   16   11   
3.39/3.40	c 4380           14119          924379         5467275        0              4380           9   12   9     
3.39/3.41	c 4390           14153          926221         5479412        0              4390           17   25   17   
3.39/3.41	c 4400           14175          927743         5484856        0              4400           5   13   8     
3.39/3.42	c 4410           14215          929390         5502719        0              4410           31   31   28   
3.39/3.42	c 4420           14236          930698         5508440        0              4420           6   12   9     
3.39/3.42	c 4430           14257          932000         5513517        0              4430           4   12   8     
3.39/3.42	c 4440           14278          933324         5518787        0              4440           9   12   9     
3.39/3.43	c 4450           14304          935080         5524467        0              4450           12   17   11   
3.39/3.43	c 4460           14325          936056         5531418        0              4460           5   12   8     
3.39/3.43	c 4470           14346          937339         5536535        0              4470           6   12   8     
3.39/3.43	c 4480           14372          939127         5543014        0              4480           12   17   13   
3.39/3.44	c 4490           14393          940411         5548120        0              4490           5   12   9     
3.39/3.44	c 4493           14426          942342         5557193        0              4493           31   31   23   
3.39/3.45	c 4500           14445          943609         5562421        0              4500           5   13   8     
3.39/3.45	c 4510           14485          945604         5579438        0              4510           31   31   28   
3.39/3.45	c 4520           14510          947178         5585455        0              4520           13   16   13   
3.39/3.46	c 4530           14536          948982         5592933        0              4530           17   17   15   
3.39/3.46	c 4540           14558          950276         5598662        0              4540           6   13   9     
3.39/3.46	c 4550           14584          952097         5607220        0              4550           12   17   11   
3.39/3.47	c 4560           14609          953132         5615578        0              4560           12   16   13   
3.39/3.47	c 4570           14660          955601         5636826        0              4570           42   42   38   
3.39/3.48	c 4580           14682          957190         5643292        0              4580           9   13   11    
3.39/3.49	c 4590           14779          961131         5676511        0              4590           42   88   43   
3.39/3.49	c 4600           14801          962641         5681371        0              4600           4   13   8     
3.48/3.51	c 4610           14898          966660         5709401        0              4610           88   88   80   
3.48/3.51	c 4620           14914          967739         5713418        0              4620           3   7   5      
3.48/3.51	c 4630           14940          969556         5719887        0              4630           17   17   15   
3.48/3.51	c 4640           14965          971109         5726399        0              4640           13   16   14   
3.48/3.52	c 4650           15036          974142         5750917        0              4650           62   62   56   
3.48/3.53	c 4660           15052          975221         5754934        0              4660           3   7   5      
3.48/3.53	c 4670           15092          977426         5768863        0              4670           17   31   24   
3.48/3.54	c 4680           15113          978927         5774388        0              4680           3   12   7     
3.48/3.54	c 4690           15134          979898         5781346        0              4690           5   12   8     
3.48/3.54	c 4700           15174          981768         5796081        0              4700           17   31   20   
3.48/3.55	c 4710           15214          984061         5809176        0              4710           21   31   20   
3.48/3.55	c 4720           15236          985570         5814038        0              4720           4   13   8     
3.48/3.57	c 4730           15333          989621         5848021        0              4730           60   88   77   
3.48/3.57	c 4740           15360          991626         5856320        0              4740           13   18   12   
3.48/3.58	c 4750           15389          993195         5866268        0              4750           16   20   15   
3.48/3.58	c 4760           15405          994274         5870285        0              4760           3   7   5      
3.48/3.58	c 4770           15426          995548         5874987        0              4770           6   12   8     
3.48/3.58	c 4780           15452          997318         5881688        0              4780           12   17   15   
3.48/3.59	c 4790           15477          998963         5889229        0              4790           16   16   14   
3.48/3.59	c 4800           15503          1000762        5897347        0              4800           17   17   15   
3.48/3.59	c 4810           15525          1002079        5902399        0              4810           11   13   11   
3.58/3.60	c 4820           15565          1004290        5918750        0              4820           31   31   28   
3.58/3.60	c 4830           15590          1005874        5925285        0              4830           12   16   12   
3.58/3.61	c 4840           15687          1009578        5953935        0              4840           74   88   78   
3.58/3.62	c 4850           15709          1011138        5958975        0              4850           10   13   10   
3.58/3.62	c 4860           15749          1012912        5973054        0              4860           17   31   24   
3.58/3.63	c 4870           15774          1014516        5980827        0              4870           16   16   14   
3.58/3.63	c 4880           15800          1016357        5988773        0              4880           12   17   11   
3.58/3.63	c 4890           15825          1017916        5994828        0              4890           13   16   14   
3.58/3.65	c 4900           15922          1022022        6027479        0              4900           88   88   80   
3.58/3.65	c 4910           15941          1023345        6032116        0              4910           3   10   5     
3.58/3.65	c 4920           15967          1024839        6039061        0              4920           8   17   10    
3.58/3.66	c 4930           16001          1026578        6053906        0              4930           20   25   21   
3.58/3.67	c 4940           16052          1029075        6073441        0              4940           31   42   30   
3.58/3.67	c 4950           16079          1030895        6079839        0              4950           18   18   16   
3.58/3.67	c 4960           16108          1032486        6090059        0              4960           16   20   16   
3.58/3.68	c 4970           16130          1034064        6095494        0              4970           10   13   11   
3.58/3.68	c 4980           16164          1035827        6108502        0              4980           25   25   22   
3.58/3.69	c 4990           16194          1037685        6116067        0              4990           21   21   19   
3.68/3.70	c 5035           16269          1040237        6159628        0              5035           16   31   23   
3.68/3.78	c 5631           16958          1052958        6503649        0              5181           13   89   82   
3.78/3.88	c 6286           17736          1067732        6958669        0              5556           5   88   73    
4.08/4.17	c 7006           18516          1093288        8208281        0              5681           4   56   52    
4.18/4.29	c 7798           19362          1122666        8664730        0              5903           3   31   29    
4.39/4.43	c 8669           20386          1135901        9416781        0              6322           5   112   95   
4.59/4.64	c 9627           21371          1176922        9977959        0              6476           4   16   15    
4.79/4.83	c 10680          22563          1191270        10859368       0              6710           4   128   113  
5.39/5.47	c 11838          23764          1234457        13457896       0              6835           5   37   36    
5.78/5.85	c 13111          25191          1260055        15733513       0              7172           8   74   70    
6.08/6.17	c 14511          26823          1308911        17426043       0              7262           211   211   210
6.59/6.69	c 16051          28447          1353083        19777935       0              7394           7   72   69    
7.18/7.20	c 17745          30372          1421224        22863152       0              7536           9   211   162  
7.48/7.53	c 19608          32499          1451194        24707495       0              7934           6   94   81    
8.18/8.24	c 21657          34792          1524270        29377312       0              8017           211   211   210
9.28/9.36	c 23910          37116          1624162        33339240       0              8174           7   56   55    
10.08/10.12	c 26388          39845          1702912        38176405       0              8196           211   211   210
10.98/11.03	c 29113          42647          1795817        41881791       0              8380           5   57   55    
11.98/12.03	c 32110          45905          1890691        48444071       0              8428           211   211   210
12.48/12.57	c 35406          49320          1963530        50599186       0              8698           8   66   62    
13.28/13.34	c 39031          52970          2083236        53062621       0              8838           9   9   8      
14.58/14.67	c 43018          57034          2247761        58488938       0              9057           5   54   53    
16.18/16.20	c 47403          61531          2379836        65332583       0              9276           11   59   58   
17.78/17.83	c 52226          66646          2523128        76531524       0              9347           211   211   210
18.47/18.57	c 57531          72448          2602797        80071431       0              9821           8   94   81    
20.47/20.50	c 63366          78592          2771573        93611929       0              9921           211   211   210
28.37/28.40	c 69784          85099          3166351        113722838      0              10063          4   45   44    
30.77/30.89	c 76843          92269          3356075        127241667      0              10220          7   54   53    
33.37/33.48	c 84607          100376         3573040        145252636      0              10283          211   211   210
39.96/40.08	c 93147          109481         3965578        164545199      0              10698          6   46   45    
41.27/41.35	c 102541         119545         4047176        170796822      0              11199          8   123   113  
42.27/42.39	c 112874         129999         4392338        176434799      0              11425          8   21   20    
44.27/44.34	c 124240         141913         4520324        186395837      0              11896          11   140   135 
46.77/46.86	c 136742         155750         4921015        196530895      0              12233          10   39   34   
49.07/49.12	c 150494         170785         5143219        207765596      0              13269          7   162   130  
49.97/50.07	c 165621         186006         5625731        213847915      0              13431          8   8   7      
51.47/51.58	c 182260         202767         6064698        222761784      0              13590          4   19   18    
55.96/56.02	c 200562         222836         6355684        246521507      0              14277          5   83   78    
58.66/58.79	c 220694         244556         6598839        260792278      0              14942          5   124   106  
71.15/71.23	c 242839         266952         7354551        330404593      0              15062          15   59   58   
72.45/72.53	c 267198         291442         8192127        338884350      0              15240          15   15   14   
74.76/74.90	c 293992         318397         9061152        351161091      0              15442          24   24   23   
82.95/83.08	c 323465         350940         9603612        393246585      0              15746          3   57   53    
85.35/85.41	c 355885         383690         10687294       406360919      0              16109          11   13   12   
94.55/94.62	c 391547         420566         11291121       449634458      0              16496          4   41   39    
103.24/103.33	c 430775         460077         12234406       500992854      0              16593          5   33   32    
124.53/124.66	c 473925         503724         13863986       586705456      0              16815          9   43   42    
131.33/131.48	c 521390         552281         14655391       626130472      0              16890          211   211   210
172.41/172.53	c 573601         604896         17538702       757309963      0              16928          10   44   43   
194.40/194.55	c 631033         662675         19812911       854909704      0              17079          11   36   35   
210.11/210.29	c 694208         726225         21950670       937202503      0              17333          12   41   37   
224.80/224.99	c 763700         796877         23130962       1009738461     0              17831          8   67   60    
228.89/229.01	c 840141         873693         25752887       1036280779     0              18101          8   9   8      
235.89/236.08	c 924226         958212         28606801       1075492298     0              18273          4   15   14    
252.09/252.27	c 1016719        1051338        30890054       1175655211     0              18353          6   39   34    
275.98/276.18	c 1118461        1153948        33054038       1291079193     0              18612          3   60   59    
289.29/289.49	c 1230377        1271832        36518674       1352910939     0              19193          5   137   51   
315.17/315.38	c 1353484        1398910        40174133       1484371638     0              19662          5   63   62    
341.37/341.56	c 1488901        1536656        43771807       1640823891     0              20061          6   51   46    
352.36/352.55	c 1637859        1687833        48896047       1698620915     0              20441          9   15   13    
383.05/383.21	c 1801712        1854513        53997416       1862242311     0              20650          13   60   29   
411.44/411.64	c 1981950        2064607        55900884       1996520857     0              21364          5   137   114  
437.84/438.07	c 2180211        2264439        60599866       2143692716     0              21636          13   56   47   
486.32/486.55	c 2398298        2486498        65616261       2392624990     0              21876          12   65   56   
501.92/502.11	c 2638193        2728397        73494957       2485794643     0              22054          9   22   13    
557.70/557.94	c 2902077        3017124        80863223       2759603339     0              22366          4   66   50    
616.78/617.04	c 3192349        3313928        85033759       3103226199     0              22863          12   125   93  
636.88/637.13	c 3511648        3638758        94932323       3217635068     0              23388          9   30   19    
715.25/715.54	c 3862876        3996202        101720550      3548694079     0              23736          4   82   73    
739.55/739.84	c 4249226        4384540        114329675      3692164435     0              24081          8   15   11    
851.31/851.68	c 4674211        4812780        127415113      4194868587     0              24132          5   47   37    
912.59/912.92	c 5141694        5284565        138484026      4476709010     0              24412          18   60   37   
1046.55/1046.98	c 5655925        5857919        148111040      5045535892     0              25033          5   137   107  
1082.24/1082.61	c 6221579        6427961        167067496      5261563299     0              25194          7   14   11    
1228.41/1228.88	c 6843798        7054096        184819657      5982508928     0              25585          5   50   34    
1383.36/1383.89	c 7528238        7776879        194205868      6848351524     0              26096          6   77   68    
1440.03/1440.59	c 8281122        8533602        219072539      7178595310     0              26286          7   25   14    
1638.58/1639.17	c 9109294        9367815        238232468      8292564467     0              26457          6   55   49    
1796.64/1797.22	c 10020283       10365102       250199173      9153516502     0              27061          6   137   103  
1923.40/1924.08	c 11022370       11374591       280253612      9876970992     0              27315          7   43   21    
2133.93/2134.66	c 12124665       12506639       305771824      11533365632    0              28011          6   84   83

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.90 0.47 0.20 2/193 4748
/proc/meminfo: memFree=30088184/32770624 swapFree=6232/1062692
[pid=4748] ppid=4745 vsize=28048 CPUtime=0 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 1205 0 0 0 0 0 0 0 20 0 1 0 15832624 28721152 1030 33554432000 4194304 5970956 140727184869376 140727184866024 140532520025061 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 7012 1030 702 434 0 376 0

[startup+0.100116 s]
/proc/loadavg: 1.90 0.47 0.20 2/193 4748
/proc/meminfo: memFree=30088184/32770624 swapFree=6232/1062692
[pid=4748] ppid=4745 vsize=28788 CPUtime=0.09 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 1466 0 0 0 9 0 0 0 20 0 1 0 15832624 29478912 1306 33554432000 4194304 5970956 140727184869376 140727184863208 140532520485868 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 7197 1306 783 434 0 561 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28788

[startup+0.200285 s]
/proc/loadavg: 1.90 0.47 0.20 2/193 4748
/proc/meminfo: memFree=30088184/32770624 swapFree=6232/1062692
[pid=4748] ppid=4745 vsize=29940 CPUtime=0.19 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 1759 0 0 0 19 0 0 0 20 0 1 0 15832624 30658560 1594 33554432000 4194304 5970956 140727184869376 140727184863208 5219216 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 7485 1594 783 434 0 849 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29940

[startup+0.300274 s]
/proc/loadavg: 1.90 0.47 0.20 2/193 4748
/proc/meminfo: memFree=30088184/32770624 swapFree=6232/1062692
[pid=4748] ppid=4745 vsize=36432 CPUtime=0.29 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 2354 0 0 0 29 0 0 0 20 0 1 0 15832624 37306368 2680 33554432000 4194304 5970956 140727184869376 140727184863208 5279833 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 9108 2680 817 434 0 2472 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36432

[startup+0.700234 s]
/proc/loadavg: 1.90 0.47 0.20 2/193 4748
/proc/meminfo: memFree=30088184/32770624 swapFree=6232/1062692
[pid=4748] ppid=4745 vsize=311808 CPUtime=0.69 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 39887 0 0 0 63 6 0 0 20 0 1 0 15832624 319291392 59633 33554432000 4194304 5970956 140727184869376 140727184866200 140532520025061 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 77952 59633 817 434 0 71316 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 311808

[startup+1.50019 s]
/proc/loadavg: 1.91 0.50 0.21 4/188 4797
/proc/meminfo: memFree=29653568/32770624 swapFree=6232/1062708
[pid=4748] ppid=4745 vsize=521224 CPUtime=1.49 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 68212 0 0 0 137 12 0 0 20 0 1 0 15832624 533733376 110442 33554432000 4194304 5970956 140727184869376 140727184866712 4974425 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 130306 110442 835 434 0 123670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 521224

[startup+3.10025 s]
/proc/loadavg: 1.91 0.50 0.21 2/188 4797
/proc/meminfo: memFree=29647772/32770624 swapFree=6232/1062708
[pid=4748] ppid=4745 vsize=521480 CPUtime=3.08 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 72110 0 0 0 296 12 0 0 20 0 1 0 15832624 533995520 111035 33554432000 4194304 5970956 140727184869376 140727184866712 5322983 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 130370 111035 835 434 0 123734 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 521480

[startup+6.30018 s]
/proc/loadavg: 2.00 0.54 0.22 3/195 4813
/proc/meminfo: memFree=29342628/32770624 swapFree=6232/1062704
[pid=4748] ppid=4745 vsize=522532 CPUtime=6.28 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 79062 0 0 0 615 13 0 0 20 0 1 0 15832624 535072768 111301 33554432000 4194304 5970956 140727184869376 140727184866712 5093243 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 130633 111301 835 434 0 123997 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 522532

[startup+12.7002 s]
/proc/loadavg: 2.00 0.57 0.23 3/191 4815
/proc/meminfo: memFree=30307176/32770624 swapFree=6232/492572
[pid=4748] ppid=4745 vsize=523060 CPUtime=12.68 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 85398 0 0 0 1255 13 0 0 20 0 1 0 15832624 535613440 111411 33554432000 4194304 5970956 140727184869376 140727184866712 4961388 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 130765 111411 835 434 0 124129 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 523060

[startup+25.5002 s]
/proc/loadavg: 2.00 0.61 0.25 3/191 4815
/proc/meminfo: memFree=30304972/32770624 swapFree=6232/492592
[pid=4748] ppid=4745 vsize=523192 CPUtime=25.47 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 90195 0 0 0 2534 13 0 0 20 0 1 0 15832624 535748608 111465 33554432000 4194304 5970956 140727184869376 140727184866712 4967825 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 130798 111465 835 434 0 124162 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 523192

[startup+51.1002 s]
/proc/loadavg: 2.00 0.75 0.31 3/191 4815
/proc/meminfo: memFree=30302528/32770624 swapFree=6232/492628
[pid=4748] ppid=4745 vsize=523720 CPUtime=51.07 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 99488 0 0 0 5093 14 0 0 20 0 1 0 15832624 536289280 112124 33554432000 4194304 5970956 140727184869376 140727184866712 5093172 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 130930 112124 835 434 0 124294 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 523720

[startup+102.3 s]
/proc/loadavg: 2.08 0.96 0.40 3/191 4817
/proc/meminfo: memFree=30299400/32770624 swapFree=6232/492704
[pid=4748] ppid=4745 vsize=524008 CPUtime=102.24 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 104606 0 0 0 10210 14 0 0 20 0 1 0 15832624 536584192 112200 33554432000 4194304 5970956 140727184869376 140727184866712 5070861 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131002 112200 835 434 0 124366 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 524008

[startup+162.3 s]
/proc/loadavg: 2.08 1.16 0.51 3/191 4818
/proc/meminfo: memFree=30298812/32770624 swapFree=6232/492772
[pid=4748] ppid=4745 vsize=524140 CPUtime=162.22 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 106982 0 0 0 16208 14 0 0 20 0 1 0 15832624 536719360 112253 33554432000 4194304 5970956 140727184869376 140727184866712 5070768 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131035 112253 835 434 0 124399 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 524140

[startup+222.306 s]
/proc/loadavg: 2.03 1.31 0.60 3/192 4827
/proc/meminfo: memFree=30299064/32770624 swapFree=6232/492844
[pid=4748] ppid=4745 vsize=524272 CPUtime=222.2 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 108442 0 0 0 22206 14 0 0 20 0 1 0 15832624 536854528 112262 33554432000 4194304 5970956 140727184869376 140727184866712 4971836 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131068 112262 835 434 0 124432 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 524272

[startup+282.3 s]
/proc/loadavg: 2.06 1.45 0.69 3/192 4850
/proc/meminfo: memFree=30298500/32770624 swapFree=6232/492912
[pid=4748] ppid=4745 vsize=524272 CPUtime=282.18 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 110678 0 0 0 28204 14 0 0 20 0 1 0 15832624 536854528 112278 33554432000 4194304 5970956 140727184869376 140727184866712 5093172 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131068 112278 835 434 0 124432 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 524272

[startup+342.3 s]
/proc/loadavg: 2.18 1.60 0.79 3/191 4851
/proc/meminfo: memFree=30296536/32770624 swapFree=6232/492968
[pid=4748] ppid=4745 vsize=524404 CPUtime=342.17 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 112277 0 0 0 34202 15 0 0 20 0 1 0 15832624 536989696 112520 33554432000 4194304 5970956 140727184869376 140727184866712 5052093 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131101 112520 835 434 0 124465 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 524404

[startup+402.3 s]
/proc/loadavg: 2.07 1.67 0.87 3/191 4852
/proc/meminfo: memFree=30294624/32770624 swapFree=6232/493008
[pid=4748] ppid=4745 vsize=524536 CPUtime=402.15 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 113364 0 0 0 40200 15 0 0 20 0 1 0 15832624 537124864 112537 33554432000 4194304 5970956 140727184869376 140727184866392 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131134 112537 835 434 0 124498 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 524536

[startup+462.3 s]
/proc/loadavg: 2.13 1.76 0.95 3/191 4853
/proc/meminfo: memFree=30292644/32770624 swapFree=6232/493056
[pid=4748] ppid=4745 vsize=524536 CPUtime=462.13 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 114331 0 0 0 46198 15 0 0 20 0 1 0 15832624 537124864 113061 33554432000 4194304 5970956 140727184869376 140727184866712 4908959 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131134 113061 835 434 0 124498 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 524536

[startup+522.3 s]
/proc/loadavg: 2.05 1.81 1.01 3/190 4854
/proc/meminfo: memFree=30292676/32770624 swapFree=6232/493108
[pid=4748] ppid=4745 vsize=524672 CPUtime=522.11 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 116008 0 0 0 52196 15 0 0 20 0 1 0 15832624 537264128 113087 33554432000 4194304 5970956 140727184869376 140727184866232 4964864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131168 113087 835 434 0 124532 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 524672

[startup+582.3 s]
/proc/loadavg: 2.02 1.84 1.07 3/190 4855
/proc/meminfo: memFree=30293108/32770624 swapFree=6232/493144
[pid=4748] ppid=4745 vsize=524672 CPUtime=582.09 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 117144 0 0 0 58194 15 0 0 20 0 1 0 15832624 537264128 113093 33554432000 4194304 5970956 140727184869376 140727184866712 5052095 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131168 113093 835 434 0 124532 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 524672


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.67 3/190 4886
/proc/meminfo: memFree=30288248/32770624 swapFree=6232/493648
[pid=4748] ppid=4745 vsize=524804 CPUtime=1481.82 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 134190 0 0 0 148167 15 0 0 20 0 1 0 15832624 537399296 113150 33554432000 4194304 5970956 140727184869376 140727184866712 5070093 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131201 113150 835 434 0 124565 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 524804

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.69 3/190 4887
/proc/meminfo: memFree=30287984/32770624 swapFree=6232/493672
[pid=4748] ppid=4745 vsize=524804 CPUtime=1541.81 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 134540 0 0 0 154166 15 0 0 20 0 1 0 15832624 537399296 113150 33554432000 4194304 5970956 140727184869376 140727184866712 4964452 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131201 113150 835 434 0 124565 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 524804

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.71 3/190 4888
/proc/meminfo: memFree=30287572/32770624 swapFree=6232/493704
[pid=4748] ppid=4745 vsize=524804 CPUtime=1601.79 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 135229 0 0 0 160164 15 0 0 20 0 1 0 15832624 537399296 113150 33554432000 4194304 5970956 140727184869376 140727184866712 4961429 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131201 113150 835 434 0 124565 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 524804

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 1.73 3/190 4889
/proc/meminfo: memFree=30288004/32770624 swapFree=6232/493740
[pid=4748] ppid=4745 vsize=524804 CPUtime=1661.77 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 136468 0 0 0 166162 15 0 0 20 0 1 0 15832624 537399296 113151 33554432000 4194304 5970956 140727184869376 140727184866712 5070793 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131201 113151 835 434 0 124565 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 524804

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 1.75 3/190 4891
/proc/meminfo: memFree=30287724/32770624 swapFree=6232/493772
[pid=4748] ppid=4745 vsize=524936 CPUtime=1721.76 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 138188 0 0 0 172160 16 0 0 20 0 1 0 15832624 537534464 113153 33554432000 4194304 5970956 140727184869376 140727184866440 4967817 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113153 835 434 0 124598 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 524936

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 1.77 3/190 4892
/proc/meminfo: memFree=30287772/32770624 swapFree=6232/493800
[pid=4748] ppid=4745 vsize=524936 CPUtime=1781.74 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 139203 0 0 0 178158 16 0 0 20 0 1 0 15832624 537534464 113153 33554432000 4194304 5970956 140727184869376 140727184866440 4968160 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113153 835 434 0 124598 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 524936

[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 1.79 3/190 4893
/proc/meminfo: memFree=30287464/32770624 swapFree=6232/493828
[pid=4748] ppid=4745 vsize=524936 CPUtime=1841.72 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 140619 0 0 0 184156 16 0 0 20 0 1 0 15832624 537534464 113160 33554432000 4194304 5970956 140727184869376 140727184866712 4964389 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113160 835 434 0 124598 0
Current children cumulated CPU time (s) 1841.72
Current children cumulated vsize (KiB) 524936

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 1.80 3/190 4895
/proc/meminfo: memFree=30287864/32770624 swapFree=6232/493860
[pid=4748] ppid=4745 vsize=524936 CPUtime=1901.71 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 141357 0 0 0 190155 16 0 0 20 0 1 0 15832624 537534464 113160 33554432000 4194304 5970956 140727184869376 140727184866712 4967825 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113160 835 434 0 124598 0
Current children cumulated CPU time (s) 1901.71
Current children cumulated vsize (KiB) 524936

[startup+1962.3 s]
/proc/loadavg: 2.08 2.04 1.81 3/190 4896
/proc/meminfo: memFree=30287976/32770624 swapFree=6232/493896
[pid=4748] ppid=4745 vsize=524936 CPUtime=1961.69 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 142391 0 0 0 196153 16 0 0 20 0 1 0 15832624 537534464 113161 33554432000 4194304 5970956 140727184869376 140727184866712 4974428 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113161 835 434 0 124598 0
Current children cumulated CPU time (s) 1961.69
Current children cumulated vsize (KiB) 524936

[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 1.83 3/190 4904
/proc/meminfo: memFree=30287484/32770624 swapFree=6232/493924
[pid=4748] ppid=4745 vsize=524936 CPUtime=2021.67 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 143651 0 0 0 202151 16 0 0 20 0 1 0 15832624 537534464 113161 33554432000 4194304 5970956 140727184869376 140727184866712 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113161 835 434 0 124598 0
Current children cumulated CPU time (s) 2021.67
Current children cumulated vsize (KiB) 524936

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 1.84 3/190 4905
/proc/meminfo: memFree=30287840/32770624 swapFree=6232/493948
[pid=4748] ppid=4745 vsize=524936 CPUtime=2081.65 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 144423 0 0 0 208149 16 0 0 20 0 1 0 15832624 537534464 113161 33554432000 4194304 5970956 140727184869376 140727184866712 4968229 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113161 835 434 0 124598 0
Current children cumulated CPU time (s) 2081.65
Current children cumulated vsize (KiB) 524936

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 1.85 3/191 4907
/proc/meminfo: memFree=30287676/32770624 swapFree=6232/493984
[pid=4748] ppid=4745 vsize=524936 CPUtime=2141.63 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 145245 0 0 0 214147 16 0 0 20 0 1 0 15832624 537534464 113168 33554432000 4194304 5970956 140727184869376 140727184866712 4964389 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113168 835 434 0 124598 0
Current children cumulated CPU time (s) 2141.63
Current children cumulated vsize (KiB) 524936

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 1.86 3/191 4908
/proc/meminfo: memFree=30287652/32770624 swapFree=6232/494004
[pid=4748] ppid=4745 vsize=524936 CPUtime=2201.62 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 146320 0 0 0 220146 16 0 0 20 0 1 0 15832624 537534464 113168 33554432000 4194304 5970956 140727184869376 140727184866712 5239872 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113168 835 434 0 124598 0
Current children cumulated CPU time (s) 2201.62
Current children cumulated vsize (KiB) 524936

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/191 4909
/proc/meminfo: memFree=30287672/32770624 swapFree=6232/494036
[pid=4748] ppid=4745 vsize=524936 CPUtime=2261.6 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 146996 0 0 0 226144 16 0 0 20 0 1 0 15832624 537534464 113168 33554432000 4194304 5970956 140727184869376 140727184866712 4908944 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113168 835 434 0 124598 0
Current children cumulated CPU time (s) 2261.6
Current children cumulated vsize (KiB) 524936

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/191 4910
/proc/meminfo: memFree=30288088/32770624 swapFree=6232/494056
[pid=4748] ppid=4745 vsize=524936 CPUtime=2321.58 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 147960 0 0 0 232142 16 0 0 20 0 1 0 15832624 537534464 113168 33554432000 4194304 5970956 140727184869376 140727184866712 4967821 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113168 835 434 0 124598 0
Current children cumulated CPU time (s) 2321.58
Current children cumulated vsize (KiB) 524936

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/191 4911
/proc/meminfo: memFree=30287696/32770624 swapFree=6232/494080
[pid=4748] ppid=4745 vsize=524936 CPUtime=2381.56 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 148333 0 0 0 238140 16 0 0 20 0 1 0 15832624 537534464 113168 33554432000 4194304 5970956 140727184869376 140727184866712 5319840 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113168 835 434 0 124598 0
Current children cumulated CPU time (s) 2381.56
Current children cumulated vsize (KiB) 524936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 2.00 2.01 1.88 3/191 4911
/proc/meminfo: memFree=30287820/32770624 swapFree=6232/494088
[pid=4748] ppid=4745 vsize=524936 CPUtime=2400.05 cores=0,2,4,6
/proc/4748/stat : 4748 (cosoco) R 4745 4748 4195 0 -1 4202496 148629 0 0 0 239989 16 0 0 20 0 1 0 15832624 537534464 113168 33554432000 4194304 5970956 140727184869376 140727184866712 5319649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 17358848 140727184876732 140727184876867 140727184876867 140727184879566 0
/proc/4748/statm: 131234 113168 835 434 0 124598 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 524936

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

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

Child status: 1
Real time (s): 2400.8
CPU time (s): 2400.07
CPU user time (s): 2399.9
CPU system time (s): 0.169949
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 524936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.9
system time used= 0.169949
maximum resident set size= 452716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148656
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= 30
involuntary context switches= 122222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54702 second user time and 8.26823 second system time

The end

Launcher Data 

Begin job on node134 at 2017-07-21 09:57:06
IDJOB=4240216
IDBENCH=120738
IDSOLVER=2621
FILE ID=node134/4240216-1500623825
RUNJOBID= node134-1500623778-4226
PBS_JOBID= 20622999
Free space on /tmp= 61660 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P04.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240216-1500623825/watcher-4240216-1500623825 -o /tmp/evaluation-result-4240216-1500623825/solver-4240216-1500623825 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500623778-4226 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240216-1500623825.xml

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

MD5SUM BENCH= ddb81c87fc1d8e68708f77d31c52a231
RANDOM SEED=1685809739

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30088976 kB
MemAvailable:   31954464 kB
Buffers:          156172 kB
Cached:          1972068 kB
SwapCached:            0 kB
Active:          1151756 kB
Inactive:        1071500 kB
Active(anon):      98212 kB
Inactive(anon):     8808 kB
Active(file):    1053544 kB
Inactive(file):  1062692 kB
Unevictable:        6232 kB
Mlocked:            6232 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            365804 kB
Writeback:         60028 kB
AnonPages:        101720 kB
Mapped:            34532 kB
Shmem:              8872 kB
Slab:             156096 kB
SReclaimable:     130176 kB
SUnreclaim:        25920 kB
KernelStack:        3376 kB
PageTables:         5672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     375388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62008 MiB
End job on node134 at 2017-07-21 10:37:06