Trace number 4409894

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 parallel? (TO) 1604.61 252.484

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 benchmark102.117
Satisfiable
(Un)Satisfiability was proved
Number of variables6028
Number of constraints3865
Number of domains51
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":2107},{"size":11,"count":1809},{"size":12,"count":1},{"size":31,"count":40},{"size":33,"count":87},{"size":39,"count":25},{"size":59,"count":10},{"size":64,"count":57},{"size":66,"count":15},{"size":69,"count":34},{"size":70,"count":43},{"size":72,"count":1},{"size":73,"count":50},{"size":74,"count":6},{"size":76,"count":21},{"size":79,"count":26},{"size":82,"count":6},{"size":97,"count":23},{"size":99,"count":8},{"size":101,"count":32},{"size":103,"count":72},{"size":105,"count":85},{"size":107,"count":132},{"size":109,"count":12},{"size":110,"count":53},{"size":113,"count":7},{"size":115,"count":3},{"size":119,"count":40},{"size":130,"count":5},{"size":132,"count":2},{"size":134,"count":32},{"size":136,"count":22},{"size":138,"count":99},{"size":140,"count":66},{"size":143,"count":27},{"size":144,"count":90},{"size":147,"count":132},{"size":151,"count":746}]
Minimum variable degree2
Maximum variable degree1810
Distribution of variable degrees[{"degree":2,"count":5428},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":12},{"degree":6,"count":14},{"degree":7,"count":31},{"degree":8,"count":28},{"degree":9,"count":30},{"degree":10,"count":32},{"degree":11,"count":42},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":59},{"degree":15,"count":85},{"degree":16,"count":118},{"degree":17,"count":63},{"degree":1810,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":247},{"arity":3,"count":1809},{"arity":6,"count":1809}]
Number of extensional constraints1809
Number of intensional constraints2056
Distribution of constraint types[{"type":"extension","count":1809},{"type":"intension","count":2056}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.20/0.30	c
0.20/0.30	c This is cosoco 2.00 --  
0.20/0.30	c
0.20/0.30	c command line: cosoco -model -nbcores=8 HOME/instance-4409894-1569833112.xml 
0.20/0.30	c intension  eq(dist(f[174],f[60]),40) -> extension (support ? 1) - 282tuples
0.20/0.31	c intension -> extension : same as previous
0.20/0.31	c intension -> extension : same as previous
0.20/0.31	c intension -> extension : same as previous
0.20/0.31	c intension  eq(dist(f[196],f[87]),40) -> extension (support ? 1) - 198tuples
0.20/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.33	c intension  eq(dist(f[148],f[31]),40) -> extension (support ? 1) - 118tuples
0.31/0.33	c intension  eq(dist(f[127],f[16]),40) -> extension (support ? 1) - 46tuples
0.31/0.34	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.35	c intension  eq(dist(f[124],f[89]),40) -> extension (support ? 1) - 186tuples
0.31/0.35	c intension  eq(dist(f[211],f[279]),40) -> extension (support ? 1) - 46tuples
0.31/0.36	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.38	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.40	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.41/0.41	c intension -> extension : same as previous
0.41/0.41	c intension -> extension : same as previous
0.41/0.41	c intension -> extension : same as previous
0.41/0.41	c intension  eq(dist(f[170],f[205]),40) -> extension (support ? 1) - 46tuples
0.41/0.42	c intension  eq(dist(f[100],f[228]),40) -> extension (support ? 1) - 42tuples
0.41/0.43	c intension  eq(dist(f[183],f[224]),40) -> extension (support ? 1) - 282tuples
0.41/0.44	c intension  eq(dist(f[15],f[54]),40) -> extension (support ? 1) - 218tuples
0.41/0.44	c intension  eq(dist(f[259],f[83]),40) -> extension (support ? 1) - 46tuples
0.41/0.44	c intension  eq(dist(f[13],f[181]),40) -> extension (support ? 1) - 118tuples
0.41/0.45	c intension  eq(dist(f[261],f[9]),40) -> extension (support ? 1) - 282tuples
0.41/0.45	c intension  eq(dist(f[107],f[203]),40) -> extension (support ? 1) - 126tuples
0.41/0.46	c intension  eq(dist(f[27],f[42]),40) -> extension (support ? 1) - 98tuples
0.41/0.46	c intension  eq(dist(f[29],f[47]),40) -> extension (support ? 1) - 42tuples
0.41/0.47	c intension  eq(dist(f[163],f[206]),40) -> extension (support ? 1) - 282tuples
0.41/0.47	c intension  eq(dist(f[14],f[270]),40) -> extension (support ? 1) - 42tuples
0.41/0.48	c intension  eq(dist(f[12],f[152]),40) -> extension (support ? 1) - 218tuples
0.41/0.48	c intension  eq(dist(f[134],f[285]),40) -> extension (support ? 1) - 190tuples
0.41/0.50	c intension  eq(dist(f[117],f[207]),40) -> extension (support ? 1) - 282tuples
0.41/0.50	c intension -> extension : same as previous
0.41/0.50	c intension -> extension : same as previous
0.41/0.50	c intension  eq(dist(f[11],f[125]),40) -> extension (support ? 1) - 118tuples
0.41/0.51	c intension  eq(dist(f[115],f[93]),40) -> extension (support ? 1) - 282tuples
0.41/0.51	c intension  eq(dist(f[262],f[66]),40) -> extension (support ? 1) - 42tuples
0.51/0.52	c intension  eq(dist(f[178],f[70]),40) -> extension (support ? 1) - 126tuples
0.51/0.53	c intension -> extension : same as previous
0.51/0.53	c intension  eq(dist(f[137],f[225]),40) -> extension (support ? 1) - 282tuples
0.51/0.53	c intension  eq(dist(f[165],f[97]),40) -> extension (support ? 1) - 46tuples
0.51/0.53	c intension  eq(dist(f[237],f[283]),40) -> extension (support ? 1) - 42tuples
0.51/0.54	c intension  eq(dist(f[113],f[38]),40) -> extension (support ? 1) - 282tuples
0.51/0.54	c intension -> extension : same as previous
0.51/0.54	c intension -> extension : same as previous
0.51/0.54	c intension -> extension : same as previous
0.51/0.54	c intension -> extension : same as previous
0.51/0.54	c intension -> extension : same as previous
0.51/0.54	c intension  eq(dist(f[191],f[82]),40) -> extension (support ? 1) - 118tuples
0.51/0.56	c intension  eq(dist(f[57],f[98]),40) -> extension (support ? 1) - 282tuples
0.51/0.57	c intension -> extension : same as previous
0.51/0.57	c intension  eq(dist(f[246],f[254]),40) -> extension (support ? 1) - 218tuples
0.51/0.57	c intension  eq(dist(f[171],f[245]),40) -> extension (support ? 1) - 126tuples
0.51/0.58	c intension  eq(dist(f[133],f[186]),40) -> extension (support ? 1) - 282tuples
0.51/0.58	c intension  eq(dist(f[147],f[182]),40) -> extension (support ? 1) - 118tuples
0.51/0.59	c intension  eq(dist(f[121],f[131]),40) -> extension (support ? 1) - 282tuples
0.51/0.60	c intension -> extension : same as previous
0.51/0.60	c intension -> extension : same as previous
0.51/0.60	c intension  eq(dist(f[146],f[209]),40) -> extension (support ? 1) - 218tuples
0.60/0.62	c intension  eq(dist(f[22],f[297]),40) -> extension (support ? 1) - 282tuples
0.60/0.62	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.64	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.69	c intension  eq(dist(f[159],f[39]),40) -> extension (support ? 1) - 282tuples
0.60/0.69	c intension  eq(dist(f[135],f[84]),40) -> extension (support ? 1) - 46tuples
0.69/0.70	c intension  eq(dist(f[105],f[55]),40) -> extension (support ? 1) - 282tuples
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension  eq(dist(f[194],f[204]),40) -> extension (support ? 1) - 58tuples
0.69/0.71	c intension  eq(dist(f[187],f[50]),40) -> extension (support ? 1) - 198tuples
0.69/0.71	c intension  eq(dist(f[233],f[80]),40) -> extension (support ? 1) - 126tuples
0.69/0.72	c intension  eq(dist(f[222],f[231]),40) -> extension (support ? 1) - 282tuples
0.69/0.73	c intension  eq(dist(f[229],f[2]),40) -> extension (support ? 1) - 190tuples
0.69/0.74	c intension  eq(dist(f[175],f[197]),40) -> extension (support ? 1) - 218tuples
0.69/0.74	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.76	c intension  eq(dist(f[193],f[85]),40) -> extension (support ? 1) - 46tuples
0.69/0.77	c intension  eq(dist(f[0],f[41]),40) -> extension (support ? 1) - 282tuples
0.69/0.77	c intension -> extension : same as previous
0.69/0.77	c intension  eq(dist(f[23],f[75]),40) -> extension (support ? 1) - 46tuples
0.69/0.78	c intension  eq(dist(f[26],f[286]),40) -> extension (support ? 1) - 282tuples
0.69/0.78	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.80/0.80	c intension  eq(dist(f[120],f[68]),40) -> extension (support ? 1) - 282tuples
0.80/0.80	c intension -> extension : same as previous
0.80/0.80	c intension -> extension : same as previous
0.80/0.80	c intension -> extension : same as previous
0.80/0.80	c intension -> extension : same as previous
0.80/0.80	c intension  eq(dist(f[164],f[255]),40) -> extension (support ? 1) - 46tuples
0.80/0.81	c intension  eq(dist(f[1],f[260]),40) -> extension (support ? 1) - 282tuples
0.80/0.81	c intension -> extension : same as previous
0.80/0.81	c intension  eq(dist(f[208],f[241]),40) -> extension (support ? 1) - 42tuples
0.80/0.81	c intension  eq(dist(f[158],f[28]),40) -> extension (support ? 1) - 126tuples
0.80/0.83	c intension  eq(dist(f[188],f[58]),40) -> extension (support ? 1) - 282tuples
0.80/0.83	c intension -> extension : same as previous
0.80/0.83	c intension  eq(dist(f[10],f[126]),40) -> extension (support ? 1) - 186tuples
0.80/0.84	c intension  eq(dist(f[116],f[48]),40) -> extension (support ? 1) - 126tuples
0.80/0.84	c intension  eq(dist(f[172],f[212]),40) -> extension (support ? 1) - 118tuples
0.80/0.84	c intension  eq(dist(f[235],f[44]),40) -> extension (support ? 1) - 42tuples
0.80/0.85	c intension  eq(dist(f[239],f[257]),40) -> extension (support ? 1) - 282tuples
0.80/0.85	c intension  eq(dist(f[142],f[156]),40) -> extension (support ? 1) - 46tuples
0.80/0.85	c intension  eq(dist(f[102],f[189]),40) -> extension (support ? 1) - 58tuples
0.80/0.87	c intension  eq(dist(f[128],f[45]),40) -> extension (support ? 1) - 282tuples
0.80/0.87	c intension -> extension : same as previous
0.80/0.87	c intension  eq(dist(f[3],f[88]),40) -> extension (support ? 1) - 118tuples
0.80/0.88	c intension  eq(dist(f[110],f[275]),40) -> extension (support ? 1) - 282tuples
0.80/0.89	c intension  eq(dist(f[220],f[281]),40) -> extension (support ? 1) - 126tuples
0.80/0.89	c intension  eq(dist(f[114],f[267]),40) -> extension (support ? 1) - 218tuples
0.89/0.90	c intension  eq(dist(f[200],f[256]),40) -> extension (support ? 1) - 282tuples
0.89/0.91	c intension -> extension : same as previous
0.89/0.91	c intension  eq(dist(f[109],f[173]),40) -> extension (support ? 1) - 98tuples
0.89/0.92	c intension  eq(dist(f[140],f[292]),40) -> extension (support ? 1) - 282tuples
0.89/0.92	c intension  eq(dist(f[18],f[221]),40) -> extension (support ? 1) - 126tuples
0.89/0.93	c intension  eq(dist(f[144],f[277]),40) -> extension (support ? 1) - 282tuples
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension  eq(dist(f[210],f[299]),40) -> extension (support ? 1) - 58tuples
0.89/0.94	c intension  eq(dist(f[101],f[106]),40) -> extension (support ? 1) - 126tuples
0.89/0.95	c intension  eq(dist(f[104],f[73]),40) -> extension (support ? 1) - 218tuples
0.89/0.95	c intension  eq(dist(f[273],f[43]),40) -> extension (support ? 1) - 186tuples
0.89/0.96	c intension  eq(dist(f[280],f[5]),40) -> extension (support ? 1) - 282tuples
0.89/0.96	c intension -> extension : same as previous
0.89/0.96	c intension -> extension : same as previous
0.89/0.96	c intension  eq(dist(f[248],f[49]),40) -> extension (support ? 1) - 46tuples
0.89/0.97	c intension  eq(dist(f[240],f[284]),40) -> extension (support ? 1) - 42tuples
0.89/0.97	c intension  eq(dist(f[145],f[81]),40) -> extension (support ? 1) - 126tuples
0.89/0.98	c intension  eq(dist(f[227],f[253]),40) -> extension (support ? 1) - 282tuples
0.89/0.99	c intension  eq(dist(f[269],f[32]),40) -> extension (support ? 1) - 190tuples
0.89/0.99	c intension  eq(dist(f[103],f[216]),40) -> extension (support ? 1) - 42tuples
0.89/0.99	c intension  eq(dist(f[132],f[7]),40) -> extension (support ? 1) - 98tuples
0.89/1.00	c intension  eq(dist(f[34],f[69]),40) -> extension (support ? 1) - 282tuples
1.00/1.01	c intension -> extension : same as previous
1.00/1.01	c intension -> extension : same as previous
1.00/1.01	c intension  eq(dist(f[33],f[4]),40) -> extension (support ? 1) - 186tuples
1.00/1.02	c intension -> extension : same as previous
1.00/1.02	c intension  ne(dist(f[225],f[25]),2) -> extension (support ? 0) - 0tuples
1.00/1.02	c intension  ne(dist(f[178],f[285]),465) -> extension (support ? 0) - 0tuples
1.00/1.02	c intension  ne(dist(f[281],f[6]),18) -> extension (support ? 0) - 0tuples
1.00/1.03	c intension  ne(dist(f[14],f[236]),86) -> extension (support ? 0) - 0tuples
1.00/1.03	c intension  ne(dist(f[10],f[270]),112) -> extension (support ? 0) - 36tuples
1.00/1.04	c intension  ne(dist(f[195],f[290]),202) -> extension (support ? 0) - 0tuples
1.00/1.05	c intension  ne(dist(f[131],f[238]),91) -> extension (support ? 0) - 0tuples
1.00/1.05	c intension  ne(dist(f[100],f[137]),105) -> extension (support ? 0) - 0tuples
1.00/1.06	c intension  ne(dist(f[11],f[159]),11) -> extension (support ? 0) - 0tuples
1.00/1.07	c intension  ne(dist(f[184],f[260]),119) -> extension (support ? 0) - 0tuples
1.00/1.08	c intension  ne(dist(f[195],f[36]),99) -> extension (support ? 0) - 0tuples
1.00/1.08	c intension  ne(dist(f[246],f[31]),127) -> extension (support ? 0) - 0tuples
1.00/1.09	c intension  ne(dist(f[37],f[71]),167) -> extension (support ? 0) - 0tuples
1.00/1.10	c intension  ne(dist(f[22],f[253]),59) -> extension (support ? 0) - 0tuples
1.00/1.10	c intension  ne(dist(f[11],f[281]),18) -> extension (support ? 0) - 0tuples
1.10/1.11	c intension  ne(dist(f[125],f[161]),95) -> extension (support ? 0) - 0tuples
1.10/1.11	c intension  ne(dist(f[120],f[189]),76) -> extension (support ? 0) - 78tuples
1.10/1.11	c intension  ne(dist(f[142],f[241]),25) -> extension (support ? 0) - 0tuples
1.10/1.11	c intension  ne(dist(f[175],f[283]),7) -> extension (support ? 0) - 0tuples
1.10/1.12	c intension  ne(dist(f[151],f[289]),164) -> extension (support ? 0) - 220tuples
1.10/1.14	c intension  ne(dist(f[214],f[41]),89) -> extension (support ? 0) - 0tuples
1.10/1.14	c intension  ne(dist(f[119],f[80]),65) -> extension (support ? 0) - 0tuples
1.10/1.14	c intension  ne(dist(f[269],f[87]),104) -> extension (support ? 0) - 161tuples
1.10/1.15	c intension  ne(dist(f[151],f[209]),52) -> extension (support ? 0) - 229tuples
1.10/1.16	c intension  ne(dist(f[15],f[196]),413) -> extension (support ? 0) - 0tuples
1.10/1.17	c intension  ne(dist(f[0],f[60]),22) -> extension (support ? 0) - 0tuples
1.10/1.18	c intension  ne(dist(f[213],f[298]),18) -> extension (support ? 0) - 0tuples
1.10/1.18	c intension  ne(dist(f[248],f[37]),66) -> extension (support ? 0) - 0tuples
1.10/1.19	c intension  ne(dist(f[43],f[58]),247) -> extension (support ? 0) - 0tuples
1.10/1.19	c intension  ne(dist(f[276],f[78]),160) -> extension (support ? 0) - 66tuples
1.19/1.21	c intension  ne(dist(f[159],f[253]),132) -> extension (support ? 0) - 236tuples
1.19/1.21	c intension  ne(dist(f[49],f[70]),112) -> extension (support ? 0) - 47tuples
1.19/1.22	c intension  ne(dist(f[133],f[98]),68) -> extension (support ? 0) - 268tuples
1.19/1.23	c intension  ne(dist(f[112],f[196]),21) -> extension (support ? 0) - 0tuples
1.19/1.23	c intension  ne(dist(f[119],f[218]),37) -> extension (support ? 0) - 0tuples
1.19/1.24	c intension  ne(dist(f[272],f[54]),460) -> extension (support ? 0) - 40tuples
1.19/1.25	c intension  ne(dist(f[34],f[9]),503) -> extension (support ? 0) - 0tuples
1.19/1.25	c intension  ne(dist(f[153],f[256]),8) -> extension (support ? 0) - 62tuples
1.19/1.26	c intension  ne(dist(f[21],f[254]),28) -> extension (support ? 0) - 116tuples
1.19/1.26	c intension  ne(dist(f[118],f[150]),245) -> extension (support ? 0) - 0tuples
1.19/1.27	c intension  ne(dist(f[249],f[297]),91) -> extension (support ? 0) - 0tuples
1.19/1.27	c intension  ne(dist(f[132],f[30]),61) -> extension (support ? 0) - 0tuples
1.19/1.28	c intension  ne(dist(f[261],f[79]),53) -> extension (support ? 0) - 0tuples
1.19/1.29	c intension  ne(dist(f[175],f[30]),6) -> extension (support ? 0) - 0tuples
1.29/1.30	c intension  ne(dist(f[238],f[7]),180) -> extension (support ? 0) - 80tuples
1.29/1.31	c intension  ne(dist(f[261],f[35]),346) -> extension (support ? 0) - 0tuples
1.29/1.31	c intension  ne(dist(f[211],f[65]),148) -> extension (support ? 0) - 33tuples
1.29/1.31	c intension  ne(dist(f[13],f[62]),16) -> extension (support ? 0) - 61tuples
1.29/1.32	c intension  ne(dist(f[137],f[88]),17) -> extension (support ? 0) - 0tuples
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.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.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.29/1.33	c AllEqual constraint using 1 generic x=y constraints 
1.39/1.48	c intension  eq(dist(f[160],f[8]),d[113]) -> extension (support ? 1) - 1521tuples
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension  eq(dist(f[14],f[66]),d[164]) -> extension (support ? 1) - 961tuples
1.49/1.57	c intension  eq(dist(f[14],f[76]),d[166]) -> extension (support ? 1) - 961tuples
1.59/1.62	c intension  eq(dist(f[14],f[194]),d[171]) -> extension (support ? 1) - 1209tuples
1.59/1.68	c intension  eq(dist(f[14],f[299]),d[176]) -> extension (support ? 1) - 1209tuples
1.69/1.71	c intension  eq(dist(f[16],f[49]),d[184]) -> extension (support ? 1) - 1089tuples
1.69/1.78	c intension  eq(dist(f[16],f[204]),d[190]) -> extension (support ? 1) - 1287tuples
1.79/1.81	c intension  eq(dist(f[16],f[211]),d[192]) -> extension (support ? 1) - 1089tuples
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension  eq(dist(f[16],f[276]),d[195]) -> extension (support ? 1) - 1089tuples
1.90/1.97	c intension  eq(dist(f[130],f[25]),d[304]) -> extension (support ? 1) - 1209tuples
1.99/2.02	c intension  eq(dist(f[202],f[25]),d[306]) -> extension (support ? 1) - 1521tuples
1.99/2.08	c intension  eq(dist(f[211],f[25]),d[307]) -> extension (support ? 1) - 1287tuples
2.10/2.14	c intension  eq(dist(f[235],f[25]),d[309]) -> extension (support ? 1) - 1209tuples
2.10/2.18	c intension -> extension : same as previous
2.10/2.18	c intension  eq(dist(f[25],f[299]),d[313]) -> extension (support ? 1) - 1521tuples
2.20/2.23	c intension  eq(dist(f[100],f[29]),d[348]) -> extension (support ? 1) - 961tuples
2.39/2.41	c intension  eq(dist(f[189],f[44]),d[519]) -> extension (support ? 1) - 1209tuples
2.39/2.43	c intension  eq(dist(f[208],f[44]),d[520]) -> extension (support ? 1) - 961tuples
2.39/2.46	c intension -> extension : same as previous
2.39/2.46	c intension  eq(dist(f[284],f[44]),d[523]) -> extension (support ? 1) - 961tuples
2.49/2.50	c intension  eq(dist(f[130],f[47]),d[549]) -> extension (support ? 1) - 961tuples
2.49/2.52	c intension  eq(dist(f[262],f[47]),d[552]) -> extension (support ? 1) - 961tuples
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension  eq(dist(f[49],f[62]),d[563]) -> extension (support ? 1) - 1089tuples
2.49/2.59	c intension  eq(dist(f[49],f[75]),d[565]) -> extension (support ? 1) - 1089tuples
2.59/2.62	c intension  eq(dist(f[211],f[49]),d[569]) -> extension (support ? 1) - 1089tuples
2.69/2.70	c intension  eq(dist(f[53],f[76]),d[612]) -> extension (support ? 1) - 1209tuples
2.69/2.77	c intension  eq(dist(f[53],f[84]),d[614]) -> extension (support ? 1) - 1287tuples
2.79/2.81	c intension  eq(dist(f[202],f[53]),d[619]) -> extension (support ? 1) - 1521tuples
2.89/2.93	c intension -> extension : same as previous
2.89/2.93	c intension  eq(dist(f[62],f[64]),d[696]) -> extension (support ? 1) - 1287tuples
2.89/2.99	c intension  eq(dist(f[204],f[62]),d[702]) -> extension (support ? 1) - 1287tuples
3.00/3.02	c intension  eq(dist(f[235],f[62]),d[703]) -> extension (support ? 1) - 1023tuples
3.00/3.07	c intension  eq(dist(f[102],f[64]),d[707]) -> extension (support ? 1) - 1521tuples
3.10/3.13	c intension  eq(dist(f[249],f[64]),d[710]) -> extension (support ? 1) - 1287tuples
3.10/3.17	c intension  eq(dist(f[129],f[66]),d[725]) -> extension (support ? 1) - 1023tuples
3.10/3.19	c intension  eq(dist(f[228],f[66]),d[728]) -> extension (support ? 1) - 961tuples
3.19/3.26	c intension  eq(dist(f[168],f[75]),d[783]) -> extension (support ? 1) - 1089tuples
3.19/3.29	c intension  eq(dist(f[259],f[75]),d[785]) -> extension (support ? 1) - 1089tuples
3.29/3.32	c intension  eq(dist(f[279],f[75]),d[787]) -> extension (support ? 1) - 1089tuples
3.29/3.34	c intension  eq(dist(f[76],f[83]),d[788]) -> extension (support ? 1) - 1023tuples
3.29/3.37	c intension  eq(dist(f[130],f[76]),d[791]) -> extension (support ? 1) - 961tuples
3.29/3.39	c intension  eq(dist(f[165],f[76]),d[794]) -> extension (support ? 1) - 1023tuples
3.40/3.42	c intension -> extension : same as previous
3.40/3.42	c intension  eq(dist(f[262],f[76]),d[797]) -> extension (support ? 1) - 961tuples
3.40/3.49	c intension  eq(dist(f[228],f[83]),d[865]) -> extension (support ? 1) - 1023tuples
3.50/3.52	c intension  eq(dist(f[248],f[83]),d[866]) -> extension (support ? 1) - 1089tuples
3.50/3.55	c intension  eq(dist(f[262],f[83]),d[867]) -> extension (support ? 1) - 1023tuples
3.50/3.57	c intension -> extension : same as previous
3.50/3.57	c intension  eq(dist(f[84],f[85]),d[869]) -> extension (support ? 1) - 1089tuples
3.59/3.60	c intension -> extension : same as previous
3.59/3.60	c intension  eq(dist(f[255],f[84]),d[872]) -> extension (support ? 1) - 1089tuples
3.59/3.63	c intension  eq(dist(f[103],f[85]),d[873]) -> extension (support ? 1) - 1023tuples
3.59/3.69	c intension  eq(dist(f[160],f[85]),d[875]) -> extension (support ? 1) - 1287tuples
3.79/3.80	c intension  eq(dist(f[135],f[97]),d[987]) -> extension (support ? 1) - 1089tuples
3.79/3.83	c intension  eq(dist(f[164],f[97]),d[989]) -> extension (support ? 1) - 1089tuples
3.79/3.87	c intension -> extension : same as previous
3.79/3.87	c intension -> extension : same as previous
3.79/3.87	c intension -> extension : same as previous
3.79/3.87	c intension  eq(dist(f[100],f[127]),d[1011]) -> extension (support ? 1) - 1023tuples
3.79/3.89	c intension -> extension : same as previous
3.79/3.89	c intension  eq(dist(f[100],f[199]),d[1014]) -> extension (support ? 1) - 1023tuples
3.89/3.94	c intension  eq(dist(f[102],f[194]),d[1025]) -> extension (support ? 1) - 1521tuples
3.89/3.99	c intension  eq(dist(f[102],f[204]),d[1028]) -> extension (support ? 1) - 1521tuples
4.00/4.05	c intension  eq(dist(f[102],f[262]),d[1031]) -> extension (support ? 1) - 1209tuples
4.00/4.09	c intension -> extension : same as previous
4.00/4.09	c intension  eq(dist(f[102],f[299]),d[1034]) -> extension (support ? 1) - 1521tuples
4.10/4.12	c intension  eq(dist(f[103],f[130]),d[1036]) -> extension (support ? 1) - 961tuples
4.10/4.14	c intension  eq(dist(f[103],f[205]),d[1039]) -> extension (support ? 1) - 1023tuples
4.10/4.17	c intension  eq(dist(f[103],f[235]),d[1040]) -> extension (support ? 1) - 961tuples
4.10/4.19	c intension  eq(dist(f[103],f[255]),d[1041]) -> extension (support ? 1) - 1023tuples
4.19/4.24	c intension  eq(dist(f[108],f[135]),d[1073]) -> extension (support ? 1) - 1023tuples
4.29/4.36	c intension  eq(dist(f[119],f[283]),d[1155]) -> extension (support ? 1) - 1209tuples
4.39/4.46	c intension  eq(dist(f[127],f[160]),d[1211]) -> extension (support ? 1) - 1287tuples
4.39/4.48	c intension  eq(dist(f[127],f[237]),d[1213]) -> extension (support ? 1) - 1023tuples
4.49/4.51	c intension  eq(dist(f[127],f[247]),d[1214]) -> extension (support ? 1) - 1089tuples
4.49/4.58	c intension -> extension : same as previous
4.49/4.58	c intension  eq(dist(f[129],f[294]),d[1230]) -> extension (support ? 1) - 1287tuples
4.59/4.64	c intension  eq(dist(f[130],f[160]),d[1232]) -> extension (support ? 1) - 1209tuples
4.59/4.69	c intension  eq(dist(f[135],f[164]),d[1263]) -> extension (support ? 1) - 1089tuples
4.68/4.76	c intension  eq(dist(f[135],f[210]),d[1265]) -> extension (support ? 1) - 1287tuples
4.78/4.82	c intension  eq(dist(f[135],f[294]),d[1269]) -> extension (support ? 1) - 1287tuples
4.88/4.94	c intension  eq(dist(f[153],f[189]),d[1365]) -> extension (support ? 1) - 1209tuples
4.88/4.98	c intension  eq(dist(f[156],f[247]),d[1384]) -> extension (support ? 1) - 1089tuples
4.99/5.06	c intension -> extension : same as previous
4.99/5.06	c intension  eq(dist(f[160],f[170]),d[1405]) -> extension (support ? 1) - 1287tuples
4.99/5.10	c intension  eq(dist(f[164],f[179]),d[1425]) -> extension (support ? 1) - 1089tuples
5.09/5.17	c intension  eq(dist(f[164],f[202]),d[1428]) -> extension (support ? 1) - 1287tuples
5.09/5.19	c intension  eq(dist(f[164],f[211]),d[1429]) -> extension (support ? 1) - 1089tuples
5.18/5.22	c intension  eq(dist(f[164],f[228]),d[1431]) -> extension (support ? 1) - 1023tuples
5.18/5.27	c intension  eq(dist(f[170],f[284]),d[1468]) -> extension (support ? 1) - 1023tuples
5.28/5.33	c intension  eq(dist(f[170],f[294]),d[1470]) -> extension (support ? 1) - 1287tuples
5.28/5.39	c intension  eq(dist(f[179],f[193]),d[1513]) -> extension (support ? 1) - 1089tuples
5.38/5.42	c intension  eq(dist(f[179],f[237]),d[1514]) -> extension (support ? 1) - 1023tuples
5.38/5.44	c intension  eq(dist(f[179],f[270]),d[1517]) -> extension (support ? 1) - 1023tuples
5.49/5.51	c intension  eq(dist(f[179],f[294]),d[1518]) -> extension (support ? 1) - 1287tuples
5.49/5.57	c intension  eq(dist(f[193],f[255]),d[1575]) -> extension (support ? 1) - 1089tuples
5.59/5.63	c intension  eq(dist(f[194],f[237]),d[1578]) -> extension (support ? 1) - 1209tuples
5.59/5.67	c intension  eq(dist(f[199],f[255]),d[1599]) -> extension (support ? 1) - 1089tuples
5.68/5.70	c intension  eq(dist(f[199],f[262]),d[1600]) -> extension (support ? 1) - 1023tuples
5.68/5.76	c intension  eq(dist(f[202],f[262]),d[1608]) -> extension (support ? 1) - 1209tuples
5.78/5.81	c intension  eq(dist(f[204],f[294]),d[1618]) -> extension (support ? 1) - 1521tuples
5.78/5.84	c intension  eq(dist(f[205],f[249]),d[1619]) -> extension (support ? 1) - 1089tuples
5.78/5.86	c intension  eq(dist(f[205],f[259]),d[1621]) -> extension (support ? 1) - 1089tuples
5.88/5.93	c intension  eq(dist(f[208],f[299]),d[1636]) -> extension (support ? 1) - 1209tuples
5.88/5.96	c intension  eq(dist(f[211],f[240]),d[1643]) -> extension (support ? 1) - 1023tuples
5.88/5.99	c intension  eq(dist(f[216],f[237]),d[1658]) -> extension (support ? 1) - 961tuples
5.99/6.02	c intension  eq(dist(f[216],f[276]),d[1659]) -> extension (support ? 1) - 1023tuples
5.99/6.07	c intension  eq(dist(f[228],f[241]),d[1699]) -> extension (support ? 1) - 961tuples
6.09/6.11	c intension  eq(dist(f[237],f[241]),d[1721]) -> extension (support ? 1) - 961tuples
6.09/6.16	c intension  eq(dist(f[247],f[279]),d[1750]) -> extension (support ? 1) - 1089tuples
6.09/6.18	c intension  eq(dist(f[247],f[283]),d[1751]) -> extension (support ? 1) - 1023tuples
6.19/6.21	c intension  eq(dist(f[248],f[249]),d[1752]) -> extension (support ? 1) - 1089tuples
6.19/6.28	c intension  eq(dist(f[262],f[299]),d[1777]) -> extension (support ? 1) - 1209tuples
1604.04/252.02	c enable optimization
1604.04/252.02	c ========================================[ Problem Statistics ]===========================================
1604.04/252.02	c |                                                                                                       
1604.04/252.02	c |  Parse time        :        56.61 s 
1604.04/252.02	c |
1604.04/252.02	c |               Variables: 6028
1604.04/252.02	c |            Domain Sizes: 1..151
1604.04/252.02	c |
1604.04/252.02	c |             Constraints: 3866
1604.04/252.02	c |                   Arity: 2..3619  -- Binary: 247  -- Ternary: 1809
1604.04/252.02	c | 
1604.04/252.02	c |                   Types: 
1604.04/252.02	c |                          (X != Y): 22
1604.04/252.02	c |                          (X = Y): 26
1604.04/252.02	c |                          Extension: 2125  (nb tuples: 0..7220) -- (shared: 424)
1604.04/252.02	c |                          Intension: 1692
1604.04/252.02	c |                          Sum: 1
1604.04/252.02	c |                          
1604.04/252.02	c |               Objective: Minimize Sum
1604.04/252.02	
1604.04/252.02	c =========================================================================================================
1604.04/252.02	c Parallel mode: Portfolio
1604.04/252.02	c [pFactory][Group N°0] created (threads:8).
1604.04/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
1604.04/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
1604.04/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
1604.04/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
1604.04/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
1604.04/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
1604.04/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
1604.04/252.02	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
1604.04/252.02	c [pFactory][Group N°0] concurrent mode: enabled.
1604.04/252.02	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
1604.04/252.02	c [pFactory][Group N°0] task 7 launched on thread 3.
1604.04/252.02	c [pFactory][Group N°0] task 6 launched on thread 0.
1604.04/252.02	c [pFactory][Group N°0] task 5 launched on thread 1.
1604.04/252.02	c [pFactory][Group N°0] task 4 launched on thread 5.
1604.04/252.02	c [pFactory][Group N°0] task 3 launched on thread 4.
1604.04/252.02	c [pFactory][Group N°0] task 2 launched on thread 2.
1604.04/252.02	c [pFactory][Group N°0] task 1 launched on thread 7.
1604.04/252.02	c [pFactory][Group N°0] task 0 launched on thread 6.
1604.04/252.02	
1604.04/252.02	c *** INTERRUPTED ***
1604.04/252.02	c call to solver        : 0
1604.04/252.02	c
1604.04/252.02	c restarts              : 650         
1604.04/252.02	c conflicts             : 1893         (1 /sec)
1604.04/252.02	c decisions             : 81328        (51 /sec)
1604.04/252.02	c propagations          : 5586652     (3524 /sec)
1604.04/252.02	c root propagations     : 15112       
1604.04/252.02	c filter calls          : 1752914        (1106 /sec)
1604.04/252.02	c useless filter calls  : 1302106        (74 %)
1604.04/252.02	c Memory used           : 5898.16 MB
1604.04/252.02	c Best bound time (wc)  : -1.56983e+09 s
1604.04/252.02	c CPU time              : 1585.45 s
1604.04/252.02	c real time             : 252.019 s
1604.04/252.02	
1604.04/252.02	c No Bound found!
1604.04/252.02	
1604.04/252.02	s UNKNOWN

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409894-1569833112/watcher-4409894-1569833112 -o /tmp/evaluation-result-4409894-1569833112/solver-4409894-1569833112 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569817277-6491 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409894-1569833112.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=9520, runsolver pid=9517
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 6.80 7.58 7.08 2/193 9521
/proc/meminfo: memFree=28826280/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=73620 memory=49632 CPUtime=0.1 cores=0-7
/proc/9520/stat : 9520 (cosoco) R 9517 9520 6464 0 -1 4202496 12594 0 0 0 9 1 0 0 20 0 1 0 559582504 75386880 12408 33554432000 4194304 6211132 140720906179136 140720906175672 139668901522405 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 18405 12408 755 493 0 11710 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73620 KiB
Current children cumulated memory: 49632 KiB

[startup+0.209368 s]*
/proc/loadavg: 6.80 7.58 7.08 2/193 9521
/proc/meminfo: memFree=28766388/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=133612 memory=109488 CPUtime=0.2 cores=0-7
/proc/9520/stat : 9520 (cosoco) R 9517 9520 6464 0 -1 4202496 27588 0 0 0 17 3 0 0 20 0 1 0 559582504 136818688 27372 33554432000 4194304 6211132 140720906179136 140720906175672 139668901522405 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 33403 27372 755 493 0 26708 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 133612 KiB
Current children cumulated memory: 109488 KiB

[startup+0.309389 s]*
/proc/loadavg: 6.80 7.58 7.08 2/193 9521
/proc/meminfo: memFree=28722120/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=173612 memory=149968 CPUtime=0.31 cores=0-7
/proc/9520/stat : 9520 (cosoco) R 9517 9520 6464 0 -1 4202496 37748 0 0 0 26 5 0 0 20 0 1 0 559582504 177778688 37492 33554432000 4194304 6211132 140720906179136 140720906175672 5012856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 43403 37492 826 493 0 36708 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 173612 KiB
Current children cumulated memory: 149968 KiB

[startup+0.70033 s]
/proc/loadavg: 6.80 7.58 7.08 2/193 9521
/proc/meminfo: memFree=28710960/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=195000 memory=171088 CPUtime=0.69 cores=0-7
/proc/9520/stat : 9520 (cosoco) R 9517 9520 6464 0 -1 4202496 43061 0 0 0 64 5 0 0 20 0 1 0 559582504 199680000 42772 33554432000 4194304 6211132 140720906179136 140720906174632 5012856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 48750 42772 826 493 0 42055 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 195000 KiB
Current children cumulated memory: 171088 KiB

[startup+1.50037 s]
/proc/loadavg: 6.80 7.58 7.08 2/193 9521
/proc/meminfo: memFree=28682592/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=295168 memory=271468 CPUtime=1.49 cores=0-7
/proc/9520/stat : 9520 (cosoco) R 9517 9520 6464 0 -1 4202496 71043 0 0 0 140 9 0 0 20 0 1 0 559582504 302252032 67867 33554432000 4194304 6211132 140720906179136 140720906174632 139668901522405 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 73792 67867 835 493 0 67097 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 295168 KiB
Current children cumulated memory: 271468 KiB

[startup+3.10929 s]
/proc/loadavg: 6.80 7.58 7.08 2/193 9521
/proc/meminfo: memFree=28334896/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=561524 memory=537736 CPUtime=3.1 cores=0-7
/proc/9520/stat : 9520 (cosoco) R 9517 9520 6464 0 -1 4202496 144950 0 0 0 292 18 0 0 20 0 1 0 559582504 575000576 134434 33554432000 4194304 6211132 140720906179136 140720906174632 5012856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 140381 134434 835 493 0 133686 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 561524 KiB
Current children cumulated memory: 537736 KiB

[startup+6.30033 s]
/proc/loadavg: 6.42 7.49 7.06 2/193 9521
/proc/meminfo: memFree=27900152/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=1054676 memory=1031072 CPUtime=6.29 cores=0-7
/proc/9520/stat : 9520 (cosoco) R 9517 9520 6464 0 -1 4202496 279542 0 0 0 594 35 0 0 20 0 1 0 559582504 1079988224 257768 33554432000 4194304 6211132 140720906179136 140720906174632 139668901522405 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 263669 257768 835 493 0 256974 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1054676 KiB
Current children cumulated memory: 1031072 KiB

[startup+12.7003 s]
/proc/loadavg: 5.98 7.38 7.02 2/193 9521
/proc/meminfo: memFree=27508436/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=1439336 memory=1402396 CPUtime=12.68 cores=0-7
/proc/9520/stat : 9520 (cosoco) R 9517 9520 6464 0 -1 4202496 381778 0 0 0 1222 46 0 0 20 0 1 0 559582504 1473880064 350599 33554432000 4194304 6211132 140720906179136 140720906176408 139668917585024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 359834 350599 840 493 0 353139 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 1439336 KiB
Current children cumulated memory: 1402396 KiB

[startup+25.5003 s]
/proc/loadavg: 4.88 7.06 6.93 2/194 9523
/proc/meminfo: memFree=26760288/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=2203152 memory=2135860 CPUtime=25.47 cores=0-7
/proc/9520/stat : 9520 (cosoco) R 9517 9520 6464 0 -1 4202496 578482 0 0 0 2477 70 0 0 20 0 1 0 559582504 2256027648 533965 33554432000 4194304 6211132 140720906179136 140720906174792 5743398 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 550788 533965 840 493 0 544093 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 2203152 KiB
Current children cumulated memory: 2135860 KiB

[startup+51.1093 s]
/proc/loadavg: 3.56 6.58 6.77 2/191 9524
/proc/meminfo: memFree=25252952/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=3746520 memory=3620536 CPUtime=51.08 cores=0-7
/proc/9520/stat : 9520 (cosoco) R 9517 9520 6464 0 -1 4202496 959357 0 0 0 4986 122 0 0 20 0 1 0 559582504 3836436480 905134 33554432000 4194304 6211132 140720906179136 140720906174792 5814093 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 936630 905134 840 493 0 929935 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 3746520 KiB
Current children cumulated memory: 3620536 KiB

[startup+102.301 s]
/proc/loadavg: 6.21 6.81 6.84 9/199 9534
/proc/meminfo: memFree=23731968/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=5580964 memory=5134136 CPUtime=409.02 cores=0-7
/proc/9520/stat : 9520 (cosoco) S 9517 9520 6464 0 -1 1077944320 7887325 0 0 0 39678 1224 0 0 20 0 9 0 559582504 5714907136 1283534 33554432000 4194304 6211132 140720906179136 140720906177392 139668917563127 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 1395241 1283534 887 493 0 1388546 0
[pid=9520/tid=9525] ppid=9517 vsize=5580964 memory=5086132 CPUtime=43.92 cores=0-7
/proc/9520/task/9525/stat : 9525 (cosoco) R 9517 9520 6464 0 -1 4202560 765016 0 0 0 4259 133 0 0 20 0 9 0 559588327 5714907136 1283534 33554432000 4194304 6211132 140720906179136 139668894419528 5479702 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9526] ppid=9517 vsize=5580964 memory=164 CPUtime=43.63 cores=0-7
/proc/9520/task/9526/stat : 9526 (cosoco) R 9517 9520 6464 0 -1 4202560 704856 0 0 0 4193 170 0 0 20 0 9 0 559588327 5714907136 1283534 33554432000 4194304 6211132 140720906179136 139668886026776 5455682 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9527] ppid=9517 vsize=5580964 memory=4371 CPUtime=43.93 cores=0-7
/proc/9520/task/9527/stat : 9527 (cosoco) R 9517 9520 6464 0 -1 4202560 801741 0 0 0 4251 142 0 0 20 0 9 0 559588327 5714907136 1283534 33554432000 4194304 6211132 140720906179136 139668877634072 5396704 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9528] ppid=9517 vsize=5580964 memory=5107424 CPUtime=43.9 cores=0-7
/proc/9520/task/9528/stat : 9528 (cosoco) R 9517 9520 6464 0 -1 4202560 791563 0 0 0 4290 100 0 0 20 0 9 0 559588327 5714907136 1283534 33554432000 4194304 6211132 140720906179136 139668869241256 5009164 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9529] ppid=9517 vsize=5580964 memory=5002860 CPUtime=43.79 cores=0-7
/proc/9520/task/9529/stat : 9529 (cosoco) R 9517 9520 6464 0 -1 4202560 860038 0 0 0 4175 204 0 0 20 0 9 0 559588327 5714907136 1283534 33554432000 4194304 6211132 140720906179136 139668860848712 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9530] ppid=9517 vsize=5580964 memory=4866004 CPUtime=43.84 cores=0-7
/proc/9520/task/9530/stat : 9530 (cosoco) R 9517 9520 6464 0 -1 4202560 797332 0 0 0 4298 86 0 0 20 0 9 0 559588327 5714907136 1283534 33554432000 4194304 6211132 140720906179136 139668852455960 139668902446646 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9531] ppid=9517 vsize=5580964 memory=279605995002742 CPUtime=43.83 cores=0-7
/proc/9520/task/9531/stat : 9531 (cosoco) R 9517 9520 6464 0 -1 4202560 879699 0 0 0 4322 61 0 0 20 0 9 0 559588327 5714907136 1283534 33554432000 4194304 6211132 140720906179136 139668844063144 5250256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9532] ppid=9517 vsize=5580964 memory=984 CPUtime=43.9 cores=0-7
/proc/9520/task/9532/stat : 9532 (cosoco) R 9517 9520 6464 0 -1 4202560 850353 0 0 0 4225 165 0 0 20 0 9 0 559588327 5714907136 1283534 33554432000 4194304 6211132 140720906179136 139668835670440 5451653 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
Current children cumulated CPU time: 409.02 s
Current children cumulated vsize: 5580964 KiB
Current children cumulated memory: 5134136 KiB

[startup+162.301 s]
/proc/loadavg: 7.77 7.14 6.95 9/199 9539
/proc/meminfo: memFree=23576608/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=5712036 memory=5287480 CPUtime=887.87 cores=0-7
/proc/9520/stat : 9520 (cosoco) S 9517 9520 6464 0 -1 1077944320 11728137 0 0 0 87171 1616 0 0 20 0 9 0 559582504 5849124864 1321870 33554432000 4194304 6211132 140720906179136 140720906177392 139668917563127 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 1428009 1321870 887 493 0 1421314 0
[pid=9520/tid=9525] ppid=9517 vsize=5712036 memory=5283936 CPUtime=103.87 cores=0-7
/proc/9520/task/9525/stat : 9525 (cosoco) R 9517 9520 6464 0 -1 4202560 1232626 0 0 0 10217 170 0 0 20 0 9 0 559588327 5849124864 1321870 33554432000 4194304 6211132 140720906179136 139668894419368 5164781 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9526] ppid=9517 vsize=5712036 memory=5150520 CPUtime=102.87 cores=0-7
/proc/9520/task/9526/stat : 9526 (cosoco) R 9517 9520 6464 0 -1 4202560 1212917 0 0 0 10055 232 0 0 20 0 9 0 559588327 5849124864 1321870 33554432000 4194304 6211132 140720906179136 139668886026664 5039014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9527] ppid=9517 vsize=5712036 memory=5244808 CPUtime=103.91 cores=0-7
/proc/9520/task/9527/stat : 9527 (cosoco) R 9517 9520 6464 0 -1 4202560 1281208 0 0 0 10218 173 0 0 20 0 9 0 559588327 5849124864 1321870 33554432000 4194304 6211132 140720906179136 139668877634072 5443128 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9528] ppid=9517 vsize=5712036 memory=5212544 CPUtime=103.87 cores=0-7
/proc/9520/task/9528/stat : 9528 (cosoco) R 9517 9520 6464 0 -1 4202560 1348942 0 0 0 10204 183 0 0 20 0 9 0 559588327 5849124864 1321870 33554432000 4194304 6211132 140720906179136 139668869241256 5454200 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9529] ppid=9517 vsize=5712036 memory=5283344 CPUtime=103.75 cores=0-7
/proc/9520/task/9529/stat : 9529 (cosoco) R 9517 9520 6464 0 -1 4202560 1303419 0 0 0 10145 230 0 0 20 0 9 0 559588327 5849124864 1321870 33554432000 4194304 6211132 140720906179136 139668860848552 5446258 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9530] ppid=9517 vsize=5712036 memory=5283344 CPUtime=103.67 cores=0-7
/proc/9520/task/9530/stat : 9530 (cosoco) R 9517 9520 6464 0 -1 4202560 1290389 0 0 0 10203 164 0 0 20 0 9 0 559588327 5849124864 1321870 33554432000 4194304 6211132 140720906179136 139668852455848 5164999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9531] ppid=9517 vsize=5712036 memory=5284036 CPUtime=103.79 cores=0-7
/proc/9520/task/9531/stat : 9531 (cosoco) R 9517 9520 6464 0 -1 4202560 1286904 0 0 0 10291 88 0 0 20 0 9 0 559588327 5849124864 1321870 33554432000 4194304 6211132 140720906179136 139668844063256 5476603 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9532] ppid=9517 vsize=5712036 memory=5283344 CPUtime=103.84 cores=0-7
/proc/9520/task/9532/stat : 9532 (cosoco) R 9517 9520 6464 0 -1 4202560 1334998 0 0 0 10172 212 0 0 20 0 9 0 559588327 5849124864 1321870 33554432000 4194304 6211132 140720906179136 139668835670440 5454215 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
Current children cumulated CPU time: 887.87 s
Current children cumulated vsize: 5712036 KiB
Current children cumulated memory: 5287480 KiB

[startup+222.301 s]
/proc/loadavg: 7.95 7.31 7.02 9/199 9542
/proc/meminfo: memFree=23450052/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=5843108 memory=5413684 CPUtime=1366.87 cores=0-7
/proc/9520/stat : 9520 (cosoco) S 9517 9520 6464 0 -1 1077944320 12917380 0 0 0 134920 1767 0 0 20 0 9 0 559582504 5983342592 1353421 33554432000 4194304 6211132 140720906179136 140720906177392 139668917563127 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 1460777 1353421 887 493 0 1454082 0
[pid=9520/tid=9525] ppid=9517 vsize=5843108 memory=10692 CPUtime=163.85 cores=0-7
/proc/9520/task/9525/stat : 9525 (cosoco) R 9517 9520 6464 0 -1 4202560 1398557 0 0 0 16201 184 0 0 20 0 9 0 559588327 5983342592 1353421 33554432000 4194304 6211132 140720906179136 139668894419560 5441174 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9526] ppid=9517 vsize=5843108 memory=5409560 CPUtime=162.85 cores=0-7
/proc/9520/task/9526/stat : 9526 (cosoco) R 9517 9520 6464 0 -1 4202560 1360381 0 0 0 16022 263 0 0 20 0 9 0 559588327 5983342592 1353421 33554432000 4194304 6211132 140720906179136 139668886026856 5155832 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9527] ppid=9517 vsize=5843108 memory=5374076 CPUtime=163.89 cores=0-7
/proc/9520/task/9527/stat : 9527 (cosoco) R 9517 9520 6464 0 -1 4202560 1416413 0 0 0 16208 181 0 0 20 0 9 0 559588327 5983342592 1353421 33554432000 4194304 6211132 140720906179136 139668877633960 5039149 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9528] ppid=9517 vsize=5843108 memory=5383340 CPUtime=163.84 cores=0-7
/proc/9520/task/9528/stat : 9528 (cosoco) R 9517 9520 6464 0 -1 4202560 1497958 0 0 0 16187 197 0 0 20 0 9 0 559588327 5983342592 1353421 33554432000 4194304 6211132 140720906179136 139668869241256 5068981 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9529] ppid=9517 vsize=5843108 memory=279609619098288 CPUtime=162.96 cores=0-7
/proc/9520/task/9529/stat : 9529 (cosoco) R 9517 9520 6464 0 -1 4202560 1432373 0 0 0 16059 237 0 0 20 0 9 0 559588327 5983342592 1353421 33554432000 4194304 6211132 140720906179136 139668860848552 5038944 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9530] ppid=9517 vsize=5843108 memory=5384780 CPUtime=163.59 cores=0-7
/proc/9520/task/9530/stat : 9530 (cosoco) R 9517 9520 6464 0 -1 4202560 1434059 0 0 0 16141 218 0 0 20 0 9 0 559588327 5983342592 1353421 33554432000 4194304 6211132 140720906179136 139668852455848 5392113 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9531] ppid=9517 vsize=5843108 memory=5384416 CPUtime=163.76 cores=0-7
/proc/9520/task/9531/stat : 9531 (cosoco) R 9517 9520 6464 0 -1 4202560 1495922 0 0 0 16272 104 0 0 20 0 9 0 559588327 5983342592 1353421 33554432000 4194304 6211132 140720906179136 139668844063144 5446242 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9532] ppid=9517 vsize=5843108 memory=5398176 CPUtime=163.84 cores=0-7
/proc/9520/task/9532/stat : 9532 (cosoco) R 9517 9520 6464 0 -1 4202560 1444983 0 0 0 16164 220 0 0 20 0 9 0 559588327 5983342592 1353421 33554432000 4194304 6211132 140720906179136 139668835670440 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
Current children cumulated CPU time: 1366.87 s
Current children cumulated vsize: 5843108 KiB
Current children cumulated memory: 5413684 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 7.97 7.38 7.05 9/199 9545
/proc/meminfo: memFree=23346420/32770624 swapFree=66956804/67108860
[pid=9520] ppid=9517 vsize=6039716 memory=5514432 CPUtime=1604.04 cores=0-7
/proc/9520/stat : 9520 (cosoco) S 9517 9520 6464 0 -1 1077944320 13758371 0 0 0 158535 1869 0 0 20 0 9 0 559582504 6184669184 1378608 33554432000 4194304 6211132 140720906179136 140720906177392 139668917563127 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
/proc/9520/statm: 1509929 1378608 887 493 0 1503234 0
[pid=9520/tid=9525] ppid=9517 vsize=6039716 memory=-7035114785800479027 CPUtime=193.55 cores=0-7
/proc/9520/task/9525/stat : 9525 (cosoco) R 9517 9520 6464 0 -1 4202560 1533806 0 0 0 19159 196 0 0 20 0 9 0 559588327 6184669184 1378608 33554432000 4194304 6211132 140720906179136 139668894419368 5440659 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9526] ppid=9517 vsize=6039716 memory=772 CPUtime=192.55 cores=0-7
/proc/9520/task/9526/stat : 9526 (cosoco) R 9517 9520 6464 0 -1 4202560 1487071 0 0 0 18981 274 0 0 20 0 9 0 559588327 6184669184 1378608 33554432000 4194304 6211132 140720906179136 139668886026664 5451564 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9527] ppid=9517 vsize=6039716 memory=4000 CPUtime=193.58 cores=0-7
/proc/9520/task/9527/stat : 9527 (cosoco) R 9517 9520 6464 0 -1 4202560 1511369 0 0 0 19171 187 0 0 20 0 9 0 559588327 6184669184 1378608 33554432000 4194304 6211132 140720906179136 139668877633960 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9528] ppid=9517 vsize=6039716 memory=2832 CPUtime=193.54 cores=0-7
/proc/9520/task/9528/stat : 9528 (cosoco) R 9517 9520 6464 0 -1 4202560 1617194 0 0 0 19148 206 0 0 20 0 9 0 559588327 6184669184 1378608 33554432000 4194304 6211132 140720906179136 139668869241256 5451658 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9529] ppid=9517 vsize=6039716 memory=-7003737579269690708 CPUtime=192.26 cores=0-7
/proc/9520/task/9529/stat : 9529 (cosoco) R 9517 9520 6464 0 -1 4202560 1533876 0 0 0 18984 242 0 0 20 0 9 0 559588327 6184669184 1378608 33554432000 4194304 6211132 140720906179136 139668860848552 5035331 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9530] ppid=9517 vsize=6039716 memory=288230583166042426 CPUtime=193.29 cores=0-7
/proc/9520/task/9530/stat : 9530 (cosoco) R 9517 9520 6464 0 -1 4202560 1571428 0 0 0 19061 268 0 0 20 0 9 0 559588327 6184669184 1378608 33554432000 4194304 6211132 140720906179136 139668852455848 5443112 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9531] ppid=9517 vsize=6039716 memory=14696300872468529 CPUtime=193.44 cores=0-7
/proc/9520/task/9531/stat : 9531 (cosoco) R 9517 9520 6464 0 -1 4202560 1512374 0 0 0 19237 107 0 0 20 0 9 0 559588327 6184669184 1378608 33554432000 4194304 6211132 140720906179136 139668844063256 5069176 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
[pid=9520/tid=9532] ppid=9517 vsize=6039716 memory=744 CPUtime=193.55 cores=0-7
/proc/9520/task/9532/stat : 9532 (cosoco) R 9517 9520 6464 0 -1 4202560 1554519 0 0 0 19129 226 0 0 20 0 9 0 559588327 6184669184 1378608 33554432000 4194304 6211132 140720906179136 139668835670440 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24010752 140720906183702 140720906183794 140720906183794 140720906186702 0
Current children cumulated CPU time: 1604.04 s
Current children cumulated vsize: 6039716 KiB
Current children cumulated memory: 5514432 KiB

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

[startup+252.484 s]
# the end of solver process 9520 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1585.46 s, system=19.1514 s

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

[startup+252.4 s]
/proc/loadavg: 7.97 7.38 7.05 2/192 9545
/proc/meminfo: memFree=24956280/32770624 swapFree=66956804/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 252.484
CPU time (s): 1604.61
CPU user time (s): 1585.46
CPU system time (s): 19.1514
CPU usage (%): 635.528
Max. virtual memory (cumulated for all children) (KiB): 6039716
Max. memory (cumulated for all children) (KiB): 5514432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1585.46
system time used= 19.1514
maximum resident set size= 5514804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13758414
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= 39610
involuntary context switches= 13484


# summary of solver processes directly reported to runsolver:
#   pid: 9520
#   total CPU time (s): 1604.61
#   total CPU user time (s): 1585.46
#   total CPU system time (s): 19.1514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22755 second user time and 2.14892 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-30 10:44:31
IDJOB=4409894
IDBENCH=141269
IDSOLVER=2878
FILE ID=node151/4409894-1569833112
RUNJOBID= node151-1569817277-6491
PBS_JOBID= 21705917
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-4409894-1569833112/watcher-4409894-1569833112 -o /tmp/evaluation-result-4409894-1569833112/solver-4409894-1569833112 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569817277-6491 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4409894-1569833112.xml

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
RANDOM SEED=1242449987

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28868212 kB
MemAvailable:   31810768 kB
Buffers:          163152 kB
Cached:          3103796 kB
SwapCached:        50424 kB
Active:          1849076 kB
Inactive:        1473128 kB
Active(anon):       7336 kB
Inactive(anon):   127252 kB
Active(file):    1841740 kB
Inactive(file):  1345876 kB
Unevictable:      108524 kB
Mlocked:          108524 kB
SwapTotal:      67108860 kB
SwapFree:       66956804 kB
Dirty:            103584 kB
Writeback:             0 kB
AnonPages:        113984 kB
Mapped:            26984 kB
Shmem:             70724 kB
Slab:             171428 kB
SReclaimable:     141552 kB
SUnreclaim:        29876 kB
KernelStack:        3376 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     541056 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:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61928 MiB
End job on node151 at 2019-09-30 10:48:44