Trace number 4409594

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 2.0 parallelOPT130971634 5264.62 712.666

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.21/0.29	c
0.21/0.29	c This is cosoco 2.00 --  
0.21/0.29	c
0.21/0.29	c command line: cosoco -model -nbcores=8 HOME/instance-4409594-1569840421.xml 
0.21/0.29	c intension  eq(dist(f[174],f[60]),40) -> extension (support ? 1) - 282tuples
0.21/0.30	c intension -> extension : same as previous
0.21/0.30	c intension -> extension : same as previous
0.21/0.30	c intension -> extension : same as previous
0.21/0.30	c intension  eq(dist(f[196],f[87]),40) -> extension (support ? 1) - 198tuples
0.21/0.31	c intension  eq(dist(f[150],f[230]),40) -> extension (support ? 1) - 186tuples
0.31/0.32	c intension  eq(dist(f[166],f[92]),40) -> extension (support ? 1) - 282tuples
0.31/0.32	c intension  eq(dist(f[148],f[31]),40) -> extension (support ? 1) - 118tuples
0.31/0.32	c intension  eq(dist(f[127],f[16]),40) -> extension (support ? 1) - 46tuples
0.31/0.33	c intension  eq(dist(f[268],f[298]),40) -> extension (support ? 1) - 282tuples
0.31/0.34	c intension  eq(dist(f[108],f[76]),40) -> extension (support ? 1) - 42tuples
0.31/0.34	c intension  eq(dist(f[124],f[89]),40) -> extension (support ? 1) - 186tuples
0.31/0.34	c intension  eq(dist(f[211],f[279]),40) -> extension (support ? 1) - 46tuples
0.31/0.35	c intension  eq(dist(f[251],f[35]),40) -> extension (support ? 1) - 282tuples
0.31/0.36	c intension  eq(dist(f[19],f[65]),40) -> extension (support ? 1) - 186tuples
0.31/0.37	c intension  eq(dist(f[296],f[61]),40) -> extension (support ? 1) - 282tuples
0.31/0.38	c intension -> extension : same as previous
0.31/0.38	c intension  eq(dist(f[160],f[53]),40) -> extension (support ? 1) - 58tuples
0.31/0.39	c intension  eq(dist(f[154],f[67]),40) -> extension (support ? 1) - 282tuples
0.31/0.39	c intension  eq(dist(f[63],f[74]),40) -> extension (support ? 1) - 218tuples
0.31/0.40	c intension  eq(dist(f[202],f[64]),40) -> extension (support ? 1) - 58tuples
0.31/0.40	c intension  eq(dist(f[130],f[153]),40) -> extension (support ? 1) - 42tuples
0.31/0.41	c intension  eq(dist(f[138],f[51]),40) -> extension (support ? 1) - 282tuples
0.31/0.41	c intension -> extension : same as previous
0.31/0.41	c intension -> extension : same as previous
0.31/0.41	c intension -> extension : same as previous
0.31/0.41	c intension  eq(dist(f[170],f[205]),40) -> extension (support ? 1) - 46tuples
0.31/0.41	c intension  eq(dist(f[100],f[228]),40) -> extension (support ? 1) - 42tuples
0.40/0.42	c intension  eq(dist(f[183],f[224]),40) -> extension (support ? 1) - 282tuples
0.40/0.43	c intension  eq(dist(f[15],f[54]),40) -> extension (support ? 1) - 218tuples
0.40/0.43	c intension  eq(dist(f[259],f[83]),40) -> extension (support ? 1) - 46tuples
0.40/0.44	c intension  eq(dist(f[13],f[181]),40) -> extension (support ? 1) - 118tuples
0.40/0.45	c intension  eq(dist(f[261],f[9]),40) -> extension (support ? 1) - 282tuples
0.40/0.45	c intension  eq(dist(f[107],f[203]),40) -> extension (support ? 1) - 126tuples
0.40/0.45	c intension  eq(dist(f[27],f[42]),40) -> extension (support ? 1) - 98tuples
0.40/0.45	c intension  eq(dist(f[29],f[47]),40) -> extension (support ? 1) - 42tuples
0.40/0.46	c intension  eq(dist(f[163],f[206]),40) -> extension (support ? 1) - 282tuples
0.40/0.46	c intension  eq(dist(f[14],f[270]),40) -> extension (support ? 1) - 42tuples
0.40/0.47	c intension  eq(dist(f[12],f[152]),40) -> extension (support ? 1) - 218tuples
0.40/0.48	c intension  eq(dist(f[134],f[285]),40) -> extension (support ? 1) - 190tuples
0.40/0.49	c intension  eq(dist(f[117],f[207]),40) -> extension (support ? 1) - 282tuples
0.40/0.49	c intension -> extension : same as previous
0.40/0.49	c intension -> extension : same as previous
0.40/0.49	c intension  eq(dist(f[11],f[125]),40) -> extension (support ? 1) - 118tuples
0.40/0.51	c intension  eq(dist(f[115],f[93]),40) -> extension (support ? 1) - 282tuples
0.40/0.51	c intension  eq(dist(f[262],f[66]),40) -> extension (support ? 1) - 42tuples
0.40/0.51	c intension  eq(dist(f[178],f[70]),40) -> extension (support ? 1) - 126tuples
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension  eq(dist(f[137],f[225]),40) -> extension (support ? 1) - 282tuples
0.50/0.52	c intension  eq(dist(f[165],f[97]),40) -> extension (support ? 1) - 46tuples
0.50/0.52	c intension  eq(dist(f[237],f[283]),40) -> extension (support ? 1) - 42tuples
0.50/0.53	c intension  eq(dist(f[113],f[38]),40) -> extension (support ? 1) - 282tuples
0.50/0.54	c intension -> extension : same as previous
0.50/0.54	c intension -> extension : same as previous
0.50/0.54	c intension -> extension : same as previous
0.50/0.54	c intension -> extension : same as previous
0.50/0.54	c intension -> extension : same as previous
0.50/0.54	c intension  eq(dist(f[191],f[82]),40) -> extension (support ? 1) - 118tuples
0.50/0.55	c intension  eq(dist(f[57],f[98]),40) -> extension (support ? 1) - 282tuples
0.50/0.56	c intension -> extension : same as previous
0.50/0.56	c intension  eq(dist(f[246],f[254]),40) -> extension (support ? 1) - 218tuples
0.50/0.56	c intension  eq(dist(f[171],f[245]),40) -> extension (support ? 1) - 126tuples
0.50/0.57	c intension  eq(dist(f[133],f[186]),40) -> extension (support ? 1) - 282tuples
0.50/0.58	c intension  eq(dist(f[147],f[182]),40) -> extension (support ? 1) - 118tuples
0.50/0.59	c intension  eq(dist(f[121],f[131]),40) -> extension (support ? 1) - 282tuples
0.50/0.60	c intension -> extension : same as previous
0.50/0.60	c intension -> extension : same as previous
0.50/0.60	c intension  eq(dist(f[146],f[209]),40) -> extension (support ? 1) - 218tuples
0.60/0.61	c intension  eq(dist(f[22],f[297]),40) -> extension (support ? 1) - 282tuples
0.60/0.61	c intension  eq(dist(f[168],f[62]),40) -> extension (support ? 1) - 46tuples
0.60/0.62	c intension  eq(dist(f[157],f[278]),40) -> extension (support ? 1) - 186tuples
0.60/0.63	c intension  eq(dist(f[290],f[291]),40) -> extension (support ? 1) - 282tuples
0.60/0.63	c intension  eq(dist(f[122],f[71]),40) -> extension (support ? 1) - 186tuples
0.60/0.65	c intension  eq(dist(f[236],f[250]),40) -> extension (support ? 1) - 282tuples
0.60/0.66	c intension  eq(dist(f[143],f[6]),40) -> extension (support ? 1) - 218tuples
0.60/0.67	c intension  eq(dist(f[244],f[274]),40) -> extension (support ? 1) - 282tuples
0.60/0.67	c intension  eq(dist(f[294],f[8]),40) -> extension (support ? 1) - 58tuples
0.60/0.68	c intension  eq(dist(f[159],f[39]),40) -> extension (support ? 1) - 282tuples
0.60/0.68	c intension  eq(dist(f[135],f[84]),40) -> extension (support ? 1) - 46tuples
0.60/0.69	c intension  eq(dist(f[105],f[55]),40) -> extension (support ? 1) - 282tuples
0.60/0.69	c intension -> extension : same as previous
0.60/0.69	c intension -> extension : same as previous
0.60/0.69	c intension  eq(dist(f[194],f[204]),40) -> extension (support ? 1) - 58tuples
0.69/0.70	c intension  eq(dist(f[187],f[50]),40) -> extension (support ? 1) - 198tuples
0.69/0.70	c intension  eq(dist(f[233],f[80]),40) -> extension (support ? 1) - 126tuples
0.69/0.71	c intension  eq(dist(f[222],f[231]),40) -> extension (support ? 1) - 282tuples
0.69/0.72	c intension  eq(dist(f[229],f[2]),40) -> extension (support ? 1) - 190tuples
0.69/0.73	c intension  eq(dist(f[175],f[197]),40) -> extension (support ? 1) - 218tuples
0.69/0.73	c intension  eq(dist(f[199],f[249]),40) -> extension (support ? 1) - 46tuples
0.69/0.74	c intension  eq(dist(f[195],f[232]),40) -> extension (support ? 1) - 198tuples
0.69/0.75	c intension  eq(dist(f[226],f[282]),40) -> extension (support ? 1) - 282tuples
0.69/0.75	c intension  eq(dist(f[193],f[85]),40) -> extension (support ? 1) - 46tuples
0.69/0.76	c intension  eq(dist(f[0],f[41]),40) -> extension (support ? 1) - 282tuples
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension  eq(dist(f[23],f[75]),40) -> extension (support ? 1) - 46tuples
0.69/0.77	c intension  eq(dist(f[26],f[286]),40) -> extension (support ? 1) - 282tuples
0.69/0.77	c intension  eq(dist(f[247],f[276]),40) -> extension (support ? 1) - 46tuples
0.69/0.78	c intension -> extension : same as previous
0.69/0.78	c intension  eq(dist(f[119],f[25]),40) -> extension (support ? 1) - 58tuples
0.69/0.79	c intension  eq(dist(f[120],f[68]),40) -> extension (support ? 1) - 282tuples
0.69/0.79	c intension -> extension : same as previous
0.69/0.79	c intension -> extension : same as previous
0.69/0.79	c intension -> extension : same as previous
0.69/0.79	c intension -> extension : same as previous
0.69/0.79	c intension  eq(dist(f[164],f[255]),40) -> extension (support ? 1) - 46tuples
0.79/0.80	c intension  eq(dist(f[1],f[260]),40) -> extension (support ? 1) - 282tuples
0.79/0.80	c intension -> extension : same as previous
0.79/0.80	c intension  eq(dist(f[208],f[241]),40) -> extension (support ? 1) - 42tuples
0.79/0.81	c intension  eq(dist(f[158],f[28]),40) -> extension (support ? 1) - 126tuples
0.79/0.82	c intension  eq(dist(f[188],f[58]),40) -> extension (support ? 1) - 282tuples
0.79/0.82	c intension -> extension : same as previous
0.79/0.82	c intension  eq(dist(f[10],f[126]),40) -> extension (support ? 1) - 186tuples
0.79/0.83	c intension  eq(dist(f[116],f[48]),40) -> extension (support ? 1) - 126tuples
0.79/0.83	c intension  eq(dist(f[172],f[212]),40) -> extension (support ? 1) - 118tuples
0.79/0.83	c intension  eq(dist(f[235],f[44]),40) -> extension (support ? 1) - 42tuples
0.79/0.84	c intension  eq(dist(f[239],f[257]),40) -> extension (support ? 1) - 282tuples
0.79/0.84	c intension  eq(dist(f[142],f[156]),40) -> extension (support ? 1) - 46tuples
0.79/0.84	c intension  eq(dist(f[102],f[189]),40) -> extension (support ? 1) - 58tuples
0.79/0.86	c intension  eq(dist(f[128],f[45]),40) -> extension (support ? 1) - 282tuples
0.79/0.86	c intension -> extension : same as previous
0.79/0.86	c intension  eq(dist(f[3],f[88]),40) -> extension (support ? 1) - 118tuples
0.79/0.87	c intension  eq(dist(f[110],f[275]),40) -> extension (support ? 1) - 282tuples
0.79/0.88	c intension  eq(dist(f[220],f[281]),40) -> extension (support ? 1) - 126tuples
0.79/0.88	c intension  eq(dist(f[114],f[267]),40) -> extension (support ? 1) - 218tuples
0.79/0.89	c intension  eq(dist(f[200],f[256]),40) -> extension (support ? 1) - 282tuples
0.88/0.90	c intension -> extension : same as previous
0.88/0.90	c intension  eq(dist(f[109],f[173]),40) -> extension (support ? 1) - 98tuples
0.88/0.91	c intension  eq(dist(f[140],f[292]),40) -> extension (support ? 1) - 282tuples
0.88/0.91	c intension  eq(dist(f[18],f[221]),40) -> extension (support ? 1) - 126tuples
0.88/0.92	c intension  eq(dist(f[144],f[277]),40) -> extension (support ? 1) - 282tuples
0.88/0.93	c intension -> extension : same as previous
0.88/0.93	c intension  eq(dist(f[210],f[299]),40) -> extension (support ? 1) - 58tuples
0.88/0.93	c intension  eq(dist(f[101],f[106]),40) -> extension (support ? 1) - 126tuples
0.88/0.94	c intension  eq(dist(f[104],f[73]),40) -> extension (support ? 1) - 218tuples
0.88/0.94	c intension  eq(dist(f[273],f[43]),40) -> extension (support ? 1) - 186tuples
0.88/0.95	c intension  eq(dist(f[280],f[5]),40) -> extension (support ? 1) - 282tuples
0.88/0.95	c intension -> extension : same as previous
0.88/0.95	c intension -> extension : same as previous
0.88/0.95	c intension  eq(dist(f[248],f[49]),40) -> extension (support ? 1) - 46tuples
0.88/0.96	c intension  eq(dist(f[240],f[284]),40) -> extension (support ? 1) - 42tuples
0.88/0.96	c intension  eq(dist(f[145],f[81]),40) -> extension (support ? 1) - 126tuples
0.88/0.97	c intension  eq(dist(f[227],f[253]),40) -> extension (support ? 1) - 282tuples
0.88/0.98	c intension  eq(dist(f[269],f[32]),40) -> extension (support ? 1) - 190tuples
0.88/0.98	c intension  eq(dist(f[103],f[216]),40) -> extension (support ? 1) - 42tuples
0.88/0.98	c intension  eq(dist(f[132],f[7]),40) -> extension (support ? 1) - 98tuples
0.88/0.99	c intension  eq(dist(f[34],f[69]),40) -> extension (support ? 1) - 282tuples
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension  eq(dist(f[33],f[4]),40) -> extension (support ? 1) - 186tuples
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension  ne(dist(f[225],f[25]),2) -> extension (support ? 0) - 0tuples
1.00/1.01	c intension  ne(dist(f[178],f[285]),465) -> extension (support ? 0) - 0tuples
1.00/1.01	c intension  ne(dist(f[281],f[6]),18) -> extension (support ? 0) - 0tuples
1.00/1.02	c intension  ne(dist(f[14],f[236]),86) -> extension (support ? 0) - 0tuples
1.00/1.02	c intension  ne(dist(f[10],f[270]),112) -> extension (support ? 0) - 36tuples
1.00/1.03	c intension  ne(dist(f[195],f[290]),202) -> extension (support ? 0) - 0tuples
1.00/1.04	c intension  ne(dist(f[131],f[238]),91) -> extension (support ? 0) - 0tuples
1.00/1.04	c intension  ne(dist(f[100],f[137]),105) -> extension (support ? 0) - 0tuples
1.00/1.04	c intension  ne(dist(f[11],f[159]),11) -> extension (support ? 0) - 0tuples
1.00/1.06	c intension  ne(dist(f[184],f[260]),119) -> extension (support ? 0) - 0tuples
1.00/1.07	c intension  ne(dist(f[195],f[36]),99) -> extension (support ? 0) - 0tuples
1.00/1.07	c intension  ne(dist(f[246],f[31]),127) -> extension (support ? 0) - 0tuples
1.00/1.08	c intension  ne(dist(f[37],f[71]),167) -> extension (support ? 0) - 0tuples
1.00/1.09	c intension  ne(dist(f[22],f[253]),59) -> extension (support ? 0) - 0tuples
1.00/1.09	c intension  ne(dist(f[11],f[281]),18) -> extension (support ? 0) - 0tuples
1.00/1.10	c intension  ne(dist(f[125],f[161]),95) -> extension (support ? 0) - 0tuples
1.00/1.10	c intension  ne(dist(f[120],f[189]),76) -> extension (support ? 0) - 78tuples
1.00/1.10	c intension  ne(dist(f[142],f[241]),25) -> extension (support ? 0) - 0tuples
1.00/1.10	c intension  ne(dist(f[175],f[283]),7) -> extension (support ? 0) - 0tuples
1.10/1.11	c intension  ne(dist(f[151],f[289]),164) -> extension (support ? 0) - 220tuples
1.10/1.12	c intension  ne(dist(f[214],f[41]),89) -> extension (support ? 0) - 0tuples
1.10/1.12	c intension  ne(dist(f[119],f[80]),65) -> extension (support ? 0) - 0tuples
1.10/1.13	c intension  ne(dist(f[269],f[87]),104) -> extension (support ? 0) - 161tuples
1.10/1.14	c intension  ne(dist(f[151],f[209]),52) -> extension (support ? 0) - 229tuples
1.10/1.15	c intension  ne(dist(f[15],f[196]),413) -> extension (support ? 0) - 0tuples
1.10/1.16	c intension  ne(dist(f[0],f[60]),22) -> extension (support ? 0) - 0tuples
1.10/1.17	c intension  ne(dist(f[213],f[298]),18) -> extension (support ? 0) - 0tuples
1.10/1.17	c intension  ne(dist(f[248],f[37]),66) -> extension (support ? 0) - 0tuples
1.10/1.18	c intension  ne(dist(f[43],f[58]),247) -> extension (support ? 0) - 0tuples
1.10/1.18	c intension  ne(dist(f[276],f[78]),160) -> extension (support ? 0) - 66tuples
1.10/1.19	c intension  ne(dist(f[159],f[253]),132) -> extension (support ? 0) - 236tuples
1.10/1.19	c intension  ne(dist(f[49],f[70]),112) -> extension (support ? 0) - 47tuples
1.19/1.20	c intension  ne(dist(f[133],f[98]),68) -> extension (support ? 0) - 268tuples
1.19/1.21	c intension  ne(dist(f[112],f[196]),21) -> extension (support ? 0) - 0tuples
1.19/1.22	c intension  ne(dist(f[119],f[218]),37) -> extension (support ? 0) - 0tuples
1.19/1.23	c intension  ne(dist(f[272],f[54]),460) -> extension (support ? 0) - 40tuples
1.19/1.24	c intension  ne(dist(f[34],f[9]),503) -> extension (support ? 0) - 0tuples
1.19/1.24	c intension  ne(dist(f[153],f[256]),8) -> extension (support ? 0) - 62tuples
1.19/1.24	c intension  ne(dist(f[21],f[254]),28) -> extension (support ? 0) - 116tuples
1.19/1.25	c intension  ne(dist(f[118],f[150]),245) -> extension (support ? 0) - 0tuples
1.19/1.25	c intension  ne(dist(f[249],f[297]),91) -> extension (support ? 0) - 0tuples
1.19/1.26	c intension  ne(dist(f[132],f[30]),61) -> extension (support ? 0) - 0tuples
1.19/1.27	c intension  ne(dist(f[261],f[79]),53) -> extension (support ? 0) - 0tuples
1.19/1.28	c intension  ne(dist(f[175],f[30]),6) -> extension (support ? 0) - 0tuples
1.19/1.28	c intension  ne(dist(f[238],f[7]),180) -> extension (support ? 0) - 80tuples
1.19/1.30	c intension  ne(dist(f[261],f[35]),346) -> extension (support ? 0) - 0tuples
1.29/1.30	c intension  ne(dist(f[211],f[65]),148) -> extension (support ? 0) - 33tuples
1.29/1.30	c intension  ne(dist(f[13],f[62]),16) -> extension (support ? 0) - 61tuples
1.29/1.30	c intension  ne(dist(f[137],f[88]),17) -> extension (support ? 0) - 0tuples
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.31	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.32	c AllEqual constraint using 1 generic x=y constraints 
1.38/1.48	c intension  eq(dist(f[160],f[8]),d[113]) -> extension (support ? 1) - 1521tuples
1.48/1.53	c intension -> extension : same as previous
1.48/1.53	c intension  eq(dist(f[14],f[66]),d[164]) -> extension (support ? 1) - 961tuples
1.48/1.56	c intension  eq(dist(f[14],f[76]),d[166]) -> extension (support ? 1) - 961tuples
1.58/1.61	c intension  eq(dist(f[14],f[194]),d[171]) -> extension (support ? 1) - 1209tuples
1.58/1.67	c intension  eq(dist(f[14],f[299]),d[176]) -> extension (support ? 1) - 1209tuples
1.68/1.70	c intension  eq(dist(f[16],f[49]),d[184]) -> extension (support ? 1) - 1089tuples
1.68/1.77	c intension  eq(dist(f[16],f[204]),d[190]) -> extension (support ? 1) - 1287tuples
1.78/1.80	c intension  eq(dist(f[16],f[211]),d[192]) -> extension (support ? 1) - 1089tuples
1.78/1.83	c intension -> extension : same as previous
1.78/1.83	c intension  eq(dist(f[16],f[276]),d[195]) -> extension (support ? 1) - 1089tuples
1.88/1.96	c intension  eq(dist(f[130],f[25]),d[304]) -> extension (support ? 1) - 1209tuples
1.88/2.00	c intension  eq(dist(f[202],f[25]),d[306]) -> extension (support ? 1) - 1521tuples
1.99/2.07	c intension  eq(dist(f[211],f[25]),d[307]) -> extension (support ? 1) - 1287tuples
2.09/2.12	c intension  eq(dist(f[235],f[25]),d[309]) -> extension (support ? 1) - 1209tuples
2.09/2.17	c intension -> extension : same as previous
2.09/2.17	c intension  eq(dist(f[25],f[299]),d[313]) -> extension (support ? 1) - 1521tuples
2.18/2.21	c intension  eq(dist(f[100],f[29]),d[348]) -> extension (support ? 1) - 961tuples
2.28/2.39	c intension  eq(dist(f[189],f[44]),d[519]) -> extension (support ? 1) - 1209tuples
2.38/2.41	c intension  eq(dist(f[208],f[44]),d[520]) -> extension (support ? 1) - 961tuples
2.38/2.44	c intension -> extension : same as previous
2.38/2.44	c intension  eq(dist(f[284],f[44]),d[523]) -> extension (support ? 1) - 961tuples
2.38/2.48	c intension  eq(dist(f[130],f[47]),d[549]) -> extension (support ? 1) - 961tuples
2.48/2.50	c intension  eq(dist(f[262],f[47]),d[552]) -> extension (support ? 1) - 961tuples
2.48/2.54	c intension -> extension : same as previous
2.48/2.54	c intension -> extension : same as previous
2.48/2.54	c intension  eq(dist(f[49],f[62]),d[563]) -> extension (support ? 1) - 1089tuples
2.48/2.56	c intension  eq(dist(f[49],f[75]),d[565]) -> extension (support ? 1) - 1089tuples
2.48/2.59	c intension  eq(dist(f[211],f[49]),d[569]) -> extension (support ? 1) - 1089tuples
2.59/2.68	c intension  eq(dist(f[53],f[76]),d[612]) -> extension (support ? 1) - 1209tuples
2.68/2.74	c intension  eq(dist(f[53],f[84]),d[614]) -> extension (support ? 1) - 1287tuples
2.68/2.79	c intension  eq(dist(f[202],f[53]),d[619]) -> extension (support ? 1) - 1521tuples
2.88/2.90	c intension -> extension : same as previous
2.88/2.90	c intension  eq(dist(f[62],f[64]),d[696]) -> extension (support ? 1) - 1287tuples
3.78/3.82	c intension  eq(dist(f[204],f[62]),d[702]) -> extension (support ? 1) - 1287tuples
3.78/3.82	c intension  eq(dist(f[235],f[62]),d[703]) -> extension (support ? 1) - 1023tuples
3.78/3.82	c intension  eq(dist(f[102],f[64]),d[707]) -> extension (support ? 1) - 1521tuples
3.78/3.82	c intension  eq(dist(f[249],f[64]),d[710]) -> extension (support ? 1) - 1287tuples
3.78/3.82	c intension  eq(dist(f[129],f[66]),d[725]) -> extension (support ? 1) - 1023tuples
3.78/3.82	c intension  eq(dist(f[228],f[66]),d[728]) -> extension (support ? 1) - 961tuples
3.78/3.82	c intension  eq(dist(f[168],f[75]),d[783]) -> extension (support ? 1) - 1089tuples
3.78/3.82	c intension  eq(dist(f[259],f[75]),d[785]) -> extension (support ? 1) - 1089tuples
3.78/3.82	c intension  eq(dist(f[279],f[75]),d[787]) -> extension (support ? 1) - 1089tuples
3.78/3.82	c intension  eq(dist(f[76],f[83]),d[788]) -> extension (support ? 1) - 1023tuples
3.78/3.82	c intension  eq(dist(f[130],f[76]),d[791]) -> extension (support ? 1) - 961tuples
3.78/3.82	c intension  eq(dist(f[165],f[76]),d[794]) -> extension (support ? 1) - 1023tuples
3.78/3.82	c intension -> extension : same as previous
3.78/3.82	c intension  eq(dist(f[262],f[76]),d[797]) -> extension (support ? 1) - 961tuples
3.78/3.82	c intension  eq(dist(f[228],f[83]),d[865]) -> extension (support ? 1) - 1023tuples
3.78/3.82	c intension  eq(dist(f[248],f[83]),d[866]) -> extension (support ? 1) - 1089tuples
3.78/3.82	c intension  eq(dist(f[262],f[83]),d[867]) -> extension (support ? 1) - 1023tuples
3.78/3.82	c intension -> extension : same as previous
3.78/3.82	c intension  eq(dist(f[84],f[85]),d[869]) -> extension (support ? 1) - 1089tuples
3.78/3.82	c intension -> extension : same as previous
3.78/3.82	c intension  eq(dist(f[255],f[84]),d[872]) -> extension (support ? 1) - 1089tuples
3.78/3.82	c intension  eq(dist(f[103],f[85]),d[873]) -> extension (support ? 1) - 1023tuples
3.78/3.82	c intension  eq(dist(f[160],f[85]),d[875]) -> extension (support ? 1) - 1287tuples
3.78/3.82	c intension  eq(dist(f[135],f[97]),d[987]) -> extension (support ? 1) - 1089tuples
3.78/3.82	c intension  eq(dist(f[164],f[97]),d[989]) -> extension (support ? 1) - 1089tuples
3.78/3.83	c intension -> extension : same as previous
3.78/3.83	c intension -> extension : same as previous
3.78/3.83	c intension -> extension : same as previous
3.78/3.83	c intension  eq(dist(f[100],f[127]),d[1011]) -> extension (support ? 1) - 1023tuples
3.78/3.85	c intension -> extension : same as previous
3.78/3.85	c intension  eq(dist(f[100],f[199]),d[1014]) -> extension (support ? 1) - 1023tuples
3.88/3.90	c intension  eq(dist(f[102],f[194]),d[1025]) -> extension (support ? 1) - 1521tuples
3.88/3.95	c intension  eq(dist(f[102],f[204]),d[1028]) -> extension (support ? 1) - 1521tuples
3.99/4.01	c intension  eq(dist(f[102],f[262]),d[1031]) -> extension (support ? 1) - 1209tuples
3.99/4.05	c intension -> extension : same as previous
3.99/4.05	c intension  eq(dist(f[102],f[299]),d[1034]) -> extension (support ? 1) - 1521tuples
3.99/4.07	c intension  eq(dist(f[103],f[130]),d[1036]) -> extension (support ? 1) - 961tuples
3.99/4.10	c intension  eq(dist(f[103],f[205]),d[1039]) -> extension (support ? 1) - 1023tuples
4.09/4.13	c intension  eq(dist(f[103],f[235]),d[1040]) -> extension (support ? 1) - 961tuples
4.09/4.15	c intension  eq(dist(f[103],f[255]),d[1041]) -> extension (support ? 1) - 1023tuples
4.18/4.20	c intension  eq(dist(f[108],f[135]),d[1073]) -> extension (support ? 1) - 1023tuples
4.28/4.31	c intension  eq(dist(f[119],f[283]),d[1155]) -> extension (support ? 1) - 1209tuples
4.38/4.41	c intension  eq(dist(f[127],f[160]),d[1211]) -> extension (support ? 1) - 1287tuples
4.38/4.44	c intension  eq(dist(f[127],f[237]),d[1213]) -> extension (support ? 1) - 1023tuples
4.38/4.46	c intension  eq(dist(f[127],f[247]),d[1214]) -> extension (support ? 1) - 1089tuples
4.49/4.53	c intension -> extension : same as previous
4.49/4.53	c intension  eq(dist(f[129],f[294]),d[1230]) -> extension (support ? 1) - 1287tuples
4.49/4.59	c intension  eq(dist(f[130],f[160]),d[1232]) -> extension (support ? 1) - 1209tuples
4.59/4.64	c intension  eq(dist(f[135],f[164]),d[1263]) -> extension (support ? 1) - 1089tuples
4.68/4.70	c intension  eq(dist(f[135],f[210]),d[1265]) -> extension (support ? 1) - 1287tuples
4.68/4.76	c intension  eq(dist(f[135],f[294]),d[1269]) -> extension (support ? 1) - 1287tuples
4.78/4.88	c intension  eq(dist(f[153],f[189]),d[1365]) -> extension (support ? 1) - 1209tuples
4.88/4.92	c intension  eq(dist(f[156],f[247]),d[1384]) -> extension (support ? 1) - 1089tuples
4.88/5.00	c intension -> extension : same as previous
4.88/5.00	c intension  eq(dist(f[160],f[170]),d[1405]) -> extension (support ? 1) - 1287tuples
4.99/5.04	c intension  eq(dist(f[164],f[179]),d[1425]) -> extension (support ? 1) - 1089tuples
4.99/5.10	c intension  eq(dist(f[164],f[202]),d[1428]) -> extension (support ? 1) - 1287tuples
5.09/5.13	c intension  eq(dist(f[164],f[211]),d[1429]) -> extension (support ? 1) - 1089tuples
5.09/5.15	c intension  eq(dist(f[164],f[228]),d[1431]) -> extension (support ? 1) - 1023tuples
5.18/5.20	c intension  eq(dist(f[170],f[284]),d[1468]) -> extension (support ? 1) - 1023tuples
5.18/5.27	c intension  eq(dist(f[170],f[294]),d[1470]) -> extension (support ? 1) - 1287tuples
5.28/5.32	c intension  eq(dist(f[179],f[193]),d[1513]) -> extension (support ? 1) - 1089tuples
5.28/5.35	c intension  eq(dist(f[179],f[237]),d[1514]) -> extension (support ? 1) - 1023tuples
5.28/5.37	c intension  eq(dist(f[179],f[270]),d[1517]) -> extension (support ? 1) - 1023tuples
5.38/5.44	c intension  eq(dist(f[179],f[294]),d[1518]) -> extension (support ? 1) - 1287tuples
5.48/5.50	c intension  eq(dist(f[193],f[255]),d[1575]) -> extension (support ? 1) - 1089tuples
5.48/5.56	c intension  eq(dist(f[194],f[237]),d[1578]) -> extension (support ? 1) - 1209tuples
5.58/5.60	c intension  eq(dist(f[199],f[255]),d[1599]) -> extension (support ? 1) - 1089tuples
5.58/5.62	c intension  eq(dist(f[199],f[262]),d[1600]) -> extension (support ? 1) - 1023tuples
5.58/5.68	c intension  eq(dist(f[202],f[262]),d[1608]) -> extension (support ? 1) - 1209tuples
5.68/5.73	c intension  eq(dist(f[204],f[294]),d[1618]) -> extension (support ? 1) - 1521tuples
5.68/5.76	c intension  eq(dist(f[205],f[249]),d[1619]) -> extension (support ? 1) - 1089tuples
5.68/5.79	c intension  eq(dist(f[205],f[259]),d[1621]) -> extension (support ? 1) - 1089tuples
5.78/5.86	c intension  eq(dist(f[208],f[299]),d[1636]) -> extension (support ? 1) - 1209tuples
5.78/5.88	c intension  eq(dist(f[211],f[240]),d[1643]) -> extension (support ? 1) - 1023tuples
5.88/5.92	c intension  eq(dist(f[216],f[237]),d[1658]) -> extension (support ? 1) - 961tuples
5.88/5.94	c intension  eq(dist(f[216],f[276]),d[1659]) -> extension (support ? 1) - 1023tuples
5.88/5.99	c intension  eq(dist(f[228],f[241]),d[1699]) -> extension (support ? 1) - 961tuples
5.99/6.03	c intension  eq(dist(f[237],f[241]),d[1721]) -> extension (support ? 1) - 961tuples
5.99/6.08	c intension  eq(dist(f[247],f[279]),d[1750]) -> extension (support ? 1) - 1089tuples
5.99/6.10	c intension  eq(dist(f[247],f[283]),d[1751]) -> extension (support ? 1) - 1023tuples
6.09/6.13	c intension  eq(dist(f[248],f[249]),d[1752]) -> extension (support ? 1) - 1089tuples
6.18/6.20	c intension  eq(dist(f[262],f[299]),d[1777]) -> extension (support ? 1) - 1209tuples
2324.51/342.15	c enable optimization
2324.51/342.15	c ========================================[ Problem Statistics ]===========================================
2324.51/342.15	c |                                                                                                       
2324.51/342.15	c |  Parse time        :        56.11 s 
2324.51/342.15	c |
2324.51/342.15	c |               Variables: 6028
2324.51/342.15	c |            Domain Sizes: 1..151
2324.51/342.15	c |
2324.51/342.15	c |             Constraints: 3866
2324.51/342.15	c |                   Arity: 2..3619  -- Binary: 247  -- Ternary: 1809
2324.51/342.15	c | 
2324.51/342.15	c |                   Types: 
2324.51/342.15	c |                          (X != Y): 22
2324.51/342.15	c |                          (X = Y): 26
2324.51/342.15	c |                          Extension: 2125  (nb tuples: 0..7220) -- (shared: 424)
2324.51/342.15	c |                          Intension: 1692
2324.51/342.15	c |                          Sum: 1
2324.51/342.15	c |                          
2324.51/342.15	c |               Objective: Minimize Sum
2324.51/342.15	
2324.51/342.15	c =========================================================================================================
2324.51/342.15	c Parallel mode: Portfolio
2324.51/342.15	c [pFactory][Group N°0] created (threads:8).
2324.51/342.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
2324.51/342.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
2324.51/342.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
2324.51/342.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
2324.51/342.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
2324.51/342.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
2324.51/342.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
2324.51/342.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
2324.51/342.15	c [pFactory][Group N°0] concurrent mode: enabled.
2324.51/342.15	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
2324.51/342.15	c [pFactory][Group N°0] task 7 launched on thread 0.
2324.51/342.15	c [pFactory][Group N°0] task 6 launched on thread 2.
2324.51/342.15	c [pFactory][Group N°0] task 5 launched on thread 6.
2324.51/342.15	c [pFactory][Group N°0] task 4 launched on thread 1.
2324.51/342.15	c [pFactory][Group N°0] task 3 launched on thread 7.
2324.51/342.15	c [pFactory][Group N°0] task 2 launched on thread 3.
2324.51/342.15	c [pFactory][Group N°0] task 1 launched on thread 4.
2324.51/342.15	c [pFactory][Group N°0] task 0 launched on thread 5.
2324.51/342.15	o 377982520
3277.60/461.51	o 376208767
3583.36/499.82	o 376208757
3841.30/532.16	o 376190667
4213.24/578.73	o 376190664
4284.30/587.68	o 376190661
4417.64/604.36	o 376190658
4485.49/612.86	o 376190651
4735.47/644.13	o 376190648
4866.31/660.52	o 376172561
4995.64/676.72	o 376172558
5128.17/693.39	o 376154477
5168.02/698.36	o 294523337
5219.88/704.82	o 163696456
5234.25/706.70	o 130971635
5250.98/708.79	o 130971634
5264.15/712.20	c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 7.
5264.15/712.20	c [pFactory][Group N°0] Thread N°0 is joined.
5264.15/712.20	c [pFactory][Group N°0] Thread N°1 is joined.
5264.15/712.20	c [pFactory][Group N°0] Thread N°2 is joined.
5264.15/712.20	c [pFactory][Group N°0] Thread N°3 is joined.
5264.15/712.20	c [pFactory][Group N°0] Thread N°4 is joined.
5264.15/712.20	c [pFactory][Group N°0] Thread N°5 is joined.
5264.15/712.20	c [pFactory][Group N°0] Thread N°6 is joined.
5264.15/712.20	c [pFactory][Group N°0] Thread N°7 is joined.
5264.15/712.20	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°0)
5264.15/712.20	s OPTIMUM FOUND
5264.15/712.20	c call to solver        : 3
5264.15/712.20	c
5264.15/712.20	c restarts              : 508         
5264.15/712.20	c conflicts             : 3723         (1 /sec)
5264.15/712.20	c decisions             : 273465       (52 /sec)
5264.15/712.20	c propagations          : 19443675    (3710 /sec)
5264.15/712.20	c root propagations     : 15112       
5264.15/712.20	c filter calls          : 4745432        (905 /sec)
5264.15/712.20	c useless filter calls  : 3664192        (77 %)
5264.15/712.20	c Memory used           : 6506.15 MB
5264.15/712.20	c Best bound time (wc)  : 708.798 s
5264.15/712.20	c CPU time              : 5241.24 s
5264.15/712.20	c real time             : 712.198 s
5264.15/712.20	
5264.15/712.20	
5264.15/712.20	v <instantiation type='solution' cost='130971634'>
5264.15/712.20	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>
5264.15/712.20	v <values>40 340 80 24 120 88 112 56 332 76 180 4 208 48 88 36 48 84 124 96 220 152 4 232 208 124 144 28 32 252 168 72 284 184 84 140 100 128 80 264 40 36 172 40 168 40 40 284 320 136 216 128 232 192 104 44 344 180 536 304 192 264 500 148 288 124 176 288 164 104 48 116 104 188 172 532 252 168 248 252 80 8 316 256 72 76 440 32 328 160 80 316 40 104 60 404 4 20 184 164 276 156 88 124 224 268 148 168 452 492 64 156 344 324 216 52 512 16 300 388 600 304 192 184 112 272 212 116 272 356 456 80 484 168 492 164 364 468 508 288 288 164 272 104 232 288 12 212 504 124 316 464 8 56 424 72 16 84 184 44 528 188 344 156 144 8 72 404 236 152 332 204 188 288 360 380 180 360 64 112 236 40 496 456 352 360 112 12 308 168 208 144 200 216 48 60 120 332 416 520 12 332 536 4 360 364 200 408 128 368 428 408 32 84 4 96 272 36 196 20 232 324 28 276 368 8 284 44 508 516 108 260 24 548 140 180 148 32 88 88 304 352 404 64 12 220 364 32 12 404 228 132 344 128 368 288 68 276 92 84 212 176 28 496 320 92 436 52 132 348 68 320 192 4 216 308 64 324 412 36 56 32 248 388 428 244 144 416 244 296 360 328 48 368 108 124 124 164 68 156 424 548 572 532 508 264 212 172 272 436 88 224 436 188 92 60 100 224 52 492 156 48 40 468 348 88 288 44 92 64 68 40 360 156 124 212 220 132 328 172 32 228 300 292 384 28 352 216 40 64 24 112 372 20 332 120 124 64 524 144 76 444 36 16 248 288 492 212 60 80 40 56 140 304 308 348 452 368 272 312 64 428 52 272 76 248 128 200 44 232 260 260 88 32 268 296 212 104 336 4 296 232 72 56 276 60 152 336 176 128 108 244 56 40 80 112 196 488 280 36 236 68 12 344 276 148 128 128 104 72 240 408 168 232 96 176 136 76 248 276 228 240 112 316 364 16 8 248 436 120 132 60 116 532 276 192 176 88 52 404 408 92 24 132 312 12 88 320 376 52 236 64 88 68 168 20 40 128 140 40 248 152 80 336 8 280 52 172 472 180 460 316 8 432 276 36 88 460 392 448 120 140 20 68 100 84 84 408 84 296 448 104 108 204 212 196 152 336 112 40 28 112 20 172 288 160 216 408 276 24 472 24 472 444 200 484 200 48 12 372 52 220 532 60 248 68 280 100 188 96 80 276 36 284 20 540 36 108 356 368 388 128 24 168 544 212 84 60 160 84 68 72 372 212 88 108 336 204 104 4 4 60 40 212 188 124 148 84 100 204 468 376 404 352 196 352 220 104 228 300 232 156 280 96 72 40 124 284 104 96 44 240 216 40 216 44 44 84 108 56 148 316 148 148 136 260 172 76 300 480 432 476 208 440 32 228 288 356 60 112 204 148 84 136 408 324 240 4 16 68 460 124 396 472 64 168 228 20 40 472 212 296 200 332 88 44 40 8 172 44 364 148 340 108 48 60 260 276 508 132 96 96 344 352 344 304 152 128 4 284 128 8 508 40 344 72 32 60 252 172 20 40 288 44 324 172 60 320 472 156 84 108 232 144 40 192 276 24 472 156 144 120 356 204 180 68 100 44 184 12 56 40 240 132 140 228 332 164 32 152 296 296 316 120 40 376 488 308 268 296 256 92 52 192 276 4 356 348 260 444 408 124 112 184 80 304 32 376 80 372 324 304 8 128 136 120 264 500 224 116 40 20 148 24 196 212 152 8 236 8 208 220 164 104 156 332 40 80 268 92 264 64 96 60 316 40 12 52 400 32 212 360 116 320 88 52 208 52 32 272 232 32 252 76 168 72 316 268 24 248 456 464 64 40 96 128 496 316 456 84 408 192 364 36 376 32 348 276 20 144 40 24 48 368 20 408 312 28 204 28 8 320 60 156 212 400 116 128 140 144 100 24 112 8 108 8 244 60 12 388 348 444 20 308 260 100 328 368 240 116 116 132 368 40 68 84 244 428 516 472 248 312 88 368 84 408 60 108 136 260 340 128 128 124 88 352 296 40 92 156 440 408 340 52 64 112 148 304 188 496 456 300 96 464 136 380 244 124 220 40 296 260 260 288 76 148 196 288 116 116 128 392 320 48 516 152 280 200 280 364 96 320 8 128 236 408 400 296 344 440 16 360 12 56 480 196 52 304 336 32 68 116 64 140 112 140 36 200 280 148 108 132 148 8 340 104 56 16 32 40 416 40 412 444 80 96 324 468 68 284 112 92 24 280 76 172 52 84 292 164 132 48 172 132 156 280 236 44 196 84 336 136 408 176 408 148 132 116 152 132 156 212 228 172 64 344 152 52 188 328 8 348 356 308 116 96 204 76 176 136 272 556 116 332 272 188 272 208 148 80 76 204 124 120 76 196 76 104 288 188 76 248 128 184 40 160 148 28 204 212 76 144 204 80 288 112 184 204 68 332 192 4 232 196 84 4 208 268 60 124 72 72 72 164 32 124 368 44 288 336 188 148 164 328 84 48 84 148 88 384 280 280 216 260 40 536 384 64 264 344 112 64 384 432 240 92 188 132 300 108 20 52 172 232 296 444 404 424 96 312 64 184 240 276 232 304 152 40 268 128 260 192 296 524 376 212 56 248 160 64 76 136 504 200 64 284 416 264 472 196 52 232 504 4 48 444 348 52 248 224 428 396 80 404 36 24 308 64 416 248 268 32 240 288 100 120 12 304 244 472 216 32 88 44 144 440 344 12 480 56 172 336 400 164 144 68 68 164 516 232 100 448 196 40 40 8 176 44 368 24 356 32 172 472 200 220 216 48 328 188 104 368 84 240 316 64 48 24 92 40 156 280 132 12 140 44 40 120 88 120 136 300 144 312 388 340 68 348 168 8 40 180 24 68 100 144 108 44 64 140 236 376 316 180 144 124 360 120 88 132 416 40 24 120 344 208 44 208 124 176 232 52 16 48 80 40 112 180 68 40 24 72 72 280 324 44 220 156 356 116 152 216 232 236 84 24 168 324 396 532 484 4 408 388 36 196 108 128 452 216 24 356 16 408 16 224 200 20 56 80 160 76 48 336 8 24 12 56 252 136 260 136 40 284 8 152 136 152 544 400 88 204 296 320 260 432 216 84 216 516 280 588 576 556 472 460 240 236 288 448 96 68 220 84 88 156 312 56 272 408 228 388 184 32 476 12 28 4 524 228 408 340 16 404 272 104 340 20 156 4 20 40 180 124 92 12 500 520 248 248 268 400 124 120 208 208 152 392 380 36 152 28 156 148 116 144 104 244 204 40 108 384 248 344 20 28 228 20 220 8 96 472 216 40 120 276 384 148 360 244 328 280 320 368 244 328 8 24 152 72 72 32 376 32 116 12 120 252 20 96 28 100 208 24 152 120 220 28 104 124 248 164 36 332 332 4 176 476 548 304 20 536 496 148 516 432 468 12 352 192 60 124 124 196 84 40 240 252 60 56 148 8 144 32 260 140 328 68 460 372 280 152 100 124 4 48 280 128 192 128 244 40 32 120 280 360 120 80 156 80 8 316 40 52 360 228 136 356 260 40 24 104 48 364 40 112 144 472 508 164 136 88 268 68 48 124 372 160 64 312 348 112 120 248 436 136 20 40 268 84 28 248 84 212 248 4 168 40 488 304 188 148 24 20 296 344 484 144 336 84 464 84 556 236 188 572 272 272 416 24 420 48 148 84 176 112 64 380 88 88 8 48 28 152 128 424 128 60 128 192 56 96 232 152 240 144 124 108 24 208 44 128 220 260 444 448 64 400 16 60 216 432 108 260 132 416 60 432 116 132 184 416 96 140 116 100 372 68 152 180 220 228 444 68 44 468 192 44 216 152 476 492 16 316 372 180 408 360 48 300 400 436 200 252 448 444 484 460 328 248 128 416 40 96 500 548 496 88 548 156 264 184 172 352 176 352 8 340 140 12 148 80 324 232 192 164 16 96 376 252 448 356 472 136 144 460 400 128 72 500 4 264 232 252 272 300 128 128 60 212 244 172 168 88 152 40 116 128 128 88 296 444 8 40 484 444 4 4 376 2640 2456 2420 2356 2456 2368 2680 2380 2668 2496 2576 2176 2184 2360 2160 2720 2176 2160 2380 2164 2140 2324 2460 2256 2656 2336 2656 2544 2420 2136 2504 2264 2504 2608 2416 2616 2500 2240 2152 2504 2120 2232 2612 2416 2460 2324 2316 2504 2568 2144 2668 2176 2692 2420 2368 2416 2544 2480 2568 2456 2528 2180 2544 2136 2420 2644 2136 2324 2120 2616 2184 2456 2456 2208 2276 2544 2376 2544 2456 2668 2692 2616 2704 2568 2328 2652 2668 2544 2628 2160 2420 2652 2276 2524 2400 2200 2460 2268 2396 2380 2420 2652 2168 2476 2324 2244 2636 2608 2332 2504 2136 2180 2524 2288 2436 2628 2284 2416 2144 2204 2496 2136 2600 2396 2416 2652 2640 2484 2120 2416 2296 2384 2120 2520 2668 2420 2440 2124 2316 2272 2548 2304 2416 2396 2200 2504 2480 2284 2380 2628 2496 2172 2472 2208 2132 2456 2456 2536 2416 2160 2488 2628 2608 2416 2416 2544 2372 2132 2628 2384 2264 2568 2416 2484 2172 2524 2544 2284 2220 2172 2496 2376 2588 2296 2332 2136 2628 2568 2492 2456 2292 2668 2544 2448 2144 2456 2184 2176 2456 2692 2440 2628 2508 2512 2416 2192 2532 2180 2484 2164 2380 2532 2492 2284 2248 2436 2276 2248 2240 2668 2436 2496 2356 2424 2460 2528 2504 2720 2588 2440 2128 2680 2604 2592 2424 2600 2652 2504 2536 2304 2560 2536 2420 2456 2544 2500 2652 2496 2284 2176 2720 2220 2644 2228 2456 2400 2664 2288 2504 2136 2396 2176 2536 2568 2296 2680 2608 2628 2376 2176 2408 2176 2416 2536 2160 2256 2256 2460 2420 2628 2692 2504 2544 2516 2460 2676 2552 2504 2396 2612 2136 2168 2120 2316 2168 2416 2416 2604 2456 2132 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
5264.15/712.20	v </instantiation>
5264.15/712.20

Verifier Data 

OK	130971634

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 (15404 MiB free)
  memory of node 1: 16384 MiB (15554 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409594-1569840421/watcher-4409594-1569840421 -o /tmp/evaluation-result-4409594-1569840421/solver-4409594-1569840421 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569833606-31982 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409594-1569840421.xml 

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

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


[startup+0.100166 s]*
/proc/loadavg: 1.85 1.20 1.36 2/190 32468
/proc/meminfo: memFree=31659404/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=74544 memory=50688 CPUtime=0.1 cores=0-7
/proc/32467/stat : 32467 (cosoco) R 32464 32467 31955 0 -1 4202496 12840 0 0 0 8 2 0 0 20 0 1 0 560295837 76333056 12672 33554432000 4194304 6211132 140722863886896 140722863882776 139745254579173 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 18636 12672 755 493 0 11941 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 74544 KiB
Current children cumulated memory: 50688 KiB

[startup+0.209296 s]*
/proc/loadavg: 1.85 1.20 1.36 2/190 32468
/proc/meminfo: memFree=31598116/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=135460 memory=111604 CPUtime=0.21 cores=0-7
/proc/32467/stat : 32467 (cosoco) R 32464 32467 31955 0 -1 4202496 28060 0 0 0 17 4 0 0 20 0 1 0 560295837 138711040 27835 33554432000 4194304 6211132 140722863886896 140722863882776 139745254579173 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 33865 27835 755 493 0 27170 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 135460 KiB
Current children cumulated memory: 111604 KiB

[startup+0.309254 s]*
/proc/loadavg: 1.85 1.20 1.36 2/190 32468
/proc/meminfo: memFree=31555336/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=173908 memory=149968 CPUtime=0.31 cores=0-7
/proc/32467/stat : 32467 (cosoco) R 32464 32467 31955 0 -1 4202496 37788 0 0 0 26 5 0 0 20 0 1 0 560295837 178081792 37492 33554432000 4194304 6211132 140722863886896 140722863882776 5012856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 43477 37492 826 493 0 36782 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 173908 KiB
Current children cumulated memory: 149968 KiB

[startup+0.700339 s]
/proc/loadavg: 1.85 1.20 1.36 2/190 32468
/proc/meminfo: memFree=31544392/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=195132 memory=171352 CPUtime=0.69 cores=0-7
/proc/32467/stat : 32467 (cosoco) R 32464 32467 31955 0 -1 4202496 43140 0 0 0 63 6 0 0 20 0 1 0 560295837 199815168 42838 33554432000 4194304 6211132 140722863886896 140722863881384 139745254585240 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 48783 42838 826 493 0 42088 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 195132 KiB
Current children cumulated memory: 171352 KiB

[startup+1.50037 s]
/proc/loadavg: 1.85 1.20 1.36 2/190 32468
/proc/meminfo: memFree=31516492/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=299816 memory=276220 CPUtime=1.48 cores=0-7
/proc/32467/stat : 32467 (cosoco) R 32464 32467 31955 0 -1 4202496 72205 0 0 0 138 10 0 0 20 0 1 0 560295837 307011584 69055 33554432000 4194304 6211132 140722863886896 140722863881928 139745254579173 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 74954 69055 835 493 0 68259 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 299816 KiB
Current children cumulated memory: 276220 KiB

[startup+3.10921 s]
/proc/loadavg: 1.78 1.19 1.36 2/190 32468
/proc/meminfo: memFree=31134568/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=564760 memory=540408 CPUtime=3.1 cores=0-7
/proc/32467/stat : 32467 (cosoco) R 32464 32467 31955 0 -1 4202496 143527 0 0 0 292 18 0 0 20 0 1 0 560295837 578314240 135102 33554432000 4194304 6211132 140722863886896 140722863881192 5252921 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 141190 135102 835 493 0 134495 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 564760 KiB
Current children cumulated memory: 540408 KiB

[startup+6.30036 s]
/proc/loadavg: 1.78 1.19 1.36 2/190 32468
/proc/meminfo: memFree=30715384/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=1064428 memory=1040544 CPUtime=6.28 cores=0-7
/proc/32467/stat : 32467 (cosoco) R 32464 32467 31955 0 -1 4202496 280235 0 0 0 594 34 0 0 20 0 1 0 560295837 1089974272 260136 33554432000 4194304 6211132 140722863886896 140722863881192 5816155 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 266107 260136 840 493 0 259412 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1064428 KiB
Current children cumulated memory: 1040544 KiB

[startup+12.7003 s]
/proc/loadavg: 1.72 1.19 1.36 2/190 32468
/proc/meminfo: memFree=30333452/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=1447676 memory=1410132 CPUtime=12.67 cores=0-7
/proc/32467/stat : 32467 (cosoco) R 32464 32467 31955 0 -1 4202496 381653 0 0 0 1222 45 0 0 20 0 1 0 560295837 1482420224 352533 33554432000 4194304 6211132 140722863886896 140722863884168 5707973 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 361919 352533 840 493 0 355224 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 1447676 KiB
Current children cumulated memory: 1410132 KiB

[startup+25.5003 s]
/proc/loadavg: 1.56 1.18 1.35 2/191 32471
/proc/meminfo: memFree=29577440/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=2220028 memory=2152260 CPUtime=25.46 cores=0-7
/proc/32467/stat : 32467 (cosoco) R 32464 32467 31955 0 -1 4202496 580060 0 0 0 2473 73 0 0 20 0 1 0 560295837 2273308672 538065 33554432000 4194304 6211132 140722863886896 140722863884168 5287045 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 555007 538065 840 493 0 548312 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 2220028 KiB
Current children cumulated memory: 2152260 KiB

[startup+51.1084 s]
/proc/loadavg: 1.65 1.23 1.36 2/190 32471
/proc/meminfo: memFree=28058476/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=3772864 memory=3646304 CPUtime=51.07 cores=0-7
/proc/32467/stat : 32467 (cosoco) R 32464 32467 31955 0 -1 4202496 962806 0 0 0 4985 122 0 0 20 0 1 0 560295837 3863412736 911576 33554432000 4194304 6211132 140722863886896 140722863884168 5814093 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 943216 911576 840 493 0 936521 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 3772864 KiB
Current children cumulated memory: 3646304 KiB

[startup+102.301 s]
/proc/loadavg: 5.44 2.27 1.71 9/198 32482
/proc/meminfo: memFree=26558172/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=5646500 memory=5137244 CPUtime=410.04 cores=0-7
/proc/32467/stat : 32467 (cosoco) S 32464 32467 31955 0 -1 1077944320 6808779 0 0 0 40052 952 0 0 20 0 9 0 560295837 5782016000 1284311 33554432000 4194304 6211132 140722863886896 140722863885152 139745270619895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 1411625 1284311 891 493 0 1404930 0
[pid=32467/tid=32472] ppid=32464 vsize=5646500 memory=5089728 CPUtime=43.96 cores=0-7
/proc/32467/task/32472/stat : 32472 (cosoco) R 32464 32467 31955 0 -1 4202560 675143 0 0 0 4271 125 0 0 20 0 9 0 560301643 5782016000 1284311 33554432000 4194304 6211132 140722863886896 139745247476136 139745255503186 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32473] ppid=32464 vsize=5646500 memory=5137076 CPUtime=44.05 cores=0-7
/proc/32467/task/32473/stat : 32473 (cosoco) R 32464 32467 31955 0 -1 4202560 677405 0 0 0 4334 71 0 0 20 0 9 0 560301643 5782016000 1284311 33554432000 4194304 6211132 140722863886896 139745239083544 139745263912096 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32474] ppid=32464 vsize=5646500 memory=3614 CPUtime=44.08 cores=0-7
/proc/32467/task/32474/stat : 32474 (cosoco) R 32464 32467 31955 0 -1 4202560 642403 0 0 0 4294 114 0 0 20 0 9 0 560301643 5782016000 1284311 33554432000 4194304 6211132 140722863886896 139745230690840 139745255502942 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32475] ppid=32464 vsize=5646500 memory=5137076 CPUtime=44.1 cores=0-7
/proc/32467/task/32475/stat : 32475 (cosoco) R 32464 32467 31955 0 -1 4202560 696905 0 0 0 4344 66 0 0 20 0 9 0 560301643 5782016000 1284311 33554432000 4194304 6211132 140722863886896 139745222298136 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32476] ppid=32464 vsize=5646500 memory=5106768 CPUtime=43.61 cores=0-7
/proc/32467/task/32476/stat : 32476 (cosoco) R 32464 32467 31955 0 -1 4202560 672423 0 0 0 4235 126 0 0 20 0 9 0 560301643 5782016000 1284311 33554432000 4194304 6211132 140722863886896 139745213905320 5442977 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32477] ppid=32464 vsize=5646500 memory=0 CPUtime=44.04 cores=0-7
/proc/32467/task/32477/stat : 32477 (cosoco) R 32464 32467 31955 0 -1 4202560 676357 0 0 0 4333 71 0 0 20 0 9 0 560301643 5782016000 1284311 33554432000 4194304 6211132 140722863886896 139745205512616 5476562 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32478] ppid=32464 vsize=5646500 memory=3624 CPUtime=44.06 cores=0-7
/proc/32467/task/32478/stat : 32478 (cosoco) R 32464 32467 31955 0 -1 4202560 604453 0 0 0 4338 68 0 0 20 0 9 0 560301643 5782016000 1284311 33554432000 4194304 6211132 140722863886896 139745197119912 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32479] ppid=32464 vsize=5646500 memory=139990508029567 CPUtime=44.04 cores=0-7
/proc/32467/task/32479/stat : 32479 (cosoco) R 32464 32467 31955 0 -1 4202560 730218 0 0 0 4288 116 0 0 20 0 9 0 560301643 5782016000 1284311 33554432000 4194304 6211132 140722863886896 139745188727368 5476565 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
Current children cumulated CPU time: 410.04 s
Current children cumulated vsize: 5646500 KiB
Current children cumulated memory: 5137244 KiB

[startup+162.301 s]
/proc/loadavg: 7.51 3.44 2.14 9/199 32487
/proc/meminfo: memFree=26406408/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=5712036 memory=5288204 CPUtime=889.05 cores=0-7
/proc/32467/stat : 32467 (cosoco) S 32464 32467 31955 0 -1 1077944320 8865902 0 0 0 87800 1105 0 0 20 0 9 0 560295837 5849124864 1322051 33554432000 4194304 6211132 140722863886896 140722863885152 139745270619895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 1428009 1322051 891 493 0 1421314 0
[pid=32467/tid=32472] ppid=32464 vsize=5712036 memory=5288132 CPUtime=103.92 cores=0-7
/proc/32467/task/32472/stat : 32472 (cosoco) R 32464 32467 31955 0 -1 4202560 951141 0 0 0 10243 149 0 0 20 0 9 0 560301643 5849124864 1322051 33554432000 4194304 6211132 140722863886896 139745247476136 139745255503168 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32473] ppid=32464 vsize=5712036 memory=5288132 CPUtime=104.03 cores=0-7
/proc/32467/task/32473/stat : 32473 (cosoco) R 32464 32467 31955 0 -1 4202560 924219 0 0 0 10314 89 0 0 20 0 9 0 560301643 5849124864 1322051 33554432000 4194304 6211132 140722863886896 139745239083432 5035286 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32474] ppid=32464 vsize=5712036 memory=5274068 CPUtime=104.02 cores=0-7
/proc/32467/task/32474/stat : 32474 (cosoco) R 32464 32467 31955 0 -1 4202560 927291 0 0 0 10265 137 0 0 20 0 9 0 560301643 5849124864 1322051 33554432000 4194304 6211132 140722863886896 139745230690728 139745255502934 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32475] ppid=32464 vsize=5712036 memory=5274068 CPUtime=104.08 cores=0-7
/proc/32467/task/32475/stat : 32475 (cosoco) R 32464 32467 31955 0 -1 4202560 938389 0 0 0 10328 80 0 0 20 0 9 0 560301643 5849124864 1322051 33554432000 4194304 6211132 140722863886896 139745222298136 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32476] ppid=32464 vsize=5712036 memory=5274120 CPUtime=102.79 cores=0-7
/proc/32467/task/32476/stat : 32476 (cosoco) R 32464 32467 31955 0 -1 4202560 943878 0 0 0 10136 143 0 0 20 0 9 0 560301643 5849124864 1322051 33554432000 4194304 6211132 140722863886896 139745213905320 5440737 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32477] ppid=32464 vsize=5712036 memory=5273780 CPUtime=104.04 cores=0-7
/proc/32467/task/32477/stat : 32477 (cosoco) R 32464 32467 31955 0 -1 4202560 878758 0 0 0 10313 91 0 0 20 0 9 0 560301643 5849124864 1322051 33554432000 4194304 6211132 140722863886896 139745205512728 139745255503190 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32478] ppid=32464 vsize=5712036 memory=5214520 CPUtime=104.05 cores=0-7
/proc/32467/task/32478/stat : 32478 (cosoco) R 32464 32467 31955 0 -1 4202560 881004 0 0 0 10319 86 0 0 20 0 9 0 560301643 5849124864 1322051 33554432000 4194304 6211132 140722863886896 139745197120104 5009423 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32479] ppid=32464 vsize=5712036 memory=5288132 CPUtime=104.04 cores=0-7
/proc/32467/task/32479/stat : 32479 (cosoco) R 32464 32467 31955 0 -1 4202560 987754 0 0 0 10268 136 0 0 20 0 9 0 560301643 5849124864 1322051 33554432000 4194304 6211132 140722863886896 139745188727208 5009423 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
Current children cumulated CPU time: 889.05 s
Current children cumulated vsize: 5712036 KiB
Current children cumulated memory: 5288204 KiB

[startup+222.301 s]
/proc/loadavg: 8.39 4.44 2.57 9/198 32490
/proc/meminfo: memFree=26243648/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=5974180 memory=5453436 CPUtime=1368.06 cores=0-7
/proc/32467/stat : 32467 (cosoco) S 32464 32467 31955 0 -1 1077944320 10129512 0 0 0 135600 1206 0 0 20 0 9 0 560295837 6117560320 1363359 33554432000 4194304 6211132 140722863886896 140722863885152 139745270619895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 1493545 1363359 891 493 0 1486850 0
[pid=32467/tid=32472] ppid=32464 vsize=5974180 memory=5450512 CPUtime=163.91 cores=0-7
/proc/32467/task/32472/stat : 32472 (cosoco) R 32464 32467 31955 0 -1 4202560 1098305 0 0 0 16231 160 0 0 20 0 9 0 560301643 6117560320 1363359 33554432000 4194304 6211132 140722863886896 139745247476136 5479582 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32473] ppid=32464 vsize=5974180 memory=5366908 CPUtime=163.99 cores=0-7
/proc/32467/task/32473/stat : 32473 (cosoco) R 32464 32467 31955 0 -1 4202560 1085027 0 0 0 16298 101 0 0 20 0 9 0 560301643 6117560320 1363359 33554432000 4194304 6211132 140722863886896 139745239083544 5446680 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32474] ppid=32464 vsize=5974180 memory=5372312 CPUtime=163.93 cores=0-7
/proc/32467/task/32474/stat : 32474 (cosoco) R 32464 32467 31955 0 -1 4202560 1064125 0 0 0 16243 150 0 0 20 0 9 0 560301643 6117560320 1363359 33554432000 4194304 6211132 140722863886896 139745230690920 139745255503408 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32475] ppid=32464 vsize=5974180 memory=5392012 CPUtime=164.08 cores=0-7
/proc/32467/task/32475/stat : 32475 (cosoco) R 32464 32467 31955 0 -1 4202560 1086789 0 0 0 16315 93 0 0 20 0 9 0 560301643 6117560320 1363359 33554432000 4194304 6211132 140722863886896 139745222298024 5039549 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32476] ppid=32464 vsize=5974180 memory=5388612 CPUtime=162.75 cores=0-7
/proc/32467/task/32476/stat : 32476 (cosoco) R 32464 32467 31955 0 -1 4202560 1083250 0 0 0 16123 152 0 0 20 0 9 0 560301643 6117560320 1363359 33554432000 4194304 6211132 140722863886896 139745213905320 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32477] ppid=32464 vsize=5974180 memory=5447104 CPUtime=164.01 cores=0-7
/proc/32467/task/32477/stat : 32477 (cosoco) R 32464 32467 31955 0 -1 4202560 1114288 0 0 0 16293 108 0 0 20 0 9 0 560301643 6117560320 1363359 33554432000 4194304 6211132 140722863886896 139745205512728 5164744 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0

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

[pid=32467/tid=32477] ppid=32464 vsize=6301860 memory=3624 CPUtime=523.85 cores=0-7
/proc/32467/task/32477/stat : 32477 (cosoco) R 32464 32467 31955 0 -1 4202560 1875329 0 0 0 52220 165 0 0 20 0 9 0 560301643 6453104640 1453310 33554432000 4194304 6211132 140722863886896 139745205512616 5164809 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32478] ppid=32464 vsize=6301860 memory=10972 CPUtime=521.86 cores=0-7
/proc/32467/task/32478/stat : 32478 (cosoco) R 32464 32467 31955 0 -1 4202560 1850094 0 0 0 51922 264 0 0 20 0 9 0 560301643 6453104640 1453310 33554432000 4194304 6211132 140722863886896 139745197119912 5396788 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32479] ppid=32464 vsize=6301860 memory=5813228 CPUtime=523.82 cores=0-7
/proc/32467/task/32479/stat : 32479 (cosoco) R 32464 32467 31955 0 -1 4202560 1788920 0 0 0 52057 325 0 0 20 0 9 0 560301643 6453104640 1453310 33554432000 4194304 6211132 140722863886896 139745188727208 5037808 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
Current children cumulated CPU time: 4241.99 s
Current children cumulated vsize: 6301860 KiB
Current children cumulated memory: 5813240 KiB

[startup+642.301 s]
/proc/loadavg: 8.51 7.32 4.63 9/198 32524
/proc/meminfo: memFree=25880516/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=6301860 memory=5813456 CPUtime=4721.03 cores=0-7
/proc/32467/stat : 32467 (cosoco) S 32464 32467 31955 0 -1 1077944320 16881710 0 0 0 470036 2067 0 0 20 0 9 0 560295837 6453104640 1453364 33554432000 4194304 6211132 140722863886896 140722863885152 139745270619895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 1575465 1453364 891 493 0 1568770 0
[pid=32467/tid=32472] ppid=32464 vsize=6301860 memory=5813456 CPUtime=583.77 cores=0-7
/proc/32467/task/32472/stat : 32472 (cosoco) R 32464 32467 31955 0 -1 4202560 1876686 0 0 0 58154 223 0 0 20 0 9 0 560301643 6453104640 1453364 33554432000 4194304 6211132 140722863886896 139745247476136 5155836 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32473] ppid=32464 vsize=6301860 memory=5813416 CPUtime=583.83 cores=0-7
/proc/32467/task/32473/stat : 32473 (cosoco) R 32464 32467 31955 0 -1 4202560 1981076 0 0 0 58204 179 0 0 20 0 9 0 560301643 6453104640 1453364 33554432000 4194304 6211132 140722863886896 139745239083432 139745264524176 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32474] ppid=32464 vsize=6301860 memory=984 CPUtime=583.25 cores=0-7
/proc/32467/task/32474/stat : 32474 (cosoco) R 32464 32467 31955 0 -1 4202560 2053040 0 0 0 57981 344 0 0 20 0 9 0 560301643 6453104640 1453364 33554432000 4194304 6211132 140722863886896 139745230691600 5446680 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32475] ppid=32464 vsize=6301860 memory=5813420 CPUtime=583.98 cores=0-7
/proc/32467/task/32475/stat : 32475 (cosoco) R 32464 32467 31955 0 -1 4202560 1822272 0 0 0 58253 145 0 0 20 0 9 0 560301643 6453104640 1453364 33554432000 4194304 6211132 140722863886896 139745222298024 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32476] ppid=32464 vsize=6301860 memory=5813316 CPUtime=579.14 cores=0-7
/proc/32467/task/32476/stat : 32476 (cosoco) R 32464 32467 31955 0 -1 4202560 1826724 0 0 0 57717 197 0 0 20 0 9 0 560301643 6453104640 1453364 33554432000 4194304 6211132 140722863886896 139745213905320 139745263912096 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32477] ppid=32464 vsize=6301860 memory=5813452 CPUtime=583.82 cores=0-7
/proc/32467/task/32477/stat : 32477 (cosoco) R 32464 32467 31955 0 -1 4202560 1999220 0 0 0 58209 173 0 0 20 0 9 0 560301643 6453104640 1453364 33554432000 4194304 6211132 140722863886896 139745205512616 5451642 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32478] ppid=32464 vsize=6301860 memory=5813456 CPUtime=581.85 cores=0-7
/proc/32467/task/32478/stat : 32478 (cosoco) R 32464 32467 31955 0 -1 4202560 1987617 0 0 0 57911 274 0 0 20 0 9 0 560301643 6453104640 1453364 33554432000 4194304 6211132 140722863886896 139745197119912 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32479] ppid=32464 vsize=6301860 memory=5813456 CPUtime=583.29 cores=0-7
/proc/32467/task/32479/stat : 32479 (cosoco) R 32464 32467 31955 0 -1 4202560 1901603 0 0 0 57992 337 0 0 20 0 9 0 560301643 6453104640 1453364 33554432000 4194304 6211132 140722863886896 139745188727208 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
Current children cumulated CPU time: 4721.03 s
Current children cumulated vsize: 6301860 KiB
Current children cumulated memory: 5813456 KiB

[startup+702.301 s]
/proc/loadavg: 8.66 7.58 4.89 8/199 32529
/proc/meminfo: memFree=25839348/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=6324400 memory=5868812 CPUtime=5199.93 cores=0-7
/proc/32467/stat : 32467 (cosoco) S 32464 32467 31955 0 -1 1077944320 17958519 0 0 0 517746 2247 0 0 20 0 9 0 560295837 6476185600 1467203 33554432000 4194304 6211132 140722863886896 140722863885152 139745270619895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 1581100 1467203 891 493 0 1574405 0
[pid=32467/tid=32472] ppid=32464 vsize=6324400 memory=5852576 CPUtime=643.74 cores=0-7
/proc/32467/task/32472/stat : 32472 (cosoco) R 32464 32467 31955 0 -1 4202560 2084519 0 0 0 64081 293 0 0 20 0 9 0 560301643 6476185600 1467203 33554432000 4194304 6211132 140722863886896 139745247476528 5392113 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32473] ppid=32464 vsize=6324400 memory=5817508 CPUtime=643.76 cores=0-7
/proc/32467/task/32473/stat : 32473 (cosoco) R 32464 32467 31955 0 -1 4202560 2118817 0 0 0 64185 191 0 0 20 0 9 0 560301643 6476185600 1467203 33554432000 4194304 6211132 140722863886896 139745239083920 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32474] ppid=32464 vsize=6324400 memory=5816796 CPUtime=643.2 cores=0-7
/proc/32467/task/32474/stat : 32474 (cosoco) R 32464 32467 31955 0 -1 4202560 2190303 0 0 0 63942 378 0 0 20 0 9 0 560301643 6476185600 1467203 33554432000 4194304 6211132 140722863886896 139745230691600 5035312 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32475] ppid=32464 vsize=6324400 memory=5816796 CPUtime=643.95 cores=0-7
/proc/32467/task/32475/stat : 32475 (cosoco) R 32464 32467 31955 0 -1 4202560 1938800 0 0 0 64243 152 0 0 20 0 9 0 560301643 6476185600 1467203 33554432000 4194304 6211132 140722863886896 139745222298216 5039129 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32476] ppid=32464 vsize=6324400 memory=5816740 CPUtime=639.06 cores=0-7
/proc/32467/task/32476/stat : 32476 (cosoco) R 32464 32467 31955 0 -1 4202560 1950579 0 0 0 63701 205 0 0 20 0 9 0 560301643 6476185600 1467203 33554432000 4194304 6211132 140722863886896 139745213905544 5396788 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32477] ppid=32464 vsize=6324400 memory=5835048 CPUtime=643.8 cores=0-7
/proc/32467/task/32477/stat : 32477 (cosoco) R 32464 32467 31955 0 -1 4202560 2076339 0 0 0 64179 201 0 0 20 0 9 0 560301643 6476185600 1467203 33554432000 4194304 6211132 140722863886896 139745205512616 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32478] ppid=32464 vsize=6324400 memory=5867980 CPUtime=641.4 cores=0-7
/proc/32467/task/32478/stat : 32478 (cosoco) R 32464 32467 31955 0 -1 4202560 2139920 0 0 0 63852 288 0 0 20 0 9 0 560301643 6476185600 1467203 33554432000 4194304 6211132 140722863886896 139745197120528 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32479] ppid=32464 vsize=6324400 memory=9588 CPUtime=642.91 cores=0-7
/proc/32467/task/32479/stat : 32479 (cosoco) R 32464 32467 31955 0 -1 4202560 2025775 0 0 0 63946 345 0 0 20 0 9 0 560301643 6476185600 1467203 33554432000 4194304 6211132 140722863886896 139745188727696 5186484 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
Current children cumulated CPU time: 5199.93 s
Current children cumulated vsize: 6324400 KiB
Current children cumulated memory: 5868812 KiB

[startup+712.666 s]
# the end of solver process 32467 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5241.24 s, system=23.381 s

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

[startup+704.008 s]*
/proc/loadavg: 8.61 7.59 4.91 9/199 32529
/proc/meminfo: memFree=25663368/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=6439100 memory=6035732 CPUtime=5213.62 cores=0-7
/proc/32467/stat : 32467 (cosoco) S 32464 32467 31955 0 -1 1077944320 18041645 0 0 0 519101 2261 0 0 20 0 9 0 560295837 6593638400 1508933 33554432000 4194304 6211132 140722863886896 140722863885152 139745270619895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 1609775 1508933 891 493 0 1603080 0
[pid=32467/tid=32472] ppid=32464 vsize=6439100 memory=1548 CPUtime=645.46 cores=0-7
/proc/32467/task/32472/stat : 32472 (cosoco) R 32464 32467 31955 0 -1 4202560 2084671 0 0 0 64253 293 0 0 20 0 9 0 560301643 6593638400 1508933 33554432000 4194304 6211132 140722863886896 139745247476624 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32473] ppid=32464 vsize=6439100 memory=628 CPUtime=645.48 cores=0-7
/proc/32467/task/32473/stat : 32473 (cosoco) R 32464 32467 31955 0 -1 4202560 2125791 0 0 0 64356 192 0 0 20 0 9 0 560301643 6593638400 1508933 33554432000 4194304 6211132 140722863886896 139745239083656 5155832 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32474] ppid=32464 vsize=6439100 memory=1056 CPUtime=644.91 cores=0-7
/proc/32467/task/32474/stat : 32474 (cosoco) R 32464 32467 31955 0 -1 4202560 2203854 0 0 0 64112 379 0 0 20 0 9 0 560301643 6593638400 1508933 33554432000 4194304 6211132 140722863886896 139745230691456 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32475] ppid=32464 vsize=6439100 memory=6789802306324843961 CPUtime=645.67 cores=0-7
/proc/32467/task/32475/stat : 32475 (cosoco) R 32464 32467 31955 0 -1 4202560 1972378 0 0 0 64409 158 0 0 20 0 9 0 560301643 6593638400 1508933 33554432000 4194304 6211132 140722863886896 139745222298296 5302358 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32476] ppid=32464 vsize=6439100 memory=0 CPUtime=640.75 cores=0-7
/proc/32467/task/32476/stat : 32476 (cosoco) R 32464 32467 31955 0 -1 4202560 1958089 0 0 0 63868 207 0 0 20 0 9 0 560301643 6593638400 1508933 33554432000 4194304 6211132 140722863886896 139745213905936 5008940 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32477] ppid=32464 vsize=6439100 memory=259368 CPUtime=645.52 cores=0-7
/proc/32467/task/32477/stat : 32477 (cosoco) R 32464 32467 31955 0 -1 4202560 2076950 0 0 0 64351 201 0 0 20 0 9 0 560301643 6593638400 1508933 33554432000 4194304 6211132 140722863886896 139745205512616 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32478] ppid=32464 vsize=6439100 memory=0 CPUtime=643.12 cores=0-7
/proc/32467/task/32478/stat : 32478 (cosoco) R 32464 32467 31955 0 -1 4202560 2144757 0 0 0 64023 289 0 0 20 0 9 0 560301643 6593638400 1508933 33554432000 4194304 6211132 140722863886896 139745197120528 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32479] ppid=32464 vsize=6439100 memory=0 CPUtime=644.62 cores=0-7
/proc/32467/task/32479/stat : 32479 (cosoco) R 32464 32467 31955 0 -1 4202560 2041705 0 0 0 64114 348 0 0 20 0 9 0 560301643 6593638400 1508975 33554432000 4194304 6211132 140722863886896 139745188727400 5008940 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
Current children cumulated CPU time: 5213.62 s
Current children cumulated vsize: 6439100 KiB
Current children cumulated memory: 6035732 KiB

[startup+707.201 s]
/proc/loadavg: 8.61 7.59 4.91 9/199 32529
/proc/meminfo: memFree=25457856/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=6760628 memory=6237764 CPUtime=5239.04 cores=0-7
/proc/32467/stat : 32467 (cosoco) S 32464 32467 31955 0 -1 1077944320 18153377 0 0 0 521625 2279 0 0 20 0 9 0 560295837 6922883072 1559441 33554432000 4194304 6211132 140722863886896 140722863885152 139745270619895 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 1690157 1559441 891 493 0 1683462 0
[pid=32467/tid=32472] ppid=32464 vsize=6760628 memory=4032 CPUtime=648.64 cores=0-7
/proc/32467/task/32472/stat : 32472 (cosoco) R 32464 32467 31955 0 -1 4202560 2094766 0 0 0 64569 295 0 0 20 0 9 0 560301643 6922883072 1559441 33554432000 4194304 6211132 140722863886896 139745247476360 5392113 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32473] ppid=32464 vsize=6760628 memory=6233820 CPUtime=648.66 cores=0-7
/proc/32467/task/32473/stat : 32473 (cosoco) R 32464 32467 31955 0 -1 4202560 2141017 0 0 0 64672 194 0 0 20 0 9 0 560301643 6922883072 1559441 33554432000 4194304 6211132 140722863886896 139745239084304 5396439 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32474] ppid=32464 vsize=6760628 memory=3624 CPUtime=648.1 cores=0-7
/proc/32467/task/32474/stat : 32474 (cosoco) R 32464 32467 31955 0 -1 4202560 2213097 0 0 0 64429 381 0 0 20 0 9 0 560301643 6922883072 1559441 33554432000 4194304 6211132 140722863886896 139745230691456 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32475] ppid=32464 vsize=6760628 memory=1428 CPUtime=648.85 cores=0-7
/proc/32467/task/32475/stat : 32475 (cosoco) R 32464 32467 31955 0 -1 4202560 1987986 0 0 0 64725 160 0 0 20 0 9 0 560301643 6922883072 1559441 33554432000 4194304 6211132 140722863886896 139745222298024 5392113 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32476] ppid=32464 vsize=6760628 memory=1128 CPUtime=643.89 cores=0-7
/proc/32467/task/32476/stat : 32476 (cosoco) R 32464 32467 31955 0 -1 4202560 1989599 0 0 0 64177 212 0 0 20 0 9 0 560301643 6922883072 1559441 33554432000 4194304 6211132 140722863886896 139745213905592 5392113 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32477] ppid=32464 vsize=6760628 memory=3624 CPUtime=648.7 cores=0-7
/proc/32467/task/32477/stat : 32477 (cosoco) R 32464 32467 31955 0 -1 4202560 2078899 0 0 0 64669 201 0 0 20 0 9 0 560301643 6922883072 1559441 33554432000 4194304 6211132 140722863886896 139745205512616 5035344 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32478] ppid=32464 vsize=6760628 memory=10972 CPUtime=646.3 cores=0-7
/proc/32467/task/32478/stat : 32478 (cosoco) R 32464 32467 31955 0 -1 4202560 2148320 0 0 0 64341 289 0 0 20 0 9 0 560301643 6922883072 1559441 33554432000 4194304 6211132 140722863886896 139745197120528 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
[pid=32467/tid=32479] ppid=32464 vsize=6760628 memory=984 CPUtime=647.8 cores=0-7
/proc/32467/task/32479/stat : 32479 (cosoco) R 32464 32467 31955 0 -1 4202560 2066221 0 0 0 64427 353 0 0 20 0 9 0 560301643 6922883072 1559441 33554432000 4194304 6211132 140722863886896 139745188727400 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
Current children cumulated CPU time: 5239.04 s
Current children cumulated vsize: 6760628 KiB
Current children cumulated memory: 6237764 KiB

[startup+710.4 s]
/proc/loadavg: 8.56 7.60 4.93 7/196 32529
/proc/meminfo: memFree=25480580/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=6686880 memory=6211560 CPUtime=5262.35 cores=0-7
/proc/32467/stat : 32467 (cosoco) S 32464 32467 31955 0 -1 1077944320 18212091 0 0 0 523947 2288 0 0 20 0 2 0 560295837 6847365120 1552890 33554432000 4194304 6211132 140722863886896 140722863885152 139745270619895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 1671720 1552890 892 493 0 1665025 0
[pid=32467/tid=32477] ppid=32464 vsize=6686880 memory=5816740 CPUtime=651.9 cores=0-7
/proc/32467/task/32477/stat : 32477 (cosoco) R 32464 32467 31955 0 -1 4202560 2100110 0 0 0 64987 203 0 0 20 0 2 0 560301643 6847365120 1552890 33554432000 4194304 6211132 140722863886896 139745205512616 139745254577708 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
Current children cumulated CPU time: 5262.35 s
Current children cumulated vsize: 6686880 KiB
Current children cumulated memory: 6211560 KiB

[startup+712 s]*
/proc/loadavg: 8.56 7.60 4.93 2/191 32529
/proc/meminfo: memFree=25481124/32770624 swapFree=67000032/67108860
[pid=32467] ppid=32464 vsize=6686880 memory=6211576 CPUtime=5263.96 cores=0-7
/proc/32467/stat : 32467 (cosoco) S 32464 32467 31955 0 -1 1077944320 18261918 0 0 0 524105 2291 0 0 20 0 2 0 560295837 6847365120 1552894 33554432000 4194304 6211132 140722863886896 140722863885152 139745270619895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
/proc/32467/statm: 1671720 1552894 892 493 0 1665025 0
[pid=32467/tid=32477] ppid=32464 vsize=6686880 memory=6935054825532540783 CPUtime=653.5 cores=0-7
/proc/32467/task/32477/stat : 32477 (cosoco) R 32464 32467 31955 0 -1 4202560 2149933 0 0 0 65145 205 0 0 20 0 2 0 560301643 6847365120 1552894 33554432000 4194304 6211132 140722863886896 139745205512616 139745264524120 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9449472 140722863895569 140722863895661 140722863895661 140722863898574 0
Current children cumulated CPU time: 5263.96 s
Current children cumulated vsize: 6686880 KiB
Current children cumulated memory: 6211576 KiB

[startup+712.409 s]
/proc/loadavg: 7.95 7.49 4.90 2/190 32529
/proc/meminfo: memFree=27696468/32770624 swapFree=67000032/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+712.6 s]
/proc/loadavg: 7.95 7.49 4.90 2/190 32529
/proc/meminfo: memFree=27696468/32770624 swapFree=67000032/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 712.666
CPU time (s): 5264.62
CPU user time (s): 5241.24
CPU system time (s): 23.381
CPU usage (%): 738.722
Max. virtual memory (cumulated for all children) (KiB): 6777016
Max. memory (cumulated for all children) (KiB): 6252508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5241.24
system time used= 23.381
maximum resident set size= 6254708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18262292
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= 40820
involuntary context switches= 40784


# summary of solver processes directly reported to runsolver:
#   pid: 32467
#   total CPU time (s): 5264.62
#   total CPU user time (s): 5241.24
#   total CPU system time (s): 23.381

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.47941 second user time and 6.14414 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-30 11:45:35
IDJOB=4409594
IDBENCH=141269
IDSOLVER=2877
FILE ID=node106/4409594-1569840421
RUNJOBID= node106-1569833606-31982
PBS_JOBID= 21705958
Free space on /tmp= 61932 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-17-0300_c18.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409594-1569840421/watcher-4409594-1569840421 -o /tmp/evaluation-result-4409594-1569840421/solver-4409594-1569840421 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569833606-31982 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409594-1569840421.xml

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
RANDOM SEED=32471643

node106.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.79
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.79
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.79
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.79
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:        31701748 kB
MemAvailable:   31866040 kB
Buffers:          112556 kB
Cached:           378296 kB
SwapCached:         4612 kB
Active:           373044 kB
Inactive:         127056 kB
Active(anon):       3632 kB
Inactive(anon):    82752 kB
Active(file):     369412 kB
Inactive(file):    44304 kB
Unevictable:      109180 kB
Mlocked:          109180 kB
SwapTotal:      67108860 kB
SwapFree:       67000032 kB
Dirty:            104884 kB
Writeback:             0 kB
AnonPages:        114164 kB
Mapped:            27164 kB
Shmem:             68520 kB
Slab:             161200 kB
SReclaimable:     132820 kB
SUnreclaim:        28380 kB
KernelStack:        3680 kB
PageTables:         5056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     531416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 61928 MiB
End job on node106 at 2019-09-30 11:57:27