Trace number 4244761

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)SAT (TO)635 2400.43 321.612

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 benchmark686
Best CPU time to get the best result obtained on this benchmark2400.02
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.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244761-1500684618.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4244761-1500684618.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
10.54/4.38	c solve instance...
24.81/6.27	o 0 
27.60/6.75	o 4 
27.60/6.78	o 6 
27.60/6.79	o 8 
29.50/7.71	o 10 
29.50/7.73	o 12 
29.50/7.75	o 14 
39.62/9.01	o 16 
46.55/9.91	o 18 
56.20/11.36	o 20 
56.55/11.42	o 22 
75.50/13.86	o 24 
103.26/17.38	o 25 
119.09/19.37	o 26 
142.94/22.68	o 27 
150.21/23.63	o 29 
179.38/27.64	o 30 
226.66/34.04	o 32 
232.72/34.82	o 33 
232.72/34.84	o 34 
232.72/34.85	o 35 
232.72/34.86	o 36 
232.72/34.88	o 37 
232.72/34.89	o 38 
233.35/34.91	o 39 
233.35/34.92	o 40 
233.35/34.93	o 41 
233.35/34.95	o 42 
233.35/34.96	o 43 
233.35/34.97	o 44 
233.35/34.99	o 45 
233.35/34.99	o 46 
233.88/35.01	o 47 
233.88/35.02	o 48 
233.88/35.03	o 49 
233.88/35.04	o 50 
233.88/35.06	o 51 
233.88/35.07	o 52 
233.88/35.09	o 53 
234.40/35.10	o 54 
234.40/35.11	o 55 
234.40/35.13	o 56 
234.40/35.14	o 57 
234.40/35.15	o 58 
234.40/35.16	o 59 
234.40/35.17	o 60 
234.40/35.17	o 61 
234.40/35.19	o 62 
234.40/35.20	o 63 
234.94/35.21	o 64 
234.94/35.22	o 65 
234.94/35.23	o 66 
234.94/35.25	o 67 
234.94/35.26	o 68 
234.94/35.27	o 69 
234.94/35.28	o 70 
234.94/35.29	o 71 
234.94/35.30	o 72 
235.45/35.31	o 73 
235.45/35.32	o 74 
235.45/35.33	o 75 
235.45/35.34	o 76 
235.45/35.34	o 77 
235.45/35.35	o 78 
235.45/35.37	o 79 
235.45/35.38	o 80 
235.45/35.39	o 81 
235.93/35.42	o 82 
235.93/35.43	o 83 
235.93/35.44	o 84 
235.93/35.46	o 85 
235.93/35.47	o 86 
235.93/35.48	o 87 
235.93/35.50	o 88 
236.43/35.51	o 89 
236.43/35.52	o 90 
236.43/35.53	o 91 
236.43/35.54	o 92 
236.43/35.56	o 93 
236.43/35.57	o 94 
236.43/35.58	o 95 
236.43/35.60	o 96 
237.00/35.61	o 97 
237.00/35.62	o 98 
237.00/35.63	o 99 
237.00/35.64	o 100 
237.00/35.65	o 101 
237.00/35.67	o 102 
237.00/35.67	o 103 
237.57/35.70	o 104 
237.57/35.71	o 105 
237.57/35.72	o 106 
237.57/35.73	o 107 
237.57/35.75	o 108 
237.57/35.76	o 109 
237.57/35.77	o 110 
237.57/35.78	o 111 
237.57/35.79	o 112 
238.11/35.81	o 113 
238.11/35.82	o 114 
238.11/35.83	o 115 
238.11/35.84	o 116 
238.11/35.85	o 117 
238.11/35.86	o 118 
238.11/35.87	o 119 
238.11/35.88	o 120 
238.11/35.90	o 121 
238.63/35.91	o 122 
238.63/35.92	o 123 
238.63/35.93	o 124 
238.63/35.94	o 125 
238.63/35.95	o 126 
238.63/35.96	o 127 
238.63/35.97	o 128 
238.63/35.98	o 129 
239.12/36.00	o 130 
239.12/36.01	o 131 
239.12/36.02	o 132 
239.12/36.03	o 133 
239.12/36.04	o 134 
239.12/36.05	o 135 
239.12/36.07	o 136 
239.12/36.07	o 137 
239.65/36.10	o 138 
239.65/36.11	o 139 
239.65/36.12	o 140 
239.65/36.14	o 141 
239.65/36.15	o 142 
239.65/36.16	o 143 
239.65/36.17	o 144 
239.65/36.19	o 145 
240.25/36.20	o 146 
240.25/36.21	o 147 
240.25/36.22	o 148 
240.25/36.23	o 149 
240.25/36.24	o 150 
240.25/36.25	o 151 
240.25/36.27	o 152 
240.25/36.28	o 153 
240.25/36.29	o 154 
240.25/36.31	o 155 
240.88/36.32	o 156 
240.88/36.32	o 157 
240.88/36.33	o 158 
240.88/36.34	o 159 
240.88/36.35	o 160 
240.88/36.36	o 161 
240.88/36.37	o 162 
240.88/36.38	o 163 
240.88/36.39	o 164 
240.88/36.40	o 165 
241.43/36.41	o 166 
241.43/36.42	o 167 
241.43/36.44	o 168 
241.43/36.45	o 169 
241.43/36.46	o 170 
241.43/36.47	o 171 
241.43/36.48	o 172 
241.43/36.49	o 173 
241.43/36.50	o 174 
241.89/36.51	o 175 
241.89/36.53	o 176 
241.89/36.54	o 177 
241.89/36.54	o 178 
241.89/36.56	o 179 
241.89/36.57	o 180 
241.89/36.58	o 181 
241.89/36.58	o 182 
241.89/36.59	o 183 
242.34/36.60	o 184 
242.34/36.62	o 185 
242.34/36.63	o 186 
242.58/36.78	o 187 
243.33/37.44	o 188 
243.33/37.45	o 189 
243.33/37.46	o 190 
243.33/37.47	o 191 
243.33/37.48	o 192 
243.33/37.50	o 193 
243.68/37.52	o 194 
243.68/37.53	o 195 
243.68/37.54	o 196 
243.68/37.55	o 197 
243.68/37.57	o 198 
243.68/37.58	o 199 
243.68/37.60	o 200 
244.23/37.61	o 201 
244.23/37.62	o 202 
244.23/37.63	o 203 
244.23/37.64	o 204 
244.23/37.65	o 205 
244.23/37.66	o 206 
244.23/37.67	o 207 
244.23/37.69	o 208 
244.77/37.70	o 209 
244.77/37.71	o 210 
245.31/38.18	o 211 
245.31/38.19	o 212 
245.45/38.21	o 213 
245.45/38.22	o 214 
245.45/38.23	o 215 
245.45/38.25	o 216 
245.45/38.26	o 217 
245.45/38.27	o 218 
245.45/38.28	o 219 
245.45/38.29	o 220 
246.01/38.31	o 221 
246.01/38.32	o 222 
246.01/38.33	o 223 
246.01/38.34	o 224 
246.01/38.35	o 225 
246.01/38.36	o 226 
246.01/38.37	o 227 
246.01/38.38	o 228 
246.01/38.39	o 229 
246.51/38.40	o 230 
246.51/38.41	o 231 
246.51/38.42	o 232 
246.51/38.43	o 233 
246.51/38.45	o 234 
246.51/38.46	o 235 
246.51/38.47	o 236 
246.51/38.48	o 237 
246.51/38.49	o 238 
247.02/38.51	o 239 
247.02/38.52	o 240 
247.02/38.53	o 241 
247.02/38.55	o 242 
247.02/38.57	o 243 
247.02/38.58	o 244 
247.02/38.59	o 245 
247.02/38.61	o 246 
247.58/38.62	o 247 
247.58/38.63	o 248 
247.58/38.64	o 249 
247.58/38.65	o 250 
247.58/38.66	o 251 
247.58/38.67	o 252 
247.58/38.69	o 253 
248.17/38.70	o 254 
248.17/38.72	o 255 
248.56/38.97	o 256 
248.56/38.99	o 257 
248.77/39.00	o 258 
248.77/39.02	o 259 
248.77/39.03	o 260 
248.77/39.04	o 261 
248.77/39.06	o 262 
248.77/39.07	o 263 
248.77/39.08	o 264 
248.77/39.09	o 265 
249.33/39.11	o 266 
249.33/39.12	o 267 
249.33/39.13	o 268 
249.33/39.15	o 269 
249.33/39.16	o 270 
249.33/39.18	o 271 
249.33/39.19	o 272 
249.88/39.20	o 273 
249.88/39.21	o 274 
249.88/39.22	o 275 
249.88/39.24	o 276 
249.88/39.25	o 277 
249.88/39.26	o 278 
249.88/39.27	o 279 
249.88/39.29	o 280 
250.37/39.31	o 281 
250.37/39.32	o 282 
250.37/39.34	o 283 
250.37/39.35	o 284 
250.37/39.36	o 285 
250.37/39.37	o 286 
250.37/39.39	o 287 
250.97/39.40	o 288 
250.97/39.41	o 289 
250.97/39.42	o 290 
250.97/39.43	o 291 
250.97/39.45	o 292 
250.97/39.46	o 293 
250.97/39.48	o 294 
250.97/39.49	o 295 
251.53/39.50	o 296 
251.53/39.51	o 297 
251.53/39.53	o 298 
251.53/39.54	o 299 
251.53/39.55	o 300 
251.53/39.56	o 301 
251.53/39.58	o 302 
251.53/39.59	o 303 
251.53/39.60	o 304 
252.17/39.62	o 305 
252.17/39.63	o 306 
252.17/39.64	o 307 
252.17/39.65	o 308 
252.17/39.67	o 309 
252.17/39.68	o 310 
252.17/39.69	o 311 
252.17/39.71	o 312 
252.81/39.72	o 313 
252.81/39.73	o 314 
252.81/39.75	o 315 
252.81/39.76	o 316 
252.81/39.77	o 317 
254.06/40.69	o 318 
254.25/40.73	o 319 
254.25/40.74	o 320 
254.25/40.75	o 321 
254.25/40.76	o 322 
254.25/40.77	o 323 
254.25/40.79	o 324 
254.25/40.80	o 325 
254.25/40.81	o 326 
254.82/40.83	o 327 
254.82/40.84	o 328 
254.82/40.85	o 329 
254.82/40.87	o 330 
254.82/40.88	o 331 
254.82/40.90	o 332 
255.26/40.91	o 333 
255.26/40.93	o 334 
255.26/40.94	o 335 
255.26/40.96	o 336 
255.26/40.97	o 337 
255.26/40.98	o 338 
255.26/40.99	o 339 
255.83/41.00	o 340 
255.83/41.02	o 341 
255.83/41.04	o 342 
255.83/41.05	o 343 
255.83/41.06	o 344 
255.83/41.08	o 345 
255.83/41.09	o 346 
256.39/41.10	o 347 
256.39/41.11	o 348 
256.39/41.13	o 349 
256.39/41.14	o 350 
256.39/41.15	o 351 
256.39/41.16	o 352 
256.39/41.18	o 353 
256.39/41.20	o 354 
256.95/41.21	o 355 
256.95/41.22	o 356 
256.95/41.23	o 357 
256.95/41.24	o 358 
256.95/41.25	o 359 
256.95/41.27	o 360 
256.95/41.28	o 361 
256.95/41.29	o 362 
257.51/41.30	o 363 
257.51/41.31	o 364 
257.51/41.33	o 365 
257.51/41.34	o 366 
257.51/41.35	o 367 
257.51/41.37	o 368 
257.51/41.38	o 369 
258.11/41.42	o 370 
258.11/41.44	o 371 
258.11/41.45	o 372 
258.11/41.47	o 373 
258.11/41.49	o 374 
259.02/42.00	o 375 
259.80/42.63	o 376 
259.80/42.65	o 377 
259.80/42.66	o 378 
259.80/42.67	o 379 
259.80/42.68	o 380 
259.80/42.70	o 381 
260.25/42.71	o 382 
260.25/42.72	o 383 
260.25/42.74	o 384 
260.25/42.75	o 385 
260.25/42.76	o 386 
260.25/42.77	o 387 
260.25/42.79	o 388 
260.87/42.80	o 389 
260.87/42.81	o 390 
260.87/42.83	o 391 
260.87/42.84	o 392 
260.87/42.86	o 393 
260.87/42.87	o 394 
260.87/42.88	o 395 
260.87/42.90	o 396 
261.46/42.91	o 397 
261.46/42.93	o 398 
261.46/42.94	o 399 
261.46/42.96	o 400 
261.46/42.97	o 401 
261.46/42.98	o 402 
261.46/43.00	o 403 
262.06/43.01	o 404 
262.06/43.03	o 405 
262.06/43.04	o 406 
262.06/43.06	o 407 
262.06/43.07	o 408 
262.06/43.08	o 409 
262.56/43.10	o 410 
262.56/43.12	o 411 
262.56/43.14	o 412 
262.56/43.15	o 413 
262.56/43.16	o 414 
262.56/43.18	o 415 
262.56/43.19	o 416 
263.09/43.21	o 417 
263.09/43.22	o 418 
263.09/43.23	o 419 
263.09/43.25	o 420 
263.09/43.26	o 421 
263.09/43.28	o 422 
263.09/43.29	o 423 
263.70/43.31	o 424 
263.70/43.33	o 425 
263.70/43.34	o 426 
263.70/43.36	o 427 
263.70/43.37	o 428 
263.70/43.39	o 429 
264.83/43.99	o 430 
264.83/44.01	o 431 
265.02/44.02	o 432 
265.02/44.04	o 433 
265.02/44.05	o 434 
265.02/44.07	o 435 
265.02/44.08	o 436 
265.02/44.09	o 437 
265.02/44.10	o 438 
265.59/44.12	o 439 
265.59/44.13	o 440 
265.59/44.15	o 441 
265.59/44.17	o 442 
265.59/44.18	o 443 
265.59/44.19	o 444 
266.05/44.21	o 445 
266.05/44.22	o 446 
266.05/44.24	o 447 
266.05/44.26	o 448 
266.05/44.27	o 449 
266.05/44.28	o 450 
266.65/44.30	o 451 
266.65/44.31	o 452 
266.65/44.32	o 453 
266.65/44.35	o 454 
267.00/44.42	o 455 
267.68/45.05	o 456 
267.68/45.07	o 457 
267.68/45.08	o 458 
267.68/45.09	o 459 
268.03/45.13	o 460 
268.03/45.16	o 461 
268.03/45.17	o 462 
268.03/45.19	o 463 
268.03/45.20	o 464 
268.48/45.21	o 465 
268.48/45.23	o 466 
268.48/45.24	o 467 
268.48/45.26	o 468 
268.48/45.27	o 469 
268.48/45.29	o 470 
269.04/45.30	o 471 
269.04/45.32	o 472 
269.04/45.33	o 473 
269.04/45.34	o 474 
269.04/45.36	o 475 
269.04/45.37	o 476 
269.04/45.39	o 477 
269.63/45.40	o 478 
269.63/45.42	o 479 
269.63/45.44	o 480 
269.63/45.45	o 481 
269.63/45.47	o 482 
269.63/45.48	o 483 
270.25/45.50	o 484 
270.25/45.51	o 485 
270.25/45.53	o 486 
270.25/45.54	o 487 
270.25/45.56	o 488 
270.25/45.58	o 489 
270.25/45.60	o 490 
270.78/45.61	o 491 
270.78/45.63	o 492 
270.78/45.64	o 493 
270.78/45.66	o 494 
270.78/45.67	o 495 
270.78/45.70	o 496 
271.37/45.77	o 497 
272.11/46.39	o 498 
272.20/46.41	o 499 
272.65/46.76	o 500 
272.65/46.78	o 501 
272.65/46.79	o 502 
272.94/46.81	o 503 
272.94/46.84	o 504 
272.94/46.85	o 505 
272.94/46.87	o 506 
272.94/46.88	o 507 
273.52/46.90	o 508 
273.52/46.91	o 509 
273.52/46.93	o 510 
273.52/46.94	o 511 
273.52/46.96	o 512 
273.52/46.97	o 513 
273.52/46.99	o 514 
274.11/47.00	o 515 
274.11/47.02	o 516 
274.11/47.04	o 517 
274.11/47.05	o 518 
274.11/47.07	o 519 
274.11/47.09	o 520 
274.73/47.10	o 521 
274.73/47.12	o 522 
274.73/47.13	o 523 
274.73/47.15	o 524 
274.73/47.17	o 525 
274.73/47.18	o 526 
275.32/47.20	o 527 
275.32/47.21	o 528 
275.32/47.23	o 529 
275.32/47.25	o 530 
275.32/47.26	o 531 
275.32/47.28	o 532 
275.32/47.29	o 533 
275.32/47.30	o 534 
276.02/47.32	o 535 
276.02/47.33	o 536 
276.02/47.34	o 537 
276.02/47.38	o 538 
276.02/47.39	o 539 
276.02/47.40	o 540 
276.56/47.42	o 541 
276.56/47.43	o 542 
276.56/47.45	o 543 
276.56/47.47	o 544 
276.56/47.49	o 545 
277.25/47.61	o 546 
277.93/48.23	o 547 
277.93/48.25	o 548 
277.93/48.27	o 549 
277.93/48.28	o 550 
277.93/48.29	o 551 
278.37/48.31	o 552 
278.37/48.33	o 553 
278.37/48.34	o 554 
278.37/48.36	o 555 
278.37/48.37	o 556 
278.37/48.39	o 557 
278.37/48.41	o 558 
279.04/48.42	o 559 
279.04/48.44	o 560 
279.04/48.45	o 561 
279.04/48.47	o 562 
279.04/48.48	o 563 
279.04/48.50	o 564 
279.68/48.51	o 565 
279.68/48.53	o 566 
279.68/48.54	o 567 
279.68/48.56	o 568 
279.68/48.58	o 569 
279.68/48.59	o 570 
280.22/48.61	o 571 
280.22/48.62	o 572 
280.22/48.63	o 573 
280.22/48.65	o 574 
280.22/48.66	o 575 
280.22/48.68	o 576 
280.22/48.69	o 577 
280.85/48.71	o 578 
280.85/48.72	o 579 
280.85/48.74	o 580 
280.85/48.75	o 581 
280.85/48.77	o 582 
280.85/48.78	o 583 
281.53/48.80	o 584 
281.53/48.83	o 585 
281.85/48.93	o 586 
282.56/49.54	o 587 
282.56/49.56	o 588 
282.56/49.58	o 589 
282.56/49.59	o 590 
283.00/49.61	o 591 
283.00/49.62	o 592 
283.00/49.64	o 593 
283.00/49.65	o 594 
283.00/49.67	o 595 
283.00/49.69	o 596 
283.54/49.71	o 597 
283.54/49.72	o 598 
283.54/49.74	o 599 
283.54/49.75	o 600 
283.54/49.77	o 601 
283.54/49.79	o 602 
284.17/49.81	o 603 
284.17/49.82	o 604 
284.17/49.84	o 605 
284.17/49.85	o 606 
284.17/49.87	o 607 
284.17/49.89	o 608 
284.83/49.91	o 609 
284.83/49.93	o 610 
284.83/49.94	o 611 
284.83/49.96	o 612 
284.83/49.97	o 613 
286.54/51.17	o 614 
286.73/51.25	o 615 
287.44/51.87	o 616 
287.44/51.89	o 617 
287.69/51.99	o 618 
288.56/52.60	o 619 
288.56/52.62	o 620 
288.86/52.72	o 621 
288.86/52.74	o 622 
289.61/53.39	o 623 
289.77/53.41	o 624 
290.00/53.50	o 625 
308.28/56.24	o 626 
308.97/56.86	o 627 
308.97/56.88	o 628 
326.04/59.20	o 629 
326.18/59.22	o 630 
333.25/60.22	o 631 
486.09/79.81	o 632 
486.09/79.84	o 633 
643.34/100.61	o 634 
1738.85/238.46	o 635 
2400.43/321.63	s SATISFIABLE
2400.43/321.63	v <instantiation>
2400.43/321.63	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>
2400.43/321.63	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 1 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 1 0 0 0 0 1 0 1 0 0 0 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 1 0 1 1 0 0 0 1 1 0 1 1 0 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 0 1 0 0 0 0 1 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 0 0 1 2 1 0 1 0 1 0 1 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 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 313 330 346 635 </values>
2400.43/321.63	v </instantiation>
2400.43/321.63	c Unexpected resolution interruption!

Verifier Data 

OK	635

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-4244761-1500684618/watcher-4244761-1500684618 -o /tmp/evaluation-result-4244761-1500684618/solver-4244761-1500684618 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1623384808 HOME/instance-4244761-1500684618.xml 

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

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


[startup+0 s]
/proc/loadavg: 13.53 13.58 11.04 10/272 10296
/proc/meminfo: memFree=30691180/32770624 swapFree=5884/236972
[pid=10296] ppid=10293 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10296/stat : 10296 (xcsp3-exec) S 10293 10296 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3729543 9740288 346 33554432000 4194304 5098028 140733864655504 140733864653608 140627585077884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35803136 140733864662158 140733864662368 140733864662368 140733864665067 0
/proc/10296/statm: 2378 346 289 221 0 87 0

[startup+0.100109 s]
/proc/loadavg: 13.53 13.58 11.04 10/272 10296
/proc/meminfo: memFree=30691180/32770624 swapFree=5884/236972
[pid=10296] ppid=10293 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10296/stat : 10296 (xcsp3-exec) S 10293 10296 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3729543 9740288 346 33554432000 4194304 5098028 140733864655504 140733864653608 140627585077884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35803136 140733864662158 140733864662368 140733864662368 140733864665067 0
/proc/10296/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200325 s]
/proc/loadavg: 13.53 13.58 11.04 10/272 10296
/proc/meminfo: memFree=30691180/32770624 swapFree=5884/236972
[pid=10296] ppid=10293 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10296/stat : 10296 (xcsp3-exec) S 10293 10296 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3729543 9740288 346 33554432000 4194304 5098028 140733864655504 140733864653608 140627585077884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35803136 140733864662158 140733864662368 140733864662368 140733864665067 0
/proc/10296/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300282 s]
/proc/loadavg: 13.53 13.58 11.04 10/272 10296
/proc/meminfo: memFree=30691180/32770624 swapFree=5884/236972
[pid=10296] ppid=10293 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10296/stat : 10296 (xcsp3-exec) S 10293 10296 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3729543 9740288 346 33554432000 4194304 5098028 140733864655504 140733864653608 140627585077884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35803136 140733864662158 140733864662368 140733864662368 140733864665067 0
/proc/10296/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700208 s]
/proc/loadavg: 13.53 13.58 11.04 10/272 10296
/proc/meminfo: memFree=30691180/32770624 swapFree=5884/236972
[pid=10296] ppid=10293 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10296/stat : 10296 (xcsp3-exec) S 10293 10296 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3729543 9740288 346 33554432000 4194304 5098028 140733864655504 140733864653608 140627585077884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35803136 140733864662158 140733864662368 140733864662368 140733864665067 0
/proc/10296/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50117 s]
/proc/loadavg: 13.53 13.58 11.04 10/293 10317
/proc/meminfo: memFree=30588516/32770624 swapFree=5884/237012
[pid=10296] ppid=10293 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10296/stat : 10296 (xcsp3-exec) S 10293 10296 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3729543 9740288 346 33554432000 4194304 5098028 140733864655504 140733864653608 140627585077884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35803136 140733864662158 140733864662368 140733864662368 140733864665067 0
/proc/10296/statm: 2378 346 289 221 0 87 0
[pid=10297] ppid=10296 vsize=13269256 CPUtime=3.92 cores=1,3,5,7,9,11,13,15
/proc/10297/stat : 10297 (java) S 10296 10296 8571 0 -1 1077944320 19912 0 0 0 382 10 0 0 20 0 20 0 3729544 13587718144 39155 33554432000 4194304 4196468 140722491941600 140722491924144 140163179667191 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
/proc/10297/statm: 3317314 39155 3222 1 0 3304547 0
[pid=10297/tid=10298] ppid=10296 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10298/stat : 10298 (java) R 10296 10296 8571 0 -1 4202560 8678 0 0 0 141 6 0 0 20 0 20 0 3729544 13587718144 39155 33554432000 4194304 4196468 140722491941600 140163183902696 140162787428692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10300] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10300/stat : 10300 (java) S 10296 10296 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3729545 13587718144 39155 33554432000 4194304 4196468 140722491941600 140163111803920 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10301] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10301/stat : 10301 (java) S 10296 10296 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3729545 13587718144 39155 33554432000 4194304 4196468 140722491941600 140163110751376 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10302] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10302/stat : 10302 (java) S 10296 10296 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3729545 13587718144 39155 33554432000 4194304 4196468 140722491941600 140163109698320 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10303] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10303/stat : 10303 (java) S 10296 10296 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3729545 13587718144 39155 33554432000 4194304 4196468 140722491941600 140163108645776 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10304] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10304/stat : 10304 (java) S 10296 10296 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3729545 13587718144 39155 33554432000 4194304 4196468 140722491941600 140163107592720 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10305] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10305/stat : 10305 (java) S 10296 10296 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3729545 13587718144 39155 33554432000 4194304 4196468 140722491941600 140163106540176 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10306] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10306/stat : 10306 (java) S 10296 10296 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3729545 13587718144 39155 33554432000 4194304 4196468 140722491941600 140163105487120 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10307] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10307/stat : 10307 (java) S 10296 10296 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3729545 13587718144 39155 33554432000 4194304 4196468 140722491941600 140162771159440 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10308] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10308/stat : 10308 (java) S 10296 10296 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3729547 13587718144 39155 33554432000 4194304 4196468 140722491941600 140162641943280 140163179678338 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10309] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10309/stat : 10309 (java) S 10296 10296 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3729548 13587718144 39155 33554432000 4194304 4196468 140722491941600 140162640889504 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10310] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10310/stat : 10310 (java) S 10296 10296 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3729549 13587718144 39155 33554432000 4194304 4196468 140722491941600 140162639836400 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10311] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10311/stat : 10311 (java) S 10296 10296 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3729552 13587718144 39155 33554432000 4194304 4196468 140722491941600 140162638784976 140163179685787 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10312] ppid=10296 vsize=13269256 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10312/stat : 10312 (java) R 10296 10296 8571 0 -1 4202560 2354 0 0 0 59 1 0 0 20 0 20 0 3729552 13587718144 39155 33554432000 4194304 4196468 140722491941600 140162637718304 140163163224504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10313] ppid=10296 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10313/stat : 10313 (java) R 10296 10296 8571 0 -1 4202560 2011 0 0 0 58 0 0 0 20 0 20 0 3729552 13587718144 39155 33554432000 4194304 4196468 140722491941600 140162636668912 140163159839945 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10314] ppid=10296 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10314/stat : 10314 (java) R 10296 10296 8571 0 -1 4202560 2747 0 0 0 61 0 0 0 20 0 20 0 3729552 13587718144 39155 33554432000 4194304 4196468 140722491941600 140162635626480 140163157771361 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10315] ppid=10296 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10315/stat : 10315 (java) S 10296 10296 8571 0 -1 1077944384 2788 0 0 0 60 1 0 0 20 0 20 0 3729553 13587718144 39155 33554432000 4194304 4196468 140722491941600 140162566711408 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10316] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10316/stat : 10316 (java) S 10296 10296 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3729553 13587718144 39155 33554432000 4194304 4196468 140722491941600 140162565659616 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10317] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10317/stat : 10317 (java) S 10296 10296 8571 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 3729553 13587718144 39155 33554432000 4194304 4196468 140722491941600 140162564607152 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 13278768

[startup+3.10114 s]
/proc/loadavg: 13.32 13.53 11.04 12/293 10317
/proc/meminfo: memFree=30471620/32770624 swapFree=5884/237016
[pid=10296] ppid=10293 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10296/stat : 10296 (xcsp3-exec) S 10293 10296 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3729543 9740288 346 33554432000 4194304 5098028 140733864655504 140733864653608 140627585077884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35803136 140733864662158 140733864662368 140733864662368 140733864665067 0
/proc/10296/statm: 2378 346 289 221 0 87 0
[pid=10297] ppid=10296 vsize=13269256 CPUtime=8.56 cores=1,3,5,7,9,11,13,15
/proc/10297/stat : 10297 (java) S 10296 10296 8571 0 -1 1077944320 26907 0 0 0 804 52 0 0 20 0 20 0 3729544 13587718144 73466 33554432000 4194304 4196468 140722491941600 140722491924144 140163179667191 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
/proc/10297/statm: 3317314 73466 3255 1 0 3304547 0
[pid=10297/tid=10298] ppid=10296 vsize=13269256 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10298/stat : 10298 (java) R 10296 10296 8571 0 -1 4202560 9388 0 0 0 290 6 0 0 20 0 20 0 3729544 13587718144 73466 33554432000 4194304 4196468 140722491941600 140163183903944 140162789503258 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10300] ppid=10296 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10300/stat : 10300 (java) S 10296 10296 8571 0 -1 1077944384 164 0 0 0 4 4 0 0 20 0 20 0 3729545 13587718144 73466 33554432000 4194304 4196468 140722491941600 140163111803920 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10301] ppid=10296 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10301/stat : 10301 (java) S 10296 10296 8571 0 -1 1077944384 118 0 0 0 4 5 0 0 20 0 20 0 3729545 13587718144 73466 33554432000 4194304 4196468 140722491941600 140163110751376 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10302] ppid=10296 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10302/stat : 10302 (java) S 10296 10296 8571 0 -1 1077944384 138 0 0 0 4 4 0 0 20 0 20 0 3729545 13587718144 73466 33554432000 4194304 4196468 140722491941600 140163109698320 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10303] ppid=10296 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10303/stat : 10303 (java) S 10296 10296 8571 0 -1 1077944384 127 0 0 0 3 4 0 0 20 0 20 0 3729545 13587718144 73466 33554432000 4194304 4196468 140722491941600 140163108645776 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10304] ppid=10296 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10304/stat : 10304 (java) S 10296 10296 8571 0 -1 1077944384 104 0 0 0 4 4 0 0 20 0 20 0 3729545 13587718144 73466 33554432000 4194304 4196468 140722491941600 140163107592720 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10305] ppid=10296 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10305/stat : 10305 (java) S 10296 10296 8571 0 -1 1077944384 161 0 0 0 5 5 0 0 20 0 20 0 3729545 13587718144 73466 33554432000 4194304 4196468 140722491941600 140163106540176 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10306] ppid=10296 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10306/stat : 10306 (java) S 10296 10296 8571 0 -1 1077944384 93 0 0 0 4 5 0 0 20 0 20 0 3729545 13587718144 73466 33554432000 4194304 4196468 140722491941600 140163105487120 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10307] ppid=10296 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10307/stat : 10307 (java) S 10296 10296 8571 0 -1 1077944384 69 0 0 0 4 5 0 0 20 0 20 0 3729545 13587718144 73466 33554432000 4194304 4196468 140722491941600 140162771159440 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10308] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10308/stat : 10308 (java) S 10296 10296 8571 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 20 0 3729547 13587718144 73466 33554432000 4194304 4196468 140722491941600 140162641943280 140163179678338 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10309] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10309/stat : 10309 (java) S 10296 10296 8571 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 3729548 13587718144 73466 33554432000 4194304 4196468 140722491941600 140162640889568 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10310] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10310/stat : 10310 (java) S 10296 10296 8571 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3729549 13587718144 73466 33554432000 4194304 4196468 140722491941600 140162639836416 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10311] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10311/stat : 10311 (java) S 10296 10296 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3729552 13587718144 73466 33554432000 4194304 4196468 140722491941600 140162638784976 140163179685787 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10312] ppid=10296 vsize=13269256 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10312/stat : 10312 (java) S 10296 10296 8571 0 -1 1077944384 4036 0 0 0 138 1 0 0 20 0 20 0 3729552 13587718144 73466 33554432000 4194304 4196468 140722491941600 140162637732080 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10313] ppid=10296 vsize=13269256 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10313/stat : 10313 (java) S 10296 10296 8571 0 -1 1077944384 3347 0 0 0 134 1 0 0 20 0 20 0 3729552 13587718144 73466 33554432000 4194304 4196468 140722491941600 140162636679536 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10314] ppid=10296 vsize=13269256 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10314/stat : 10314 (java) S 10296 10296 8571 0 -1 1077944384 4228 0 0 0 129 0 0 0 20 0 20 0 3729552 13587718144 73466 33554432000 4194304 4196468 140722491941600 140162635626480 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10315] ppid=10296 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10315/stat : 10315 (java) S 10296 10296 8571 0 -1 1077944384 3416 0 0 0 74 1 0 0 20 0 20 0 3729553 13587718144 73466 33554432000 4194304 4196468 140722491941600 140162566711408 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10316] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10316/stat : 10316 (java) S 10296 10296 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3729553 13587718144 73466 33554432000 4194304 4196468 140722491941600 140162565659616 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10317] ppid=10296 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10317/stat : 10317 (java) S 10296 10296 8571 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 3729553 13587718144 73466 33554432000 4194304 4196468 140722491941600 140162564607152 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (KiB) 13278768

[startup+6.30157 s]
/proc/loadavg: 13.32 13.53 11.04 20/301 10325
/proc/meminfo: memFree=30293992/32770624 swapFree=5884/237028
[pid=10296] ppid=10293 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10296/stat : 10296 (xcsp3-exec) S 10293 10296 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3729543 9740288 346 33554432000 4194304 5098028 140733864655504 140733864653608 140627585077884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35803136 140733864662158 140733864662368 140733864662368 140733864665067 0
/proc/10296/statm: 2378 346 289 221 0 87 0
[pid=10297] ppid=10296 vsize=13803816 CPUtime=25.54 cores=1,3,5,7,9,11,13,15
/proc/10297/stat : 10297 (java) S 10296 10296 8571 0 -1 1077944320 32615 0 0 0 2455 99 0 0 20 0 28 0 3729544 14135107584 127603 33554432000 4194304 4196468 140722491941600 140722491924144 140163179667191 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
/proc/10297/statm: 3450954 127603 3268 1 0 3438187 0
[pid=10297/tid=10298] ppid=10296 vsize=13803816 CPUtime=4.28 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10298/stat : 10298 (java) S 10296 10296 8571 0 -1 1077944384 9690 0 0 0 421 7 0 0 20 0 28 0 3729544 14135107584 127603 33554432000 4194304 4196468 140722491941600 140163183907968 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10300] ppid=10296 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10300/stat : 10300 (java) S 10296 10296 8571 0 -1 1077944384 281 0 0 0 9 10 0 0 20 0 28 0 3729545 14135107584 127603 33554432000 4194304 4196468 140722491941600 140163111803920 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10301] ppid=10296 vsize=13803816 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10301/stat : 10301 (java) S 10296 10296 8571 0 -1 1077944384 208 0 0 0 10 10 0 0 20 0 28 0 3729545 14135107584 127603 33554432000 4194304 4196468 140722491941600 140163110751376 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10302] ppid=10296 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10302/stat : 10302 (java) S 10296 10296 8571 0 -1 1077944384 202 0 0 0 9 10 0 0 20 0 28 0 3729545 14135107584 127603 33554432000 4194304 4196468 140722491941600 140163109698320 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10303] ppid=10296 vsize=13803816 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10303/stat : 10303 (java) S 10296 10296 8571 0 -1 1077944384 246 0 0 0 8 9 0 0 20 0 28 0 3729545 14135107584 127603 33554432000 4194304 4196468 140722491941600 140163108645776 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10304] ppid=10296 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10304/stat : 10304 (java) S 10296 10296 8571 0 -1 1077944384 223 0 0 0 9 10 0 0 20 0 28 0 3729545 14135107584 127603 33554432000 4194304 4196468 140722491941600 140163107592720 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10305] ppid=10296 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10305/stat : 10305 (java) S 10296 10296 8571 0 -1 1077944384 210 0 0 0 9 10 0 0 20 0 28 0 3729545 14135107584 127603 33554432000 4194304 4196468 140722491941600 140163106540176 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10306] ppid=10296 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10306/stat : 10306 (java) S 10296 10296 8571 0 -1 1077944384 167 0 0 0 9 10 0 0 20 0 28 0 3729545 14135107584 127603 33554432000 4194304 4196468 140722491941600 140163105487120 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10307] ppid=10296 vsize=13803816 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10307/stat : 10307 (java) S 10296 10296 8571 0 -1 1077944384 122 0 0 0 7 9 0 0 20 0 28 0 3729545 14135107584 127603 33554432000 4194304 4196468 140722491941600 140162771159440 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10308] ppid=10296 vsize=13803816 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10308/stat : 10308 (java) S 10296 10296 8571 0 -1 1077944384 296 0 0 0 1 1 0 0 20 0 28 0 3729547 14135107584 127603 33554432000 4194304 4196468 140722491941600 140162641943280 140163179678338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10309] ppid=10296 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10309/stat : 10309 (java) S 10296 10296 8571 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3729548 14135107584 127603 33554432000 4194304 4196468 140722491941600 140162640889568 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10310] ppid=10296 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10310/stat : 10310 (java) S 10296 10296 8571 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3729549 14135107584 127603 33554432000 4194304 4196468 140722491941600 140162639836416 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10311] ppid=10296 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10311/stat : 10311 (java) S 10296 10296 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3729552 14135107584 127603 33554432000 4194304 4196468 140722491941600 140162638784976 140163179685787 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0

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

[pid=10297/tid=18060] ppid=10296 vsize=13870380 CPUtime=121.36 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18060/stat : 18060 (java) R 10296 10296 8571 0 -1 4202560 633 0 0 0 12136 0 0 0 20 0 28 0 3739605 14203269120 752866 33554432000 4194304 4196468 140722491941600 140162552881864 140162787721625 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18061] ppid=10296 vsize=13870380 CPUtime=121.05 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18061/stat : 18061 (java) R 10296 10296 8571 0 -1 4202560 1123 0 0 0 12105 0 0 0 20 0 28 0 3739605 14203269120 752866 33554432000 4194304 4196468 140722491941600 140162551829400 140162789418324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
Current children cumulated CPU time (s) 1611.79
Current children cumulated vsize (KiB) 13879892

[startup+282.301 s]
/proc/loadavg: 16.03 14.82 12.19 17/301 18072
/proc/meminfo: memFree=25649844/32770624 swapFree=5884/237404
[pid=10296] ppid=10293 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10296/stat : 10296 (xcsp3-exec) S 10293 10296 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3729543 9740288 346 33554432000 4194304 5098028 140733864655504 140733864653608 140627585077884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35803136 140733864662158 140733864662368 140733864662368 140733864665067 0
/proc/10296/statm: 2378 346 289 221 0 87 0
[pid=10297] ppid=10296 vsize=13870380 CPUtime=2087.86 cores=1,3,5,7,9,11,13,15
/proc/10297/stat : 10297 (java) S 10296 10296 8571 0 -1 1077944320 223421 0 0 0 208439 347 0 0 20 0 28 0 3729544 14203269120 738197 33554432000 4194304 4196468 140722491941600 140722491924144 140163179667191 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
/proc/10297/statm: 3467595 738197 3287 1 0 3454828 0
[pid=10297/tid=10298] ppid=10296 vsize=13870380 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10298/stat : 10298 (java) S 10296 10296 8571 0 -1 1077944384 12262 0 0 0 481 11 0 0 20 0 28 0 3729544 14203269120 738197 33554432000 4194304 4196468 140722491941600 140163183907904 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10300] ppid=10296 vsize=13870380 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10300/stat : 10300 (java) S 10296 10296 8571 0 -1 1077944384 802 0 0 0 33 19 0 0 20 0 28 0 3729545 14203269120 738197 33554432000 4194304 4196468 140722491941600 140163111803920 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10301] ppid=10296 vsize=13870380 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10301/stat : 10301 (java) S 10296 10296 8571 0 -1 1077944384 1475 0 0 0 34 19 0 0 20 0 28 0 3729545 14203269120 738197 33554432000 4194304 4196468 140722491941600 140163110751376 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10302] ppid=10296 vsize=13870380 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10302/stat : 10302 (java) S 10296 10296 8571 0 -1 1077944384 1880 0 0 0 34 19 0 0 20 0 28 0 3729545 14203269120 738197 33554432000 4194304 4196468 140722491941600 140163109698320 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10303] ppid=10296 vsize=13870380 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10303/stat : 10303 (java) S 10296 10296 8571 0 -1 1077944384 1892 0 0 0 32 19 0 0 20 0 28 0 3729545 14203269120 738197 33554432000 4194304 4196468 140722491941600 140163108645776 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10304] ppid=10296 vsize=13870380 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10304/stat : 10304 (java) S 10296 10296 8571 0 -1 1077944384 1132 0 0 0 32 18 0 0 20 0 28 0 3729545 14203269120 738197 33554432000 4194304 4196468 140722491941600 140163107592720 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10305] ppid=10296 vsize=13870380 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10305/stat : 10305 (java) S 10296 10296 8571 0 -1 1077944384 1667 0 0 0 33 19 0 0 20 0 28 0 3729545 14203269120 738197 33554432000 4194304 4196468 140722491941600 140163106540176 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10306] ppid=10296 vsize=13870380 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10306/stat : 10306 (java) S 10296 10296 8571 0 -1 1077944384 1845 0 0 0 34 20 0 0 20 0 28 0 3729545 14203269120 738197 33554432000 4194304 4196468 140722491941600 140163105487120 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10307] ppid=10296 vsize=13870380 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10307/stat : 10307 (java) S 10296 10296 8571 0 -1 1077944384 2612 0 0 0 32 18 0 0 20 0 28 0 3729545 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162771159440 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10308] ppid=10296 vsize=13870380 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10308/stat : 10308 (java) S 10296 10296 8571 0 -1 1077944384 6992 0 0 0 10 15 0 0 20 0 28 0 3729547 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162641943280 140163179678338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10309] ppid=10296 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10309/stat : 10309 (java) S 10296 10296 8571 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3729548 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162640889568 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10310] ppid=10296 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10310/stat : 10310 (java) S 10296 10296 8571 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3729549 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162639836416 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10311] ppid=10296 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10311/stat : 10311 (java) S 10296 10296 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3729552 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162638784976 140163179685787 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10312] ppid=10296 vsize=13870380 CPUtime=5.87 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10312/stat : 10312 (java) S 10296 10296 8571 0 -1 1077944384 23579 0 0 0 583 4 0 0 20 0 28 0 3729552 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162637732080 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10313] ppid=10296 vsize=13870380 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10313/stat : 10313 (java) S 10296 10296 8571 0 -1 1077944384 24161 0 0 0 602 4 0 0 20 0 28 0 3729552 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162636679536 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10314] ppid=10296 vsize=13870380 CPUtime=6.02 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10314/stat : 10314 (java) S 10296 10296 8571 0 -1 1077944384 26405 0 0 0 598 4 0 0 20 0 28 0 3729552 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162635626480 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10315] ppid=10296 vsize=13870380 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10315/stat : 10315 (java) S 10296 10296 8571 0 -1 1077944384 17258 0 0 0 160 2 0 0 20 0 28 0 3729553 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162566711408 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10316] ppid=10296 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10316/stat : 10316 (java) S 10296 10296 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3729553 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162565659616 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10317] ppid=10296 vsize=13870380 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10317/stat : 10317 (java) S 10296 10296 8571 0 -1 1077944384 2142 0 0 0 7 9 0 0 20 0 28 0 3729553 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162564607152 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18064] ppid=10296 vsize=13870380 CPUtime=43.74 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18064/stat : 18064 (java) R 10296 10296 8571 0 -1 4202560 1494 0 0 0 4374 0 0 0 20 0 28 0 3753390 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162549723096 140162794515025 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18065] ppid=10296 vsize=13870380 CPUtime=43.73 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18065/stat : 18065 (java) R 10296 10296 8571 0 -1 4202560 1014 0 0 0 4373 0 0 0 20 0 28 0 3753390 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162554986952 140162794515101 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18066] ppid=10296 vsize=13870380 CPUtime=43.73 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18066/stat : 18066 (java) R 10296 10296 8571 0 -1 4202560 679 0 0 0 4373 0 0 0 20 0 28 0 3753390 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162550775792 140162787800399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18067] ppid=10296 vsize=13870380 CPUtime=43.72 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18067/stat : 18067 (java) R 10296 10296 8571 0 -1 4202560 600 0 0 0 4372 0 0 0 20 0 28 0 3753390 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162551828824 140162787721658 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18068] ppid=10296 vsize=13870380 CPUtime=42.59 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18068/stat : 18068 (java) R 10296 10296 8571 0 -1 4202560 3147 0 0 0 4256 3 0 0 20 0 28 0 3753390 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162556042048 140162791300240 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18069] ppid=10296 vsize=13870380 CPUtime=43.74 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18069/stat : 18069 (java) R 10296 10296 8571 0 -1 4202560 574 0 0 0 4374 0 0 0 20 0 28 0 3753390 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162557092040 140162794515101 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18070] ppid=10296 vsize=13870380 CPUtime=43.71 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18070/stat : 18070 (java) R 10296 10296 8571 0 -1 4202560 2074 0 0 0 4371 0 0 0 20 0 28 0 3753390 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162552881608 140162794514602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18071] ppid=10296 vsize=13870380 CPUtime=43.66 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18071/stat : 18071 (java) R 10296 10296 8571 0 -1 4202560 547 0 0 0 4366 0 0 0 20 0 28 0 3753390 14203269120 738197 33554432000 4194304 4196468 140722491941600 140162553935048 140162787721630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
Current children cumulated CPU time (s) 2087.86
Current children cumulated vsize (KiB) 13879892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+321.602 s]
/proc/loadavg: 16.02 14.97 12.35 17/299 18073
/proc/meminfo: memFree=25758184/32770624 swapFree=5884/237420
[pid=10296] ppid=10293 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10296/stat : 10296 (xcsp3-exec) S 10293 10296 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3729543 9740288 346 33554432000 4194304 5098028 140733864655504 140733864653608 140627585077884 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 35803136 140733864662158 140733864662368 140733864662368 140733864665067 0
/proc/10296/statm: 2378 346 289 221 0 87 0
[pid=10297] ppid=10296 vsize=13870380 CPUtime=2400.43 cores=1,3,5,7,9,11,13,15
/proc/10297/stat : 10297 (java) S 10296 10296 8571 0 -1 1077944320 227738 0 0 0 239686 357 0 0 20 0 28 0 3729544 14203269120 731280 33554432000 4194304 4196468 140722491941600 140722491924144 140163179667191 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
/proc/10297/statm: 3467595 731280 3287 1 0 3454828 0
[pid=10297/tid=10298] ppid=10296 vsize=13870380 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10298/stat : 10298 (java) S 10296 10296 8571 0 -1 1077944384 12262 0 0 0 481 11 0 0 20 0 28 0 3729544 14203269120 731280 33554432000 4194304 4196468 140722491941600 140163183907904 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10300] ppid=10296 vsize=13870380 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10300/stat : 10300 (java) S 10296 10296 8571 0 -1 1077944384 1196 0 0 0 35 19 0 0 20 0 28 0 3729545 14203269120 731280 33554432000 4194304 4196468 140722491941600 140163111803920 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10301] ppid=10296 vsize=13870380 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10301/stat : 10301 (java) S 10296 10296 8571 0 -1 1077944384 1499 0 0 0 36 20 0 0 20 0 28 0 3729545 14203269120 731280 33554432000 4194304 4196468 140722491941600 140163110751376 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10302] ppid=10296 vsize=13870380 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10302/stat : 10302 (java) S 10296 10296 8571 0 -1 1077944384 1897 0 0 0 36 20 0 0 20 0 28 0 3729545 14203269120 731280 33554432000 4194304 4196468 140722491941600 140163109698320 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10303] ppid=10296 vsize=13870380 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10303/stat : 10303 (java) S 10296 10296 8571 0 -1 1077944384 1909 0 0 0 34 19 0 0 20 0 28 0 3729545 14203269120 731280 33554432000 4194304 4196468 140722491941600 140163108645776 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10304] ppid=10296 vsize=13870380 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10304/stat : 10304 (java) S 10296 10296 8571 0 -1 1077944384 1203 0 0 0 34 19 0 0 20 0 28 0 3729545 14203269120 731280 33554432000 4194304 4196468 140722491941600 140163107592720 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10305] ppid=10296 vsize=13870380 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10305/stat : 10305 (java) S 10296 10296 8571 0 -1 1077944384 1772 0 0 0 36 19 0 0 20 0 28 0 3729545 14203269120 731280 33554432000 4194304 4196468 140722491941600 140163106540176 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10306] ppid=10296 vsize=13870380 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10306/stat : 10306 (java) S 10296 10296 8571 0 -1 1077944384 1950 0 0 0 35 21 0 0 20 0 28 0 3729545 14203269120 731280 33554432000 4194304 4196468 140722491941600 140163105487120 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10307] ppid=10296 vsize=13870380 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10307/stat : 10307 (java) S 10296 10296 8571 0 -1 1077944384 2635 0 0 0 34 18 0 0 20 0 28 0 3729545 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162771159440 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10308] ppid=10296 vsize=13870380 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10308/stat : 10308 (java) S 10296 10296 8571 0 -1 1077944384 7338 0 0 0 13 20 0 0 20 0 28 0 3729547 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162641943280 140163179678338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10309] ppid=10296 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10309/stat : 10309 (java) S 10296 10296 8571 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3729548 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162640889568 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10310] ppid=10296 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10310/stat : 10310 (java) S 10296 10296 8571 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3729549 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162639836416 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10311] ppid=10296 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10311/stat : 10311 (java) S 10296 10296 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3729552 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162638784976 140163179685787 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10312] ppid=10296 vsize=13870380 CPUtime=5.87 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10312/stat : 10312 (java) S 10296 10296 8571 0 -1 1077944384 23582 0 0 0 583 4 0 0 20 0 28 0 3729552 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162637732080 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10313] ppid=10296 vsize=13870380 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10313/stat : 10313 (java) S 10296 10296 8571 0 -1 1077944384 24169 0 0 0 602 4 0 0 20 0 28 0 3729552 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162636679536 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10314] ppid=10296 vsize=13870380 CPUtime=6.02 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10314/stat : 10314 (java) S 10296 10296 8571 0 -1 1077944384 26408 0 0 0 598 4 0 0 20 0 28 0 3729552 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162635626480 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10315] ppid=10296 vsize=13870380 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10315/stat : 10315 (java) S 10296 10296 8571 0 -1 1077944384 17795 0 0 0 160 2 0 0 20 0 28 0 3729553 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162566711408 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10316] ppid=10296 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10316/stat : 10316 (java) S 10296 10296 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3729553 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162565659616 140163179677397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=10317] ppid=10296 vsize=13870380 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/10297/task/10317/stat : 10317 (java) S 10296 10296 8571 0 -1 1077944384 2165 0 0 0 8 10 0 0 20 0 28 0 3729553 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162564607152 140163179678338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18064] ppid=10296 vsize=13870380 CPUtime=82.32 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18064/stat : 18064 (java) R 10296 10296 8571 0 -1 4202560 1962 0 0 0 8232 0 0 0 20 0 28 0 3753390 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162549725344 140162794770684 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18065] ppid=10296 vsize=13870380 CPUtime=82.91 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18065/stat : 18065 (java) R 10296 10296 8571 0 -1 4202560 1255 0 0 0 8291 0 0 0 20 0 28 0 3753390 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162554986824 140162787721658 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18066] ppid=10296 vsize=13870380 CPUtime=82.92 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18066/stat : 18066 (java) R 10296 10296 8571 0 -1 4202560 810 0 0 0 8292 0 0 0 20 0 28 0 3753390 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162550775792 140162787800318 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18067] ppid=10296 vsize=13870380 CPUtime=82.76 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18067/stat : 18067 (java) R 10296 10296 8571 0 -1 4202560 701 0 0 0 8276 0 0 0 20 0 28 0 3753390 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162551828808 140162787721317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18068] ppid=10296 vsize=13870380 CPUtime=81.4 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18068/stat : 18068 (java) R 10296 10296 8571 0 -1 4202560 4142 0 0 0 8136 4 0 0 20 0 28 0 3753390 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162556038856 140162794905401 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18069] ppid=10296 vsize=13870380 CPUtime=82.91 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18069/stat : 18069 (java) R 10296 10296 8571 0 -1 4202560 687 0 0 0 8291 0 0 0 20 0 28 0 3753390 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162557091752 140162794515110 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18070] ppid=10296 vsize=13870380 CPUtime=82.87 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18070/stat : 18070 (java) R 10296 10296 8571 0 -1 4202560 2574 0 0 0 8286 1 0 0 20 0 28 0 3753390 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162552884360 140162794578236 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
[pid=10297/tid=18071] ppid=10296 vsize=13870380 CPUtime=82.82 cores=1,3,5,7,9,11,13,15
/proc/10297/task/18071/stat : 18071 (java) R 10296 10296 8571 0 -1 4202560 639 0 0 0 8282 0 0 0 20 0 28 0 3753390 14203269120 731280 33554432000 4194304 4196468 140722491941600 140162553934680 140162792422262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26685440 140722491950268 140722491950444 140722491950444 140722491953103 0
Current children cumulated CPU time (s) 2400.43
Current children cumulated vsize (KiB) 13879892

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10297 sig 9
??? kill 10296 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 10296 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1487
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2114
# CPU time returned by wait4() is 0.003601
# while last known CPU time is 2400.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 321.612
CPU time (s): 2400.43
CPU user time (s): 2396.86
CPU system time (s): 3.57
CPU usage (%): 746.374
Max. virtual memory (cumulated for all children) (KiB): 13879892

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89442 second user time and 4.42155 second system time

The end

Launcher Data 

Begin job on node126 at 2017-07-22 02:50:18
IDJOB=4244761
IDBENCH=115896
IDSOLVER=2626
FILE ID=node126/4244761-1500684618
RUNJOBID= node126-1500683384-8603
PBS_JOBID= 20623339
Free space on /tmp= 61976 MiB

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

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

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=1623384808

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30691180 kB
MemAvailable:   30732992 kB
Buffers:           47740 kB
Cached:           305132 kB
SwapCached:            0 kB
Active:          1459224 kB
Inactive:         245628 kB
Active(anon):    1354692 kB
Inactive(anon):     8656 kB
Active(file):     104532 kB
Inactive(file):   236972 kB
Unevictable:        5884 kB
Mlocked:            5884 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8020 kB
Writeback:             0 kB
AnonPages:       1365868 kB
Mapped:            42440 kB
Shmem:              8840 kB
Slab:              64908 kB
SReclaimable:      32288 kB
SUnreclaim:        32620 kB
KernelStack:        5024 kB
PageTables:         8424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2513568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1200128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61968 MiB
End job on node126 at 2017-07-22 02:55:39