Trace number 4389774

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 NameAnswerobjective functionCPU timeWall clock time
cosoco 2SAT (TO)374253920 2519.98 2520.02

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-17-0300_c18.xml
MD5SUM89893934ad5b9c06ca26522ad9c878f8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark130971634
Best CPU time to get the best result obtained on this benchmark90.5587
Satisfiable
(Un)Satisfiability was proved
Number of variables6028
Number of constraints3865
Number of domains51
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":2107},{"size":11,"count":1809},{"size":12,"count":1},{"size":31,"count":40},{"size":33,"count":87},{"size":39,"count":25},{"size":59,"count":10},{"size":64,"count":57},{"size":66,"count":15},{"size":69,"count":34},{"size":70,"count":43},{"size":72,"count":1},{"size":73,"count":50},{"size":74,"count":6},{"size":76,"count":21},{"size":79,"count":26},{"size":82,"count":6},{"size":97,"count":23},{"size":99,"count":8},{"size":101,"count":32},{"size":103,"count":72},{"size":105,"count":85},{"size":107,"count":132},{"size":109,"count":12},{"size":110,"count":53},{"size":113,"count":7},{"size":115,"count":3},{"size":119,"count":40},{"size":130,"count":5},{"size":132,"count":2},{"size":134,"count":32},{"size":136,"count":22},{"size":138,"count":99},{"size":140,"count":66},{"size":143,"count":27},{"size":144,"count":90},{"size":147,"count":132},{"size":151,"count":746}]
Minimum variable degree2
Maximum variable degree1810
Distribution of variable degrees[{"degree":2,"count":5428},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":12},{"degree":6,"count":14},{"degree":7,"count":31},{"degree":8,"count":28},{"degree":9,"count":30},{"degree":10,"count":32},{"degree":11,"count":42},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":59},{"degree":15,"count":85},{"degree":16,"count":118},{"degree":17,"count":63},{"degree":1810,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":247},{"arity":3,"count":1809},{"arity":6,"count":1809}]
Number of extensional constraints1809
Number of intensional constraints2056
Distribution of constraint types[{"type":"extension","count":1809},{"type":"intension","count":2056}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.00/0.08	c
0.00/0.08	c This is cosoco 2.00 --  
0.00/0.08	c
0.00/0.08	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389774-1568360109.xml 
0.00/0.08	c intension  eq(dist(f[174],f[60]),40) -> extension (support ? 1) - 282tuples
0.00/0.09	c intension -> extension : same as previous
0.00/0.09	c intension -> extension : same as previous
0.00/0.09	c intension -> extension : same as previous
0.00/0.09	c intension  eq(dist(f[196],f[87]),40) -> extension (support ? 1) - 198tuples
0.00/0.09	c intension  eq(dist(f[150],f[230]),40) -> extension (support ? 1) - 186tuples
0.10/0.11	c intension  eq(dist(f[166],f[92]),40) -> extension (support ? 1) - 282tuples
0.10/0.11	c intension  eq(dist(f[148],f[31]),40) -> extension (support ? 1) - 118tuples
0.10/0.11	c intension  eq(dist(f[127],f[16]),40) -> extension (support ? 1) - 46tuples
0.10/0.12	c intension  eq(dist(f[268],f[298]),40) -> extension (support ? 1) - 282tuples
0.10/0.12	c intension  eq(dist(f[108],f[76]),40) -> extension (support ? 1) - 42tuples
0.10/0.12	c intension  eq(dist(f[124],f[89]),40) -> extension (support ? 1) - 186tuples
0.10/0.12	c intension  eq(dist(f[211],f[279]),40) -> extension (support ? 1) - 46tuples
0.10/0.14	c intension  eq(dist(f[251],f[35]),40) -> extension (support ? 1) - 282tuples
0.10/0.14	c intension  eq(dist(f[19],f[65]),40) -> extension (support ? 1) - 186tuples
0.10/0.15	c intension  eq(dist(f[296],f[61]),40) -> extension (support ? 1) - 282tuples
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension  eq(dist(f[160],f[53]),40) -> extension (support ? 1) - 58tuples
0.10/0.17	c intension  eq(dist(f[154],f[67]),40) -> extension (support ? 1) - 282tuples
0.10/0.17	c intension  eq(dist(f[63],f[74]),40) -> extension (support ? 1) - 218tuples
0.10/0.17	c intension  eq(dist(f[202],f[64]),40) -> extension (support ? 1) - 58tuples
0.10/0.17	c intension  eq(dist(f[130],f[153]),40) -> extension (support ? 1) - 42tuples
0.10/0.18	c intension  eq(dist(f[138],f[51]),40) -> extension (support ? 1) - 282tuples
0.10/0.19	c intension -> extension : same as previous
0.10/0.19	c intension -> extension : same as previous
0.10/0.19	c intension -> extension : same as previous
0.10/0.19	c intension  eq(dist(f[170],f[205]),40) -> extension (support ? 1) - 46tuples
0.10/0.19	c intension  eq(dist(f[100],f[228]),40) -> extension (support ? 1) - 42tuples
0.10/0.20	c intension  eq(dist(f[183],f[224]),40) -> extension (support ? 1) - 282tuples
0.10/0.20	c intension  eq(dist(f[15],f[54]),40) -> extension (support ? 1) - 218tuples
0.10/0.20	c intension  eq(dist(f[259],f[83]),40) -> extension (support ? 1) - 46tuples
0.10/0.21	c intension  eq(dist(f[13],f[181]),40) -> extension (support ? 1) - 118tuples
0.20/0.22	c intension  eq(dist(f[261],f[9]),40) -> extension (support ? 1) - 282tuples
0.20/0.22	c intension  eq(dist(f[107],f[203]),40) -> extension (support ? 1) - 126tuples
0.20/0.22	c intension  eq(dist(f[27],f[42]),40) -> extension (support ? 1) - 98tuples
0.20/0.22	c intension  eq(dist(f[29],f[47]),40) -> extension (support ? 1) - 42tuples
0.20/0.23	c intension  eq(dist(f[163],f[206]),40) -> extension (support ? 1) - 282tuples
0.20/0.23	c intension  eq(dist(f[14],f[270]),40) -> extension (support ? 1) - 42tuples
0.20/0.24	c intension  eq(dist(f[12],f[152]),40) -> extension (support ? 1) - 218tuples
0.20/0.24	c intension  eq(dist(f[134],f[285]),40) -> extension (support ? 1) - 190tuples
0.20/0.26	c intension  eq(dist(f[117],f[207]),40) -> extension (support ? 1) - 282tuples
0.20/0.26	c intension -> extension : same as previous
0.20/0.26	c intension -> extension : same as previous
0.20/0.26	c intension  eq(dist(f[11],f[125]),40) -> extension (support ? 1) - 118tuples
0.20/0.27	c intension  eq(dist(f[115],f[93]),40) -> extension (support ? 1) - 282tuples
0.20/0.27	c intension  eq(dist(f[262],f[66]),40) -> extension (support ? 1) - 42tuples
0.20/0.27	c intension  eq(dist(f[178],f[70]),40) -> extension (support ? 1) - 126tuples
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension  eq(dist(f[137],f[225]),40) -> extension (support ? 1) - 282tuples
0.20/0.28	c intension  eq(dist(f[165],f[97]),40) -> extension (support ? 1) - 46tuples
0.20/0.28	c intension  eq(dist(f[237],f[283]),40) -> extension (support ? 1) - 42tuples
0.20/0.30	c intension  eq(dist(f[113],f[38]),40) -> extension (support ? 1) - 282tuples
0.20/0.30	c intension -> extension : same as previous
0.20/0.30	c intension -> extension : same as previous
0.20/0.30	c intension -> extension : same as previous
0.20/0.30	c intension -> extension : same as previous
0.20/0.30	c intension -> extension : same as previous
0.20/0.30	c intension  eq(dist(f[191],f[82]),40) -> extension (support ? 1) - 118tuples
0.20/0.31	c intension  eq(dist(f[57],f[98]),40) -> extension (support ? 1) - 282tuples
0.30/0.32	c intension -> extension : same as previous
0.30/0.32	c intension  eq(dist(f[246],f[254]),40) -> extension (support ? 1) - 218tuples
0.30/0.32	c intension  eq(dist(f[171],f[245]),40) -> extension (support ? 1) - 126tuples
0.30/0.33	c intension  eq(dist(f[133],f[186]),40) -> extension (support ? 1) - 282tuples
0.30/0.33	c intension  eq(dist(f[147],f[182]),40) -> extension (support ? 1) - 118tuples
0.30/0.34	c intension  eq(dist(f[121],f[131]),40) -> extension (support ? 1) - 282tuples
0.30/0.35	c intension -> extension : same as previous
0.30/0.35	c intension -> extension : same as previous
0.30/0.35	c intension  eq(dist(f[146],f[209]),40) -> extension (support ? 1) - 218tuples
0.30/0.36	c intension  eq(dist(f[22],f[297]),40) -> extension (support ? 1) - 282tuples
0.30/0.36	c intension  eq(dist(f[168],f[62]),40) -> extension (support ? 1) - 46tuples
0.30/0.37	c intension  eq(dist(f[157],f[278]),40) -> extension (support ? 1) - 186tuples
0.30/0.38	c intension  eq(dist(f[290],f[291]),40) -> extension (support ? 1) - 282tuples
0.30/0.38	c intension  eq(dist(f[122],f[71]),40) -> extension (support ? 1) - 186tuples
0.30/0.39	c intension  eq(dist(f[236],f[250]),40) -> extension (support ? 1) - 282tuples
0.30/0.40	c intension  eq(dist(f[143],f[6]),40) -> extension (support ? 1) - 218tuples
0.30/0.41	c intension  eq(dist(f[244],f[274]),40) -> extension (support ? 1) - 282tuples
0.30/0.41	c intension  eq(dist(f[294],f[8]),40) -> extension (support ? 1) - 58tuples
0.40/0.42	c intension  eq(dist(f[159],f[39]),40) -> extension (support ? 1) - 282tuples
0.40/0.42	c intension  eq(dist(f[135],f[84]),40) -> extension (support ? 1) - 46tuples
0.40/0.43	c intension  eq(dist(f[105],f[55]),40) -> extension (support ? 1) - 282tuples
0.40/0.44	c intension -> extension : same as previous
0.40/0.44	c intension -> extension : same as previous
0.40/0.44	c intension  eq(dist(f[194],f[204]),40) -> extension (support ? 1) - 58tuples
0.40/0.44	c intension  eq(dist(f[187],f[50]),40) -> extension (support ? 1) - 198tuples
0.40/0.44	c intension  eq(dist(f[233],f[80]),40) -> extension (support ? 1) - 126tuples
0.40/0.45	c intension  eq(dist(f[222],f[231]),40) -> extension (support ? 1) - 282tuples
0.40/0.46	c intension  eq(dist(f[229],f[2]),40) -> extension (support ? 1) - 190tuples
0.40/0.47	c intension  eq(dist(f[175],f[197]),40) -> extension (support ? 1) - 218tuples
0.40/0.47	c intension  eq(dist(f[199],f[249]),40) -> extension (support ? 1) - 46tuples
0.40/0.47	c intension  eq(dist(f[195],f[232]),40) -> extension (support ? 1) - 198tuples
0.40/0.48	c intension  eq(dist(f[226],f[282]),40) -> extension (support ? 1) - 282tuples
0.40/0.48	c intension  eq(dist(f[193],f[85]),40) -> extension (support ? 1) - 46tuples
0.40/0.49	c intension  eq(dist(f[0],f[41]),40) -> extension (support ? 1) - 282tuples
0.40/0.49	c intension -> extension : same as previous
0.40/0.49	c intension  eq(dist(f[23],f[75]),40) -> extension (support ? 1) - 46tuples
0.40/0.51	c intension  eq(dist(f[26],f[286]),40) -> extension (support ? 1) - 282tuples
0.40/0.51	c intension  eq(dist(f[247],f[276]),40) -> extension (support ? 1) - 46tuples
0.40/0.51	c intension -> extension : same as previous
0.40/0.51	c intension  eq(dist(f[119],f[25]),40) -> extension (support ? 1) - 58tuples
0.50/0.52	c intension  eq(dist(f[120],f[68]),40) -> extension (support ? 1) - 282tuples
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension  eq(dist(f[164],f[255]),40) -> extension (support ? 1) - 46tuples
0.50/0.53	c intension  eq(dist(f[1],f[260]),40) -> extension (support ? 1) - 282tuples
0.50/0.53	c intension -> extension : same as previous
0.50/0.53	c intension  eq(dist(f[208],f[241]),40) -> extension (support ? 1) - 42tuples
0.50/0.54	c intension  eq(dist(f[158],f[28]),40) -> extension (support ? 1) - 126tuples
0.50/0.55	c intension  eq(dist(f[188],f[58]),40) -> extension (support ? 1) - 282tuples
0.50/0.55	c intension -> extension : same as previous
0.50/0.55	c intension  eq(dist(f[10],f[126]),40) -> extension (support ? 1) - 186tuples
0.50/0.56	c intension  eq(dist(f[116],f[48]),40) -> extension (support ? 1) - 126tuples
0.50/0.56	c intension  eq(dist(f[172],f[212]),40) -> extension (support ? 1) - 118tuples
0.50/0.56	c intension  eq(dist(f[235],f[44]),40) -> extension (support ? 1) - 42tuples
0.50/0.57	c intension  eq(dist(f[239],f[257]),40) -> extension (support ? 1) - 282tuples
0.50/0.57	c intension  eq(dist(f[142],f[156]),40) -> extension (support ? 1) - 46tuples
0.50/0.57	c intension  eq(dist(f[102],f[189]),40) -> extension (support ? 1) - 58tuples
0.50/0.58	c intension  eq(dist(f[128],f[45]),40) -> extension (support ? 1) - 282tuples
0.50/0.59	c intension -> extension : same as previous
0.50/0.59	c intension  eq(dist(f[3],f[88]),40) -> extension (support ? 1) - 118tuples
0.50/0.60	c intension  eq(dist(f[110],f[275]),40) -> extension (support ? 1) - 282tuples
0.50/0.60	c intension  eq(dist(f[220],f[281]),40) -> extension (support ? 1) - 126tuples
0.60/0.61	c intension  eq(dist(f[114],f[267]),40) -> extension (support ? 1) - 218tuples
0.60/0.62	c intension  eq(dist(f[200],f[256]),40) -> extension (support ? 1) - 282tuples
0.60/0.62	c intension -> extension : same as previous
0.60/0.62	c intension  eq(dist(f[109],f[173]),40) -> extension (support ? 1) - 98tuples
0.60/0.63	c intension  eq(dist(f[140],f[292]),40) -> extension (support ? 1) - 282tuples
0.60/0.63	c intension  eq(dist(f[18],f[221]),40) -> extension (support ? 1) - 126tuples
0.60/0.64	c intension  eq(dist(f[144],f[277]),40) -> extension (support ? 1) - 282tuples
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension  eq(dist(f[210],f[299]),40) -> extension (support ? 1) - 58tuples
0.60/0.65	c intension  eq(dist(f[101],f[106]),40) -> extension (support ? 1) - 126tuples
0.60/0.65	c intension  eq(dist(f[104],f[73]),40) -> extension (support ? 1) - 218tuples
0.60/0.66	c intension  eq(dist(f[273],f[43]),40) -> extension (support ? 1) - 186tuples
0.60/0.67	c intension  eq(dist(f[280],f[5]),40) -> extension (support ? 1) - 282tuples
0.60/0.67	c intension -> extension : same as previous
0.60/0.67	c intension -> extension : same as previous
0.60/0.67	c intension  eq(dist(f[248],f[49]),40) -> extension (support ? 1) - 46tuples
0.60/0.67	c intension  eq(dist(f[240],f[284]),40) -> extension (support ? 1) - 42tuples
0.60/0.67	c intension  eq(dist(f[145],f[81]),40) -> extension (support ? 1) - 126tuples
0.60/0.69	c intension  eq(dist(f[227],f[253]),40) -> extension (support ? 1) - 282tuples
0.60/0.69	c intension  eq(dist(f[269],f[32]),40) -> extension (support ? 1) - 190tuples
0.60/0.69	c intension  eq(dist(f[103],f[216]),40) -> extension (support ? 1) - 42tuples
0.60/0.69	c intension  eq(dist(f[132],f[7]),40) -> extension (support ? 1) - 98tuples
0.69/0.71	c intension  eq(dist(f[34],f[69]),40) -> extension (support ? 1) - 282tuples
0.69/0.71	c intension -> extension : same as previous
0.69/0.71	c intension -> extension : same as previous
0.69/0.71	c intension  eq(dist(f[33],f[4]),40) -> extension (support ? 1) - 186tuples
0.69/0.72	c intension -> extension : same as previous
0.69/0.72	c intension  ne(dist(f[225],f[25]),2) -> extension (support ? 0) - 0tuples
0.69/0.72	c intension  ne(dist(f[178],f[285]),465) -> extension (support ? 0) - 0tuples
0.69/0.72	c intension  ne(dist(f[281],f[6]),18) -> extension (support ? 0) - 0tuples
0.69/0.73	c intension  ne(dist(f[14],f[236]),86) -> extension (support ? 0) - 0tuples
0.69/0.73	c intension  ne(dist(f[10],f[270]),112) -> extension (support ? 0) - 36tuples
0.69/0.73	c intension  ne(dist(f[195],f[290]),202) -> extension (support ? 0) - 0tuples
0.69/0.75	c intension  ne(dist(f[131],f[238]),91) -> extension (support ? 0) - 0tuples
0.69/0.75	c intension  ne(dist(f[100],f[137]),105) -> extension (support ? 0) - 0tuples
0.69/0.75	c intension  ne(dist(f[11],f[159]),11) -> extension (support ? 0) - 0tuples
0.69/0.76	c intension  ne(dist(f[184],f[260]),119) -> extension (support ? 0) - 0tuples
0.69/0.77	c intension  ne(dist(f[195],f[36]),99) -> extension (support ? 0) - 0tuples
0.69/0.78	c intension  ne(dist(f[246],f[31]),127) -> extension (support ? 0) - 0tuples
0.69/0.78	c intension  ne(dist(f[37],f[71]),167) -> extension (support ? 0) - 0tuples
0.69/0.80	c intension  ne(dist(f[22],f[253]),59) -> extension (support ? 0) - 0tuples
0.79/0.80	c intension  ne(dist(f[11],f[281]),18) -> extension (support ? 0) - 0tuples
0.79/0.80	c intension  ne(dist(f[125],f[161]),95) -> extension (support ? 0) - 0tuples
0.79/0.80	c intension  ne(dist(f[120],f[189]),76) -> extension (support ? 0) - 78tuples
0.79/0.81	c intension  ne(dist(f[142],f[241]),25) -> extension (support ? 0) - 0tuples
0.79/0.81	c intension  ne(dist(f[175],f[283]),7) -> extension (support ? 0) - 0tuples
0.79/0.82	c intension  ne(dist(f[151],f[289]),164) -> extension (support ? 0) - 220tuples
0.79/0.83	c intension  ne(dist(f[214],f[41]),89) -> extension (support ? 0) - 0tuples
0.79/0.83	c intension  ne(dist(f[119],f[80]),65) -> extension (support ? 0) - 0tuples
0.79/0.84	c intension  ne(dist(f[269],f[87]),104) -> extension (support ? 0) - 161tuples
0.79/0.84	c intension  ne(dist(f[151],f[209]),52) -> extension (support ? 0) - 229tuples
0.79/0.85	c intension  ne(dist(f[15],f[196]),413) -> extension (support ? 0) - 0tuples
0.79/0.86	c intension  ne(dist(f[0],f[60]),22) -> extension (support ? 0) - 0tuples
0.79/0.87	c intension  ne(dist(f[213],f[298]),18) -> extension (support ? 0) - 0tuples
0.79/0.87	c intension  ne(dist(f[248],f[37]),66) -> extension (support ? 0) - 0tuples
0.79/0.88	c intension  ne(dist(f[43],f[58]),247) -> extension (support ? 0) - 0tuples
0.79/0.88	c intension  ne(dist(f[276],f[78]),160) -> extension (support ? 0) - 66tuples
0.79/0.89	c intension  ne(dist(f[159],f[253]),132) -> extension (support ? 0) - 236tuples
0.79/0.89	c intension  ne(dist(f[49],f[70]),112) -> extension (support ? 0) - 47tuples
0.89/0.90	c intension  ne(dist(f[133],f[98]),68) -> extension (support ? 0) - 268tuples
0.89/0.91	c intension  ne(dist(f[112],f[196]),21) -> extension (support ? 0) - 0tuples
0.89/0.91	c intension  ne(dist(f[119],f[218]),37) -> extension (support ? 0) - 0tuples
0.89/0.92	c intension  ne(dist(f[272],f[54]),460) -> extension (support ? 0) - 40tuples
0.89/0.93	c intension  ne(dist(f[34],f[9]),503) -> extension (support ? 0) - 0tuples
0.89/0.94	c intension  ne(dist(f[153],f[256]),8) -> extension (support ? 0) - 62tuples
0.89/0.94	c intension  ne(dist(f[21],f[254]),28) -> extension (support ? 0) - 116tuples
0.89/0.95	c intension  ne(dist(f[118],f[150]),245) -> extension (support ? 0) - 0tuples
0.89/0.95	c intension  ne(dist(f[249],f[297]),91) -> extension (support ? 0) - 0tuples
0.89/0.95	c intension  ne(dist(f[132],f[30]),61) -> extension (support ? 0) - 0tuples
0.89/0.96	c intension  ne(dist(f[261],f[79]),53) -> extension (support ? 0) - 0tuples
0.89/0.97	c intension  ne(dist(f[175],f[30]),6) -> extension (support ? 0) - 0tuples
0.89/0.98	c intension  ne(dist(f[238],f[7]),180) -> extension (support ? 0) - 80tuples
0.89/0.99	c intension  ne(dist(f[261],f[35]),346) -> extension (support ? 0) - 0tuples
0.89/0.99	c intension  ne(dist(f[211],f[65]),148) -> extension (support ? 0) - 33tuples
0.89/0.99	c intension  ne(dist(f[13],f[62]),16) -> extension (support ? 0) - 61tuples
0.89/1.00	c intension  ne(dist(f[137],f[88]),17) -> extension (support ? 0) - 0tuples
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
0.89/1.00	c AllEqual constraint using 1 generic x=y constraints 
1.09/1.11	c intension  eq(dist(f[160],f[8]),d[113]) -> extension (support ? 1) - 1521tuples
1.09/1.15	c intension -> extension : same as previous
1.09/1.15	c intension  eq(dist(f[14],f[66]),d[164]) -> extension (support ? 1) - 961tuples
1.09/1.17	c intension  eq(dist(f[14],f[76]),d[166]) -> extension (support ? 1) - 961tuples
1.19/1.23	c intension  eq(dist(f[14],f[194]),d[171]) -> extension (support ? 1) - 1209tuples
1.19/1.28	c intension  eq(dist(f[14],f[299]),d[176]) -> extension (support ? 1) - 1209tuples
1.29/1.31	c intension  eq(dist(f[16],f[49]),d[184]) -> extension (support ? 1) - 1089tuples
1.29/1.37	c intension  eq(dist(f[16],f[204]),d[190]) -> extension (support ? 1) - 1287tuples
1.39/1.40	c intension  eq(dist(f[16],f[211]),d[192]) -> extension (support ? 1) - 1089tuples
1.39/1.43	c intension -> extension : same as previous
1.39/1.43	c intension  eq(dist(f[16],f[276]),d[195]) -> extension (support ? 1) - 1089tuples
1.49/1.51	c intension  eq(dist(f[130],f[25]),d[304]) -> extension (support ? 1) - 1209tuples
1.49/1.56	c intension  eq(dist(f[202],f[25]),d[306]) -> extension (support ? 1) - 1521tuples
1.59/1.62	c intension  eq(dist(f[211],f[25]),d[307]) -> extension (support ? 1) - 1287tuples
1.59/1.68	c intension  eq(dist(f[235],f[25]),d[309]) -> extension (support ? 1) - 1209tuples
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension  eq(dist(f[25],f[299]),d[313]) -> extension (support ? 1) - 1521tuples
1.69/1.76	c intension  eq(dist(f[100],f[29]),d[348]) -> extension (support ? 1) - 961tuples
1.79/1.87	c intension  eq(dist(f[189],f[44]),d[519]) -> extension (support ? 1) - 1209tuples
1.79/1.89	c intension  eq(dist(f[208],f[44]),d[520]) -> extension (support ? 1) - 961tuples
1.89/1.91	c intension -> extension : same as previous
1.89/1.91	c intension  eq(dist(f[284],f[44]),d[523]) -> extension (support ? 1) - 961tuples
1.89/1.94	c intension  eq(dist(f[130],f[47]),d[549]) -> extension (support ? 1) - 961tuples
1.89/1.97	c intension  eq(dist(f[262],f[47]),d[552]) -> extension (support ? 1) - 961tuples
1.89/1.99	c intension -> extension : same as previous
1.89/1.99	c intension -> extension : same as previous
1.89/1.99	c intension  eq(dist(f[49],f[62]),d[563]) -> extension (support ? 1) - 1089tuples
2.00/2.02	c intension  eq(dist(f[49],f[75]),d[565]) -> extension (support ? 1) - 1089tuples
2.00/2.05	c intension  eq(dist(f[211],f[49]),d[569]) -> extension (support ? 1) - 1089tuples
2.89/2.90	c intension  eq(dist(f[53],f[76]),d[612]) -> extension (support ? 1) - 1209tuples
2.89/2.90	c intension  eq(dist(f[53],f[84]),d[614]) -> extension (support ? 1) - 1287tuples
2.89/2.90	c intension  eq(dist(f[202],f[53]),d[619]) -> extension (support ? 1) - 1521tuples
2.89/2.90	c intension -> extension : same as previous
2.89/2.90	c intension  eq(dist(f[62],f[64]),d[696]) -> extension (support ? 1) - 1287tuples
2.89/2.90	c intension  eq(dist(f[204],f[62]),d[702]) -> extension (support ? 1) - 1287tuples
2.89/2.90	c intension  eq(dist(f[235],f[62]),d[703]) -> extension (support ? 1) - 1023tuples
2.89/2.90	c intension  eq(dist(f[102],f[64]),d[707]) -> extension (support ? 1) - 1521tuples
2.89/2.90	c intension  eq(dist(f[249],f[64]),d[710]) -> extension (support ? 1) - 1287tuples
2.89/2.90	c intension  eq(dist(f[129],f[66]),d[725]) -> extension (support ? 1) - 1023tuples
2.89/2.90	c intension  eq(dist(f[228],f[66]),d[728]) -> extension (support ? 1) - 961tuples
2.89/2.90	c intension  eq(dist(f[168],f[75]),d[783]) -> extension (support ? 1) - 1089tuples
2.89/2.90	c intension  eq(dist(f[259],f[75]),d[785]) -> extension (support ? 1) - 1089tuples
2.89/2.90	c intension  eq(dist(f[279],f[75]),d[787]) -> extension (support ? 1) - 1089tuples
2.89/2.90	c intension  eq(dist(f[76],f[83]),d[788]) -> extension (support ? 1) - 1023tuples
2.89/2.90	c intension  eq(dist(f[130],f[76]),d[791]) -> extension (support ? 1) - 961tuples
2.89/2.90	c intension  eq(dist(f[165],f[76]),d[794]) -> extension (support ? 1) - 1023tuples
2.89/2.90	c intension -> extension : same as previous
2.89/2.90	c intension  eq(dist(f[262],f[76]),d[797]) -> extension (support ? 1) - 961tuples
2.89/2.90	c intension  eq(dist(f[228],f[83]),d[865]) -> extension (support ? 1) - 1023tuples
2.89/2.90	c intension  eq(dist(f[248],f[83]),d[866]) -> extension (support ? 1) - 1089tuples
2.89/2.90	c intension  eq(dist(f[262],f[83]),d[867]) -> extension (support ? 1) - 1023tuples
2.89/2.90	c intension -> extension : same as previous
2.89/2.90	c intension  eq(dist(f[84],f[85]),d[869]) -> extension (support ? 1) - 1089tuples
2.89/2.90	c intension -> extension : same as previous
2.89/2.90	c intension  eq(dist(f[255],f[84]),d[872]) -> extension (support ? 1) - 1089tuples
2.89/2.92	c intension  eq(dist(f[103],f[85]),d[873]) -> extension (support ? 1) - 1023tuples
2.89/2.98	c intension  eq(dist(f[160],f[85]),d[875]) -> extension (support ? 1) - 1287tuples
3.00/3.04	c intension  eq(dist(f[135],f[97]),d[987]) -> extension (support ? 1) - 1089tuples
3.00/3.06	c intension  eq(dist(f[164],f[97]),d[989]) -> extension (support ? 1) - 1089tuples
3.00/3.10	c intension -> extension : same as previous
3.00/3.10	c intension -> extension : same as previous
3.00/3.10	c intension -> extension : same as previous
3.00/3.10	c intension  eq(dist(f[100],f[127]),d[1011]) -> extension (support ? 1) - 1023tuples
3.10/3.12	c intension -> extension : same as previous
3.10/3.12	c intension  eq(dist(f[100],f[199]),d[1014]) -> extension (support ? 1) - 1023tuples
3.10/3.17	c intension  eq(dist(f[102],f[194]),d[1025]) -> extension (support ? 1) - 1521tuples
3.19/3.21	c intension  eq(dist(f[102],f[204]),d[1028]) -> extension (support ? 1) - 1521tuples
3.19/3.26	c intension  eq(dist(f[102],f[262]),d[1031]) -> extension (support ? 1) - 1209tuples
3.29/3.31	c intension -> extension : same as previous
3.29/3.31	c intension  eq(dist(f[102],f[299]),d[1034]) -> extension (support ? 1) - 1521tuples
3.29/3.33	c intension  eq(dist(f[103],f[130]),d[1036]) -> extension (support ? 1) - 961tuples
3.29/3.35	c intension  eq(dist(f[103],f[205]),d[1039]) -> extension (support ? 1) - 1023tuples
3.29/3.37	c intension  eq(dist(f[103],f[235]),d[1040]) -> extension (support ? 1) - 961tuples
3.39/3.40	c intension  eq(dist(f[103],f[255]),d[1041]) -> extension (support ? 1) - 1023tuples
3.39/3.43	c intension  eq(dist(f[108],f[135]),d[1073]) -> extension (support ? 1) - 1023tuples
3.49/3.51	c intension  eq(dist(f[119],f[283]),d[1155]) -> extension (support ? 1) - 1209tuples
3.49/3.59	c intension  eq(dist(f[127],f[160]),d[1211]) -> extension (support ? 1) - 1287tuples
3.59/3.62	c intension  eq(dist(f[127],f[237]),d[1213]) -> extension (support ? 1) - 1023tuples
3.59/3.64	c intension  eq(dist(f[127],f[247]),d[1214]) -> extension (support ? 1) - 1089tuples
3.69/3.71	c intension -> extension : same as previous
3.69/3.71	c intension  eq(dist(f[129],f[294]),d[1230]) -> extension (support ? 1) - 1287tuples
3.69/3.77	c intension  eq(dist(f[130],f[160]),d[1232]) -> extension (support ? 1) - 1209tuples
3.79/3.80	c intension  eq(dist(f[135],f[164]),d[1263]) -> extension (support ? 1) - 1089tuples
3.79/3.86	c intension  eq(dist(f[135],f[210]),d[1265]) -> extension (support ? 1) - 1287tuples
3.89/3.92	c intension  eq(dist(f[135],f[294]),d[1269]) -> extension (support ? 1) - 1287tuples
4.00/4.01	c intension  eq(dist(f[153],f[189]),d[1365]) -> extension (support ? 1) - 1209tuples
4.00/4.04	c intension  eq(dist(f[156],f[247]),d[1384]) -> extension (support ? 1) - 1089tuples
4.10/4.11	c intension -> extension : same as previous
4.10/4.11	c intension  eq(dist(f[160],f[170]),d[1405]) -> extension (support ? 1) - 1287tuples
4.10/4.14	c intension  eq(dist(f[164],f[179]),d[1425]) -> extension (support ? 1) - 1089tuples
4.19/4.20	c intension  eq(dist(f[164],f[202]),d[1428]) -> extension (support ? 1) - 1287tuples
4.19/4.23	c intension  eq(dist(f[164],f[211]),d[1429]) -> extension (support ? 1) - 1089tuples
4.19/4.25	c intension  eq(dist(f[164],f[228]),d[1431]) -> extension (support ? 1) - 1023tuples
4.19/4.29	c intension  eq(dist(f[170],f[284]),d[1468]) -> extension (support ? 1) - 1023tuples
4.29/4.35	c intension  eq(dist(f[170],f[294]),d[1470]) -> extension (support ? 1) - 1287tuples
4.29/4.39	c intension  eq(dist(f[179],f[193]),d[1513]) -> extension (support ? 1) - 1089tuples
4.39/4.41	c intension  eq(dist(f[179],f[237]),d[1514]) -> extension (support ? 1) - 1023tuples
4.39/4.44	c intension  eq(dist(f[179],f[270]),d[1517]) -> extension (support ? 1) - 1023tuples
4.49/4.50	c intension  eq(dist(f[179],f[294]),d[1518]) -> extension (support ? 1) - 1287tuples
4.49/4.54	c intension  eq(dist(f[193],f[255]),d[1575]) -> extension (support ? 1) - 1089tuples
4.59/4.60	c intension  eq(dist(f[194],f[237]),d[1578]) -> extension (support ? 1) - 1209tuples
4.59/4.63	c intension  eq(dist(f[199],f[255]),d[1599]) -> extension (support ? 1) - 1089tuples
4.59/4.65	c intension  eq(dist(f[199],f[262]),d[1600]) -> extension (support ? 1) - 1023tuples
4.69/4.71	c intension  eq(dist(f[202],f[262]),d[1608]) -> extension (support ? 1) - 1209tuples
4.69/4.76	c intension  eq(dist(f[204],f[294]),d[1618]) -> extension (support ? 1) - 1521tuples
4.69/4.79	c intension  eq(dist(f[205],f[249]),d[1619]) -> extension (support ? 1) - 1089tuples
4.79/4.81	c intension  eq(dist(f[205],f[259]),d[1621]) -> extension (support ? 1) - 1089tuples
4.79/4.87	c intension  eq(dist(f[208],f[299]),d[1636]) -> extension (support ? 1) - 1209tuples
4.89/4.90	c intension  eq(dist(f[211],f[240]),d[1643]) -> extension (support ? 1) - 1023tuples
4.89/4.92	c intension  eq(dist(f[216],f[237]),d[1658]) -> extension (support ? 1) - 961tuples
4.89/4.95	c intension  eq(dist(f[216],f[276]),d[1659]) -> extension (support ? 1) - 1023tuples
4.89/4.98	c intension  eq(dist(f[228],f[241]),d[1699]) -> extension (support ? 1) - 961tuples
5.00/5.01	c intension  eq(dist(f[237],f[241]),d[1721]) -> extension (support ? 1) - 961tuples
5.00/5.04	c intension  eq(dist(f[247],f[279]),d[1750]) -> extension (support ? 1) - 1089tuples
5.00/5.07	c intension  eq(dist(f[247],f[283]),d[1751]) -> extension (support ? 1) - 1023tuples
5.00/5.09	c intension  eq(dist(f[248],f[249]),d[1752]) -> extension (support ? 1) - 1089tuples
5.09/5.16	c intension  eq(dist(f[262],f[299]),d[1777]) -> extension (support ? 1) - 1209tuples
306.07/306.17	c enable optimization
306.07/306.17	c ========================================[ Problem Statistics ]===========================================
306.07/306.17	c |                                                                                                       
306.07/306.17	c |  Parse time        :        45.53 s 
306.07/306.17	c |
306.07/306.17	c |               Variables: 6028
306.07/306.17	c |            Domain Sizes: 1..151
306.07/306.17	c |
306.07/306.17	c |             Constraints: 3866
306.07/306.17	c |                   Arity: 2..3619  -- Binary: 247  -- Ternary: 1809
306.07/306.17	c | 
306.07/306.17	c |                   Types: 
306.07/306.17	c |                          (X != Y): 22
306.07/306.17	c |                          (X = Y): 26
306.07/306.17	c |                          Extension: 2125  (nb tuples: 0..7220) -- (shared: 53)
306.07/306.17	c |                          Intension: 1692
306.07/306.17	c |                          Sum: 1
306.07/306.17	c |                          
306.07/306.17	c |               Objective: Minimize Sum
306.07/306.17	
306.07/306.17	c =========================================================================================================
306.07/306.17	o 374253920
306.07/306.17	c    1 calls to solver(id=0): best=374253920 lower=0 upper=374253919 
2519.97/2520.01	
2519.97/2520.01	c *** INTERRUPTED ***
2519.97/2520.01	c call to solver        : 1
2519.97/2520.01	c
2519.97/2520.01	c restarts              : 71          
2519.97/2520.01	c conflicts             : 39928        (16 /sec)
2519.97/2520.01	c decisions             : 428587       (170 /sec)
2519.97/2520.01	c propagations          : 90226701    (35818 /sec)
2519.97/2520.01	c root propagations     : 15112       
2519.97/2520.01	c filter calls          : 11125038       (4416 /sec)
2519.97/2520.01	c useless filter calls  : 6808466        (61 %)
2519.97/2520.01	c Memory used           : 814.63 MB
2519.97/2520.01	c Best bound time (wc)  : 306.169 s
2519.97/2520.01	c CPU time              : 2519.04 s
2519.97/2520.01	c real time             : 2520.01 s
2519.97/2520.01	
2519.97/2520.01	c nb Solutions = 1
2519.97/2520.01	s SATISFIABLE
2519.97/2520.01	c Best value found: 374253920
2519.97/2520.01	
2519.97/2520.01	
2519.97/2520.01	v <instantiation type='solution' cost='374253920'>
2519.97/2520.01	v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[113] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[114] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[115] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[116] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[117] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[118] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[119] d[11] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[120] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[121] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[122] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[123] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[124] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[125] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[126] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[127] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[128] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[129] d[12] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[130] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[131] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[132] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[133] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[134] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[135] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[136] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[137] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[138] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[139] d[13] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[140] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[141] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[142] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[143] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[144] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[145] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[146] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[147] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[148] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[149] d[14] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[150] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[151] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[152] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[153] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[154] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[155] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[156] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[157] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[158] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[159] d[15] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[160] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[161] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[162] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[163] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[164] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[165] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[166] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[167] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[168] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[169] d[16] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[170] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[171] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[172] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[173] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[174] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[175] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[176] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[177] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[178] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[179] d[17] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[18] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[19] d[1] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[20] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[21] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[25] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[26] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[27] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[28] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[29] f[2] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[142] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[143] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[144] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[145] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[146] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[147] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[148] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[149] v1[14] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[150] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[151] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[152] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[153] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[154] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[155] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[156] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[157] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[158] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[159] v1[15] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[160] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[161] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[162] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[163] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[164] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[165] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[166] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[167] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[168] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[169] v1[16] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[170] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[171] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[172] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[173] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[174] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[175] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[176] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[177] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[178] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[179] v1[17] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[18] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[19] v1[1] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[20] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[21] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[113] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[114] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[115] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[116] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[117] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[118] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[119] v2[11] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[120] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[121] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[122] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[123] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[124] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[125] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[126] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[127] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[128] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[129] v2[12] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[130] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[131] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[132] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[133] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[134] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[135] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[136] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[137] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[138] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[139] v2[13] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[140] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[141] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[142] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[143] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[144] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[145] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[146] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[147] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[148] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[149] v2[14] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[150] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[151] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[152] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[153] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[154] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[155] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[156] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[157] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[158] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[159] v2[15] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[160] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[161] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[162] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[163] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[164] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[165] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[166] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[167] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[168] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[169] v2[16] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[170] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[171] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[172] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[173] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[174] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[175] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[176] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[177] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[178] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[179] v2[17] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[18] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[19] v2[1] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[20] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list>
2519.97/2520.01	v <values>568 0 592 0 164 312 108 0 540 0 160 32 40 60 104 12 16 36 104 96 260 260 16 0 36 124 140 164 0 16 344 40 364 268 124 132 172 0 152 220 48 84 124 40 140 32 88 360 368 40 264 0 280 236 84 212 224 184 552 224 592 296 512 592 288 220 204 168 36 160 220 36 288 108 172 532 212 140 216 248 52 36 336 368 172 100 488 196 328 164 212 368 0 40 500 560 40 220 16 136 84 16 0 508 24 260 124 32 552 364 252 548 300 548 220 264 128 28 124 124 220 196 128 172 324 124 0 56 16 56 500 0 544 168 348 164 592 0 188 36 204 36 272 292 300 0 16 352 448 16 24 320 8 28 584 36 64 24 468 352 296 0 552 40 164 40 4 336 0 0 376 164 228 156 508 84 244 252 32 116 152 500 500 500 500 308 116 500 36 16 172 368 352 16 328 296 16 328 0 524 544 204 0 348 40 0 340 192 168 152 296 188 184 124 420 8 52 164 88 460 160 256 188 460 368 24 284 24 528 352 108 260 328 588 164 176 12 28 80 84 68 0 424 0 36 512 188 192 120 0 224 212 8 336 320 296 128 72 132 336 336 328 44 500 460 92 292 312 336 376 300 368 68 104 244 336 56 292 348 100 40 76 0 0 188 164 8 336 364 8 360 284 4 324 64 144 4 152 132 4 268 252 296 488 292 4 44 44 384 428 40 336 464 40 164 44 0 384 508 556 172 76 208 244 556 36 96 372 124 0 508 296 320 164 40 260 44 132 64 172 468 324 28 372 244 520 332 224 360 276 384 164 344 164 360 56 232 48 424 40 4 560 40 60 80 56 408 132 60 172 428 328 4 16 492 536 244 288 76 76 72 408 260 40 4 40 176 256 44 24 40 260 144 196 36 156 340 0 0 420 0 40 0 96 256 92 148 88 352 488 124 284 136 488 0 188 488 256 372 272 296 68 32 384 384 352 124 128 424 56 20 404 88 144 224 264 184 92 344 388 316 308 388 108 160 72 196 472 468 48 180 164 128 348 204 120 40 76 24 592 4 84 488 512 0 188 296 192 32 0 312 32 40 212 336 52 88 180 276 24 260 152 32 336 296 276 172 172 200 176 260 88 4 492 516 12 196 4 96 252 284 216 520 484 500 100 196 296 12 272 256 328 180 344 232 288 236 0 16 48 220 40 176 0 188 132 4 136 4 80 296 152 240 300 204 484 220 100 548 96 164 412 92 132 200 16 108 152 376 244 108 108 108 400 80 548 0 208 308 184 348 244 348 184 76 168 48 24 300 116 40 56 272 296 40 88 256 276 208 92 28 292 152 256 156 4 36 80 332 328 368 208 328 408 252 236 84 104 108 368 512 124 384 416 352 0 124 512 0 192 32 40 296 372 288 256 112 68 44 124 304 332 40 260 0 188 244 256 344 532 488 472 76 364 496 440 216 336 40 264 164 188 156 208 176 324 40 116 176 324 64 268 116 132 136 148 336 188 300 132 40 296 40 304 8 52 36 8 304 468 164 508 336 80 8 12 224 372 508 212 212 508 0 348 132 396 4 0 12 304 8 296 12 312 68 8 12 56 284 0 56 524 16 16 272 108 20 280 472 16 156 120 24 384 128 64 300 0 220 24 232 40 20 320 512 252 512 552 512 344 8 4 240 164 184 552 40 84 256 40 300 336 208 120 76 260 180 64 44 0 0 296 40 40 276 316 500 188 500 172 540 500 304 344 32 132 32 100 124 64 188 448 192 20 40 24 264 36 288 360 136 392 296 300 468 252 124 164 236 4 484 140 140 64 124 4 188 88 0 132 316 16 96 352 516 20 64 64 232 516 212 24 24 280 128 132 256 212 288 328 328 256 252 288 288 296 24 44 392 8 312 488 256 84 92 48 296 0 312 0 292 128 0 188 376 256 532 16 48 404 428 32 0 556 20 44 44 4 44 44 536 4 20 296 580 352 40 40 72 164 180 56 28 508 216 344 196 124 276 296 40 300 580 40 148 100 84 320 520 40 336 172 284 256 40 540 0 32 468 424 24 24 84 364 420 404 420 52 116 216 364 4 120 232 80 348 380 264 8 364 48 520 560 520 12 264 560 356 560 496 516 4 264 20 520 520 492 164 508 24 384 508 4 0 252 60 196 84 548 252 384 352 280 60 540 56 280 312 280 352 56 240 256 56 324 368 520 568 376 568 68 568 12 372 568 4 220 528 568 120 380 404 36 168 76 0 4 96 260 168 248 40 0 132 180 48 144 576 28 48 452 48 508 496 48 8 544 140 36 116 188 172 256 236 0 212 40 220 56 228 312 484 168 344 448 328 24 304 328 344 456 56 284 136 368 188 132 308 80 220 204 212 520 92 160 204 112 216 336 240 152 216 236 64 112 52 256 168 196 80 212 432 20 448 472 152 156 64 152 88 428 412 48 20 92 308 92 132 132 320 132 92 264 336 56 376 304 132 376 132 452 448 504 376 16 336 488 0 40 212 188 4 232 340 144 44 80 268 8 120 24 72 72 68 112 108 64 244 400 308 516 108 372 0 244 328 16 476 288 56 92 40 384 0 592 40 368 0 336 368 148 476 192 0 40 336 0 256 296 296 0 232 32 508 296 296 296 284 256 512 312 152 552 24 568 24 40 0 16 328 40 0 552 24 384 336 200 184 552 480 380 176 148 204 344 0 276 140 128 344 204 164 144 544 12 544 584 260 420 324 528 548 460 544 56 356 352 544 284 56 572 0 40 16 468 424 284 0 260 260 76 340 392 0 220 0 40 268 0 500 160 0 0 244 344 40 0 276 472 4 188 260 528 28 120 16 192 380 324 192 296 8 32 76 384 220 168 124 328 24 384 368 124 384 200 64 0 76 92 132 116 336 88 252 172 176 80 32 336 40 76 0 0 500 408 544 208 348 16 40 0 164 116 204 300 4 248 176 76 160 96 52 176 184 28 92 400 80 144 12 416 120 24 80 344 204 28 168 104 4 68 52 16 16 8 0 228 236 172 88 148 296 296 276 436 132 288 452 412 412 104 300 412 452 156 140 452 392 596 556 560 56 300 556 556 260 284 472 556 312 368 364 556 48 0 332 220 76 120 180 320 168 92 180 84 432 328 220 252 360 216 136 304 132 64 120 24 44 528 484 16 460 328 272 292 552 176 488 212 496 552 488 552 28 512 0 40 280 16 508 480 40 40 0 24 40 256 540 0 0 296 40 40 268 4 40 0 488 344 304 0 0 188 32 408 40 368 40 48 152 76 324 136 220 136 68 80 216 328 248 24 96 412 240 240 244 296 40 548 468 0 60 64 392 44 0 0 296 40 40 108 312 312 312 108 556 252 156 148 64 56 432 64 80 144 244 328 100 320 508 360 368 360 192 444 368 336 432 16 24 24 168 332 0 4 212 24 172 576 336 172 100 408 136 152 56 296 468 0 24 344 40 0 0 300 124 344 16 24 40 260 40 40 256 540 0 464 4 344 188 208 520 80 288 84 16 312 28 12 56 412 296 272 20 152 212 324 108 108 108 324 296 184 60 36 296 316 24 188 0 292 48 40 376 40 360 80 84 8 80 120 372 120 184 356 260 384 336 484 0 0 0 4 84 0 0 0 4 0 524 40 36 124 164 40 484 228 300 352 368 192 104 176 148 216 192 368 152 400 420 316 24 144 488 264 228 76 80 468 304 456 468 100 320 428 264 156 80 468 44 112 504 556 252 232 528 272 240 472 312 532 376 68 76 216 124 80 164 16 80 80 40 84 316 44 4 84 88 248 92 116 212 132 108 228 120 368 296 284 260 328 0 164 172 164 68 392 396 176 384 248 40 284 132 120 324 360 76 88 40 300 320 44 0 124 192 260 176 228 4 340 8 272 284 232 268 8 12 104 268 292 308 80 76 300 104 180 400 16 300 32 76 220 384 424 480 272 432 220 348 36 4 0 76 112 508 0 4 424 60 0 0 248 312 192 428 44 120 264 120 392 156 408 120 420 80 120 4 388 352 4 88 492 4 216 192 412 196 28 4 260 552 0 24 0 328 384 272 296 296 16 560 0 44 0 40 140 16 0 8 88 0 556 544 0 344 488 72 0 2120 2440 2420 2284 2504 2416 2712 2380 2668 2496 2628 2176 2160 2160 2124 2284 2176 2120 2380 2136 2120 2284 2540 2160 2660 2488 2120 2328 2580 2136 2500 2160 2456 2376 2456 2620 2528 2120 2152 2460 2164 2120 2676 2160 2492 2588 2640 2504 2228 2160 2548 2176 2528 2420 2160 2416 2316 2120 2416 2416 2608 2160 2544 2140 2508 2664 2184 2324 2120 2160 2472 2456 2456 2156 2680 2432 2488 2540 2504 2416 2460 2668 2256 2228 2120 2468 2584 2416 2680 2160 2452 2488 2220 2244 2120 2160 2532 2160 2324 2668 2160 2652 2632 2456 2284 2244 2244 2268 2160 2424 2176 2124 2628 2120 2404 2628 2324 2464 2432 2176 2416 2136 2688 2396 2544 2420 2648 2672 2504 2464 2160 2160 2120 2380 2380 2628 2120 2660 2180 2160 2244 2160 2480 2192 2168 2276 2160 2284 2604 2348 2536 2120 2472 2196 2184 2416 2416 2456 2448 2464 2120 2456 2608 2420 2416 2464 2160 2160 2456 2160 2120 2568 2416 2668 2144 2712 2456 2324 2164 2164 2416 2120 2720 2352 2120 2136 2120 2488 2376 2456 2120 2308 2544 2160 2120 2460 2120 2180 2504 2608 2120 2420 2284 2512 2456 2192 2416 2200 2284 2700 2548 2120 2160 2628 2160 2328 2280 2160 2128 2160 2436 2496 2152 2120 2460 2528 2176 2120 2416 2160 2672 2324 2704 2420 2120 2160 2648 2504 2496 2120 2420 2536 2420 2456 2136 2572 2716 2340 2284 2144 2672 2160 2160 2120 2380 2160 2216 2120 2472 2176 2364 2136 2456 2568 2120 2160 2188 2624 2448 2176 2456 2136 2456 2536 2160 2120 2312 2488 2644 2588 2692 2496 2500 2416 2120 2284 2460 2288 2288 2428 2136 2196 2160 2240 2156 2160 2416 2120 2120 2124 11 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 1 1 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 10 10 0 0 0 0 10 10 10 10 0 10 0 0 10 0 0 0 0 0 10 10 0 10 10 0 0 10 0 0 10 0 10 10 0 10 0 10 0 10 10 0 10 0 10 10 0 10 0 10 10 0 0 10 10 0 10 0 10 0 0 0 0 0 0 10 0 0 10 0 0 10 10 0 10 0 0 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 10 10 0 10 10 10 0 0 0 10 0 0 10 10 10 0 0 0 0 0 10 0 0 0 10 0 10 10 0 0 0 0 10 10 0 10 10 0 10 0 10 10 10 10 0 0 10 0 10 0 10 10 0 0 0 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 10 0 10 0 10 10 0 0 10 10 0 0 0 10 0 0 10 0 0 0 10 10 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 0 10 0 10 0 10 10 0 10 0 0 10 10 0 0 0 0 0 0 8 0 10 10 0 10 10 0 10 0 0 10 0 0 10 0 0 10 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 10 10 10 10 0 0 0 10 10 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 10 10 0 10 10 0 0 10 0 10 0 10 10 0 0 0 0 10 10 0 10 0 0 10 0 0 0 10 0 10 0 10 10 10 10 0 0 10 10 10 0 0 10 10 10 10 0 0 0 10 0 0 0 10 10 0 10 0 10 10 10 0 0 10 0 0 0 0 10 10 0 10 0 10 10 0 0 10 0 10 0 10 0 0 10 10 10 0 0 0 0 0 10 0 0 0 10 0 10 0 10 0 10 10 0 0 0 0 10 0 10 0 10 10 10 0 0 10 10 10 0 0 0 10 10 10 0 10 10 10 10 10 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 10 10 10 0 0 10 0 10 0 0 10 0 0 10 0 0 0 10 10 10 0 10 0 10 10 0 0 0 0 0 10 0 0 0 10 8 0 10 0 0 10 0 10 0 0 10 0 10 10 0 0 0 0 0 0 10 0 10 10 0 10 0 10 0 10 10 0 10 10 0 10 0 0 0 0 0 10 10 0 0 10 0 0 10 10 10 10 0 0 0 10 0 0 0 0 10 10 0 10 10 0 0 0 10 10 10 0 10 0 10 0 0 10 0 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 0 10 0 0 0 0 0 10 9 10 0 10 0 0 0 0 10 0 0 10 0 10 10 0 10 0 0 10 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 0 0 10 0 10 10 0 10 0 10 0 10 10 0 0 10 10 10 10 0 0 10 0 0 0 10 0 10 10 10 0 10 0 0 0 10 0 0 0 0 10 0 0 0 10 10 10 0 10 10 0 10 0 0 10 0 10 0 0 10 0 10 10 0 0 10 10 10 10 10 0 10 0 10 10 10 10 0 0 0 0 10 10 10 10 10 0 10 0 0 10 10 10 9 0 10 0 0 0 0 10 0 0 0 10 10 0 0 0 10 10 0 10 0 10 0 10 0 10 10 10 10 10 0 0 0 0 0 10 0 0 10 10 0 0 0 10 0 0 10 0 10 0 0 10 10 0 0 10 0 0 10 0 10 10 0 10 0 10 0 10 10 0 0 0 10 10 10 10 10 0 10 10 10 0 0 10 0 0 10 0 10 0 0 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 0 10 10 0 0 0 10 10 0 0 10 10 0 0 10 10 0 10 10 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 10 10 10 0 0 0 10 10 0 0 10 10 10 10 0 10 10 0 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 10 10 0 0 0 0 0 10 10 0 10 10 10 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 10 0 0 0 0 0 10 0 10 0 0 10 0 0 10 10 10 10 0 10 0 10 10 0 10 10 10 0 0 10 0 0 0 10 0 0 10 0 10 10 0 10 0 10 10 0 0 10 0 10 0 10 0 0 0 10 10 0 0 0 10 0 10 0 10 10 10 10 0 10 0 0 10 10 0 10 0 10 0 0 0 0 10 10 0 0 0 10 0 0 0 10 10 10 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 10 0 0 10 10 10 0 0 10 0 0 10 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 0 0 10 0 10 0 0 10 10 0 0 10 10 0 10 0 0 0 10 10 10 0 0 0 9 0 0 10 10 0 10 10 0 10 10 0 0 0 0 0 10 10 0 10 10 0 0 10 0 10 10 0 0 10 0 0 0 10 0 0 0 10 0 10 0 0 10 10 0 0 0 10 10 0 10 10 0 0 10 10 0 10 0 0 10 10 0 0 10 10 0 0 10 10 0 0 0 0 0 10 10 10 10 0 0 0 0 0 10 10 0 0 0 10 10 0 0 10 10 0 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 10 10 0 10 0 10 10 10 0 10 0 0 0 10 10 0 0 0 10 0 10 10 0 10 0 10 10 0 10 10 10 0 0 0 10 0 0 0 0 0 10 10 0 0 0 10 0 10 0 0 0 10 0 10 0 10 0 0 0 0 0 0 10 10 10 10 10 0 0 0 10 0 0 10 0 0 0 10 10 0 0 10 0 10 10 10 0 10 10 0 0 0 0 10 10 10 10 0 0 0 0 10 10 0 10 0 10 10 10 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 0 10 10 0 10 10 0 10 10 0 0 0 10 0 0 0 10 0 0 10 10 10 10 10 0 10 0 10 0 0 0 10 5 10 10 10 10 10 10 0 0 0 10 10 10 0 10 0 10 10 0 0 0 10 0 0 10 0 0 10 10 0 0 10 10 0 10 0 0 10 0 10 0 0 0 10 10 10 0 10 10 0 10 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 10 10 0 10 10 10 10 0 0 10 0 0 10 0 0 10 0 0 0 10 0 10 10 0 10 10 0 0 0 0 0 0 10 0 10 0 0 0 0 10 10 10 0 0 7 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 10 0 10 0 10 10 10 0 10 0 10 10 10 0 10 0 10 10 10 10 10 0 0 0 0 10 0 0 10 10 10 10 10 10 0 10 0 10 0 0 0 0 5 10 10 0 0 0 10 0 0 10 10 10 0 0 10 10 10 10 10 0 10 10 0 10 0 10 10 0 0 0 0 0 0 10 0 0 10 10 0 10 0 0 0 0 10 10 0 10 0 0 0 0 10 10 10 0 0 0 0 10 0 10 10 10 0 10 10 10 0 10 0 10 10 10 0 10 10 10 10 0 10 10 10 10 10 0 0 10 10 0 0 10 0 0 0 0 0 0 10 0 10 0 10 10 10 10 0 0 0 0 10 10 10 0 0 10 10 0 0 0 10 0 0 10 0 10 10 10 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 10 0 10 0 10 10 0 0 0 10 0 10 10 10 0 0 10 10 10 0 0 10 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 10 10 0 10 0 10 0 0 0 10 0 10 0 0 </values>
2519.97/2520.01	v </instantiation>
2519.97/2520.01

Verifier Data 

OK	374253920

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389774-1568360109/watcher-4389774-1568360109 -o /tmp/evaluation-result-4389774-1568360109/solver-4389774-1568360109 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568359761-23525 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389774-1568360109.xml 

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

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

solver pid=23709, runsolver pid=23706

[startup+0.100177 s]*
/proc/loadavg: 2.00 1.69 1.61 3/200 23710
/proc/meminfo: memFree=20229836/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=47932 memory=24136 CPUtime=0.1 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 6311 0 0 0 10 0 0 0 20 0 1 0 412275798 49082368 6034 33554432000 4194304 6210612 140736633045616 140736633042152 5012488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 11983 6034 825 493 0 5288 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47932 KiB
Current children cumulated memory: 24136 KiB

[startup+0.20976 s]*
/proc/loadavg: 2.00 1.69 1.61 3/200 23710
/proc/meminfo: memFree=20226364/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=48948 memory=25192 CPUtime=0.2 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 6568 0 0 0 20 0 0 0 20 0 1 0 412275798 50122752 6298 33554432000 4194304 6210612 140736633045616 140736633042152 140615939077009 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 12237 6298 825 493 0 5542 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48948 KiB
Current children cumulated memory: 25192 KiB

[startup+0.309087 s]*
/proc/loadavg: 2.00 1.69 1.61 3/200 23710
/proc/meminfo: memFree=20220968/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=49988 memory=26248 CPUtime=0.3 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 6832 0 0 0 30 0 0 0 20 0 1 0 412275798 51187712 6562 33554432000 4194304 6210612 140736633045616 140736633042152 5440487 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 12497 6562 825 493 0 5802 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49988 KiB
Current children cumulated memory: 26248 KiB

[startup+0.700345 s]
/proc/loadavg: 2.00 1.69 1.61 3/200 23710
/proc/meminfo: memFree=20212596/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=52588 memory=28912 CPUtime=0.69 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 10922 0 0 0 68 1 0 0 20 0 1 0 412275798 53850112 7228 33554432000 4194304 6210612 140736633045616 140736633042152 5446066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 13147 7228 825 493 0 6452 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52588 KiB
Current children cumulated memory: 28912 KiB

[startup+1.50041 s]
/proc/loadavg: 2.00 1.69 1.61 3/200 23710
/proc/meminfo: memFree=20196288/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=77736 memory=53904 CPUtime=1.49 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 21184 0 0 0 147 2 0 0 20 0 1 0 412275798 79601664 13476 33554432000 4194304 6210612 140736633045616 140736633042152 5012488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 19434 13476 834 493 0 12739 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 77736 KiB
Current children cumulated memory: 53904 KiB

[startup+3.10951 s]
/proc/loadavg: 1.92 1.68 1.60 3/200 23710
/proc/meminfo: memFree=20079720/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=121276 memory=97564 CPUtime=3.1 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 45516 0 0 0 305 5 0 0 20 0 1 0 412275798 124186624 24391 33554432000 4194304 6210612 140736633045616 140736633041112 5012594 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 30319 24391 834 493 0 23624 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 121276 KiB
Current children cumulated memory: 97564 KiB

[startup+6.30033 s]
/proc/loadavg: 1.92 1.68 1.60 3/200 23710
/proc/meminfo: memFree=19934720/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=180660 memory=156680 CPUtime=6.29 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 75586 0 0 0 620 9 0 0 20 0 1 0 412275798 184995840 39170 33554432000 4194304 6210612 140736633045616 140736633042888 5527066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 45165 39170 838 493 0 38470 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 180660 KiB
Current children cumulated memory: 156680 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 1.69 1.61 3/200 23710
/proc/meminfo: memFree=19710344/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=241080 memory=215068 CPUtime=12.69 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 92440 0 0 0 1257 12 0 0 20 0 1 0 412275798 246865920 53767 33554432000 4194304 6210612 140736633045616 140736633042888 5555468 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 60270 53767 838 493 0 53575 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 241080 KiB
Current children cumulated memory: 215068 KiB

[startup+25.5004 s]
/proc/loadavg: 1.94 1.70 1.61 3/200 23710
/proc/meminfo: memFree=19228368/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=362208 memory=332292 CPUtime=25.49 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 125312 0 0 0 2533 16 0 0 20 0 1 0 412275798 370900992 83073 33554432000 4194304 6210612 140736633045616 140736633042888 5484705 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 90552 83073 838 493 0 83857 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 362208 KiB
Current children cumulated memory: 332292 KiB

[startup+51.1095 s]
/proc/loadavg: 1.96 1.72 1.62 3/199 23713
/proc/meminfo: memFree=18228568/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=631860 memory=596108 CPUtime=51.1 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 267692 0 0 0 5080 30 0 0 20 0 1 0 412275798 647024640 149027 33554432000 4194304 6210612 140736633045616 140736633042824 5455474 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 157965 149027 882 493 0 151270 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 631860 KiB
Current children cumulated memory: 596108 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 1.77 1.64 3/199 23717
/proc/meminfo: memFree=16717056/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=713984 memory=676784 CPUtime=102.29 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 418502 0 0 0 10190 39 0 0 20 0 1 0 412275798 731119616 169196 33554432000 4194304 6210612 140736633045616 140736633042824 5451322 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 178496 169196 882 493 0 171801 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 713984 KiB
Current children cumulated memory: 676784 KiB

[startup+162.3 s]
/proc/loadavg: 2.07 1.83 1.67 3/200 23723
/proc/meminfo: memFree=14985232/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=766740 memory=727148 CPUtime=162.29 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 573682 0 0 0 16181 48 0 0 20 0 1 0 412275798 785141760 181787 33554432000 4194304 6210612 140736633045616 140736633042824 5164377 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 191685 181787 882 493 0 184990 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 766740 KiB
Current children cumulated memory: 727148 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 1.86 1.69 3/199 23727
/proc/meminfo: memFree=13273124/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=800112 memory=758568 CPUtime=222.29 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 728750 0 0 0 22172 57 0 0 20 0 1 0 412275798 819314688 189642 33554432000 4194304 6210612 140736633045616 140736633042936 5391921 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 200028 189642 882 493 0 193333 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 800112 KiB
Current children cumulated memory: 758568 KiB

[startup+282.3 s]
/proc/loadavg: 2.42 2.03 1.76 3/199 23795
/proc/meminfo: memFree=28128164/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=828164 memory=785956 CPUtime=282.27 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 889142 0 0 0 28160 67 0 0 20 0 1 0 412275798 848039936 196489 33554432000 4194304 6210612 140736633045616 140736633042824 5155752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 207041 196489 882 493 0 200346 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 828164 KiB
Current children cumulated memory: 785956 KiB

[startup+342.3 s]
/proc/loadavg: 2.15 2.03 1.78 3/201 23809
/proc/meminfo: memFree=28122008/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=833352 memory=792260 CPUtime=342.25 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 989916 0 0 0 34152 73 0 0 20 0 1 0 412275798 853352448 198065 33554432000 4194304 6210612 140736633045616 140736633042824 140615939077458 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208338 198065 882 493 0 201643 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 833352 KiB
Current children cumulated memory: 792260 KiB

[startup+402.3 s]
/proc/loadavg: 2.06 2.02 1.79 3/200 23873
/proc/meminfo: memFree=28115732/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=796384 CPUtime=402.24 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1036463 0 0 0 40146 78 0 0 20 0 1 0 412275798 854200320 199096 33554432000 4194304 6210612 140736633045616 140736633043016 5249724 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 199096 882 493 0 201850 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 796384 KiB

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 1.81 3/200 23877
/proc/meminfo: memFree=28112480/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=799632 CPUtime=462.24 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1128726 0 0 0 46140 84 0 0 20 0 1 0 412275798 854200320 199908 33554432000 4194304 6210612 140736633045616 140736633043016 5445927 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 199908 882 493 0 201850 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 799632 KiB


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

/proc/23709/statm: 208545 202579 882 493 0 201850 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810316 KiB

[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 1.99 3/203 24023
/proc/meminfo: memFree=28100312/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810316 CPUtime=1782.25 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1248095 0 0 0 178133 92 0 0 20 0 1 0 412275798 854200320 202579 33554432000 4194304 6210612 140736633045616 140736633043016 5451372 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202579 882 493 0 201850 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810316 KiB

[startup+1842.3 s]
/proc/loadavg: 2.08 2.08 1.99 3/200 24027
/proc/meminfo: memFree=28101052/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810316 CPUtime=1842.25 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1250833 0 0 0 184133 92 0 0 20 0 1 0 412275798 854200320 202579 33554432000 4194304 6210612 140736633045616 140736633043016 5164314 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202579 882 493 0 201850 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810316 KiB

[startup+1902.3 s]
/proc/loadavg: 2.03 2.06 1.99 3/199 24031
/proc/meminfo: memFree=28101464/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=1902.25 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1252269 0 0 0 190133 92 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 5455493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.05 1.99 3/200 24036
/proc/meminfo: memFree=28100548/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=1962.25 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1254233 0 0 0 196132 93 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 5451442 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/199 24040
/proc/meminfo: memFree=28100828/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=2022.25 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1254969 0 0 0 202132 93 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 5440464 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/199 24044
/proc/meminfo: memFree=28101072/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=2082.25 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1255706 0 0 0 208132 93 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 5446078 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/201 24058
/proc/meminfo: memFree=28100292/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=2142.25 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1256439 0 0 0 214132 93 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 140615948098408 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB

[startup+2202.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/200 24062
/proc/meminfo: memFree=28100228/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=2202.25 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1258700 0 0 0 220132 93 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 5157660 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/200 24066
/proc/meminfo: memFree=28100696/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=2262.26 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1259657 0 0 0 226133 93 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 140615939073972 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/201 24072
/proc/meminfo: memFree=28100320/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=2322.26 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1260940 0 0 0 232133 93 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 5155765 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/200 24076
/proc/meminfo: memFree=28100468/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=2382.26 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1263215 0 0 0 238133 93 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 140615948098447 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/199 24080
/proc/meminfo: memFree=28100652/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=2442.26 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1264063 0 0 0 244133 93 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 5446458 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 24086
/proc/meminfo: memFree=28099532/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=2502.26 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1264918 0 0 0 250133 93 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 140615948098374 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.00 3/199 24087
/proc/meminfo: memFree=28100692/32770624 swapFree=66999912/67108860
[pid=23709] ppid=23706 vsize=834180 memory=810360 CPUtime=2519.97 cores=0,2,4,6
/proc/23709/stat : 23709 (cosoco) R 23706 23709 23494 0 -1 4202496 1265046 0 0 0 251904 93 0 0 20 0 1 0 412275798 854200320 202590 33554432000 4194304 6210612 140736633045616 140736633043016 5452047 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 24395776 140736633054219 140736633054321 140736633054321 140736633057230 0
/proc/23709/statm: 208545 202590 882 493 0 201850 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 834180 KiB
Current children cumulated memory: 810360 KiB

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

[startup+2520.02 s]
# the end of solver process 23709 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.04 s, system=0.940012 s

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.98
CPU user time (s): 2519.04
CPU system time (s): 0.940012
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 834180
Max. memory (cumulated for all children) (KiB): 810360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.04
system time used= 0.940012
maximum resident set size= 810424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1265115
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= 116
involuntary context switches= 3295


# summary of solver processes directly reported to runsolver:
#   pid: 23709
#   total CPU time (s): 2519.98
#   total CPU user time (s): 2519.04
#   total CPU system time (s): 0.940012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.26904 second user time and 17.6024 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-13 09:34:30
IDJOB=4389774
IDBENCH=141269
IDSOLVER=2829
FILE ID=node123/4389774-1568360109
RUNJOBID= node123-1568359761-23525
PBS_JOBID= 21701205
Free space on /tmp= 56696 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-17-0300_c18.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389774-1568360109/watcher-4389774-1568360109 -o /tmp/evaluation-result-4389774-1568360109/solver-4389774-1568360109 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568359761-23525 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389774-1568360109.xml

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
RANDOM SEED=1732803632

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20252720 kB
MemAvailable:   23199776 kB
Buffers:          109208 kB
Cached:          3097280 kB
SwapCached:         7392 kB
Active:          9826760 kB
Inactive:        2044504 kB
Active(anon):    8656852 kB
Inactive(anon):    49384 kB
Active(file):    1169908 kB
Inactive(file):  1995120 kB
Unevictable:      107524 kB
Mlocked:          107524 kB
SwapTotal:      67108860 kB
SwapFree:       66999912 kB
Dirty:            103848 kB
Writeback:             0 kB
AnonPages:       8772200 kB
Mapped:            45648 kB
Shmem:             32676 kB
Slab:             224940 kB
SReclaimable:     195728 kB
SUnreclaim:        29212 kB
KernelStack:        3504 kB
PageTables:        22484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9971780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    888832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56692 MiB
End job on node123 at 2019-09-13 10:16:30