Trace number 4244831

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
R1: choco-solver 5a (2017-07-05)SAT (TO)846 2400.27 326.213

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-43.xml
MD5SUM2bbdfe474604d495dd31c09972612e7d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark911
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables4096
Number of constraints2287
Number of domains4
Minimum domain size2
Maximum domain size4051
Distribution of domain sizes[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree1
Maximum variable degree46
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity2
Maximum constraint arity47
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints2021
Number of intensional constraints216
Distribution of constraint types[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"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 -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244831-1500684730.xml"  -tl '2400s' -p 8 -x 3
0.00/0.21	c [HOME/instance-4244831-1500684730.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.26	c 8 solvers in parallel
0.00/0.33	c parse instance...
13.21/5.71	c solve instance...
41.35/9.36	o 0 
42.03/9.40	o 4 
42.03/9.42	o 6 
42.03/9.48	o 8 
42.03/9.49	o 10 
42.61/9.51	o 12 
42.61/9.54	o 14 
44.91/9.91	o 16 
68.07/13.46	o 18 
89.07/16.19	o 20 
89.78/16.26	o 22 
137.13/22.88	o 24 
164.90/26.56	o 25 
164.90/26.59	o 26 
165.14/26.61	o 27 
165.14/26.63	o 28 
165.14/26.64	o 29 
165.14/26.66	o 30 
165.14/26.69	o 31 
165.75/26.70	o 32 
165.75/26.72	o 33 
165.75/26.74	o 34 
165.75/26.76	o 35 
165.75/26.78	o 36 
166.28/26.80	o 37 
166.28/26.82	o 38 
166.65/27.07	o 39 
166.65/27.08	o 40 
166.88/27.10	o 41 
166.88/27.11	o 42 
166.88/27.13	o 43 
166.88/27.15	o 44 
166.88/27.16	o 45 
166.88/27.18	o 46 
167.39/27.20	o 47 
167.39/27.21	o 48 
167.39/27.22	o 49 
167.39/27.29	o 50 
167.99/27.30	o 51 
167.99/27.32	o 52 
167.99/27.33	o 53 
167.99/27.35	o 54 
167.99/27.36	o 55 
167.99/27.38	o 56 
167.99/27.39	o 57 
168.57/27.40	o 58 
168.57/27.42	o 59 
168.57/27.44	o 60 
168.57/27.45	o 61 
168.57/27.47	o 62 
168.57/27.48	o 63 
168.57/27.50	o 64 
169.31/27.63	o 65 
169.31/27.65	o 66 
169.31/27.66	o 67 
169.31/27.68	o 68 
169.31/27.69	o 69 
169.73/27.71	o 70 
169.73/27.73	o 71 
169.73/27.74	o 72 
169.73/27.76	o 73 
169.73/27.78	o 74 
169.73/27.79	o 75 
170.33/27.81	o 76 
170.33/27.82	o 77 
170.33/27.84	o 78 
170.33/27.86	o 79 
170.33/27.87	o 80 
170.33/27.89	o 81 
170.77/27.90	o 82 
170.77/27.91	o 83 
170.77/27.93	o 84 
170.77/27.94	o 85 
170.77/27.96	o 86 
170.77/27.98	o 87 
170.77/27.99	o 88 
171.23/28.00	o 89 
171.23/28.02	o 90 
171.23/28.04	o 91 
171.23/28.05	o 92 
171.23/28.09	o 93 
171.74/28.11	o 94 
171.74/28.12	o 95 
171.74/28.14	o 96 
171.74/28.15	o 97 
171.74/28.17	o 98 
171.74/28.19	o 99 
172.33/28.20	o 100 
172.33/28.22	o 101 
172.33/28.23	o 102 
172.33/28.26	o 103 
172.33/28.27	o 104 
172.33/28.29	o 105 
172.92/28.30	o 106 
172.92/28.33	o 107 
172.92/28.35	o 108 
172.92/28.36	o 109 
172.92/28.38	o 110 
173.45/28.40	o 111 
173.45/28.42	o 112 
173.45/28.44	o 113 
173.45/28.49	o 114 
173.78/28.51	o 115 
173.78/28.53	o 116 
173.78/28.55	o 117 
173.78/28.56	o 118 
173.78/28.58	o 119 
173.78/28.59	o 120 
173.78/28.60	o 121 
174.33/28.62	o 122 
174.33/28.64	o 123 
174.33/28.65	o 124 
174.33/28.67	o 125 
174.33/28.68	o 126 
174.33/28.70	o 127 
174.87/28.71	o 128 
174.87/28.75	o 129 
174.87/28.78	o 130 
175.34/28.80	o 131 
175.34/28.82	o 132 
175.34/28.83	o 133 
175.34/28.85	o 134 
175.34/28.87	o 135 
175.34/28.88	o 136 
175.92/28.90	o 137 
175.92/28.91	o 138 
175.92/28.93	o 139 
175.92/28.95	o 140 
175.92/28.97	o 141 
175.92/28.98	o 142 
176.51/29.00	o 143 
176.51/29.01	o 144 
176.51/29.02	o 145 
176.51/29.04	o 146 
176.51/29.05	o 147 
176.51/29.06	o 148 
176.51/29.09	o 149 
176.96/29.10	o 150 
176.96/29.12	o 151 
176.96/29.14	o 152 
176.96/29.15	o 153 
176.96/29.17	o 154 
176.96/29.18	o 155 
177.57/29.20	o 156 
177.57/29.22	o 157 
177.57/29.23	o 158 
177.57/29.25	o 159 
177.57/29.27	o 160 
177.57/29.28	o 161 
178.07/29.30	o 162 
178.07/29.31	o 163 
178.07/29.33	o 164 
178.07/29.34	o 165 
178.07/29.36	o 166 
178.07/29.38	o 167 
178.07/29.39	o 168 
178.53/29.40	o 169 
178.53/29.42	o 170 
178.53/29.43	o 171 
178.53/29.45	o 172 
178.53/29.47	o 173 
178.53/29.49	o 174 
179.08/29.51	o 175 
179.08/29.52	o 176 
179.08/29.54	o 177 
179.08/29.55	o 178 
179.08/29.57	o 179 
179.08/29.59	o 180 
179.67/29.61	o 181 
179.67/29.62	o 182 
179.67/29.64	o 183 
179.67/29.66	o 184 
179.67/29.67	o 185 
179.67/29.69	o 186 
179.67/29.70	o 187 
180.33/29.72	o 188 
180.33/29.73	o 189 
181.38/30.62	o 190 
181.38/30.64	o 191 
181.38/30.66	o 192 
181.38/30.67	o 193 
181.38/30.69	o 194 
181.86/30.70	o 195 
181.86/30.73	o 196 
181.86/30.74	o 197 
181.86/30.76	o 198 
181.86/30.79	o 199 
181.86/30.80	o 200 
182.48/30.81	o 201 
182.48/30.84	o 202 
182.48/30.85	o 203 
182.48/30.88	o 204 
182.48/30.89	o 205 
183.06/30.92	o 206 
183.06/30.94	o 207 
183.06/30.95	o 208 
183.06/30.96	o 209 
183.06/30.99	o 210 
183.45/31.00	o 211 
183.45/31.02	o 212 
183.45/31.03	o 213 
183.45/31.05	o 214 
183.45/31.06	o 215 
183.45/31.08	o 216 
183.97/31.10	o 217 
183.97/31.11	o 218 
183.97/31.12	o 219 
183.97/31.15	o 220 
183.97/31.16	o 221 
183.97/31.19	o 222 
184.48/31.21	o 223 
184.48/31.23	o 224 
184.48/31.24	o 225 
184.48/31.26	o 226 
184.48/31.28	o 227 
185.10/31.30	o 228 
185.10/31.31	o 229 
185.10/31.33	o 230 
185.10/31.35	o 231 
185.10/31.37	o 232 
185.10/31.39	o 233 
185.67/31.40	o 234 
185.67/31.42	o 235 
185.67/31.44	o 236 
185.67/31.46	o 237 
185.67/31.47	o 238 
186.37/31.77	o 239 
186.37/31.79	o 240 
186.57/31.81	o 241 
186.57/31.83	o 242 
186.57/31.85	o 243 
186.57/31.86	o 244 
186.57/31.88	o 245 
186.57/31.90	o 246 
187.21/31.92	o 247 
187.21/31.93	o 248 
187.21/31.95	o 249 
187.21/31.96	o 250 
187.21/31.98	o 251 
187.21/31.99	o 252 
187.21/32.00	o 253 
187.69/32.01	o 254 
187.69/32.02	o 255 
187.69/32.04	o 256 
187.69/32.06	o 257 
187.69/32.07	o 258 
187.69/32.10	o 259 
188.14/32.12	o 260 
188.14/32.13	o 261 
188.14/32.15	o 262 
188.14/32.17	o 263 
188.14/32.18	o 264 
188.68/32.20	o 265 
188.68/32.22	o 266 
188.68/32.24	o 267 
188.68/32.26	o 268 
188.68/32.28	o 269 
188.68/32.29	o 270 
189.23/32.31	o 271 
189.23/32.33	o 272 
189.23/32.34	o 273 
189.23/32.36	o 274 
189.23/32.38	o 275 
189.81/32.40	o 276 
189.81/32.42	o 277 
189.81/32.44	o 278 
189.81/32.46	o 279 
189.81/32.48	o 280 
189.81/32.49	o 281 
190.34/32.51	o 282 
190.34/32.52	o 283 
190.34/32.54	o 284 
190.34/32.56	o 285 
190.34/32.58	o 286 
190.34/32.59	o 287 
190.86/32.60	o 288 
190.86/32.63	o 289 
190.86/32.65	o 290 
190.86/32.67	o 291 
190.86/32.69	o 292 
191.42/32.71	o 293 
191.42/32.73	o 294 
191.42/32.75	o 295 
191.42/32.78	o 296 
191.42/32.79	o 297 
191.99/32.81	o 298 
191.99/32.83	o 299 
191.99/32.85	o 300 
191.99/32.87	o 301 
191.99/32.89	o 302 
192.59/32.91	o 303 
192.59/32.93	o 304 
192.59/32.94	o 305 
192.59/32.96	o 306 
192.59/32.98	o 307 
193.25/33.01	o 308 
193.25/33.03	o 309 
193.25/33.04	o 310 
194.58/34.12	o 311 
194.58/34.14	o 312 
194.58/34.16	o 313 
194.58/34.18	o 314 
194.58/34.20	o 315 
195.04/34.21	o 316 
195.04/34.23	o 317 
195.04/34.25	o 318 
195.04/34.27	o 319 
195.04/34.28	o 320 
195.54/34.31	o 321 
195.54/34.33	o 322 
195.54/34.35	o 323 
195.54/34.36	o 324 
195.54/34.38	o 325 
196.18/34.40	o 326 
196.18/34.41	o 327 
196.18/34.43	o 328 
196.18/34.45	o 329 
196.18/34.47	o 330 
196.18/34.49	o 331 
196.79/34.51	o 332 
196.79/34.52	o 333 
196.79/34.54	o 334 
196.79/34.56	o 335 
196.79/34.58	o 336 
196.79/34.59	o 337 
197.38/34.62	o 338 
197.38/34.63	o 339 
197.38/34.65	o 340 
197.38/34.67	o 341 
197.38/34.69	o 342 
197.92/34.71	o 343 
197.92/34.72	o 344 
197.92/34.74	o 345 
197.92/34.76	o 346 
197.92/34.77	o 347 
197.92/34.79	o 348 
198.46/34.80	o 349 
198.46/34.82	o 350 
198.46/34.84	o 351 
198.46/34.86	o 352 
198.46/34.88	o 353 
199.07/34.90	o 354 
199.07/34.93	o 355 
199.07/34.95	o 356 
199.07/34.97	o 357 
199.07/34.99	o 358 
199.68/35.00	o 359 
199.68/35.03	o 360 
199.68/35.04	o 361 
199.68/35.06	o 362 
199.68/35.09	o 363 
200.30/35.10	o 364 
200.30/35.12	o 365 
200.30/35.14	o 366 
200.30/35.18	o 367 
200.30/35.20	o 368 
201.07/35.31	o 369 
202.46/36.62	o 370 
202.46/36.64	o 371 
202.46/36.66	o 372 
202.46/36.68	o 373 
202.99/36.70	o 374 
202.99/36.71	o 375 
202.99/36.74	o 376 
202.99/36.75	o 377 
202.99/36.77	o 378 
202.99/36.79	o 379 
203.48/36.81	o 380 
203.48/36.83	o 381 
203.48/36.85	o 382 
204.73/37.70	o 383 
204.73/37.72	o 384 
204.73/37.74	o 385 
204.73/37.76	o 386 
204.73/37.78	o 387 
205.35/37.80	o 388 
205.35/37.82	o 389 
205.35/37.84	o 390 
205.35/37.86	o 391 
205.35/37.88	o 392 
205.35/37.90	o 393 
205.98/37.91	o 394 
205.98/37.94	o 395 
205.98/37.96	o 396 
205.98/37.97	o 397 
205.98/37.99	o 398 
206.61/38.01	o 399 
206.61/38.03	o 400 
206.61/38.05	o 401 
206.61/38.06	o 402 
206.61/38.09	o 403 
207.21/38.11	o 404 
207.21/38.13	o 405 
207.21/38.15	o 406 
207.21/38.16	o 407 
207.21/38.19	o 408 
207.87/38.21	o 409 
207.87/38.23	o 410 
207.87/38.25	o 411 
207.87/38.27	o 412 
207.87/38.29	o 413 
208.60/38.31	o 414 
208.60/38.33	o 415 
208.60/38.35	o 416 
208.60/38.36	o 417 
208.60/38.38	o 418 
209.17/38.41	o 419 
209.17/38.43	o 420 
209.17/38.45	o 421 
209.17/38.47	o 422 
209.17/38.49	o 423 
209.86/38.51	o 424 
209.86/38.53	o 425 
209.86/38.56	o 426 
209.86/38.58	o 427 
209.86/38.60	o 428 
210.48/38.62	o 429 
210.48/38.64	o 430 
210.48/38.66	o 431 
210.48/38.68	o 432 
211.07/38.70	o 433 
211.07/38.72	o 434 
211.07/38.74	o 435 
211.07/38.76	o 436 
211.07/38.78	o 437 
211.68/38.81	o 438 
211.68/38.83	o 439 
211.68/38.85	o 440 
211.68/38.87	o 441 
211.68/38.89	o 442 
212.30/38.91	o 443 
212.30/38.93	o 444 
212.30/38.95	o 445 
212.99/39.24	o 446 
212.99/39.27	o 447 
212.99/39.29	o 448 
213.37/39.30	o 449 
213.37/39.32	o 450 
213.37/39.34	o 451 
213.37/39.36	o 452 
213.37/39.38	o 453 
214.04/39.40	o 454 
214.04/39.42	o 455 
214.04/39.45	o 456 
214.04/39.47	o 457 
214.04/39.49	o 458 
214.65/39.51	o 459 
214.65/39.53	o 460 
214.65/39.55	o 461 
214.65/39.59	o 462 
214.65/39.61	o 463 
215.38/39.63	o 464 
215.38/39.65	o 465 
215.38/39.68	o 466 
215.38/39.70	o 467 
216.05/39.72	o 468 
216.05/39.74	o 469 
216.05/39.76	o 470 
216.05/39.78	o 471 
216.65/39.80	o 472 
216.65/39.82	o 473 
216.65/39.84	o 474 
216.65/39.86	o 475 
216.65/39.87	o 476 
216.65/39.89	o 477 
217.23/39.91	o 478 
217.23/39.93	o 479 
217.23/39.95	o 480 
217.23/39.96	o 481 
217.23/39.98	o 482 
217.87/40.00	o 483 
217.87/40.02	o 484 
217.87/40.04	o 485 
219.53/41.34	o 486 
219.53/41.36	o 487 
219.53/41.38	o 488 
219.96/41.40	o 489 
219.96/41.42	o 490 
219.96/41.44	o 491 
219.96/41.47	o 492 
219.96/41.49	o 493 
220.59/41.52	o 494 
220.59/41.54	o 495 
220.59/41.56	o 496 
220.59/41.57	o 497 
221.23/41.60	o 498 
221.23/41.62	o 499 
221.23/41.64	o 500 
221.23/41.67	o 501 
221.23/41.69	o 502 
221.87/41.71	o 503 
221.87/41.73	o 504 
221.87/41.75	o 505 
221.87/41.77	o 506 
221.87/41.80	o 507 
222.54/41.83	o 508 
222.54/41.85	o 509 
222.54/41.87	o 510 
223.09/41.91	o 511 
223.61/42.37	o 512 
225.05/43.64	o 513 
225.05/43.67	o 514 
225.05/43.69	o 515 
225.39/43.72	o 516 
226.21/44.31	o 517 
226.21/44.33	o 518 
226.21/44.35	o 519 
226.21/44.38	o 520 
226.79/44.40	o 521 
226.79/44.42	o 522 
226.79/44.44	o 523 
226.79/44.46	o 524 
226.79/44.48	o 525 
227.45/44.51	o 526 
227.45/44.53	o 527 
227.45/44.55	o 528 
227.45/44.57	o 529 
228.07/44.60	o 530 
228.07/44.62	o 531 
228.07/44.64	o 532 
228.07/44.66	o 533 
228.07/44.69	o 534 
228.72/44.71	o 535 
228.72/44.74	o 536 
228.72/44.76	o 537 
228.72/44.78	o 538 
228.72/44.80	o 539 
229.37/44.82	o 540 
229.37/44.84	o 541 
229.37/44.86	o 542 
229.37/44.89	o 543 
230.02/44.91	o 544 
230.02/44.93	o 545 
230.02/44.96	o 546 
230.02/44.98	o 547 
231.01/45.32	o 548 
231.01/45.34	o 549 
231.01/45.37	o 550 
231.01/45.39	o 551 
231.56/45.41	o 552 
231.56/45.44	o 553 
231.56/45.46	o 554 
231.56/45.48	o 555 
232.25/45.50	o 556 
232.25/45.53	o 557 
232.25/45.55	o 558 
232.25/45.57	o 559 
232.25/45.59	o 560 
232.87/45.63	o 561 
232.87/45.65	o 562 
232.87/45.68	o 563 
233.50/45.70	o 564 
233.50/45.72	o 565 
233.50/45.74	o 566 
233.50/45.77	o 567 
233.50/45.79	o 568 
234.18/45.81	o 569 
234.18/45.84	o 570 
234.18/45.86	o 571 
234.18/45.88	o 572 
234.88/45.90	o 573 
234.88/45.93	o 574 
235.72/46.54	o 575 
235.72/46.56	o 576 
235.72/46.58	o 577 
236.17/46.60	o 578 
236.17/46.62	o 579 
236.17/46.64	o 580 
236.17/46.67	o 581 
236.17/46.69	o 582 
236.80/46.71	o 583 
236.80/46.73	o 584 
236.80/46.76	o 585 
236.80/46.78	o 586 
237.49/46.80	o 587 
237.49/46.82	o 588 
237.49/46.85	o 589 
237.49/46.87	o 590 
237.49/46.89	o 591 
238.16/46.92	o 592 
238.16/46.94	o 593 
238.16/46.97	o 594 
238.16/46.99	o 595 
238.83/47.01	o 596 
238.83/47.03	o 597 
238.83/47.06	o 598 
238.83/47.08	o 599 
239.49/47.10	o 600 
239.49/47.13	o 601 
239.49/47.15	o 602 
239.49/47.17	o 603 
240.13/47.20	o 604 
240.13/47.23	o 605 
240.13/47.25	o 606 
240.13/47.28	o 607 
240.13/47.30	o 608 
240.85/47.32	o 609 
240.85/47.35	o 610 
240.85/47.37	o 611 
240.85/47.39	o 612 
241.52/47.41	o 613 
241.52/47.43	o 614 
241.52/47.46	o 615 
241.52/47.49	o 616 
241.98/47.51	o 617 
241.98/47.53	o 618 
241.98/47.56	o 619 
241.98/47.58	o 620 
241.98/47.60	o 621 
242.64/47.62	o 622 
242.64/47.65	o 623 
242.64/47.67	o 624 
244.34/48.74	o 625 
244.34/48.77	o 626 
244.34/48.79	o 627 
244.75/48.81	o 628 
244.75/48.84	o 629 
244.75/48.86	o 630 
244.75/48.88	o 631 
245.40/48.90	o 632 
245.40/48.92	o 633 
245.40/48.94	o 634 
245.40/48.99	o 635 
246.42/49.31	o 636 
247.65/50.48	o 637 
247.83/50.51	o 638 
247.83/50.53	o 639 
247.83/50.56	o 640 
247.83/50.58	o 641 
248.56/50.62	o 642 
248.56/50.64	o 643 
248.56/50.67	o 644 
248.56/50.69	o 645 
249.22/50.72	o 646 
249.22/50.75	o 647 
249.22/50.77	o 648 
249.22/50.80	o 649 
249.79/50.82	o 650 
249.79/50.84	o 651 
249.79/50.87	o 652 
249.79/50.89	o 653 
250.43/50.92	o 654 
250.43/50.95	o 655 
250.43/50.97	o 656 
251.10/51.00	o 657 
251.10/51.02	o 658 
251.10/51.05	o 659 
251.10/51.08	o 660 
251.74/51.11	o 661 
251.74/51.13	o 662 
251.74/51.16	o 663 
251.74/51.18	o 664 
252.43/51.20	o 665 
252.43/51.23	o 666 
252.43/51.26	o 667 
252.43/51.28	o 668 
253.08/51.30	o 669 
253.08/51.33	o 670 
253.08/51.35	o 671 
253.08/51.38	o 672 
253.79/51.41	o 673 
253.79/51.43	o 674 
253.79/51.45	o 675 
253.79/51.48	o 676 
254.46/51.51	o 677 
254.46/51.54	o 678 
254.46/51.56	o 679 
254.46/51.59	o 680 
255.09/51.61	o 681 
255.09/51.63	o 682 
255.09/51.66	o 683 
255.09/51.68	o 684 
255.09/51.71	o 685 
255.85/51.73	o 686 
255.85/51.76	o 687 
255.85/51.79	o 688 
256.52/51.82	o 689 
256.52/51.84	o 690 
256.52/51.86	o 691 
256.52/51.89	o 692 
257.12/51.92	o 693 
257.12/51.94	o 694 
259.47/53.89	o 695 
259.69/53.96	o 696 
259.69/53.96	o 697 
259.69/53.96	o 698 
259.69/53.99	o 699 
260.38/54.01	o 700 
260.38/54.04	o 701 
260.38/54.07	o 702 
260.38/54.09	o 703 
261.00/54.13	o 704 
261.00/54.16	o 705 
261.00/54.18	o 706 
261.57/54.20	o 707 
261.57/54.23	o 708 
261.57/54.25	o 709 
261.57/54.28	o 710 
262.25/54.30	o 711 
262.25/54.33	o 712 
262.25/54.35	o 713 
262.25/54.38	o 714 
262.95/54.40	o 715 
262.95/54.43	o 716 
262.95/54.46	o 717 
262.95/54.49	o 718 
263.63/54.51	o 719 
263.63/54.53	o 720 
263.63/54.56	o 721 
263.63/54.58	o 722 
264.34/54.61	o 723 
264.34/54.64	o 724 
264.34/54.66	o 725 
264.34/54.69	o 726 
264.99/54.72	o 727 
264.99/54.74	o 728 
264.99/54.77	o 729 
265.68/54.80	o 730 
265.68/54.83	o 731 
265.68/54.86	o 732 
265.68/54.90	o 733 
266.32/54.92	o 734 
266.32/54.95	o 735 
266.32/54.98	o 736 
266.32/55.01	o 737 
267.03/55.04	o 738 
267.03/55.07	o 739 
267.03/55.09	o 740 
267.69/55.12	o 741 
267.69/55.15	o 742 
267.69/55.18	o 743 
268.28/55.20	o 744 
268.28/55.23	o 745 
268.28/55.26	o 746 
268.28/55.29	o 747 
268.95/55.31	o 748 
268.95/55.34	o 749 
268.95/55.36	o 750 
268.95/55.39	o 751 
269.64/55.42	o 752 
269.64/55.44	o 753 
269.64/55.47	o 754 
269.64/55.50	o 755 
270.32/55.52	o 756 
270.32/55.55	o 757 
270.32/55.57	o 758 
271.03/55.60	o 759 
271.03/55.62	o 760 
276.97/56.45	o 761 
278.19/57.59	o 762 
278.30/57.62	o 763 
278.30/57.64	o 764 
278.30/57.66	o 765 
278.30/57.68	o 766 
278.93/57.70	o 767 
278.93/57.72	o 768 
278.93/57.74	o 769 
278.93/57.76	o 770 
278.93/57.78	o 771 
279.61/57.80	o 772 
279.61/57.82	o 773 
279.61/57.84	o 774 
279.61/57.86	o 775 
279.61/57.88	o 776 
279.61/57.90	o 777 
280.25/57.92	o 778 
280.25/57.94	o 779 
280.25/57.96	o 780 
280.25/57.98	o 781 
280.87/58.00	o 782 
280.87/58.02	o 783 
280.87/58.04	o 784 
280.87/58.07	o 785 
280.87/58.09	o 786 
281.51/58.11	o 787 
281.51/58.12	o 788 
281.51/58.14	o 789 
281.51/58.16	o 790 
281.51/58.19	o 791 
282.17/58.21	o 792 
282.17/58.23	o 793 
282.17/58.25	o 794 
282.17/58.28	o 795 
282.17/58.30	o 796 
282.78/58.33	o 797 
282.78/58.35	o 798 
282.78/58.38	o 799 
282.78/58.40	o 800 
283.42/58.42	o 801 
283.42/58.44	o 802 
283.42/58.46	o 803 
283.42/58.49	o 804 
283.99/58.51	o 805 
283.99/58.53	o 806 
283.99/58.55	o 807 
283.99/58.57	o 808 
283.99/58.59	o 809 
284.65/58.62	o 810 
284.65/58.64	o 811 
284.65/58.66	o 812 
284.65/58.69	o 813 
285.26/58.71	o 814 
285.26/58.73	o 815 
285.26/58.75	o 816 
285.26/58.77	o 817 
285.89/58.83	o 818 
285.89/58.86	o 819 
285.89/58.88	o 820 
286.32/58.91	o 821 
286.32/58.94	o 822 
286.32/58.96	o 823 
286.32/58.99	o 824 
286.90/59.01	o 825 
286.90/59.03	o 826 
286.90/59.05	o 827 
286.90/59.08	o 828 
287.52/59.11	o 829 
287.52/59.13	o 830 
287.52/59.15	o 831 
287.52/59.17	o 832 
287.52/59.19	o 833 
288.18/59.22	o 834 
288.18/59.25	o 835 
288.18/59.28	o 836 
288.79/59.30	o 837 
288.79/59.32	o 838 
288.79/59.35	o 839 
288.79/59.38	o 840 
289.40/59.50	o 841 
290.72/60.61	o 842 
290.72/60.64	o 843 
291.03/60.75	o 844 
352.99/68.71	o 845 
352.99/68.73	o 846 
2400.27/326.24	s SATISFIABLE
2400.27/326.24	v <instantiation>
2400.27/326.24	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[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] 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[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] 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[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] 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[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] 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[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] 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[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] 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[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] 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[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] 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[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] 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[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] 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[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] 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[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] 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[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] 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[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] 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[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] 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[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] 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[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] 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[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] 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[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] 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[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] 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[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] 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[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] 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[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] 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[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] 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[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] 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[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] 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[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] 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[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] 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[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] 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[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] 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] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] 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[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] 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[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] 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[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] 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[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] 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[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] 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[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] 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[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] 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[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] 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[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] 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[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] 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[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] 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[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] 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[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] 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[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] 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[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] 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[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] 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[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] 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[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] 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[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] 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[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] 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[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] 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[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] 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[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] 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[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] 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[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] 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[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] 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[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] 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[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] 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[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] 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[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] 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] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] 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] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] z </list>
2400.27/326.24	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 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 1 1 0 1 1 0 1 1 0 1 1 0 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 1 1 0 1 1 0 1 1 0 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 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 1 1 1 1 1 1 0 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 1 0 0 1 0 0 1 0 0 1 0 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 0 0 0 0 0 1 1 0 0 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 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 0 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 0 1 0 0 1 0 0 1 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 1 0 0 1 0 0 1 1 0 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 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 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 1 1 0 0 1 0 0 1 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 1 1 1 1 1 1 1 0 0 1 1 0 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 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 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 1 1 1 1 1 1 1 1 0 0 1 0 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 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 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 1 1 0 0 1 1 0 1 0 0 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 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 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 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 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 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 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 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 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 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 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 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 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 1 0 0 0 0 0 1 0 0 0 1 0 0 1 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 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 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 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 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 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 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 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 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 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 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 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 2 2 0 2 2 0 2 2 0 2 2 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 2 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 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 0 0 0 1 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 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 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 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 2 1 1 2 1 1 2 1 1 2 1 0 1 0 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 0 0 0 0 0 1 1 1 0 0 0 0 1 0 2 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 1 0 0 1 0 1 2 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 0 0 0 1 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 0 0 0 0 0 1 0 0 1 0 0 0 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 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 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 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 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 1 1 1 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 0 0 1 0 1 0 0 0 0 0 0 0 1 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 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 1 1 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 1 0 0 0 0 0 0 1 1 1 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 1 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 2 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 0 0 1 2 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 1 0 1 2 1 1 0 1 0 1 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 0 1 1 0 0 0 0 1 0 2 0 0 2 0 0 1 2 1 0 0 0 0 0 0 1 0 1 2 2 1 2 2 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 0 0 0 0 1 2 2 1 1 0 0 0 0 0 1 1 2 2 2 2 2 1 1 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 2 2 1 1 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 14 15 15 30 30 31 83 90 92 94 98 100 142 152 159 161 165 174 195 198 205 226 228 230 249 253 256 271 274 274 299 309 319 329 335 340 353 356 365 384 392 403 425 460 486 846 </values>
2400.27/326.24	v </instantiation>
2400.27/326.24	c Unexpected resolution interruption!

Verifier Data 

OK	846

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244831-1500684730/watcher-4244831-1500684730 -o /tmp/evaluation-result-4244831-1500684730/solver-4244831-1500684730 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1306107594 HOME/instance-4244831-1500684730.xml 

pid=19301
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.89 13.55 8.36 10/274 19304
/proc/meminfo: memFree=28173024/32770624 swapFree=5700/248020
[pid=19304] ppid=19301 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19304/stat : 19304 (xcsp3-exec) S 19301 19304 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3740463 9740288 345 33554432000 4194304 5098028 140736293186560 140736293184664 140466782311036 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 33005568 140736293188750 140736293188960 140736293188960 140736293191659 0
/proc/19304/statm: 2378 345 289 221 0 87 0

[startup+0.100121 s]
/proc/loadavg: 15.89 13.55 8.36 10/274 19304
/proc/meminfo: memFree=28173024/32770624 swapFree=5700/248020
[pid=19304] ppid=19301 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19304/stat : 19304 (xcsp3-exec) S 19301 19304 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3740463 9740288 345 33554432000 4194304 5098028 140736293186560 140736293184664 140466782311036 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 33005568 140736293188750 140736293188960 140736293188960 140736293191659 0
/proc/19304/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200348 s]
/proc/loadavg: 15.89 13.55 8.36 10/274 19304
/proc/meminfo: memFree=28173024/32770624 swapFree=5700/248020
[pid=19304] ppid=19301 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19304/stat : 19304 (xcsp3-exec) S 19301 19304 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3740463 9740288 345 33554432000 4194304 5098028 140736293186560 140736293184664 140466782311036 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 33005568 140736293188750 140736293188960 140736293188960 140736293191659 0
/proc/19304/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300313 s]
/proc/loadavg: 15.89 13.55 8.36 10/274 19304
/proc/meminfo: memFree=28173024/32770624 swapFree=5700/248020
[pid=19304] ppid=19301 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19304/stat : 19304 (xcsp3-exec) S 19301 19304 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3740463 9740288 345 33554432000 4194304 5098028 140736293186560 140736293184664 140466782311036 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 33005568 140736293188750 140736293188960 140736293188960 140736293191659 0
/proc/19304/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700209 s]
/proc/loadavg: 15.89 13.55 8.36 10/274 19304
/proc/meminfo: memFree=28173024/32770624 swapFree=5700/248020
[pid=19304] ppid=19301 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19304/stat : 19304 (xcsp3-exec) S 19301 19304 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3740463 9740288 345 33554432000 4194304 5098028 140736293186560 140736293184664 140466782311036 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 33005568 140736293188750 140736293188960 140736293188960 140736293191659 0
/proc/19304/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50131 s]
/proc/loadavg: 15.89 13.55 8.36 11/295 19325
/proc/meminfo: memFree=28066764/32770624 swapFree=5700/248048
[pid=19304] ppid=19301 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19304/stat : 19304 (xcsp3-exec) S 19301 19304 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3740463 9740288 345 33554432000 4194304 5098028 140736293186560 140736293184664 140466782311036 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 33005568 140736293188750 140736293188960 140736293188960 140736293191659 0
/proc/19304/statm: 2378 345 289 221 0 87 0
[pid=19305] ppid=19304 vsize=13269256 CPUtime=3.68 cores=1,3,5,7,9,11,13,15
/proc/19305/stat : 19305 (java) S 19304 19304 7102 0 -1 1077944320 18670 0 0 0 360 8 0 0 20 0 20 0 3740463 13587718144 39574 33554432000 4194304 4196468 140729308958608 140729308941152 139979189276407 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
/proc/19305/statm: 3317314 39574 3224 1 0 3304547 0
[pid=19305/tid=19306] ppid=19304 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19306/stat : 19306 (java) R 19304 19304 7102 0 -1 4202560 7580 0 0 0 143 4 0 0 20 0 20 0 3740463 13587718144 39574 33554432000 4194304 4196468 140729308958608 139979193509736 139978829985053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19308] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19308/stat : 19308 (java) S 19304 19304 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3740464 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978788187152 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19309] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19309/stat : 19309 (java) S 19304 19304 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3740464 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978787134608 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19310] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19310/stat : 19310 (java) S 19304 19304 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3740464 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978786081552 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19311] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19311/stat : 19311 (java) S 19304 19304 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3740464 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978785029008 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19312] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19312/stat : 19312 (java) S 19304 19304 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3740464 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978783975952 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19313] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19313/stat : 19313 (java) S 19304 19304 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3740464 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978782923408 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19314] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19314/stat : 19314 (java) S 19304 19304 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3740464 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978781870352 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19315] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19315/stat : 19315 (java) S 19304 19304 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3740464 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978780817808 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19316] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19316/stat : 19316 (java) S 19304 19304 7102 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 3740467 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978651478768 139979189287554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19317] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19317/stat : 19317 (java) S 19304 19304 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3740467 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978650424992 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19318] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19318/stat : 19318 (java) S 19304 19304 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3740468 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978649371888 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19319] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19319/stat : 19319 (java) S 19304 19304 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3740472 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978648320464 139979189295003 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19320] ppid=19304 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19320/stat : 19320 (java) R 19304 19304 7102 0 -1 4202560 2544 0 0 0 54 1 0 0 20 0 20 0 3740472 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978647253792 139979173666364 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19321] ppid=19304 vsize=13269256 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19321/stat : 19321 (java) R 19304 19304 7102 0 -1 4202560 1913 0 0 0 47 1 0 0 20 0 20 0 3740472 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978646204704 139979174154466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19322] ppid=19304 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19322/stat : 19322 (java) R 19304 19304 7102 0 -1 4202560 2199 0 0 0 53 0 0 0 20 0 20 0 3740472 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978645151328 139979170807517 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19323] ppid=19304 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19323/stat : 19323 (java) S 19304 19304 7102 0 -1 1077944384 3107 0 0 0 61 0 0 0 20 0 20 0 3740472 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978644109424 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19324] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19324/stat : 19324 (java) S 19304 19304 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3740472 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978643057632 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19325] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19325/stat : 19325 (java) S 19304 19304 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3740472 13587718144 39574 33554432000 4194304 4196468 140729308958608 139978642005168 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13278768

[startup+3.10078 s]
/proc/loadavg: 15.89 13.55 8.36 13/295 19325
/proc/meminfo: memFree=27958608/32770624 swapFree=5700/248048
[pid=19304] ppid=19301 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19304/stat : 19304 (xcsp3-exec) S 19301 19304 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3740463 9740288 345 33554432000 4194304 5098028 140736293186560 140736293184664 140466782311036 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 33005568 140736293188750 140736293188960 140736293188960 140736293191659 0
/proc/19304/statm: 2378 345 289 221 0 87 0
[pid=19305] ppid=19304 vsize=13269256 CPUtime=8.66 cores=1,3,5,7,9,11,13,15
/proc/19305/stat : 19305 (java) S 19304 19304 7102 0 -1 1077944320 26927 0 0 0 818 48 0 0 20 0 20 0 3740463 13587718144 73358 33554432000 4194304 4196468 140729308958608 140729308941152 139979189276407 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
/proc/19305/statm: 3317314 73358 3255 1 0 3304547 0
[pid=19305/tid=19306] ppid=19304 vsize=13269256 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19306/stat : 19306 (java) R 19304 19304 7102 0 -1 4202560 8724 0 0 0 291 4 0 0 20 0 20 0 3740463 13587718144 73358 33554432000 4194304 4196468 140729308958608 139979193512856 139978830932036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19308] ppid=19304 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19308/stat : 19308 (java) S 19304 19304 7102 0 -1 1077944384 125 0 0 0 6 2 0 0 20 0 20 0 3740464 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978788187152 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19309] ppid=19304 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19309/stat : 19309 (java) S 19304 19304 7102 0 -1 1077944384 119 0 0 0 2 3 0 0 20 0 20 0 3740464 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978787134608 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19310] ppid=19304 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19310/stat : 19310 (java) S 19304 19304 7102 0 -1 1077944384 66 0 0 0 4 2 0 0 20 0 20 0 3740464 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978786081552 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19311] ppid=19304 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19311/stat : 19311 (java) S 19304 19304 7102 0 -1 1077944384 63 0 0 0 3 4 0 0 20 0 20 0 3740464 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978785029008 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19312] ppid=19304 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19312/stat : 19312 (java) S 19304 19304 7102 0 -1 1077944384 320 0 0 0 4 5 0 0 20 0 20 0 3740464 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978783975952 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19313] ppid=19304 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19313/stat : 19313 (java) S 19304 19304 7102 0 -1 1077944384 128 0 0 0 4 5 0 0 20 0 20 0 3740464 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978782923408 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19314] ppid=19304 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19314/stat : 19314 (java) S 19304 19304 7102 0 -1 1077944384 93 0 0 0 4 6 0 0 20 0 20 0 3740464 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978781870352 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19315] ppid=19304 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19315/stat : 19315 (java) S 19304 19304 7102 0 -1 1077944384 109 0 0 0 4 6 0 0 20 0 20 0 3740464 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978780817808 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19316] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19316/stat : 19316 (java) S 19304 19304 7102 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 3740467 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978651478768 139979189287554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19317] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19317/stat : 19317 (java) S 19304 19304 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 3740467 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978650425056 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19318] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19318/stat : 19318 (java) S 19304 19304 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3740468 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978649371904 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19319] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19319/stat : 19319 (java) S 19304 19304 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3740472 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978648320464 139979189295003 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19320] ppid=19304 vsize=13269256 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19320/stat : 19320 (java) S 19304 19304 7102 0 -1 1077944384 4120 0 0 0 131 1 0 0 20 0 20 0 3740472 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978647267568 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19321] ppid=19304 vsize=13269256 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19321/stat : 19321 (java) R 19304 19304 7102 0 -1 4202560 3501 0 0 0 135 1 0 0 20 0 20 0 3740472 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978646215320 139979174391478 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19322] ppid=19304 vsize=13269256 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19322/stat : 19322 (java) S 19304 19304 7102 0 -1 1077944384 4179 0 0 0 144 1 0 0 20 0 20 0 3740472 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978645161968 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19323] ppid=19304 vsize=13269256 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19323/stat : 19323 (java) S 19304 19304 7102 0 -1 1077944384 3833 0 0 0 78 1 0 0 20 0 20 0 3740472 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978644109424 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19324] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19324/stat : 19324 (java) S 19304 19304 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3740472 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978643057632 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19325] ppid=19304 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19325/stat : 19325 (java) S 19304 19304 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3740472 13587718144 73358 33554432000 4194304 4196468 140729308958608 139978642005168 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 13278768

[startup+6.30112 s]
/proc/loadavg: 15.97 13.60 8.41 10/295 19325
/proc/meminfo: memFree=27677444/32770624 swapFree=5700/248068
[pid=19304] ppid=19301 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19304/stat : 19304 (xcsp3-exec) S 19301 19304 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3740463 9740288 345 33554432000 4194304 5098028 140736293186560 140736293184664 140466782311036 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 33005568 140736293188750 140736293188960 140736293188960 140736293191659 0
/proc/19304/statm: 2378 345 289 221 0 87 0
[pid=19305] ppid=19304 vsize=13801768 CPUtime=17.59 cores=1,3,5,7,9,11,13,15
/proc/19305/stat : 19305 (java) S 19304 19304 7102 0 -1 1077944320 29443 0 0 0 1654 105 0 0 20 0 28 0 3740463 14133010432 127314 33554432000 4194304 4196468 140729308958608 140729308941152 139979189276407 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
/proc/19305/statm: 3450442 127314 3262 1 0 3437675 0
[pid=19305/tid=19306] ppid=19304 vsize=13801768 CPUtime=5.45 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19306/stat : 19306 (java) S 19304 19304 7102 0 -1 1077944384 9189 0 0 0 539 6 0 0 20 0 28 0 3740463 14133010432 127314 33554432000 4194304 4196468 140729308958608 139979193517184 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19308] ppid=19304 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19308/stat : 19308 (java) S 19304 19304 7102 0 -1 1077944384 198 0 0 0 12 9 0 0 20 0 28 0 3740464 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978788187152 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19309] ppid=19304 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19309/stat : 19309 (java) S 19304 19304 7102 0 -1 1077944384 199 0 0 0 8 11 0 0 20 0 28 0 3740464 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978787134608 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19310] ppid=19304 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19310/stat : 19310 (java) S 19304 19304 7102 0 -1 1077944384 153 0 0 0 10 9 0 0 20 0 28 0 3740464 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978786081552 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19311] ppid=19304 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19311/stat : 19311 (java) S 19304 19304 7102 0 -1 1077944384 133 0 0 0 9 10 0 0 20 0 28 0 3740464 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978785029008 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19312] ppid=19304 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19312/stat : 19312 (java) S 19304 19304 7102 0 -1 1077944384 387 0 0 0 10 12 0 0 20 0 28 0 3740464 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978783975952 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19313] ppid=19304 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19313/stat : 19313 (java) S 19304 19304 7102 0 -1 1077944384 189 0 0 0 10 12 0 0 20 0 28 0 3740464 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978782923408 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19314] ppid=19304 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19314/stat : 19314 (java) S 19304 19304 7102 0 -1 1077944384 220 0 0 0 10 12 0 0 20 0 28 0 3740464 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978781870352 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19315] ppid=19304 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19315/stat : 19315 (java) S 19304 19304 7102 0 -1 1077944384 248 0 0 0 10 12 0 0 20 0 28 0 3740464 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978780817808 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19316] ppid=19304 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19316/stat : 19316 (java) S 19304 19304 7102 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 28 0 3740467 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978651478768 139979189287554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19317] ppid=19304 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19317/stat : 19317 (java) S 19304 19304 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3740467 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978650425056 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19318] ppid=19304 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19318/stat : 19318 (java) S 19304 19304 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3740468 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978649371904 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19319] ppid=19304 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19319/stat : 19319 (java) S 19304 19304 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3740472 14133010432 127314 33554432000 4194304 4196468 140729308958608 139978648320464 139979189295003 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0

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

[pid=19305/tid=29745] ppid=19304 vsize=13870380 CPUtime=152.54 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29745/stat : 29745 (java) R 19304 19304 7102 0 -1 4202560 1031 0 0 0 15254 0 0 0 20 0 28 0 3747337 14203269120 729774 33554432000 4194304 4196468 140729308958608 139978633991368 139978835446288 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29746] ppid=19304 vsize=13870380 CPUtime=152.1 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29746/stat : 29746 (java) R 19304 19304 7102 0 -1 4202560 1222 0 0 0 15209 1 0 0 20 0 28 0 3747337 14203269120 729774 33554432000 4194304 4196468 140729308958608 139978627675320 139978836619554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
Current children cumulated CPU time (s) 1574.41
Current children cumulated vsize (KiB) 13879892

[startup+282.302 s]
/proc/loadavg: 16.00 14.68 10.14 17/301 29822
/proc/meminfo: memFree=25646720/32770624 swapFree=5700/248424
[pid=19304] ppid=19301 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19304/stat : 19304 (xcsp3-exec) S 19301 19304 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3740463 9740288 345 33554432000 4194304 5098028 140736293186560 140736293184664 140466782311036 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 33005568 140736293188750 140736293188960 140736293188960 140736293191659 0
/proc/19304/statm: 2378 345 289 221 0 87 0
[pid=19305] ppid=19304 vsize=13870380 CPUtime=2051.33 cores=1,3,5,7,9,11,13,15
/proc/19305/stat : 19305 (java) S 19304 19304 7102 0 -1 1077944320 233215 0 0 0 204726 407 0 0 20 0 28 0 3740463 14203269120 721877 33554432000 4194304 4196468 140729308958608 140729308941152 139979189276407 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
/proc/19305/statm: 3467595 721877 3289 1 0 3454828 0
[pid=19305/tid=19306] ppid=19304 vsize=13870380 CPUtime=6.49 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19306/stat : 19306 (java) S 19304 19304 7102 0 -1 1077944384 11205 0 0 0 636 13 0 0 20 0 28 0 3740463 14203269120 721877 33554432000 4194304 4196468 140729308958608 139979193517120 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19308] ppid=19304 vsize=13870380 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19308/stat : 19308 (java) S 19304 19304 7102 0 -1 1077944384 2540 0 0 0 47 22 0 0 20 0 28 0 3740464 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978788187152 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19309] ppid=19304 vsize=13870380 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19309/stat : 19309 (java) S 19304 19304 7102 0 -1 1077944384 1518 0 0 0 45 23 0 0 20 0 28 0 3740464 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978787134608 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19310] ppid=19304 vsize=13870380 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19310/stat : 19310 (java) S 19304 19304 7102 0 -1 1077944384 2553 0 0 0 47 22 0 0 20 0 28 0 3740464 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978786081552 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19311] ppid=19304 vsize=13870380 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19311/stat : 19311 (java) S 19304 19304 7102 0 -1 1077944384 1363 0 0 0 48 22 0 0 20 0 28 0 3740464 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978785029008 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19312] ppid=19304 vsize=13870380 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19312/stat : 19312 (java) S 19304 19304 7102 0 -1 1077944384 1372 0 0 0 44 23 0 0 20 0 28 0 3740464 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978783975952 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19313] ppid=19304 vsize=13870380 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19313/stat : 19313 (java) S 19304 19304 7102 0 -1 1077944384 3438 0 0 0 47 23 0 0 20 0 28 0 3740464 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978782923408 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19314] ppid=19304 vsize=13870380 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19314/stat : 19314 (java) S 19304 19304 7102 0 -1 1077944384 1036 0 0 0 46 24 0 0 20 0 28 0 3740464 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978781870352 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19315] ppid=19304 vsize=13870380 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19315/stat : 19315 (java) S 19304 19304 7102 0 -1 1077944384 1579 0 0 0 46 24 0 0 20 0 28 0 3740464 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978780817808 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19316] ppid=19304 vsize=13870380 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19316/stat : 19316 (java) S 19304 19304 7102 0 -1 1077944384 6681 0 0 0 20 30 0 0 20 0 28 0 3740467 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978651478768 139979189287554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19317] ppid=19304 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19317/stat : 19317 (java) S 19304 19304 7102 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3740467 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978650425056 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19318] ppid=19304 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19318/stat : 19318 (java) S 19304 19304 7102 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 3740468 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978649371904 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19319] ppid=19304 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19319/stat : 19319 (java) S 19304 19304 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3740472 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978648320464 139979189295003 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19320] ppid=19304 vsize=13870380 CPUtime=5.95 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19320/stat : 19320 (java) S 19304 19304 7102 0 -1 1077944384 29947 0 0 0 590 5 0 0 20 0 28 0 3740472 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978647267568 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 10 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19321] ppid=19304 vsize=13870380 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19321/stat : 19321 (java) S 19304 19304 7102 0 -1 1077944384 31006 0 0 0 609 5 0 0 20 0 28 0 3740472 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978646215024 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19322] ppid=19304 vsize=13870380 CPUtime=6.7 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19322/stat : 19322 (java) S 19304 19304 7102 0 -1 1077944384 34861 0 0 0 666 4 0 0 20 0 28 0 3740472 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978645161968 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19323] ppid=19304 vsize=13870380 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19323/stat : 19323 (java) S 19304 19304 7102 0 -1 1077944384 18653 0 0 0 167 4 0 0 20 0 28 0 3740472 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978644109424 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19324] ppid=19304 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19324/stat : 19324 (java) S 19304 19304 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3740472 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978643057632 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19325] ppid=19304 vsize=13870380 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19325/stat : 19325 (java) S 19304 19304 7102 0 -1 1077944384 2557 0 0 0 6 11 0 0 20 0 28 0 3740472 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978642005168 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29739] ppid=19304 vsize=13870380 CPUtime=212.3 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29739/stat : 29739 (java) R 19304 19304 7102 0 -1 4202560 2315 0 0 0 21230 0 0 0 20 0 28 0 3747337 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978628726648 139978836618595 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29740] ppid=19304 vsize=13870380 CPUtime=212.19 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29740/stat : 29740 (java) R 19304 19304 7102 0 -1 4202560 2895 0 0 0 21219 0 0 0 20 0 28 0 3747337 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978632938568 139978837292551 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29741] ppid=19304 vsize=13870380 CPUtime=211.37 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29741/stat : 29741 (java) R 19304 19304 7102 0 -1 4202560 2030 0 0 0 21136 1 0 0 20 0 28 0 3747337 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978630833208 139978829397253 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29742] ppid=19304 vsize=13870380 CPUtime=211.93 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29742/stat : 29742 (java) R 19304 19304 7102 0 -1 4202560 7497 0 0 0 21189 4 0 0 20 0 28 0 3747337 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978629783136 139978835981055 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29743] ppid=19304 vsize=13870380 CPUtime=212.53 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29743/stat : 29743 (java) R 19304 19304 7102 0 -1 4202560 2152 0 0 0 21252 1 0 0 20 0 28 0 3747337 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978631885432 139978837116249 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29744] ppid=19304 vsize=13870380 CPUtime=212.43 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29744/stat : 29744 (java) R 19304 19304 7102 0 -1 4202560 3390 0 0 0 21241 2 0 0 20 0 28 0 3747337 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978623471912 139978835981011 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29745] ppid=19304 vsize=13870380 CPUtime=212.26 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29745/stat : 29745 (java) R 19304 19304 7102 0 -1 4202560 1273 0 0 0 21226 0 0 0 20 0 28 0 3747337 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978633991216 139978828429943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29746] ppid=19304 vsize=13870380 CPUtime=210.49 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29746/stat : 29746 (java) R 19304 19304 7102 0 -1 4202560 1391 0 0 0 21048 1 0 0 20 0 28 0 3747337 14203269120 721877 33554432000 4194304 4196468 140729308958608 139978627675544 139978836618618 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
Current children cumulated CPU time (s) 2051.33
Current children cumulated vsize (KiB) 13879892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+326.202 s]
/proc/loadavg: 16.23 14.91 10.44 17/299 29823
/proc/meminfo: memFree=25721004/32770624 swapFree=5700/248476
[pid=19304] ppid=19301 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19304/stat : 19304 (xcsp3-exec) S 19301 19304 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3740463 9740288 345 33554432000 4194304 5098028 140736293186560 140736293184664 140466782311036 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 33005568 140736293188750 140736293188960 140736293188960 140736293191659 0
/proc/19304/statm: 2378 345 289 221 0 87 0
[pid=19305] ppid=19304 vsize=13870380 CPUtime=2400.27 cores=1,3,5,7,9,11,13,15
/proc/19305/stat : 19305 (java) S 19304 19304 7102 0 -1 1077944320 237925 0 0 0 239609 418 0 0 20 0 28 0 3740463 14203269120 718468 33554432000 4194304 4196468 140729308958608 140729308941152 139979189276407 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
/proc/19305/statm: 3467595 718468 3289 1 0 3454828 0
[pid=19305/tid=19306] ppid=19304 vsize=13870380 CPUtime=6.49 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19306/stat : 19306 (java) S 19304 19304 7102 0 -1 1077944384 11205 0 0 0 636 13 0 0 20 0 28 0 3740463 14203269120 718468 33554432000 4194304 4196468 140729308958608 139979193517120 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19308] ppid=19304 vsize=13870380 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19308/stat : 19308 (java) S 19304 19304 7102 0 -1 1077944384 2665 0 0 0 52 22 0 0 20 0 28 0 3740464 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978788187152 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19309] ppid=19304 vsize=13870380 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19309/stat : 19309 (java) S 19304 19304 7102 0 -1 1077944384 1641 0 0 0 50 23 0 0 20 0 28 0 3740464 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978787134608 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19310] ppid=19304 vsize=13870380 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19310/stat : 19310 (java) S 19304 19304 7102 0 -1 1077944384 2609 0 0 0 50 22 0 0 20 0 28 0 3740464 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978786081552 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19311] ppid=19304 vsize=13870380 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19311/stat : 19311 (java) S 19304 19304 7102 0 -1 1077944384 1468 0 0 0 52 22 0 0 20 0 28 0 3740464 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978785029008 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19312] ppid=19304 vsize=13870380 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19312/stat : 19312 (java) S 19304 19304 7102 0 -1 1077944384 1621 0 0 0 49 24 0 0 20 0 28 0 3740464 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978783975952 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19313] ppid=19304 vsize=13870380 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19313/stat : 19313 (java) S 19304 19304 7102 0 -1 1077944384 3574 0 0 0 52 24 0 0 20 0 28 0 3740464 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978782923408 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19314] ppid=19304 vsize=13870380 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19314/stat : 19314 (java) S 19304 19304 7102 0 -1 1077944384 1562 0 0 0 50 24 0 0 20 0 28 0 3740464 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978781870352 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19315] ppid=19304 vsize=13870380 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19315/stat : 19315 (java) S 19304 19304 7102 0 -1 1077944384 1791 0 0 0 51 25 0 0 20 0 28 0 3740464 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978780817808 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19316] ppid=19304 vsize=13870380 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19316/stat : 19316 (java) S 19304 19304 7102 0 -1 1077944384 7388 0 0 0 24 35 0 0 20 0 28 0 3740467 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978651478768 139979189287554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19317] ppid=19304 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19317/stat : 19317 (java) S 19304 19304 7102 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3740467 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978650425056 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19318] ppid=19304 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19318/stat : 19318 (java) S 19304 19304 7102 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 3740468 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978649371904 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19319] ppid=19304 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19319/stat : 19319 (java) S 19304 19304 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3740472 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978648320464 139979189295003 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19320] ppid=19304 vsize=13870380 CPUtime=5.95 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19320/stat : 19320 (java) S 19304 19304 7102 0 -1 1077944384 29956 0 0 0 590 5 0 0 20 0 28 0 3740472 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978647267568 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 10 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19321] ppid=19304 vsize=13870380 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19321/stat : 19321 (java) S 19304 19304 7102 0 -1 1077944384 31012 0 0 0 609 5 0 0 20 0 28 0 3740472 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978646215024 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19322] ppid=19304 vsize=13870380 CPUtime=6.7 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19322/stat : 19322 (java) S 19304 19304 7102 0 -1 1077944384 34866 0 0 0 666 4 0 0 20 0 28 0 3740472 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978645161968 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19323] ppid=19304 vsize=13870380 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19323/stat : 19323 (java) S 19304 19304 7102 0 -1 1077944384 18659 0 0 0 167 4 0 0 20 0 28 0 3740472 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978644109424 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19324] ppid=19304 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19324/stat : 19324 (java) S 19304 19304 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3740472 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978643057632 139979189286613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=19325] ppid=19304 vsize=13870380 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/19305/task/19325/stat : 19325 (java) S 19304 19304 7102 0 -1 1077944384 2594 0 0 0 7 12 0 0 20 0 28 0 3740472 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978642005168 139979189287554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29739] ppid=19304 vsize=13870380 CPUtime=256.02 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29739/stat : 29739 (java) R 19304 19304 7102 0 -1 4202560 2497 0 0 0 25601 1 0 0 20 0 28 0 3747337 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978628726984 139978837292551 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29740] ppid=19304 vsize=13870380 CPUtime=255.32 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29740/stat : 29740 (java) R 19304 19304 7102 0 -1 4202560 3389 0 0 0 25531 1 0 0 20 0 28 0 3747337 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978632938632 139978837292551 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29741] ppid=19304 vsize=13870380 CPUtime=255.15 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29741/stat : 29741 (java) R 19304 19304 7102 0 -1 4202560 2157 0 0 0 25514 1 0 0 20 0 28 0 3747337 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978630832512 139978829397123 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29742] ppid=19304 vsize=13870380 CPUtime=255.63 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29742/stat : 29742 (java) R 19304 19304 7102 0 -1 4202560 7972 0 0 0 25559 4 0 0 20 0 28 0 3747337 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978629780024 139978829404021 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29743] ppid=19304 vsize=13870380 CPUtime=256.23 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29743/stat : 29743 (java) R 19304 19304 7102 0 -1 4202560 2323 0 0 0 25622 1 0 0 20 0 28 0 3747337 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978631885432 139978836618636 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29744] ppid=19304 vsize=13870380 CPUtime=256.12 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29744/stat : 29744 (java) R 19304 19304 7102 0 -1 4202560 3838 0 0 0 25610 2 0 0 20 0 28 0 3747337 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978623472072 139978836155483 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29745] ppid=19304 vsize=13870380 CPUtime=255.26 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29745/stat : 29745 (java) R 19304 19304 7102 0 -1 4202560 1532 0 0 0 25526 0 0 0 20 0 28 0 3747337 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978633994352 139978836618618 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
[pid=19305/tid=29746] ppid=19304 vsize=13870380 CPUtime=254.18 cores=1,3,5,7,9,11,13,15
/proc/19305/task/29746/stat : 29746 (java) R 19304 19304 7102 0 -1 4202560 1643 0 0 0 25417 1 0 0 20 0 28 0 3747337 14203269120 718468 33554432000 4194304 4196468 140729308958608 139978627675736 139978836247076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29310976 140729308964028 140729308964204 140729308964204 140729308966863 0
Current children cumulated CPU time (s) 2400.27
Current children cumulated vsize (KiB) 13879892

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19305 sig 9
??? kill 19304 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19304 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1039
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2078
# CPU time returned by wait4() is 0.003117
# while last known CPU time is 2400.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 326.213
CPU time (s): 2400.27
CPU user time (s): 2396.09
CPU system time (s): 4.18
CPU usage (%): 735.799
Max. virtual memory (cumulated for all children) (KiB): 13879892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001039
system time used= 0.002078
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.75977 second user time and 5.0262 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 02:52:10
IDJOB=4244831
IDBENCH=115917
IDSOLVER=2626
FILE ID=node130/4244831-1500684730
RUNJOBID= node130-1500684118-8560
PBS_JOBID= 20623029
Free space on /tmp= 61952 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244831-1500684730/watcher-4244831-1500684730 -o /tmp/evaluation-result-4244831-1500684730/solver-4244831-1500684730 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1306107594 HOME/instance-4244831-1500684730.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=1306107594

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

/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	: 8
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.34
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.34
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.34
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.34
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        28173364 kB
MemAvailable:   28226824 kB
Buffers:           52112 kB
Cached:           312276 kB
SwapCached:            0 kB
Active:          3960644 kB
Inactive:         256864 kB
Active(anon):    3855656 kB
Inactive(anon):     8844 kB
Active(file):     104988 kB
Inactive(file):   248020 kB
Unevictable:        5700 kB
Mlocked:            5700 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7788 kB
Writeback:             0 kB
AnonPages:       3831804 kB
Mapped:            42500 kB
Shmem:              8844 kB
Slab:              65732 kB
SReclaimable:      32572 kB
SUnreclaim:        33160 kB
KernelStack:        5216 kB
PageTables:        12952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4738364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3694592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61944 MiB
End job on node130 at 2017-07-22 02:57:36