Trace number 4280614

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-18)SAT (TO)388 20023.6 2520.1399

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-29.xml
MD5SUM1822b9c415adc1a9dd10b23e46d08c48
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark425
Best CPU time to get the best result obtained on this benchmark2519.5801
Satisfiable
(Un)Satisfiability was proved
Number of variables1954
Number of constraints1139
Number of domains4
Minimum domain size2
Maximum domain size1923
Distribution of domain sizes[{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}]
Minimum variable degree1
Maximum variable degree32
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}]
Minimum constraint arity2
Maximum constraint arity33
Distribution of constraint arities[{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}]
Number of extensional constraints957
Number of intensional constraints146
Distribution of constraint types[{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"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-4280614-1503116499.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280614-1503116499.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
7.76/2.81	c solve instance...
12.32/3.49	o 0 
13.04/3.50	o 4 
13.04/3.51	o 6 
13.52/3.64	o 8 
13.52/3.65	o 10 
13.52/3.68	o 12 
14.92/4.03	o 14 
14.92/4.06	o 16 
15.51/4.11	o 18 
15.51/4.18	o 19 
15.51/4.19	o 20 
15.51/4.19	o 21 
16.14/4.20	o 22 
16.14/4.24	o 23 
16.14/4.25	o 24 
16.14/4.25	o 25 
16.14/4.27	o 26 
16.14/4.28	o 27 
16.14/4.29	o 28 
16.14/4.29	o 29 
16.67/4.30	o 30 
16.67/4.31	o 31 
16.67/4.31	o 32 
16.67/4.31	o 33 
16.67/4.32	o 34 
16.67/4.32	o 35 
16.67/4.33	o 36 
16.67/4.33	o 37 
16.67/4.34	o 38 
16.67/4.35	o 39 
16.67/4.35	o 40 
16.67/4.38	o 41 
16.67/4.38	o 42 
16.67/4.39	o 43 
16.67/4.39	o 44 
17.29/4.40	o 45 
17.29/4.41	o 46 
17.29/4.41	o 47 
17.29/4.42	o 48 
17.29/4.42	o 49 
17.29/4.43	o 50 
17.29/4.44	o 51 
17.29/4.44	o 52 
17.29/4.45	o 53 
17.29/4.45	o 54 
17.29/4.46	o 55 
17.29/4.46	o 56 
17.29/4.47	o 57 
17.29/4.48	o 58 
17.94/4.51	o 59 
17.94/4.51	o 60 
17.94/4.52	o 61 
17.94/4.53	o 62 
17.94/4.53	o 63 
17.94/4.54	o 64 
17.94/4.54	o 65 
17.94/4.55	o 66 
17.94/4.55	o 67 
17.94/4.56	o 68 
17.94/4.56	o 69 
17.94/4.57	o 70 
17.94/4.57	o 71 
17.94/4.58	o 72 
17.94/4.58	o 73 
17.94/4.59	o 74 
17.94/4.59	o 75 
17.94/4.60	o 76 
18.55/4.60	o 77 
18.55/4.61	o 78 
18.55/4.61	o 79 
18.55/4.62	o 80 
18.55/4.63	o 81 
18.55/4.63	o 82 
18.55/4.64	o 83 
18.55/4.64	o 84 
18.55/4.65	o 85 
18.55/4.65	o 86 
18.55/4.66	o 87 
18.55/4.67	o 88 
18.55/4.67	o 89 
19.15/4.70	o 90 
19.15/4.72	o 91 
19.15/4.73	o 92 
19.15/4.73	o 93 
19.15/4.74	o 94 
19.15/4.74	o 95 
19.15/4.75	o 96 
19.15/4.76	o 97 
19.15/4.76	o 98 
19.15/4.77	o 99 
19.15/4.77	o 100 
19.15/4.78	o 101 
19.15/4.78	o 102 
19.15/4.79	o 103 
19.15/4.79	o 104 
19.15/4.80	o 105 
19.78/4.80	o 106 
19.78/4.81	o 107 
19.78/4.82	o 108 
19.78/4.82	o 109 
19.78/4.83	o 110 
19.78/4.83	o 111 
19.78/4.84	o 112 
19.78/4.84	o 113 
19.78/4.85	o 114 
19.78/4.86	o 115 
19.78/4.86	o 116 
19.78/4.87	o 117 
19.78/4.88	o 118 
19.78/4.88	o 119 
20.28/4.91	o 120 
20.28/4.92	o 121 
20.28/4.92	o 122 
20.28/4.93	o 123 
20.28/4.93	o 124 
20.28/4.94	o 125 
20.28/4.94	o 126 
20.28/4.95	o 127 
20.28/4.95	o 128 
20.28/4.96	o 129 
20.28/4.96	o 130 
20.28/4.97	o 131 
20.28/4.98	o 132 
20.28/4.98	o 133 
20.28/4.99	o 134 
20.28/5.00	o 135 
20.28/5.01	o 136 
20.83/5.01	o 137 
20.83/5.02	o 138 
20.83/5.02	o 139 
20.83/5.03	o 140 
20.83/5.03	o 141 
20.83/5.04	o 142 
20.83/5.04	o 143 
20.83/5.05	o 144 
20.83/5.05	o 145 
20.83/5.06	o 146 
20.83/5.06	o 147 
20.83/5.08	o 148 
20.83/5.08	o 149 
20.83/5.09	o 150 
20.83/5.09	o 151 
20.83/5.10	o 152 
20.83/5.11	o 153 
21.40/5.11	o 154 
21.40/5.12	o 155 
21.40/5.12	o 156 
21.40/5.13	o 157 
21.40/5.14	o 158 
21.40/5.14	o 159 
21.40/5.15	o 160 
21.40/5.15	o 161 
21.40/5.16	o 162 
21.40/5.17	o 163 
21.40/5.18	o 164 
21.40/5.18	o 165 
21.40/5.19	o 166 
21.40/5.19	o 167 
21.90/5.20	o 168 
21.90/5.20	o 169 
21.90/5.21	o 170 
21.90/5.21	o 171 
21.90/5.22	o 172 
21.90/5.23	o 173 
21.90/5.23	o 174 
21.90/5.24	o 175 
21.90/5.24	o 176 
21.90/5.25	o 177 
21.90/5.26	o 178 
21.90/5.26	o 179 
21.90/5.27	o 180 
21.90/5.27	o 181 
21.90/5.28	o 182 
21.90/5.28	o 183 
21.90/5.29	o 184 
21.90/5.30	o 185 
22.40/5.30	o 186 
22.40/5.31	o 187 
22.40/5.31	o 188 
22.40/5.32	o 189 
22.40/5.32	o 190 
22.40/5.33	o 191 
22.40/5.34	o 192 
22.40/5.35	o 193 
22.40/5.35	o 194 
22.40/5.36	o 195 
22.40/5.36	o 196 
22.40/5.37	o 197 
22.40/5.38	o 198 
22.40/5.39	o 199 
22.91/5.41	o 200 
22.91/5.42	o 201 
22.91/5.42	o 202 
22.91/5.43	o 203 
22.91/5.44	o 204 
22.91/5.44	o 205 
22.91/5.45	o 206 
22.91/5.45	o 207 
22.91/5.46	o 208 
22.91/5.47	o 209 
22.91/5.47	o 210 
22.91/5.48	o 211 
22.91/5.49	o 212 
22.91/5.49	o 213 
22.91/5.50	o 214 
23.37/5.50	o 215 
23.37/5.51	o 216 
23.37/5.51	o 217 
23.37/5.52	o 218 
23.37/5.53	o 219 
23.37/5.53	o 220 
23.37/5.54	o 221 
23.37/5.55	o 222 
23.37/5.55	o 223 
23.37/5.56	o 224 
23.37/5.57	o 225 
23.37/5.58	o 226 
23.37/5.58	o 227 
23.37/5.59	o 228 
23.37/5.60	o 229 
23.88/5.60	o 230 
23.88/5.61	o 231 
23.88/5.62	o 232 
23.88/5.63	o 233 
23.88/5.63	o 234 
23.88/5.64	o 235 
23.88/5.65	o 236 
23.88/5.65	o 237 
23.88/5.66	o 238 
23.88/5.67	o 239 
23.88/5.68	o 240 
23.88/5.68	o 241 
23.88/5.69	o 242 
23.88/5.70	o 243 
24.40/5.70	o 244 
24.40/5.71	o 245 
24.40/5.72	o 246 
24.40/5.72	o 247 
24.40/5.74	o 248 
24.40/5.76	o 249 
25.25/6.07	o 250 
25.25/6.08	o 251 
25.25/6.09	o 252 
25.25/6.09	o 253 
25.25/6.10	o 254 
25.62/6.11	o 255 
25.62/6.11	o 256 
25.62/6.12	o 257 
25.62/6.13	o 258 
25.62/6.13	o 259 
25.62/6.14	o 260 
25.62/6.15	o 261 
25.62/6.16	o 262 
25.62/6.16	o 263 
25.62/6.17	o 264 
25.62/6.18	o 265 
25.62/6.19	o 266 
25.62/6.19	o 267 
25.62/6.20	o 268 
26.09/6.21	o 269 
26.09/6.22	o 270 
26.09/6.22	o 271 
26.09/6.23	o 272 
26.09/6.24	o 273 
26.09/6.24	o 274 
26.09/6.25	o 275 
26.09/6.25	o 276 
26.09/6.26	o 277 
26.09/6.26	o 278 
26.09/6.27	o 279 
26.09/6.28	o 280 
26.09/6.29	o 281 
26.09/6.29	o 282 
26.69/6.31	o 283 
26.69/6.31	o 284 
26.69/6.32	o 285 
26.69/6.34	o 286 
26.69/6.35	o 287 
26.69/6.35	o 288 
26.69/6.36	o 289 
26.69/6.37	o 290 
26.69/6.37	o 291 
26.69/6.38	o 292 
26.69/6.39	o 293 
26.69/6.39	o 294 
26.69/6.40	o 295 
27.25/6.41	o 296 
27.25/6.41	o 297 
27.25/6.42	o 298 
27.25/6.43	o 299 
27.25/6.44	o 300 
27.25/6.45	o 301 
27.25/6.46	o 302 
27.25/6.46	o 303 
27.25/6.47	o 304 
27.25/6.48	o 305 
27.25/6.48	o 306 
27.25/6.49	o 307 
27.25/6.50	o 308 
27.78/6.51	o 309 
27.78/6.51	o 310 
27.78/6.52	o 311 
27.78/6.53	o 312 
27.78/6.54	o 313 
27.78/6.54	o 314 
27.78/6.55	o 315 
27.78/6.56	o 316 
27.78/6.56	o 317 
27.78/6.57	o 318 
27.78/6.58	o 319 
27.78/6.59	o 320 
27.78/6.59	o 321 
28.34/6.60	o 322 
28.34/6.61	o 323 
28.34/6.62	o 324 
28.34/6.63	o 325 
28.34/6.63	o 326 
28.34/6.64	o 327 
28.34/6.65	o 328 
28.34/6.66	o 329 
28.34/6.66	o 330 
28.34/6.67	o 331 
28.34/6.68	o 332 
28.34/6.69	o 333 
28.34/6.69	o 334 
28.84/6.70	o 335 
28.84/6.71	o 336 
28.84/6.74	o 337 
28.84/6.75	o 338 
28.84/6.75	o 339 
28.84/6.76	o 340 
28.84/6.77	o 341 
28.84/6.77	o 342 
28.84/6.78	o 343 
28.84/6.79	o 344 
29.38/6.80	o 345 
29.38/6.81	o 346 
29.38/6.81	o 347 
29.38/6.82	o 348 
29.38/6.83	o 349 
29.38/6.84	o 350 
29.38/6.85	o 351 
29.38/6.85	o 352 
29.38/6.86	o 353 
29.38/6.87	o 354 
29.38/6.88	o 355 
29.38/6.88	o 356 
29.38/6.89	o 357 
29.38/6.90	o 358 
29.99/6.91	o 359 
29.99/6.91	o 360 
29.99/6.92	o 361 
29.99/6.93	o 362 
29.99/6.94	o 363 
29.99/6.95	o 364 
29.99/6.95	o 365 
29.99/6.96	o 366 
29.99/6.97	o 367 
29.99/6.98	o 368 
29.99/6.99	o 369 
29.99/6.99	o 370 
29.99/7.00	o 371 
30.49/7.01	o 372 
30.49/7.02	o 373 
30.49/7.03	o 374 
30.49/7.03	o 375 
30.49/7.04	o 376 
30.49/7.05	o 377 
30.49/7.06	o 378 
30.49/7.07	o 379 
30.49/7.08	o 380 
30.49/7.09	o 381 
30.49/7.10	o 382 
31.00/7.11	o 383 
31.00/7.12	o 384 
31.00/7.13	o 385 
31.00/7.14	o 386 
31.00/7.15	o 387 
9204.82/1159.59	o 388 
20022.83/2520.09	s SATISFIABLE
20022.83/2520.09	v <instantiation>
20022.83/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[0][28] x[0][29] x[0][30] 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[1][28] x[1][29] x[1][30] 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[2][28] x[2][29] x[2][30] 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[3][28] x[3][29] x[3][30] 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[4][28] x[4][29] x[4][30] 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[5][28] x[5][29] x[5][30] 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[6][28] x[6][29] x[6][30] 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[7][28] x[7][29] x[7][30] 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[8][28] x[8][29] x[8][30] 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[9][28] x[9][29] x[9][30] 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[10][28] x[10][29] x[10][30] 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[11][28] x[11][29] x[11][30] 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[12][28] x[12][29] x[12][30] 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[13][28] x[13][29] x[13][30] 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[14][28] x[14][29] x[14][30] 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[15][28] x[15][29] x[15][30] 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[16][28] x[16][29] x[16][30] 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[17][28] x[17][29] x[17][30] 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[18][28] x[18][29] x[18][30] 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[19][28] x[19][29] x[19][30] 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[20][28] x[20][29] x[20][30] 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[21][28] x[21][29] x[21][30] 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[22][28] x[22][29] x[22][30] 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[23][28] x[23][29] x[23][30] 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[24][28] x[24][29] x[24][30] 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[25][28] x[25][29] x[25][30] 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[26][28] x[26][29] x[26][30] 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] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] 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[0][28] w[0][29] w[0][30] 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[1][28] w[1][29] w[1][30] 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[2][28] w[2][29] w[2][30] 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[3][28] w[3][29] w[3][30] 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[4][28] w[4][29] w[4][30] 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[5][28] w[5][29] w[5][30] 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[6][28] w[6][29] w[6][30] 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[7][28] w[7][29] w[7][30] 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[8][28] w[8][29] w[8][30] 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[9][28] w[9][29] w[9][30] 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[10][28] w[10][29] w[10][30] 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[11][28] w[11][29] w[11][30] 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[12][28] w[12][29] w[12][30] 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[13][28] w[13][29] w[13][30] 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[14][28] w[14][29] w[14][30] 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[15][28] w[15][29] w[15][30] 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[16][28] w[16][29] w[16][30] 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[17][28] w[17][29] w[17][30] 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[18][28] w[18][29] w[18][30] 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[19][28] w[19][29] w[19][30] 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[20][28] w[20][29] w[20][30] 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[21][28] w[21][29] w[21][30] 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[22][28] w[22][29] w[22][30] 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[23][28] w[23][29] w[23][30] 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[24][28] w[24][29] w[24][30] 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[25][28] w[25][29] w[25][30] 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[26][28] w[26][29] w[26][30] 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] w[27][28] w[27][29] w[27][30] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] 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] ws[28] ws[29] ws[30] z </list>
20022.83/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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 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 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 2 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 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 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 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 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 0 0 0 1 2 1 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 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 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 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 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 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 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 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 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 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 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 0 2 1 0 1 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 2 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 2 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 2 2 2 1 0 0 0 2 1 0 0 0 0 0 0 0 1 1 2 1 2 2 1 1 1 0 1 2 1 1 0 1 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 9 9 9 20 20 20 53 57 58 60 64 66 92 97 99 100 103 110 127 128 130 141 141 145 158 163 174 185 196 224 246 388 </values>
20022.83/2520.09	v </instantiation>
20022.83/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	388

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280614-1503116499/watcher-4280614-1503116499 -o /tmp/evaluation-result-4280614-1503116499/solver-4280614-1503116499 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503110594-27666 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1341826213 HOME/instance-4280614-1503116499.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=28607, runsolver pid=28604

[startup+0.100136 s]*
/proc/loadavg: 7.75 8.27 8.30 2/199 28628
/proc/meminfo: memFree=29007700/32770624 swapFree=67108860/67108860
[pid=28607] ppid=28604 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28607/stat : 28607 (xcsp3-exec) S 28604 28607 27639 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144738084 9740288 346 33554432000 4194304 5098028 140727322161408 140727322159512 139832555324028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17096704 140727322170468 140727322170679 140727322170679 140727322173419 0
/proc/28607/statm: 2378 346 289 221 0 87 0
[pid=28609] ppid=28607 vsize=25999808 memory=26532 CPUtime=0.12 cores=0-7
/proc/28609/stat : 28609 (java) S 28607 28607 27639 0 -1 1077944320 5517 0 0 0 10 2 0 0 20 0 20 0 144738084 26623803392 6633 33554432000 4194304 4196468 140731119557104 140731119539648 139860371295991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
/proc/28609/statm: 6499952 6633 2863 1 0 6488269 0
[pid=28609/tid=28610] ppid=28607 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28609/task/28610/stat : 28610 (java) R 28607 28607 27639 0 -1 4202560 3514 0 0 0 8 1 0 0 20 0 20 0 144738085 26623803392 6633 33554432000 4194304 4196468 140731119557104 139860375524224 139860371307926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28611] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28611/stat : 28611 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26623803392 6633 33554432000 4194304 4196468 140731119557104 139860323916816 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28612] ppid=28607 vsize=25999808 memory=140368217060992 CPUtime=0 cores=0-7
/proc/28609/task/28612/stat : 28612 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738085 26623803392 6633 33554432000 4194304 4196468 140731119557104 139860322864272 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28613] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28613/stat : 28613 (java) S 28607 28607 27639 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144738085 26623803392 6633 33554432000 4194304 4196468 140731119557104 139860321811216 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28614] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28614/stat : 28614 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738085 26623803392 6633 33554432000 4194304 4196468 140731119557104 139860320758672 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28615] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28615/stat : 28615 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26623803392 6633 33554432000 4194304 4196468 140731119557104 139860319705616 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28616] ppid=28607 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28609/task/28616/stat : 28616 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738085 26623803392 6633 33554432000 4194304 4196468 140731119557104 139860318653072 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28617] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28617/stat : 28617 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26623803392 6633 33554432000 4194304 4196468 140731119557104 139860317600016 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28618] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28618/stat : 28618 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26623803392 6633 33554432000 4194304 4196468 140731119557104 139860316547472 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28619] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28619/stat : 28619 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738087 26623803392 6633 33554432000 4194304 4196468 140731119557104 139858777463536 139860371307138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28620] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28620/stat : 28620 (java) S 28607 28607 27639 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144738087 26623803392 6633 33554432000 4194304 4196468 140731119557104 139858776409760 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28621] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28621/stat : 28621 (java) S 28607 28607 27639 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144738088 26623803392 6633 33554432000 4194304 4196468 140731119557104 139858775356656 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28622] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28622/stat : 28622 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738090 26623803392 6633 33554432000 4194304 4196468 140731119557104 139858774305232 139860371314587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28623] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28623/stat : 28623 (java) S 28607 28607 27639 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 144738090 26623803392 6633 33554432000 4194304 4196468 140731119557104 139858773252336 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28624] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28624/stat : 28624 (java) S 28607 28607 27639 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 144738090 26623803392 6633 33554432000 4194304 4196468 140731119557104 139858772199792 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28625] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28625/stat : 28625 (java) R 28607 28607 27639 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144738090 26623803392 6633 33554432000 4194304 4196468 140731119557104 139858771146736 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28626] ppid=28607 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/28609/task/28626/stat : 28626 (java) R 28607 28607 27639 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 20 0 144738090 26623803392 6633 33554432000 4194304 4196468 140731119557104 139858770094192 139860371307926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28627] ppid=28607 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28627/stat : 28627 (java) S 28607 28607 27639 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144738090 26623803392 6633 33554432000 4194304 4196468 140731119557104 139858769042400 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28628] ppid=28607 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28609/task/28628/stat : 28628 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738090 26623803392 6633 33554432000 4194304 4196468 140731119557104 139858767989936 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27916 KiB

[startup+0.210348 s]*
/proc/loadavg: 7.75 8.27 8.30 2/199 28628
/proc/meminfo: memFree=28996536/32770624 swapFree=67108860/67108860
[pid=28607] ppid=28604 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28607/stat : 28607 (xcsp3-exec) S 28604 28607 27639 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144738084 9740288 346 33554432000 4194304 5098028 140727322161408 140727322159512 139832555324028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17096704 140727322170468 140727322170679 140727322170679 140727322173419 0
/proc/28607/statm: 2378 346 289 221 0 87 0
[pid=28609] ppid=28607 vsize=26004064 memory=39244 CPUtime=0.33 cores=0-7
/proc/28609/stat : 28609 (java) S 28607 28607 27639 0 -1 1077944320 8377 0 0 0 30 3 0 0 20 0 20 0 144738084 26628161536 9811 33554432000 4194304 4196468 140731119557104 140731119539648 139860371295991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
/proc/28609/statm: 6501016 9811 3065 1 0 6488269 0
[pid=28609/tid=28610] ppid=28607 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28609/task/28610/stat : 28610 (java) R 28607 28607 27639 0 -1 4202560 5480 0 0 0 18 2 0 0 20 0 20 0 144738085 26628161536 9811 33554432000 4194304 4196468 140731119557104 139860375506800 139860364013095 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28611] ppid=28607 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/28609/task/28611/stat : 28611 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 9811 33554432000 4194304 4196468 140731119557104 139860323916816 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28612] ppid=28607 vsize=26004064 memory=3690617294754100896 CPUtime=0 cores=0-7
/proc/28609/task/28612/stat : 28612 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 9811 33554432000 4194304 4196468 140731119557104 139860322864272 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28613] ppid=28607 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28609/task/28613/stat : 28613 (java) S 28607 28607 27639 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 9811 33554432000 4194304 4196468 140731119557104 139860321811216 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28614] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28614/stat : 28614 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 9811 33554432000 4194304 4196468 140731119557104 139860320758672 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28615] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28615/stat : 28615 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 9811 33554432000 4194304 4196468 140731119557104 139860319705616 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28616] ppid=28607 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/28609/task/28616/stat : 28616 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738085 26628194304 9811 33554432000 4194304 4196468 140731119557104 139860318653072 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28617] ppid=28607 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28617/stat : 28617 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26628194304 9811 33554432000 4194304 4196468 140731119557104 139860317600016 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28618] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28618/stat : 28618 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 9811 33554432000 4194304 4196468 140731119557104 139860316547472 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28619] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28619/stat : 28619 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738087 26628161536 9811 33554432000 4194304 4196468 140731119557104 139858777463536 139860371307138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28620] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28620/stat : 28620 (java) S 28607 28607 27639 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144738087 26628161536 9811 33554432000 4194304 4196468 140731119557104 139858776409760 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28621] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28621/stat : 28621 (java) S 28607 28607 27639 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144738088 26628161536 9811 33554432000 4194304 4196468 140731119557104 139858775356656 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28622] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28622/stat : 28622 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738090 26628161536 9811 33554432000 4194304 4196468 140731119557104 139858774305232 139860371314587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28623] ppid=28607 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/28609/task/28623/stat : 28623 (java) S 28607 28607 27639 0 -1 1077944384 535 0 0 0 2 0 0 0 20 0 20 0 144738090 26628194304 9811 33554432000 4194304 4196468 140731119557104 139858773252336 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28624] ppid=28607 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28609/task/28624/stat : 28624 (java) S 28607 28607 27639 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 144738090 26628161536 9811 33554432000 4194304 4196468 140731119557104 139858772199792 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28625] ppid=28607 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/28609/task/28625/stat : 28625 (java) S 28607 28607 27639 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 144738090 26628161536 9811 33554432000 4194304 4196468 140731119557104 139858771146736 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28626] ppid=28607 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/28609/task/28626/stat : 28626 (java) S 28607 28607 27639 0 -1 1077944384 753 0 0 0 7 0 0 0 20 0 20 0 144738090 26628161536 9811 33554432000 4194304 4196468 140731119557104 139858770094192 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28627] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28627/stat : 28627 (java) S 28607 28607 27639 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144738090 26628161536 9811 33554432000 4194304 4196468 140731119557104 139858769042400 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28628] ppid=28607 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28609/task/28628/stat : 28628 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738090 26628161536 9811 33554432000 4194304 4196468 140731119557104 139858767989936 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40628 KiB

[startup+0.318167 s]*
/proc/loadavg: 7.75 8.27 8.30 4/199 28628
/proc/meminfo: memFree=28990200/32770624 swapFree=67108860/67108860
[pid=28607] ppid=28604 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28607/stat : 28607 (xcsp3-exec) S 28604 28607 27639 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144738084 9740288 346 33554432000 4194304 5098028 140727322161408 140727322159512 139832555324028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17096704 140727322170468 140727322170679 140727322170679 140727322173419 0
/proc/28607/statm: 2378 346 289 221 0 87 0
[pid=28609] ppid=28607 vsize=26004064 memory=46124 CPUtime=0.55 cores=0-7
/proc/28609/stat : 28609 (java) S 28607 28607 27639 0 -1 1077944320 9217 0 0 0 51 4 0 0 20 0 20 0 144738084 26628161536 11531 33554432000 4194304 4196468 140731119557104 140731119539648 139860371295991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
/proc/28609/statm: 6501016 11531 3092 1 0 6488269 0
[pid=28609/tid=28610] ppid=28607 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/28609/task/28610/stat : 28610 (java) R 28607 28607 27639 0 -1 4202560 6090 0 0 0 28 2 0 0 20 0 20 0 144738085 26628161536 11531 33554432000 4194304 4196468 140731119557104 139860375526752 139859991748724 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28611] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28611/stat : 28611 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 11531 33554432000 4194304 4196468 140731119557104 139860323916816 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28612] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28612/stat : 28612 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 11531 33554432000 4194304 4196468 140731119557104 139860322864272 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28613] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28613/stat : 28613 (java) S 28607 28607 27639 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 11531 33554432000 4194304 4196468 140731119557104 139860321811216 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28614] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28614/stat : 28614 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 11531 33554432000 4194304 4196468 140731119557104 139860320758672 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28615] ppid=28607 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/28609/task/28615/stat : 28615 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 11531 33554432000 4194304 4196468 140731119557104 139860319705616 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28616] ppid=28607 vsize=26004064 memory=140368054154159 CPUtime=0 cores=0-7
/proc/28609/task/28616/stat : 28616 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 11531 33554432000 4194304 4196468 140731119557104 139860318653072 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28617] ppid=28607 vsize=26004064 memory=140368054156464 CPUtime=0 cores=0-7
/proc/28609/task/28617/stat : 28617 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 11531 33554432000 4194304 4196468 140731119557104 139860317600016 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28618] ppid=28607 vsize=26004064 memory=140368054158768 CPUtime=0 cores=0-7
/proc/28609/task/28618/stat : 28618 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26628161536 11531 33554432000 4194304 4196468 140731119557104 139860316547472 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28619] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28619/stat : 28619 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738087 26628161536 11531 33554432000 4194304 4196468 140731119557104 139858777463536 139860371307138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28620] ppid=28607 vsize=26004064 memory=280736108324496 CPUtime=0 cores=0-7
/proc/28609/task/28620/stat : 28620 (java) S 28607 28607 27639 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144738087 26628161536 11531 33554432000 4194304 4196468 140731119557104 139858776409760 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28621] ppid=28607 vsize=26004064 memory=280736108331408 CPUtime=0 cores=0-7
/proc/28609/task/28621/stat : 28621 (java) S 28607 28607 27639 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144738088 26628161536 11531 33554432000 4194304 4196468 140731119557104 139858775356656 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28622] ppid=28607 vsize=26004064 memory=280736108272688 CPUtime=0 cores=0-7
/proc/28609/task/28622/stat : 28622 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738090 26628161536 11531 33554432000 4194304 4196468 140731119557104 139858774305232 139860371314587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28623] ppid=28607 vsize=26004064 memory=280736108345232 CPUtime=0.03 cores=0-7
/proc/28609/task/28623/stat : 28623 (java) R 28607 28607 27639 0 -1 4202560 540 0 0 0 3 0 0 0 20 0 20 0 144738090 26628161536 11531 33554432000 4194304 4196468 140731119557104 139858773252336 139860354682896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28624] ppid=28607 vsize=26004064 memory=280736108352144 CPUtime=0.03 cores=0-7
/proc/28609/task/28624/stat : 28624 (java) R 28607 28607 27639 0 -1 4202560 300 0 0 0 3 0 0 0 20 0 20 0 144738090 26628161536 11531 33554432000 4194304 4196468 140731119557104 139858772189392 139860351985888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28625] ppid=28607 vsize=26004064 memory=280736108349840 CPUtime=0.02 cores=0-7
/proc/28609/task/28625/stat : 28625 (java) R 28607 28607 27639 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 20 0 144738090 26628161536 11531 33554432000 4194304 4196468 140731119557104 139858771146736 139860371317338 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28626] ppid=28607 vsize=26004064 memory=280736108366000 CPUtime=0.13 cores=0-7
/proc/28609/task/28626/stat : 28626 (java) R 28607 28607 27639 0 -1 4202560 877 0 0 0 13 0 0 0 20 0 20 0 144738090 26628161536 11531 33554432000 4194304 4196468 140731119557104 139858770089920 139860355477841 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28627] ppid=28607 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28627/stat : 28627 (java) S 28607 28607 27639 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144738090 26628161536 11531 33554432000 4194304 4196468 140731119557104 139858769042400 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28628] ppid=28607 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28609/task/28628/stat : 28628 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738090 26628161536 11531 33554432000 4194304 4196468 140731119557104 139858767989936 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47508 KiB

[startup+0.700995 s]
/proc/loadavg: 7.75 8.27 8.30 6/199 28628
/proc/meminfo: memFree=28968520/32770624 swapFree=67108860/67108860
[pid=28607] ppid=28604 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28607/stat : 28607 (xcsp3-exec) S 28604 28607 27639 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144738084 9740288 346 33554432000 4194304 5098028 140727322161408 140727322159512 139832555324028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17096704 140727322170468 140727322170679 140727322170679 140727322173419 0
/proc/28607/statm: 2378 346 289 221 0 87 0
[pid=28609] ppid=28607 vsize=26006188 memory=81260 CPUtime=1.96 cores=0-7
/proc/28609/stat : 28609 (java) S 28607 28607 27639 0 -1 1077944320 12892 0 0 0 191 5 0 0 20 0 20 0 144738084 26630336512 20315 33554432000 4194304 4196468 140731119557104 140731119539648 139860371295991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
/proc/28609/statm: 6501547 20315 3202 1 0 6488781 0
[pid=28609/tid=28610] ppid=28607 vsize=26006188 memory=280736108723888 CPUtime=0.67 cores=0-7
/proc/28609/task/28610/stat : 28610 (java) R 28607 28607 27639 0 -1 4202560 6618 0 0 0 65 2 0 0 20 0 20 0 144738085 26630336512 20315 33554432000 4194304 4196468 140731119557104 139860375532192 139859994157035 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28611] ppid=28607 vsize=26006188 memory=140368054362992 CPUtime=0 cores=0-7
/proc/28609/task/28611/stat : 28611 (java) S 28607 28607 27639 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144738085 26630336512 20315 33554432000 4194304 4196468 140731119557104 139860323916816 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28612] ppid=28607 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/28609/task/28612/stat : 28612 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144738085 26630336512 20315 33554432000 4194304 4196468 140731119557104 139860322864272 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28613] ppid=28607 vsize=26006188 memory=5800 CPUtime=0 cores=0-7
/proc/28609/task/28613/stat : 28613 (java) S 28607 28607 27639 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144738085 26630336512 20315 33554432000 4194304 4196468 140731119557104 139860321811216 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0

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

/proc/meminfo: memFree=21841956/32770624 swapFree=67108860/67108860
[pid=28607] ppid=28604 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28607/stat : 28607 (xcsp3-exec) S 28604 28607 27639 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144738084 9740288 346 33554432000 4194304 5098028 140727322161408 140727322159512 139832555324028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17096704 140727322170468 140727322170679 140727322170679 140727322173419 0
/proc/28607/statm: 2378 346 289 221 0 87 0
[pid=28609] ppid=28607 vsize=26607312 memory=7179064 CPUtime=19882 cores=0-7
/proc/28609/stat : 28609 (java) S 28607 28607 27639 0 -1 1077944320 1083688 0 0 0 1987203 997 0 0 20 0 28 0 144738084 27245887488 1794766 33554432000 4194304 4196468 140731119557104 140731119539648 139860371295991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
/proc/28609/statm: 6651828 1794766 3310 1 0 6639062 0
[pid=28609/tid=28610] ppid=28607 vsize=26607312 memory=1384 CPUtime=3.04 cores=0-7
/proc/28609/task/28610/stat : 28610 (java) S 28607 28607 27639 0 -1 1077944384 10077 0 0 0 295 9 0 0 20 0 28 0 144738085 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139860375536688 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28611] ppid=28607 vsize=26607312 memory=7181628 CPUtime=6.16 cores=0-7
/proc/28609/task/28611/stat : 28611 (java) S 28607 28607 27639 0 -1 1077944384 32661 0 0 0 598 18 0 0 20 0 28 0 144738085 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139860323916816 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28612] ppid=28607 vsize=26607312 memory=1384 CPUtime=6.12 cores=0-7
/proc/28609/task/28612/stat : 28612 (java) S 28607 28607 27639 0 -1 1077944384 41948 0 0 0 590 22 0 0 20 0 28 0 144738085 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139860322864272 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28613] ppid=28607 vsize=26607312 memory=1384 CPUtime=6.12 cores=0-7
/proc/28609/task/28613/stat : 28613 (java) S 28607 28607 27639 0 -1 1077944384 37437 0 0 0 591 21 0 0 20 0 28 0 144738085 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139860321811216 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28614] ppid=28607 vsize=26607312 memory=8600 CPUtime=6.11 cores=0-7
/proc/28609/task/28614/stat : 28614 (java) S 28607 28607 27639 0 -1 1077944384 38634 0 0 0 592 19 0 0 20 0 28 0 144738085 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139860320758672 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28615] ppid=28607 vsize=26607312 memory=1724 CPUtime=6.13 cores=0-7
/proc/28609/task/28615/stat : 28615 (java) S 28607 28607 27639 0 -1 1077944384 38677 0 0 0 592 21 0 0 20 0 28 0 144738085 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139860319705616 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28616] ppid=28607 vsize=26607312 memory=0 CPUtime=6.08 cores=0-7
/proc/28609/task/28616/stat : 28616 (java) S 28607 28607 27639 0 -1 1077944384 35193 0 0 0 587 21 0 0 20 0 28 0 144738085 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139860318653072 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28617] ppid=28607 vsize=26607312 memory=-7745171290612657811 CPUtime=6.13 cores=0-7
/proc/28609/task/28617/stat : 28617 (java) S 28607 28607 27639 0 -1 1077944384 36753 0 0 0 594 19 0 0 20 0 28 0 144738085 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139860317600016 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28618] ppid=28607 vsize=26607312 memory=7180088 CPUtime=6.17 cores=0-7
/proc/28609/task/28618/stat : 28618 (java) S 28607 28607 27639 0 -1 1077944384 42231 0 0 0 596 21 0 0 20 0 28 0 144738085 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139860316547472 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28619] ppid=28607 vsize=26607312 memory=1296 CPUtime=3.17 cores=0-7
/proc/28609/task/28619/stat : 28619 (java) S 28607 28607 27639 0 -1 1077944384 180977 0 0 0 236 81 0 0 20 0 28 0 144738087 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139858777463536 139860371307138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28620] ppid=28607 vsize=26607312 memory=2404 CPUtime=0 cores=0-7
/proc/28609/task/28620/stat : 28620 (java) S 28607 28607 27639 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 144738087 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139858776409888 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28621] ppid=28607 vsize=26607312 memory=1384 CPUtime=0 cores=0-7
/proc/28609/task/28621/stat : 28621 (java) S 28607 28607 27639 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 28 0 144738088 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139858775356736 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28622] ppid=28607 vsize=26607312 memory=1384 CPUtime=0 cores=0-7
/proc/28609/task/28622/stat : 28622 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144738090 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139858774305232 139860371314587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28623] ppid=28607 vsize=26607312 memory=1384 CPUtime=3.59 cores=0-7
/proc/28609/task/28623/stat : 28623 (java) S 28607 28607 27639 0 -1 1077944384 18603 0 0 0 355 4 0 0 20 0 28 0 144738090 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139858773252336 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28624] ppid=28607 vsize=26607312 memory=1732 CPUtime=3.92 cores=0-7
/proc/28609/task/28624/stat : 28624 (java) S 28607 28607 27639 0 -1 1077944384 26087 0 0 0 388 4 0 0 20 0 28 0 144738090 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139858772199792 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28625] ppid=28607 vsize=26607312 memory=796 CPUtime=4.23 cores=0-7
/proc/28609/task/28625/stat : 28625 (java) S 28607 28607 27639 0 -1 1077944384 25015 0 0 0 420 3 0 0 20 0 28 0 144738090 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139858771146736 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28626] ppid=28607 vsize=26607312 memory=1004 CPUtime=1.26 cores=0-7
/proc/28609/task/28626/stat : 28626 (java) S 28607 28607 27639 0 -1 1077944384 17493 0 0 0 122 4 0 0 20 0 28 0 144738090 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139858770094192 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28627] ppid=28607 vsize=26607312 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/28609/task/28627/stat : 28627 (java) S 28607 28607 27639 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144738090 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139858769042400 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28628] ppid=28607 vsize=26607312 memory=7784 CPUtime=0.95 cores=0-7
/proc/28609/task/28628/stat : 28628 (java) S 28607 28607 27639 0 -1 1077944384 9136 0 0 0 37 58 0 0 20 0 28 0 144738090 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139858767989936 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31677] ppid=28607 vsize=26607312 memory=1384 CPUtime=1332.09 cores=0-7
/proc/28609/task/31677/stat : 31677 (java) R 28607 28607 27639 0 -1 4202560 30439 0 0 0 133197 12 0 0 20 0 28 0 144854044 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139857949957592 139859999153732 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31678] ppid=28607 vsize=26607312 memory=7180604 CPUtime=1327.61 cores=0-7
/proc/28609/task/31678/stat : 31678 (java) R 28607 28607 27639 0 -1 4202560 22868 0 0 0 132753 8 0 0 20 0 28 0 144854044 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139857953117448 139860000756252 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31679] ppid=28607 vsize=26607312 memory=6791534058613427641 CPUtime=1330.72 cores=0-7
/proc/28609/task/31679/stat : 31679 (java) R 28607 28607 27639 0 -1 4202560 18227 0 0 0 133062 10 0 0 20 0 28 0 144854044 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139857948905584 139860000564896 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31680] ppid=28607 vsize=26607312 memory=7183168 CPUtime=1327.87 cores=0-7
/proc/28609/task/31680/stat : 31680 (java) R 28607 28607 27639 0 -1 4202560 34484 0 0 0 132773 14 0 0 20 0 28 0 144854044 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139857952064016 139859999364479 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31681] ppid=28607 vsize=26607312 memory=2404 CPUtime=1332.53 cores=0-7
/proc/28609/task/31681/stat : 31681 (java) R 28607 28607 27639 0 -1 4202560 17881 0 0 0 133243 10 0 0 20 0 28 0 144854044 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139857951010752 139859999362643 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31682] ppid=28607 vsize=26607312 memory=1732 CPUtime=1330.93 cores=0-7
/proc/28609/task/31682/stat : 31682 (java) R 28607 28607 27639 0 -1 4202560 49396 0 0 0 133075 18 0 0 20 0 28 0 144854044 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139857946800392 139860000126080 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31683] ppid=28607 vsize=26607312 memory=2404 CPUtime=1333.25 cores=0-7
/proc/28609/task/31683/stat : 31683 (java) R 28607 28607 27639 0 -1 4202560 19740 0 0 0 133318 7 0 0 20 0 28 0 144854044 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139858766434280 139859998848660 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31684] ppid=28607 vsize=26607312 memory=1732 CPUtime=1329.33 cores=0-7
/proc/28609/task/31684/stat : 31684 (java) R 28607 28607 27639 0 -1 4202560 49424 0 0 0 132908 25 0 0 20 0 28 0 144854044 27245887488 1794766 33554432000 4194304 4196468 140731119557104 139857947855696 139859999957356 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
Current children cumulated CPU time: 19882 s
Current children cumulated vsize: 26616824 KiB
Current children cumulated memory: 7180448 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.29 8.50 8.42 9/207 31702
/proc/meminfo: memFree=21851064/32770624 swapFree=67108860/67108860
[pid=28607] ppid=28604 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28607/stat : 28607 (xcsp3-exec) S 28604 28607 27639 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144738084 9740288 346 33554432000 4194304 5098028 140727322161408 140727322159512 139832555324028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17096704 140727322170468 140727322170679 140727322170679 140727322173419 0
/proc/28607/statm: 2378 346 289 221 0 87 0
[pid=28609] ppid=28607 vsize=26607312 memory=7170856 CPUtime=20022.8 cores=0-7
/proc/28609/stat : 28609 (java) S 28607 28607 27639 0 -1 1077944320 1088279 0 0 0 2001284 999 0 0 20 0 28 0 144738084 27245887488 1792714 33554432000 4194304 4196468 140731119557104 140731119539648 139860371295991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
/proc/28609/statm: 6651828 1792714 3310 1 0 6639062 0
[pid=28609/tid=28610] ppid=28607 vsize=26607312 memory=1940 CPUtime=3.04 cores=0-7
/proc/28609/task/28610/stat : 28610 (java) S 28607 28607 27639 0 -1 1077944384 10077 0 0 0 295 9 0 0 20 0 28 0 144738085 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139860375536688 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28611] ppid=28607 vsize=26607312 memory=4126316290023845779 CPUtime=6.22 cores=0-7
/proc/28609/task/28611/stat : 28611 (java) S 28607 28607 27639 0 -1 1077944384 32887 0 0 0 604 18 0 0 20 0 28 0 144738085 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139860323916816 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28612] ppid=28607 vsize=26607312 memory=1940 CPUtime=6.18 cores=0-7
/proc/28609/task/28612/stat : 28612 (java) S 28607 28607 27639 0 -1 1077944384 42278 0 0 0 596 22 0 0 20 0 28 0 144738085 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139860322864272 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28613] ppid=28607 vsize=26607312 memory=1424 CPUtime=6.18 cores=0-7
/proc/28609/task/28613/stat : 28613 (java) S 28607 28607 27639 0 -1 1077944384 37545 0 0 0 597 21 0 0 20 0 28 0 144738085 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139860321811216 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28614] ppid=28607 vsize=26607312 memory=8600 CPUtime=6.17 cores=0-7
/proc/28609/task/28614/stat : 28614 (java) S 28607 28607 27639 0 -1 1077944384 39090 0 0 0 598 19 0 0 20 0 28 0 144738085 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139860320758672 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28615] ppid=28607 vsize=26607312 memory=1724 CPUtime=6.19 cores=0-7
/proc/28609/task/28615/stat : 28615 (java) S 28607 28607 27639 0 -1 1077944384 38775 0 0 0 598 21 0 0 20 0 28 0 144738085 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139860319705616 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28616] ppid=28607 vsize=26607312 memory=11104 CPUtime=6.14 cores=0-7
/proc/28609/task/28616/stat : 28616 (java) S 28607 28607 27639 0 -1 1077944384 35482 0 0 0 593 21 0 0 20 0 28 0 144738085 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139860318653072 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28617] ppid=28607 vsize=26607312 memory=1224 CPUtime=6.19 cores=0-7
/proc/28609/task/28617/stat : 28617 (java) S 28607 28607 27639 0 -1 1077944384 36926 0 0 0 600 19 0 0 20 0 28 0 144738085 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139860317600016 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28618] ppid=28607 vsize=26607312 memory=5800 CPUtime=6.23 cores=0-7
/proc/28609/task/28618/stat : 28618 (java) S 28607 28607 27639 0 -1 1077944384 42367 0 0 0 602 21 0 0 20 0 28 0 144738085 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139860316547472 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28619] ppid=28607 vsize=26607312 memory=6791534058613427641 CPUtime=3.21 cores=0-7
/proc/28609/task/28619/stat : 28619 (java) S 28607 28607 27639 0 -1 1077944384 181662 0 0 0 239 82 0 0 20 0 28 0 144738087 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139858777463536 139860371307138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28620] ppid=28607 vsize=26607312 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/28609/task/28620/stat : 28620 (java) S 28607 28607 27639 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 144738087 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139858776409888 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28621] ppid=28607 vsize=26607312 memory=15880 CPUtime=0 cores=0-7
/proc/28609/task/28621/stat : 28621 (java) S 28607 28607 27639 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 28 0 144738088 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139858775356736 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28622] ppid=28607 vsize=26607312 memory=16236 CPUtime=0 cores=0-7
/proc/28609/task/28622/stat : 28622 (java) S 28607 28607 27639 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144738090 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139858774305232 139860371314587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28623] ppid=28607 vsize=26607312 memory=4044 CPUtime=3.59 cores=0-7
/proc/28609/task/28623/stat : 28623 (java) S 28607 28607 27639 0 -1 1077944384 18608 0 0 0 355 4 0 0 20 0 28 0 144738090 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139858773252336 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28624] ppid=28607 vsize=26607312 memory=23200 CPUtime=3.92 cores=0-7
/proc/28609/task/28624/stat : 28624 (java) S 28607 28607 27639 0 -1 1077944384 26097 0 0 0 388 4 0 0 20 0 28 0 144738090 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139858772199792 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28625] ppid=28607 vsize=26607312 memory=1232 CPUtime=4.23 cores=0-7
/proc/28609/task/28625/stat : 28625 (java) S 28607 28607 27639 0 -1 1077944384 25021 0 0 0 420 3 0 0 20 0 28 0 144738090 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139858771146736 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28626] ppid=28607 vsize=26607312 memory=648 CPUtime=1.26 cores=0-7
/proc/28609/task/28626/stat : 28626 (java) S 28607 28607 27639 0 -1 1077944384 17499 0 0 0 122 4 0 0 20 0 28 0 144738090 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139858770094192 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28627] ppid=28607 vsize=26607312 memory=1796 CPUtime=0 cores=0-7
/proc/28609/task/28627/stat : 28627 (java) S 28607 28607 27639 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144738090 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139858769042400 139860371306197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=28628] ppid=28607 vsize=26607312 memory=40340 CPUtime=0.95 cores=0-7
/proc/28609/task/28628/stat : 28628 (java) S 28607 28607 27639 0 -1 1077944384 9174 0 0 0 37 58 0 0 20 0 28 0 144738090 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139858767989936 139860371307138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31677] ppid=28607 vsize=26607312 memory=1296 CPUtime=1349.69 cores=0-7
/proc/28609/task/31677/stat : 31677 (java) R 28607 28607 27639 0 -1 4202560 30744 0 0 0 134957 12 0 0 20 0 28 0 144854044 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139857949957376 139859994129985 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31678] ppid=28607 vsize=26607312 memory=288230574492221466 CPUtime=1345.09 cores=0-7
/proc/28609/task/31678/stat : 31678 (java) R 28607 28607 27639 0 -1 4202560 23007 0 0 0 134500 9 0 0 20 0 28 0 144854044 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139857953116624 139860356505980 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31679] ppid=28607 vsize=26607312 memory=6791534058613427641 CPUtime=1348.33 cores=0-7
/proc/28609/task/31679/stat : 31679 (java) R 28607 28607 27639 0 -1 4202560 18386 0 0 0 134823 10 0 0 20 0 28 0 144854044 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139857948906152 139859998848979 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31680] ppid=28607 vsize=26607312 memory=15255943717849665 CPUtime=1345.39 cores=0-7
/proc/28609/task/31680/stat : 31680 (java) R 28607 28607 27639 0 -1 4202560 34706 0 0 0 134524 15 0 0 20 0 28 0 144854044 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139857952066768 139859999957397 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31681] ppid=28607 vsize=26607312 memory=4044 CPUtime=1350.03 cores=0-7
/proc/28609/task/31681/stat : 31681 (java) R 28607 28607 27639 0 -1 4202560 18054 0 0 0 134993 10 0 0 20 0 28 0 144854044 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139857951011464 139859994129990 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31682] ppid=28607 vsize=26607312 memory=23200 CPUtime=1348.47 cores=0-7
/proc/28609/task/31682/stat : 31682 (java) R 28607 28607 27639 0 -1 4202560 49762 0 0 0 134829 18 0 0 20 0 28 0 144854044 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139857946800392 139859993290109 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31683] ppid=28607 vsize=26607312 memory=1232 CPUtime=1350.85 cores=0-7
/proc/28609/task/31683/stat : 31683 (java) R 28607 28607 27639 0 -1 4202560 19897 0 0 0 135078 7 0 0 20 0 28 0 144854044 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139858766434360 139859994777308 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
[pid=28609/tid=31684] ppid=28607 vsize=26607312 memory=648 CPUtime=1346.8 cores=0-7
/proc/28609/task/31684/stat : 31684 (java) R 28607 28607 27639 0 -1 4202560 49928 0 0 0 134655 25 0 0 20 0 28 0 144854044 27245887488 1792714 33554432000 4194304 4196468 140731119557104 139857947852368 139859999513873 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 18198528 140731119563922 140731119564099 140731119564099 140731119566799 0
Current children cumulated CPU time: 20022.8 s
Current children cumulated vsize: 26616824 KiB
Current children cumulated memory: 7172240 KiB

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

[startup+2520.04 s]
# the end of solver process 28607 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001911 s, system=0 s

[startup+2520.14 s]
# the end of solver process 28609 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20013.6 s, system=10.0302 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.29 8.50 8.42 2/180 31704
/proc/meminfo: memFree=27378056/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001911 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): 20023.6
CPU user time (s): 20013.6
CPU system time (s): 10.0302
CPU usage (%): 794.544
Max. virtual memory (cumulated for all children) (KiB): 26616824
Max. memory (cumulated for all children) (KiB): 7602772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20013.6
system time used= 10.0302
maximum resident set size= 7606604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1090307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 244257
involuntary context switches= 225120


# summary of solver processes directly reported to runsolver:
#   pid: 28607,28609
#   total CPU time (s): 20023.6
#   total CPU user time (s): 20013.6
#   total CPU system time (s): 10.0302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5758 second user time and 31.7601 second system time

The end

Launcher Data 

Begin job on node102 at 2017-08-19 06:07:19
IDJOB=4280614
IDBENCH=115913
IDSOLVER=2675
FILE ID=node102/4280614-1503116499
RUNJOBID= node102-1503110594-27666
PBS_JOBID= 20630757
Free space on /tmp= 61880 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.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-4280614-1503116499/watcher-4280614-1503116499 -o /tmp/evaluation-result-4280614-1503116499/solver-4280614-1503116499 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503110594-27666 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1341826213 HOME/instance-4280614-1503116499.xml

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

MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48
RANDOM SEED=1341826213

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.35
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:        29024220 kB
MemAvailable:   31976592 kB
Buffers:          227956 kB
Cached:          3017620 kB
SwapCached:            0 kB
Active:           949088 kB
Inactive:        2347824 kB
Active(anon):       4240 kB
Inactive(anon):    83172 kB
Active(file):     944848 kB
Inactive(file):  2264652 kB
Unevictable:        7504 kB
Mlocked:            7504 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7764 kB
Writeback:             0 kB
AnonPages:         54520 kB
Mapped:            50172 kB
Shmem:             33420 kB
Slab:             143936 kB
SReclaimable:     117416 kB
SUnreclaim:        26520 kB
KernelStack:        3248 kB
PageTables:         4896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61872 MiB
End job on node102 at 2017-08-19 06:49:19