Trace number 4255234

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-07-26)OPT100 21.2731 8.5012503

General information on the benchmark

NameRcpsp/Rcpsp-m1-j120/
Rcpsp-j120-50-05.xml
MD5SUM283e10528a8226f5fb6260f3e97a2c81
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark100
Best CPU time to get the best result obtained on this benchmark7.2938099
Satisfiable
(Un)Satisfiability was proved
Number of variables122
Number of constraints261
Number of domains2
Minimum domain size1
Maximum domain size627
Distribution of domain sizes[{"size":1,"count":1},{"size":627,"count":121}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":22},{"degree":6,"count":58},{"degree":7,"count":23},{"degree":8,"count":13},{"degree":9,"count":2}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":257},{"arity":56,"count":1},{"arity":58,"count":1},{"arity":59,"count":1},{"arity":68,"count":1}]
Number of extensional constraints0
Number of intensional constraints257
Distribution of constraint types[{"type":"intension","count":257},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin 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.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255234-1501621238.xml"  -tl '264s' -p 1 -x 3
0.00/0.34	c [HOME/instance-4255234-1501621238.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.41	c simple solver
0.00/0.47	c parse instance...
0.00/0.77	c solve instance...
18.00/6.36	o 626 
18.00/6.37	o 625 
18.00/6.38	o 624 
18.00/6.39	o 623 
18.00/6.40	o 622 
18.32/6.40	o 621 
18.32/6.41	o 620 
18.32/6.41	o 619 
18.32/6.42	o 618 
18.32/6.43	o 617 
18.32/6.43	o 616 
18.32/6.44	o 615 
18.32/6.44	o 614 
18.32/6.45	o 613 
18.32/6.46	o 612 
18.32/6.46	o 611 
18.32/6.47	o 610 
18.32/6.47	o 609 
18.32/6.48	o 608 
18.32/6.48	o 607 
18.32/6.49	o 606 
18.32/6.49	o 605 
18.55/6.50	o 604 
18.55/6.50	o 603 
18.55/6.51	o 602 
18.55/6.52	o 601 
18.55/6.52	o 600 
18.55/6.53	o 599 
18.55/6.53	o 598 
18.55/6.54	o 597 
18.55/6.54	o 596 
18.55/6.55	o 595 
18.55/6.55	o 594 
18.55/6.56	o 593 
18.55/6.56	o 592 
18.55/6.57	o 591 
18.55/6.57	o 590 
18.55/6.58	o 589 
18.55/6.58	o 588 
18.55/6.59	o 587 
18.55/6.59	o 586 
18.55/6.60	o 585 
18.86/6.60	o 584 
18.86/6.61	o 583 
18.86/6.61	o 582 
18.86/6.62	o 581 
18.86/6.62	o 580 
18.86/6.63	o 579 
18.86/6.63	o 578 
18.86/6.64	o 577 
18.86/6.64	o 576 
18.86/6.65	o 575 
18.86/6.65	o 574 
18.86/6.66	o 573 
18.86/6.66	o 572 
18.86/6.67	o 571 
18.86/6.67	o 570 
18.86/6.67	o 569 
18.86/6.68	o 568 
18.86/6.68	o 567 
18.86/6.69	o 566 
18.86/6.69	o 565 
18.86/6.70	o 564 
18.97/6.70	o 563 
18.97/6.71	o 562 
18.97/6.71	o 561 
18.97/6.72	o 560 
18.97/6.72	o 559 
18.97/6.73	o 558 
18.97/6.73	o 557 
18.97/6.74	o 556 
18.97/6.74	o 555 
18.97/6.75	o 554 
18.97/6.75	o 553 
18.97/6.76	o 552 
18.97/6.76	o 551 
18.97/6.77	o 550 
18.97/6.77	o 549 
18.97/6.77	o 548 
18.97/6.78	o 547 
18.97/6.78	o 546 
18.97/6.79	o 545 
18.97/6.79	o 544 
19.09/6.80	o 543 
19.09/6.80	o 542 
19.09/6.81	o 541 
19.09/6.81	o 540 
19.09/6.82	o 539 
19.09/6.82	o 538 
19.09/6.83	o 537 
19.09/6.83	o 536 
19.09/6.84	o 535 
19.09/6.84	o 534 
19.09/6.85	o 533 
19.09/6.85	o 532 
19.09/6.86	o 531 
19.09/6.86	o 530 
19.09/6.87	o 529 
19.09/6.87	o 528 
19.09/6.87	o 527 
19.09/6.88	o 526 
19.09/6.88	o 525 
19.09/6.89	o 524 
19.09/6.89	o 523 
19.21/6.90	o 522 
19.21/6.90	o 521 
19.21/6.91	o 520 
19.21/6.91	o 519 
19.21/6.92	o 518 
19.21/6.92	o 517 
19.21/6.93	o 516 
19.21/6.93	o 515 
19.21/6.94	o 514 
19.21/6.94	o 513 
19.21/6.94	o 512 
19.21/6.95	o 511 
19.21/6.95	o 510 
19.21/6.96	o 509 
19.21/6.96	o 508 
19.21/6.97	o 507 
19.21/6.97	o 506 
19.21/6.98	o 505 
19.21/6.98	o 504 
19.21/6.99	o 503 
19.21/6.99	o 502 
19.21/7.00	o 501 
19.34/7.00	o 500 
19.34/7.01	o 499 
19.34/7.01	o 498 
19.34/7.01	o 497 
19.34/7.02	o 496 
19.34/7.02	o 495 
19.34/7.03	o 494 
19.34/7.03	o 493 
19.34/7.04	o 492 
19.34/7.04	o 491 
19.34/7.05	o 490 
19.34/7.05	o 489 
19.34/7.06	o 488 
19.34/7.06	o 487 
19.34/7.07	o 486 
19.34/7.07	o 485 
19.34/7.07	o 484 
19.34/7.08	o 483 
19.34/7.08	o 482 
19.34/7.09	o 481 
19.34/7.09	o 480 
19.46/7.10	o 479 
19.46/7.10	o 478 
19.46/7.11	o 477 
19.46/7.11	o 476 
19.46/7.12	o 475 
19.46/7.12	o 474 
19.46/7.13	o 473 
19.46/7.13	o 472 
19.46/7.13	o 471 
19.46/7.14	o 470 
19.46/7.14	o 469 
19.46/7.15	o 468 
19.46/7.15	o 467 
19.46/7.16	o 466 
19.46/7.16	o 465 
19.46/7.17	o 464 
19.46/7.17	o 463 
19.46/7.18	o 462 
19.46/7.18	o 461 
19.46/7.18	o 460 
19.46/7.19	o 459 
19.46/7.19	o 458 
19.57/7.20	o 457 
19.57/7.20	o 456 
19.57/7.21	o 455 
19.57/7.21	o 454 
19.57/7.22	o 453 
19.57/7.22	o 452 
19.57/7.23	o 451 
19.57/7.23	o 450 
19.57/7.24	o 449 
19.57/7.24	o 448 
19.57/7.25	o 447 
19.57/7.25	o 446 
19.57/7.25	o 445 
19.57/7.26	o 444 
19.57/7.26	o 443 
19.57/7.27	o 442 
19.57/7.27	o 441 
19.57/7.28	o 440 
19.57/7.28	o 439 
19.57/7.29	o 438 
19.57/7.29	o 437 
19.57/7.30	o 436 
19.73/7.30	o 435 
19.73/7.31	o 434 
19.73/7.31	o 433 
19.73/7.31	o 432 
19.73/7.32	o 431 
19.73/7.32	o 430 
19.73/7.33	o 429 
19.73/7.33	o 428 
19.73/7.34	o 427 
19.73/7.34	o 426 
19.73/7.35	o 425 
19.73/7.35	o 424 
19.73/7.36	o 423 
19.73/7.36	o 422 
19.73/7.36	o 421 
19.73/7.37	o 420 
19.73/7.37	o 419 
19.73/7.38	o 418 
19.73/7.38	o 417 
19.73/7.39	o 416 
19.73/7.39	o 415 
19.84/7.40	o 414 
19.84/7.40	o 413 
19.84/7.41	o 412 
19.84/7.41	o 411 
19.84/7.41	o 410 
19.84/7.42	o 409 
19.84/7.42	o 408 
19.84/7.43	o 407 
19.84/7.43	o 406 
19.84/7.44	o 405 
19.84/7.44	o 404 
19.84/7.45	o 403 
19.84/7.45	o 402 
19.84/7.46	o 401 
19.84/7.46	o 400 
19.84/7.46	o 399 
19.84/7.47	o 398 
19.84/7.47	o 397 
19.84/7.48	o 396 
19.84/7.48	o 395 
19.84/7.49	o 394 
19.84/7.49	o 393 
19.94/7.50	o 392 
19.94/7.50	o 391 
19.94/7.51	o 390 
19.94/7.51	o 389 
19.94/7.52	o 388 
19.94/7.52	o 387 
19.94/7.52	o 386 
19.94/7.53	o 385 
19.94/7.53	o 384 
19.94/7.54	o 383 
19.94/7.54	o 382 
19.94/7.55	o 381 
19.94/7.55	o 380 
19.94/7.56	o 379 
19.94/7.56	o 378 
19.94/7.57	o 377 
19.94/7.57	o 376 
19.94/7.57	o 375 
19.94/7.58	o 374 
19.94/7.58	o 373 
19.94/7.59	o 372 
19.94/7.59	o 371 
20.05/7.60	o 370 
20.05/7.60	o 369 
20.05/7.61	o 368 
20.05/7.61	o 367 
20.05/7.62	o 366 
20.05/7.62	o 365 
20.05/7.62	o 364 
20.05/7.63	o 363 
20.05/7.63	o 362 
20.05/7.64	o 361 
20.05/7.64	o 360 
20.05/7.65	o 359 
20.05/7.65	o 358 
20.05/7.66	o 357 
20.05/7.66	o 356 
20.05/7.67	o 355 
20.05/7.67	o 354 
20.05/7.67	o 353 
20.05/7.68	o 352 
20.05/7.68	o 351 
20.05/7.69	o 350 
20.05/7.69	o 349 
20.05/7.70	o 348 
20.20/7.70	o 347 
20.20/7.71	o 346 
20.20/7.71	o 345 
20.20/7.72	o 344 
20.20/7.72	o 343 
20.20/7.73	o 342 
20.20/7.73	o 341 
20.20/7.73	o 340 
20.20/7.74	o 339 
20.20/7.74	o 338 
20.20/7.75	o 337 
20.20/7.75	o 336 
20.20/7.76	o 335 
20.20/7.76	o 334 
20.20/7.77	o 333 
20.20/7.77	o 332 
20.20/7.77	o 331 
20.20/7.78	o 330 
20.20/7.78	o 329 
20.20/7.79	o 328 
20.20/7.79	o 327 
20.20/7.80	o 326 
20.20/7.80	o 325 
20.33/7.81	o 324 
20.33/7.81	o 323 
20.33/7.82	o 322 
20.33/7.82	o 321 
20.33/7.83	o 320 
20.33/7.83	o 319 
20.33/7.83	o 318 
20.33/7.84	o 317 
20.33/7.84	o 316 
20.33/7.85	o 315 
20.33/7.85	o 314 
20.33/7.86	o 313 
20.33/7.86	o 312 
20.33/7.87	o 311 
20.33/7.87	o 310 
20.33/7.88	o 309 
20.33/7.88	o 308 
20.33/7.88	o 307 
20.33/7.89	o 306 
20.33/7.89	o 305 
20.49/7.90	o 304 
20.49/7.90	o 303 
20.49/7.91	o 302 
20.49/7.91	o 301 
20.49/7.92	o 300 
20.49/7.92	o 299 
20.49/7.93	o 298 
20.49/7.93	o 297 
20.49/7.93	o 296 
20.49/7.94	o 295 
20.49/7.94	o 294 
20.49/7.95	o 293 
20.49/7.95	o 292 
20.49/7.96	o 291 
20.49/7.96	o 290 
20.49/7.97	o 289 
20.49/7.97	o 288 
20.49/7.98	o 287 
20.49/7.98	o 286 
20.49/7.99	o 285 
20.49/7.99	o 284 
20.49/8.00	o 283 
20.67/8.00	o 282 
20.67/8.01	o 281 
20.67/8.01	o 280 
20.67/8.01	o 279 
20.67/8.02	o 278 
20.67/8.02	o 277 
20.67/8.03	o 276 
20.67/8.03	o 275 
20.67/8.04	o 274 
20.67/8.04	o 273 
20.67/8.05	o 272 
20.67/8.05	o 271 
20.67/8.06	o 270 
20.67/8.06	o 269 
20.67/8.07	o 268 
20.67/8.07	o 267 
20.67/8.07	o 266 
20.67/8.08	o 265 
20.67/8.08	o 264 
20.67/8.09	o 263 
20.67/8.09	o 262 
20.82/8.10	o 261 
20.82/8.10	o 260 
20.82/8.11	o 259 
20.82/8.11	o 258 
20.82/8.12	o 257 
20.82/8.12	o 256 
20.82/8.13	o 255 
20.82/8.13	o 254 
20.82/8.14	o 253 
20.82/8.14	o 252 
20.82/8.15	o 251 
20.82/8.15	o 250 
20.82/8.15	o 249 
20.82/8.16	o 248 
20.82/8.16	o 247 
20.82/8.17	o 246 
20.82/8.17	o 245 
20.82/8.18	o 244 
20.82/8.18	o 243 
20.82/8.19	o 242 
20.82/8.19	o 241 
20.93/8.20	o 240 
20.93/8.20	o 239 
20.93/8.21	o 238 
20.93/8.21	o 237 
20.93/8.22	o 236 
20.93/8.22	o 235 
20.93/8.23	o 234 
20.93/8.23	o 233 
20.93/8.23	o 232 
20.93/8.24	o 231 
20.93/8.24	o 230 
20.93/8.25	o 229 
20.93/8.25	o 228 
20.93/8.26	o 227 
20.93/8.26	o 226 
20.93/8.27	o 225 
20.93/8.27	o 224 
20.93/8.28	o 223 
20.93/8.28	o 222 
20.93/8.29	o 221 
20.93/8.29	o 220 
21.03/8.30	o 219 
21.03/8.30	o 218 
21.03/8.31	o 217 
21.03/8.31	o 216 
21.03/8.32	o 215 
21.03/8.32	o 214 
21.03/8.32	o 213 
21.03/8.33	o 212 
21.03/8.33	o 211 
21.03/8.33	o 210 
21.03/8.34	o 209 
21.03/8.34	o 208 
21.03/8.34	o 207 
21.03/8.35	o 206 
21.03/8.35	o 205 
21.03/8.35	o 204 
21.03/8.36	o 203 
21.03/8.36	o 202 
21.03/8.36	o 201 
21.03/8.37	o 200 
21.03/8.37	o 199 
21.03/8.38	o 198 
21.03/8.38	o 197 
21.03/8.39	o 196 
21.03/8.39	o 195 
21.13/8.40	o 194 
21.13/8.40	o 193 
21.13/8.41	o 192 
21.13/8.42	o 191 
21.13/8.43	o 190 
21.13/8.45	o 102 
21.13/8.46	o 101 
21.13/8.47	o 100 
21.13/8.48	s OPTIMUM FOUND
21.13/8.48	v <instantiation>
21.13/8.48	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] s[100] s[101] s[102] s[103] s[104] s[105] s[106] s[107] s[108] s[109] s[110] s[111] s[112] s[113] s[114] s[115] s[116] s[117] s[118] s[119] s[120] s[121] </list>
21.13/8.48	v 	<values>0 0 0 0 4 9 9 4 4 54 4 9 19 13 37 4 21 23 18 9 16 18 21 21 27 21 19 5 28 20 31 34 27 29 38 27 75 38 52 27 29 4 30 19 10 19 29 38 39 34 67 37 31 44 27 25 43 77 18 54 39 56 37 42 44 42 52 52 47 81 48 48 57 52 61 50 28 56 52 42 57 58 51 66 66 68 68 72 59 51 61 82 91 77 64 74 65 71 70 68 39 71 67 72 72 72 74 72 77 91 90 80 83 82 83 69 86 93 93 96 98 100 </values>
21.13/8.48	v </instantiation>

Verifier Data 

OK	100

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-4255234-1501621238/watcher-4255234-1501621238 -o /tmp/evaluation-result-4255234-1501621238/solver-4255234-1501621238 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24794 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 876184064 HOME/instance-4255234-1501621238.xml 

pid=27702
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.89 1.94 1.87 4/199 27705
/proc/meminfo: memFree=31578956/32770624 swapFree=0/215432
[pid=27705] ppid=27702 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (runsolver) D 27702 27705 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 61777259 24240128 107 18446744073709551615 4194304 4338465 140721401180560 140721401178200 139634548523735 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 27922432 140721401184348 140721401184837 140721401184837 140721401188298 0
/proc/27705/statm: 5918 107 54 36 0 2156 0

[startup+0.101573 s]
/proc/loadavg: 1.89 1.94 1.87 4/199 27705
/proc/meminfo: memFree=31578956/32770624 swapFree=0/215432
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200324 s]
/proc/loadavg: 1.89 1.94 1.87 4/199 27705
/proc/meminfo: memFree=31578956/32770624 swapFree=0/215432
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.301086 s]
/proc/loadavg: 1.89 1.94 1.87 4/199 27705
/proc/meminfo: memFree=31578956/32770624 swapFree=0/215432
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700174 s]
/proc/loadavg: 1.89 1.94 1.87 4/199 27705
/proc/meminfo: memFree=31578956/32770624 swapFree=0/215432
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5011 s]
/proc/loadavg: 2.06 1.97 1.88 5/215 27721
/proc/meminfo: memFree=31493136/32770624 swapFree=0/215448
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
[pid=27707] ppid=27705 vsize=13980732 CPUtime=3.44 cores=0,2,4,6
/proc/27707/stat : 27707 (java) S 27705 27705 18930 0 -1 1077944320 39278 0 0 0 335 9 0 0 20 0 15 0 61777269 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140721808603664 140672724618999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
/proc/27707/statm: 3495183 31695 3173 1 0 3483484 0
[pid=27707/tid=27708] ppid=27705 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/27707/task/27708/stat : 27708 (java) R 27705 27705 18930 0 -1 4202560 9893 0 0 0 123 4 0 0 20 0 15 0 61777269 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672728857416 140672345770070 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27709] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27709/stat : 27709 (java) S 27705 27705 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672666565392 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27710] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27710/stat : 27710 (java) S 27705 27705 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672665512848 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27711] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27711/stat : 27711 (java) S 27705 27705 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672664460304 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27712] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27712/stat : 27712 (java) S 27705 27705 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672663407760 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27713] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27713/stat : 27713 (java) S 27705 27705 18930 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672270378992 140672724630146 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27714] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27714/stat : 27714 (java) S 27705 27705 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672269325216 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27715] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27715/stat : 27715 (java) S 27705 27705 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672268272624 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27716] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27716/stat : 27716 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672267221200 140672724637595 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27717] ppid=27705 vsize=13980732 CPUtime=0.85 cores=0,2,4,6
/proc/27707/task/27717/stat : 27717 (java) R 27705 27705 18930 0 -1 4202560 14810 0 0 0 83 2 0 0 20 0 15 0 61777275 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672266154912 140672705340985 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27718] ppid=27705 vsize=13980732 CPUtime=0.81 cores=0,2,4,6
/proc/27707/task/27718/stat : 27718 (java) R 27705 27705 18930 0 -1 4202560 9085 0 0 0 80 1 0 0 20 0 15 0 61777275 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672265102304 140672709540759 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27719] ppid=27705 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/27707/task/27719/stat : 27719 (java) S 27705 27705 18930 0 -1 1077944384 4180 0 0 0 47 1 0 0 20 0 15 0 61777275 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672264063728 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27720] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27720/stat : 27720 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672263011424 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27721] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27721/stat : 27721 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777286 14316269568 31695 18446744073709551615 4194304 4196468 140721808621120 140672261957936 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 13990244

[startup+3.10069 s]
/proc/loadavg: 2.06 1.97 1.88 5/215 27721
/proc/meminfo: memFree=31418408/32770624 swapFree=0/215448
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
[pid=27707] ppid=27705 vsize=13980732 CPUtime=8.32 cores=0,2,4,6
/proc/27707/stat : 27707 (java) S 27705 27705 18930 0 -1 1077944320 56568 0 0 0 820 12 0 0 20 0 15 0 61777269 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140721808603664 140672724618999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
/proc/27707/statm: 3495183 49390 3188 1 0 3483484 0
[pid=27707/tid=27708] ppid=27705 vsize=13980732 CPUtime=2.88 cores=0,2,4,6
/proc/27707/task/27708/stat : 27708 (java) R 27705 27705 18930 0 -1 4202560 10676 0 0 0 283 5 0 0 20 0 15 0 61777269 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672728857816 140672707047320 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27709] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27709/stat : 27709 (java) S 27705 27705 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672666565392 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27710] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27710/stat : 27710 (java) S 27705 27705 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672665512848 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27711] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27711/stat : 27711 (java) S 27705 27705 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672664460304 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27712] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27712/stat : 27712 (java) S 27705 27705 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672663407760 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27713] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27713/stat : 27713 (java) S 27705 27705 18930 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672270378992 140672724630146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27714] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27714/stat : 27714 (java) S 27705 27705 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672269325216 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27715] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27715/stat : 27715 (java) S 27705 27705 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672268272624 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27716] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27716/stat : 27716 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672267221200 140672724637595 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27717] ppid=27705 vsize=13980732 CPUtime=2.45 cores=0,2,4,6
/proc/27707/task/27717/stat : 27717 (java) R 27705 27705 18930 0 -1 4202560 22851 0 0 0 242 3 0 0 20 0 15 0 61777275 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672266157376 140672704312099 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27718] ppid=27705 vsize=13980732 CPUtime=2.41 cores=0,2,4,6
/proc/27707/task/27718/stat : 27718 (java) R 27705 27705 18930 0 -1 4202560 15906 0 0 0 240 1 0 0 20 0 15 0 61777275 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672265108760 140672706144939 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27719] ppid=27705 vsize=13980732 CPUtime=0.55 cores=0,2,4,6
/proc/27707/task/27719/stat : 27719 (java) S 27705 27705 18930 0 -1 1077944384 5782 0 0 0 54 1 0 0 20 0 15 0 61777275 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672264063728 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27720] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27720/stat : 27720 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672263011424 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27721] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27721/stat : 27721 (java) S 27705 27705 18930 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 61777286 14316269568 49390 18446744073709551615 4194304 4196468 140721808621120 140672261957936 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 13990244

[startup+6.30063 s]
/proc/loadavg: 2.06 1.97 1.88 5/215 27721
/proc/meminfo: memFree=31348172/32770624 swapFree=0/215460
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
[pid=27707] ppid=27705 vsize=13980732 CPUtime=18 cores=0,2,4,6
/proc/27707/stat : 27707 (java) S 27705 27705 18930 0 -1 1077944320 83531 0 0 0 1785 15 0 0 20 0 15 0 61777269 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140721808603664 140672724618999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
/proc/27707/statm: 3495183 69079 3211 1 0 3483484 0
[pid=27707/tid=27708] ppid=27705 vsize=13980732 CPUtime=6.06 cores=0,2,4,6
/proc/27707/task/27708/stat : 27708 (java) R 27705 27705 18930 0 -1 4202560 11931 0 0 0 600 6 0 0 20 0 15 0 61777269 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672728856632 140672724630934 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27709] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27709/stat : 27709 (java) S 27705 27705 18930 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672666565392 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27710] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27710/stat : 27710 (java) S 27705 27705 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672665512848 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27711] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27711/stat : 27711 (java) S 27705 27705 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672664460304 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27712] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27712/stat : 27712 (java) S 27705 27705 18930 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672663407760 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27713] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27713/stat : 27713 (java) S 27705 27705 18930 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672270378992 140672724630146 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27714] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27714/stat : 27714 (java) S 27705 27705 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672269325216 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27715] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27715/stat : 27715 (java) S 27705 27705 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672268272624 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27716] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27716/stat : 27716 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672267221200 140672724637595 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27717] ppid=27705 vsize=13980732 CPUtime=5.62 cores=0,2,4,6
/proc/27707/task/27717/stat : 27717 (java) R 27705 27705 18930 0 -1 4202560 37594 0 0 0 558 4 0 0 20 0 15 0 61777275 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672266168816 140672709726681 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27718] ppid=27705 vsize=13980732 CPUtime=5.57 cores=0,2,4,6
/proc/27707/task/27718/stat : 27718 (java) R 27705 27705 18930 0 -1 4202560 24054 0 0 0 555 2 0 0 20 0 15 0 61777275 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672265116272 140672708610407 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27719] ppid=27705 vsize=13980732 CPUtime=0.69 cores=0,2,4,6
/proc/27707/task/27719/stat : 27719 (java) S 27705 27705 18930 0 -1 1077944384 7324 0 0 0 67 2 0 0 20 0 15 0 61777275 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672264063728 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27720] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27720/stat : 27720 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672263011424 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27721] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27721/stat : 27721 (java) S 27705 27705 18930 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 61777286 14316269568 69079 18446744073709551615 4194304 4196468 140721808621120 140672261957936 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
Current children cumulated CPU time (s) 18
Current children cumulated vsize (KiB) 13990244

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

[startup+6.40081 s]
/proc/loadavg: 2.06 1.97 1.88 5/215 27721
/proc/meminfo: memFree=31348172/32770624 swapFree=0/215460
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
[pid=27707] ppid=27705 vsize=13980732 CPUtime=18.32 cores=0,2,4,6
/proc/27707/stat : 27707 (java) S 27705 27705 18930 0 -1 1077944320 83863 0 0 0 1816 16 0 0 20 0 15 0 61777269 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140721808603664 140672724618999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
/proc/27707/statm: 3495183 69126 3213 1 0 3483484 0
[pid=27707/tid=27708] ppid=27705 vsize=13980732 CPUtime=6.16 cores=0,2,4,6
/proc/27707/task/27708/stat : 27708 (java) R 27705 27705 18930 0 -1 4202560 12204 0 0 0 610 6 0 0 20 0 15 0 61777269 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672728854960 140672724640829 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27709] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27709/stat : 27709 (java) S 27705 27705 18930 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672666565392 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27710] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27710/stat : 27710 (java) S 27705 27705 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672665512848 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27711] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27711/stat : 27711 (java) S 27705 27705 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672664460304 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27712] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27712/stat : 27712 (java) S 27705 27705 18930 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672663407760 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27713] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27713/stat : 27713 (java) S 27705 27705 18930 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672270378992 140672724630146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27714] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27714/stat : 27714 (java) S 27705 27705 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672269325216 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27715] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27715/stat : 27715 (java) S 27705 27705 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672268272624 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27716] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27716/stat : 27716 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672267221200 140672724637595 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27717] ppid=27705 vsize=13980732 CPUtime=5.71 cores=0,2,4,6
/proc/27707/task/27717/stat : 27717 (java) S 27705 27705 18930 0 -1 1077944384 37616 0 0 0 567 4 0 0 20 0 15 0 61777275 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672266168816 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27718] ppid=27705 vsize=13980732 CPUtime=5.67 cores=0,2,4,6
/proc/27707/task/27718/stat : 27718 (java) S 27705 27705 18930 0 -1 1077944384 24076 0 0 0 565 2 0 0 20 0 15 0 61777275 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672265116272 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27719] ppid=27705 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/27707/task/27719/stat : 27719 (java) S 27705 27705 18930 0 -1 1077944384 7339 0 0 0 68 2 0 0 20 0 15 0 61777275 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672264063728 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27720] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27720/stat : 27720 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672263011424 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27721] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27721/stat : 27721 (java) S 27705 27705 18930 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 61777286 14316269568 69126 18446744073709551615 4194304 4196468 140721808621120 140672261957936 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
Current children cumulated CPU time (s) 18.32
Current children cumulated vsize (KiB) 13990244

[startup+7.20071 s]
/proc/loadavg: 2.13 1.99 1.89 4/215 27721
/proc/meminfo: memFree=31318408/32770624 swapFree=0/215460
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
[pid=27707] ppid=27705 vsize=13980732 CPUtime=19.57 cores=0,2,4,6
/proc/27707/stat : 27707 (java) S 27705 27705 18930 0 -1 1077944320 84085 0 0 0 1941 16 0 0 20 0 15 0 61777269 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140721808603664 140672724618999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
/proc/27707/statm: 3495183 69323 3213 1 0 3483484 0
[pid=27707/tid=27708] ppid=27705 vsize=13980732 CPUtime=6.96 cores=0,2,4,6
/proc/27707/task/27708/stat : 27708 (java) R 27705 27705 18930 0 -1 4202560 12207 0 0 0 690 6 0 0 20 0 15 0 61777269 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672728850528 140672724630934 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27709] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27709/stat : 27709 (java) S 27705 27705 18930 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672666565392 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27710] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27710/stat : 27710 (java) S 27705 27705 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672665512848 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27711] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27711/stat : 27711 (java) S 27705 27705 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672664460304 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27712] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27712/stat : 27712 (java) S 27705 27705 18930 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672663407760 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27713] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27713/stat : 27713 (java) S 27705 27705 18930 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672270378992 140672724630146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27714] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27714/stat : 27714 (java) S 27705 27705 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672269325216 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27715] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27715/stat : 27715 (java) S 27705 27705 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672268272624 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27716] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27716/stat : 27716 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672267221200 140672724637595 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27717] ppid=27705 vsize=13980732 CPUtime=5.93 cores=0,2,4,6
/proc/27707/task/27717/stat : 27717 (java) S 27705 27705 18930 0 -1 1077944384 37673 0 0 0 589 4 0 0 20 0 15 0 61777275 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672266168816 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27718] ppid=27705 vsize=13980732 CPUtime=5.85 cores=0,2,4,6
/proc/27707/task/27718/stat : 27718 (java) R 27705 27705 18930 0 -1 4202560 24116 0 0 0 583 2 0 0 20 0 15 0 61777275 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672265116272 140672710642416 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27719] ppid=27705 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/27707/task/27719/stat : 27719 (java) S 27705 27705 18930 0 -1 1077944384 7461 0 0 0 74 2 0 0 20 0 15 0 61777275 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672264063728 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27720] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27720/stat : 27720 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672263011424 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27721] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27721/stat : 27721 (java) S 27705 27705 18930 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 61777286 14316269568 69323 18446744073709551615 4194304 4196468 140721808621120 140672261957936 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
Current children cumulated CPU time (s) 19.57
Current children cumulated vsize (KiB) 13990244

[startup+8.00067 s]
/proc/loadavg: 2.13 1.99 1.89 3/215 27721
/proc/meminfo: memFree=31317444/32770624 swapFree=0/215460
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
[pid=27707] ppid=27705 vsize=13980732 CPUtime=20.67 cores=0,2,4,6
/proc/27707/stat : 27707 (java) S 27705 27705 18930 0 -1 1077944320 84206 0 0 0 2051 16 0 0 20 0 15 0 61777269 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140721808603664 140672724618999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
/proc/27707/statm: 3495183 69398 3215 1 0 3483484 0
[pid=27707/tid=27708] ppid=27705 vsize=13980732 CPUtime=7.76 cores=0,2,4,6
/proc/27707/task/27708/stat : 27708 (java) R 27705 27705 18930 0 -1 4202560 12216 0 0 0 770 6 0 0 20 0 15 0 61777269 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672728850720 140672724640829 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27709] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27709/stat : 27709 (java) S 27705 27705 18930 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672666565392 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27710] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27710/stat : 27710 (java) S 27705 27705 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672665512848 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27711] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27711/stat : 27711 (java) S 27705 27705 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672664460304 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27712] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27712/stat : 27712 (java) S 27705 27705 18930 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672663407760 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27713] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27713/stat : 27713 (java) S 27705 27705 18930 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672270378992 140672724630146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27714] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27714/stat : 27714 (java) S 27705 27705 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672269325216 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27715] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27715/stat : 27715 (java) S 27705 27705 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672268272624 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27716] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27716/stat : 27716 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672267221200 140672724637595 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27717] ppid=27705 vsize=13980732 CPUtime=6.1 cores=0,2,4,6
/proc/27707/task/27717/stat : 27717 (java) R 27705 27705 18930 0 -1 4202560 37705 0 0 0 606 4 0 0 20 0 15 0 61777275 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672266157520 140672705810992 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27718] ppid=27705 vsize=13980732 CPUtime=5.96 cores=0,2,4,6
/proc/27707/task/27718/stat : 27718 (java) S 27705 27705 18930 0 -1 1077944384 24141 0 0 0 594 2 0 0 20 0 15 0 61777275 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672265116272 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27719] ppid=27705 vsize=13980732 CPUtime=0.79 cores=0,2,4,6
/proc/27707/task/27719/stat : 27719 (java) S 27705 27705 18930 0 -1 1077944384 7516 0 0 0 77 2 0 0 20 0 15 0 61777275 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672264063728 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27720] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27720/stat : 27720 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672263011424 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27721] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27721/stat : 27721 (java) S 27705 27705 18930 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 61777286 14316269568 69398 18446744073709551615 4194304 4196468 140721808621120 140672261957936 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
Current children cumulated CPU time (s) 20.67
Current children cumulated vsize (KiB) 13990244

[startup+8.40069 s]
/proc/loadavg: 2.13 1.99 1.89 3/215 27721
/proc/meminfo: memFree=31317444/32770624 swapFree=0/215460
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
[pid=27707] ppid=27705 vsize=13980732 CPUtime=21.13 cores=0,2,4,6
/proc/27707/stat : 27707 (java) S 27705 27705 18930 0 -1 1077944320 84224 0 0 0 2097 16 0 0 20 0 15 0 61777269 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140721808603664 140672724618999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
/proc/27707/statm: 3495183 69422 3215 1 0 3483484 0
[pid=27707/tid=27708] ppid=27705 vsize=13980732 CPUtime=8.16 cores=0,2,4,6
/proc/27707/task/27708/stat : 27708 (java) R 27705 27705 18930 0 -1 4202560 12217 0 0 0 810 6 0 0 20 0 15 0 61777269 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672728858112 140672347846578 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27709] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27709/stat : 27709 (java) S 27705 27705 18930 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672666565392 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27710] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27710/stat : 27710 (java) S 27705 27705 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672665512848 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27711] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27711/stat : 27711 (java) S 27705 27705 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672664460304 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27712] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27712/stat : 27712 (java) S 27705 27705 18930 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 61777270 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672663407760 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27713] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27713/stat : 27713 (java) S 27705 27705 18930 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672270378992 140672724630146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27714] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27714/stat : 27714 (java) S 27705 27705 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672269325216 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27715] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27715/stat : 27715 (java) S 27705 27705 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61777272 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672268272624 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27716] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27716/stat : 27716 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672267221200 140672724637595 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27717] ppid=27705 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/27707/task/27717/stat : 27717 (java) S 27705 27705 18930 0 -1 1077944384 37714 0 0 0 610 4 0 0 20 0 15 0 61777275 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672266168816 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27718] ppid=27705 vsize=13980732 CPUtime=5.97 cores=0,2,4,6
/proc/27707/task/27718/stat : 27718 (java) S 27705 27705 18930 0 -1 1077944384 24143 0 0 0 595 2 0 0 20 0 15 0 61777275 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672265116272 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27719] ppid=27705 vsize=13980732 CPUtime=0.79 cores=0,2,4,6
/proc/27707/task/27719/stat : 27719 (java) S 27705 27705 18930 0 -1 1077944384 7522 0 0 0 77 2 0 0 20 0 15 0 61777275 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672264063728 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27720] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27720/stat : 27720 (java) S 27705 27705 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61777275 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672263011424 140672724629205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
[pid=27707/tid=27721] ppid=27705 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/27707/task/27721/stat : 27721 (java) S 27705 27705 18930 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 61777286 14316269568 69422 18446744073709551615 4194304 4196468 140721808621120 140672261957936 140672724630146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30339072 140721808622035 140721808622210 140721808622210 140721808625615 0
Current children cumulated CPU time (s) 21.13
Current children cumulated vsize (KiB) 13990244

[startup+8.5006 s]
/proc/loadavg: 2.13 1.99 1.89 3/215 27721
/proc/meminfo: memFree=31317444/32770624 swapFree=0/215460
[pid=27705] ppid=27702 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/27705/stat : 27705 (xcsp3-exec) S 27702 27705 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 61777259 9740288 345 18446744073709551615 4194304 5098028 140731334582240 140731334580344 140334452228732 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9826304 140731334590875 140731334591078 140731334591078 140731334594539 0
/proc/27705/statm: 2378 345 289 221 0 87 0
[pid=27707] ppid=27705 vsize=0 CPUtime=21.26 cores=0,2,4,6
/proc/27707/stat : 27707 (java) Z 27705 27705 18930 0 -1 4227084 84341 0 0 0 2109 17 0 0 20 0 2 0 61777269 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/27707/statm: 0 0 0 0 0 0 0
[pid=27707/tid=27719] ppid=27705 vsize=0 CPUtime=0.81 cores=0,2,4,6
/proc/27707/task/27719/stat : 27719 (java) R 27705 27705 18930 0 -1 4203588 7541 0 0 0 78 3 0 0 20 0 2 0 61777275 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 21.26
Current children cumulated vsize (KiB) 9512

Child status: 0
Real time (s): 8.50125
CPU time (s): 21.2731
CPU user time (s): 21.0935
CPU system time (s): 0.179626
CPU usage (%): 250.235
Max. virtual memory (cumulated for all children) (KiB): 13993880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.0935
system time used= 0.179626
maximum resident set size= 278288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3330
involuntary context switches= 46

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04536 second user time and 0.084929 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-01 22:46:20
IDJOB=4255234
IDBENCH=129359
IDSOLVER=2637
FILE ID=node132/4255234-1501621238
RUNJOBID= node132-1501617097-24794
PBS_JOBID= 
Free space on /tmp= 61872 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-50-05.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255234-1501621238/watcher-4255234-1501621238 -o /tmp/evaluation-result-4255234-1501621238/solver-4255234-1501621238 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24794 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 876184064 HOME/instance-4255234-1501621238.xml

TIME LIMIT= 264 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 283e10528a8226f5fb6260f3e97a2c81
RANDOM SEED=876184064

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31579212 kB
MemAvailable:   31684092 kB
Buffers:          120748 kB
Cached:           282984 kB
SwapCached:            0 kB
Active:           544480 kB
Inactive:         239876 kB
Active(anon):     381172 kB
Inactive(anon):    24444 kB
Active(file):     163308 kB
Inactive(file):   215432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7708 kB
Writeback:             0 kB
AnonPages:        529828 kB
Mapped:            50780 kB
Shmem:             25276 kB
Slab:             109708 kB
SReclaimable:      83952 kB
SUnreclaim:        25756 kB
KernelStack:        3824 kB
PageTables:         5636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1207052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    354304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61864 MiB
End job on node132 at 2017-08-01 22:46:29