Trace number 4280617

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)808 19791.9 2520.1399

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 benchmark857
Best CPU time to get the best result obtained on this benchmark2400.03
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-4280617-1503116500.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280617-1503116500.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
10.97/5.15	c solve instance...
26.89/7.26	o 0 
28.14/7.69	o 4 
30.26/8.96	o 6 
30.26/8.98	o 8 
30.26/8.99	o 10 
30.53/9.01	o 12 
30.53/9.03	o 14 
30.53/9.06	o 16 
30.53/9.10	o 18 
31.21/9.20	o 20 
31.84/9.29	o 22 
33.35/9.48	o 24 
36.50/9.88	o 26 
40.41/10.33	o 28 
52.90/12.08	o 30 
72.98/14.61	o 32 
103.75/19.29	o 34 
194.26/30.95	o 36 
209.05/32.83	o 37 
209.05/32.85	o 38 
209.05/32.87	o 39 
209.05/32.88	o 40 
209.05/32.89	o 41 
209.60/32.90	o 42 
209.60/32.91	o 43 
209.60/32.92	o 44 
209.60/32.93	o 45 
209.60/32.94	o 46 
209.60/32.95	o 47 
209.60/32.97	o 48 
209.60/32.98	o 49 
209.60/32.99	o 50 
209.60/33.01	o 51 
210.09/33.02	o 52 
210.09/33.03	o 53 
210.09/33.04	o 54 
210.09/33.06	o 55 
210.09/33.07	o 56 
210.09/33.09	o 57 
210.09/33.10	o 58 
210.57/33.11	o 59 
210.57/33.12	o 60 
210.57/33.14	o 61 
210.57/33.15	o 62 
210.57/33.16	o 63 
210.57/33.17	o 64 
210.57/33.18	o 65 
210.57/33.19	o 66 
211.04/33.22	o 67 
211.04/33.23	o 68 
211.74/33.82	o 69 
212.79/34.89	o 70 
212.93/34.90	o 71 
212.93/34.91	o 72 
212.93/34.92	o 73 
212.93/34.94	o 74 
212.93/34.95	o 75 
212.93/34.96	o 76 
212.93/34.97	o 77 
212.93/34.98	o 78 
212.93/34.99	o 79 
212.93/35.00	o 80 
213.49/35.01	o 81 
213.49/35.02	o 82 
213.49/35.03	o 83 
213.49/35.04	o 84 
213.49/35.05	o 85 
213.49/35.06	o 86 
213.49/35.07	o 87 
213.49/35.09	o 88 
213.49/35.10	o 89 
213.49/35.11	o 90 
213.96/35.12	o 91 
213.96/35.13	o 92 
213.96/35.15	o 93 
213.96/35.16	o 94 
213.96/35.17	o 95 
213.96/35.18	o 96 
213.96/35.19	o 97 
213.96/35.20	o 98 
214.40/35.22	o 99 
214.40/35.23	o 100 
214.40/35.25	o 101 
214.40/35.26	o 102 
214.40/35.27	o 103 
214.40/35.28	o 104 
214.40/35.30	o 105 
214.87/35.31	o 106 
214.87/35.32	o 107 
214.87/35.33	o 108 
214.87/35.35	o 109 
214.87/35.36	o 110 
214.87/35.37	o 111 
214.87/35.39	o 112 
215.35/35.40	o 113 
215.35/35.42	o 114 
215.35/35.43	o 115 
215.35/35.44	o 116 
215.35/35.46	o 117 
215.35/35.47	o 118 
215.35/35.48	o 119 
215.78/35.50	o 120 
215.78/35.52	o 121 
215.78/35.53	o 122 
215.78/35.54	o 123 
215.78/35.55	o 124 
215.78/35.57	o 125 
215.78/35.58	o 126 
215.78/35.60	o 127 
216.21/35.61	o 128 
216.21/35.62	o 129 
216.21/35.63	o 130 
216.21/35.65	o 131 
216.21/35.66	o 132 
216.21/35.68	o 133 
216.21/35.69	o 134 
216.67/35.71	o 135 
216.67/35.72	o 136 
216.67/35.75	o 137 
216.67/35.76	o 138 
216.67/35.77	o 139 
216.67/35.78	o 140 
217.10/35.80	o 141 
217.10/35.82	o 142 
217.10/35.83	o 143 
217.10/35.84	o 144 
217.10/35.86	o 145 
217.10/35.87	o 146 
217.10/35.88	o 147 
217.10/35.89	o 148 
217.61/35.91	o 149 
217.61/35.92	o 150 
217.61/35.93	o 151 
217.61/35.94	o 152 
217.61/35.96	o 153 
217.61/35.97	o 154 
217.61/35.98	o 155 
217.61/35.99	o 156 
217.61/36.01	o 157 
218.08/36.02	o 158 
218.08/36.03	o 159 
218.08/36.04	o 160 
218.08/36.06	o 161 
218.08/36.07	o 162 
218.08/36.09	o 163 
218.08/36.10	o 164 
218.55/36.11	o 165 
218.55/36.13	o 166 
218.55/36.14	o 167 
218.55/36.16	o 168 
218.55/36.17	o 169 
218.55/36.18	o 170 
218.96/36.20	o 171 
218.96/36.21	o 172 
218.96/36.22	o 173 
218.96/36.24	o 174 
218.96/36.25	o 175 
218.96/36.27	o 176 
218.96/36.28	o 177 
218.96/36.30	o 178 
219.41/36.31	o 179 
219.41/36.32	o 180 
219.41/36.33	o 181 
219.41/36.35	o 182 
219.41/36.36	o 183 
219.41/36.38	o 184 
219.41/36.39	o 185 
219.92/36.40	o 186 
219.92/36.42	o 187 
219.92/36.43	o 188 
219.92/36.45	o 189 
219.92/36.46	o 190 
219.92/36.47	o 191 
219.92/36.49	o 192 
219.92/36.50	o 193 
220.42/36.51	o 194 
220.42/36.52	o 195 
220.42/36.53	o 196 
220.42/36.55	o 197 
220.42/36.56	o 198 
220.42/36.57	o 199 
220.42/36.59	o 200 
220.42/36.60	o 201 
220.94/36.61	o 202 
220.94/36.62	o 203 
220.94/36.63	o 204 
220.94/36.64	o 205 
220.94/36.65	o 206 
220.94/36.67	o 207 
220.94/36.68	o 208 
221.48/36.70	o 209 
221.48/36.71	o 210 
221.48/36.73	o 211 
221.48/36.74	o 212 
221.48/36.76	o 213 
221.48/36.77	o 214 
221.48/36.78	o 215 
221.48/36.79	o 216 
222.01/36.81	o 217 
222.01/36.82	o 218 
222.01/36.83	o 219 
222.01/36.84	o 220 
222.01/36.86	o 221 
222.01/36.87	o 222 
222.01/36.89	o 223 
222.47/36.90	o 224 
222.47/36.92	o 225 
222.47/36.94	o 226 
223.03/37.40	o 227 
224.19/38.42	o 228 
224.19/38.43	o 229 
224.19/38.44	o 230 
224.19/38.45	o 231 
224.19/38.47	o 232 
224.19/38.48	o 233 
224.19/38.49	o 234 
224.63/38.50	o 235 
224.63/38.51	o 236 
224.63/38.52	o 237 
224.63/38.54	o 238 
224.63/38.55	o 239 
224.63/38.56	o 240 
224.63/38.57	o 241 
224.63/38.59	o 242 
225.13/38.60	o 243 
225.13/38.61	o 244 
225.13/38.62	o 245 
225.13/38.64	o 246 
225.13/38.65	o 247 
225.13/38.66	o 248 
225.13/38.68	o 249 
225.13/38.69	o 250 
225.13/38.70	o 251 
225.66/38.71	o 252 
225.66/38.72	o 253 
225.66/38.74	o 254 
225.66/38.75	o 255 
225.66/38.76	o 256 
225.66/38.77	o 257 
225.66/38.78	o 258 
225.66/38.79	o 259 
226.20/38.81	o 260 
226.20/38.82	o 261 
226.20/38.83	o 262 
226.20/38.84	o 263 
226.20/38.85	o 264 
226.20/38.87	o 265 
226.20/38.89	o 266 
226.71/38.90	o 267 
226.71/38.91	o 268 
226.71/38.92	o 269 
226.71/38.93	o 270 
226.71/38.94	o 271 
226.71/38.96	o 272 
226.71/38.98	o 273 
226.71/38.99	o 274 
226.71/39.01	o 275 
227.28/39.02	o 276 
227.28/39.03	o 277 
227.28/39.05	o 278 
227.28/39.06	o 279 
227.28/39.07	o 280 
227.28/39.09	o 281 
227.79/39.11	o 282 
227.79/39.12	o 283 
227.79/39.14	o 284 
227.79/39.15	o 285 
227.79/39.16	o 286 
227.79/39.18	o 287 
227.79/39.19	o 288 
228.29/39.20	o 289 
228.29/39.21	o 290 
228.29/39.23	o 291 
228.29/39.24	o 292 
228.29/39.25	o 293 
228.29/39.26	o 294 
228.29/39.27	o 295 
228.29/39.28	o 296 
228.29/39.30	o 297 
228.81/39.31	o 298 
228.81/39.32	o 299 
228.81/39.34	o 300 
228.81/39.35	o 301 
228.81/39.36	o 302 
228.81/39.37	o 303 
228.81/39.39	o 304 
229.32/39.41	o 305 
229.32/39.42	o 306 
229.32/39.43	o 307 
229.32/39.45	o 308 
229.32/39.46	o 309 
229.32/39.47	o 310 
229.32/39.48	o 311 
229.90/39.50	o 312 
229.90/39.51	o 313 
229.90/39.53	o 314 
229.90/39.54	o 315 
229.90/39.56	o 316 
229.90/39.57	o 317 
229.90/39.58	o 318 
229.90/39.59	o 319 
230.45/39.61	o 320 
230.45/39.63	o 321 
230.45/39.64	o 322 
230.45/39.66	o 323 
230.45/39.67	o 324 
230.45/39.69	o 325 
231.00/39.70	o 326 
231.00/39.71	o 327 
231.00/39.72	o 328 
231.00/39.74	o 329 
231.00/39.75	o 330 
231.00/39.77	o 331 
231.00/39.79	o 332 
231.53/39.80	o 333 
231.53/39.81	o 334 
231.53/39.82	o 335 
231.53/39.83	o 336 
231.53/39.85	o 337 
231.53/39.86	o 338 
231.53/39.87	o 339 
231.53/39.89	o 340 
232.12/39.90	o 341 
232.12/39.91	o 342 
232.12/39.93	o 343 
232.12/39.94	o 344 
232.12/39.95	o 345 
232.12/39.97	o 346 
232.12/39.98	o 347 
232.12/39.99	o 348 
232.12/40.01	o 349 
232.76/40.02	o 350 
232.76/40.04	o 351 
232.76/40.05	o 352 
232.76/40.07	o 353 
232.76/40.08	o 354 
232.76/40.09	o 355 
233.30/40.11	o 356 
233.30/40.12	o 357 
233.30/40.13	o 358 
233.30/40.15	o 359 
233.30/40.16	o 360 
233.30/40.17	o 361 
233.30/40.19	o 362 
233.85/40.20	o 363 
233.85/40.22	o 364 
233.85/40.23	o 365 
233.85/40.24	o 366 
233.85/40.26	o 367 
233.85/40.27	o 368 
233.85/40.29	o 369 
234.45/40.30	o 370 
234.45/40.32	o 371 
234.45/40.35	o 372 
234.45/40.37	o 373 
235.25/40.87	o 374 
236.33/41.88	o 375 
236.33/41.89	o 376 
236.58/41.91	o 377 
236.58/41.92	o 378 
236.58/41.94	o 379 
236.58/41.95	o 380 
236.58/41.97	o 381 
236.58/41.98	o 382 
236.58/41.99	o 383 
236.58/42.01	o 384 
237.15/42.02	o 385 
237.15/42.04	o 386 
237.15/42.06	o 387 
237.15/42.07	o 388 
237.15/42.09	o 389 
237.15/42.10	o 390 
237.73/42.12	o 391 
237.73/42.13	o 392 
237.73/42.14	o 393 
237.73/42.16	o 394 
237.73/42.17	o 395 
237.73/42.18	o 396 
237.73/42.20	o 397 
238.21/42.21	o 398 
238.21/42.23	o 399 
238.21/42.24	o 400 
238.21/42.25	o 401 
238.21/42.27	o 402 
238.21/42.29	o 403 
238.84/42.31	o 404 
238.84/42.32	o 405 
238.84/42.33	o 406 
238.84/42.35	o 407 
238.84/42.37	o 408 
238.84/42.38	o 409 
238.84/42.39	o 410 
239.34/42.41	o 411 
239.34/42.43	o 412 
239.34/42.44	o 413 
239.34/42.46	o 414 
239.34/42.48	o 415 
239.34/42.49	o 416 
239.94/42.51	o 417 
239.94/42.52	o 418 
239.94/42.54	o 419 
239.94/42.55	o 420 
239.94/42.57	o 421 
239.94/42.58	o 422 
240.48/42.60	o 423 
240.48/42.61	o 424 
240.48/42.63	o 425 
240.48/42.65	o 426 
240.48/42.66	o 427 
240.48/42.67	o 428 
240.48/42.69	o 429 
241.07/42.70	o 430 
241.07/42.72	o 431 
241.07/42.74	o 432 
241.07/42.75	o 433 
241.07/42.76	o 434 
241.07/42.79	o 435 
241.61/42.80	o 436 
241.61/42.82	o 437 
241.61/42.83	o 438 
241.61/42.85	o 439 
241.61/42.87	o 440 
241.61/42.89	o 441 
242.14/42.90	o 442 
242.14/42.92	o 443 
242.14/42.94	o 444 
242.14/42.96	o 445 
242.14/42.98	o 446 
242.14/42.99	o 447 
242.74/43.02	o 448 
242.74/43.03	o 449 
242.74/43.05	o 450 
242.74/43.07	o 451 
242.74/43.08	o 452 
242.74/43.10	o 453 
243.27/43.11	o 454 
243.27/43.13	o 455 
243.27/43.15	o 456 
243.27/43.16	o 457 
243.27/43.18	o 458 
243.27/43.19	o 459 
243.82/43.21	o 460 
243.82/43.22	o 461 
243.82/43.25	o 462 
243.82/43.27	o 463 
243.82/43.28	o 464 
244.29/43.30	o 465 
244.29/43.32	o 466 
244.29/43.34	o 467 
244.29/43.35	o 468 
244.29/43.37	o 469 
244.29/43.39	o 470 
244.81/43.41	o 471 
244.81/43.42	o 472 
244.81/43.44	o 473 
244.81/43.46	o 474 
244.81/43.48	o 475 
244.81/43.49	o 476 
245.41/43.51	o 477 
245.41/43.53	o 478 
245.41/43.54	o 479 
245.41/43.56	o 480 
245.41/43.57	o 481 
245.41/43.59	o 482 
245.97/43.60	o 483 
245.97/43.63	o 484 
245.97/43.65	o 485 
245.97/43.66	o 486 
245.97/43.68	o 487 
245.97/43.69	o 488 
246.55/43.70	o 489 
246.55/43.72	o 490 
246.55/43.73	o 491 
246.55/43.75	o 492 
246.55/43.77	o 493 
246.55/43.78	o 494 
247.10/43.81	o 495 
247.10/43.84	o 496 
247.68/44.25	o 497 
248.37/44.84	o 498 
248.37/44.86	o 499 
248.37/44.87	o 500 
248.37/44.88	o 501 
248.76/44.90	o 502 
248.76/44.91	o 503 
248.76/44.93	o 504 
248.76/44.94	o 505 
248.76/44.95	o 506 
248.76/44.97	o 507 
248.76/44.98	o 508 
248.76/45.00	o 509 
249.46/45.01	o 510 
249.46/45.03	o 511 
249.46/45.05	o 512 
249.46/45.06	o 513 
249.46/45.07	o 514 
249.46/45.09	o 515 
250.07/45.11	o 516 
250.07/45.13	o 517 
250.07/45.14	o 518 
250.07/45.15	o 519 
250.07/45.17	o 520 
250.07/45.19	o 521 
250.63/45.20	o 522 
250.63/45.22	o 523 
250.63/45.23	o 524 
250.63/45.25	o 525 
250.63/45.27	o 526 
250.63/45.28	o 527 
251.26/45.30	o 528 
251.26/45.32	o 529 
251.26/45.34	o 530 
251.26/45.36	o 531 
251.26/45.38	o 532 
251.78/45.40	o 533 
251.78/45.42	o 534 
251.78/45.43	o 535 
251.78/45.45	o 536 
251.78/45.47	o 537 
251.78/45.48	o 538 
251.78/45.50	o 539 
252.34/45.51	o 540 
252.34/45.53	o 541 
252.34/45.55	o 542 
252.34/45.57	o 543 
252.34/45.59	o 544 
252.95/45.60	o 545 
252.95/45.62	o 546 
252.95/45.63	o 547 
252.95/45.65	o 548 
252.95/45.67	o 549 
252.95/45.69	o 550 
253.55/45.71	o 551 
253.55/45.72	o 552 
253.55/45.74	o 553 
253.55/45.75	o 554 
253.55/45.77	o 555 
253.55/45.78	o 556 
254.18/45.80	o 557 
254.18/45.82	o 558 
254.18/45.83	o 559 
254.18/45.85	o 560 
254.18/45.87	o 561 
254.18/45.89	o 562 
254.77/45.91	o 563 
254.77/45.93	o 564 
254.77/45.96	o 565 
254.77/45.97	o 566 
254.77/45.99	o 567 
254.77/46.01	o 568 
255.41/46.03	o 569 
255.41/46.05	o 570 
255.41/46.07	o 571 
255.41/46.09	o 572 
255.91/46.11	o 573 
255.91/46.12	o 574 
255.91/46.14	o 575 
255.91/46.16	o 576 
255.91/46.18	o 577 
255.91/46.20	o 578 
256.44/46.21	o 579 
256.44/46.23	o 580 
256.44/46.25	o 581 
256.44/46.26	o 582 
256.44/46.28	o 583 
256.44/46.30	o 584 
257.09/46.32	o 585 
257.09/46.33	o 586 
257.09/46.35	o 587 
257.09/46.37	o 588 
257.09/46.39	o 589 
257.74/46.41	o 590 
257.74/46.43	o 591 
257.74/46.44	o 592 
257.74/46.46	o 593 
257.74/46.48	o 594 
258.27/46.50	o 595 
258.27/46.53	o 596 
258.81/46.81	o 597 
259.82/47.79	o 598 
259.95/47.81	o 599 
259.95/47.84	o 600 
259.95/47.85	o 601 
259.95/47.87	o 602 
259.95/47.89	o 603 
260.57/47.90	o 604 
260.57/47.92	o 605 
260.57/47.93	o 606 
260.57/47.98	o 607 
260.57/48.00	o 608 
261.24/48.02	o 609 
261.24/48.05	o 610 
261.24/48.07	o 611 
261.24/48.09	o 612 
261.24/48.10	o 613 
261.86/48.12	o 614 
261.86/48.14	o 615 
261.86/48.16	o 616 
261.86/48.19	o 617 
262.42/48.21	o 618 
262.42/48.23	o 619 
262.42/48.25	o 620 
262.42/48.27	o 621 
262.42/48.29	o 622 
263.04/48.31	o 623 
263.04/48.33	o 624 
263.04/48.34	o 625 
263.04/48.37	o 626 
263.04/48.39	o 627 
263.66/48.41	o 628 
263.66/48.42	o 629 
263.66/48.44	o 630 
263.66/48.47	o 631 
263.66/48.49	o 632 
264.31/48.51	o 633 
264.31/48.53	o 634 
264.31/48.55	o 635 
264.31/48.57	o 636 
264.31/48.59	o 637 
264.95/48.61	o 638 
264.95/48.63	o 639 
264.95/48.65	o 640 
264.95/48.67	o 641 
264.95/48.69	o 642 
265.54/48.72	o 643 
265.54/48.74	o 644 
265.54/48.75	o 645 
265.54/48.78	o 646 
266.07/48.80	o 647 
266.07/48.82	o 648 
266.07/48.84	o 649 
266.07/48.87	o 650 
266.07/48.88	o 651 
266.69/48.90	o 652 
266.69/48.92	o 653 
266.69/48.94	o 654 
266.69/48.96	o 655 
266.69/48.98	o 656 
266.69/49.00	o 657 
267.33/49.03	o 658 
267.33/49.05	o 659 
267.33/49.06	o 660 
267.33/49.08	o 661 
267.99/49.11	o 662 
267.99/49.13	o 663 
267.99/49.16	o 664 
267.99/49.17	o 665 
267.99/49.19	o 666 
268.56/49.21	o 667 
268.56/49.23	o 668 
268.56/49.25	o 669 
268.56/49.27	o 670 
268.56/49.29	o 671 
269.15/49.32	o 672 
269.15/49.34	o 673 
269.15/49.36	o 674 
269.15/49.38	o 675 
269.70/49.40	o 676 
269.70/49.42	o 677 
269.70/49.44	o 678 
269.70/49.46	o 679 
269.70/49.48	o 680 
269.70/49.50	o 681 
270.31/49.52	o 682 
270.31/49.54	o 683 
270.31/49.56	o 684 
270.31/49.59	o 685 
270.90/49.60	o 686 
270.90/49.62	o 687 
270.90/49.64	o 688 
270.90/49.67	o 689 
271.51/49.70	o 690 
271.51/49.72	o 691 
271.51/49.74	o 692 
271.51/49.76	o 693 
271.51/49.78	o 694 
271.51/49.79	o 695 
272.20/49.81	o 696 
272.20/49.83	o 697 
272.20/49.85	o 698 
272.20/49.87	o 699 
272.20/49.89	o 700 
272.85/49.91	o 701 
272.85/49.93	o 702 
272.85/49.95	o 703 
272.85/49.97	o 704 
272.85/49.99	o 705 
273.49/50.01	o 706 
273.49/50.03	o 707 
273.49/50.05	o 708 
273.49/50.08	o 709 
273.49/50.09	o 710 
274.01/50.11	o 711 
274.01/50.14	o 712 
274.01/50.15	o 713 
274.01/50.17	o 714 
274.01/50.19	o 715 
274.59/50.21	o 716 
274.59/50.23	o 717 
274.59/50.24	o 718 
274.59/50.26	o 719 
274.59/50.28	o 720 
275.16/50.30	o 721 
275.16/50.32	o 722 
275.16/50.34	o 723 
275.16/50.38	o 724 
275.16/50.39	o 725 
275.75/50.42	o 726 
275.75/50.45	o 727 
276.26/50.61	o 728 
277.28/51.58	o 729 
277.46/51.60	o 730 
277.46/51.62	o 731 
277.46/51.64	o 732 
277.46/51.67	o 733 
277.46/51.69	o 734 
278.12/51.71	o 735 
278.12/51.73	o 736 
278.12/51.75	o 737 
278.12/51.77	o 738 
278.12/51.80	o 739 
278.70/51.82	o 740 
278.70/51.84	o 741 
278.70/51.86	o 742 
278.70/51.88	o 743 
278.70/51.90	o 744 
279.28/51.91	o 745 
279.28/51.93	o 746 
279.28/51.95	o 747 
279.28/51.97	o 748 
279.28/51.98	o 749 
279.28/52.00	o 750 
279.90/52.02	o 751 
279.90/52.03	o 752 
279.90/52.05	o 753 
279.90/52.07	o 754 
279.90/52.09	o 755 
280.52/52.11	o 756 
280.52/52.13	o 757 
280.52/52.15	o 758 
280.52/52.17	o 759 
280.52/52.19	o 760 
281.04/52.21	o 761 
281.04/52.23	o 762 
281.04/52.25	o 763 
281.04/52.27	o 764 
281.04/52.29	o 765 
281.60/52.31	o 766 
281.60/52.33	o 767 
281.60/52.36	o 768 
281.60/52.38	o 769 
282.06/52.40	o 770 
282.26/52.52	o 771 
283.25/53.50	o 772 
283.35/53.52	o 773 
283.62/53.64	o 774 
284.71/54.62	o 775 
284.71/54.64	o 776 
284.71/54.65	o 777 
284.71/54.67	o 778 
284.71/54.69	o 779 
285.23/54.71	o 780 
285.23/54.73	o 781 
285.23/54.75	o 782 
285.23/54.78	o 783 
285.70/54.88	o 784 
286.80/55.84	o 785 
286.80/55.87	o 786 
287.08/55.98	o 787 
288.17/56.92	o 788 
288.17/56.95	o 789 
288.45/57.05	o 790 
289.43/58.00	o 791 
289.54/58.03	o 792 
289.82/58.13	o 793 
290.91/59.11	o 794 
290.91/59.13	o 795 
291.17/59.23	o 796 
292.26/60.21	o 797 
292.26/60.23	o 798 
292.57/60.33	o 799 
293.65/61.31	o 800 
293.65/61.33	o 801 
293.91/61.43	o 802 
295.00/62.41	o 803 
295.00/62.43	o 804 
297.34/63.53	o 805 
297.34/63.58	o 806 
4199.98/554.77	o 807 
4296.03/566.84	o 808 
19791.11/2520.09	s SATISFIABLE
19791.11/2520.09	v <instantiation>
19791.11/2520.09	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[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>
19791.11/2520.09	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 0 0 0 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 1 0 1 1 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 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 1 1 2 2 0 2 2 1 2 2 1 1 1 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 0 0 0 1 1 2 0 1 0 2 1 1 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 0 1 1 0 2 0 0 0 0 0 0 0 2 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 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 397 414 424 443 464 808 </values>
19791.11/2520.09	v </instantiation>
19791.11/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	808

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280617-1503116500/watcher-4280617-1503116500 -o /tmp/evaluation-result-4280617-1503116500/solver-4280617-1503116500 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503110593-30850 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 413365278 HOME/instance-4280617-1503116500.xml 

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

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

solver pid=32316, runsolver pid=32313

[startup+0.100137 s]*
/proc/loadavg: 8.13 8.14 8.21 2/199 32337
/proc/meminfo: memFree=26199468/32770624 swapFree=67108860/67108860
[pid=32316] ppid=32313 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32316/stat : 32316 (xcsp3-exec) S 32313 32316 30823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144737622 9740288 346 33554432000 4194304 5098028 140720674822256 140720674820360 140078356882044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40026112 140720674829413 140720674829623 140720674829623 140720674832363 0
/proc/32316/statm: 2378 346 289 221 0 87 0
[pid=32318] ppid=32316 vsize=25999808 memory=26960 CPUtime=0.12 cores=0-7
/proc/32318/stat : 32318 (java) S 32316 32316 30823 0 -1 1077944320 5688 0 0 0 11 1 0 0 20 0 20 0 144737623 26623803392 6740 33554432000 4194304 4196468 140727934049952 140727934032496 139665742749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
/proc/32318/statm: 6499952 6740 2840 1 0 6488269 0
[pid=32318/tid=32319] ppid=32316 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/32318/task/32319/stat : 32319 (java) R 32316 32316 30823 0 -1 4202560 3684 0 0 0 8 0 0 0 20 0 20 0 144737623 26623803392 6740 33554432000 4194304 4196468 140727934049952 139665746982704 139665742761366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32320] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32320/stat : 32320 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26623803392 6740 33554432000 4194304 4196468 140727934049952 139665695369616 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32321] ppid=32316 vsize=25999808 memory=140603787011712 CPUtime=0 cores=0-7
/proc/32318/task/32321/stat : 32321 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26623803392 6740 33554432000 4194304 4196468 140727934049952 139665694316816 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32322] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32322/stat : 32322 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26623803392 6740 33554432000 4194304 4196468 140727934049952 139665298815632 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32323] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32323/stat : 32323 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26623803392 6740 33554432000 4194304 4196468 140727934049952 139665297762832 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32324] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32324/stat : 32324 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26623803392 6740 33554432000 4194304 4196468 140727934049952 139665296710544 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32325] ppid=32316 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32318/task/32325/stat : 32325 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26623803392 6740 33554432000 4194304 4196468 140727934049952 139665295657744 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32326] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32326/stat : 32326 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26623803392 6740 33554432000 4194304 4196468 140727934049952 139665294605456 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32327] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32327/stat : 32327 (java) S 32316 32316 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144737624 26623803392 6740 33554432000 4194304 4196468 140727934049952 139665293552656 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32328] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32328/stat : 32328 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737625 26623803392 6740 33554432000 4194304 4196468 140727934049952 139664417613936 139665742760578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32329] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32329/stat : 32329 (java) S 32316 32316 30823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144737626 26623803392 6740 33554432000 4194304 4196468 140727934049952 139664416559904 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32330] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32330/stat : 32330 (java) S 32316 32316 30823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144737626 26623803392 6740 33554432000 4194304 4196468 140727934049952 139664415507568 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32331] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32331/stat : 32331 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737628 26623803392 6740 33554432000 4194304 4196468 140727934049952 139664414455888 139665742768027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32332] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32332/stat : 32332 (java) S 32316 32316 30823 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 144737628 26623803392 6740 33554432000 4194304 4196468 140727934049952 139664413403760 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32333] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32333/stat : 32333 (java) S 32316 32316 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144737628 26623803392 6740 33554432000 4194304 4196468 140727934049952 139664412350960 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32334] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32334/stat : 32334 (java) S 32316 32316 30823 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 144737628 26623803392 6740 33554432000 4194304 4196468 140727934049952 139664411298672 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32335] ppid=32316 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/32318/task/32335/stat : 32335 (java) S 32316 32316 30823 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 144737628 26623803392 6740 33554432000 4194304 4196468 140727934049952 139664410245872 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32336] ppid=32316 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32336/stat : 32336 (java) S 32316 32316 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144737629 26623803392 6740 33554432000 4194304 4196468 140727934049952 139664409192800 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32337] ppid=32316 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32318/task/32337/stat : 32337 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737629 26623803392 6740 33554432000 4194304 4196468 140727934049952 139664408140080 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28344 KiB

[startup+0.210383 s]*
/proc/loadavg: 8.13 8.14 8.21 4/199 32337
/proc/meminfo: memFree=26188660/32770624 swapFree=67108860/67108860
[pid=32316] ppid=32313 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32316/stat : 32316 (xcsp3-exec) S 32313 32316 30823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144737622 9740288 346 33554432000 4194304 5098028 140720674822256 140720674820360 140078356882044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40026112 140720674829413 140720674829623 140720674829623 140720674832363 0
/proc/32316/statm: 2378 346 289 221 0 87 0
[pid=32318] ppid=32316 vsize=26004064 memory=38500 CPUtime=0.33 cores=0-7
/proc/32318/stat : 32318 (java) S 32316 32316 30823 0 -1 1077944320 8205 0 0 0 31 2 0 0 20 0 20 0 144737623 26628161536 9625 33554432000 4194304 4196468 140727934049952 140727934032496 139665742749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
/proc/32318/statm: 6501016 9625 3036 1 0 6488269 0
[pid=32318/tid=32319] ppid=32316 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/32318/task/32319/stat : 32319 (java) R 32316 32316 30823 0 -1 4202560 5442 0 0 0 19 1 0 0 20 0 20 0 144737623 26628161536 9625 33554432000 4194304 4196468 140727934049952 139665746959248 139665735427445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32320] ppid=32316 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/32318/task/32320/stat : 32320 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 9625 33554432000 4194304 4196468 140727934049952 139665695369616 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32321] ppid=32316 vsize=26004064 memory=140603787681287 CPUtime=0 cores=0-7
/proc/32318/task/32321/stat : 32321 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 9625 33554432000 4194304 4196468 140727934049952 139665694316816 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32322] ppid=32316 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32318/task/32322/stat : 32322 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 9625 33554432000 4194304 4196468 140727934049952 139665298815632 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32323] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32323/stat : 32323 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 9625 33554432000 4194304 4196468 140727934049952 139665297762832 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32324] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32324/stat : 32324 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 9625 33554432000 4194304 4196468 140727934049952 139665296710544 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32325] ppid=32316 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32318/task/32325/stat : 32325 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 9625 33554432000 4194304 4196468 140727934049952 139665295657744 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32326] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32326/stat : 32326 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 9625 33554432000 4194304 4196468 140727934049952 139665294605456 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32327] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32327/stat : 32327 (java) S 32316 32316 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 9625 33554432000 4194304 4196468 140727934049952 139665293552656 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32328] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32328/stat : 32328 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737625 26628161536 9625 33554432000 4194304 4196468 140727934049952 139664417613936 139665742760578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32329] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32329/stat : 32329 (java) S 32316 32316 30823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144737626 26628161536 9625 33554432000 4194304 4196468 140727934049952 139664416559904 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32330] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32330/stat : 32330 (java) S 32316 32316 30823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144737626 26628161536 9625 33554432000 4194304 4196468 140727934049952 139664415507568 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32331] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32331/stat : 32331 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737628 26628161536 9625 33554432000 4194304 4196468 140727934049952 139664414455888 139665742768027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32332] ppid=32316 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32318/task/32332/stat : 32332 (java) S 32316 32316 30823 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 20 0 144737628 26628161536 9625 33554432000 4194304 4196468 140727934049952 139664413403760 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32333] ppid=32316 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32318/task/32333/stat : 32333 (java) S 32316 32316 30823 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 144737628 26628161536 9625 33554432000 4194304 4196468 140727934049952 139664412350960 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32334] ppid=32316 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/32318/task/32334/stat : 32334 (java) S 32316 32316 30823 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 144737628 26628161536 9625 33554432000 4194304 4196468 140727934049952 139664411298672 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32335] ppid=32316 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/32318/task/32335/stat : 32335 (java) S 32316 32316 30823 0 -1 1077944384 651 0 0 0 7 0 0 0 20 0 20 0 144737628 26628161536 9625 33554432000 4194304 4196468 140727934049952 139664410245872 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32336] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32336/stat : 32336 (java) S 32316 32316 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144737629 26628161536 9625 33554432000 4194304 4196468 140727934049952 139664409192800 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32337] ppid=32316 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32318/task/32337/stat : 32337 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737629 26628161536 9625 33554432000 4194304 4196468 140727934049952 139664408140080 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39884 KiB

[startup+0.310412 s]*
/proc/loadavg: 8.13 8.14 8.21 4/199 32337
/proc/meminfo: memFree=26184256/32770624 swapFree=67108860/67108860
[pid=32316] ppid=32313 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32316/stat : 32316 (xcsp3-exec) S 32313 32316 30823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144737622 9740288 346 33554432000 4194304 5098028 140720674822256 140720674820360 140078356882044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40026112 140720674829413 140720674829623 140720674829623 140720674832363 0
/proc/32316/statm: 2378 346 289 221 0 87 0
[pid=32318] ppid=32316 vsize=26004064 memory=45968 CPUtime=0.5 cores=0-7
/proc/32318/stat : 32318 (java) S 32316 32316 30823 0 -1 1077944320 9108 0 0 0 47 3 0 0 20 0 20 0 144737623 26628161536 11492 33554432000 4194304 4196468 140727934049952 140727934032496 139665742749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
/proc/32318/statm: 6501016 11492 3099 1 0 6488269 0
[pid=32318/tid=32319] ppid=32316 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32318/task/32319/stat : 32319 (java) R 32316 32316 30823 0 -1 4202560 6107 0 0 0 28 1 0 0 20 0 20 0 144737623 26628161536 11492 33554432000 4194304 4196468 140727934049952 139665746987216 139665374047689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32320] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32320/stat : 32320 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 11492 33554432000 4194304 4196468 140727934049952 139665695369616 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32321] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32321/stat : 32321 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 11492 33554432000 4194304 4196468 140727934049952 139665694316816 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32322] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32322/stat : 32322 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 11492 33554432000 4194304 4196468 140727934049952 139665298815632 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32323] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32323/stat : 32323 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 11492 33554432000 4194304 4196468 140727934049952 139665297762832 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32324] ppid=32316 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/32318/task/32324/stat : 32324 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 11492 33554432000 4194304 4196468 140727934049952 139665296710544 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32325] ppid=32316 vsize=26004064 memory=140603673375663 CPUtime=0 cores=0-7
/proc/32318/task/32325/stat : 32325 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 11492 33554432000 4194304 4196468 140727934049952 139665295657744 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32326] ppid=32316 vsize=26004064 memory=140603673377968 CPUtime=0 cores=0-7
/proc/32318/task/32326/stat : 32326 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 11492 33554432000 4194304 4196468 140727934049952 139665294605456 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32327] ppid=32316 vsize=26004064 memory=140603673380272 CPUtime=0 cores=0-7
/proc/32318/task/32327/stat : 32327 (java) S 32316 32316 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144737624 26628161536 11492 33554432000 4194304 4196468 140727934049952 139665293552656 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32328] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32328/stat : 32328 (java) S 32316 32316 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144737625 26628161536 11492 33554432000 4194304 4196468 140727934049952 139664417613936 139665742760578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32329] ppid=32316 vsize=26004064 memory=281207346767504 CPUtime=0 cores=0-7
/proc/32318/task/32329/stat : 32329 (java) S 32316 32316 30823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144737626 26628161536 11492 33554432000 4194304 4196468 140727934049952 139664416559904 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32330] ppid=32316 vsize=26004064 memory=281207346774416 CPUtime=0 cores=0-7
/proc/32318/task/32330/stat : 32330 (java) S 32316 32316 30823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144737626 26628161536 11492 33554432000 4194304 4196468 140727934049952 139664415507568 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32331] ppid=32316 vsize=26004064 memory=281207346715696 CPUtime=0 cores=0-7
/proc/32318/task/32331/stat : 32331 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737628 26628161536 11492 33554432000 4194304 4196468 140727934049952 139664414455888 139665742768027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32332] ppid=32316 vsize=26004064 memory=281207346788240 CPUtime=0.01 cores=0-7
/proc/32318/task/32332/stat : 32332 (java) S 32316 32316 30823 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 144737628 26628161536 11492 33554432000 4194304 4196468 140727934049952 139664413403760 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32333] ppid=32316 vsize=26004064 memory=281207346795152 CPUtime=0.02 cores=0-7
/proc/32318/task/32333/stat : 32333 (java) R 32316 32316 30823 0 -1 4202560 210 0 0 0 2 0 0 0 20 0 20 0 144737628 26628161536 11492 33554432000 4194304 4196468 140727934049952 139664412350960 139665742761366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32334] ppid=32316 vsize=26004064 memory=281207346792848 CPUtime=0.02 cores=0-7
/proc/32318/task/32334/stat : 32334 (java) R 32316 32316 30823 0 -1 4202560 275 0 0 0 2 0 0 0 20 0 20 0 144737628 26628161536 11492 33554432000 4194304 4196468 140727934049952 139664411298672 139665728813544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32335] ppid=32316 vsize=26004064 memory=281207346809008 CPUtime=0.12 cores=0-7
/proc/32318/task/32335/stat : 32335 (java) R 32316 32316 30823 0 -1 4202560 799 0 0 0 12 0 0 0 20 0 20 0 144737628 26628161536 11492 33554432000 4194304 4196468 140727934049952 139664410242240 139665721869036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32336] ppid=32316 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32336/stat : 32336 (java) S 32316 32316 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144737629 26628161536 11492 33554432000 4194304 4196468 140727934049952 139664409192800 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32337] ppid=32316 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32318/task/32337/stat : 32337 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737629 26628161536 11492 33554432000 4194304 4196468 140727934049952 139664408140080 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47352 KiB

[startup+0.701011 s]
/proc/loadavg: 8.13 8.14 8.21 5/199 32337
/proc/meminfo: memFree=26158344/32770624 swapFree=67108860/67108860
[pid=32316] ppid=32313 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32316/stat : 32316 (xcsp3-exec) S 32313 32316 30823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144737622 9740288 346 33554432000 4194304 5098028 140720674822256 140720674820360 140078356882044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40026112 140720674829413 140720674829623 140720674829623 140720674832363 0
/proc/32316/statm: 2378 346 289 221 0 87 0
[pid=32318] ppid=32316 vsize=26006188 memory=92288 CPUtime=1.78 cores=0-7
/proc/32318/stat : 32318 (java) S 32316 32316 30823 0 -1 1077944320 12574 0 0 0 174 4 0 0 20 0 20 0 144737623 26630336512 23072 33554432000 4194304 4196468 140727934049952 140727934032496 139665742749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
/proc/32318/statm: 6501547 23072 3198 1 0 6488781 0
[pid=32318/tid=32319] ppid=32316 vsize=26006188 memory=281207347166896 CPUtime=0.67 cores=0-7
/proc/32318/task/32319/stat : 32319 (java) R 32316 32316 30823 0 -1 4202560 6524 0 0 0 65 2 0 0 20 0 20 0 144737623 26630336512 23072 33554432000 4194304 4196468 140727934049952 139665746978064 139665742761366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32320] ppid=32316 vsize=26006188 memory=140603673584496 CPUtime=0 cores=0-7
/proc/32318/task/32320/stat : 32320 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26630336512 23072 33554432000 4194304 4196468 140727934049952 139665695369616 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32321] ppid=32316 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/32318/task/32321/stat : 32321 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26630336512 23072 33554432000 4194304 4196468 140727934049952 139665694316816 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32322] ppid=32316 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/32318/task/32322/stat : 32322 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144737624 26630336512 23072 33554432000 4194304 4196468 140727934049952 139665298815632 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0

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

/proc/meminfo: memFree=23737384/32770624 swapFree=67108860/67108860
[pid=32316] ppid=32313 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32316/stat : 32316 (xcsp3-exec) S 32313 32316 30823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144737622 9740288 346 33554432000 4194304 5098028 140720674822256 140720674820360 140078356882044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40026112 140720674829413 140720674829623 140720674829623 140720674832363 0
/proc/32316/statm: 2378 346 289 221 0 87 0
[pid=32318] ppid=32316 vsize=26541776 memory=2486560 CPUtime=19650.4 cores=0-7
/proc/32318/stat : 32318 (java) S 32316 32316 30823 0 -1 1077944320 1197317 0 0 0 1964023 1013 0 0 20 0 28 0 144737623 27178778624 621640 33554432000 4194304 4196468 140727934049952 140727934032496 139665742749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
/proc/32318/statm: 6635444 621640 3307 1 0 6622678 0
[pid=32318/tid=32319] ppid=32316 vsize=26541776 memory=1384 CPUtime=6.02 cores=0-7
/proc/32318/task/32319/stat : 32319 (java) S 32316 32316 30823 0 -1 1077944384 11527 0 0 0 589 13 0 0 20 0 28 0 144737623 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665746990144 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32320] ppid=32316 vsize=26541776 memory=2486560 CPUtime=15.15 cores=0-7
/proc/32318/task/32320/stat : 32320 (java) S 32316 32316 30823 0 -1 1077944384 41957 0 0 0 1474 41 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665695369616 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32321] ppid=32316 vsize=26541776 memory=2486560 CPUtime=15.17 cores=0-7
/proc/32318/task/32321/stat : 32321 (java) S 32316 32316 30823 0 -1 1077944384 40954 0 0 0 1477 40 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665694316816 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32322] ppid=32316 vsize=26541776 memory=2486560 CPUtime=15.21 cores=0-7
/proc/32318/task/32322/stat : 32322 (java) S 32316 32316 30823 0 -1 1077944384 40825 0 0 0 1480 41 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665298815632 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32323] ppid=32316 vsize=26541776 memory=2486560 CPUtime=15.17 cores=0-7
/proc/32318/task/32323/stat : 32323 (java) S 32316 32316 30823 0 -1 1077944384 44202 0 0 0 1475 42 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665297762832 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32324] ppid=32316 vsize=26541776 memory=2486560 CPUtime=15.21 cores=0-7
/proc/32318/task/32324/stat : 32324 (java) S 32316 32316 30823 0 -1 1077944384 43869 0 0 0 1478 43 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665296710544 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32325] ppid=32316 vsize=26541776 memory=2486560 CPUtime=15.18 cores=0-7
/proc/32318/task/32325/stat : 32325 (java) S 32316 32316 30823 0 -1 1077944384 40403 0 0 0 1477 41 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665295657744 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32326] ppid=32316 vsize=26541776 memory=1384 CPUtime=15.22 cores=0-7
/proc/32318/task/32326/stat : 32326 (java) S 32316 32316 30823 0 -1 1077944384 47943 0 0 0 1482 40 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665294605456 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32327] ppid=32316 vsize=26541776 memory=2486560 CPUtime=15.13 cores=0-7
/proc/32318/task/32327/stat : 32327 (java) S 32316 32316 30823 0 -1 1077944384 43047 0 0 0 1472 41 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665293552656 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32328] ppid=32316 vsize=26541776 memory=2486560 CPUtime=5.8 cores=0-7
/proc/32318/task/32328/stat : 32328 (java) S 32316 32316 30823 0 -1 1077944384 163152 0 0 0 460 120 0 0 20 0 28 0 144737625 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664417613936 139665742760578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32329] ppid=32316 vsize=26541776 memory=2486560 CPUtime=0 cores=0-7
/proc/32318/task/32329/stat : 32329 (java) S 32316 32316 30823 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 144737626 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664416559968 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32330] ppid=32316 vsize=26541776 memory=2486560 CPUtime=0 cores=0-7
/proc/32318/task/32330/stat : 32330 (java) S 32316 32316 30823 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 144737626 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664415507584 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32331] ppid=32316 vsize=26541776 memory=2486560 CPUtime=0 cores=0-7
/proc/32318/task/32331/stat : 32331 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144737628 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664414455888 139665742768027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32332] ppid=32316 vsize=26541776 memory=2486560 CPUtime=4.12 cores=0-7
/proc/32318/task/32332/stat : 32332 (java) S 32316 32316 30823 0 -1 1077944384 31188 0 0 0 408 4 0 0 20 0 28 0 144737628 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664413403760 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32333] ppid=32316 vsize=26541776 memory=1384 CPUtime=4.01 cores=0-7
/proc/32318/task/32333/stat : 32333 (java) S 32316 32316 30823 0 -1 1077944384 39255 0 0 0 396 5 0 0 20 0 28 0 144737628 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664412350960 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32334] ppid=32316 vsize=26541776 memory=1384 CPUtime=4.19 cores=0-7
/proc/32318/task/32334/stat : 32334 (java) S 32316 32316 30823 0 -1 1077944384 36718 0 0 0 415 4 0 0 20 0 28 0 144737628 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664411298672 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32335] ppid=32316 vsize=26541776 memory=2486560 CPUtime=1.3 cores=0-7
/proc/32318/task/32335/stat : 32335 (java) S 32316 32316 30823 0 -1 1077944384 28025 0 0 0 126 4 0 0 20 0 28 0 144737628 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664410245872 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32336] ppid=32316 vsize=26541776 memory=2486560 CPUtime=0 cores=0-7
/proc/32318/task/32336/stat : 32336 (java) S 32316 32316 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144737629 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664409192800 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32337] ppid=32316 vsize=26541776 memory=1384 CPUtime=1.09 cores=0-7
/proc/32318/task/32337/stat : 32337 (java) S 32316 32316 30823 0 -1 1077944384 9499 0 0 0 51 58 0 0 20 0 28 0 144737629 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664408140080 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6274] ppid=32316 vsize=26541776 memory=1384 CPUtime=1904.79 cores=0-7
/proc/32318/task/6274/stat : 6274 (java) R 32316 32316 30823 0 -1 4202560 25863 0 0 0 190455 24 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664393813776 139665379042537 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6275] ppid=32316 vsize=26541776 memory=2486560 CPUtime=1906.65 cores=0-7
/proc/32318/task/6275/stat : 6275 (java) R 32316 32316 30823 0 -1 4202560 36377 0 0 0 190642 23 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664396973280 139665376075275 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6276] ppid=32316 vsize=26541776 memory=4132 CPUtime=1905.72 cores=0-7
/proc/32318/task/6276/stat : 6276 (java) R 32316 32316 30823 0 -1 4202560 33053 0 0 0 190539 33 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664392762600 139665383627245 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6277] ppid=32316 vsize=26541776 memory=40548 CPUtime=1902.42 cores=0-7
/proc/32318/task/6277/stat : 6277 (java) R 32316 32316 30823 0 -1 4202560 123998 0 0 0 190183 59 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664400133952 139665378760180 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6278] ppid=32316 vsize=26541776 memory=1728 CPUtime=1907.64 cores=0-7
/proc/32318/task/6278/stat : 6278 (java) R 32316 32316 30823 0 -1 4202560 31098 0 0 0 190732 32 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664389613544 139665382627631 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6279] ppid=32316 vsize=26541776 memory=5788 CPUtime=1909.95 cores=0-7
/proc/32318/task/6279/stat : 6279 (java) R 32316 32316 30823 0 -1 4202560 28409 0 0 0 190967 28 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664399078976 139665383627377 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6280] ppid=32316 vsize=26541776 memory=1228 CPUtime=1905.01 cores=0-7
/proc/32318/task/6280/stat : 6280 (java) R 32316 32316 30823 0 -1 4202560 36787 0 0 0 190465 36 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664394867128 139665383627018 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6281] ppid=32316 vsize=26541776 memory=1384 CPUtime=1908.26 cores=0-7
/proc/32318/task/6281/stat : 6281 (java) R 32316 32316 30823 0 -1 4202560 52013 0 0 0 190793 33 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664395919696 139665378052288 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
Current children cumulated CPU time: 19650.4 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2487944 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.00 8.12 8.16 9/207 6306
/proc/meminfo: memFree=23736532/32770624 swapFree=67108860/67108860
[pid=32316] ppid=32313 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32316/stat : 32316 (xcsp3-exec) S 32313 32316 30823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144737622 9740288 346 33554432000 4194304 5098028 140720674822256 140720674820360 140078356882044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40026112 140720674829413 140720674829623 140720674829623 140720674832363 0
/proc/32316/statm: 2378 346 289 221 0 87 0
[pid=32318] ppid=32316 vsize=26541776 memory=2486560 CPUtime=19791.1 cores=0-7
/proc/32318/stat : 32318 (java) S 32316 32316 30823 0 -1 1077944320 1198006 0 0 0 1978096 1015 0 0 20 0 28 0 144737623 27178778624 621640 33554432000 4194304 4196468 140727934049952 140727934032496 139665742749431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
/proc/32318/statm: 6635444 621640 3307 1 0 6622678 0
[pid=32318/tid=32319] ppid=32316 vsize=26541776 memory=960 CPUtime=6.02 cores=0-7
/proc/32318/task/32319/stat : 32319 (java) S 32316 32316 30823 0 -1 1077944384 11527 0 0 0 589 13 0 0 20 0 28 0 144737623 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665746990144 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32320] ppid=32316 vsize=26541776 memory=6791534058613427641 CPUtime=15.26 cores=0-7
/proc/32318/task/32320/stat : 32320 (java) S 32316 32316 30823 0 -1 1077944384 41969 0 0 0 1485 41 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665695369616 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32321] ppid=32316 vsize=26541776 memory=1152 CPUtime=15.27 cores=0-7
/proc/32318/task/32321/stat : 32321 (java) S 32316 32316 30823 0 -1 1077944384 40964 0 0 0 1487 40 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665694316816 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32322] ppid=32316 vsize=26541776 memory=4488 CPUtime=15.31 cores=0-7
/proc/32318/task/32322/stat : 32322 (java) S 32316 32316 30823 0 -1 1077944384 40830 0 0 0 1490 41 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665298815632 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32323] ppid=32316 vsize=26541776 memory=6791534058613427641 CPUtime=15.26 cores=0-7
/proc/32318/task/32323/stat : 32323 (java) S 32316 32316 30823 0 -1 1077944384 44215 0 0 0 1484 42 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665297762832 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32324] ppid=32316 vsize=26541776 memory=2486560 CPUtime=15.32 cores=0-7
/proc/32318/task/32324/stat : 32324 (java) S 32316 32316 30823 0 -1 1077944384 43883 0 0 0 1489 43 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665296710544 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32325] ppid=32316 vsize=26541776 memory=6791534058613427641 CPUtime=15.27 cores=0-7
/proc/32318/task/32325/stat : 32325 (java) S 32316 32316 30823 0 -1 1077944384 40429 0 0 0 1486 41 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665295657744 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32326] ppid=32316 vsize=26541776 memory=4616 CPUtime=15.32 cores=0-7
/proc/32318/task/32326/stat : 32326 (java) S 32316 32316 30823 0 -1 1077944384 47961 0 0 0 1492 40 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665294605456 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32327] ppid=32316 vsize=26541776 memory=1720 CPUtime=15.23 cores=0-7
/proc/32318/task/32327/stat : 32327 (java) S 32316 32316 30823 0 -1 1077944384 43070 0 0 0 1482 41 0 0 20 0 28 0 144737624 27178778624 621640 33554432000 4194304 4196468 140727934049952 139665293552656 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32328] ppid=32316 vsize=26541776 memory=1004 CPUtime=5.83 cores=0-7
/proc/32318/task/32328/stat : 32328 (java) S 32316 32316 30823 0 -1 1077944384 163161 0 0 0 463 120 0 0 20 0 28 0 144737625 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664417613936 139665742760578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32329] ppid=32316 vsize=26541776 memory=2486560 CPUtime=0 cores=0-7
/proc/32318/task/32329/stat : 32329 (java) S 32316 32316 30823 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 144737626 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664416559968 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32330] ppid=32316 vsize=26541776 memory=2424 CPUtime=0 cores=0-7
/proc/32318/task/32330/stat : 32330 (java) S 32316 32316 30823 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 144737626 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664415507584 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32331] ppid=32316 vsize=26541776 memory=2236 CPUtime=0 cores=0-7
/proc/32318/task/32331/stat : 32331 (java) S 32316 32316 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144737628 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664414455888 139665742768027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32332] ppid=32316 vsize=26541776 memory=4084 CPUtime=4.12 cores=0-7
/proc/32318/task/32332/stat : 32332 (java) S 32316 32316 30823 0 -1 1077944384 31188 0 0 0 408 4 0 0 20 0 28 0 144737628 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664413403760 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32333] ppid=32316 vsize=26541776 memory=932 CPUtime=4.01 cores=0-7
/proc/32318/task/32333/stat : 32333 (java) S 32316 32316 30823 0 -1 1077944384 39255 0 0 0 396 5 0 0 20 0 28 0 144737628 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664412350960 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32334] ppid=32316 vsize=26541776 memory=1572 CPUtime=4.19 cores=0-7
/proc/32318/task/32334/stat : 32334 (java) S 32316 32316 30823 0 -1 1077944384 36718 0 0 0 415 4 0 0 20 0 28 0 144737628 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664411298672 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32335] ppid=32316 vsize=26541776 memory=2200 CPUtime=1.3 cores=0-7
/proc/32318/task/32335/stat : 32335 (java) S 32316 32316 30823 0 -1 1077944384 28025 0 0 0 126 4 0 0 20 0 28 0 144737628 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664410245872 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32336] ppid=32316 vsize=26541776 memory=8048 CPUtime=0 cores=0-7
/proc/32318/task/32336/stat : 32336 (java) S 32316 32316 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144737629 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664409192800 139665742759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=32337] ppid=32316 vsize=26541776 memory=836 CPUtime=1.1 cores=0-7
/proc/32318/task/32337/stat : 32337 (java) S 32316 32316 30823 0 -1 1077944384 9501 0 0 0 51 59 0 0 20 0 28 0 144737629 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664408140080 139665742760578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6274] ppid=32316 vsize=26541776 memory=1696 CPUtime=1922.2 cores=0-7
/proc/32318/task/6274/stat : 6274 (java) R 32316 32316 30823 0 -1 4202560 25891 0 0 0 192196 24 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664393813608 139665383627138 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6275] ppid=32316 vsize=26541776 memory=920 CPUtime=1924.2 cores=0-7
/proc/32318/task/6275/stat : 6275 (java) R 32316 32316 30823 0 -1 4202560 36406 0 0 0 192396 24 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664396972888 139665382627517 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6276] ppid=32316 vsize=26541776 memory=2486560 CPUtime=1923.21 cores=0-7
/proc/32318/task/6276/stat : 6276 (java) R 32316 32316 30823 0 -1 4202560 33089 0 0 0 192288 33 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664392762536 139665376075376 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6277] ppid=32316 vsize=26541776 memory=6791534058613427641 CPUtime=1919.78 cores=0-7
/proc/32318/task/6277/stat : 6277 (java) R 32316 32316 30823 0 -1 4202560 124310 0 0 0 191919 59 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664400130416 139665380768336 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6278] ppid=32316 vsize=26541776 memory=-6800859132029471843 CPUtime=1925.17 cores=0-7
/proc/32318/task/6278/stat : 6278 (java) R 32316 32316 30823 0 -1 4202560 31127 0 0 0 192485 32 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664389615728 139665383626915 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6279] ppid=32316 vsize=26541776 memory=-3967418655009478193 CPUtime=1927.49 cores=0-7
/proc/32318/task/6279/stat : 6279 (java) R 32316 32316 30823 0 -1 4202560 28435 0 0 0 192721 28 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664399078792 139665377047536 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6280] ppid=32316 vsize=26541776 memory=-3472574944341025154 CPUtime=1922.49 cores=0-7
/proc/32318/task/6280/stat : 6280 (java) R 32316 32316 30823 0 -1 4202560 36820 0 0 0 192213 36 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664394867416 139665380768336 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
[pid=32318/tid=6281] ppid=32316 vsize=26541776 memory=-7880843606118635149 CPUtime=1925.77 cores=0-7
/proc/32318/task/6281/stat : 6281 (java) R 32316 32316 30823 0 -1 4202560 52077 0 0 0 192544 33 0 0 20 0 28 0 144794307 27178778624 621640 33554432000 4194304 4196468 140727934049952 139664395919608 139665378052328 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 33923072 140727934055570 140727934055747 140727934055747 140727934058447 0
Current children cumulated CPU time: 19791.1 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2487944 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.00 8.12 8.16 2/180 6308
/proc/meminfo: memFree=25963632/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001898 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 19791.9
CPU user time (s): 19781.7
CPU system time (s): 10.1691
CPU usage (%): 785.35
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 2508328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19781.7
system time used= 10.1691
maximum resident set size= 2507016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1199065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 398701
involuntary context switches= 221195


# summary of solver processes directly reported to runsolver:
#   pid: 32316,32318
#   total CPU time (s): 19791.9
#   total CPU user time (s): 19781.7
#   total CPU system time (s): 10.1691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.4731 second user time and 29.1478 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-19 06:07:20
IDJOB=4280617
IDBENCH=115914
IDSOLVER=2675
FILE ID=node112/4280617-1503116500
RUNJOBID= node112-1503110593-30850
PBS_JOBID= 20630756
Free space on /tmp= 61856 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-4280617-1503116500/watcher-4280617-1503116500 -o /tmp/evaluation-result-4280617-1503116500/solver-4280617-1503116500 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503110593-30850 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 413365278 HOME/instance-4280617-1503116500.xml

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=413365278

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:        26216048 kB
MemAvailable:   31972740 kB
Buffers:          243712 kB
Cached:          5802608 kB
SwapCached:            0 kB
Active:          1087232 kB
Inactive:        5011728 kB
Active(anon):       4064 kB
Inactive(anon):    84428 kB
Active(file):    1083168 kB
Inactive(file):  4927300 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7808 kB
Writeback:             0 kB
AnonPages:         59144 kB
Mapped:            50328 kB
Shmem:             33416 kB
Slab:             150564 kB
SReclaimable:     124116 kB
SUnreclaim:        26448 kB
KernelStack:        3216 kB
PageTables:         4820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 61848 MiB
End job on node112 at 2017-08-19 06:49:20