Trace number 4270801

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
choco-solver 4.0.5 par (2017-08-09)SAT (TO)322 20082.4 2520.1399

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-26.xml
MD5SUMa21a0b86f7fa853bf556b3925b3cd061
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark345
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables1597
Number of constraints944
Number of domains4
Minimum domain size2
Maximum domain size1569
Distribution of domain sizes[{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}]
Minimum variable degree1
Maximum variable degree29
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}]
Number of extensional constraints780
Number of intensional constraints131
Distribution of constraint types[{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270801-1502669201.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270801-1502669201.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.11/0.26	c parse instance...
6.96/2.36	c solve instance...
12.71/3.19	o 0 
13.92/3.31	o 4 
15.14/3.65	o 6 
15.14/3.69	o 8 
15.14/3.69	o 10 
15.14/3.70	o 12 
15.58/3.72	o 14 
15.58/3.73	o 16 
15.58/3.76	o 18 
16.25/3.81	o 20 
17.05/3.94	o 22 
19.04/4.25	o 24 
20.38/4.47	o 26 
21.95/4.74	o 27 
21.95/4.75	o 28 
21.95/4.76	o 29 
21.95/4.76	o 30 
21.95/4.77	o 31 
21.95/4.77	o 32 
21.95/4.78	o 33 
21.95/4.78	o 34 
21.95/4.79	o 35 
22.27/4.82	o 36 
22.27/4.82	o 37 
22.27/4.83	o 38 
22.27/4.83	o 39 
22.27/4.84	o 40 
22.27/4.84	o 41 
22.27/4.85	o 42 
22.27/4.85	o 43 
22.27/4.85	o 44 
22.27/4.86	o 45 
22.27/4.86	o 46 
22.27/4.88	o 47 
22.27/4.89	o 48 
22.27/4.89	o 49 
22.83/4.90	o 50 
22.83/4.91	o 51 
22.83/4.91	o 52 
22.83/4.92	o 53 
22.83/4.92	o 54 
22.83/4.92	o 55 
22.83/4.93	o 56 
22.83/4.93	o 57 
22.83/4.94	o 58 
22.83/4.97	o 59 
22.83/4.98	o 60 
22.83/4.98	o 61 
22.83/4.99	o 62 
22.83/4.99	o 63 
22.83/5.00	o 64 
22.83/5.00	o 65 
22.83/5.01	o 66 
23.47/5.01	o 67 
23.47/5.01	o 68 
23.47/5.02	o 69 
23.47/5.03	o 70 
23.47/5.03	o 71 
23.47/5.05	o 72 
23.47/5.06	o 73 
23.47/5.06	o 74 
23.47/5.06	o 75 
23.47/5.07	o 76 
23.47/5.07	o 77 
23.47/5.07	o 78 
23.47/5.08	o 79 
23.47/5.08	o 80 
23.47/5.09	o 81 
23.47/5.09	o 82 
23.47/5.11	o 83 
24.05/5.11	o 84 
24.05/5.12	o 85 
24.05/5.12	o 86 
24.05/5.12	o 87 
24.05/5.13	o 88 
24.05/5.13	o 89 
24.05/5.14	o 90 
24.05/5.14	o 91 
24.05/5.15	o 92 
24.05/5.15	o 93 
24.05/5.16	o 94 
24.05/5.16	o 95 
24.05/5.17	o 96 
24.05/5.17	o 97 
24.05/5.17	o 98 
24.05/5.18	o 99 
24.05/5.18	o 100 
24.05/5.19	o 101 
24.57/5.21	o 102 
24.57/5.22	o 103 
24.57/5.22	o 104 
24.57/5.23	o 105 
24.57/5.23	o 106 
24.57/5.23	o 107 
24.57/5.24	o 108 
24.57/5.24	o 109 
24.57/5.25	o 110 
24.57/5.25	o 111 
24.57/5.26	o 112 
24.57/5.26	o 113 
24.57/5.26	o 114 
24.57/5.27	o 115 
24.57/5.27	o 116 
24.57/5.28	o 117 
24.57/5.28	o 118 
25.05/5.30	o 119 
25.05/5.30	o 120 
25.05/5.31	o 121 
25.05/5.31	o 122 
25.05/5.32	o 123 
25.05/5.32	o 124 
25.05/5.33	o 125 
25.05/5.33	o 126 
25.05/5.33	o 127 
25.05/5.34	o 128 
25.05/5.34	o 129 
25.05/5.35	o 130 
25.05/5.35	o 131 
25.05/5.36	o 132 
25.05/5.36	o 133 
25.05/5.36	o 134 
25.05/5.37	o 135 
25.05/5.37	o 136 
25.05/5.38	o 137 
25.05/5.38	o 138 
25.05/5.39	o 139 
25.05/5.39	o 140 
25.63/5.40	o 141 
25.63/5.40	o 142 
25.63/5.41	o 143 
25.63/5.41	o 144 
25.63/5.42	o 145 
25.63/5.44	o 146 
25.63/5.44	o 147 
25.63/5.45	o 148 
25.63/5.45	o 149 
25.63/5.46	o 150 
25.63/5.46	o 151 
25.63/5.47	o 152 
25.63/5.47	o 153 
25.63/5.48	o 154 
25.63/5.48	o 155 
25.63/5.49	o 156 
25.63/5.49	o 157 
25.63/5.50	o 158 
26.23/5.50	o 159 
26.23/5.50	o 160 
26.23/5.51	o 161 
26.23/5.51	o 162 
26.23/5.54	o 163 
26.23/5.54	o 164 
26.23/5.55	o 165 
26.23/5.55	o 166 
26.23/5.56	o 167 
26.23/5.56	o 168 
26.23/5.57	o 169 
26.23/5.57	o 170 
26.23/5.58	o 171 
26.23/5.58	o 172 
26.23/5.59	o 173 
26.23/5.59	o 174 
26.75/5.60	o 175 
26.75/5.60	o 176 
26.75/5.61	o 177 
26.75/5.62	o 178 
26.75/5.62	o 179 
26.75/5.63	o 180 
26.75/5.63	o 181 
26.75/5.64	o 182 
26.75/5.66	o 183 
26.75/5.67	o 184 
26.75/5.67	o 185 
26.75/5.68	o 186 
26.75/5.68	o 187 
26.75/5.69	o 188 
27.31/5.70	o 189 
27.31/5.70	o 190 
27.31/5.71	o 191 
27.31/5.71	o 192 
27.31/5.72	o 193 
27.31/5.73	o 194 
27.31/5.73	o 195 
27.31/5.74	o 196 
27.31/5.74	o 197 
27.31/5.75	o 198 
27.31/5.75	o 199 
27.31/5.75	o 200 
27.31/5.76	o 201 
27.31/5.76	o 202 
27.31/5.77	o 203 
27.31/5.77	o 204 
27.31/5.78	o 205 
27.31/5.78	o 206 
27.31/5.79	o 207 
27.31/5.79	o 208 
27.88/5.80	o 209 
27.88/5.81	o 210 
27.88/5.81	o 211 
27.88/5.81	o 212 
27.88/5.82	o 213 
27.88/5.83	o 214 
27.88/5.83	o 215 
27.88/5.83	o 216 
27.88/5.84	o 217 
27.88/5.84	o 218 
27.88/5.85	o 219 
27.88/5.86	o 220 
27.88/5.86	o 221 
27.88/5.87	o 222 
27.88/5.88	o 223 
27.88/5.88	o 224 
27.88/5.89	o 225 
27.88/5.89	o 226 
27.88/5.89	o 227 
27.88/5.90	o 228 
28.48/5.91	o 229 
28.48/5.94	o 230 
28.48/5.96	o 231 
29.20/6.17	o 232 
29.20/6.18	o 233 
29.20/6.18	o 234 
29.20/6.19	o 235 
29.20/6.19	o 236 
29.50/6.20	o 237 
29.50/6.20	o 238 
29.50/6.21	o 239 
29.50/6.21	o 240 
29.50/6.22	o 241 
29.50/6.22	o 242 
29.50/6.23	o 243 
29.50/6.24	o 244 
29.50/6.24	o 245 
29.50/6.25	o 246 
29.50/6.25	o 247 
29.50/6.26	o 248 
29.50/6.26	o 249 
29.50/6.27	o 250 
29.50/6.28	o 251 
29.50/6.28	o 252 
29.50/6.29	o 253 
29.50/6.29	o 254 
29.50/6.30	o 255 
30.08/6.30	o 256 
30.08/6.31	o 257 
30.08/6.32	o 258 
30.08/6.32	o 259 
30.08/6.33	o 260 
30.08/6.34	o 261 
30.08/6.34	o 262 
30.08/6.35	o 263 
30.08/6.36	o 264 
30.08/6.37	o 265 
30.08/6.37	o 266 
30.08/6.38	o 267 
30.08/6.39	o 268 
30.08/6.39	o 269 
30.08/6.40	o 270 
30.66/6.40	o 271 
30.66/6.41	o 272 
30.66/6.42	o 273 
30.66/6.43	o 274 
30.66/6.43	o 275 
30.66/6.44	o 276 
30.66/6.44	o 277 
30.66/6.45	o 278 
30.66/6.46	o 279 
30.66/6.46	o 280 
30.66/6.47	o 281 
30.66/6.47	o 282 
30.66/6.48	o 283 
30.66/6.49	o 284 
30.66/6.49	o 285 
31.19/6.50	o 286 
31.19/6.51	o 287 
31.19/6.51	o 288 
31.19/6.52	o 289 
31.19/6.52	o 290 
31.19/6.53	o 291 
31.19/6.54	o 292 
31.19/6.54	o 293 
31.19/6.55	o 294 
31.19/6.56	o 295 
31.19/6.56	o 296 
31.19/6.57	o 297 
31.19/6.57	o 298 
31.19/6.58	o 299 
31.19/6.59	o 300 
31.19/6.59	o 301 
31.74/6.60	o 302 
31.74/6.61	o 303 
31.74/6.62	o 304 
31.74/6.65	o 305 
34.92/7.02	o 306 
34.92/7.03	o 307 
43.51/8.20	o 308 
43.51/8.21	o 309 
43.51/8.22	o 310 
43.51/8.24	o 311 
43.74/8.39	o 312 
43.74/8.39	o 313 
43.90/8.41	o 314 
44.03/8.56	o 315 
44.03/8.57	o 316 
44.03/8.59	o 317 
44.33/8.74	o 318 
4719.46/594.72	o 319 
4719.46/594.72	o 320 
4719.46/594.74	o 321 
4719.65/594.89	o 322 
20081.55/2520.09	s SATISFIABLE
20081.55/2520.09	v <instantiation>
20081.55/2520.09	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z </list>
20081.55/2520.09	v 	<values>0 0 0 0 0 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 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 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 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 1 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 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 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 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 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 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 1 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 1 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 1 0 1 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 1 1 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 0 1 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 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 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 1 0 0 0 0 1 0 1 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 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 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 2 1 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 8 8 8 18 18 18 47 51 52 54 58 60 82 87 89 90 93 100 115 116 118 127 127 130 141 145 153 168 322 </values>
20081.55/2520.09	v </instantiation>
20081.55/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	322

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270801-1502669201/watcher-4270801-1502669201 -o /tmp/evaluation-result-4270801-1502669201/solver-4270801-1502669201 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502663273-20841 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1179347832 HOME/instance-4270801-1502669201.xml 

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

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

solver pid=21783, runsolver pid=21780

[startup+0.100103 s]*
/proc/loadavg: 8.44 8.32 8.32 2/200 21804
/proc/meminfo: memFree=27149280/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 20814 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100001264 9740288 345 33554432000 4194304 5098028 140735462091488 140735462089592 139625489416828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16715776 140735462093924 140735462094135 140735462094135 140735462096875 0
/proc/21783/statm: 2378 345 289 221 0 87 0
[pid=21785] ppid=21783 vsize=25999808 memory=26984 CPUtime=0.11 cores=0-7
/proc/21785/stat : 21785 (java) S 21783 21783 20814 0 -1 1077944320 5676 0 0 0 10 1 0 0 20 0 20 0 100001264 26623803392 6746 33554432000 4194304 4196468 140732200628784 140732200611328 140304621788919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
/proc/21785/statm: 6499952 6746 2844 1 0 6488269 0
[pid=21785/tid=21786] ppid=21783 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/21785/task/21786/stat : 21786 (java) R 21783 21783 20814 0 -1 4202560 3687 0 0 0 8 0 0 0 20 0 20 0 100001264 26623803392 6746 33554432000 4194304 4196468 140732200628784 140304626012720 140304603440478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21787] ppid=21783 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001265 26623803392 6746 33554432000 4194304 4196468 140732200628784 140304574409744 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21788] ppid=21783 vsize=25999808 memory=140363176703616 CPUtime=0 cores=0-7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26623803392 6746 33554432000 4194304 4196468 140732200628784 140304573357200 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21789] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001265 26623803392 6746 33554432000 4194304 4196468 140732200628784 140304572304144 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21790] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 20814 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100001265 26623803392 6746 33554432000 4194304 4196468 140732200628784 140304571251600 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21791] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26623803392 6746 33554432000 4194304 4196468 140732200628784 140304570198544 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21792] ppid=21783 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26623803392 6746 33554432000 4194304 4196468 140732200628784 140304175200912 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21793] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26623803392 6746 33554432000 4194304 4196468 140732200628784 140304174147856 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21794] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001265 26623803392 6746 33554432000 4194304 4196468 140732200628784 140304173095312 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21795] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001267 26623803392 6746 33554432000 4194304 4196468 140732200628784 140303162481392 140304621800066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21796] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21796/stat : 21796 (java) S 21783 21783 20814 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100001267 26623803392 6746 33554432000 4194304 4196468 140732200628784 140303161427616 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21797] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21797/stat : 21797 (java) S 21783 21783 20814 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100001267 26623803392 6746 33554432000 4194304 4196468 140732200628784 140302757127408 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21798] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001270 26623803392 6746 33554432000 4194304 4196468 140732200628784 140302756075984 140304621807515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21799] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 20814 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 100001270 26623803392 6746 33554432000 4194304 4196468 140732200628784 140302755023088 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21800] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21800/stat : 21800 (java) S 21783 21783 20814 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 100001270 26623803392 6746 33554432000 4194304 4196468 140732200628784 140302753970544 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21801] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21801/stat : 21801 (java) S 21783 21783 20814 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100001270 26623803392 6746 33554432000 4194304 4196468 140732200628784 140302752917488 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21802] ppid=21783 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21785/task/21802/stat : 21802 (java) R 21783 21783 20814 0 -1 4202560 243 0 0 0 1 0 0 0 20 0 20 0 100001270 26623803392 6746 33554432000 4194304 4196468 140732200628784 140302751864944 140304606929888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21803] ppid=21783 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21803/stat : 21803 (java) S 21783 21783 20814 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100001270 26623803392 6746 33554432000 4194304 4196468 140732200628784 140302750813152 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21804] ppid=21783 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21785/task/21804/stat : 21804 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001270 26623803392 6746 33554432000 4194304 4196468 140732200628784 140302749760688 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28364 KiB

[startup+0.286115 s]*
/proc/loadavg: 8.44 8.32 8.32 2/200 21804
/proc/meminfo: memFree=27136928/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 20814 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100001264 9740288 345 33554432000 4194304 5098028 140735462091488 140735462089592 139625489416828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16715776 140735462093924 140735462094135 140735462094135 140735462096875 0
/proc/21783/statm: 2378 345 289 221 0 87 0
[pid=21785] ppid=21783 vsize=26004064 memory=43316 CPUtime=0.45 cores=0-7
/proc/21785/stat : 21785 (java) S 21783 21783 20814 0 -1 1077944320 9040 0 0 0 42 3 0 0 20 0 20 0 100001264 26628161536 10829 33554432000 4194304 4196468 140732200628784 140732200611328 140304621788919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
/proc/21785/statm: 6501016 10829 3103 1 0 6488269 0
[pid=21785/tid=21786] ppid=21783 vsize=26004064 memory=8318255677412212789 CPUtime=0.27 cores=0-7
/proc/21785/task/21786/stat : 21786 (java) R 21783 21783 20814 0 -1 4202560 6027 0 0 0 25 2 0 0 20 0 20 0 100001264 26628161536 10829 33554432000 4194304 4196468 140732200628784 140304626026432 140304605869406 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21787] ppid=21783 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 10829 33554432000 4194304 4196468 140732200628784 140304574409744 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21788] ppid=21783 vsize=26004064 memory=3833323977624614560 CPUtime=0 cores=0-7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 10829 33554432000 4194304 4196468 140732200628784 140304573357200 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21789] ppid=21783 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 10829 33554432000 4194304 4196468 140732200628784 140304572304144 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21790] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 20814 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 10829 33554432000 4194304 4196468 140732200628784 140304571251600 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21791] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 10829 33554432000 4194304 4196468 140732200628784 140304570198544 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21792] ppid=21783 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 10837 33554432000 4194304 4196468 140732200628784 140304175200912 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21793] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 10837 33554432000 4194304 4196468 140732200628784 140304174147856 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21794] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 10838 33554432000 4194304 4196468 140732200628784 140304173095312 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21795] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001267 26628161536 10838 33554432000 4194304 4196468 140732200628784 140303162481392 140304621800066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21796] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21796/stat : 21796 (java) S 21783 21783 20814 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100001267 26628161536 10838 33554432000 4194304 4196468 140732200628784 140303161427616 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21797] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21797/stat : 21797 (java) S 21783 21783 20814 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100001267 26628161536 10838 33554432000 4194304 4196468 140732200628784 140302757127408 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21798] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001270 26628161536 10838 33554432000 4194304 4196468 140732200628784 140302756075984 140304621807515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21799] ppid=21783 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 20814 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 20 0 100001270 26628161536 10838 33554432000 4194304 4196468 140732200628784 140302755023088 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21800] ppid=21783 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21785/task/21800/stat : 21800 (java) S 21783 21783 20814 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 20 0 100001270 26628161536 10838 33554432000 4194304 4196468 140732200628784 140302753970544 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21801] ppid=21783 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/21785/task/21801/stat : 21801 (java) S 21783 21783 20814 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 20 0 100001270 26628161536 10838 33554432000 4194304 4196468 140732200628784 140302752917488 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21802] ppid=21783 vsize=26004064 memory=-1 CPUtime=0.11 cores=0-7
/proc/21785/task/21802/stat : 21802 (java) S 21783 21783 20814 0 -1 1077944384 762 0 0 0 11 0 0 0 20 0 20 0 100001270 26628161536 10838 33554432000 4194304 4196468 140732200628784 140302751864944 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21803] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21803/stat : 21803 (java) S 21783 21783 20814 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100001270 26628161536 10838 33554432000 4194304 4196468 140732200628784 140302750813152 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21804] ppid=21783 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21785/task/21804/stat : 21804 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001270 26628161536 10838 33554432000 4194304 4196468 140732200628784 140302749760688 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44696 KiB

[startup+0.310167 s]*
/proc/loadavg: 8.44 8.32 8.32 3/200 21804
/proc/meminfo: memFree=27136184/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 20814 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100001264 9740288 345 33554432000 4194304 5098028 140735462091488 140735462089592 139625489416828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16715776 140735462093924 140735462094135 140735462094135 140735462096875 0
/proc/21783/statm: 2378 345 289 221 0 87 0
[pid=21785] ppid=21783 vsize=26004064 memory=45936 CPUtime=0.5 cores=0-7
/proc/21785/stat : 21785 (java) S 21783 21783 20814 0 -1 1077944320 9186 0 0 0 47 3 0 0 20 0 20 0 100001264 26628161536 11484 33554432000 4194304 4196468 140732200628784 140732200611328 140304621788919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
/proc/21785/statm: 6501016 11484 3103 1 0 6488269 0
[pid=21785/tid=21786] ppid=21783 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21785/task/21786/stat : 21786 (java) R 21783 21783 20814 0 -1 4202560 6108 0 0 0 27 2 0 0 20 0 20 0 100001264 26628161536 11484 33554432000 4194304 4196468 140732200628784 140304626028096 140304621800854 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21787] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 11484 33554432000 4194304 4196468 140732200628784 140304574409744 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21788] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 11484 33554432000 4194304 4196468 140732200628784 140304573357200 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21789] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 11484 33554432000 4194304 4196468 140732200628784 140304572304144 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21790] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 20814 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 11484 33554432000 4194304 4196468 140732200628784 140304571251600 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21791] ppid=21783 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 11484 33554432000 4194304 4196468 140732200628784 140304570198544 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21792] ppid=21783 vsize=26004064 memory=140363020989359 CPUtime=0 cores=0-7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 11484 33554432000 4194304 4196468 140732200628784 140304175200912 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21793] ppid=21783 vsize=26004064 memory=140363020991664 CPUtime=0 cores=0-7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 11484 33554432000 4194304 4196468 140732200628784 140304174147856 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21794] ppid=21783 vsize=26004064 memory=140363020993968 CPUtime=0 cores=0-7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001265 26628161536 11484 33554432000 4194304 4196468 140732200628784 140304173095312 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21795] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001267 26628161536 11484 33554432000 4194304 4196468 140732200628784 140303162481392 140304621800066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21796] ppid=21783 vsize=26004064 memory=280726041994896 CPUtime=0 cores=0-7
/proc/21785/task/21796/stat : 21796 (java) S 21783 21783 20814 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100001267 26628161536 11484 33554432000 4194304 4196468 140732200628784 140303161427616 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21797] ppid=21783 vsize=26004064 memory=280726042001808 CPUtime=0 cores=0-7
/proc/21785/task/21797/stat : 21797 (java) S 21783 21783 20814 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100001267 26628161536 11484 33554432000 4194304 4196468 140732200628784 140302757127408 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21798] ppid=21783 vsize=26004064 memory=280726041943088 CPUtime=0 cores=0-7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001270 26628161536 11484 33554432000 4194304 4196468 140732200628784 140302756075984 140304621807515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21799] ppid=21783 vsize=26004064 memory=280726042015632 CPUtime=0.01 cores=0-7
/proc/21785/task/21799/stat : 21799 (java) R 21783 21783 20814 0 -1 4202560 402 0 0 0 1 0 0 0 20 0 20 0 100001270 26628161536 11484 33554432000 4194304 4196468 140732200628784 140302755023088 140304601083097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21800] ppid=21783 vsize=26004064 memory=280726042022544 CPUtime=0.01 cores=0-7
/proc/21785/task/21800/stat : 21800 (java) S 21783 21783 20814 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 20 0 100001270 26628161536 11484 33554432000 4194304 4196468 140732200628784 140302753970544 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21801] ppid=21783 vsize=26004064 memory=280726042020240 CPUtime=0.03 cores=0-7
/proc/21785/task/21801/stat : 21801 (java) R 21783 21783 20814 0 -1 4202560 100 0 0 0 3 0 0 0 20 0 20 0 100001270 26628161536 11484 33554432000 4194304 4196468 140732200628784 140302752908944 140304621810266 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21802] ppid=21783 vsize=26004064 memory=280726042036400 CPUtime=0.13 cores=0-7
/proc/21785/task/21802/stat : 21802 (java) R 21783 21783 20814 0 -1 4202560 813 0 0 0 13 0 0 0 20 0 20 0 100001270 26628161536 11484 33554432000 4194304 4196468 140732200628784 140302751864944 140304605869406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21803] ppid=21783 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21803/stat : 21803 (java) S 21783 21783 20814 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100001270 26628161536 11484 33554432000 4194304 4196468 140732200628784 140302750813152 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21804] ppid=21783 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21785/task/21804/stat : 21804 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001270 26628161536 11484 33554432000 4194304 4196468 140732200628784 140302749760688 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47316 KiB

[startup+0.701 s]
/proc/loadavg: 8.44 8.32 8.32 6/200 21804
/proc/meminfo: memFree=27107336/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 20814 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100001264 9740288 345 33554432000 4194304 5098028 140735462091488 140735462089592 139625489416828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16715776 140735462093924 140735462094135 140735462094135 140735462096875 0
/proc/21783/statm: 2378 345 289 221 0 87 0
[pid=21785] ppid=21783 vsize=26006188 memory=86144 CPUtime=1.99 cores=0-7
/proc/21785/stat : 21785 (java) S 21783 21783 20814 0 -1 1077944320 13117 0 0 0 194 5 0 0 20 0 20 0 100001264 26630336512 21536 33554432000 4194304 4196468 140732200628784 140732200611328 140304621788919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
/proc/21785/statm: 6501547 21536 3198 1 0 6488781 0
[pid=21785/tid=21786] ppid=21783 vsize=26006188 memory=280726042394288 CPUtime=0.67 cores=0-7
/proc/21785/task/21786/stat : 21786 (java) R 21783 21783 20814 0 -1 4202560 6605 0 0 0 65 2 0 0 20 0 20 0 100001264 26630336512 21536 33554432000 4194304 4196468 140732200628784 140304626026464 140304621800854 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21787] ppid=21783 vsize=26006188 memory=140363021198192 CPUtime=0 cores=0-7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001265 26630336512 21536 33554432000 4194304 4196468 140732200628784 140304574409744 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21788] ppid=21783 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 20814 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100001265 26630336512 21536 33554432000 4194304 4196468 140732200628784 140304573357200 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21789] ppid=21783 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100001265 26630336512 21536 33554432000 4194304 4196468 140732200628784 140304572304144 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0

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

/proc/meminfo: memFree=19852820/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 20814 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100001264 9740288 345 33554432000 4194304 5098028 140735462091488 140735462089592 139625489416828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16715776 140735462093924 140735462094135 140735462094135 140735462096875 0
/proc/21783/statm: 2378 345 289 221 0 87 0
[pid=21785] ppid=21783 vsize=26673876 memory=7316432 CPUtime=19940.2 cores=0-7
/proc/21785/stat : 21785 (java) S 21783 21783 20814 0 -1 1077944320 340155 0 0 0 1993235 789 0 0 20 0 28 0 100001264 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140732200611328 140304621788919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
/proc/21785/statm: 6668469 1829108 3287 1 0 6655703 0
[pid=21785/tid=21786] ppid=21783 vsize=26673876 memory=7316432 CPUtime=2.54 cores=0-7
/proc/21785/task/21786/stat : 21786 (java) S 21783 21783 20814 0 -1 1077944384 8760 0 0 0 248 6 0 0 20 0 28 0 100001264 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304626029616 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21787] ppid=21783 vsize=26673876 memory=7316432 CPUtime=0.25 cores=0-7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 20814 0 -1 1077944384 2687 0 0 0 18 7 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304574409744 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21788] ppid=21783 vsize=26673876 memory=1380 CPUtime=0.24 cores=0-7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 20814 0 -1 1077944384 3283 0 0 0 17 7 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304573357200 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21789] ppid=21783 vsize=26673876 memory=7316424 CPUtime=0.25 cores=0-7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 20814 0 -1 1077944384 1809 0 0 0 18 7 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304572304144 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21790] ppid=21783 vsize=26673876 memory=208864259653108 CPUtime=0.21 cores=0-7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 20814 0 -1 1077944384 2938 0 0 0 15 6 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304571251600 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21791] ppid=21783 vsize=26673876 memory=0 CPUtime=0.26 cores=0-7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 20814 0 -1 1077944384 2059 0 0 0 18 8 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304570198544 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21792] ppid=21783 vsize=26673876 memory=1380 CPUtime=0.23 cores=0-7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 20814 0 -1 1077944384 2012 0 0 0 17 6 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304175200912 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21793] ppid=21783 vsize=26673876 memory=1380 CPUtime=0.23 cores=0-7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 20814 0 -1 1077944384 1300 0 0 0 16 7 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304174147856 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21794] ppid=21783 vsize=26673876 memory=1380 CPUtime=0.27 cores=0-7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 20814 0 -1 1077944384 2510 0 0 0 19 8 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304173095312 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21795] ppid=21783 vsize=26673876 memory=1004 CPUtime=0.13 cores=0-7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 20814 0 -1 1077944384 11223 0 0 0 6 7 0 0 20 0 28 0 100001267 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140303162481392 140304621800066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21796] ppid=21783 vsize=26673876 memory=11040 CPUtime=0 cores=0-7
/proc/21785/task/21796/stat : 21796 (java) S 21783 21783 20814 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 100001267 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140303161427680 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21797] ppid=21783 vsize=26673876 memory=181533 CPUtime=0 cores=0-7
/proc/21785/task/21797/stat : 21797 (java) S 21783 21783 20814 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 100001267 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302757127424 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21798] ppid=21783 vsize=26673876 memory=181304 CPUtime=0 cores=0-7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302756075984 140304621807515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21799] ppid=21783 vsize=26673876 memory=1380 CPUtime=4.55 cores=0-7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 20814 0 -1 1077944384 25989 0 0 0 449 6 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302755023088 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21800] ppid=21783 vsize=26673876 memory=1380 CPUtime=4.74 cores=0-7
/proc/21785/task/21800/stat : 21800 (java) S 21783 21783 20814 0 -1 1077944384 33471 0 0 0 468 6 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302753970544 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21801] ppid=21783 vsize=26673876 memory=1380 CPUtime=4.24 cores=0-7
/proc/21785/task/21801/stat : 21801 (java) S 21783 21783 20814 0 -1 1077944384 21432 0 0 0 420 4 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302752917488 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21802] ppid=21783 vsize=26673876 memory=7316424 CPUtime=1.23 cores=0-7
/proc/21785/task/21802/stat : 21802 (java) S 21783 21783 20814 0 -1 1077944384 16635 0 0 0 120 3 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302751864944 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21803] ppid=21783 vsize=26673876 memory=1380 CPUtime=0 cores=0-7
/proc/21785/task/21803/stat : 21803 (java) S 21783 21783 20814 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302750813152 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21804] ppid=21783 vsize=26673876 memory=7316432 CPUtime=0.93 cores=0-7
/proc/21785/task/21804/stat : 21804 (java) S 21783 21783 20814 0 -1 1077944384 3377 0 0 0 23 70 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302749760688 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24312] ppid=21783 vsize=26673876 memory=1380 CPUtime=1907.13 cores=0-7
/proc/21785/task/24312/stat : 24312 (java) R 21783 21783 20814 0 -1 4202560 15550 0 0 0 190679 34 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302730673352 140304259997529 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24313] ppid=21783 vsize=26673876 memory=7316424 CPUtime=1907.18 cores=0-7
/proc/21785/task/24313/stat : 24313 (java) R 21783 21783 20814 0 -1 4202560 9199 0 0 0 190700 18 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302736982424 140304260277814 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24314] ppid=21783 vsize=26673876 memory=1380 CPUtime=1901.28 cores=0-7
/proc/21785/task/24314/stat : 24314 (java) R 21783 21783 20814 0 -1 4202560 7628 0 0 0 190119 9 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302741192848 140304260276872 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24315] ppid=21783 vsize=26673876 memory=7316424 CPUtime=1907 cores=0-7
/proc/21785/task/24315/stat : 24315 (java) R 21783 21783 20814 0 -1 4202560 13090 0 0 0 190652 48 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302739090096 140304260718030 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24316] ppid=21783 vsize=26673876 memory=7316424 CPUtime=1894.89 cores=0-7
/proc/21785/task/24316/stat : 24316 (java) R 21783 21783 20814 0 -1 4202560 6335 0 0 0 189469 20 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302742245656 140304260278396 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24317] ppid=21783 vsize=26673876 memory=6791534058613427641 CPUtime=1907.24 cores=0-7
/proc/21785/task/24317/stat : 24317 (java) R 21783 21783 20814 0 -1 4202560 24986 0 0 0 190644 80 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302731726568 140304260701769 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24318] ppid=21783 vsize=26673876 memory=1200 CPUtime=1898.44 cores=0-7
/proc/21785/task/24318/stat : 24318 (java) R 21783 21783 20814 0 -1 4202560 7561 0 0 0 189832 12 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302740139592 140304251444101 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24319] ppid=21783 vsize=26673876 memory=6791534058613427641 CPUtime=1895.94 cores=0-7
/proc/21785/task/24319/stat : 24319 (java) R 21783 21783 20814 0 -1 4202560 27660 0 0 0 189458 136 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302735929928 140304260738093 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
Current children cumulated CPU time: 19940.2 s
Current children cumulated vsize: 26683388 KiB
Current children cumulated memory: 7317812 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.52 8.34 8.28 9/208 24347
/proc/meminfo: memFree=19852716/32770624 swapFree=67108860/67108860
[pid=21783] ppid=21780 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21783/stat : 21783 (xcsp3-exec) S 21780 21783 20814 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100001264 9740288 345 33554432000 4194304 5098028 140735462091488 140735462089592 139625489416828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16715776 140735462093924 140735462094135 140735462094135 140735462096875 0
/proc/21783/statm: 2378 345 289 221 0 87 0
[pid=21785] ppid=21783 vsize=26673876 memory=7316432 CPUtime=20081.6 cores=0-7
/proc/21785/stat : 21785 (java) S 21783 21783 20814 0 -1 1077944320 341162 0 0 0 2007364 791 0 0 20 0 28 0 100001264 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140732200611328 140304621788919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
/proc/21785/statm: 6668469 1829108 3287 1 0 6655703 0
[pid=21785/tid=21786] ppid=21783 vsize=26673876 memory=6791534058613427641 CPUtime=2.54 cores=0-7
/proc/21785/task/21786/stat : 21786 (java) S 21783 21783 20814 0 -1 1077944384 8760 0 0 0 248 6 0 0 20 0 28 0 100001264 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304626029616 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21787] ppid=21783 vsize=26673876 memory=4872558044660077418 CPUtime=0.25 cores=0-7
/proc/21785/task/21787/stat : 21787 (java) S 21783 21783 20814 0 -1 1077944384 2687 0 0 0 18 7 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304574409744 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21788] ppid=21783 vsize=26673876 memory=0 CPUtime=0.24 cores=0-7
/proc/21785/task/21788/stat : 21788 (java) S 21783 21783 20814 0 -1 1077944384 3283 0 0 0 17 7 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304573357200 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21789] ppid=21783 vsize=26673876 memory=7306916055891837008 CPUtime=0.25 cores=0-7
/proc/21785/task/21789/stat : 21789 (java) S 21783 21783 20814 0 -1 1077944384 1809 0 0 0 18 7 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304572304144 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21790] ppid=21783 vsize=26673876 memory=7306916055891837008 CPUtime=0.21 cores=0-7
/proc/21785/task/21790/stat : 21790 (java) S 21783 21783 20814 0 -1 1077944384 2938 0 0 0 15 6 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304571251600 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21791] ppid=21783 vsize=26673876 memory=288288874495738704 CPUtime=0.26 cores=0-7
/proc/21785/task/21791/stat : 21791 (java) S 21783 21783 20814 0 -1 1077944384 2059 0 0 0 18 8 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304570198544 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21792] ppid=21783 vsize=26673876 memory=280726042956768 CPUtime=0.23 cores=0-7
/proc/21785/task/21792/stat : 21792 (java) S 21783 21783 20814 0 -1 1077944384 2012 0 0 0 17 6 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304175200912 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21793] ppid=21783 vsize=26673876 memory=7665496441563541346 CPUtime=0.23 cores=0-7
/proc/21785/task/21793/stat : 21793 (java) S 21783 21783 20814 0 -1 1077944384 1300 0 0 0 16 7 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304174147856 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21794] ppid=21783 vsize=26673876 memory=29168 CPUtime=0.27 cores=0-7
/proc/21785/task/21794/stat : 21794 (java) S 21783 21783 20814 0 -1 1077944384 2510 0 0 0 19 8 0 0 20 0 28 0 100001265 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140304173095312 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21795] ppid=21783 vsize=26673876 memory=1296 CPUtime=0.13 cores=0-7
/proc/21785/task/21795/stat : 21795 (java) S 21783 21783 20814 0 -1 1077944384 11227 0 0 0 6 7 0 0 20 0 28 0 100001267 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140303162481392 140304621800066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21796] ppid=21783 vsize=26673876 memory=2396 CPUtime=0 cores=0-7
/proc/21785/task/21796/stat : 21796 (java) S 21783 21783 20814 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 100001267 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140303161427680 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21797] ppid=21783 vsize=26673876 memory=1728 CPUtime=0 cores=0-7
/proc/21785/task/21797/stat : 21797 (java) S 21783 21783 20814 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 100001267 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302757127424 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21798] ppid=21783 vsize=26673876 memory=1004 CPUtime=0 cores=0-7
/proc/21785/task/21798/stat : 21798 (java) S 21783 21783 20814 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302756075984 140304621807515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21799] ppid=21783 vsize=26673876 memory=11040 CPUtime=4.55 cores=0-7
/proc/21785/task/21799/stat : 21799 (java) S 21783 21783 20814 0 -1 1077944384 25997 0 0 0 449 6 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302755023088 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21800] ppid=21783 vsize=26673876 memory=5700 CPUtime=4.74 cores=0-7
/proc/21785/task/21800/stat : 21800 (java) S 21783 21783 20814 0 -1 1077944384 33474 0 0 0 468 6 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302753970544 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21801] ppid=21783 vsize=26673876 memory=4616 CPUtime=4.24 cores=0-7
/proc/21785/task/21801/stat : 21801 (java) S 21783 21783 20814 0 -1 1077944384 21435 0 0 0 420 4 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302752917488 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21802] ppid=21783 vsize=26673876 memory=792 CPUtime=1.23 cores=0-7
/proc/21785/task/21802/stat : 21802 (java) S 21783 21783 20814 0 -1 1077944384 16639 0 0 0 120 3 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302751864944 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21803] ppid=21783 vsize=26673876 memory=1424 CPUtime=0 cores=0-7
/proc/21785/task/21803/stat : 21803 (java) S 21783 21783 20814 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302750813152 140304621799125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=21804] ppid=21783 vsize=26673876 memory=1936 CPUtime=0.93 cores=0-7
/proc/21785/task/21804/stat : 21804 (java) S 21783 21783 20814 0 -1 1077944384 3402 0 0 0 23 70 0 0 20 0 28 0 100001270 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302749760688 140304621800066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24312] ppid=21783 vsize=26673876 memory=1224 CPUtime=1924.84 cores=0-7
/proc/21785/task/24312/stat : 24312 (java) R 21783 21783 20814 0 -1 4202560 15638 0 0 0 192450 34 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302730673352 140304259997664 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24313] ppid=21783 vsize=26673876 memory=1716 CPUtime=1924.89 cores=0-7
/proc/21785/task/24313/stat : 24313 (java) R 21783 21783 20814 0 -1 4202560 9266 0 0 0 192471 18 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302736982424 140304259997431 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24314] ppid=21783 vsize=26673876 memory=1380 CPUtime=1918.99 cores=0-7
/proc/21785/task/24314/stat : 24314 (java) R 21783 21783 20814 0 -1 4202560 7730 0 0 0 191890 9 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302741192848 140304259997664 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24315] ppid=21783 vsize=26673876 memory=7316432 CPUtime=1924.55 cores=0-7
/proc/21785/task/24315/stat : 24315 (java) R 21783 21783 20814 0 -1 4202560 13203 0 0 0 192407 48 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302739090096 140304260718014 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24316] ppid=21783 vsize=26673876 memory=1380 CPUtime=1912.61 cores=0-7
/proc/21785/task/24316/stat : 24316 (java) R 21783 21783 20814 0 -1 4202560 6394 0 0 0 191240 21 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302742245656 140304259636006 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24317] ppid=21783 vsize=26673876 memory=7316432 CPUtime=1924.94 cores=0-7
/proc/21785/task/24317/stat : 24317 (java) R 21783 21783 20814 0 -1 4202560 25285 0 0 0 192414 80 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302731726568 140304260429068 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24318] ppid=21783 vsize=26673876 memory=16444 CPUtime=1916.15 cores=0-7
/proc/21785/task/24318/stat : 24318 (java) R 21783 21783 20814 0 -1 4202560 7674 0 0 0 191603 12 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302740139592 140304259997642 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
[pid=21785/tid=24319] ppid=21783 vsize=26673876 memory=17312 CPUtime=1913.44 cores=0-7
/proc/21785/task/24319/stat : 24319 (java) R 21783 21783 20814 0 -1 4202560 27779 0 0 0 191208 136 0 0 20 0 28 0 100060754 27314049024 1829108 33554432000 4194304 4196468 140732200628784 140302735929928 140304252472049 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11603968 140732200637586 140732200637763 140732200637763 140732200640463 0
Current children cumulated CPU time: 20081.6 s
Current children cumulated vsize: 26683388 KiB
Current children cumulated memory: 7317812 KiB

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

[startup+2520.03 s]
# the end of solver process 21783 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000986 s, system=0.000986 s

[startup+2520.14 s]
# the end of solver process 21785 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20074.4 s, system=7.94596 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2520.13 s]*
/proc/loadavg: 8.52 8.34 8.28 2/181 24349
/proc/meminfo: memFree=25166688/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001972 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 20082.4
CPU user time (s): 20074.4
CPU system time (s): 7.94596
CPU usage (%): 796.875
Max. virtual memory (cumulated for all children) (KiB): 26685400
Max. memory (cumulated for all children) (KiB): 7572400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20074.4
system time used= 7.94596
maximum resident set size= 7571520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81093
involuntary context switches= 203022


# summary of solver processes directly reported to runsolver:
#   pid: 21783,21785
#   total CPU time (s): 20082.4
#   total CPU user time (s): 20074.4
#   total CPU system time (s): 7.94596

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8816 second user time and 32.15 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-14 01:52:23
IDJOB=4270801
IDBENCH=115899
IDSOLVER=2662
FILE ID=node150/4270801-1502669201
RUNJOBID= node150-1502663273-20841
PBS_JOBID= 20628962
Free space on /tmp= 61636 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-26.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270801-1502669201/watcher-4270801-1502669201 -o /tmp/evaluation-result-4270801-1502669201/solver-4270801-1502669201 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502663273-20841 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1179347832 HOME/instance-4270801-1502669201.xml

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

MD5SUM BENCH= a21a0b86f7fa853bf556b3925b3cd061
RANDOM SEED=1179347832

node150.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	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        27166676 kB
MemAvailable:   31973792 kB
Buffers:          254736 kB
Cached:          4829092 kB
SwapCached:            0 kB
Active:           726560 kB
Inactive:        4411220 kB
Active(anon):      56856 kB
Inactive(anon):    25068 kB
Active(file):     669704 kB
Inactive(file):  4386152 kB
Unevictable:        6228 kB
Mlocked:            6228 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8132 kB
Writeback:             0 kB
AnonPages:         59732 kB
Mapped:            43628 kB
Shmem:             25224 kB
Slab:             160528 kB
SReclaimable:     134192 kB
SUnreclaim:        26336 kB
KernelStack:        3232 kB
PageTables:         4392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61628 MiB
End job on node150 at 2017-08-14 02:34:23