Trace number 4270232

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-09)SAT (TO)196 247.871 240.019

General information on the benchmark

NameRcpsp/Rcpsp-m1-j120/
Rcpsp-j120-46-04.xml
MD5SUM2bf32ca1cbb3a17ab70e7ee7c2cd4ace
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark180
Best CPU time to get the best result obtained on this benchmark251.87601
Satisfiable
(Un)Satisfiability was proved
Number of variables122
Number of constraints261
Number of domains2
Minimum domain size1
Maximum domain size650
Distribution of domain sizes[{"size":1,"count":1},{"size":650,"count":121}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":2},{"degree":4,"count":3},{"degree":5,"count":29},{"degree":6,"count":41},{"degree":7,"count":32},{"degree":8,"count":12},{"degree":9,"count":3}]
Minimum constraint arity2
Maximum constraint arity71
Distribution of constraint arities[{"arity":2,"count":257},{"arity":51,"count":1},{"arity":54,"count":1},{"arity":65,"count":1},{"arity":71,"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.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270232-1502622272.xml"  -tl '264s' -p 1 -x 0
0.19/0.33	c [HOME/instance-4270232-1502622272.xml, -tl, 264s, -p, 1, -x, 0]
0.19/0.39	c simple solver
0.36/0.45	c parse instance...
0.97/0.73	c solve instance...
2.96/1.43	o 649 
3.86/1.70	o 648 
4.48/1.92	o 647 
5.11/2.15	o 646 
5.68/2.38	o 645 
6.59/2.60	o 644 
7.19/2.80	o 643 
7.83/3.09	o 642 
8.40/3.23	o 641 
8.70/3.35	o 640 
9.00/3.41	o 639 
9.00/3.49	o 638 
9.26/3.57	o 637 
9.37/3.61	o 636 
9.37/3.66	o 635 
9.51/3.76	o 634 
9.63/3.85	o 633 
9.74/3.96	o 632 
9.95/4.06	o 631 
10.25/4.14	o 630 
10.47/4.22	o 629 
10.58/4.33	o 628 
10.69/4.45	o 627 
10.83/4.53	o 626 
10.93/4.65	o 625 
11.04/4.73	o 624 
11.14/4.81	o 623 
11.25/4.92	o 622 
11.25/5.00	o 621 
11.36/5.08	o 620 
11.47/5.18	o 619 
11.61/5.28	o 618 
11.75/5.36	o 617 
11.85/5.48	o 616 
11.95/5.55	o 615 
12.06/5.63	o 614 
12.16/5.72	o 613 
12.48/6.01	o 612 
12.58/6.11	o 611 
12.58/6.20	o 610 
12.68/6.29	o 609 
12.78/6.38	o 608 
12.78/6.47	o 607 
13.00/6.56	o 606 
13.20/6.74	o 605 
13.30/6.89	o 604 
13.51/7.05	o 603 
13.70/7.21	o 602 
13.81/7.36	o 601 
14.01/7.52	o 600 
14.19/7.67	o 599 
14.29/7.80	o 598 
14.51/7.92	o 597 
14.62/8.04	o 596 
14.72/8.17	o 595 
14.81/8.29	o 594 
15.01/8.41	o 593 
15.12/8.59	o 592 
17.44/10.86	o 591 
17.55/10.96	o 590 
17.65/11.03	o 589 
17.76/11.13	o 588 
17.85/11.23	o 587 
17.98/11.34	o 586 
18.11/11.44	o 585 
18.21/11.54	o 584 
18.31/11.61	o 583 
18.41/11.71	o 582 
18.51/11.81	o 581 
18.61/11.91	o 580 
18.72/12.02	o 579 
18.82/12.12	o 578 
18.91/12.22	o 577 
19.01/12.32	o 576 
19.11/12.42	o 575 
19.21/12.52	o 574 
19.73/13.01	o 573 
19.83/13.13	o 572 
19.92/13.25	o 571 
20.02/13.35	o 570 
20.13/13.45	o 569 
20.23/13.55	o 568 
20.35/13.66	o 567 
20.46/13.76	o 566 
20.56/13.86	o 565 
20.66/13.96	o 564 
20.77/14.05	o 563 
20.94/14.15	o 562 
21.10/14.24	o 561 
21.20/14.33	o 560 
21.30/14.41	o 559 
21.30/14.49	o 558 
21.40/14.58	o 557 
21.50/14.67	o 556 
21.60/14.76	o 555 
21.70/14.84	o 554 
21.80/14.92	o 553 
21.80/15.00	o 552 
21.91/15.09	o 551 
22.10/15.20	o 550 
22.20/15.34	o 549 
22.31/15.47	o 548 
22.51/15.61	o 547 
22.62/15.72	o 546 
22.93/16.04	o 545 
23.03/16.16	o 544 
23.12/16.29	o 543 
23.32/16.41	o 542 
23.42/16.53	o 541 
23.52/16.65	o 540 
23.63/16.77	o 539 
23.86/16.93	o 538 
23.97/17.08	o 537 
24.16/17.25	o 536 
24.36/17.43	o 535 
24.56/17.60	o 534 
24.66/17.77	o 533 
24.86/17.93	o 532 
24.97/18.10	o 531 
25.16/18.27	o 530 
25.36/18.43	o 529 
25.46/18.60	o 528 
25.66/18.77	o 527 
25.77/18.86	o 526 
25.87/18.94	o 525 
25.98/19.03	o 524 
26.08/19.11	o 523 
26.08/19.19	o 522 
26.17/19.27	o 521 
26.27/19.36	o 520 
26.38/19.45	o 519 
26.48/19.53	o 518 
26.58/19.62	o 517 
26.68/19.71	o 516 
26.68/19.79	o 515 
26.78/19.88	o 514 
26.90/19.96	o 513 
27.01/20.05	o 512 
27.11/20.13	o 511 
27.20/20.22	o 510 
27.30/20.30	o 509 
27.30/20.39	o 508 
27.40/20.46	o 507 
27.50/20.54	o 506 
27.60/20.63	o 505 
27.70/20.71	o 504 
27.70/20.79	o 503 
27.80/20.88	o 502 
27.90/20.96	o 501 
28.01/21.04	o 500 
28.11/21.12	o 499 
28.20/21.20	o 498 
28.20/21.28	o 497 
28.30/21.36	o 496 
28.40/21.43	o 495 
28.50/21.51	o 494 
28.50/21.58	o 493 
28.60/21.66	o 492 
28.70/21.74	o 491 
28.80/21.83	o 490 
28.90/21.90	o 489 
28.90/21.98	o 488 
29.01/22.05	o 487 
29.11/22.13	o 486 
29.20/22.21	o 485 
29.20/22.29	o 484 
29.30/22.36	o 483 
29.40/22.44	o 482 
29.51/22.53	o 481 
29.61/22.61	o 480 
29.61/22.69	o 479 
29.71/22.77	o 478 
29.81/22.85	o 477 
29.91/22.93	o 476 
30.02/23.01	o 475 
30.02/23.09	o 474 
30.12/23.17	o 473 
30.21/23.26	o 472 
30.31/23.34	o 471 
30.41/23.41	o 470 
30.41/23.49	o 469 
30.51/23.57	o 468 
30.61/23.65	o 467 
30.71/23.73	o 466 
30.81/23.81	o 465 
30.91/23.90	o 464 
30.91/23.97	o 463 
31.02/24.06	o 462 
31.12/24.13	o 461 
31.21/24.21	o 460 
31.31/24.30	o 459 
31.31/24.38	o 458 
31.41/24.46	o 457 
31.51/24.53	o 456 
31.61/24.62	o 455 
31.61/24.69	o 454 
31.71/24.78	o 453 
31.81/24.86	o 452 
31.91/24.94	o 451 
32.02/25.03	o 450 
32.12/25.11	o 449 
32.22/25.20	o 448 
32.22/25.28	o 447 
32.32/25.38	o 446 
32.43/25.47	o 445 
32.53/25.56	o 444 
32.63/25.66	o 443 
32.72/25.75	o 442 
32.83/25.84	o 441 
32.93/25.93	o 440 
33.04/26.02	o 439 
33.23/26.29	o 438 
33.44/26.42	o 437 
33.54/26.51	o 436 
33.64/26.61	o 435 
33.74/26.71	o 434 
33.84/26.83	o 433 
33.94/26.95	o 432 
34.05/27.07	o 431 
34.15/27.17	o 430 
34.24/27.29	o 429 
34.44/27.41	o 428 
34.54/27.51	o 427 
34.64/27.63	o 426 
34.74/27.74	o 425 
34.84/27.84	o 424 
34.94/27.95	o 423 
35.06/28.07	o 422 
35.23/28.18	o 421 
35.42/28.30	o 420 
35.52/28.41	o 419 
35.62/28.52	o 418 
35.79/28.64	o 417 
35.89/28.75	o 416 
36.09/28.91	o 415 
36.19/29.07	o 414 
36.30/29.17	o 413 
36.49/29.33	o 412 
36.69/29.50	o 411 
36.69/29.59	o 410 
36.79/29.69	o 409 
36.88/29.78	o 408 
36.98/29.88	o 407 
37.08/29.97	o 406 
37.19/30.07	o 405 
37.29/30.16	o 404 
37.38/30.26	o 403 
37.48/30.35	o 402 
37.58/30.45	o 401 
37.69/30.55	o 400 
37.79/30.65	o 399 
37.89/30.74	o 398 
38.03/30.84	o 397 
38.13/30.92	o 396 
38.24/31.05	o 395 
38.34/31.18	o 394 
38.53/31.31	o 393 
38.63/31.44	o 392 
38.73/31.52	o 391 
38.84/31.60	o 390 
38.94/31.73	o 389 
39.04/31.81	o 388 
39.14/31.94	o 387 
39.25/32.02	o 386 
39.35/32.15	o 385 
39.44/32.23	o 384 
39.54/32.36	o 383 
39.64/32.49	o 382 
39.74/32.58	o 381 
39.85/32.66	o 380 
39.97/32.80	o 379 
40.17/32.93	o 378 
40.28/33.06	o 377 
40.47/33.21	o 376 
40.58/33.30	o 375 
40.68/33.47	o 374 
40.88/33.64	o 373 
40.98/33.73	o 372 
41.08/33.83	o 371 
41.21/33.99	o 370 
41.42/34.15	o 369 
41.61/34.30	o 368 
41.71/34.45	o 367 
41.91/34.60	o 366 
42.02/34.73	o 365 
42.12/34.85	o 364 
42.22/34.97	o 363 
42.33/35.09	o 362 
42.52/35.21	o 361 
42.62/35.32	o 360 
42.73/35.44	o 359 
42.84/35.56	o 358 
42.94/35.68	o 357 
43.14/35.82	o 356 
43.24/35.96	o 355 
43.94/36.60	o 354 
44.25/37.00	o 353 
44.46/37.16	o 352 
44.65/37.31	o 351 
44.76/37.42	o 350 
44.86/37.53	o 349 
44.96/37.65	o 348 
45.06/37.78	o 347 
45.32/37.92	o 346 
45.43/38.06	o 345 
45.53/38.18	o 344 
45.72/38.30	o 343 
45.82/38.44	o 342 
45.92/38.56	o 341 
46.02/38.68	o 340 
46.22/38.82	o 339 
46.32/38.94	o 338 
46.43/39.08	o 337 
46.62/39.20	o 336 
46.72/39.32	o 335 
46.82/39.45	o 334 
46.92/39.58	o 333 
47.12/39.72	o 332 
47.22/39.85	o 331 
47.32/39.98	o 330 
47.53/40.11	o 329 
47.62/40.24	o 328 
47.72/40.37	o 327 
47.92/40.50	o 326 
48.02/40.63	o 325 
48.12/40.77	o 324 
48.32/40.90	o 323 
48.43/41.03	o 322 
48.53/41.16	o 321 
48.62/41.30	o 320 
48.82/41.44	o 319 
48.92/41.58	o 318 
49.12/41.72	o 317 
49.22/41.85	o 316 
49.32/41.99	o 315 
49.53/42.13	o 314 
49.62/42.27	o 313 
49.90/42.41	o 312 
50.00/42.55	o 311 
50.20/42.72	o 310 
50.30/42.88	o 309 
50.51/43.04	o 308 
50.70/43.20	o 307 
50.80/43.36	o 306 
51.00/43.53	o 305 
51.10/43.69	o 304 
51.30/43.85	o 303 
51.40/44.01	o 302 
51.61/44.18	o 301 
51.80/44.35	o 300 
52.00/44.54	o 299 
52.20/44.72	o 298 
52.40/44.93	o 297 
52.61/45.13	o 296 
52.80/45.33	o 295 
53.00/45.55	o 294 
53.20/45.75	o 293 
53.40/45.95	o 292 
53.61/46.17	o 291 
53.90/46.45	o 290 
54.21/46.70	o 289 
54.41/46.99	o 288 
54.62/47.17	o 225 
54.62/47.19	o 224 
54.71/47.23	o 218 
57.14/49.61	o 203 
68.96/61.41	o 202 
73.06/65.51	o 201 
74.67/67.15	o 199 
86.72/79.12	o 198 
210.92/203.16	o 197 
246.44/238.60	o 196 
247.85/240.01	s SATISFIABLE
247.85/240.01	v <instantiation>
247.85/240.01	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>
247.85/240.01	v 	<values>0 0 0 0 7 16 21 18 46 36 44 13 49 31 45 26 38 104 63 6 26 18 7 93 16 55 46 63 22 145 63 112 22 71 80 71 63 70 26 112 104 33 37 31 55 49 55 70 80 8 24 75 80 113 70 38 113 122 49 112 96 158 84 47 47 125 102 128 96 104 131 155 113 129 113 131 122 124 170 93 134 130 87 122 136 146 130 155 146 158 122 150 113 92 132 158 149 125 163 158 169 169 172 168 134 115 172 136 136 179 179 185 172 185 154 155 179 187 188 195 190 196 </values>
247.85/240.01	v </instantiation>
247.85/240.01	c Unexpected resolution interruption!

Verifier Data 

OK	196

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14986 MiB free)
  memory of node 1: 16384 MiB (15423 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270232-1502622272/watcher-4270232-1502622272 -o /tmp/evaluation-result-4270232-1502622272/solver-4270232-1502622272 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20542 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 391221173 HOME/instance-4270232-1502622272.xml 

running on 4 cores: 1,3,5,7

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25536, runsolver pid=25533

[startup+0.10013 s]*
/proc/loadavg: 2.02 2.05 1.95 1/183 25542
/proc/meminfo: memFree=31139700/32770624 swapFree=67108860/67108860
[pid=25536] ppid=25533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25536/stat : 25536 (xcsp3-exec) S 25533 25536 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64447874 9740288 345 18446744073709551615 4194304 5098028 140730794485856 140730794483960 140499342049916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 27815936 140730794492287 140730794492490 140730794492490 140730794495979 0
/proc/25536/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.20937 s]*
/proc/loadavg: 2.10 2.07 1.96 2/205 25565
/proc/meminfo: memFree=31118892/32770624 swapFree=67108860/67108860
[pid=25536] ppid=25533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25536/stat : 25536 (xcsp3-exec) S 25533 25536 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64447874 9740288 345 18446744073709551615 4194304 5098028 140730794485856 140730794483960 140499342049916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 27815936 140730794492287 140730794492490 140730794492490 140730794495979 0
/proc/25536/statm: 2378 345 289 221 0 87 0
[pid=25543] ppid=25536 vsize=13907304 memory=22128 CPUtime=0.05 cores=1,3,5,7
/proc/25543/stat : 25543 (java) S 25536 25536 897 0 -1 1077944320 4936 0 0 0 4 1 0 0 20 0 14 0 64447885 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140733686259792 140185118605047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
/proc/25543/statm: 3476826 5532 2564 1 0 3466323 0
[pid=25543/tid=25544] ppid=25536 vsize=13907304 memory=8390339637985935414 CPUtime=0.04 cores=1,3,5,7
/proc/25543/task/25544/stat : 25544 (java) D 25536 25536 897 0 -1 4202560 3111 0 0 0 4 0 0 0 20 0 14 0 64447885 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140185122842528 140185118627069 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25545] ppid=25536 vsize=13907304 memory=307370894534390116 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25545/stat : 25545 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64447886 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140185053038864 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25546] ppid=25536 vsize=13907304 memory=288370390215259776 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25546/stat : 25546 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64447886 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140185051986320 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25547] ppid=25536 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25547/stat : 25547 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64447886 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140185050933776 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25548] ppid=25536 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25548/stat : 25548 (java) S 25536 25536 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64447886 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140185049881232 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25549] ppid=25536 vsize=13907304 memory=140014063548032 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25549/stat : 25549 (java) S 25536 25536 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64447887 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140184596883952 140185118616194 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25550] ppid=25536 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25550/stat : 25550 (java) S 25536 25536 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64447887 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140184595830176 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25551] ppid=25536 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25551/stat : 25551 (java) S 25536 25536 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64447888 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140184594777584 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25554] ppid=25536 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25554/stat : 25554 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64447890 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140184593726160 140185118623643 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25555] ppid=25536 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25555/stat : 25555 (java) S 25536 25536 897 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 14 0 64447890 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140184592672752 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25556] ppid=25536 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25556/stat : 25556 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64447890 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140184591620208 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25557] ppid=25536 vsize=13907304 memory=140014063548032 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25557/stat : 25557 (java) S 25536 25536 897 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 14 0 64447890 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140184590567664 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25558] ppid=25536 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25558/stat : 25558 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64447890 14241079296 5532 18446744073709551615 4194304 4196468 140733686277248 140184589515360 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23508 KiB

[startup+0.31099 s]*
/proc/loadavg: 2.10 2.07 1.96 6/212 25572
/proc/meminfo: memFree=31105412/32770624 swapFree=67108860/67108860
[pid=25536] ppid=25533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25536/stat : 25536 (xcsp3-exec) S 25533 25536 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64447874 9740288 345 18446744073709551615 4194304 5098028 140730794485856 140730794483960 140499342049916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 27815936 140730794492287 140730794492490 140730794492490 140730794495979 0
/proc/25536/statm: 2378 345 289 221 0 87 0
[pid=25543] ppid=25536 vsize=13974352 memory=31308 CPUtime=0.19 cores=1,3,5,7
/proc/25543/stat : 25543 (java) S 25536 25536 897 0 -1 1077944320 6284 0 0 0 18 1 0 0 20 0 15 0 64447885 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140733686259792 140185118605047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
/proc/25543/statm: 3493588 7827 2962 1 0 3482964 0
[pid=25543/tid=25544] ppid=25536 vsize=13974352 memory=-8774313645642428999 CPUtime=0.11 cores=1,3,5,7
/proc/25543/task/25544/stat : 25544 (java) R 25536 25536 897 0 -1 4202560 3573 0 0 0 11 0 0 0 20 0 15 0 64447885 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140185122835648 140185110842174 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25545] ppid=25536 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25545/stat : 25545 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64447886 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140185053038864 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25546] ppid=25536 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25546/stat : 25546 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64447886 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140185051986320 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25547] ppid=25536 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25547/stat : 25547 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64447886 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140185050933776 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25548] ppid=25536 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25548/stat : 25548 (java) S 25536 25536 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64447886 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140185049881232 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25549] ppid=25536 vsize=13974352 memory=140014063548032 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25549/stat : 25549 (java) S 25536 25536 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64447887 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140184596883952 140185118616194 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25550] ppid=25536 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25550/stat : 25550 (java) S 25536 25536 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64447887 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140184595830176 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25551] ppid=25536 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25551/stat : 25551 (java) S 25536 25536 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64447888 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140184594777584 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25554] ppid=25536 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25554/stat : 25554 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140184593726160 140185118623643 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25555] ppid=25536 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25555/stat : 25555 (java) R 25536 25536 897 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 64447890 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140184592672752 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25556] ppid=25536 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25556/stat : 25556 (java) S 25536 25536 897 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 15 0 64447890 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140184591620208 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25557] ppid=25536 vsize=13974352 memory=140014063548032 CPUtime=0.04 cores=1,3,5,7
/proc/25543/task/25557/stat : 25557 (java) R 25536 25536 897 0 -1 4202560 684 0 0 0 4 0 0 0 20 0 15 0 64447890 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140184590563392 140185098322394 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25558] ppid=25536 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25558/stat : 25558 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140184589515360 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25571] ppid=25536 vsize=13974352 memory=140014063548032 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25571/stat : 25571 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64447899 14309736448 7827 18446744073709551615 4194304 4196468 140733686277248 140184588462896 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32688 KiB

[startup+0.700787 s]
/proc/loadavg: 2.10 2.07 1.96 6/212 25572
/proc/meminfo: memFree=31073620/32770624 swapFree=67108860/67108860
[pid=25536] ppid=25533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25536/stat : 25536 (xcsp3-exec) S 25533 25536 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64447874 9740288 345 18446744073709551615 4194304 5098028 140730794485856 140730794483960 140499342049916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 27815936 140730794492287 140730794492490 140730794492490 140730794495979 0
/proc/25536/statm: 2378 345 289 221 0 87 0
[pid=25543] ppid=25536 vsize=13980732 memory=60076 CPUtime=0.97 cores=1,3,5,7
/proc/25543/stat : 25543 (java) S 25536 25536 897 0 -1 1077944320 12125 0 0 0 92 5 0 0 20 0 15 0 64447885 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140733686259792 140185118605047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
/proc/25543/statm: 3495183 15019 3155 1 0 3483476 0
[pid=25543/tid=25544] ppid=25536 vsize=13980732 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/25543/task/25544/stat : 25544 (java) R 25536 25536 897 0 -1 4202560 8468 0 0 0 46 4 0 0 20 0 15 0 64447885 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140185122826352 140185102685534 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25545] ppid=25536 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25545/stat : 25545 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140185053038864 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25546] ppid=25536 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25546/stat : 25546 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140185051986320 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25547] ppid=25536 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25547/stat : 25547 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140185050933776 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25548] ppid=25536 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25548/stat : 25548 (java) S 25536 25536 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140185049881232 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25549] ppid=25536 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25549/stat : 25549 (java) S 25536 25536 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64447887 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140184596883952 140185118616194 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25550] ppid=25536 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25550/stat : 25550 (java) S 25536 25536 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64447887 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140184595830176 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25551] ppid=25536 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25551/stat : 25551 (java) S 25536 25536 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64447888 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140184594777584 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25554] ppid=25536 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25554/stat : 25554 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140184593726160 140185118623643 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25555] ppid=25536 vsize=13980732 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25543/task/25555/stat : 25555 (java) R 25536 25536 897 0 -1 4202560 642 0 0 0 9 0 0 0 20 0 15 0 64447890 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140184592660304 140185097830035 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25556] ppid=25536 vsize=13980732 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25543/task/25556/stat : 25556 (java) R 25536 25536 897 0 -1 4202560 496 0 0 0 8 0 0 0 20 0 15 0 64447890 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140184591609008 140185102893760 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25557] ppid=25536 vsize=13980732 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/25543/task/25557/stat : 25557 (java) S 25536 25536 897 0 -1 1077944384 1213 0 0 0 27 0 0 0 20 0 15 0 64447890 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140184590567664 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25558] ppid=25536 vsize=13980732 memory=43932 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25558/stat : 25558 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140184589515360 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25571] ppid=25536 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25571/stat : 25571 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64447899 14316269568 15019 18446744073709551615 4194304 4196468 140733686277248 140184588462896 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 61456 KiB

[startup+1.50088 s]
/proc/loadavg: 2.10 2.07 1.96 5/195 25578
/proc/meminfo: memFree=31064968/32770624 swapFree=67108860/67108860
[pid=25536] ppid=25533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25536/stat : 25536 (xcsp3-exec) S 25533 25536 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64447874 9740288 345 18446744073709551615 4194304 5098028 140730794485856 140730794483960 140499342049916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 27815936 140730794492287 140730794492490 140730794492490 140730794495979 0
/proc/25536/statm: 2378 345 289 221 0 87 0
[pid=25543] ppid=25536 vsize=13980732 memory=107508 CPUtime=3.26 cores=1,3,5,7
/proc/25543/stat : 25543 (java) S 25536 25536 897 0 -1 1077944320 34517 0 0 0 319 7 0 0 20 0 15 0 64447885 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140733686259792 140185118605047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
/proc/25543/statm: 3495183 26877 3181 1 0 3483476 0
[pid=25543/tid=25544] ppid=25536 vsize=13980732 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/25543/task/25544/stat : 25544 (java) R 25536 25536 897 0 -1 4202560 9796 0 0 0 121 4 0 0 20 0 15 0 64447885 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140185122840152 140184733343526 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25545] ppid=25536 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25545/stat : 25545 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140185053038864 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25546] ppid=25536 vsize=13980732 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25546/stat : 25546 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140185051986320 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25547] ppid=25536 vsize=13980732 memory=7518026621751088998 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25547/stat : 25547 (java) S 25536 25536 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140185050933776 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25548] ppid=25536 vsize=13980732 memory=7302135314614015847 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25548/stat : 25548 (java) S 25536 25536 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140185049881232 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25549] ppid=25536 vsize=13980732 memory=6296683651326628198 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25549/stat : 25549 (java) S 25536 25536 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64447887 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140184596883952 140185118616194 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25550] ppid=25536 vsize=13980732 memory=7593726829309027904 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25550/stat : 25550 (java) S 25536 25536 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64447887 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140184595830176 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25551] ppid=25536 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25551/stat : 25551 (java) S 25536 25536 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64447888 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140184594777584 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25554] ppid=25536 vsize=13980732 memory=36432 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25554/stat : 25554 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140184593726160 140185118623643 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25555] ppid=25536 vsize=13980732 memory=1292 CPUtime=0.79 cores=1,3,5,7
/proc/25543/task/25555/stat : 25555 (java) R 25536 25536 897 0 -1 4202560 8806 0 0 0 79 0 0 0 20 0 15 0 64447890 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140184592658632 140185098291591 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25556] ppid=25536 vsize=13980732 memory=2316 CPUtime=0.79 cores=1,3,5,7
/proc/25543/task/25556/stat : 25556 (java) R 25536 25536 897 0 -1 4202560 11702 0 0 0 78 1 0 0 20 0 15 0 64447890 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140184591612696 140185100130637 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25557] ppid=25536 vsize=13980732 memory=1728 CPUtime=0.41 cores=1,3,5,7
/proc/25543/task/25557/stat : 25557 (java) S 25536 25536 897 0 -1 1077944384 2902 0 0 0 40 1 0 0 20 0 15 0 64447890 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140184590567664 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25558] ppid=25536 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25558/stat : 25558 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140184589515360 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25571] ppid=25536 vsize=13980732 memory=301741416391115062 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25571/stat : 25571 (java) S 25536 25536 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64447899 14316269568 26877 18446744073709551615 4194304 4196468 140733686277248 140184588462896 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
Current children cumulated CPU time: 3.26 s
Current children cumulated vsize: 13990244 KiB

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

[pid=25543/tid=25549] ppid=25536 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25549/stat : 25549 (java) S 25536 25536 897 0 -1 1077944384 751 0 0 0 0 0 0 0 20 0 15 0 64447887 14316269568 60355 18446744073709551615 4194304 4196468 140733686277248 140184596883952 140185118616194 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25550] ppid=25536 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25550/stat : 25550 (java) S 25536 25536 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64447887 14316269568 60355 18446744073709551615 4194304 4196468 140733686277248 140184595830176 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25551] ppid=25536 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25551/stat : 25551 (java) S 25536 25536 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 64447888 14316269568 60355 18446744073709551615 4194304 4196468 140733686277248 140184594777584 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25554] ppid=25536 vsize=13980732 memory=7446821158116616294 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25554/stat : 25554 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 60355 18446744073709551615 4194304 4196468 140733686277248 140184593726160 140185118623643 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25555] ppid=25536 vsize=13980732 memory=1380 CPUtime=3.63 cores=1,3,5,7
/proc/25543/task/25555/stat : 25555 (java) S 25536 25536 897 0 -1 1077944384 22529 0 0 0 361 2 0 0 20 0 15 0 64447890 14316269568 60355 18446744073709551615 4194304 4196468 140733686277248 140184592672752 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25556] ppid=25536 vsize=13980732 memory=4116 CPUtime=3.62 cores=1,3,5,7
/proc/25543/task/25556/stat : 25556 (java) S 25536 25536 897 0 -1 1077944384 22963 0 0 0 361 1 0 0 20 0 15 0 64447890 14316269568 60355 18446744073709551615 4194304 4196468 140733686277248 140184591620208 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25557] ppid=25536 vsize=13980732 memory=36432 CPUtime=0.59 cores=1,3,5,7
/proc/25543/task/25557/stat : 25557 (java) S 25536 25536 897 0 -1 1077944384 8222 0 0 0 58 1 0 0 20 0 15 0 64447890 14316269568 60355 18446744073709551615 4194304 4196468 140733686277248 140184590567664 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25558] ppid=25536 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25558/stat : 25558 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 60355 18446744073709551615 4194304 4196468 140733686277248 140184589515360 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25571] ppid=25536 vsize=13980732 memory=36432 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25571/stat : 25571 (java) S 25536 25536 897 0 -1 1077944384 1148 0 0 0 0 1 0 0 20 0 15 0 64447899 14316269568 60355 18446744073709551615 4194304 4196468 140733686277248 140184588462896 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
Current children cumulated CPU time: 109.98 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 242800 KiB

[startup+162.301 s]
/proc/loadavg: 2.01 2.05 1.97 3/211 25623
/proc/meminfo: memFree=30672668/32770624 swapFree=67108860/67108860
[pid=25536] ppid=25533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25536/stat : 25536 (xcsp3-exec) S 25533 25536 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64447874 9740288 345 18446744073709551615 4194304 5098028 140730794485856 140730794483960 140499342049916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 27815936 140730794492287 140730794492490 140730794492490 140730794495979 0
/proc/25536/statm: 2378 345 289 221 0 87 0
[pid=25543] ppid=25536 vsize=13980732 memory=257028 CPUtime=170.06 cores=1,3,5,7
/proc/25543/stat : 25543 (java) S 25536 25536 897 0 -1 1077944320 76630 0 0 0 16992 14 0 0 20 0 15 0 64447885 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140733686259792 140185118605047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
/proc/25543/statm: 3495183 64257 3247 1 0 3483476 0
[pid=25543/tid=25544] ppid=25536 vsize=13980732 memory=257028 CPUtime=162.04 cores=1,3,5,7
/proc/25543/task/25544/stat : 25544 (java) R 25536 25536 897 0 -1 4202560 15927 0 0 0 16198 6 0 0 20 0 15 0 64447885 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140185122844368 140184735808409 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25545] ppid=25536 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25545/stat : 25545 (java) S 25536 25536 897 0 -1 1077944384 755 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140185053038864 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25546] ppid=25536 vsize=13980732 memory=253464 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25546/stat : 25546 (java) S 25536 25536 897 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140185051986320 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25547] ppid=25536 vsize=13980732 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25547/stat : 25547 (java) S 25536 25536 897 0 -1 1077944384 373 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140185050933776 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25548] ppid=25536 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25548/stat : 25548 (java) S 25536 25536 897 0 -1 1077944384 1553 0 0 0 0 0 0 0 20 0 15 0 64447886 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140185049881232 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25549] ppid=25536 vsize=13980732 memory=1728 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25549/stat : 25549 (java) S 25536 25536 897 0 -1 1077944384 950 0 0 0 1 0 0 0 20 0 15 0 64447887 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140184596883952 140185118616194 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25550] ppid=25536 vsize=13980732 memory=36432 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25550/stat : 25550 (java) S 25536 25536 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64447887 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140184595830176 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25551] ppid=25536 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25551/stat : 25551 (java) S 25536 25536 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 64447888 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140184594777584 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25554] ppid=25536 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25554/stat : 25554 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140184593726160 140185118623643 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25555] ppid=25536 vsize=13980732 memory=1380 CPUtime=3.67 cores=1,3,5,7
/proc/25543/task/25555/stat : 25555 (java) S 25536 25536 897 0 -1 1077944384 22632 0 0 0 365 2 0 0 20 0 15 0 64447890 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140184592672752 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25556] ppid=25536 vsize=13980732 memory=1380 CPUtime=3.62 cores=1,3,5,7
/proc/25543/task/25556/stat : 25556 (java) S 25536 25536 897 0 -1 1077944384 23118 0 0 0 361 1 0 0 20 0 15 0 64447890 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140184591620208 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25557] ppid=25536 vsize=13980732 memory=257028 CPUtime=0.59 cores=1,3,5,7
/proc/25543/task/25557/stat : 25557 (java) S 25536 25536 897 0 -1 1077944384 8388 0 0 0 58 1 0 0 20 0 15 0 64447890 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140184590567664 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25558] ppid=25536 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25558/stat : 25558 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140184589515360 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25571] ppid=25536 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/25543/task/25571/stat : 25571 (java) S 25536 25536 897 0 -1 1077944384 1177 0 0 0 1 2 0 0 20 0 15 0 64447899 14316269568 64257 18446744073709551615 4194304 4196468 140733686277248 140184588462896 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
Current children cumulated CPU time: 170.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 258408 KiB

[startup+222.301 s]
/proc/loadavg: 2.00 2.04 1.97 3/211 25625
/proc/meminfo: memFree=30679340/32770624 swapFree=67108860/67108860
[pid=25536] ppid=25533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25536/stat : 25536 (xcsp3-exec) S 25533 25536 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64447874 9740288 345 18446744073709551615 4194304 5098028 140730794485856 140730794483960 140499342049916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 27815936 140730794492287 140730794492490 140730794492490 140730794495979 0
/proc/25536/statm: 2378 345 289 221 0 87 0
[pid=25543] ppid=25536 vsize=13980732 memory=253520 CPUtime=230.13 cores=1,3,5,7
/proc/25543/stat : 25543 (java) S 25536 25536 897 0 -1 1077944320 77907 0 0 0 22998 15 0 0 20 0 15 0 64447885 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140733686259792 140185118605047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
/proc/25543/statm: 3495183 63380 3247 1 0 3483476 0
[pid=25543/tid=25544] ppid=25536 vsize=13980732 memory=1380 CPUtime=222.04 cores=1,3,5,7
/proc/25543/task/25544/stat : 25544 (java) R 25536 25536 897 0 -1 4202560 16569 0 0 0 22198 6 0 0 20 0 15 0 64447885 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140185122843544 140184735889554 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25545] ppid=25536 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25545/stat : 25545 (java) S 25536 25536 897 0 -1 1077944384 954 0 0 0 1 0 0 0 20 0 15 0 64447886 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140185053038864 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25546] ppid=25536 vsize=13980732 memory=253508 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25546/stat : 25546 (java) S 25536 25536 897 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 15 0 64447886 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140185051986320 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25547] ppid=25536 vsize=13980732 memory=253520 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25547/stat : 25547 (java) S 25536 25536 897 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 15 0 64447886 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140185050933776 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25548] ppid=25536 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25548/stat : 25548 (java) S 25536 25536 897 0 -1 1077944384 1603 0 0 0 1 0 0 0 20 0 15 0 64447886 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140185049881232 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25549] ppid=25536 vsize=13980732 memory=4116 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25549/stat : 25549 (java) S 25536 25536 897 0 -1 1077944384 968 0 0 0 1 0 0 0 20 0 15 0 64447887 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140184596883952 140185118616194 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25550] ppid=25536 vsize=13980732 memory=36432 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25550/stat : 25550 (java) S 25536 25536 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64447887 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140184595830176 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25551] ppid=25536 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25551/stat : 25551 (java) S 25536 25536 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 64447888 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140184594777584 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25554] ppid=25536 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25554/stat : 25554 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140184593726160 140185118623643 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25555] ppid=25536 vsize=13980732 memory=253520 CPUtime=3.68 cores=1,3,5,7
/proc/25543/task/25555/stat : 25555 (java) S 25536 25536 897 0 -1 1077944384 22708 0 0 0 366 2 0 0 20 0 15 0 64447890 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140184592672752 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25556] ppid=25536 vsize=13980732 memory=1380 CPUtime=3.64 cores=1,3,5,7
/proc/25543/task/25556/stat : 25556 (java) S 25536 25536 897 0 -1 1077944384 23190 0 0 0 363 1 0 0 20 0 15 0 64447890 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140184591620208 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25557] ppid=25536 vsize=13980732 memory=1200 CPUtime=0.61 cores=1,3,5,7
/proc/25543/task/25557/stat : 25557 (java) S 25536 25536 897 0 -1 1077944384 8538 0 0 0 59 2 0 0 20 0 15 0 64447890 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140184590567664 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25558] ppid=25536 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25558/stat : 25558 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140184589515360 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25571] ppid=25536 vsize=13980732 memory=20308 CPUtime=0.04 cores=1,3,5,7
/proc/25543/task/25571/stat : 25571 (java) S 25536 25536 897 0 -1 1077944384 1197 0 0 0 1 3 0 0 20 0 15 0 64447899 14316269568 63380 18446744073709551615 4194304 4196468 140733686277248 140184588462896 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
Current children cumulated CPU time: 230.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 254900 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.00 2.04 1.97 3/211 25626
/proc/meminfo: memFree=30674748/32770624 swapFree=67108860/67108860
[pid=25536] ppid=25533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25536/stat : 25536 (xcsp3-exec) S 25533 25536 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64447874 9740288 345 18446744073709551615 4194304 5098028 140730794485856 140730794483960 140499342049916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 27815936 140730794492287 140730794492490 140730794492490 140730794495979 0
/proc/25536/statm: 2378 345 289 221 0 87 0
[pid=25543] ppid=25536 vsize=13980732 memory=258124 CPUtime=247.85 cores=1,3,5,7
/proc/25543/stat : 25543 (java) S 25536 25536 897 0 -1 1077944320 78365 0 0 0 24769 16 0 0 20 0 15 0 64447885 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140733686259792 140185118605047 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
/proc/25543/statm: 3495183 64531 3247 1 0 3483476 0
[pid=25543/tid=25544] ppid=25536 vsize=13980732 memory=-3622645143214314312 CPUtime=239.74 cores=1,3,5,7
/proc/25543/task/25544/stat : 25544 (java) R 25536 25536 897 0 -1 4202560 16636 0 0 0 23968 6 0 0 20 0 15 0 64447885 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140185122844320 140184733533381 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25545] ppid=25536 vsize=13980732 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25545/stat : 25545 (java) S 25536 25536 897 0 -1 1077944384 961 0 0 0 1 0 0 0 20 0 15 0 64447886 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140185053038864 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25546] ppid=25536 vsize=13980732 memory=4304 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25546/stat : 25546 (java) S 25536 25536 897 0 -1 1077944384 639 0 0 0 1 0 0 0 20 0 15 0 64447886 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140185051986320 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25547] ppid=25536 vsize=13980732 memory=1624 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25547/stat : 25547 (java) S 25536 25536 897 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 15 0 64447886 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140185050933776 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25548] ppid=25536 vsize=13980732 memory=928 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25548/stat : 25548 (java) S 25536 25536 897 0 -1 1077944384 1624 0 0 0 1 0 0 0 20 0 15 0 64447886 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140185049881232 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25549] ppid=25536 vsize=13980732 memory=258124 CPUtime=0.01 cores=1,3,5,7
/proc/25543/task/25549/stat : 25549 (java) S 25536 25536 897 0 -1 1077944384 1107 0 0 0 1 0 0 0 20 0 15 0 64447887 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140184596883952 140185118616194 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25550] ppid=25536 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25550/stat : 25550 (java) S 25536 25536 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64447887 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140184595830176 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25551] ppid=25536 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25551/stat : 25551 (java) S 25536 25536 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 64447888 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140184594777584 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25554] ppid=25536 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25554/stat : 25554 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140184593726160 140185118623643 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25555] ppid=25536 vsize=13980732 memory=1792 CPUtime=3.68 cores=1,3,5,7
/proc/25543/task/25555/stat : 25555 (java) S 25536 25536 897 0 -1 1077944384 22708 0 0 0 366 2 0 0 20 0 15 0 64447890 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140184592672752 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25556] ppid=25536 vsize=13980732 memory=3904 CPUtime=3.64 cores=1,3,5,7
/proc/25543/task/25556/stat : 25556 (java) S 25536 25536 897 0 -1 1077944384 23190 0 0 0 363 1 0 0 20 0 15 0 64447890 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140184591620208 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25557] ppid=25536 vsize=13980732 memory=960 CPUtime=0.61 cores=1,3,5,7
/proc/25543/task/25557/stat : 25557 (java) S 25536 25536 897 0 -1 1077944384 8538 0 0 0 59 2 0 0 20 0 15 0 64447890 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140184590567664 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25558] ppid=25536 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25543/task/25558/stat : 25558 (java) S 25536 25536 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64447890 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140184589515360 140185118615253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
[pid=25543/tid=25571] ppid=25536 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/25543/task/25571/stat : 25571 (java) S 25536 25536 897 0 -1 1077944384 1197 0 0 0 1 3 0 0 20 0 15 0 64447899 14316269568 64531 18446744073709551615 4194304 4196468 140733686277248 140184588462896 140185118616194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 35717120 140733686280631 140733686280806 140733686280806 140733686284239 0
Current children cumulated CPU time: 247.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 259504 KiB

Sending SIGTERM to process tree (bottom up)

[startup+240.019 s]
# the end of solver process 25536 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=247.701 s, system=0.170033 s

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

Child status: 143
Real time (s): 240.019
CPU time (s): 247.871
CPU user time (s): 247.701
CPU system time (s): 0.170033
CPU usage (%): 103.271
Max. virtual memory (cumulated for all children) (KiB): 13992896
Max. memory (cumulated for all children) (KiB): 259504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.701
system time used= 0.170033
maximum resident set size= 259664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8242
involuntary context switches= 121


# summary of solver processes directly reported to runsolver:
#   pid: 25536
#   total CPU time (s): 247.871
#   total CPU user time (s): 247.701
#   total CPU system time (s): 0.170033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26185 second user time and 2.19227 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-13 12:50:26
IDJOB=4270232
IDBENCH=129200
IDSOLVER=2661
FILE ID=node125/4270232-1502622272
RUNJOBID= node125-1502615132-20542
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-46-04.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-4270232-1502622272/watcher-4270232-1502622272 -o /tmp/evaluation-result-4270232-1502622272/solver-4270232-1502622272 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20542 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 391221173 HOME/instance-4270232-1502622272.xml

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

MD5SUM BENCH= 2bf32ca1cbb3a17ab70e7ee7c2cd4ace
RANDOM SEED=391221173

node125.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.07
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.07
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.07
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.07
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:        31140016 kB
MemAvailable:   31989512 kB
Buffers:          282700 kB
Cached:           862720 kB
SwapCached:            0 kB
Active:           622908 kB
Inactive:         578956 kB
Active(anon):      56780 kB
Inactive(anon):    33100 kB
Active(file):     566128 kB
Inactive(file):   545856 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8020 kB
Writeback:             0 kB
AnonPages:         56440 kB
Mapped:            47784 kB
Shmem:             33444 kB
Slab:             132612 kB
SReclaimable:     106692 kB
SUnreclaim:        25920 kB
KernelStack:        3280 kB
PageTables:         5256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     312276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node125 at 2017-08-13 12:54:26