Trace number 4254846

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-07-26)SAT (TO)636 1920.15 252.425

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-37.xml
MD5SUM45cb885f577274590a53a0b26d80d877
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark636
Best CPU time to get the best result obtained on this benchmark1884.33
Satisfiable
(Un)Satisfiability was proved
Number of variables3082
Number of constraints1747
Number of domains4
Minimum domain size2
Maximum domain size3043
Distribution of domain sizes[{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}]
Minimum variable degree1
Maximum variable degree40
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}]
Minimum constraint arity2
Maximum constraint arity41
Distribution of constraint arities[{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}]
Number of extensional constraints1517
Number of intensional constraints186
Distribution of constraint types[{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"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.05	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254846-1501679113.xml"  -tl '1920s' -p 8 -x 0
0.00/0.24	c [HOME/instance-4254846-1501679113.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.30	c 8 solvers in parallel
0.00/0.37	c parse instance...
9.30/4.15	c solve instance...
19.71/5.51	o 0 
19.71/5.54	o 4 
19.71/5.55	o 6 
19.71/5.57	o 8 
19.71/5.59	o 10 
19.71/5.60	o 12 
20.31/5.62	o 14 
20.31/5.64	o 16 
20.31/5.68	o 18 
20.88/5.75	o 20 
21.70/5.84	o 22 
23.17/6.00	o 24 
25.98/6.43	o 26 
30.66/7.39	o 28 
41.85/9.21	o 30 
58.39/11.34	o 32 
69.46/12.74	o 34 
80.47/14.16	o 35 
92.41/15.65	o 36 
104.33/17.11	o 37 
127.27/20.02	o 38 
132.11/20.99	o 39 
132.23/21.02	o 40 
132.23/21.03	o 41 
132.23/21.04	o 42 
132.23/21.05	o 43 
132.23/21.06	o 44 
132.23/21.07	o 45 
132.23/21.07	o 46 
132.23/21.08	o 47 
132.23/21.09	o 48 
132.23/21.09	o 49 
132.77/21.10	o 50 
132.77/21.11	o 51 
132.77/21.12	o 52 
132.77/21.13	o 53 
132.77/21.14	o 54 
132.77/21.15	o 55 
132.77/21.16	o 56 
132.77/21.16	o 57 
132.77/21.17	o 58 
132.77/21.18	o 59 
132.77/21.19	o 60 
133.27/21.20	o 61 
133.27/21.21	o 62 
133.27/21.22	o 63 
133.27/21.23	o 64 
133.27/21.24	o 65 
133.27/21.25	o 66 
133.27/21.26	o 67 
133.27/21.27	o 68 
133.27/21.28	o 69 
133.27/21.29	o 70 
133.27/21.30	o 71 
133.68/21.30	o 72 
133.68/21.31	o 73 
133.68/21.32	o 74 
133.68/21.33	o 75 
133.68/21.35	o 76 
133.68/21.35	o 77 
133.68/21.36	o 78 
133.68/21.37	o 79 
133.68/21.38	o 80 
133.68/21.39	o 81 
134.21/21.40	o 82 
134.21/21.41	o 83 
134.21/21.42	o 84 
134.21/21.42	o 85 
134.21/21.43	o 86 
134.21/21.44	o 87 
134.21/21.45	o 88 
134.21/21.46	o 89 
134.21/21.47	o 90 
134.21/21.48	o 91 
134.21/21.49	o 92 
134.21/21.49	o 93 
134.67/21.50	o 94 
134.67/21.51	o 95 
134.67/21.52	o 96 
134.67/21.53	o 97 
134.67/21.53	o 98 
134.67/21.54	o 99 
134.67/21.55	o 100 
134.67/21.56	o 101 
134.67/21.56	o 102 
134.67/21.58	o 103 
134.67/21.59	o 104 
134.67/21.60	o 105 
135.13/21.60	o 106 
135.13/21.61	o 107 
135.13/21.62	o 108 
135.13/21.63	o 109 
135.13/21.64	o 110 
135.13/21.64	o 111 
135.13/21.65	o 112 
135.13/21.66	o 113 
135.13/21.67	o 114 
135.13/21.68	o 115 
135.13/21.69	o 116 
135.60/21.70	o 117 
135.60/21.70	o 118 
135.60/21.71	o 119 
135.60/21.72	o 120 
135.60/21.73	o 121 
135.60/21.74	o 122 
135.60/21.75	o 123 
135.60/21.75	o 124 
135.60/21.76	o 125 
135.60/21.77	o 126 
135.60/21.78	o 127 
135.60/21.79	o 128 
136.06/21.80	o 129 
136.06/21.80	o 130 
136.06/21.81	o 131 
136.06/21.83	o 132 
136.06/21.84	o 133 
136.06/21.85	o 134 
136.06/21.86	o 135 
136.06/21.87	o 136 
136.06/21.87	o 137 
136.06/21.88	o 138 
136.06/21.89	o 139 
136.57/21.90	o 140 
136.57/21.91	o 141 
136.57/21.91	o 142 
136.57/21.92	o 143 
136.57/21.93	o 144 
136.57/21.94	o 145 
136.57/21.95	o 146 
136.57/21.96	o 147 
136.57/21.96	o 148 
136.57/21.97	o 149 
136.57/21.98	o 150 
136.57/21.99	o 151 
136.57/22.00	o 152 
137.07/22.01	o 153 
137.07/22.01	o 154 
137.07/22.02	o 155 
137.07/22.03	o 156 
137.07/22.04	o 157 
137.07/22.05	o 158 
137.07/22.06	o 159 
137.07/22.07	o 160 
137.07/22.07	o 161 
137.07/22.08	o 162 
137.55/22.11	o 163 
137.55/22.12	o 164 
137.55/22.12	o 165 
137.55/22.13	o 166 
137.55/22.14	o 167 
137.55/22.15	o 168 
137.55/22.16	o 169 
137.55/22.17	o 170 
137.55/22.18	o 171 
137.55/22.18	o 172 
137.55/22.19	o 173 
137.96/22.20	o 174 
137.96/22.22	o 175 
137.96/22.23	o 176 
137.96/22.23	o 177 
137.96/22.24	o 178 
137.96/22.25	o 179 
137.96/22.26	o 180 
137.96/22.27	o 181 
137.96/22.29	o 182 
137.96/22.30	o 183 
138.45/22.31	o 184 
138.45/22.31	o 185 
138.45/22.32	o 186 
138.45/22.33	o 187 
138.45/22.34	o 188 
138.45/22.35	o 189 
138.45/22.36	o 190 
138.45/22.36	o 191 
138.45/22.37	o 192 
138.45/22.38	o 193 
138.45/22.39	o 194 
138.45/22.40	o 195 
138.95/22.40	o 196 
138.95/22.41	o 197 
138.95/22.42	o 198 
138.95/22.43	o 199 
138.95/22.44	o 200 
138.95/22.45	o 201 
138.95/22.46	o 202 
138.95/22.48	o 203 
138.95/22.49	o 204 
138.95/22.50	o 205 
139.48/22.50	o 206 
139.48/22.52	o 207 
139.48/22.52	o 208 
139.48/22.53	o 209 
139.48/22.54	o 210 
139.48/22.55	o 211 
139.48/22.56	o 212 
139.48/22.57	o 213 
139.48/22.58	o 214 
139.48/22.59	o 215 
139.48/22.60	o 216 
139.97/22.61	o 217 
139.97/22.62	o 218 
139.97/22.62	o 219 
139.97/22.63	o 220 
139.97/22.64	o 221 
139.97/22.65	o 222 
139.97/22.65	o 223 
139.97/22.66	o 224 
139.97/22.67	o 225 
139.97/22.68	o 226 
139.97/22.69	o 227 
140.48/22.70	o 228 
140.48/22.71	o 229 
140.48/22.72	o 230 
140.69/22.80	o 231 
141.33/23.44	o 232 
141.33/23.45	o 233 
141.33/23.46	o 234 
141.33/23.47	o 235 
141.33/23.48	o 236 
141.33/23.49	o 237 
141.33/23.50	o 238 
141.67/23.50	o 239 
141.67/23.51	o 240 
141.67/23.52	o 241 
141.67/23.53	o 242 
141.67/23.54	o 243 
141.67/23.55	o 244 
141.67/23.56	o 245 
141.67/23.57	o 246 
141.67/23.58	o 247 
141.67/23.59	o 248 
142.15/23.60	o 249 
142.15/23.61	o 250 
142.15/23.62	o 251 
142.15/23.63	o 252 
142.15/23.64	o 253 
142.15/23.65	o 254 
142.15/23.66	o 255 
142.15/23.66	o 256 
142.15/23.67	o 257 
142.15/23.68	o 258 
142.15/23.69	o 259 
142.67/23.70	o 260 
142.67/23.71	o 261 
142.67/23.72	o 262 
142.67/23.73	o 263 
142.67/23.74	o 264 
142.67/23.75	o 265 
142.67/23.76	o 266 
142.67/23.77	o 267 
142.67/23.78	o 268 
142.67/23.80	o 269 
143.12/23.81	o 270 
143.12/23.82	o 271 
143.12/23.83	o 272 
143.12/23.84	o 273 
143.12/23.87	o 274 
143.12/23.88	o 275 
143.12/23.89	o 276 
143.68/23.90	o 277 
143.68/23.91	o 278 
143.68/23.92	o 279 
143.68/23.93	o 280 
143.68/23.94	o 281 
143.68/23.95	o 282 
143.68/23.95	o 283 
143.68/23.96	o 284 
143.68/23.97	o 285 
143.68/23.98	o 286 
143.68/23.99	o 287 
144.18/24.00	o 288 
144.18/24.01	o 289 
144.18/24.02	o 290 
144.18/24.03	o 291 
144.18/24.04	o 292 
144.18/24.05	o 293 
144.18/24.06	o 294 
144.18/24.07	o 295 
144.18/24.08	o 296 
144.18/24.09	o 297 
144.18/24.10	o 298 
144.64/24.11	o 299 
144.64/24.13	o 300 
144.64/24.13	o 301 
144.64/24.14	o 302 
144.64/24.15	o 303 
144.64/24.17	o 304 
144.64/24.18	o 305 
144.64/24.19	o 306 
144.64/24.20	o 307 
145.14/24.21	o 308 
145.14/24.22	o 309 
145.14/24.23	o 310 
145.14/24.24	o 311 
145.14/24.24	o 312 
145.14/24.25	o 313 
145.14/24.26	o 314 
145.14/24.27	o 315 
145.14/24.28	o 316 
145.14/24.29	o 317 
145.14/24.30	o 318 
145.69/24.30	o 319 
145.69/24.33	o 320 
145.69/24.34	o 321 
145.69/24.35	o 322 
145.69/24.36	o 323 
145.69/24.37	o 324 
145.69/24.38	o 325 
145.69/24.39	o 326 
146.15/24.40	o 327 
146.15/24.41	o 328 
146.15/24.42	o 329 
146.15/24.43	o 330 
146.15/24.44	o 331 
146.15/24.45	o 332 
146.15/24.46	o 333 
146.15/24.47	o 334 
146.15/24.48	o 335 
146.15/24.49	o 336 
146.66/24.50	o 337 
146.66/24.51	o 338 
146.66/24.52	o 339 
146.66/24.53	o 340 
146.66/24.54	o 341 
146.66/24.55	o 342 
146.66/24.55	o 343 
146.66/24.56	o 344 
146.66/24.57	o 345 
146.66/24.58	o 346 
146.66/24.60	o 347 
147.18/24.61	o 348 
147.18/24.62	o 349 
147.18/24.63	o 350 
147.18/24.64	o 351 
147.18/24.65	o 352 
147.18/24.66	o 353 
147.18/24.67	o 354 
147.18/24.68	o 355 
147.18/24.70	o 356 
147.64/24.71	o 357 
147.64/24.72	o 358 
147.64/24.73	o 359 
147.64/24.74	o 360 
147.64/24.75	o 361 
147.64/24.76	o 362 
147.64/24.77	o 363 
147.64/24.78	o 364 
147.64/24.79	o 365 
148.19/24.80	o 366 
148.19/24.81	o 367 
148.19/24.82	o 368 
148.19/24.83	o 369 
148.19/24.84	o 370 
148.19/24.85	o 371 
148.19/24.87	o 372 
148.19/24.87	o 373 
148.19/24.88	o 374 
148.19/24.90	o 375 
148.64/24.91	o 376 
148.64/24.91	o 377 
148.64/24.92	o 378 
148.64/24.93	o 379 
148.64/24.94	o 380 
148.64/24.95	o 381 
148.64/24.96	o 382 
148.64/24.97	o 383 
148.64/24.98	o 384 
148.64/24.98	o 385 
148.64/24.99	o 386 
149.21/25.01	o 387 
149.21/25.02	o 388 
149.21/25.04	o 389 
149.46/25.12	o 390 
150.09/25.74	o 391 
150.09/25.75	o 392 
150.09/25.76	o 393 
150.09/25.77	o 394 
150.09/25.78	o 395 
150.09/25.79	o 396 
150.09/25.80	o 397 
150.44/25.81	o 398 
150.44/25.82	o 399 
150.44/25.84	o 400 
150.44/25.85	o 401 
150.44/25.86	o 402 
150.44/25.87	o 403 
150.44/25.88	o 404 
150.44/25.89	o 405 
150.96/25.90	o 406 
150.96/25.91	o 407 
150.96/25.92	o 408 
150.96/25.94	o 409 
150.96/25.95	o 410 
150.96/25.96	o 411 
150.96/25.97	o 412 
150.96/25.98	o 413 
150.96/25.99	o 414 
151.50/26.00	o 415 
151.50/26.01	o 416 
151.50/26.02	o 417 
151.50/26.04	o 418 
151.50/26.05	o 419 
151.50/26.06	o 420 
151.50/26.07	o 421 
151.50/26.07	o 422 
151.50/26.09	o 423 
151.98/26.10	o 424 
151.98/26.11	o 425 
151.98/26.12	o 426 
151.98/26.13	o 427 
151.98/26.14	o 428 
151.98/26.15	o 429 
151.98/26.16	o 430 
151.98/26.17	o 431 
151.98/26.18	o 432 
151.98/26.19	o 433 
151.98/26.20	o 434 
152.48/26.21	o 435 
152.48/26.22	o 436 
152.48/26.23	o 437 
152.48/26.24	o 438 
152.48/26.25	o 439 
152.48/26.26	o 440 
152.48/26.28	o 441 
152.48/26.29	o 442 
152.97/26.30	o 443 
152.97/26.31	o 444 
152.97/26.33	o 445 
152.97/26.34	o 446 
152.97/26.35	o 447 
152.97/26.36	o 448 
152.97/26.37	o 449 
152.97/26.38	o 450 
152.97/26.39	o 451 
152.97/26.40	o 452 
153.51/26.42	o 453 
153.51/26.43	o 454 
153.51/26.44	o 455 
153.51/26.45	o 456 
153.51/26.46	o 457 
153.51/26.47	o 458 
153.51/26.48	o 459 
153.51/26.49	o 460 
153.51/26.50	o 461 
154.05/26.51	o 462 
154.05/26.52	o 463 
154.05/26.53	o 464 
154.05/26.54	o 465 
154.05/26.55	o 466 
154.05/26.56	o 467 
154.05/26.57	o 468 
154.05/26.58	o 469 
154.05/26.59	o 470 
154.51/26.61	o 471 
154.51/26.62	o 472 
154.51/26.63	o 473 
154.51/26.65	o 474 
154.51/26.66	o 475 
154.51/26.67	o 476 
154.51/26.68	o 477 
154.51/26.69	o 478 
155.01/26.70	o 479 
155.01/26.71	o 480 
155.01/26.72	o 481 
155.01/26.73	o 482 
155.01/26.75	o 483 
155.01/26.76	o 484 
155.01/26.77	o 485 
155.01/26.78	o 486 
155.01/26.79	o 487 
155.01/26.80	o 488 
155.54/26.81	o 489 
155.54/26.82	o 490 
155.54/26.83	o 491 
155.54/26.84	o 492 
155.54/26.85	o 493 
155.54/26.86	o 494 
155.54/26.87	o 495 
155.54/26.88	o 496 
155.99/26.90	o 497 
155.99/26.91	o 498 
155.99/26.92	o 499 
155.99/26.93	o 500 
155.99/26.94	o 501 
155.99/26.95	o 502 
155.99/26.97	o 503 
155.99/26.98	o 504 
155.99/26.99	o 505 
156.52/27.00	o 506 
156.52/27.01	o 507 
156.52/27.02	o 508 
156.52/27.04	o 509 
156.52/27.05	o 510 
156.52/27.06	o 511 
156.52/27.07	o 512 
156.52/27.08	o 513 
156.52/27.09	o 514 
157.11/27.11	o 515 
157.11/27.12	o 516 
157.11/27.13	o 517 
157.11/27.14	o 518 
157.11/27.15	o 519 
157.11/27.17	o 520 
157.11/27.18	o 521 
157.11/27.19	o 522 
157.60/27.21	o 523 
157.60/27.22	o 524 
157.60/27.23	o 525 
157.60/27.24	o 526 
157.60/27.25	o 527 
157.60/27.26	o 528 
157.60/27.27	o 529 
157.60/27.29	o 530 
158.07/27.30	o 531 
158.07/27.31	o 532 
158.07/27.32	o 533 
158.07/27.33	o 534 
158.07/27.34	o 535 
158.07/27.36	o 536 
158.07/27.37	o 537 
158.07/27.38	o 538 
158.07/27.39	o 539 
158.63/27.40	o 540 
158.63/27.41	o 541 
158.63/27.43	o 542 
158.63/27.44	o 543 
158.63/27.45	o 544 
158.63/27.46	o 545 
158.63/27.47	o 546 
158.63/27.48	o 547 
158.63/27.50	o 548 
159.13/27.51	o 549 
159.13/27.52	o 550 
159.13/27.53	o 551 
159.13/27.54	o 552 
159.13/27.56	o 553 
159.13/27.57	o 554 
159.13/27.58	o 555 
159.13/27.59	o 556 
159.64/27.61	o 557 
159.64/27.62	o 558 
159.64/27.63	o 559 
159.64/27.65	o 560 
159.64/27.66	o 561 
159.64/27.67	o 562 
159.64/27.68	o 563 
159.64/27.70	o 564 
160.09/27.71	o 565 
160.09/27.72	o 566 
160.09/27.73	o 567 
160.09/27.74	o 568 
160.09/27.75	o 569 
160.09/27.77	o 570 
160.09/27.78	o 571 
160.09/27.79	o 572 
160.61/27.81	o 573 
160.61/27.82	o 574 
160.61/27.83	o 575 
160.61/27.85	o 576 
160.61/27.86	o 577 
160.61/27.87	o 578 
160.61/27.88	o 579 
160.61/27.89	o 580 
161.17/27.90	o 581 
161.17/27.91	o 582 
161.17/27.92	o 583 
161.17/27.94	o 584 
161.17/27.95	o 585 
161.17/27.96	o 586 
161.17/27.97	o 587 
161.17/27.98	o 588 
161.17/27.99	o 589 
161.75/28.00	o 590 
161.75/28.02	o 591 
161.75/28.03	o 592 
161.75/28.04	o 593 
161.75/28.06	o 594 
161.75/28.07	o 595 
161.75/28.08	o 596 
162.24/28.10	o 597 
162.24/28.18	o 598 
162.96/28.79	o 599 
163.09/28.80	o 600 
163.09/28.81	o 601 
163.09/28.82	o 602 
163.09/28.84	o 603 
163.09/28.85	o 604 
163.09/28.87	o 605 
163.09/28.88	o 606 
163.67/28.90	o 607 
163.67/28.91	o 608 
163.67/28.92	o 609 
163.67/28.94	o 610 
163.67/28.95	o 611 
163.67/28.96	o 612 
163.67/28.97	o 613 
163.67/28.99	o 614 
164.16/29.01	o 615 
164.16/29.07	o 616 
164.87/29.68	o 617 
164.87/29.70	o 618 
165.06/29.76	o 619 
165.75/30.37	o 620 
165.75/30.38	o 621 
165.75/30.40	o 622 
165.96/30.46	o 623 
166.68/31.07	o 624 
166.68/31.09	o 625 
166.91/31.14	o 626 
167.60/31.76	o 627 
167.85/31.83	o 628 
167.85/31.84	o 629 
168.88/32.45	o 630 
168.88/32.47	o 631 
259.85/44.16	o 632 
259.85/44.19	o 633 
260.16/44.20	o 634 
850.18/118.35	o 635 
850.18/118.36	o 636 
1920.15/252.48	s SATISFIABLE
1920.15/252.48	v <instantiation>
1920.15/252.48	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
1920.15/252.48	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 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 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 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 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 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 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 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 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 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 2 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 12 13 13 26 26 27 71 78 80 82 86 88 122 132 139 141 145 154 171 174 181 198 200 202 217 221 224 235 238 238 255 265 275 285 293 302 310 325 342 636 </values>
1920.15/252.48	v </instantiation>
1920.15/252.48	c Unexpected resolution interruption!

Verifier Data 

OK	636

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254846-1501679113/watcher-4254846-1501679113 -o /tmp/evaluation-result-4254846-1501679113/solver-4254846-1501679113 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1681624191 HOME/instance-4254846-1501679113.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 7.89 8.06 6.79 2/173 1566
/proc/meminfo: memFree=31057524/32770624 swapFree=0/885796
[pid=1566] ppid=1563 vsize=23672 CPUtime=0 cores=0-7
/proc/1566/stat : 1566 (runsolver) D 1563 1566 31529 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 16535971 24240128 106 18446744073709551615 4194304 4338465 140723103275104 140723103272744 140516236477143 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 10870784 140723103277138 140723103277635 140723103277635 140723103281098 0
/proc/1566/statm: 5918 106 53 36 0 2156 0

[startup+0.100156 s]
/proc/loadavg: 7.89 8.06 6.79 2/173 1566
/proc/meminfo: memFree=31057524/32770624 swapFree=0/885796
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=0-7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16535971 9740288 345 18446744073709551615 4194304 5098028 140720575468272 140720575466376 140567559225980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 14143488 140720575476114 140720575476324 140720575476324 140720575479787 0
/proc/1566/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200336 s]
/proc/loadavg: 7.89 8.06 6.79 2/173 1566
/proc/meminfo: memFree=31057524/32770624 swapFree=0/885796
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=0-7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16535971 9740288 345 18446744073709551615 4194304 5098028 140720575468272 140720575466376 140567559225980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 14143488 140720575476114 140720575476324 140720575476324 140720575479787 0
/proc/1566/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300322 s]
/proc/loadavg: 7.89 8.06 6.79 2/173 1566
/proc/meminfo: memFree=31057524/32770624 swapFree=0/885796
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=0-7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16535971 9740288 345 18446744073709551615 4194304 5098028 140720575468272 140720575466376 140567559225980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 14143488 140720575476114 140720575476324 140720575476324 140720575479787 0
/proc/1566/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700275 s]
/proc/loadavg: 7.89 8.06 6.79 2/173 1566
/proc/meminfo: memFree=31057524/32770624 swapFree=0/885796
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=0-7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16535971 9740288 345 18446744073709551615 4194304 5098028 140720575468272 140720575466376 140567559225980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 14143488 140720575476114 140720575476324 140720575476324 140720575479787 0
/proc/1566/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50084 s]
/proc/loadavg: 7.89 8.06 6.79 3/194 1587
/proc/meminfo: memFree=30953760/32770624 swapFree=0/885740
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=0-7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16535971 9740288 345 18446744073709551615 4194304 5098028 140720575468272 140720575466376 140567559225980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 14143488 140720575476114 140720575476324 140720575476324 140720575479787 0
/proc/1566/statm: 2378 345 289 221 0 87 0
[pid=1568] ppid=1566 vsize=26001944 CPUtime=3.74 cores=0-7
/proc/1568/stat : 1568 (java) S 1566 1566 31529 0 -1 1077944320 21157 0 0 0 363 11 0 0 20 0 20 0 16535977 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140724415618192 140402998652663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
/proc/1568/statm: 6500486 40609 3188 1 0 6488787 0
[pid=1568/tid=1569] ppid=1566 vsize=26001944 CPUtime=1.38 cores=0-7
/proc/1568/task/1569/stat : 1569 (java) R 1566 1566 31529 0 -1 4202560 9328 0 0 0 132 6 0 0 20 0 20 0 16535977 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140403002888800 140402981115337 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1570] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1570/stat : 1570 (java) S 1566 1566 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 16535978 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140402955619472 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1571] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1571/stat : 1571 (java) S 1566 1566 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16535978 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140402954566672 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1572] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1572/stat : 1572 (java) S 1566 1566 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16535978 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140402953513872 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1573] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1573/stat : 1573 (java) S 1566 1566 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16535978 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140402952461072 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1574] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1574/stat : 1574 (java) S 1566 1566 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16535978 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140402556795536 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1575] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1575/stat : 1575 (java) S 1566 1566 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16535978 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140402555742736 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1576] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1576/stat : 1576 (java) S 1566 1566 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16535978 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140402554689936 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1577] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1577/stat : 1577 (java) S 1566 1566 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16535978 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140402553637136 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1578] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1578/stat : 1578 (java) S 1566 1566 31529 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 16535980 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140401274452848 140402998663810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1579] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1579/stat : 1579 (java) S 1566 1566 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 16535980 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140401205831200 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1580] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1580/stat : 1580 (java) S 1566 1566 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 16535980 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140401204778352 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1581] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1581/stat : 1581 (java) S 1566 1566 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16535983 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140401203726672 140402998671259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1582] ppid=1566 vsize=26001944 CPUtime=0.56 cores=0-7
/proc/1568/task/1582/stat : 1582 (java) R 1566 1566 31529 0 -1 4202560 2627 0 0 0 55 1 0 0 20 0 20 0 16535983 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140401202674032 140402980196867 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1583] ppid=1566 vsize=26001944 CPUtime=0.63 cores=0-7
/proc/1568/task/1583/stat : 1583 (java) S 1566 1566 31529 0 -1 1077944384 2459 0 0 0 63 0 0 0 20 0 20 0 16535983 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140401201621232 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1584] ppid=1566 vsize=26001944 CPUtime=0.61 cores=0-7
/proc/1568/task/1584/stat : 1584 (java) S 1566 1566 31529 0 -1 1077944384 2629 0 0 0 60 1 0 0 20 0 20 0 16535983 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140401200568432 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1585] ppid=1566 vsize=26001944 CPUtime=0.51 cores=0-7
/proc/1568/task/1585/stat : 1585 (java) S 1566 1566 31529 0 -1 1077944384 2786 0 0 0 50 1 0 0 20 0 20 0 16535983 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140401199515632 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1586] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1586/stat : 1586 (java) S 1566 1566 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16535983 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140401198464096 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1587] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1587/stat : 1587 (java) S 1566 1566 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16535987 26625990656 40609 18446744073709551615 4194304 4196468 140724415635648 140401197411376 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 26011456

[startup+3.10087 s]
/proc/loadavg: 7.89 8.06 6.79 2/194 1587
/proc/meminfo: memFree=30839784/32770624 swapFree=0/885740
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=0-7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16535971 9740288 345 18446744073709551615 4194304 5098028 140720575468272 140720575466376 140567559225980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 14143488 140720575476114 140720575476324 140720575476324 140720575479787 0
/proc/1566/statm: 2378 345 289 221 0 87 0
[pid=1568] ppid=1566 vsize=26001944 CPUtime=8.03 cores=0-7
/proc/1568/stat : 1568 (java) S 1566 1566 31529 0 -1 1077944320 28722 0 0 0 767 36 0 0 20 0 20 0 16535977 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140724415618192 140402998652663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
/proc/1568/statm: 6500486 73771 3220 1 0 6488787 0
[pid=1568/tid=1569] ppid=1566 vsize=26001944 CPUtime=2.9 cores=0-7
/proc/1568/task/1569/stat : 1569 (java) R 1566 1566 31529 0 -1 4202560 11082 0 0 0 284 6 0 0 20 0 20 0 16535977 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140403002889680 140402977730163 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1570] ppid=1566 vsize=26001944 CPUtime=0.07 cores=0-7
/proc/1568/task/1570/stat : 1570 (java) S 1566 1566 31529 0 -1 1077944384 159 0 0 0 4 3 0 0 20 0 20 0 16535978 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140402955619472 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1571] ppid=1566 vsize=26001944 CPUtime=0.06 cores=0-7
/proc/1568/task/1571/stat : 1571 (java) S 1566 1566 31529 0 -1 1077944384 97 0 0 0 4 2 0 0 20 0 20 0 16535978 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140402954566672 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1572] ppid=1566 vsize=26001944 CPUtime=0.07 cores=0-7
/proc/1568/task/1572/stat : 1572 (java) S 1566 1566 31529 0 -1 1077944384 157 0 0 0 4 3 0 0 20 0 20 0 16535978 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140402953513872 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1573] ppid=1566 vsize=26001944 CPUtime=0.06 cores=0-7
/proc/1568/task/1573/stat : 1573 (java) S 1566 1566 31529 0 -1 1077944384 406 0 0 0 4 2 0 0 20 0 20 0 16535978 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140402952461072 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1574] ppid=1566 vsize=26001944 CPUtime=0.05 cores=0-7
/proc/1568/task/1574/stat : 1574 (java) S 1566 1566 31529 0 -1 1077944384 92 0 0 0 3 2 0 0 20 0 20 0 16535978 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140402556795536 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1575] ppid=1566 vsize=26001944 CPUtime=0.07 cores=0-7
/proc/1568/task/1575/stat : 1575 (java) S 1566 1566 31529 0 -1 1077944384 79 0 0 0 4 3 0 0 20 0 20 0 16535978 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140402555742736 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1576] ppid=1566 vsize=26001944 CPUtime=0.06 cores=0-7
/proc/1568/task/1576/stat : 1576 (java) S 1566 1566 31529 0 -1 1077944384 111 0 0 0 4 2 0 0 20 0 20 0 16535978 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140402554689936 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1577] ppid=1566 vsize=26001944 CPUtime=0.05 cores=0-7
/proc/1568/task/1577/stat : 1577 (java) S 1566 1566 31529 0 -1 1077944384 75 0 0 0 3 2 0 0 20 0 20 0 16535978 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140402553637136 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1578] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1578/stat : 1578 (java) S 1566 1566 31529 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 20 0 16535980 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140401274452848 140402998663810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1579] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1579/stat : 1579 (java) S 1566 1566 31529 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 16535980 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140401205831264 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1580] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1580/stat : 1580 (java) S 1566 1566 31529 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 16535980 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140401204778368 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1581] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1581/stat : 1581 (java) S 1566 1566 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16535983 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140401203726672 140402998671259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1582] ppid=1566 vsize=26001944 CPUtime=1.13 cores=0-7
/proc/1568/task/1582/stat : 1582 (java) S 1566 1566 31529 0 -1 1077944384 3526 0 0 0 112 1 0 0 20 0 20 0 16535983 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140401202674032 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1583] ppid=1566 vsize=26001944 CPUtime=1.41 cores=0-7
/proc/1568/task/1583/stat : 1583 (java) R 1566 1566 31529 0 -1 4202560 3717 0 0 0 141 0 0 0 20 0 20 0 16535983 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140401201609104 140402980177592 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1584] ppid=1566 vsize=26001944 CPUtime=1.33 cores=0-7
/proc/1568/task/1584/stat : 1584 (java) S 1566 1566 31529 0 -1 1077944384 4039 0 0 0 131 2 0 0 20 0 20 0 16535983 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140401200568432 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1585] ppid=1566 vsize=26001944 CPUtime=0.63 cores=0-7
/proc/1568/task/1585/stat : 1585 (java) S 1566 1566 31529 0 -1 1077944384 3621 0 0 0 62 1 0 0 20 0 20 0 16535983 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140401199515632 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1586] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1586/stat : 1586 (java) S 1566 1566 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16535983 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140401198464096 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1587] ppid=1566 vsize=26001944 CPUtime=0 cores=0-7
/proc/1568/task/1587/stat : 1587 (java) S 1566 1566 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 16535987 26625990656 73771 18446744073709551615 4194304 4196468 140724415635648 140401197411376 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 26011456

[startup+6.30485 s]
/proc/loadavg: 7.26 7.92 6.75 12/202 1595
/proc/meminfo: memFree=30555872/32770624 swapFree=0/885744
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=0-7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16535971 9740288 345 18446744073709551615 4194304 5098028 140720575468272 140720575466376 140567559225980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 14143488 140720575476114 140720575476324 140720575476324 140720575479787 0
/proc/1566/statm: 2378 345 289 221 0 87 0
[pid=1568] ppid=1566 vsize=26536504 CPUtime=25.54 cores=0-7
/proc/1568/stat : 1568 (java) S 1566 1566 31529 0 -1 1077944320 35853 0 0 0 2492 62 0 0 20 0 28 0 16535977 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140724415618192 140402998652663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
/proc/1568/statm: 6634126 128061 3240 1 0 6622427 0
[pid=1568/tid=1569] ppid=1566 vsize=26536504 CPUtime=4 cores=0-7
/proc/1568/task/1569/stat : 1569 (java) S 1566 1566 31529 0 -1 1077944384 11698 0 0 0 393 7 0 0 20 0 28 0 16535977 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140403002893440 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1570] ppid=1566 vsize=26536504 CPUtime=0.15 cores=0-7
/proc/1568/task/1570/stat : 1570 (java) S 1566 1566 31529 0 -1 1077944384 249 0 0 0 9 6 0 0 20 0 28 0 16535978 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140402955619472 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1571] ppid=1566 vsize=26536504 CPUtime=0.13 cores=0-7
/proc/1568/task/1571/stat : 1571 (java) S 1566 1566 31529 0 -1 1077944384 204 0 0 0 9 4 0 0 20 0 28 0 16535978 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140402954566672 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1572] ppid=1566 vsize=26536504 CPUtime=0.14 cores=0-7
/proc/1568/task/1572/stat : 1572 (java) S 1566 1566 31529 0 -1 1077944384 219 0 0 0 8 6 0 0 20 0 28 0 16535978 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140402953513872 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1573] ppid=1566 vsize=26536504 CPUtime=0.13 cores=0-7
/proc/1568/task/1573/stat : 1573 (java) S 1566 1566 31529 0 -1 1077944384 509 0 0 0 9 4 0 0 20 0 28 0 16535978 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140402952461072 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1574] ppid=1566 vsize=26536504 CPUtime=0.12 cores=0-7
/proc/1568/task/1574/stat : 1574 (java) S 1566 1566 31529 0 -1 1077944384 159 0 0 0 7 5 0 0 20 0 28 0 16535978 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140402556795536 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1575] ppid=1566 vsize=26536504 CPUtime=0.13 cores=0-7
/proc/1568/task/1575/stat : 1575 (java) S 1566 1566 31529 0 -1 1077944384 134 0 0 0 8 5 0 0 20 0 28 0 16535978 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140402555742736 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1576] ppid=1566 vsize=26536504 CPUtime=0.13 cores=0-7
/proc/1568/task/1576/stat : 1576 (java) S 1566 1566 31529 0 -1 1077944384 172 0 0 0 9 4 0 0 20 0 28 0 16535978 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140402554689936 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1577] ppid=1566 vsize=26536504 CPUtime=0.1 cores=0-7
/proc/1568/task/1577/stat : 1577 (java) S 1566 1566 31529 0 -1 1077944384 168 0 0 0 7 3 0 0 20 0 28 0 16535978 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140402553637136 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1578] ppid=1566 vsize=26536504 CPUtime=0.01 cores=0-7
/proc/1568/task/1578/stat : 1578 (java) S 1566 1566 31529 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 28 0 16535980 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140401274452848 140402998663810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1579] ppid=1566 vsize=26536504 CPUtime=0 cores=0-7
/proc/1568/task/1579/stat : 1579 (java) S 1566 1566 31529 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 16535980 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140401205831264 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1580] ppid=1566 vsize=26536504 CPUtime=0 cores=0-7
/proc/1568/task/1580/stat : 1580 (java) S 1566 1566 31529 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 16535980 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140401204778368 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1581] ppid=1566 vsize=26536504 CPUtime=0 cores=0-7
/proc/1568/task/1581/stat : 1581 (java) S 1566 1566 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16535983 27173380096 128061 18446744073709551615 4194304 4196468 140724415635648 140401203726672 140402998671259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0

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

[pid=1568/tid=6558] ppid=1566 vsize=26537532 CPUtime=43.82 cores=0-7
/proc/1568/task/6558/stat : 6558 (java) R 1566 1566 31529 0 -1 4202560 1938 0 0 0 4382 0 0 0 20 0 28 0 16547808 27174432768 1153501 18446744073709551615 4194304 4196468 140724415635648 140401182535088 140402635019242 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6559] ppid=1566 vsize=26537532 CPUtime=43.88 cores=0-7
/proc/1568/task/6559/stat : 6559 (java) R 1566 1566 31529 0 -1 4202560 790 0 0 0 4388 0 0 0 20 0 28 0 16547808 27174432768 1153501 18446744073709551615 4194304 4196468 140724415635648 140401185686040 140402634957235 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
Current children cumulated CPU time (s) 1200.85
Current children cumulated vsize (KiB) 26547044

[startup+222.307 s]
/proc/loadavg: 8.06 7.87 6.96 9/204 6560
/proc/meminfo: memFree=26448740/32770624 swapFree=0/885824
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=0-7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16535971 9740288 345 18446744073709551615 4194304 5098028 140720575468272 140720575466376 140567559225980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 14143488 140720575476114 140720575476324 140720575476324 140720575479787 0
/proc/1566/statm: 2378 345 289 221 0 87 0
[pid=1568] ppid=1566 vsize=26537532 CPUtime=1679.9 cores=0-7
/proc/1568/stat : 1568 (java) S 1566 1566 31529 0 -1 1077944320 209327 0 0 0 167617 373 0 0 20 0 28 0 16535977 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140724415618192 140402998652663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
/proc/1568/statm: 6634383 1153087 3254 1 0 6622684 0
[pid=1568/tid=1569] ppid=1566 vsize=26537532 CPUtime=4.72 cores=0-7
/proc/1568/task/1569/stat : 1569 (java) S 1566 1566 31529 0 -1 1077944384 13033 0 0 0 458 14 0 0 20 0 28 0 16535977 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140403002893376 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1570] ppid=1566 vsize=26537532 CPUtime=0.31 cores=0-7
/proc/1568/task/1570/stat : 1570 (java) S 1566 1566 31529 0 -1 1077944384 2043 0 0 0 21 10 0 0 20 0 28 0 16535978 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140402955619472 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1571] ppid=1566 vsize=26537532 CPUtime=0.3 cores=0-7
/proc/1568/task/1571/stat : 1571 (java) S 1566 1566 31529 0 -1 1077944384 1536 0 0 0 21 9 0 0 20 0 28 0 16535978 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140402954566672 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1572] ppid=1566 vsize=26537532 CPUtime=0.32 cores=0-7
/proc/1568/task/1572/stat : 1572 (java) S 1566 1566 31529 0 -1 1077944384 683 0 0 0 21 11 0 0 20 0 28 0 16535978 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140402953513872 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1573] ppid=1566 vsize=26537532 CPUtime=0.29 cores=0-7
/proc/1568/task/1573/stat : 1573 (java) S 1566 1566 31529 0 -1 1077944384 2141 0 0 0 20 9 0 0 20 0 28 0 16535978 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140402952461072 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1574] ppid=1566 vsize=26537532 CPUtime=0.28 cores=0-7
/proc/1568/task/1574/stat : 1574 (java) S 1566 1566 31529 0 -1 1077944384 2543 0 0 0 19 9 0 0 20 0 28 0 16535978 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140402556795536 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1575] ppid=1566 vsize=26537532 CPUtime=0.31 cores=0-7
/proc/1568/task/1575/stat : 1575 (java) S 1566 1566 31529 0 -1 1077944384 1368 0 0 0 21 10 0 0 20 0 28 0 16535978 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140402555742736 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1576] ppid=1566 vsize=26537532 CPUtime=0.31 cores=0-7
/proc/1568/task/1576/stat : 1576 (java) S 1566 1566 31529 0 -1 1077944384 1034 0 0 0 22 9 0 0 20 0 28 0 16535978 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140402554689936 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1577] ppid=1566 vsize=26537532 CPUtime=0.28 cores=0-7
/proc/1568/task/1577/stat : 1577 (java) S 1566 1566 31529 0 -1 1077944384 750 0 0 0 20 8 0 0 20 0 28 0 16535978 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140402553637136 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1578] ppid=1566 vsize=26537532 CPUtime=0.08 cores=0-7
/proc/1568/task/1578/stat : 1578 (java) S 1566 1566 31529 0 -1 1077944384 6454 0 0 0 5 3 0 0 20 0 28 0 16535980 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401274452848 140402998663810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1579] ppid=1566 vsize=26537532 CPUtime=0 cores=0-7
/proc/1568/task/1579/stat : 1579 (java) S 1566 1566 31529 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 16535980 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401205831264 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1580] ppid=1566 vsize=26537532 CPUtime=0 cores=0-7
/proc/1568/task/1580/stat : 1580 (java) S 1566 1566 31529 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 16535980 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401204778368 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1581] ppid=1566 vsize=26537532 CPUtime=0 cores=0-7
/proc/1568/task/1581/stat : 1581 (java) S 1566 1566 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16535983 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401203726672 140402998671259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1582] ppid=1566 vsize=26537532 CPUtime=3.95 cores=0-7
/proc/1568/task/1582/stat : 1582 (java) S 1566 1566 31529 0 -1 1077944384 20533 0 0 0 390 5 0 0 20 0 28 0 16535983 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401202674032 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1583] ppid=1566 vsize=26537532 CPUtime=3.99 cores=0-7
/proc/1568/task/1583/stat : 1583 (java) S 1566 1566 31529 0 -1 1077944384 21654 0 0 0 394 5 0 0 20 0 28 0 16535983 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401201621232 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1584] ppid=1566 vsize=26537532 CPUtime=3.6 cores=0-7
/proc/1568/task/1584/stat : 1584 (java) S 1566 1566 31529 0 -1 1077944384 16087 0 0 0 356 4 0 0 20 0 28 0 16535983 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401200568432 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1585] ppid=1566 vsize=26537532 CPUtime=1.23 cores=0-7
/proc/1568/task/1585/stat : 1585 (java) S 1566 1566 31529 0 -1 1077944384 14297 0 0 0 121 2 0 0 20 0 28 0 16535983 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401199515632 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1586] ppid=1566 vsize=26537532 CPUtime=0 cores=0-7
/proc/1568/task/1586/stat : 1586 (java) S 1566 1566 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16535983 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401198464096 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1587] ppid=1566 vsize=26537532 CPUtime=0.09 cores=0-7
/proc/1568/task/1587/stat : 1587 (java) S 1566 1566 31529 0 -1 1077944384 2634 0 0 0 0 9 0 0 20 0 28 0 16535987 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401197411376 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6552] ppid=1566 vsize=26537532 CPUtime=103.45 cores=0-7
/proc/1568/task/6552/stat : 6552 (java) R 1566 1566 31529 0 -1 4202560 2309 0 0 0 10340 5 0 0 20 0 28 0 16547808 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401187790264 140402634436908 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6553] ppid=1566 vsize=26537532 CPUtime=103.8 cores=0-7
/proc/1568/task/6553/stat : 6553 (java) R 1566 1566 31529 0 -1 4202560 2133 0 0 0 10380 0 0 0 20 0 28 0 16547808 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401181479312 140402641235244 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6554] ppid=1566 vsize=26537532 CPUtime=103.87 cores=0-7
/proc/1568/task/6554/stat : 6554 (java) R 1566 1566 31529 0 -1 4202560 1720 0 0 0 10385 2 0 0 20 0 28 0 16547808 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401178329552 140402641567068 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6555] ppid=1566 vsize=26537532 CPUtime=103.87 cores=0-7
/proc/1568/task/6555/stat : 6555 (java) R 1566 1566 31529 0 -1 4202560 13531 0 0 0 10365 22 0 0 20 0 28 0 16547808 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401186738504 140402637504618 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6556] ppid=1566 vsize=26537532 CPUtime=103.39 cores=0-7
/proc/1568/task/6556/stat : 6556 (java) R 1566 1566 31529 0 -1 4202560 2573 0 0 0 10332 7 0 0 20 0 28 0 16547808 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401183584272 140402636534796 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6557] ppid=1566 vsize=26537532 CPUtime=103.14 cores=0-7
/proc/1568/task/6557/stat : 6557 (java) R 1566 1566 31529 0 -1 4202560 4330 0 0 0 10307 7 0 0 20 0 28 0 16547808 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401188845808 140402638792213 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6558] ppid=1566 vsize=26537532 CPUtime=103.79 cores=0-7
/proc/1568/task/6558/stat : 6558 (java) R 1566 1566 31529 0 -1 4202560 3794 0 0 0 10378 1 0 0 20 0 28 0 16547808 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401182532304 140402641565445 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6559] ppid=1566 vsize=26537532 CPUtime=103.84 cores=0-7
/proc/1568/task/6559/stat : 6559 (java) R 1566 1566 31529 0 -1 4202560 1718 0 0 0 10384 0 0 0 20 0 28 0 16547808 27174432768 1153087 18446744073709551615 4194304 4196468 140724415635648 140401185686160 140402634207292 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
Current children cumulated CPU time (s) 1679.9
Current children cumulated vsize (KiB) 26547044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+252.402 s]
/proc/loadavg: 8.15 7.92 7.00 9/202 6562
/proc/meminfo: memFree=26446760/32770624 swapFree=0/885840
[pid=1566] ppid=1563 vsize=9512 CPUtime=0 cores=0-7
/proc/1566/stat : 1566 (xcsp3-exec) S 1563 1566 31529 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 16535971 9740288 345 18446744073709551615 4194304 5098028 140720575468272 140720575466376 140567559225980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 14143488 140720575476114 140720575476324 140720575476324 140720575479787 0
/proc/1566/statm: 2378 345 289 221 0 87 0
[pid=1568] ppid=1566 vsize=26537532 CPUtime=1920.15 cores=0-7
/proc/1568/stat : 1568 (java) S 1566 1566 31529 0 -1 1077944320 222997 0 0 0 191626 389 0 0 20 0 28 0 16535977 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140724415618192 140402998652663 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
/proc/1568/statm: 6634383 1153714 3254 1 0 6622684 0
[pid=1568/tid=1569] ppid=1566 vsize=26537532 CPUtime=4.72 cores=0-7
/proc/1568/task/1569/stat : 1569 (java) S 1566 1566 31529 0 -1 1077944384 13033 0 0 0 458 14 0 0 20 0 28 0 16535977 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140403002893376 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1570] ppid=1566 vsize=26537532 CPUtime=0.32 cores=0-7
/proc/1568/task/1570/stat : 1570 (java) S 1566 1566 31529 0 -1 1077944384 2905 0 0 0 22 10 0 0 20 0 28 0 16535978 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140402955619472 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1571] ppid=1566 vsize=26537532 CPUtime=0.31 cores=0-7
/proc/1568/task/1571/stat : 1571 (java) S 1566 1566 31529 0 -1 1077944384 1656 0 0 0 22 9 0 0 20 0 28 0 16535978 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140402954566672 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1572] ppid=1566 vsize=26537532 CPUtime=0.34 cores=0-7
/proc/1568/task/1572/stat : 1572 (java) S 1566 1566 31529 0 -1 1077944384 731 0 0 0 22 12 0 0 20 0 28 0 16535978 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140402953513872 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1573] ppid=1566 vsize=26537532 CPUtime=0.3 cores=0-7
/proc/1568/task/1573/stat : 1573 (java) S 1566 1566 31529 0 -1 1077944384 2189 0 0 0 21 9 0 0 20 0 28 0 16535978 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140402952461072 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1574] ppid=1566 vsize=26537532 CPUtime=0.29 cores=0-7
/proc/1568/task/1574/stat : 1574 (java) S 1566 1566 31529 0 -1 1077944384 2578 0 0 0 19 10 0 0 20 0 28 0 16535978 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140402556795536 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1575] ppid=1566 vsize=26537532 CPUtime=0.31 cores=0-7
/proc/1568/task/1575/stat : 1575 (java) S 1566 1566 31529 0 -1 1077944384 1414 0 0 0 21 10 0 0 20 0 28 0 16535978 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140402555742736 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1576] ppid=1566 vsize=26537532 CPUtime=0.31 cores=0-7
/proc/1568/task/1576/stat : 1576 (java) S 1566 1566 31529 0 -1 1077944384 1065 0 0 0 22 9 0 0 20 0 28 0 16535978 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140402554689936 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1577] ppid=1566 vsize=26537532 CPUtime=0.29 cores=0-7
/proc/1568/task/1577/stat : 1577 (java) S 1566 1566 31529 0 -1 1077944384 815 0 0 0 21 8 0 0 20 0 28 0 16535978 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140402553637136 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1578] ppid=1566 vsize=26537532 CPUtime=0.08 cores=0-7
/proc/1568/task/1578/stat : 1578 (java) S 1566 1566 31529 0 -1 1077944384 7077 0 0 0 5 3 0 0 20 0 28 0 16535980 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401274452848 140402998663810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1579] ppid=1566 vsize=26537532 CPUtime=0 cores=0-7
/proc/1568/task/1579/stat : 1579 (java) S 1566 1566 31529 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 16535980 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401205831264 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1580] ppid=1566 vsize=26537532 CPUtime=0 cores=0-7
/proc/1568/task/1580/stat : 1580 (java) S 1566 1566 31529 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 16535980 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401204778368 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1581] ppid=1566 vsize=26537532 CPUtime=0 cores=0-7
/proc/1568/task/1581/stat : 1581 (java) S 1566 1566 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16535983 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401203726672 140402998671259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1582] ppid=1566 vsize=26537532 CPUtime=3.95 cores=0-7
/proc/1568/task/1582/stat : 1582 (java) S 1566 1566 31529 0 -1 1077944384 20547 0 0 0 390 5 0 0 20 0 28 0 16535983 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401202674032 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1583] ppid=1566 vsize=26537532 CPUtime=4.03 cores=0-7
/proc/1568/task/1583/stat : 1583 (java) S 1566 1566 31529 0 -1 1077944384 22861 0 0 0 398 5 0 0 20 0 28 0 16535983 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401201621232 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1584] ppid=1566 vsize=26537532 CPUtime=3.6 cores=0-7
/proc/1568/task/1584/stat : 1584 (java) S 1566 1566 31529 0 -1 1077944384 16659 0 0 0 356 4 0 0 20 0 28 0 16535983 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401200568432 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1585] ppid=1566 vsize=26537532 CPUtime=1.24 cores=0-7
/proc/1568/task/1585/stat : 1585 (java) S 1566 1566 31529 0 -1 1077944384 14587 0 0 0 121 3 0 0 20 0 28 0 16535983 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401199515632 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1586] ppid=1566 vsize=26537532 CPUtime=0 cores=0-7
/proc/1568/task/1586/stat : 1586 (java) S 1566 1566 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16535983 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401198464096 140402998662869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=1587] ppid=1566 vsize=26537532 CPUtime=0.1 cores=0-7
/proc/1568/task/1587/stat : 1587 (java) S 1566 1566 31529 0 -1 1077944384 2814 0 0 0 0 10 0 0 20 0 28 0 16535987 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401197411376 140402998663810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6552] ppid=1566 vsize=26537532 CPUtime=133.52 cores=0-7
/proc/1568/task/6552/stat : 6552 (java) R 1566 1566 31529 0 -1 4202560 2967 0 0 0 13346 6 0 0 20 0 28 0 16547808 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401187790312 140402640875493 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6553] ppid=1566 vsize=26537532 CPUtime=133.85 cores=0-7
/proc/1568/task/6553/stat : 6553 (java) R 1566 1566 31529 0 -1 4202560 2930 0 0 0 13384 1 0 0 20 0 28 0 16547808 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401181479448 140402634958627 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6554] ppid=1566 vsize=26537532 CPUtime=133.94 cores=0-7
/proc/1568/task/6554/stat : 6554 (java) R 1566 1566 31529 0 -1 4202560 2399 0 0 0 13391 3 0 0 20 0 28 0 16547808 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401178329544 140402641565676 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6555] ppid=1566 vsize=26537532 CPUtime=133.94 cores=0-7
/proc/1568/task/6555/stat : 6555 (java) R 1566 1566 31529 0 -1 4202560 16732 0 0 0 13367 27 0 0 20 0 28 0 16547808 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401186737856 140402638759204 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6556] ppid=1566 vsize=26537532 CPUtime=133.47 cores=0-7
/proc/1568/task/6556/stat : 6556 (java) R 1566 1566 31529 0 -1 4202560 3356 0 0 0 13339 8 0 0 20 0 28 0 16547808 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401183584712 140402641235007 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6557] ppid=1566 vsize=26537532 CPUtime=132.77 cores=0-7
/proc/1568/task/6557/stat : 6557 (java) R 1566 1566 31529 0 -1 4202560 5624 0 0 0 13268 9 0 0 20 0 28 0 16547808 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401188843480 140402641124573 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6558] ppid=1566 vsize=26537532 CPUtime=133.87 cores=0-7
/proc/1568/task/6558/stat : 6558 (java) R 1566 1566 31529 0 -1 4202560 5205 0 0 0 13385 2 0 0 20 0 28 0 16547808 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401182532200 140402633803056 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
[pid=1568/tid=6559] ppid=1566 vsize=26537532 CPUtime=133.9 cores=0-7
/proc/1568/task/6559/stat : 6559 (java) R 1566 1566 31529 0 -1 4202560 2424 0 0 0 13389 1 0 0 20 0 28 0 16547808 27174432768 1153714 18446744073709551615 4194304 4196468 140724415635648 140401185686232 140402641235772 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11673600 140724415640016 140724415640192 140724415640192 140724415643599 0
Current children cumulated CPU time (s) 1920.15
Current children cumulated vsize (KiB) 26547044

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 252.425
CPU time (s): 1920.15
CPU user time (s): 1916.26
CPU system time (s): 3.89
CPU usage (%): 760.68
Max. virtual memory (cumulated for all children) (KiB): 26547044

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.76528 second user time and 2.00311 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 14:51:14
IDJOB=4254846
IDBENCH=115896
IDSOLVER=2636
FILE ID=node128/4254846-1501679113
RUNJOBID= node128-1501676495-31585
PBS_JOBID= 
Free space on /tmp= 61852 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.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-4254846-1501679113/watcher-4254846-1501679113 -o /tmp/evaluation-result-4254846-1501679113/solver-4254846-1501679113 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324  ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1681624191 HOME/instance-4254846-1501679113.xml

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

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=1681624191

node128.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.05
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.05
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.05
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.05
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:        31057500 kB
MemAvailable:   32015372 kB
Buffers:          144928 kB
Cached:          1099468 kB
SwapCached:            0 kB
Active:           393872 kB
Inactive:         902824 kB
Active(anon):      52640 kB
Inactive(anon):    16724 kB
Active(file):     341232 kB
Inactive(file):   886100 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7952 kB
Writeback:            32 kB
AnonPages:         45784 kB
Mapped:            30272 kB
Shmem:             17064 kB
Slab:             118128 kB
SReclaimable:      92752 kB
SUnreclaim:        25376 kB
KernelStack:        3136 kB
PageTables:         4364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     284584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61844 MiB
End job on node128 at 2017-08-02 14:55:27