Trace number 4254847

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-07-26)SAT (TO)806 1875.01 252.11501

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-42.xml
MD5SUMf0ae775e0a261424aab5dff09c8fa0c4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark806
Best CPU time to get the best result obtained on this benchmark1808.87
Satisfiable
(Un)Satisfiability was proved
Number of variables3917
Number of constraints2192
Number of domains4
Minimum domain size2
Maximum domain size3873
Distribution of domain sizes[{"size":2,"count":1936},{"size":3,"count":1936},{"size":1765,"count":1},{"size":3873,"count":44}]
Minimum variable degree1
Maximum variable degree45
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1933},{"degree":3,"count":47},{"degree":4,"count":168},{"degree":8,"count":164},{"degree":9,"count":1600},{"degree":45,"count":1}]
Minimum constraint arity2
Maximum constraint arity46
Distribution of constraint arities[{"arity":2,"count":212},{"arity":3,"count":168},{"arity":10,"count":1764},{"arity":44,"count":4},{"arity":45,"count":1},{"arity":46,"count":43}]
Number of extensional constraints1932
Number of intensional constraints211
Distribution of constraint types[{"type":"extension","count":1932},{"type":"intension","count":211},{"type":"sum","count":45},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254847-1502639811.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4254847-1502639811.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
10.84/5.09	c solve instance...
28.21/7.35	o 0 
29.19/7.79	o 4 
30.84/9.04	o 6 
30.84/9.06	o 8 
30.84/9.08	o 10 
30.84/9.10	o 12 
31.23/9.15	o 14 
31.23/9.18	o 16 
31.79/9.22	o 18 
32.53/9.31	o 20 
33.26/9.41	o 22 
33.96/9.55	o 24 
37.11/9.98	o 26 
41.06/10.46	o 28 
54.82/12.51	o 30 
75.53/15.16	o 32 
105.98/19.06	o 34 
198.24/30.89	o 36 
222.23/33.90	o 37 
222.23/33.92	o 38 
222.23/33.93	o 39 
222.23/33.94	o 40 
222.23/33.95	o 41 
222.23/33.97	o 42 
222.23/33.98	o 43 
222.23/34.00	o 44 
222.23/34.00	o 45 
222.69/34.02	o 46 
222.69/34.03	o 47 
222.69/34.04	o 48 
222.69/34.05	o 49 
222.69/34.07	o 50 
222.69/34.08	o 51 
222.69/34.09	o 52 
222.69/34.10	o 53 
223.17/34.11	o 54 
223.17/34.13	o 55 
223.17/34.14	o 56 
223.17/34.16	o 57 
223.17/34.17	o 58 
223.17/34.18	o 59 
223.17/34.19	o 60 
223.17/34.21	o 61 
223.63/34.22	o 62 
223.63/34.23	o 63 
223.63/34.25	o 64 
223.63/34.26	o 65 
223.63/34.27	o 66 
223.63/34.29	o 67 
223.63/34.30	o 68 
224.09/34.31	o 69 
224.09/34.32	o 70 
224.09/34.33	o 71 
224.09/34.34	o 72 
224.09/34.35	o 73 
224.09/34.36	o 74 
224.09/34.37	o 75 
224.09/34.38	o 76 
224.09/34.39	o 77 
224.59/34.40	o 78 
224.59/34.41	o 79 
224.59/34.42	o 80 
224.59/34.44	o 81 
224.59/34.45	o 82 
224.59/34.46	o 83 
224.59/34.47	o 84 
224.59/34.48	o 85 
224.59/34.49	o 86 
225.08/34.51	o 87 
225.08/34.52	o 88 
225.08/34.53	o 89 
225.08/34.55	o 90 
225.08/34.56	o 91 
225.08/34.57	o 92 
225.08/34.58	o 93 
225.08/34.60	o 94 
225.54/34.61	o 95 
225.54/34.62	o 96 
225.54/34.63	o 97 
225.54/34.64	o 98 
225.54/34.65	o 99 
225.54/34.67	o 100 
225.54/34.68	o 101 
225.54/34.69	o 102 
226.05/34.70	o 103 
226.05/34.71	o 104 
226.05/34.72	o 105 
226.05/34.73	o 106 
226.05/34.75	o 107 
226.05/34.76	o 108 
226.05/34.77	o 109 
226.05/34.78	o 110 
226.52/34.80	o 111 
226.52/34.82	o 112 
226.52/34.83	o 113 
226.52/34.85	o 114 
226.52/34.86	o 115 
226.52/34.87	o 116 
226.52/34.88	o 117 
226.52/34.89	o 118 
227.03/34.91	o 119 
227.03/34.93	o 120 
227.03/34.94	o 121 
227.03/34.95	o 122 
227.03/34.97	o 123 
227.03/34.99	o 124 
227.03/35.01	o 125 
227.46/35.02	o 126 
227.46/35.04	o 127 
227.46/35.05	o 128 
227.46/35.06	o 129 
227.46/35.08	o 130 
227.46/35.09	o 131 
227.46/35.11	o 132 
227.88/35.12	o 133 
227.88/35.14	o 134 
227.88/35.15	o 135 
227.88/35.16	o 136 
227.88/35.18	o 137 
227.88/35.19	o 138 
228.31/35.20	o 139 
228.31/35.22	o 140 
228.31/35.23	o 141 
228.31/35.25	o 142 
228.31/35.26	o 143 
228.31/35.28	o 144 
228.31/35.29	o 145 
228.31/35.30	o 146 
228.75/35.31	o 147 
228.75/35.33	o 148 
228.75/35.34	o 149 
228.75/35.36	o 150 
228.75/35.37	o 151 
228.75/35.38	o 152 
228.75/35.40	o 153 
229.18/35.41	o 154 
229.18/35.43	o 155 
229.18/35.44	o 156 
229.18/35.46	o 157 
229.18/35.48	o 158 
229.18/35.49	o 159 
229.61/35.51	o 160 
229.61/35.52	o 161 
229.61/35.54	o 162 
229.61/35.56	o 163 
229.61/35.57	o 164 
229.61/35.59	o 165 
230.04/35.60	o 166 
230.04/35.62	o 167 
230.04/35.63	o 168 
230.04/35.64	o 169 
230.04/35.65	o 170 
230.04/35.67	o 171 
230.04/35.68	o 172 
230.04/35.69	o 173 
230.56/35.71	o 174 
230.56/35.72	o 175 
230.56/35.74	o 176 
230.56/35.75	o 177 
230.56/35.77	o 178 
230.56/35.78	o 179 
230.56/35.79	o 180 
231.03/35.80	o 181 
231.03/35.82	o 182 
231.03/35.83	o 183 
231.03/35.85	o 184 
231.03/35.86	o 185 
231.03/35.88	o 186 
231.03/35.89	o 187 
231.03/35.90	o 188 
231.48/35.92	o 189 
231.48/35.94	o 190 
231.48/35.95	o 191 
231.48/35.96	o 192 
231.48/35.97	o 193 
231.48/35.98	o 194 
231.48/36.00	o 195 
231.97/36.01	o 196 
231.97/36.02	o 197 
231.97/36.03	o 198 
231.97/36.05	o 199 
231.97/36.07	o 200 
231.97/36.08	o 201 
231.97/36.09	o 202 
231.97/36.11	o 203 
232.48/36.12	o 204 
232.48/36.15	o 205 
233.17/36.67	o 206 
234.33/37.71	o 207 
234.33/37.73	o 208 
234.33/37.74	o 209 
234.33/37.76	o 210 
234.33/37.77	o 211 
234.33/37.78	o 212 
234.33/37.80	o 213 
234.79/37.81	o 214 
234.79/37.82	o 215 
234.79/37.84	o 216 
234.79/37.85	o 217 
234.79/37.86	o 218 
234.79/37.87	o 219 
234.79/37.89	o 220 
234.79/37.90	o 221 
235.33/37.91	o 222 
235.33/37.92	o 223 
235.33/37.93	o 224 
235.33/37.95	o 225 
235.33/37.96	o 226 
235.33/37.97	o 227 
235.33/37.98	o 228 
235.33/37.99	o 229 
235.33/38.01	o 230 
235.89/38.02	o 231 
235.89/38.03	o 232 
235.89/38.05	o 233 
235.89/38.06	o 234 
235.89/38.07	o 235 
235.89/38.09	o 236 
236.36/38.11	o 237 
236.36/38.12	o 238 
236.36/38.14	o 239 
236.36/38.15	o 240 
236.36/38.17	o 241 
236.36/38.18	o 242 
236.36/38.19	o 243 
236.83/38.21	o 244 
236.83/38.22	o 245 
236.83/38.23	o 246 
236.83/38.25	o 247 
236.83/38.26	o 248 
236.83/38.27	o 249 
236.83/38.28	o 250 
236.83/38.30	o 251 
237.34/38.31	o 252 
237.34/38.33	o 253 
237.34/38.35	o 254 
237.34/38.36	o 255 
237.34/38.37	o 256 
237.34/38.39	o 257 
237.84/38.40	o 258 
237.84/38.42	o 259 
237.84/38.43	o 260 
237.84/38.44	o 261 
237.84/38.45	o 262 
237.84/38.47	o 263 
237.84/38.48	o 264 
237.84/38.49	o 265 
238.41/38.51	o 266 
238.41/38.52	o 267 
238.41/38.54	o 268 
238.41/38.55	o 269 
238.41/38.57	o 270 
238.41/38.58	o 271 
238.41/38.60	o 272 
238.86/38.62	o 273 
238.86/38.63	o 274 
238.86/38.64	o 275 
238.86/38.65	o 276 
238.86/38.67	o 277 
238.86/38.68	o 278 
238.86/38.70	o 279 
239.41/38.71	o 280 
239.41/38.72	o 281 
239.41/38.74	o 282 
239.41/38.75	o 283 
239.41/38.76	o 284 
239.41/38.78	o 285 
239.41/38.79	o 286 
240.03/38.80	o 287 
240.03/38.82	o 288 
240.03/38.83	o 289 
240.03/38.85	o 290 
240.03/38.86	o 291 
240.03/38.87	o 292 
240.03/38.89	o 293 
240.55/38.90	o 294 
240.55/38.91	o 295 
240.55/38.93	o 296 
240.55/38.94	o 297 
240.55/38.96	o 298 
240.55/38.97	o 299 
240.55/38.99	o 300 
240.55/39.00	o 301 
241.12/39.01	o 302 
241.12/39.03	o 303 
241.12/39.04	o 304 
241.12/39.06	o 305 
241.12/39.07	o 306 
241.12/39.08	o 307 
241.12/39.09	o 308 
241.12/39.10	o 309 
241.67/39.12	o 310 
241.67/39.13	o 311 
241.67/39.15	o 312 
241.67/39.17	o 313 
241.67/39.18	o 314 
242.14/39.20	o 315 
242.14/39.22	o 316 
242.14/39.23	o 317 
242.14/39.24	o 318 
242.14/39.25	o 319 
242.14/39.27	o 320 
242.14/39.28	o 321 
242.14/39.29	o 322 
242.77/39.31	o 323 
242.77/39.32	o 324 
242.77/39.33	o 325 
242.77/39.35	o 326 
242.77/39.36	o 327 
242.77/39.39	o 328 
243.77/39.95	o 329 
244.85/40.97	o 330 
244.85/40.99	o 331 
244.85/41.01	o 332 
245.12/41.02	o 333 
245.12/41.04	o 334 
245.12/41.05	o 335 
245.12/41.07	o 336 
245.12/41.08	o 337 
245.12/41.09	o 338 
245.12/41.11	o 339 
245.64/41.12	o 340 
245.64/41.13	o 341 
245.64/41.15	o 342 
245.64/41.16	o 343 
245.64/41.17	o 344 
245.64/41.19	o 345 
246.16/41.20	o 346 
246.16/41.21	o 347 
246.16/41.23	o 348 
246.16/41.24	o 349 
246.16/41.26	o 350 
246.16/41.28	o 351 
246.16/41.29	o 352 
246.74/41.30	o 353 
246.74/41.32	o 354 
246.74/41.33	o 355 
246.74/41.34	o 356 
246.74/41.36	o 357 
246.74/41.37	o 358 
246.74/41.39	o 359 
247.29/41.40	o 360 
247.29/41.42	o 361 
247.29/41.43	o 362 
247.29/41.44	o 363 
247.29/41.47	o 364 
247.29/41.49	o 365 
247.82/41.50	o 366 
247.82/41.52	o 367 
247.82/41.53	o 368 
247.82/41.55	o 369 
247.82/41.56	o 370 
247.82/41.58	o 371 
247.82/41.59	o 372 
248.41/41.60	o 373 
248.41/41.62	o 374 
248.41/41.63	o 375 
248.41/41.65	o 376 
248.41/41.66	o 377 
248.41/41.68	o 378 
248.41/41.70	o 379 
248.95/41.71	o 380 
248.95/41.73	o 381 
248.95/41.74	o 382 
248.95/41.76	o 383 
248.95/41.78	o 384 
248.95/41.79	o 385 
249.50/41.81	o 386 
249.50/41.82	o 387 
249.50/41.84	o 388 
249.50/41.85	o 389 
249.50/41.86	o 390 
249.50/41.88	o 391 
249.50/41.89	o 392 
250.15/41.90	o 393 
250.15/41.92	o 394 
250.15/41.93	o 395 
250.15/41.94	o 396 
250.15/41.96	o 397 
250.15/41.98	o 398 
250.15/41.99	o 399 
250.15/42.01	o 400 
250.80/42.03	o 401 
250.80/42.04	o 402 
250.80/42.06	o 403 
250.80/42.07	o 404 
250.80/42.08	o 405 
250.80/42.10	o 406 
250.80/42.11	o 407 
251.34/42.12	o 408 
251.34/42.14	o 409 
251.34/42.15	o 410 
251.34/42.17	o 411 
251.34/42.18	o 412 
251.34/42.20	o 413 
251.86/42.22	o 414 
251.86/42.23	o 415 
251.86/42.25	o 416 
251.86/42.26	o 417 
251.86/42.28	o 418 
251.86/42.29	o 419 
252.52/42.31	o 420 
252.52/42.33	o 421 
252.52/42.34	o 422 
252.52/42.36	o 423 
252.52/42.37	o 424 
252.52/42.39	o 425 
253.08/42.40	o 426 
253.08/42.42	o 427 
253.08/42.43	o 428 
253.08/42.45	o 429 
253.08/42.46	o 430 
253.08/42.48	o 431 
253.08/42.49	o 432 
253.72/42.52	o 433 
253.72/42.53	o 434 
253.72/42.54	o 435 
253.72/42.56	o 436 
253.72/42.57	o 437 
253.72/42.60	o 438 
254.17/42.61	o 439 
254.17/42.63	o 440 
254.17/42.65	o 441 
254.17/42.67	o 442 
254.17/42.68	o 443 
254.74/42.70	o 444 
254.74/42.72	o 445 
254.74/42.73	o 446 
254.74/42.75	o 447 
254.74/42.77	o 448 
254.74/42.78	o 449 
254.74/42.79	o 450 
255.30/42.81	o 451 
255.30/42.83	o 452 
255.30/42.86	o 453 
255.83/43.07	o 454 
256.91/44.07	o 455 
256.91/44.09	o 456 
256.91/44.11	o 457 
257.18/44.12	o 458 
257.18/44.14	o 459 
257.18/44.15	o 460 
257.18/44.17	o 461 
257.18/44.18	o 462 
257.74/44.20	o 463 
257.74/44.21	o 464 
257.74/44.23	o 465 
257.74/44.24	o 466 
257.74/44.26	o 467 
257.74/44.27	o 468 
257.74/44.29	o 469 
258.38/44.32	o 470 
258.38/44.33	o 471 
258.38/44.34	o 472 
258.38/44.36	o 473 
258.38/44.37	o 474 
258.38/44.40	o 475 
258.85/44.41	o 476 
258.85/44.42	o 477 
258.85/44.44	o 478 
258.85/44.46	o 479 
258.85/44.47	o 480 
258.85/44.49	o 481 
259.47/44.51	o 482 
259.47/44.52	o 483 
259.47/44.54	o 484 
259.47/44.56	o 485 
259.47/44.57	o 486 
259.47/44.59	o 487 
260.07/44.60	o 488 
260.07/44.62	o 489 
260.07/44.63	o 490 
260.07/44.65	o 491 
260.07/44.67	o 492 
260.07/44.68	o 493 
260.62/44.70	o 494 
260.62/44.72	o 495 
260.62/44.73	o 496 
260.62/44.75	o 497 
260.62/44.76	o 498 
260.62/44.78	o 499 
260.62/44.79	o 500 
261.30/44.81	o 501 
261.30/44.83	o 502 
261.30/44.84	o 503 
261.30/44.86	o 504 
261.30/44.87	o 505 
261.30/44.89	o 506 
261.88/44.90	o 507 
261.88/44.92	o 508 
261.88/44.93	o 509 
261.88/44.95	o 510 
261.88/44.96	o 511 
261.88/44.98	o 512 
261.88/45.00	o 513 
262.50/45.01	o 514 
262.50/45.03	o 515 
262.50/45.04	o 516 
262.50/45.06	o 517 
262.50/45.07	o 518 
262.50/45.09	o 519 
263.15/45.12	o 520 
263.15/45.14	o 521 
263.15/45.16	o 522 
263.15/45.17	o 523 
263.15/45.19	o 524 
263.68/45.20	o 525 
263.68/45.22	o 526 
263.68/45.24	o 527 
263.68/45.25	o 528 
263.68/45.27	o 529 
263.68/45.29	o 530 
264.26/45.31	o 531 
264.26/45.33	o 532 
264.26/45.34	o 533 
264.26/45.36	o 534 
264.26/45.38	o 535 
264.83/45.40	o 536 
264.83/45.42	o 537 
264.83/45.44	o 538 
264.83/45.45	o 539 
264.83/45.48	o 540 
264.83/45.50	o 541 
265.35/45.52	o 542 
265.35/45.54	o 543 
265.35/45.56	o 544 
265.35/45.58	o 545 
265.35/45.59	o 546 
265.97/45.61	o 547 
265.97/45.62	o 548 
265.97/45.64	o 549 
265.97/45.66	o 550 
265.97/45.68	o 551 
266.50/45.70	o 552 
266.50/45.72	o 553 
266.50/45.74	o 554 
266.50/45.75	o 555 
266.50/45.77	o 556 
266.50/45.79	o 557 
267.11/45.81	o 558 
267.11/45.82	o 559 
267.11/45.85	o 560 
267.11/45.86	o 561 
267.11/45.88	o 562 
267.11/45.89	o 563 
267.64/45.91	o 564 
267.64/45.93	o 565 
267.64/45.95	o 566 
267.64/45.97	o 567 
267.64/45.99	o 568 
267.64/46.00	o 569 
268.29/46.02	o 570 
268.29/46.04	o 571 
268.29/46.06	o 572 
268.29/46.08	o 573 
268.29/46.10	o 574 
268.89/46.11	o 575 
268.89/46.13	o 576 
268.89/46.16	o 577 
269.50/46.48	o 578 
270.60/47.47	o 579 
270.60/47.48	o 580 
270.60/47.50	o 581 
270.89/47.51	o 582 
270.89/47.53	o 583 
270.89/47.55	o 584 
270.89/47.58	o 585 
270.89/47.59	o 586 
271.53/47.61	o 587 
271.53/47.63	o 588 
271.53/47.66	o 589 
271.53/47.68	o 590 
271.53/47.69	o 591 
272.22/47.71	o 592 
272.22/47.73	o 593 
272.22/47.75	o 594 
272.22/47.76	o 595 
272.22/47.78	o 596 
272.80/47.80	o 597 
272.80/47.82	o 598 
272.80/47.84	o 599 
272.80/47.86	o 600 
272.80/47.89	o 601 
273.37/47.91	o 602 
273.37/47.93	o 603 
273.37/47.94	o 604 
273.37/47.97	o 605 
273.37/47.99	o 606 
273.37/48.01	o 607 
274.01/48.03	o 608 
274.01/48.04	o 609 
274.01/48.07	o 610 
274.01/48.08	o 611 
274.01/48.11	o 612 
274.57/48.12	o 613 
274.57/48.15	o 614 
274.57/48.17	o 615 
274.57/48.19	o 616 
275.13/48.21	o 617 
275.13/48.23	o 618 
275.13/48.25	o 619 
275.13/48.27	o 620 
275.13/48.29	o 621 
275.70/48.31	o 622 
275.70/48.33	o 623 
275.70/48.35	o 624 
275.70/48.36	o 625 
275.70/48.38	o 626 
276.27/48.41	o 627 
276.27/48.43	o 628 
276.27/48.45	o 629 
276.27/48.47	o 630 
276.27/48.49	o 631 
276.86/48.51	o 632 
276.86/48.53	o 633 
276.86/48.55	o 634 
276.86/48.57	o 635 
276.86/48.59	o 636 
277.46/48.61	o 637 
277.46/48.63	o 638 
277.46/48.65	o 639 
277.46/48.67	o 640 
277.46/48.68	o 641 
278.05/48.70	o 642 
278.05/48.72	o 643 
278.05/48.74	o 644 
278.05/48.76	o 645 
278.05/48.78	o 646 
278.05/48.80	o 647 
278.67/48.82	o 648 
278.67/48.84	o 649 
278.67/48.85	o 650 
278.67/48.87	o 651 
278.67/48.89	o 652 
279.38/48.91	o 653 
279.38/48.93	o 654 
279.38/48.95	o 655 
279.38/48.97	o 656 
279.38/49.00	o 657 
279.88/49.01	o 658 
279.88/49.03	o 659 
279.88/49.05	o 660 
279.88/49.07	o 661 
279.88/49.09	o 662 
279.88/49.10	o 663 
280.56/49.12	o 664 
280.56/49.14	o 665 
280.56/49.16	o 666 
280.56/49.18	o 667 
281.07/49.20	o 668 
281.07/49.23	o 669 
281.07/49.24	o 670 
281.07/49.27	o 671 
281.07/49.29	o 672 
281.66/49.31	o 673 
281.66/49.33	o 674 
281.66/49.34	o 675 
281.66/49.36	o 676 
281.66/49.38	o 677 
282.27/49.40	o 678 
282.27/49.42	o 679 
282.27/49.44	o 680 
282.27/49.46	o 681 
282.27/49.49	o 682 
282.87/49.51	o 683 
282.87/49.54	o 684 
282.87/49.56	o 685 
282.87/49.58	o 686 
283.46/49.61	o 687 
283.76/49.81	o 688 
284.28/50.26	o 689 
284.28/50.28	o 690 
284.58/50.30	o 691 
284.58/50.32	o 692 
284.58/50.34	o 693 
284.58/50.37	o 694 
284.58/50.38	o 695 
285.21/50.40	o 696 
285.21/50.42	o 697 
285.21/50.44	o 698 
285.21/50.45	o 699 
285.21/50.47	o 700 
285.21/50.49	o 701 
285.87/50.51	o 702 
285.87/50.53	o 703 
285.87/50.55	o 704 
285.87/50.58	o 705 
286.43/50.60	o 706 
286.43/50.62	o 707 
286.43/50.64	o 708 
286.43/50.67	o 709 
286.43/50.68	o 710 
287.05/50.70	o 711 
287.05/50.72	o 712 
287.05/50.74	o 713 
287.05/50.77	o 714 
287.05/50.79	o 715 
287.67/50.80	o 716 
287.67/50.82	o 717 
287.67/50.84	o 718 
287.67/50.86	o 719 
287.67/50.88	o 720 
288.32/50.91	o 721 
288.32/50.93	o 722 
288.32/50.95	o 723 
288.32/50.97	o 724 
288.32/51.00	o 725 
288.90/51.02	o 726 
288.90/51.04	o 727 
288.90/51.06	o 728 
288.90/51.08	o 729 
288.90/51.10	o 730 
289.50/51.12	o 731 
289.50/51.14	o 732 
289.50/51.17	o 733 
289.50/51.19	o 734 
290.08/51.22	o 735 
290.08/51.24	o 736 
290.08/51.26	o 737 
290.08/51.28	o 738 
290.66/51.30	o 739 
290.66/51.33	o 740 
290.66/51.35	o 741 
290.66/51.37	o 742 
290.66/51.39	o 743 
291.22/51.41	o 744 
291.22/51.43	o 745 
291.22/51.45	o 746 
291.22/51.46	o 747 
291.22/51.48	o 748 
291.76/51.50	o 749 
291.76/51.51	o 750 
291.76/51.53	o 751 
291.76/51.55	o 752 
291.76/51.57	o 753 
291.76/51.59	o 754 
292.36/51.61	o 755 
292.36/51.63	o 756 
292.36/51.64	o 757 
292.36/51.66	o 758 
292.36/51.68	o 759 
292.93/51.70	o 760 
292.93/51.71	o 761 
292.93/51.73	o 762 
292.93/51.74	o 763 
292.93/51.76	o 764 
292.93/51.78	o 765 
293.50/51.80	o 766 
293.50/51.82	o 767 
293.50/51.84	o 768 
293.50/51.85	o 769 
293.50/51.87	o 770 
293.50/51.89	o 771 
294.12/51.91	o 772 
294.12/51.93	o 773 
294.12/51.94	o 774 
294.12/51.96	o 775 
294.12/51.97	o 776 
294.12/51.99	o 777 
294.12/52.01	o 778 
294.75/52.02	o 779 
294.75/52.04	o 780 
294.75/52.06	o 781 
294.75/52.08	o 782 
294.75/52.09	o 783 
294.75/52.11	o 784 
295.34/52.12	o 785 
295.34/52.14	o 786 
295.34/52.16	o 787 
295.34/52.17	o 788 
295.34/52.19	o 789 
295.94/52.21	o 790 
295.94/52.23	o 791 
295.94/52.25	o 792 
295.94/52.27	o 793 
295.94/52.29	o 794 
296.48/52.31	o 795 
296.48/52.33	o 796 
296.48/52.34	o 797 
296.48/52.36	o 798 
296.48/52.38	o 799 
297.03/52.41	o 800 
297.21/52.51	o 801 
298.21/53.46	o 802 
298.21/53.49	o 803 
298.48/53.58	o 804 
301.00/54.57	o 805 
301.26/54.70	o 806 
1874.30/252.08	s SATISFIABLE
1874.30/252.08	v <instantiation>
1874.30/252.08	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
1874.30/252.08	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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 1 0 0 1 0 0 1 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 1 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 0 0 1 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 0 1 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 1 1 1 0 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 0 1 1 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 0 0 0 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 1 1 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 0 0 1 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 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 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 1 0 1 1 0 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 1 0 0 0 1 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 0 0 1 0 0 1 1 0 0 0 0 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 1 0 1 0 0 1 1 1 1 0 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 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 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 1 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 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 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 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 0 0 0 1 1 0 1 0 0 1 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 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 1 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 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 1 0 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 0 0 1 1 1 0 0 0 0 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 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 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 1 1 1 0 0 0 1 1 1 1 0 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 0 0 1 1 1 0 0 1 0 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 0 0 1 0 0 1 0 0 0 0 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 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 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 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 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 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 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 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 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 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 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 2 2 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 0 0 0 0 0 0 1 1 2 0 2 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 1 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 0 0 0 0 0 0 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 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 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 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 1 0 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 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 0 0 0 0 1 0 0 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 1 0 0 0 0 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 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 1 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 1 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 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 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 1 0 0 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 0 0 1 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 0 0 0 0 0 0 1 1 1 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 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 2 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 1 0 0 0 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 1 1 2 1 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 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 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 1 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 1 0 0 0 1 2 1 0 1 0 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 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 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 1 0 0 0 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 0 1 0 0 0 0 0 0 0 0 1 2 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 1 1 0 1 2 1 2 2 1 2 2 1 2 2 1 2 0 1 1 0 1 1 2 0 1 1 0 2 0 0 0 0 0 0 0 2 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 14 16 18 35 36 37 89 97 100 103 105 109 150 155 158 162 165 171 194 197 201 219 220 223 240 244 249 267 273 276 302 314 324 332 339 345 358 364 372 385 390 401 443 472 806 </values>
1874.30/252.08	v </instantiation>
1874.30/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	806

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15279 MiB free)
  memory of node 1: 16384 MiB (15684 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254847-1502639811/watcher-4254847-1502639811 -o /tmp/evaluation-result-4254847-1502639811/solver-4254847-1502639811 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 64449047 HOME/instance-4254847-1502639811.xml 

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

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

solver pid=10306, runsolver pid=10303

[startup+0.100138 s]*
/proc/loadavg: 7.80 8.13 7.45 2/200 10327
/proc/meminfo: memFree=31692148/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97068941 9740288 346 33554432000 4194304 5098028 140732085333248 140732085331352 139743034413692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28909568 140732085339244 140732085339452 140732085339452 140732085342187 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=25999808 memory=25600 CPUtime=0.11 cores=0-7
/proc/10308/stat : 10308 (java) S 10306 10306 7585 0 -1 1077944320 5332 0 0 0 10 1 0 0 20 0 20 0 97068941 26623803392 6400 33554432000 4194304 4196468 140720931859984 140720931842528 139903291158263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
/proc/10308/statm: 6499952 6400 2853 1 0 6488269 0
[pid=10308/tid=10309] ppid=10306 vsize=25999808 memory=7896105854803288471 CPUtime=0.08 cores=0-7
/proc/10308/task/10309/stat : 10309 (java) R 10306 10306 7585 0 -1 4202560 3285 0 0 0 8 0 0 0 20 0 20 0 97068942 26623803392 6400 33554432000 4194304 4196468 140720931859984 139903295390512 139903291179610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10310] ppid=10306 vsize=25999808 memory=732370042293955557 CPUtime=0 cores=0-7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068943 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902849256080 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10311] ppid=10306 vsize=25999808 memory=139903956502144 CPUtime=0 cores=0-7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902848203280 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10312] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068943 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902847150480 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10313] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97068943 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902846097680 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10314] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902845045904 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10315] ppid=10306 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902843993104 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10316] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902842940304 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10317] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068943 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902841887504 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10318] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068944 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902686996848 139903291169410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10319] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97068944 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902685942816 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10320] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10320/stat : 10320 (java) S 10306 10306 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97068945 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902684889968 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10321] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068947 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902683838288 139903291176859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10322] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10322/stat : 10322 (java) R 10306 10306 7585 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 97068947 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902682786672 139903291169410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10323] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10323/stat : 10323 (java) S 10306 10306 7585 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 97068947 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902681733872 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10324] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10324/stat : 10324 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068947 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902680681072 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10325] ppid=10306 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/10308/task/10325/stat : 10325 (java) R 10306 10306 7585 0 -1 4202560 302 0 0 0 1 0 0 0 20 0 20 0 97068947 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902679628272 139903272395824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10326] ppid=10306 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10326/stat : 10326 (java) S 10306 10306 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97068947 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902678575712 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10327] ppid=10306 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10308/task/10327/stat : 10327 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068948 26623803392 6400 33554432000 4194304 4196468 140720931859984 139902677522992 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26984 KiB

[startup+0.21052 s]*
/proc/loadavg: 7.80 8.13 7.45 2/200 10327
/proc/meminfo: memFree=31681108/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97068941 9740288 346 33554432000 4194304 5098028 140732085333248 140732085331352 139743034413692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28909568 140732085339244 140732085339452 140732085339452 140732085342187 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=26004064 memory=38188 CPUtime=0.33 cores=0-7
/proc/10308/stat : 10308 (java) S 10306 10306 7585 0 -1 1077944320 8094 0 0 0 31 2 0 0 20 0 20 0 97068941 26628161536 9547 33554432000 4194304 4196468 140720931859984 140720931842528 139903291158263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
/proc/10308/statm: 6501016 9547 3088 1 0 6488269 0
[pid=10308/tid=10309] ppid=10306 vsize=26004096 memory=0 CPUtime=0.19 cores=0-7
/proc/10308/task/10309/stat : 10309 (java) R 10306 10306 7585 0 -1 4202560 5060 0 0 0 18 1 0 0 20 0 20 0 97068942 26628194304 9547 33554432000 4194304 4196468 140720931859984 139903295359984 139903283837981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10310] ppid=10306 vsize=26004096 memory=279807751440120 CPUtime=0 cores=0-7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068943 26628194304 9547 33554432000 4194304 4196468 140720931859984 139902849256080 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10311] ppid=10306 vsize=26004064 memory=139903956502144 CPUtime=0 cores=0-7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902848203280 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10312] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902847150480 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10313] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902846097680 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10314] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902845045904 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10315] ppid=10306 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902843993104 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10316] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902842940304 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10317] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902841887504 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10318] ppid=10306 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068944 26628194304 9548 33554432000 4194304 4196468 140720931859984 139902686996848 139903291169410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10319] ppid=10306 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97068944 26628194304 9548 33554432000 4194304 4196468 140720931859984 139902685942816 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10320] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10320/stat : 10320 (java) S 10306 10306 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97068945 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902684889968 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10321] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068947 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902683838288 139903291176859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10322] ppid=10306 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 7585 0 -1 1077944384 616 0 0 0 1 0 0 0 20 0 20 0 97068947 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902682786672 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10323] ppid=10306 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10308/task/10323/stat : 10323 (java) S 10306 10306 7585 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 20 0 97068947 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902681733872 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10324] ppid=10306 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10308/task/10324/stat : 10324 (java) S 10306 10306 7585 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 97068947 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902680681072 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10325] ppid=10306 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/10308/task/10325/stat : 10325 (java) S 10306 10306 7585 0 -1 1077944384 821 0 0 0 8 0 0 0 20 0 20 0 97068947 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902679628272 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10326] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10326/stat : 10326 (java) S 10306 10306 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97068947 26628161536 9548 33554432000 4194304 4196468 140720931859984 139902678575712 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10327] ppid=10306 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/10308/task/10327/stat : 10327 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068948 26628194304 9548 33554432000 4194304 4196468 140720931859984 139902677522992 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39572 KiB

[startup+0.31019 s]*
/proc/loadavg: 7.80 8.13 7.45 3/200 10327
/proc/meminfo: memFree=31675872/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97068941 9740288 346 33554432000 4194304 5098028 140732085333248 140732085331352 139743034413692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28909568 140732085339244 140732085339452 140732085339452 140732085342187 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=26004064 memory=45324 CPUtime=0.5 cores=0-7
/proc/10308/stat : 10308 (java) S 10306 10306 7585 0 -1 1077944320 9022 0 0 0 47 3 0 0 20 0 20 0 97068941 26628161536 11331 33554432000 4194304 4196468 140720931859984 140720931842528 139903291158263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
/proc/10308/statm: 6501016 11331 3107 1 0 6488269 0
[pid=10308/tid=10309] ppid=10306 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10308/task/10309/stat : 10309 (java) R 10306 10306 7585 0 -1 4202560 5685 0 0 0 27 2 0 0 20 0 20 0 97068942 26628161536 11331 33554432000 4194304 4196468 140720931859984 139903295397296 139903291180189 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10310] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902849256080 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10311] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902848203280 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10312] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902847150480 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10313] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902846097680 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10314] ppid=10306 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902845045904 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10315] ppid=10306 vsize=26004064 memory=139903795033007 CPUtime=0 cores=0-7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902843993104 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10316] ppid=10306 vsize=26004064 memory=139903795035312 CPUtime=0 cores=0-7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902842940304 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10317] ppid=10306 vsize=26004064 memory=139903795037616 CPUtime=0 cores=0-7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068943 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902841887504 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10318] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068944 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902686996848 139903291169410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10319] ppid=10306 vsize=26004064 memory=279807590082192 CPUtime=0 cores=0-7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97068944 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902685942816 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10320] ppid=10306 vsize=26004064 memory=279807590089104 CPUtime=0 cores=0-7
/proc/10308/task/10320/stat : 10320 (java) S 10306 10306 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97068945 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902684889968 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10321] ppid=10306 vsize=26004064 memory=279807590030384 CPUtime=0 cores=0-7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068947 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902683838288 139903291176859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10322] ppid=10306 vsize=26004064 memory=279807590102928 CPUtime=0.02 cores=0-7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 7585 0 -1 1077944384 626 0 0 0 2 0 0 0 20 0 20 0 97068947 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902682786672 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10323] ppid=10306 vsize=26004064 memory=279807590109840 CPUtime=0.02 cores=0-7
/proc/10308/task/10323/stat : 10323 (java) R 10306 10306 7585 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 20 0 97068947 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902681725200 139903283395390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10324] ppid=10306 vsize=26004064 memory=279807590107536 CPUtime=0.02 cores=0-7
/proc/10308/task/10324/stat : 10324 (java) S 10306 10306 7585 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 20 0 97068947 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902680681072 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10325] ppid=10306 vsize=26004064 memory=279807590123696 CPUtime=0.13 cores=0-7
/proc/10308/task/10325/stat : 10325 (java) R 10306 10306 7585 0 -1 4202560 988 0 0 0 13 0 0 0 20 0 20 0 97068947 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902679628272 139903269837023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10326] ppid=10306 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10326/stat : 10326 (java) S 10306 10306 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97068947 26628161536 11331 33554432000 4194304 4196468 140720931859984 139902678575712 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10327] ppid=10306 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10308/task/10327/stat : 10327 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068948 26628161536 11397 33554432000 4194304 4196468 140720931859984 139902677522992 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46708 KiB

[startup+0.701525 s]
/proc/loadavg: 7.80 8.13 7.45 5/200 10327
/proc/meminfo: memFree=31647320/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97068941 9740288 346 33554432000 4194304 5098028 140732085333248 140732085331352 139743034413692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28909568 140732085339244 140732085339452 140732085339452 140732085342187 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=26006188 memory=89952 CPUtime=1.77 cores=0-7
/proc/10308/stat : 10308 (java) S 10306 10306 7585 0 -1 1077944320 12455 0 0 0 172 5 0 0 20 0 20 0 97068941 26630336512 22488 33554432000 4194304 4196468 140720931859984 140720931842528 139903291158263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
/proc/10308/statm: 6501547 22488 3199 1 0 6488781 0
[pid=10308/tid=10309] ppid=10306 vsize=26006188 memory=279807590418560 CPUtime=0.67 cores=0-7
/proc/10308/task/10309/stat : 10309 (java) S 10306 10306 7585 0 -1 1077944384 6158 0 0 0 64 3 0 0 20 0 20 0 97068942 26630336512 22488 33554432000 4194304 4196468 140720931859984 139903295386272 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10310] ppid=10306 vsize=26006188 memory=5123895985313 CPUtime=0 cores=0-7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068943 26630336512 22488 33554432000 4194304 4196468 140720931859984 139902849256080 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10311] ppid=10306 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97068943 26630336512 22488 33554432000 4194304 4196468 140720931859984 139902848203280 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10312] ppid=10306 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97068943 26630336512 22488 33554432000 4194304 4196468 140720931859984 139902847150480 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0

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

[pid=10308/tid=16642] ppid=10306 vsize=26541776 memory=1384 CPUtime=107.16 cores=0-7
/proc/10308/task/16642/stat : 16642 (java) R 10306 10306 7585 0 -1 4202560 6505 0 0 0 10710 6 0 0 20 0 28 0 97074412 27178778624 703173 33554432000 4194304 4196468 140720931859984 139902658994328 139902933213372 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
Current children cumulated CPU time: 1159.16 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2814076 KiB

[startup+222.302 s]
/proc/loadavg: 8.50 8.03 7.52 9/207 16642
/proc/meminfo: memFree=28956072/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97068941 9740288 346 33554432000 4194304 5098028 140732085333248 140732085331352 139743034413692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28909568 140732085339244 140732085339452 140732085339452 140732085342187 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=26541776 memory=2755724 CPUtime=1637.47 cores=0-7
/proc/10308/stat : 10308 (java) S 10306 10306 7585 0 -1 1077944320 247365 0 0 0 163368 379 0 0 20 0 28 0 97068941 27178778624 688931 33554432000 4194304 4196468 140720931859984 140720931842528 139903291158263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
/proc/10308/statm: 6635444 688931 3288 1 0 6622678 0
[pid=10308/tid=10309] ppid=10306 vsize=26541776 memory=2772652 CPUtime=6.01 cores=0-7
/proc/10308/task/10309/stat : 10309 (java) S 10306 10306 7585 0 -1 1077944384 10489 0 0 0 589 12 0 0 20 0 28 0 97068942 27178778624 688931 33554432000 4194304 4196468 140720931859984 139903295398976 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10310] ppid=10306 vsize=26541776 memory=1384 CPUtime=0.41 cores=0-7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 7585 0 -1 1077944384 1801 0 0 0 30 11 0 0 20 0 28 0 97068943 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902849256080 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10311] ppid=10306 vsize=26541776 memory=2760852 CPUtime=0.42 cores=0-7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 7585 0 -1 1077944384 2115 0 0 0 32 10 0 0 20 0 28 0 97068943 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902848203280 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10312] ppid=10306 vsize=26541776 memory=2760340 CPUtime=0.41 cores=0-7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 7585 0 -1 1077944384 2593 0 0 0 31 10 0 0 20 0 28 0 97068943 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902847150480 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10313] ppid=10306 vsize=26541776 memory=1384 CPUtime=0.4 cores=0-7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 7585 0 -1 1077944384 2378 0 0 0 32 8 0 0 20 0 28 0 97068943 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902846097680 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10314] ppid=10306 vsize=26541776 memory=2760340 CPUtime=0.41 cores=0-7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 7585 0 -1 1077944384 2132 0 0 0 31 10 0 0 20 0 28 0 97068943 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902845045904 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10315] ppid=10306 vsize=26541776 memory=1384 CPUtime=0.4 cores=0-7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 7585 0 -1 1077944384 2455 0 0 0 30 10 0 0 20 0 28 0 97068943 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902843993104 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10316] ppid=10306 vsize=26541776 memory=2755724 CPUtime=0.43 cores=0-7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 7585 0 -1 1077944384 2632 0 0 0 33 10 0 0 20 0 28 0 97068943 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902842940304 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10317] ppid=10306 vsize=26541776 memory=1384 CPUtime=0.41 cores=0-7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 7585 0 -1 1077944384 1003 0 0 0 32 9 0 0 20 0 28 0 97068943 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902841887504 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10318] ppid=10306 vsize=26541776 memory=2760340 CPUtime=0.11 cores=0-7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 7585 0 -1 1077944384 9005 0 0 0 7 4 0 0 20 0 28 0 97068944 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902686996848 139903291169410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10319] ppid=10306 vsize=26541776 memory=2760852 CPUtime=0 cores=0-7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 7585 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 97068944 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902685942880 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10320] ppid=10306 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/10308/task/10320/stat : 10320 (java) S 10306 10306 7585 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 97068945 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902684889984 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10321] ppid=10306 vsize=26541776 memory=960 CPUtime=0 cores=0-7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97068947 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902683838288 139903291176859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10322] ppid=10306 vsize=26541776 memory=2340 CPUtime=4.26 cores=0-7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 7585 0 -1 1077944384 24899 0 0 0 422 4 0 0 20 0 28 0 97068947 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902682786672 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10323] ppid=10306 vsize=26541776 memory=1200 CPUtime=4.26 cores=0-7
/proc/10308/task/10323/stat : 10323 (java) S 10306 10306 7585 0 -1 1077944384 30671 0 0 0 422 4 0 0 20 0 28 0 97068947 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902681733872 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10324] ppid=10306 vsize=26541776 memory=15872 CPUtime=3.79 cores=0-7
/proc/10308/task/10324/stat : 10324 (java) S 10306 10306 7585 0 -1 1077944384 23767 0 0 0 375 4 0 0 20 0 28 0 97068947 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902680681072 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10325] ppid=10306 vsize=26541776 memory=4132 CPUtime=1.28 cores=0-7
/proc/10308/task/10325/stat : 10325 (java) S 10306 10306 7585 0 -1 1077944384 19336 0 0 0 125 3 0 0 20 0 28 0 97068947 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902679628272 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10326] ppid=10306 vsize=26541776 memory=28256 CPUtime=0 cores=0-7
/proc/10308/task/10326/stat : 10326 (java) S 10306 10306 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97068947 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902678575712 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10327] ppid=10306 vsize=26541776 memory=2776760 CPUtime=0.09 cores=0-7
/proc/10308/task/10327/stat : 10327 (java) S 10306 10306 7585 0 -1 1077944384 3310 0 0 0 2 7 0 0 20 0 28 0 97068948 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902677522992 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16635] ppid=10306 vsize=26541776 memory=1384 CPUtime=167.34 cores=0-7
/proc/10308/task/16635/stat : 16635 (java) R 10306 10306 7585 0 -1 4202560 4200 0 0 0 16726 8 0 0 20 0 28 0 97074411 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902665301488 139902930406877 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16636] ppid=10306 vsize=26541776 memory=1384 CPUtime=166.19 cores=0-7
/proc/10308/task/16636/stat : 16636 (java) R 10306 10306 7585 0 -1 4202560 4221 0 0 0 16617 2 0 0 20 0 28 0 97074412 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902662144512 139902933005393 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16637] ppid=10306 vsize=26541776 memory=2776248 CPUtime=166.32 cores=0-7
/proc/10308/task/16637/stat : 16637 (java) R 10306 10306 7585 0 -1 4202560 2970 0 0 0 16629 3 0 0 20 0 28 0 97074412 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902667409280 139902929431260 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16638] ppid=10306 vsize=26541776 memory=28256 CPUtime=167.02 cores=0-7
/proc/10308/task/16638/stat : 16638 (java) R 10306 10306 7585 0 -1 4202560 4072 0 0 0 16697 5 0 0 20 0 28 0 97074412 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902663197840 139902930410028 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16639] ppid=10306 vsize=26541776 memory=2332 CPUtime=167.09 cores=0-7
/proc/10308/task/16639/stat : 16639 (java) R 10306 10306 7585 0 -1 4202560 3108 0 0 0 16705 4 0 0 20 0 28 0 97074412 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902668464176 139902930454149 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16640] ppid=10306 vsize=26541776 memory=1384 CPUtime=166.29 cores=0-7
/proc/10308/task/16640/stat : 16640 (java) R 10306 10306 7585 0 -1 4202560 18990 0 0 0 16572 57 0 0 20 0 28 0 97074412 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902666355848 139902932068851 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16641] ppid=10306 vsize=26541776 memory=2760340 CPUtime=167.33 cores=0-7
/proc/10308/task/16641/stat : 16641 (java) R 10306 10306 7585 0 -1 4202560 4541 0 0 0 16726 7 0 0 20 0 28 0 97074412 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902669513352 139902931238490 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16642] ppid=10306 vsize=26541776 memory=1384 CPUtime=166.97 cores=0-7
/proc/10308/task/16642/stat : 16642 (java) R 10306 10306 7585 0 -1 4202560 7441 0 0 0 16689 8 0 0 20 0 28 0 97074412 27178778624 688931 33554432000 4194304 4196468 140720931859984 139902658994616 139902929769813 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
Current children cumulated CPU time: 1637.47 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2757108 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.57 8.09 7.56 10/207 16642
/proc/meminfo: memFree=28969240/32770624 swapFree=67108860/67108860
[pid=10306] ppid=10303 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10306/stat : 10306 (xcsp3-exec) S 10303 10306 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97068941 9740288 346 33554432000 4194304 5098028 140732085333248 140732085331352 139743034413692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28909568 140732085339244 140732085339452 140732085339452 140732085342187 0
/proc/10306/statm: 2378 346 289 221 0 87 0
[pid=10308] ppid=10306 vsize=26541776 memory=2740840 CPUtime=1874.3 cores=0-7
/proc/10308/stat : 10308 (java) S 10306 10306 7585 0 -1 1077944320 250615 0 0 0 187048 382 0 0 20 0 28 0 97068941 27178778624 685210 33554432000 4194304 4196468 140720931859984 140720931842528 139903291158263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
/proc/10308/statm: 6635444 685210 3288 1 0 6622678 0
[pid=10308/tid=10309] ppid=10306 vsize=26541776 memory=6791534058613427641 CPUtime=6.01 cores=0-7
/proc/10308/task/10309/stat : 10309 (java) S 10306 10306 7585 0 -1 1077944384 10489 0 0 0 589 12 0 0 20 0 28 0 97068942 27178778624 685210 33554432000 4194304 4196468 140720931859984 139903295398976 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10310] ppid=10306 vsize=26541776 memory=-7003737579269690708 CPUtime=0.45 cores=0-7
/proc/10308/task/10310/stat : 10310 (java) S 10306 10306 7585 0 -1 1077944384 1875 0 0 0 34 11 0 0 20 0 28 0 97068943 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902849256080 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10311] ppid=10306 vsize=26541776 memory=-7003737579269690708 CPUtime=0.45 cores=0-7
/proc/10308/task/10311/stat : 10311 (java) S 10306 10306 7585 0 -1 1077944384 2156 0 0 0 35 10 0 0 20 0 28 0 97068943 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902848203280 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10312] ppid=10306 vsize=26541776 memory=2746484 CPUtime=0.45 cores=0-7
/proc/10308/task/10312/stat : 10312 (java) S 10306 10306 7585 0 -1 1077944384 2642 0 0 0 35 10 0 0 20 0 28 0 97068943 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902847150480 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10313] ppid=10306 vsize=26541776 memory=648 CPUtime=0.44 cores=0-7
/proc/10308/task/10313/stat : 10313 (java) S 10306 10306 7585 0 -1 1077944384 2613 0 0 0 36 8 0 0 20 0 28 0 97068943 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902846097680 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10314] ppid=10306 vsize=26541776 memory=6791534058613427641 CPUtime=0.45 cores=0-7
/proc/10308/task/10314/stat : 10314 (java) S 10306 10306 7585 0 -1 1077944384 2265 0 0 0 35 10 0 0 20 0 28 0 97068943 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902845045904 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10315] ppid=10306 vsize=26541776 memory=288230621803970871 CPUtime=0.44 cores=0-7
/proc/10308/task/10315/stat : 10315 (java) S 10306 10306 7585 0 -1 1077944384 2589 0 0 0 34 10 0 0 20 0 28 0 97068943 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902843993104 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10316] ppid=10306 vsize=26541776 memory=15540704344541588 CPUtime=0.46 cores=0-7
/proc/10308/task/10316/stat : 10316 (java) S 10306 10306 7585 0 -1 1077944384 2697 0 0 0 36 10 0 0 20 0 28 0 97068943 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902842940304 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10317] ppid=10306 vsize=26541776 memory=288230621803970871 CPUtime=0.45 cores=0-7
/proc/10308/task/10317/stat : 10317 (java) S 10306 10306 7585 0 -1 1077944384 1014 0 0 0 36 9 0 0 20 0 28 0 97068943 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902841887504 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10318] ppid=10306 vsize=26541776 memory=15540704344541588 CPUtime=0.12 cores=0-7
/proc/10308/task/10318/stat : 10318 (java) S 10306 10306 7585 0 -1 1077944384 9373 0 0 0 8 4 0 0 20 0 28 0 97068944 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902686996848 139903291169410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10319] ppid=10306 vsize=26541776 memory=16692 CPUtime=0 cores=0-7
/proc/10308/task/10319/stat : 10319 (java) S 10306 10306 7585 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 97068944 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902685942880 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10320] ppid=10306 vsize=26541776 memory=18292 CPUtime=0 cores=0-7
/proc/10308/task/10320/stat : 10320 (java) S 10306 10306 7585 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 97068945 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902684889984 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10321] ppid=10306 vsize=26541776 memory=1792 CPUtime=0 cores=0-7
/proc/10308/task/10321/stat : 10321 (java) S 10306 10306 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97068947 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902683838288 139903291176859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10322] ppid=10306 vsize=26541776 memory=648 CPUtime=4.26 cores=0-7
/proc/10308/task/10322/stat : 10322 (java) S 10306 10306 7585 0 -1 1077944384 24901 0 0 0 422 4 0 0 20 0 28 0 97068947 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902682786672 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10323] ppid=10306 vsize=26541776 memory=1236 CPUtime=4.26 cores=0-7
/proc/10308/task/10323/stat : 10323 (java) S 10306 10306 7585 0 -1 1077944384 30673 0 0 0 422 4 0 0 20 0 28 0 97068947 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902681733872 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10324] ppid=10306 vsize=26541776 memory=960 CPUtime=3.79 cores=0-7
/proc/10308/task/10324/stat : 10324 (java) S 10306 10306 7585 0 -1 1077944384 23770 0 0 0 375 4 0 0 20 0 28 0 97068947 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902680681072 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10325] ppid=10306 vsize=26541776 memory=2340 CPUtime=1.28 cores=0-7
/proc/10308/task/10325/stat : 10325 (java) S 10306 10306 7585 0 -1 1077944384 19938 0 0 0 125 3 0 0 20 0 28 0 97068947 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902679628272 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10326] ppid=10306 vsize=26541776 memory=2236 CPUtime=0 cores=0-7
/proc/10308/task/10326/stat : 10326 (java) S 10306 10306 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97068947 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902678575712 139903291168469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=10327] ppid=10306 vsize=26541776 memory=4084 CPUtime=0.1 cores=0-7
/proc/10308/task/10327/stat : 10327 (java) S 10306 10306 7585 0 -1 1077944384 3331 0 0 0 2 8 0 0 20 0 28 0 97068948 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902677522992 139903291169410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16635] ppid=10306 vsize=26541776 memory=932 CPUtime=196.95 cores=0-7
/proc/10308/task/16635/stat : 16635 (java) R 10306 10306 7585 0 -1 4202560 4314 0 0 0 19687 8 0 0 20 0 28 0 97074411 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902665301264 139902931238513 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16636] ppid=10306 vsize=26541776 memory=1572 CPUtime=195.62 cores=0-7
/proc/10308/task/16636/stat : 16636 (java) R 10306 10306 7585 0 -1 4202560 4381 0 0 0 19560 2 0 0 20 0 28 0 97074412 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902662144648 139902933005255 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16637] ppid=10306 vsize=26541776 memory=2200 CPUtime=195.8 cores=0-7
/proc/10308/task/16637/stat : 16637 (java) R 10306 10306 7585 0 -1 4202560 3084 0 0 0 19577 3 0 0 20 0 28 0 97074412 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902667408688 139902931238513 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16638] ppid=10306 vsize=26541776 memory=1384 CPUtime=196.56 cores=0-7
/proc/10308/task/16638/stat : 16638 (java) R 10306 10306 7585 0 -1 4202560 4157 0 0 0 19651 5 0 0 20 0 28 0 97074412 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902663197840 139902931238490 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16639] ppid=10306 vsize=26541776 memory=4104 CPUtime=196.74 cores=0-7
/proc/10308/task/16639/stat : 16639 (java) R 10306 10306 7585 0 -1 4202560 3169 0 0 0 19669 5 0 0 20 0 28 0 97074412 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902668461240 139902937962927 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16640] ppid=10306 vsize=26541776 memory=1696 CPUtime=195.88 cores=0-7
/proc/10308/task/16640/stat : 16640 (java) R 10306 10306 7585 0 -1 4202560 19535 0 0 0 19530 58 0 0 20 0 28 0 97074412 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902666355768 139902929419343 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16641] ppid=10306 vsize=26541776 memory=920 CPUtime=196.95 cores=0-7
/proc/10308/task/16641/stat : 16641 (java) R 10306 10306 7585 0 -1 4202560 4737 0 0 0 19688 7 0 0 20 0 28 0 97074412 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902669516400 139902930454644 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
[pid=10308/tid=16642] ppid=10306 vsize=26541776 memory=4140 CPUtime=196.59 cores=0-7
/proc/10308/task/16642/stat : 16642 (java) R 10306 10306 7585 0 -1 4202560 7676 0 0 0 19651 8 0 0 20 0 28 0 97074412 27178778624 685210 33554432000 4194304 4196468 140720931859984 139902658994704 139902936920816 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 19193856 140720931861656 140720931861832 140720931861832 140720931864527 0
Current children cumulated CPU time: 1874.3 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2742224 KiB

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

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

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

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

Child status: 143
Real time (s): 252.115
CPU time (s): 1875.01
CPU user time (s): 1871.16
CPU system time (s): 3.84676
CPU usage (%): 743.71
Max. virtual memory (cumulated for all children) (KiB): 26552068
Max. memory (cumulated for all children) (KiB): 3146844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1871.16
system time used= 3.84676
maximum resident set size= 3145564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252231
page faults= 0
swaps= 0
block input operations= 8
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60084
involuntary context switches= 20167


# summary of solver processes directly reported to runsolver:
#   pid: 10306,10308
#   total CPU time (s): 1875.01
#   total CPU user time (s): 1871.16
#   total CPU system time (s): 3.84676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.06709 second user time and 3.15254 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-13 17:42:33
IDJOB=4254847
IDBENCH=115914
IDSOLVER=2636
FILE ID=node112/4254847-1502639811
RUNJOBID= node112-1502636672-7612
PBS_JOBID= 20628326
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-42.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254847-1502639811/watcher-4254847-1502639811 -o /tmp/evaluation-result-4254847-1502639811/solver-4254847-1502639811 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 64449047 HOME/instance-4254847-1502639811.xml

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=64449047

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31707092 kB
MemAvailable:   31983260 kB
Buffers:          126712 kB
Cached:           430020 kB
SwapCached:            0 kB
Active:           412456 kB
Inactive:         197816 kB
Active(anon):       4784 kB
Inactive(anon):    76476 kB
Active(file):     407672 kB
Inactive(file):   121340 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7580 kB
Writeback:             0 kB
AnonPages:         72600 kB
Mapped:            43340 kB
Shmem:             25224 kB
Slab:             151744 kB
SReclaimable:     125984 kB
SUnreclaim:        25760 kB
KernelStack:        3536 kB
PageTables:         5136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node112 at 2017-08-13 17:46:45