Trace number 4244760

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 4.0.5 (2017-07-05)SAT (TO)635 2400.3 317.933

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-4244760-1500684352.xml"  -tl '2400s' -p 8 -x 0
0.00/0.19	c [HOME/instance-4244760-1500684352.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
10.19/4.16	c solve instance...
23.74/5.96	o 0 
23.74/5.99	o 4 
24.44/6.08	o 6 
24.44/6.09	o 8 
24.96/6.11	o 10 
24.96/6.12	o 12 
24.96/6.15	o 14 
27.23/6.43	o 16 
37.22/8.15	o 18 
44.81/9.15	o 20 
45.55/9.21	o 22 
45.55/9.28	o 24 
71.70/12.57	o 26 
102.64/16.55	o 27 
115.02/18.14	o 28 
154.60/23.62	o 29 
165.37/25.01	o 30 
197.27/29.51	o 31 
197.27/29.52	o 32 
197.27/29.53	o 33 
197.27/29.56	o 34 
197.27/29.58	o 35 
197.27/29.59	o 36 
197.86/29.64	o 37 
197.86/29.65	o 38 
197.86/29.66	o 39 
197.86/29.67	o 40 
197.86/29.68	o 41 
197.86/29.69	o 42 
198.46/29.72	o 43 
198.46/29.73	o 44 
198.46/29.74	o 45 
198.46/29.75	o 46 
198.46/29.77	o 47 
198.46/29.78	o 48 
198.46/29.79	o 49 
198.46/29.80	o 50 
198.46/29.81	o 51 
199.07/29.82	o 52 
199.07/29.82	o 53 
199.07/29.84	o 54 
199.07/29.85	o 55 
199.07/29.86	o 56 
199.07/29.87	o 57 
199.07/29.88	o 58 
199.07/29.89	o 59 
199.49/29.90	o 60 
199.49/29.91	o 61 
199.49/29.92	o 62 
199.49/29.93	o 63 
199.49/29.94	o 64 
199.49/29.95	o 65 
199.49/29.96	o 66 
199.49/29.97	o 67 
199.49/29.98	o 68 
199.49/29.99	o 69 
199.97/30.00	o 70 
199.97/30.02	o 71 
199.97/30.02	o 72 
199.97/30.04	o 73 
199.97/30.05	o 74 
199.97/30.06	o 75 
199.97/30.08	o 76 
199.97/30.08	o 77 
199.97/30.09	o 78 
200.45/30.10	o 79 
200.45/30.14	o 80 
200.45/30.15	o 81 
200.45/30.16	o 82 
200.45/30.17	o 83 
200.45/30.18	o 84 
200.45/30.19	o 85 
201.06/30.20	o 86 
201.06/30.22	o 87 
201.06/30.23	o 88 
201.06/30.24	o 89 
201.06/30.26	o 90 
201.06/30.27	o 91 
201.06/30.28	o 92 
201.06/30.29	o 93 
201.63/30.30	o 94 
201.63/30.31	o 95 
201.63/30.32	o 96 
201.63/30.34	o 97 
201.63/30.35	o 98 
201.63/30.36	o 99 
201.63/30.37	o 100 
201.63/30.39	o 101 
202.19/30.40	o 102 
202.19/30.41	o 103 
202.19/30.42	o 104 
202.19/30.43	o 105 
202.19/30.44	o 106 
202.19/30.46	o 107 
202.19/30.47	o 108 
202.19/30.48	o 109 
202.19/30.49	o 110 
202.19/30.50	o 111 
202.72/30.51	o 112 
202.72/30.52	o 113 
202.72/30.53	o 114 
202.72/30.53	o 115 
202.72/30.55	o 116 
202.72/30.55	o 117 
202.72/30.56	o 118 
202.72/30.57	o 119 
202.72/30.58	o 120 
202.72/30.59	o 121 
202.72/30.59	o 122 
203.25/30.61	o 123 
203.25/30.62	o 124 
203.25/30.63	o 125 
203.25/30.64	o 126 
203.25/30.66	o 127 
203.25/30.67	o 128 
203.25/30.70	o 129 
203.81/30.71	o 130 
203.81/30.72	o 131 
203.81/30.72	o 132 
203.81/30.74	o 133 
203.81/30.75	o 134 
203.81/30.76	o 135 
203.81/30.77	o 136 
203.81/30.78	o 137 
203.81/30.79	o 138 
203.81/30.80	o 139 
204.48/30.81	o 140 
204.48/30.83	o 141 
204.48/30.84	o 142 
204.48/30.85	o 143 
204.48/30.86	o 144 
204.48/30.87	o 145 
204.48/30.88	o 146 
204.48/30.89	o 147 
204.48/30.91	o 148 
205.04/30.92	o 149 
205.04/30.92	o 150 
205.04/30.93	o 151 
205.04/30.94	o 152 
205.04/30.95	o 153 
205.04/30.96	o 154 
205.04/30.97	o 155 
205.04/30.98	o 156 
205.04/30.99	o 157 
205.56/31.00	o 158 
205.56/31.01	o 159 
205.56/31.02	o 160 
205.56/31.03	o 161 
205.56/31.04	o 162 
205.56/31.05	o 163 
205.56/31.06	o 164 
205.56/31.07	o 165 
205.56/31.08	o 166 
205.56/31.09	o 167 
206.04/31.10	o 168 
206.04/31.11	o 169 
206.04/31.12	o 170 
206.04/31.12	o 171 
206.04/31.13	o 172 
206.04/31.14	o 173 
206.04/31.15	o 174 
206.04/31.16	o 175 
206.04/31.17	o 176 
206.04/31.18	o 177 
206.04/31.19	o 178 
206.53/31.20	o 179 
206.53/31.22	o 180 
206.53/31.23	o 181 
206.53/31.24	o 182 
206.53/31.25	o 183 
206.53/31.26	o 184 
206.53/31.28	o 185 
206.53/31.29	o 186 
206.53/31.30	o 187 
207.10/31.31	o 188 
207.10/31.32	o 189 
207.10/31.34	o 190 
207.10/31.35	o 191 
207.10/31.36	o 192 
207.10/31.37	o 193 
207.10/31.38	o 194 
207.10/31.39	o 195 
207.10/31.40	o 196 
207.62/31.40	o 197 
207.62/31.41	o 198 
207.62/31.42	o 199 
207.62/31.43	o 200 
207.62/31.45	o 201 
207.62/31.46	o 202 
207.62/31.47	o 203 
207.62/31.47	o 204 
207.62/31.48	o 205 
207.62/31.49	o 206 
208.15/31.50	o 207 
208.15/31.52	o 208 
208.15/31.53	o 209 
208.15/31.54	o 210 
208.49/31.66	o 211 
208.49/31.67	o 212 
209.33/32.32	o 213 
209.33/32.33	o 214 
209.33/32.34	o 215 
209.33/32.36	o 216 
209.33/32.37	o 217 
209.33/32.38	o 218 
209.33/32.39	o 219 
209.80/32.40	o 220 
209.80/32.41	o 221 
209.80/32.42	o 222 
209.80/32.43	o 223 
209.80/32.44	o 224 
209.80/32.45	o 225 
209.80/32.47	o 226 
209.80/32.48	o 227 
209.80/32.49	o 228 
210.45/32.50	o 229 
210.45/32.51	o 230 
210.45/32.52	o 231 
210.45/32.53	o 232 
210.45/32.54	o 233 
210.45/32.55	o 234 
210.45/32.56	o 235 
210.45/32.57	o 236 
210.45/32.58	o 237 
210.45/32.59	o 238 
211.00/32.60	o 239 
211.00/32.61	o 240 
211.00/32.62	o 241 
211.00/32.63	o 242 
211.00/32.64	o 243 
211.00/32.66	o 244 
211.00/32.67	o 245 
211.00/32.67	o 246 
211.00/32.68	o 247 
211.00/32.70	o 248 
211.61/32.71	o 249 
211.61/32.71	o 250 
211.61/32.72	o 251 
211.61/32.73	o 252 
211.61/32.74	o 253 
211.61/32.76	o 254 
211.61/32.77	o 255 
211.61/32.78	o 256 
211.61/32.79	o 257 
212.15/32.80	o 258 
212.15/32.81	o 259 
212.15/32.83	o 260 
212.15/32.84	o 261 
212.15/32.85	o 262 
212.15/32.86	o 263 
212.15/32.88	o 264 
212.15/32.89	o 265 
212.76/32.90	o 266 
212.76/32.91	o 267 
212.76/32.92	o 268 
212.76/32.93	o 269 
212.76/32.94	o 270 
212.76/32.96	o 271 
212.76/32.97	o 272 
212.76/32.98	o 273 
212.76/32.99	o 274 
212.76/33.01	o 275 
213.32/33.02	o 276 
213.32/33.03	o 277 
213.32/33.04	o 278 
213.32/33.05	o 279 
213.32/33.07	o 280 
213.32/33.08	o 281 
213.32/33.09	o 282 
213.32/33.10	o 283 
213.87/33.11	o 284 
213.87/33.12	o 285 
213.87/33.13	o 286 
213.87/33.14	o 287 
213.87/33.15	o 288 
213.87/33.16	o 289 
213.87/33.18	o 290 
213.87/33.19	o 291 
214.35/33.20	o 292 
214.35/33.21	o 293 
214.35/33.23	o 294 
214.35/33.24	o 295 
214.35/33.25	o 296 
214.35/33.26	o 297 
214.35/33.28	o 298 
214.35/33.29	o 299 
214.97/33.30	o 300 
214.97/33.32	o 301 
214.97/33.33	o 302 
214.97/33.34	o 303 
214.97/33.36	o 304 
214.97/33.37	o 305 
214.97/33.38	o 306 
214.97/33.39	o 307 
215.50/33.40	o 308 
215.50/33.41	o 309 
215.50/33.43	o 310 
215.50/33.43	o 311 
215.50/33.44	o 312 
215.50/33.45	o 313 
215.50/33.46	o 314 
215.50/33.47	o 315 
215.50/33.48	o 316 
215.50/33.49	o 317 
216.05/33.50	o 318 
216.05/33.51	o 319 
216.05/33.52	o 320 
216.05/33.53	o 321 
216.05/33.55	o 322 
216.05/33.56	o 323 
216.05/33.57	o 324 
216.05/33.58	o 325 
217.05/34.07	o 326 
217.05/34.09	o 327 
217.05/34.10	o 328 
217.32/34.11	o 329 
217.32/34.12	o 330 
217.32/34.14	o 331 
217.32/34.15	o 332 
217.32/34.16	o 333 
217.32/34.17	o 334 
217.32/34.18	o 335 
217.32/34.19	o 336 
217.32/34.21	o 337 
217.93/34.22	o 338 
217.93/34.24	o 339 
217.93/34.25	o 340 
217.93/34.26	o 341 
217.93/34.27	o 342 
217.93/34.29	o 343 
217.93/34.29	o 344 
218.43/34.31	o 345 
218.43/34.32	o 346 
218.43/34.34	o 347 
218.43/34.35	o 348 
218.43/34.35	o 349 
218.43/34.37	o 350 
218.43/34.38	o 351 
218.43/34.39	o 352 
218.97/34.40	o 353 
218.97/34.42	o 354 
218.97/34.44	o 355 
218.97/34.45	o 356 
218.97/34.46	o 357 
219.41/34.50	o 358 
219.41/34.52	o 359 
219.41/34.53	o 360 
219.41/34.55	o 361 
219.41/34.56	o 362 
219.41/34.57	o 363 
219.41/34.58	o 364 
219.41/34.59	o 365 
220.05/34.61	o 366 
220.05/34.62	o 367 
220.05/34.63	o 368 
220.89/35.23	o 369 
220.89/35.25	o 370 
220.89/35.26	o 371 
220.89/35.27	o 372 
220.89/35.28	o 373 
220.89/35.30	o 374 
221.39/35.33	o 375 
221.39/35.34	o 376 
221.39/35.35	o 377 
221.39/35.36	o 378 
221.39/35.37	o 379 
221.39/35.39	o 380 
221.95/35.40	o 381 
221.95/35.41	o 382 
221.95/35.42	o 383 
221.95/35.44	o 384 
221.95/35.45	o 385 
221.95/35.46	o 386 
221.95/35.48	o 387 
221.95/35.49	o 388 
222.57/35.50	o 389 
222.57/35.52	o 390 
222.57/35.53	o 391 
222.57/35.55	o 392 
222.57/35.56	o 393 
222.57/35.57	o 394 
222.57/35.58	o 395 
222.57/35.60	o 396 
223.07/35.61	o 397 
223.07/35.63	o 398 
223.07/35.64	o 399 
223.07/35.65	o 400 
223.07/35.66	o 401 
223.07/35.68	o 402 
223.60/35.70	o 403 
223.60/35.71	o 404 
223.60/35.73	o 405 
223.60/35.74	o 406 
223.60/35.75	o 407 
223.60/35.77	o 408 
223.60/35.78	o 409 
224.22/35.80	o 410 
224.22/35.81	o 411 
224.22/35.84	o 412 
224.54/35.90	o 413 
225.22/36.52	o 414 
225.22/36.53	o 415 
225.22/36.55	o 416 
225.22/36.56	o 417 
226.13/37.14	o 418 
226.13/37.16	o 419 
226.13/37.17	o 420 
226.13/37.19	o 421 
226.49/37.20	o 422 
226.49/37.21	o 423 
226.49/37.23	o 424 
226.49/37.24	o 425 
226.49/37.25	o 426 
226.49/37.27	o 427 
226.49/37.28	o 428 
226.49/37.30	o 429 
227.07/37.31	o 430 
227.07/37.32	o 431 
227.07/37.33	o 432 
227.07/37.35	o 433 
227.07/37.37	o 434 
227.07/37.38	o 435 
227.07/37.40	o 436 
227.66/37.41	o 437 
227.66/37.43	o 438 
227.66/37.44	o 439 
227.66/37.46	o 440 
227.66/37.47	o 441 
227.66/37.48	o 442 
227.66/37.50	o 443 
228.27/37.51	o 444 
228.27/37.53	o 445 
228.27/37.54	o 446 
228.27/37.55	o 447 
228.27/37.57	o 448 
228.27/37.58	o 449 
228.80/37.60	o 450 
228.80/37.61	o 451 
228.80/37.62	o 452 
228.80/37.64	o 453 
228.80/37.65	o 454 
228.80/37.67	o 455 
228.80/37.68	o 456 
229.44/37.70	o 457 
229.44/37.71	o 458 
229.44/37.72	o 459 
229.44/37.74	o 460 
229.44/37.75	o 461 
229.44/37.76	o 462 
229.44/37.77	o 463 
229.44/37.79	o 464 
230.04/37.81	o 465 
230.04/37.82	o 466 
230.04/37.83	o 467 
230.04/37.84	o 468 
230.04/37.86	o 469 
230.04/37.88	o 470 
230.93/38.22	o 471 
230.93/38.24	o 472 
230.93/38.25	o 473 
230.93/38.26	o 474 
230.93/38.27	o 475 
230.93/38.28	o 476 
231.42/38.30	o 477 
231.42/38.31	o 478 
231.42/38.33	o 479 
231.42/38.35	o 480 
231.95/38.52	o 481 
232.64/39.13	o 482 
232.64/39.14	o 483 
232.64/39.15	o 484 
232.64/39.17	o 485 
232.64/39.18	o 486 
233.13/39.20	o 487 
233.13/39.21	o 488 
233.13/39.23	o 489 
233.13/39.24	o 490 
233.13/39.25	o 491 
233.13/39.26	o 492 
233.13/39.28	o 493 
233.13/39.29	o 494 
233.72/39.30	o 495 
233.72/39.32	o 496 
233.72/39.34	o 497 
233.72/39.36	o 498 
233.72/39.38	o 499 
233.72/39.39	o 500 
234.28/39.41	o 501 
234.28/39.42	o 502 
234.28/39.44	o 503 
234.60/39.60	o 504 
234.74/39.62	o 505 
234.74/39.63	o 506 
234.74/39.64	o 507 
234.74/39.66	o 508 
234.74/39.68	o 509 
234.74/39.69	o 510 
235.31/39.71	o 511 
235.31/39.72	o 512 
235.31/39.73	o 513 
235.31/39.74	o 514 
235.31/39.76	o 515 
235.31/39.77	o 516 
235.31/39.79	o 517 
235.90/39.80	o 518 
235.90/39.81	o 519 
235.90/39.83	o 520 
235.90/39.84	o 521 
235.90/39.86	o 522 
235.90/39.87	o 523 
236.48/39.91	o 524 
236.48/39.92	o 525 
236.48/39.94	o 526 
236.48/39.95	o 527 
236.48/39.97	o 528 
236.48/39.99	o 529 
237.01/40.00	o 530 
237.01/40.02	o 531 
237.01/40.04	o 532 
237.38/40.17	o 533 
238.08/40.78	o 534 
238.08/40.80	o 535 
238.27/40.81	o 536 
238.27/40.83	o 537 
238.27/40.85	o 538 
238.27/40.87	o 539 
238.27/40.88	o 540 
238.82/40.90	o 541 
238.82/40.92	o 542 
238.82/40.93	o 543 
238.82/40.95	o 544 
238.82/40.97	o 545 
238.82/40.98	o 546 
238.82/41.00	o 547 
239.36/41.01	o 548 
239.36/41.03	o 549 
239.36/41.05	o 550 
239.36/41.06	o 551 
239.36/41.07	o 552 
239.36/41.09	o 553 
239.98/41.10	o 554 
239.98/41.11	o 555 
239.98/41.13	o 556 
239.98/41.14	o 557 
239.98/41.15	o 558 
239.98/41.17	o 559 
239.98/41.19	o 560 
240.54/41.20	o 561 
240.54/41.22	o 562 
240.54/41.23	o 563 
240.54/41.25	o 564 
240.54/41.26	o 565 
240.54/41.28	o 566 
240.54/41.29	o 567 
241.14/41.31	o 568 
241.14/41.32	o 569 
241.14/41.34	o 570 
241.14/41.35	o 571 
241.14/41.36	o 572 
241.14/41.38	o 573 
241.14/41.39	o 574 
242.48/42.03	o 575 
242.48/42.04	o 576 
242.48/42.06	o 577 
242.48/42.07	o 578 
242.48/42.09	o 579 
242.97/42.11	o 580 
242.97/42.13	o 581 
242.97/42.16	o 582 
243.37/42.26	o 583 
244.05/42.86	o 584 
244.05/42.88	o 585 
244.05/42.89	o 586 
244.31/42.93	o 587 
244.31/42.94	o 588 
244.31/42.96	o 589 
244.31/42.97	o 590 
244.31/43.00	o 591 
244.81/43.02	o 592 
244.81/43.03	o 593 
244.81/43.04	o 594 
244.81/43.06	o 595 
244.81/43.08	o 596 
244.81/43.09	o 597 
245.22/43.11	o 598 
245.22/43.13	o 599 
245.22/43.15	o 600 
245.22/43.16	o 601 
245.22/43.18	o 602 
245.22/43.20	o 603 
245.90/43.21	o 604 
245.90/43.23	o 605 
245.90/43.25	o 606 
245.90/43.27	o 607 
245.90/43.28	o 608 
245.90/43.30	o 609 
246.40/43.31	o 610 
246.40/43.33	o 611 
246.40/43.35	o 612 
246.40/43.37	o 613 
246.40/43.38	o 614 
246.40/43.39	o 615 
247.03/43.41	o 616 
247.03/43.42	o 617 
247.03/43.44	o 618 
247.03/43.45	o 619 
247.03/43.47	o 620 
247.03/43.49	o 621 
247.69/43.51	o 622 
247.69/43.53	o 623 
247.69/43.54	o 624 
247.69/43.56	o 625 
259.11/46.05	o 626 
259.79/46.68	o 627 
260.02/46.76	o 628 
260.79/47.37	o 629 
292.36/51.89	o 630 
295.65/52.71	o 631 
521.27/81.44	o 632 
521.27/81.48	o 633 
521.27/81.49	o 634 
1766.95/238.30	o 635 
2400.30/317.97	s SATISFIABLE
2400.30/317.97	v <instantiation>
2400.30/317.97	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.30/317.97	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.30/317.97	v </instantiation>
2400.30/317.97	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-4244760-1500684352/watcher-4244760-1500684352 -o /tmp/evaluation-result-4244760-1500684352/solver-4244760-1500684352 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1391904809 HOME/instance-4244760-1500684352.xml 

pid=22437
running on 8 cores: 0-3,8-11

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


[startup+0 s]
/proc/loadavg: 15.21 15.07 13.53 11/276 22440
/proc/meminfo: memFree=31665052/32770624 swapFree=5944/211844
[pid=22440] ppid=22437 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/22440/stat : 22440 (xcsp3-exec) S 22437 22440 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3702396 9740288 346 33554432000 4194304 5098028 140732047804720 140732047802824 139948518576764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 33001472 140732047811726 140732047811936 140732047811936 140732047814635 0
/proc/22440/statm: 2378 346 289 221 0 87 0

[startup+0.100158 s]
/proc/loadavg: 15.21 15.07 13.53 11/276 22440
/proc/meminfo: memFree=31665052/32770624 swapFree=5944/211844
[pid=22440] ppid=22437 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/22440/stat : 22440 (xcsp3-exec) S 22437 22440 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3702396 9740288 346 33554432000 4194304 5098028 140732047804720 140732047802824 139948518576764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 33001472 140732047811726 140732047811936 140732047811936 140732047814635 0
/proc/22440/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200353 s]
/proc/loadavg: 15.21 15.07 13.53 11/276 22440
/proc/meminfo: memFree=31665052/32770624 swapFree=5944/211844
[pid=22440] ppid=22437 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/22440/stat : 22440 (xcsp3-exec) S 22437 22440 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3702396 9740288 346 33554432000 4194304 5098028 140732047804720 140732047802824 139948518576764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 33001472 140732047811726 140732047811936 140732047811936 140732047814635 0
/proc/22440/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300264 s]
/proc/loadavg: 15.21 15.07 13.53 11/276 22440
/proc/meminfo: memFree=31665052/32770624 swapFree=5944/211844
[pid=22440] ppid=22437 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/22440/stat : 22440 (xcsp3-exec) S 22437 22440 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3702396 9740288 346 33554432000 4194304 5098028 140732047804720 140732047802824 139948518576764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 33001472 140732047811726 140732047811936 140732047811936 140732047814635 0
/proc/22440/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700172 s]
/proc/loadavg: 15.21 15.07 13.53 11/276 22440
/proc/meminfo: memFree=31665052/32770624 swapFree=5944/211844
[pid=22440] ppid=22437 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/22440/stat : 22440 (xcsp3-exec) S 22437 22440 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3702396 9740288 346 33554432000 4194304 5098028 140732047804720 140732047802824 139948518576764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 33001472 140732047811726 140732047811936 140732047811936 140732047814635 0
/proc/22440/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50113 s]
/proc/loadavg: 15.21 15.07 13.53 14/297 22461
/proc/meminfo: memFree=31562704/32770624 swapFree=5944/211888
[pid=22440] ppid=22437 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/22440/stat : 22440 (xcsp3-exec) S 22437 22440 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3702396 9740288 346 33554432000 4194304 5098028 140732047804720 140732047802824 139948518576764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 33001472 140732047811726 140732047811936 140732047811936 140732047814635 0
/proc/22440/statm: 2378 346 289 221 0 87 0
[pid=22441] ppid=22440 vsize=13269256 CPUtime=4.24 cores=0-3,8-11
/proc/22441/stat : 22441 (java) S 22440 22440 18810 0 -1 1077944320 21466 0 0 0 416 8 0 0 20 0 20 0 3702396 13587718144 41014 33554432000 4194304 4196468 140736633753056 140736633735600 140633058705143 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
/proc/22441/statm: 3317314 41014 3224 1 0 3304547 0
[pid=22441/tid=22442] ppid=22440 vsize=13269256 CPUtime=1.46 cores=0-3,8-11
/proc/22441/task/22442/stat : 22442 (java) R 22440 22440 18810 0 -1 4202560 8726 0 0 0 142 4 0 0 20 0 20 0 3702397 13587718144 41014 33554432000 4194304 4196468 140736633753056 140633062940616 140632685888176 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22444] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22444/stat : 22444 (java) S 22440 22440 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3702398 13587718144 41014 33554432000 4194304 4196468 140736633753056 140633011325968 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22445] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22445/stat : 22445 (java) S 22440 22440 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3702398 13587718144 41014 33554432000 4194304 4196468 140736633753056 140633010273424 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22446] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22446/stat : 22446 (java) S 22440 22440 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3702398 13587718144 41014 33554432000 4194304 4196468 140736633753056 140633009220368 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22447] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22447/stat : 22447 (java) S 22440 22440 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3702398 13587718144 41014 33554432000 4194304 4196468 140736633753056 140633008167824 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22448] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22448/stat : 22448 (java) S 22440 22440 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3702398 13587718144 41014 33554432000 4194304 4196468 140736633753056 140633007114768 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22449] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22449/stat : 22449 (java) S 22440 22440 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3702398 13587718144 41014 33554432000 4194304 4196468 140736633753056 140633006062224 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22450] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22450/stat : 22450 (java) S 22440 22440 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3702398 13587718144 41014 33554432000 4194304 4196468 140736633753056 140633005009168 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22451] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22451/stat : 22451 (java) S 22440 22440 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3702398 13587718144 41014 33554432000 4194304 4196468 140736633753056 140633003956624 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22452] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22452/stat : 22452 (java) S 22440 22440 18810 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 3702400 13587718144 41014 33554432000 4194304 4196468 140736633753056 140632386394864 140633058716290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22453] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22453/stat : 22453 (java) S 22440 22440 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3702400 13587718144 41014 33554432000 4194304 4196468 140736633753056 140632385341088 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22454] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22454/stat : 22454 (java) S 22440 22440 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3702401 13587718144 41014 33554432000 4194304 4196468 140736633753056 140632384287984 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22455] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22455/stat : 22455 (java) S 22440 22440 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3702404 13587718144 41014 33554432000 4194304 4196468 140736633753056 140632383236560 140633058723739 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22456] ppid=22440 vsize=13269256 CPUtime=0.68 cores=0-3,8-11
/proc/22441/task/22456/stat : 22456 (java) R 22440 22440 18810 0 -1 4202560 3056 0 0 0 68 0 0 0 20 0 20 0 3702404 13587718144 41014 33554432000 4194304 4196468 140736633753056 140632382168816 140633043480266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22457] ppid=22440 vsize=13269256 CPUtime=0.75 cores=0-3,8-11
/proc/22441/task/22457/stat : 22457 (java) R 22440 22440 18810 0 -1 4202560 3051 0 0 0 74 1 0 0 20 0 20 0 3702404 13587718144 41014 33554432000 4194304 4196468 140736633753056 140632381116896 140633040227620 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22458] ppid=22440 vsize=13269256 CPUtime=0.68 cores=0-3,8-11
/proc/22441/task/22458/stat : 22458 (java) R 22440 22440 18810 0 -1 4202560 2208 0 0 0 68 0 0 0 20 0 20 0 3702404 13587718144 41014 33554432000 4194304 4196468 140736633753056 140632380059216 140633043831417 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22459] ppid=22440 vsize=13269256 CPUtime=0.63 cores=0-3,8-11
/proc/22441/task/22459/stat : 22459 (java) S 22440 22440 18810 0 -1 1077944384 3094 0 0 0 62 1 0 0 20 0 20 0 3702404 13587718144 41014 33554432000 4194304 4196468 140736633753056 140632379025520 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22460] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22460/stat : 22460 (java) S 22440 22440 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3702405 13587718144 41014 33554432000 4194304 4196468 140736633753056 140632377973728 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22461] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22461/stat : 22461 (java) S 22440 22440 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3702405 13587718144 41014 33554432000 4194304 4196468 140736633753056 140632376921264 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 13278768

[startup+3.10085 s]
/proc/loadavg: 15.21 15.07 13.53 12/297 22461
/proc/meminfo: memFree=31447648/32770624 swapFree=5944/211888
[pid=22440] ppid=22437 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/22440/stat : 22440 (xcsp3-exec) S 22437 22440 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3702396 9740288 346 33554432000 4194304 5098028 140732047804720 140732047802824 139948518576764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 33001472 140732047811726 140732047811936 140732047811936 140732047814635 0
/proc/22440/statm: 2378 346 289 221 0 87 0
[pid=22441] ppid=22440 vsize=13269256 CPUtime=8.74 cores=0-3,8-11
/proc/22441/stat : 22441 (java) S 22440 22440 18810 0 -1 1077944320 25899 0 0 0 825 49 0 0 20 0 20 0 3702396 13587718144 72749 33554432000 4194304 4196468 140736633753056 140736633735600 140633058705143 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
/proc/22441/statm: 3317314 72749 3260 1 0 3304547 0
[pid=22441/tid=22442] ppid=22440 vsize=13269256 CPUtime=2.95 cores=0-3,8-11
/proc/22441/task/22442/stat : 22442 (java) R 22440 22440 18810 0 -1 4202560 9526 0 0 0 290 5 0 0 20 0 20 0 3702397 13587718144 72749 33554432000 4194304 4196468 140736633753056 140633062943232 140633041112160 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22444] ppid=22440 vsize=13269256 CPUtime=0.07 cores=0-3,8-11
/proc/22441/task/22444/stat : 22444 (java) S 22440 22440 18810 0 -1 1077944384 99 0 0 0 4 3 0 0 20 0 20 0 3702398 13587718144 72749 33554432000 4194304 4196468 140736633753056 140633011325968 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22445] ppid=22440 vsize=13269256 CPUtime=0.09 cores=0-3,8-11
/proc/22441/task/22445/stat : 22445 (java) S 22440 22440 18810 0 -1 1077944384 239 0 0 0 4 5 0 0 20 0 20 0 3702398 13587718144 72749 33554432000 4194304 4196468 140736633753056 140633010273424 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22446] ppid=22440 vsize=13269256 CPUtime=0.09 cores=0-3,8-11
/proc/22441/task/22446/stat : 22446 (java) S 22440 22440 18810 0 -1 1077944384 105 0 0 0 4 5 0 0 20 0 20 0 3702398 13587718144 72749 33554432000 4194304 4196468 140736633753056 140633009220368 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22447] ppid=22440 vsize=13269256 CPUtime=0.1 cores=0-3,8-11
/proc/22441/task/22447/stat : 22447 (java) S 22440 22440 18810 0 -1 1077944384 208 0 0 0 5 5 0 0 20 0 20 0 3702398 13587718144 72749 33554432000 4194304 4196468 140736633753056 140633008167824 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22448] ppid=22440 vsize=13269256 CPUtime=0.06 cores=0-3,8-11
/proc/22441/task/22448/stat : 22448 (java) S 22440 22440 18810 0 -1 1077944384 122 0 0 0 3 3 0 0 20 0 20 0 3702398 13587718144 72749 33554432000 4194304 4196468 140736633753056 140633007114768 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22449] ppid=22440 vsize=13269256 CPUtime=0.09 cores=0-3,8-11
/proc/22441/task/22449/stat : 22449 (java) S 22440 22440 18810 0 -1 1077944384 96 0 0 0 4 5 0 0 20 0 20 0 3702398 13587718144 72749 33554432000 4194304 4196468 140736633753056 140633006062224 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22450] ppid=22440 vsize=13269256 CPUtime=0.1 cores=0-3,8-11
/proc/22441/task/22450/stat : 22450 (java) S 22440 22440 18810 0 -1 1077944384 105 0 0 0 5 5 0 0 20 0 20 0 3702398 13587718144 72749 33554432000 4194304 4196468 140736633753056 140633005009168 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22451] ppid=22440 vsize=13269256 CPUtime=0.08 cores=0-3,8-11
/proc/22441/task/22451/stat : 22451 (java) S 22440 22440 18810 0 -1 1077944384 93 0 0 0 4 4 0 0 20 0 20 0 3702398 13587718144 72749 33554432000 4194304 4196468 140736633753056 140633003956624 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22452] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22452/stat : 22452 (java) S 22440 22440 18810 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 20 0 3702400 13587718144 72749 33554432000 4194304 4196468 140736633753056 140632386394864 140633058716290 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22453] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22453/stat : 22453 (java) S 22440 22440 18810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 3702400 13587718144 72749 33554432000 4194304 4196468 140736633753056 140632385341152 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22454] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22454/stat : 22454 (java) S 22440 22440 18810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3702401 13587718144 72749 33554432000 4194304 4196468 140736633753056 140632384288000 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22455] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22455/stat : 22455 (java) S 22440 22440 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3702404 13587718144 72749 33554432000 4194304 4196468 140736633753056 140632383236560 140633058723739 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22456] ppid=22440 vsize=13269256 CPUtime=1.34 cores=0-3,8-11
/proc/22441/task/22456/stat : 22456 (java) R 22440 22440 18810 0 -1 4202560 3493 0 0 0 134 0 0 0 20 0 20 0 3702404 13587718144 72749 33554432000 4194304 4196468 140736633753056 140632382170208 140633043830250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22457] ppid=22440 vsize=13269256 CPUtime=1.49 cores=0-3,8-11
/proc/22441/task/22457/stat : 22457 (java) S 22440 22440 18810 0 -1 1077944384 3422 0 0 0 148 1 0 0 20 0 20 0 3702404 13587718144 72749 33554432000 4194304 4196468 140736633753056 140632381131120 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22458] ppid=22440 vsize=13269256 CPUtime=1.35 cores=0-3,8-11
/proc/22441/task/22458/stat : 22458 (java) S 22440 22440 18810 0 -1 1077944384 2962 0 0 0 135 0 0 0 20 0 20 0 3702404 13587718144 72749 33554432000 4194304 4196468 140736633753056 140632380078064 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22459] ppid=22440 vsize=13269256 CPUtime=0.8 cores=0-3,8-11
/proc/22441/task/22459/stat : 22459 (java) S 22440 22440 18810 0 -1 1077944384 3896 0 0 0 78 2 0 0 20 0 20 0 3702404 13587718144 72749 33554432000 4194304 4196468 140736633753056 140632379025520 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22460] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22460/stat : 22460 (java) S 22440 22440 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3702405 13587718144 72749 33554432000 4194304 4196468 140736633753056 140632377973728 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22461] ppid=22440 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22461/stat : 22461 (java) S 22440 22440 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 3702405 13587718144 72749 33554432000 4194304 4196468 140736633753056 140632376921264 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
Current children cumulated CPU time (s) 8.74
Current children cumulated vsize (KiB) 13278768

[startup+6.30123 s]
/proc/loadavg: 14.80 14.99 13.51 23/305 22469
/proc/meminfo: memFree=31170520/32770624 swapFree=5944/211900
[pid=22440] ppid=22437 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/22440/stat : 22440 (xcsp3-exec) S 22437 22440 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3702396 9740288 346 33554432000 4194304 5098028 140732047804720 140732047802824 139948518576764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 33001472 140732047811726 140732047811936 140732047811936 140732047814635 0
/proc/22440/statm: 2378 346 289 221 0 87 0
[pid=22441] ppid=22440 vsize=13803816 CPUtime=26.43 cores=0-3,8-11
/proc/22441/stat : 22441 (java) S 22440 22440 18810 0 -1 1077944320 33086 0 0 0 2557 86 0 0 20 0 28 0 3702396 14135107584 126873 33554432000 4194304 4196468 140736633753056 140736633735600 140633058705143 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
/proc/22441/statm: 3450954 126873 3283 1 0 3438187 0
[pid=22441/tid=22442] ppid=22440 vsize=13803816 CPUtime=4.07 cores=0-3,8-11
/proc/22441/task/22442/stat : 22442 (java) S 22440 22440 18810 0 -1 1077944384 9833 0 0 0 401 6 0 0 20 0 28 0 3702397 14135107584 126873 33554432000 4194304 4196468 140736633753056 140633062945920 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22444] ppid=22440 vsize=13803816 CPUtime=0.17 cores=0-3,8-11
/proc/22441/task/22444/stat : 22444 (java) S 22440 22440 18810 0 -1 1077944384 141 0 0 0 9 8 0 0 20 0 28 0 3702398 14135107584 126873 33554432000 4194304 4196468 140736633753056 140633011325968 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22445] ppid=22440 vsize=13803816 CPUtime=0.16 cores=0-3,8-11
/proc/22441/task/22445/stat : 22445 (java) S 22440 22440 18810 0 -1 1077944384 321 0 0 0 8 8 0 0 20 0 28 0 3702398 14135107584 126873 33554432000 4194304 4196468 140736633753056 140633010273424 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22446] ppid=22440 vsize=13803816 CPUtime=0.19 cores=0-3,8-11
/proc/22441/task/22446/stat : 22446 (java) S 22440 22440 18810 0 -1 1077944384 228 0 0 0 12 7 0 0 20 0 28 0 3702398 14135107584 126873 33554432000 4194304 4196468 140736633753056 140633009220368 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22447] ppid=22440 vsize=13803816 CPUtime=0.18 cores=0-3,8-11
/proc/22441/task/22447/stat : 22447 (java) S 22440 22440 18810 0 -1 1077944384 245 0 0 0 9 9 0 0 20 0 28 0 3702398 14135107584 126873 33554432000 4194304 4196468 140736633753056 140633008167824 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22448] ppid=22440 vsize=13803816 CPUtime=0.17 cores=0-3,8-11
/proc/22441/task/22448/stat : 22448 (java) S 22440 22440 18810 0 -1 1077944384 236 0 0 0 9 8 0 0 20 0 28 0 3702398 14135107584 126873 33554432000 4194304 4196468 140736633753056 140633007114768 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22449] ppid=22440 vsize=13803816 CPUtime=0.2 cores=0-3,8-11
/proc/22441/task/22449/stat : 22449 (java) S 22440 22440 18810 0 -1 1077944384 177 0 0 0 10 10 0 0 20 0 28 0 3702398 14135107584 126873 33554432000 4194304 4196468 140736633753056 140633006062224 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22450] ppid=22440 vsize=13803816 CPUtime=0.18 cores=0-3,8-11
/proc/22441/task/22450/stat : 22450 (java) S 22440 22440 18810 0 -1 1077944384 153 0 0 0 9 9 0 0 20 0 28 0 3702398 14135107584 126873 33554432000 4194304 4196468 140736633753056 140633005009168 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22451] ppid=22440 vsize=13803816 CPUtime=0.14 cores=0-3,8-11
/proc/22441/task/22451/stat : 22451 (java) S 22440 22440 18810 0 -1 1077944384 123 0 0 0 7 7 0 0 20 0 28 0 3702398 14135107584 126873 33554432000 4194304 4196468 140736633753056 140633003956624 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22452] ppid=22440 vsize=13803816 CPUtime=0.01 cores=0-3,8-11
/proc/22441/task/22452/stat : 22452 (java) S 22440 22440 18810 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 28 0 3702400 14135107584 126873 33554432000 4194304 4196468 140736633753056 140632386394864 140633058716290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22453] ppid=22440 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22453/stat : 22453 (java) S 22440 22440 18810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3702400 14135107584 126873 33554432000 4194304 4196468 140736633753056 140632385341152 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22454] ppid=22440 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22454/stat : 22454 (java) S 22440 22440 18810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3702401 14135107584 126873 33554432000 4194304 4196468 140736633753056 140632384288000 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22455] ppid=22440 vsize=13803816 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22455/stat : 22455 (java) S 22440 22440 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3702404 14135107584 126873 33554432000 4194304 4196468 140736633753056 140632383236560 140633058723739 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0

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

/proc/22441/task/30372/stat : 30372 (java) R 22440 22440 18810 0 -1 4202560 1771 0 0 0 4384 0 0 0 20 0 28 0 3726226 14203269120 775337 33554432000 4194304 4196468 140736633753056 140632362593416 140632688869337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30373] ppid=22440 vsize=13870380 CPUtime=43.84 cores=0-3,8-11
/proc/22441/task/30373/stat : 30373 (java) R 22440 22440 18810 0 -1 4202560 424 0 0 0 4384 0 0 0 20 0 28 0 3726226 14203269120 775337 33554432000 4194304 4196468 140736633753056 140632368907208 140632691169596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
Current children cumulated CPU time (s) 2117
Current children cumulated vsize (KiB) 13879892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+317.902 s]
/proc/loadavg: 16.10 15.50 14.12 17/303 30381
/proc/meminfo: memFree=25624444/32770624 swapFree=5944/212332
[pid=22440] ppid=22437 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/22440/stat : 22440 (xcsp3-exec) S 22437 22440 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3702396 9740288 346 33554432000 4194304 5098028 140732047804720 140732047802824 139948518576764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 33001472 140732047811726 140732047811936 140732047811936 140732047814635 0
/proc/22440/statm: 2378 346 289 221 0 87 0
[pid=22441] ppid=22440 vsize=13870380 CPUtime=2400.3 cores=0-3,8-11
/proc/22441/stat : 22441 (java) S 22440 22440 18810 0 -1 1077944320 212287 0 0 0 239698 332 0 0 20 0 28 0 3702396 14203269120 768051 33554432000 4194304 4196468 140736633753056 140736633735600 140633058705143 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
/proc/22441/statm: 3467595 768051 3288 1 0 3454828 0
[pid=22441/tid=22442] ppid=22440 vsize=13870380 CPUtime=4.67 cores=0-3,8-11
/proc/22441/task/22442/stat : 22442 (java) S 22440 22440 18810 0 -1 1077944384 12029 0 0 0 457 10 0 0 20 0 28 0 3702397 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633062945856 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22444] ppid=22440 vsize=13870380 CPUtime=0.56 cores=0-3,8-11
/proc/22441/task/22444/stat : 22444 (java) S 22440 22440 18810 0 -1 1077944384 2534 0 0 0 39 17 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633011325968 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22445] ppid=22440 vsize=13870380 CPUtime=0.55 cores=0-3,8-11
/proc/22441/task/22445/stat : 22445 (java) S 22440 22440 18810 0 -1 1077944384 2930 0 0 0 36 19 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633010273424 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22446] ppid=22440 vsize=13870380 CPUtime=0.56 cores=0-3,8-11
/proc/22441/task/22446/stat : 22446 (java) S 22440 22440 18810 0 -1 1077944384 1346 0 0 0 39 17 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633009220368 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22447] ppid=22440 vsize=13870380 CPUtime=0.53 cores=0-3,8-11
/proc/22441/task/22447/stat : 22447 (java) S 22440 22440 18810 0 -1 1077944384 2626 0 0 0 35 18 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633008167824 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22448] ppid=22440 vsize=13870380 CPUtime=0.51 cores=0-3,8-11
/proc/22441/task/22448/stat : 22448 (java) S 22440 22440 18810 0 -1 1077944384 1316 0 0 0 35 16 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633007114768 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22449] ppid=22440 vsize=13870380 CPUtime=0.61 cores=0-3,8-11
/proc/22441/task/22449/stat : 22449 (java) S 22440 22440 18810 0 -1 1077944384 1726 0 0 0 39 22 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633006062224 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22450] ppid=22440 vsize=13870380 CPUtime=0.57 cores=0-3,8-11
/proc/22441/task/22450/stat : 22450 (java) S 22440 22440 18810 0 -1 1077944384 2198 0 0 0 38 19 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633005009168 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22451] ppid=22440 vsize=13870380 CPUtime=0.52 cores=0-3,8-11
/proc/22441/task/22451/stat : 22451 (java) S 22440 22440 18810 0 -1 1077944384 837 0 0 0 36 16 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633003956624 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22452] ppid=22440 vsize=13870380 CPUtime=0.36 cores=0-3,8-11
/proc/22441/task/22452/stat : 22452 (java) S 22440 22440 18810 0 -1 1077944384 7857 0 0 0 15 21 0 0 20 0 28 0 3702400 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632386394864 140633058716290 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22453] ppid=22440 vsize=13870380 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22453/stat : 22453 (java) S 22440 22440 18810 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3702400 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632385341152 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22454] ppid=22440 vsize=13870380 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22454/stat : 22454 (java) S 22440 22440 18810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3702401 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632384288000 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22455] ppid=22440 vsize=13870380 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22455/stat : 22455 (java) S 22440 22440 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3702404 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632383236560 140633058723739 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22456] ppid=22440 vsize=13870380 CPUtime=5.25 cores=0-3,8-11
/proc/22441/task/22456/stat : 22456 (java) S 22440 22440 18810 0 -1 1077944384 22683 0 0 0 522 3 0 0 20 0 28 0 3702404 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632382183664 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22457] ppid=22440 vsize=13870380 CPUtime=5.02 cores=0-3,8-11
/proc/22441/task/22457/stat : 22457 (java) S 22440 22440 18810 0 -1 1077944384 20815 0 0 0 499 3 0 0 20 0 28 0 3702404 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632381131120 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22458] ppid=22440 vsize=13870380 CPUtime=5.48 cores=0-3,8-11
/proc/22441/task/22458/stat : 22458 (java) S 22440 22440 18810 0 -1 1077944384 19723 0 0 0 546 2 0 0 20 0 28 0 3702404 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632380078064 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22459] ppid=22440 vsize=13870380 CPUtime=1.59 cores=0-3,8-11
/proc/22441/task/22459/stat : 22459 (java) S 22440 22440 18810 0 -1 1077944384 15353 0 0 0 155 4 0 0 20 0 28 0 3702404 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632379025520 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22460] ppid=22440 vsize=13870380 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22460/stat : 22460 (java) S 22440 22440 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3702405 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632377973728 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22461] ppid=22440 vsize=13870380 CPUtime=0.17 cores=0-3,8-11
/proc/22441/task/22461/stat : 22461 (java) S 22440 22440 18810 0 -1 1077944384 1881 0 0 0 7 10 0 0 20 0 28 0 3702405 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632376921264 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30366] ppid=22440 vsize=13870380 CPUtime=78.75 cores=0-3,8-11
/proc/22441/task/30366/stat : 30366 (java) R 22440 22440 18810 0 -1 4202560 1605 0 0 0 7875 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632366800344 140632691067175 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30367] ppid=22440 vsize=13870380 CPUtime=79.17 cores=0-3,8-11
/proc/22441/task/30367/stat : 30367 (java) R 22440 22440 18810 0 -1 4202560 1507 0 0 0 7917 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632363643304 140632690729739 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30368] ppid=22440 vsize=13870380 CPUtime=79.45 cores=0-3,8-11
/proc/22441/task/30368/stat : 30368 (java) R 22440 22440 18810 0 -1 4202560 607 0 0 0 7945 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632367853536 140632685975027 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30369] ppid=22440 vsize=13870380 CPUtime=79.34 cores=0-3,8-11
/proc/22441/task/30369/stat : 30369 (java) R 22440 22440 18810 0 -1 4202560 4754 0 0 0 7932 2 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632365748680 140632691307325 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30370] ppid=22440 vsize=13870380 CPUtime=78.98 cores=0-3,8-11
/proc/22441/task/30370/stat : 30370 (java) R 22440 22440 18810 0 -1 4202560 931 0 0 0 7898 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632364695752 140632691167965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30371] ppid=22440 vsize=13870380 CPUtime=78.4 cores=0-3,8-11
/proc/22441/task/30371/stat : 30371 (java) R 22440 22440 18810 0 -1 4202560 796 0 0 0 7840 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632358390624 140632690374159 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30372] ppid=22440 vsize=13870380 CPUtime=79.33 cores=0-3,8-11
/proc/22441/task/30372/stat : 30372 (java) R 22440 22440 18810 0 -1 4202560 2211 0 0 0 7933 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632362590936 140632690730046 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30373] ppid=22440 vsize=13870380 CPUtime=79.34 cores=0-3,8-11
/proc/22441/task/30373/stat : 30373 (java) R 22440 22440 18810 0 -1 4202560 594 0 0 0 7934 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632368907272 140632691169605 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
Current children cumulated CPU time (s) 2400.3
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 22441 sig 9
??? kill 22440 sig 9
??? kill -22440 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+317.902 s]
/proc/loadavg: 16.10 15.50 14.12 17/303 30381
/proc/meminfo: memFree=25624444/32770624 swapFree=5944/212332
[pid=22440] ppid=22437 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/22440/stat : 22440 (xcsp3-exec) S 22437 22440 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3702396 9740288 346 33554432000 4194304 5098028 140732047804720 140732047802824 139948518576764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 33001472 140732047811726 140732047811936 140732047811936 140732047814635 0
/proc/22440/statm: 2378 346 289 221 0 87 0
[pid=22441] ppid=22440 vsize=13870380 CPUtime=2400.3 cores=0-3,8-11
/proc/22441/stat : 22441 (java) S 22440 22440 18810 0 -1 1077944320 212287 0 0 0 239698 332 0 0 20 0 28 0 3702396 14203269120 768051 33554432000 4194304 4196468 140736633753056 140736633735600 140633058705143 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
/proc/22441/statm: 3467595 768051 3288 1 0 3454828 0
[pid=22441/tid=22442] ppid=22440 vsize=13870380 CPUtime=4.67 cores=0-3,8-11
/proc/22441/task/22442/stat : 22442 (java) S 22440 22440 18810 0 -1 1077944384 12029 0 0 0 457 10 0 0 20 0 28 0 3702397 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633062945856 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22444] ppid=22440 vsize=13870380 CPUtime=0.56 cores=0-3,8-11
/proc/22441/task/22444/stat : 22444 (java) S 22440 22440 18810 0 -1 1077944384 2534 0 0 0 39 17 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633011325968 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22445] ppid=22440 vsize=13870380 CPUtime=0.55 cores=0-3,8-11
/proc/22441/task/22445/stat : 22445 (java) S 22440 22440 18810 0 -1 1077944384 2930 0 0 0 36 19 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633010273424 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22446] ppid=22440 vsize=13870380 CPUtime=0.56 cores=0-3,8-11
/proc/22441/task/22446/stat : 22446 (java) S 22440 22440 18810 0 -1 1077944384 1346 0 0 0 39 17 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633009220368 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22447] ppid=22440 vsize=13870380 CPUtime=0.53 cores=0-3,8-11
/proc/22441/task/22447/stat : 22447 (java) S 22440 22440 18810 0 -1 1077944384 2626 0 0 0 35 18 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633008167824 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22448] ppid=22440 vsize=13870380 CPUtime=0.51 cores=0-3,8-11
/proc/22441/task/22448/stat : 22448 (java) S 22440 22440 18810 0 -1 1077944384 1316 0 0 0 35 16 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633007114768 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22449] ppid=22440 vsize=13870380 CPUtime=0.61 cores=0-3,8-11
/proc/22441/task/22449/stat : 22449 (java) S 22440 22440 18810 0 -1 1077944384 1726 0 0 0 39 22 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633006062224 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22450] ppid=22440 vsize=13870380 CPUtime=0.57 cores=0-3,8-11
/proc/22441/task/22450/stat : 22450 (java) S 22440 22440 18810 0 -1 1077944384 2198 0 0 0 38 19 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633005009168 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22451] ppid=22440 vsize=13870380 CPUtime=0.52 cores=0-3,8-11
/proc/22441/task/22451/stat : 22451 (java) S 22440 22440 18810 0 -1 1077944384 837 0 0 0 36 16 0 0 20 0 28 0 3702398 14203269120 768051 33554432000 4194304 4196468 140736633753056 140633003956624 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22452] ppid=22440 vsize=13870380 CPUtime=0.36 cores=0-3,8-11
/proc/22441/task/22452/stat : 22452 (java) S 22440 22440 18810 0 -1 1077944384 7857 0 0 0 15 21 0 0 20 0 28 0 3702400 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632386394864 140633058716290 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22453] ppid=22440 vsize=13870380 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22453/stat : 22453 (java) S 22440 22440 18810 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3702400 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632385341152 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22454] ppid=22440 vsize=13870380 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22454/stat : 22454 (java) S 22440 22440 18810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3702401 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632384288000 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22455] ppid=22440 vsize=13870380 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22455/stat : 22455 (java) S 22440 22440 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3702404 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632383236560 140633058723739 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22456] ppid=22440 vsize=13870380 CPUtime=5.25 cores=0-3,8-11
/proc/22441/task/22456/stat : 22456 (java) S 22440 22440 18810 0 -1 1077944384 22683 0 0 0 522 3 0 0 20 0 28 0 3702404 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632382183664 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22457] ppid=22440 vsize=13870380 CPUtime=5.02 cores=0-3,8-11
/proc/22441/task/22457/stat : 22457 (java) S 22440 22440 18810 0 -1 1077944384 20815 0 0 0 499 3 0 0 20 0 28 0 3702404 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632381131120 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22458] ppid=22440 vsize=13870380 CPUtime=5.48 cores=0-3,8-11
/proc/22441/task/22458/stat : 22458 (java) S 22440 22440 18810 0 -1 1077944384 19723 0 0 0 546 2 0 0 20 0 28 0 3702404 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632380078064 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22459] ppid=22440 vsize=13870380 CPUtime=1.59 cores=0-3,8-11
/proc/22441/task/22459/stat : 22459 (java) S 22440 22440 18810 0 -1 1077944384 15353 0 0 0 155 4 0 0 20 0 28 0 3702404 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632379025520 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22460] ppid=22440 vsize=13870380 CPUtime=0 cores=0-3,8-11
/proc/22441/task/22460/stat : 22460 (java) S 22440 22440 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3702405 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632377973728 140633058715349 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=22461] ppid=22440 vsize=13870380 CPUtime=0.17 cores=0-3,8-11
/proc/22441/task/22461/stat : 22461 (java) S 22440 22440 18810 0 -1 1077944384 1881 0 0 0 7 10 0 0 20 0 28 0 3702405 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632376921264 140633058716290 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30366] ppid=22440 vsize=13870380 CPUtime=78.75 cores=0-3,8-11
/proc/22441/task/30366/stat : 30366 (java) R 22440 22440 18810 0 -1 4202560 1605 0 0 0 7875 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632366800344 140632691067175 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30367] ppid=22440 vsize=13870380 CPUtime=79.17 cores=0-3,8-11
/proc/22441/task/30367/stat : 30367 (java) R 22440 22440 18810 0 -1 4202560 1507 0 0 0 7917 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632363643304 140632690729739 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30368] ppid=22440 vsize=13870380 CPUtime=79.45 cores=0-3,8-11
/proc/22441/task/30368/stat : 30368 (java) R 22440 22440 18810 0 -1 4202560 607 0 0 0 7945 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632367853536 140632685975027 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30369] ppid=22440 vsize=13870380 CPUtime=79.34 cores=0-3,8-11
/proc/22441/task/30369/stat : 30369 (java) R 22440 22440 18810 0 -1 4202560 4754 0 0 0 7932 2 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632365748680 140632691307325 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30370] ppid=22440 vsize=13870380 CPUtime=78.98 cores=0-3,8-11
/proc/22441/task/30370/stat : 30370 (java) R 22440 22440 18810 0 -1 4202560 931 0 0 0 7898 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632364695752 140632691167965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30371] ppid=22440 vsize=13870380 CPUtime=78.4 cores=0-3,8-11
/proc/22441/task/30371/stat : 30371 (java) R 22440 22440 18810 0 -1 4202560 796 0 0 0 7840 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632358390624 140632690374159 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30372] ppid=22440 vsize=13870380 CPUtime=79.33 cores=0-3,8-11
/proc/22441/task/30372/stat : 30372 (java) R 22440 22440 18810 0 -1 4202560 2211 0 0 0 7933 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632362590936 140632690730046 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
[pid=22441/tid=30373] ppid=22440 vsize=13870380 CPUtime=79.34 cores=0-3,8-11
/proc/22441/task/30373/stat : 30373 (java) R 22440 22440 18810 0 -1 4202560 594 0 0 0 7934 0 0 0 20 0 28 0 3726226 14203269120 768051 33554432000 4194304 4196468 140736633753056 140632368907272 140632691169605 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22704128 140736633754812 140736633754988 140736633754988 140736633757647 0
Current children cumulated CPU time (s) 2400.3
Current children cumulated vsize (KiB) 13879892

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 317.933
CPU time (s): 2400.3
CPU user time (s): 2396.98
CPU system time (s): 3.32
CPU usage (%): 754.969
Max. virtual memory (cumulated for all children) (KiB): 13879892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002977
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.82995 second user time and 4.37761 second system time

The end

Launcher Data 

Begin job on node132 at 2017-07-22 02:45:52
IDJOB=4244760
IDBENCH=115896
IDSOLVER=2625
FILE ID=node132/4244760-1500684352
RUNJOBID= node132-1500682387-18841
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB

SOLVER NAME= choco-solver 4.0.5
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-4244760-1500684352/watcher-4244760-1500684352 -o /tmp/evaluation-result-4244760-1500684352/solver-4244760-1500684352 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1391904809 HOME/instance-4244760-1500684352.xml

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

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=1391904809

node132.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		: 1600.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.61
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		: 1733.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.61
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		: 1600.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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 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.61
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		: 1600.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.61
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		: 1733.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.61
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	: 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	: 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		: 2668.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	: 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	: 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	: 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		: 2668.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:        31665836 kB
MemAvailable:   31715812 kB
Buffers:           47652 kB
Cached:           311172 kB
SwapCached:            0 kB
Active:           506132 kB
Inactive:         220460 kB
Active(anon):     370632 kB
Inactive(anon):     8616 kB
Active(file):     135500 kB
Inactive(file):   211844 kB
Unevictable:        5944 kB
Mlocked:            5944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7836 kB
Writeback:             0 kB
AnonPages:        373188 kB
Mapped:            42952 kB
Shmem:              8872 kB
Slab:              70880 kB
SReclaimable:      36932 kB
SUnreclaim:        33948 kB
KernelStack:        4752 kB
PageTables:         6168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     959292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61752 MiB
End job on node132 at 2017-07-22 02:51:10