Trace number 4254238

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-07-26)SAT (TO)197 246.06 240.00999

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.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254238-1501615269.xml"  -tl '264s' -p 1 -x 0
0.00/0.28	c [HOME/instance-4254238-1501615269.xml, -tl, 264s, -p, 1, -x, 0]
0.00/0.34	c simple solver
0.00/0.40	c parse instance...
0.00/0.68	c solve instance...
3.02/1.37	o 649 
3.93/1.64	o 648 
4.53/1.83	o 647 
4.84/1.99	o 646 
5.44/2.16	o 645 
6.06/2.31	o 644 
6.27/2.40	o 643 
6.43/2.53	o 642 
6.54/2.61	o 641 
6.54/2.69	o 640 
6.64/2.73	o 639 
6.75/2.81	o 638 
6.75/2.88	o 637 
6.91/2.92	o 636 
6.91/2.97	o 635 
7.06/3.07	o 634 
7.16/3.16	o 633 
7.28/3.28	o 632 
7.59/3.37	o 631 
7.81/3.44	o 630 
7.94/3.52	o 629 
8.04/3.63	o 628 
8.14/3.75	o 627 
8.24/3.83	o 626 
8.34/3.95	o 625 
8.47/4.04	o 624 
8.57/4.11	o 623 
8.67/4.22	o 622 
8.77/4.31	o 621 
8.77/4.39	o 620 
8.89/4.48	o 619 
9.03/4.59	o 618 
9.16/4.67	o 617 
9.29/4.79	o 616 
9.49/4.86	o 615 
9.62/4.93	o 614 
9.72/5.03	o 613 
10.02/5.32	o 612 
10.13/5.42	o 611 
10.23/5.51	o 610 
10.23/5.60	o 609 
10.33/5.69	o 608 
10.45/5.78	o 607 
10.57/5.87	o 606 
10.77/6.05	o 605 
10.97/6.21	o 604 
11.07/6.36	o 603 
11.27/6.52	o 602 
11.39/6.68	o 601 
11.59/6.83	o 600 
11.76/6.99	o 599 
11.97/7.11	o 598 
12.08/7.24	o 597 
12.22/7.36	o 596 
12.32/7.49	o 595 
12.52/7.61	o 594 
12.62/7.73	o 593 
12.82/7.91	o 592 
15.15/10.21	o 591 
15.25/10.30	o 590 
15.25/10.37	o 589 
15.35/10.48	o 588 
15.45/10.58	o 587 
15.55/10.68	o 586 
15.65/10.78	o 585 
15.75/10.88	o 584 
15.85/10.95	o 583 
15.96/11.06	o 582 
16.06/11.16	o 581 
16.15/11.26	o 580 
16.26/11.36	o 579 
16.36/11.46	o 578 
16.46/11.56	o 577 
16.56/11.66	o 576 
16.66/11.77	o 575 
16.76/11.87	o 574 
17.27/12.37	o 573 
17.37/12.49	o 572 
17.57/12.61	o 571 
17.67/12.71	o 570 
17.77/12.81	o 569 
17.87/12.91	o 568 
17.99/13.02	o 567 
18.10/13.12	o 566 
18.20/13.22	o 565 
18.30/13.32	o 564 
18.42/13.41	o 563 
18.58/13.51	o 562 
18.74/13.60	o 561 
18.74/13.69	o 560 
18.84/13.77	o 559 
18.94/13.85	o 558 
19.04/13.94	o 557 
19.14/14.03	o 556 
19.24/14.12	o 555 
19.34/14.20	o 554 
19.34/14.28	o 553 
19.45/14.36	o 552 
19.55/14.45	o 551 
19.65/14.57	o 550 
19.85/14.70	o 549 
19.95/14.84	o 548 
20.06/14.97	o 547 
20.16/15.09	o 546 
20.57/15.42	o 545 
20.67/15.53	o 544 
20.76/15.66	o 543 
20.86/15.78	o 542 
21.06/15.90	o 541 
21.16/16.02	o 540 
21.27/16.14	o 539 
21.49/16.30	o 538 
21.59/16.46	o 537 
21.80/16.63	o 536 
21.99/16.81	o 535 
22.09/16.98	o 534 
22.29/17.16	o 533 
22.49/17.32	o 532 
22.59/17.48	o 531 
22.81/17.66	o 530 
23.00/17.82	o 529 
23.10/17.99	o 528 
23.30/18.16	o 527 
23.41/18.25	o 526 
23.51/18.34	o 525 
23.61/18.43	o 524 
23.71/18.50	o 523 
23.71/18.58	o 522 
23.81/18.67	o 521 
23.92/18.76	o 520 
24.02/18.84	o 519 
24.11/18.93	o 518 
24.21/19.02	o 517 
24.31/19.11	o 516 
24.31/19.19	o 515 
24.41/19.28	o 514 
24.51/19.36	o 513 
24.61/19.45	o 512 
24.71/19.53	o 511 
24.81/19.62	o 510 
24.91/19.70	o 509 
24.91/19.79	o 508 
25.02/19.86	o 507 
25.12/19.94	o 506 
25.21/20.03	o 505 
25.31/20.11	o 504 
25.31/20.19	o 503 
25.41/20.28	o 502 
25.52/20.36	o 501 
25.62/20.44	o 500 
25.72/20.52	o 499 
25.82/20.61	o 498 
25.82/20.68	o 497 
25.92/20.76	o 496 
26.02/20.84	o 495 
26.12/20.91	o 494 
26.12/20.99	o 493 
26.22/21.07	o 492 
26.32/21.16	o 491 
26.42/21.24	o 490 
26.52/21.31	o 489 
26.52/21.39	o 488 
26.62/21.46	o 487 
26.72/21.54	o 486 
26.82/21.62	o 485 
26.92/21.70	o 484 
26.92/21.78	o 483 
27.02/21.86	o 482 
27.12/21.94	o 481 
27.23/22.02	o 480 
27.33/22.11	o 479 
27.33/22.19	o 478 
27.42/22.27	o 477 
27.52/22.35	o 476 
27.62/22.43	o 475 
27.72/22.51	o 474 
27.72/22.59	o 473 
27.82/22.68	o 472 
27.92/22.76	o 471 
28.02/22.84	o 470 
28.12/22.91	o 469 
28.22/23.00	o 468 
28.22/23.07	o 467 
28.33/23.16	o 466 
28.43/23.24	o 465 
28.52/23.32	o 464 
28.62/23.40	o 463 
28.62/23.48	o 462 
28.72/23.56	o 461 
28.82/23.64	o 460 
28.92/23.73	o 459 
29.02/23.81	o 458 
29.02/23.89	o 457 
29.12/23.96	o 456 
29.22/24.05	o 455 
29.33/24.12	o 454 
29.43/24.21	o 453 
29.43/24.30	o 452 
29.53/24.37	o 451 
29.63/24.46	o 450 
29.73/24.55	o 449 
29.83/24.64	o 448 
29.93/24.72	o 447 
30.04/24.82	o 446 
30.14/24.91	o 445 
30.24/25.00	o 444 
30.24/25.09	o 443 
30.34/25.19	o 442 
30.45/25.28	o 441 
30.55/25.37	o 440 
30.65/25.46	o 439 
30.95/25.73	o 438 
31.05/25.87	o 437 
31.15/25.96	o 436 
31.25/26.06	o 435 
31.35/26.16	o 434 
31.45/26.28	o 433 
31.55/26.40	o 432 
31.75/26.52	o 431 
31.85/26.62	o 430 
31.95/26.74	o 429 
32.05/26.86	o 428 
32.15/26.97	o 427 
32.25/27.08	o 426 
32.35/27.20	o 425 
32.55/27.30	o 424 
32.65/27.41	o 423 
32.75/27.53	o 422 
32.91/27.64	o 421 
33.00/27.76	o 420 
33.10/27.87	o 419 
33.20/27.99	o 418 
33.47/28.10	o 417 
33.56/28.21	o 416 
33.66/28.38	o 415 
33.86/28.54	o 414 
33.97/28.64	o 413 
34.17/28.80	o 412 
34.27/28.97	o 411 
34.39/29.07	o 410 
34.49/29.16	o 409 
34.59/29.25	o 408 
34.69/29.35	o 407 
34.79/29.44	o 406 
34.89/29.54	o 405 
34.99/29.63	o 404 
35.10/29.73	o 403 
35.20/29.83	o 402 
35.29/29.93	o 401 
35.39/30.03	o 400 
35.49/30.12	o 399 
35.60/30.22	o 398 
35.73/30.32	o 397 
35.83/30.40	o 396 
35.93/30.53	o 395 
36.03/30.66	o 394 
36.13/30.79	o 393 
36.34/30.92	o 392 
36.43/31.00	o 391 
36.43/31.08	o 390 
36.64/31.21	o 389 
36.64/31.29	o 388 
36.84/31.42	o 387 
36.94/31.50	o 386 
37.04/31.64	o 385 
37.14/31.72	o 384 
37.24/31.85	o 383 
37.35/31.98	o 382 
37.45/32.07	o 381 
37.57/32.16	o 380 
37.68/32.29	o 379 
37.88/32.42	o 378 
37.98/32.55	o 377 
38.18/32.71	o 376 
38.28/32.80	o 375 
38.38/32.97	o 374 
38.58/33.14	o 373 
38.68/33.24	o 372 
38.78/33.33	o 371 
39.03/33.50	o 370 
39.13/33.65	o 369 
39.33/33.80	o 368 
39.43/33.96	o 367 
39.64/34.11	o 366 
39.75/34.24	o 365 
39.85/34.36	o 364 
39.95/34.48	o 363 
40.15/34.60	o 362 
40.25/34.72	o 361 
40.35/34.84	o 360 
40.46/34.96	o 359 
40.56/35.08	o 358 
40.76/35.21	o 357 
40.86/35.34	o 356 
40.96/35.49	o 355 
41.66/36.13	o 354 
42.07/36.54	o 353 
42.17/36.69	o 352 
42.37/36.84	o 351 
42.47/36.96	o 350 
42.57/37.07	o 349 
42.67/37.18	o 348 
42.87/37.31	o 347 
43.03/37.46	o 346 
43.23/37.60	o 345 
43.33/37.72	o 344 
43.43/37.84	o 343 
43.53/37.98	o 342 
43.73/38.10	o 341 
43.83/38.23	o 340 
43.93/38.37	o 339 
44.03/38.49	o 338 
44.23/38.63	o 337 
44.33/38.75	o 336 
44.43/38.87	o 335 
44.63/39.01	o 334 
44.73/39.14	o 333 
44.83/39.27	o 332 
45.03/39.41	o 331 
45.13/39.54	o 330 
45.23/39.67	o 329 
45.43/39.80	o 328 
45.53/39.94	o 327 
45.63/40.07	o 326 
45.83/40.20	o 325 
45.93/40.33	o 324 
46.03/40.47	o 323 
46.23/40.60	o 322 
46.33/40.73	o 321 
46.43/40.87	o 320 
46.63/41.01	o 319 
46.73/41.15	o 318 
46.83/41.29	o 317 
47.03/41.43	o 316 
47.13/41.57	o 315 
47.33/41.71	o 314 
47.43/41.85	o 313 
47.58/41.99	o 312 
47.80/42.13	o 311 
48.00/42.31	o 310 
48.10/42.47	o 309 
48.30/42.63	o 308 
48.40/42.79	o 307 
48.61/42.95	o 306 
48.80/43.12	o 305 
48.90/43.28	o 304 
49.10/43.44	o 303 
49.30/43.60	o 302 
49.40/43.78	o 301 
49.60/43.95	o 300 
49.81/44.14	o 299 
50.00/44.32	o 298 
50.20/44.53	o 297 
50.40/44.74	o 296 
50.60/44.94	o 295 
50.81/45.16	o 294 
51.00/45.36	o 293 
51.20/45.56	o 292 
51.40/45.78	o 291 
51.70/46.06	o 290 
52.01/46.31	o 289 
52.31/46.61	o 288 
52.41/46.79	o 225 
52.51/46.81	o 224 
52.51/46.85	o 218 
54.94/49.25	o 203 
67.06/61.33	o 202 
71.27/65.51	o 201 
72.87/67.19	o 199 
85.21/79.41	o 198 
211.64/205.63	o 197 
246.06/240.00	s SATISFIABLE
246.06/240.00	v <instantiation>
246.06/240.00	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>
246.06/240.00	v 	<values>0 0 0 0 7 16 21 18 113 36 44 13 56 31 45 26 38 65 55 8 26 18 7 149 16 62 46 75 22 116 55 75 22 93 77 47 73 62 26 73 93 33 44 31 57 38 70 127 56 6 24 67 102 86 72 38 114 102 63 156 85 139 76 56 47 102 125 147 95 93 136 152 157 160 102 110 111 162 171 85 160 161 70 111 161 127 110 139 110 142 135 125 157 83 112 136 170 114 141 133 157 170 173 163 162 162 173 127 117 180 180 186 173 186 165 171 180 188 189 196 191 197 </values>
246.06/240.00	v </instantiation>
246.06/240.00	c Unexpected resolution interruption!

Verifier Data 

OK	197

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-4254238-1501615269/watcher-4254238-1501615269 -o /tmp/evaluation-result-4254238-1501615269/solver-4254238-1501615269 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5184 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 551814918 HOME/instance-4254238-1501615269.xml 

pid=8451
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.23 2.04 1.92 2/195 8454
/proc/meminfo: memFree=31753752/32770624 swapFree=0/182332
[pid=8454] ppid=8451 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (runsolver) D 8451 8454 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10143859 24240128 106 18446744073709551615 4194304 4338465 140729592478128 140729592475768 139700363190999 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 28479488 140729592483934 140729592484422 140729592484422 140729592487882 0
/proc/8454/statm: 5918 106 53 36 0 2156 0

[startup+0.100136 s]
/proc/loadavg: 2.23 2.04 1.92 2/195 8454
/proc/meminfo: memFree=31753752/32770624 swapFree=0/182332
[pid=8454] ppid=8451 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (xcsp3-exec) S 8451 8454 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10143859 9740288 344 18446744073709551615 4194304 5098028 140729203203120 140729203201224 139691644822140 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 9625600 140729203208604 140729203208807 140729203208807 140729203212267 0
/proc/8454/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200296 s]
/proc/loadavg: 2.23 2.04 1.92 2/195 8454
/proc/meminfo: memFree=31753752/32770624 swapFree=0/182332
[pid=8454] ppid=8451 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (xcsp3-exec) S 8451 8454 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10143859 9740288 344 18446744073709551615 4194304 5098028 140729203203120 140729203201224 139691644822140 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 9625600 140729203208604 140729203208807 140729203208807 140729203212267 0
/proc/8454/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.304694 s]
/proc/loadavg: 2.23 2.04 1.92 2/195 8454
/proc/meminfo: memFree=31753752/32770624 swapFree=0/182332
[pid=8454] ppid=8451 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (xcsp3-exec) S 8451 8454 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10143859 9740288 344 18446744073709551615 4194304 5098028 140729203203120 140729203201224 139691644822140 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 9625600 140729203208604 140729203208807 140729203208807 140729203212267 0
/proc/8454/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.703202 s]
/proc/loadavg: 2.23 2.04 1.92 2/195 8454
/proc/meminfo: memFree=31753752/32770624 swapFree=0/182332
[pid=8454] ppid=8451 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (xcsp3-exec) S 8451 8454 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10143859 9740288 344 18446744073709551615 4194304 5098028 140729203203120 140729203201224 139691644822140 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 9625600 140729203208604 140729203208807 140729203208807 140729203212267 0
/proc/8454/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50082 s]
/proc/loadavg: 2.23 2.04 1.92 5/211 8470
/proc/meminfo: memFree=31659676/32770624 swapFree=0/182356
[pid=8454] ppid=8451 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (xcsp3-exec) S 8451 8454 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10143859 9740288 344 18446744073709551615 4194304 5098028 140729203203120 140729203201224 139691644822140 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 9625600 140729203208604 140729203208807 140729203208807 140729203212267 0
/proc/8454/statm: 2378 344 289 221 0 87 0
[pid=8456] ppid=8454 vsize=13980732 CPUtime=3.63 cores=1,3,5,7
/proc/8456/stat : 8456 (java) S 8454 8454 5123 0 -1 1077944320 30328 0 0 0 356 7 0 0 20 0 15 0 10143865 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140735468913024 140377814454007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
/proc/8456/statm: 3495183 26851 3175 1 0 3483484 0
[pid=8456/tid=8457] ppid=8454 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/8456/task/8457/stat : 8457 (java) R 8454 8454 5123 0 -1 4202560 9166 0 0 0 130 3 0 0 20 0 15 0 10143866 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377818692944 140377459224692 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8458] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (java) S 8454 8454 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377786297488 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8459] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (java) S 8454 8454 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377413643280 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8460] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (java) S 8454 8454 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377412590480 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8461] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8461/stat : 8461 (java) S 8454 8454 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377411537680 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8462] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8462/stat : 8462 (java) S 8454 8454 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377293003120 140377814465154 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8463] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8463/stat : 8463 (java) S 8454 8454 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377291949088 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8464] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8464/stat : 8464 (java) S 8454 8454 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377290896240 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8465] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8465/stat : 8465 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377289844560 140377814472603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8466] ppid=8454 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/8456/task/8466/stat : 8466 (java) R 8454 8454 5123 0 -1 4202560 7594 0 0 0 93 0 0 0 20 0 15 0 10143871 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377288779472 140377806743389 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8467] ppid=8454 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/8456/task/8467/stat : 8467 (java) R 8454 8454 5123 0 -1 4202560 8785 0 0 0 90 1 0 0 20 0 15 0 10143871 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377287729264 140377799556502 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8468] ppid=8454 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/8456/task/8468/stat : 8468 (java) S 8454 8454 5123 0 -1 1077944384 3485 0 0 0 42 0 0 0 20 0 15 0 10143871 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377286687344 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8469] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8469/stat : 8469 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377285634784 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8470] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8470/stat : 8470 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143879 14316269568 26851 18446744073709551615 4194304 4196468 140735468930480 140377284582064 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 13990244

[startup+3.10069 s]
/proc/loadavg: 2.37 2.07 1.93 5/211 8471
/proc/meminfo: memFree=31656344/32770624 swapFree=0/182364
[pid=8454] ppid=8451 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (xcsp3-exec) S 8451 8454 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10143859 9740288 344 18446744073709551615 4194304 5098028 140729203203120 140729203201224 139691644822140 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 9625600 140729203208604 140729203208807 140729203208807 140729203212267 0
/proc/8454/statm: 2378 344 289 221 0 87 0
[pid=8456] ppid=8454 vsize=13980732 CPUtime=7.16 cores=1,3,5,7
/proc/8456/stat : 8456 (java) S 8454 8454 5123 0 -1 1077944320 35269 0 0 0 709 7 0 0 20 0 15 0 10143865 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140735468913024 140377814454007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
/proc/8456/statm: 3495183 27534 3191 1 0 3483484 0
[pid=8456/tid=8457] ppid=8454 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/8456/task/8457/stat : 8457 (java) R 8454 8454 5123 0 -1 4202560 10010 0 0 0 290 3 0 0 20 0 15 0 10143866 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377818689392 140377460573423 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8458] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (java) S 8454 8454 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377786297488 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8459] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (java) S 8454 8454 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377413643280 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8460] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (java) S 8454 8454 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377412590480 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8461] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8461/stat : 8461 (java) S 8454 8454 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377411537680 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8462] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8462/stat : 8462 (java) S 8454 8454 5123 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377293003120 140377814465154 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8463] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8463/stat : 8463 (java) S 8454 8454 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377291949088 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8464] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8464/stat : 8464 (java) S 8454 8454 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377290896240 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8465] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8465/stat : 8465 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377289844560 140377814472603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8466] ppid=8454 vsize=13980732 CPUtime=1.85 cores=1,3,5,7
/proc/8456/task/8466/stat : 8466 (java) S 8454 8454 5123 0 -1 1077944384 9260 0 0 0 185 0 0 0 20 0 15 0 10143871 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377288792944 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8467] ppid=8454 vsize=13980732 CPUtime=1.85 cores=1,3,5,7
/proc/8456/task/8467/stat : 8467 (java) S 8454 8454 5123 0 -1 1077944384 10789 0 0 0 184 1 0 0 20 0 15 0 10143871 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377287740144 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8468] ppid=8454 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/8456/task/8468/stat : 8468 (java) S 8454 8454 5123 0 -1 1077944384 3870 0 0 0 48 1 0 0 20 0 15 0 10143871 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377286687344 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8469] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8469/stat : 8469 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377285634784 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8470] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8470/stat : 8470 (java) S 8454 8454 5123 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10143879 14316269568 27534 18446744073709551615 4194304 4196468 140735468930480 140377284582064 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 13990244

[startup+6.30063 s]
/proc/loadavg: 2.37 2.07 1.93 3/211 8471
/proc/meminfo: memFree=31654536/32770624 swapFree=0/182364
[pid=8454] ppid=8451 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (xcsp3-exec) S 8451 8454 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10143859 9740288 344 18446744073709551615 4194304 5098028 140729203203120 140729203201224 139691644822140 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 9625600 140729203208604 140729203208807 140729203208807 140729203212267 0
/proc/8454/statm: 2378 344 289 221 0 87 0
[pid=8456] ppid=8454 vsize=13980732 CPUtime=11.07 cores=1,3,5,7
/proc/8456/stat : 8456 (java) S 8454 8454 5123 0 -1 1077944320 41309 0 0 0 1099 8 0 0 20 0 15 0 10143865 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140735468913024 140377814454007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
/proc/8456/statm: 3495183 28117 3199 1 0 3483484 0
[pid=8456/tid=8457] ppid=8454 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/8456/task/8457/stat : 8457 (java) R 8454 8454 5123 0 -1 4202560 10816 0 0 0 610 4 0 0 20 0 15 0 10143866 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377818691248 140377460099612 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8458] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (java) S 8454 8454 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377786297488 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8459] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (java) S 8454 8454 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377413643280 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8460] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (java) S 8454 8454 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377412590480 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8461] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8461/stat : 8461 (java) S 8454 8454 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377411537680 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8462] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8462/stat : 8462 (java) S 8454 8454 5123 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377293003120 140377814465154 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8463] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8463/stat : 8463 (java) S 8454 8454 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377291949088 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8464] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8464/stat : 8464 (java) S 8454 8454 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377290896240 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8465] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8465/stat : 8465 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377289844560 140377814472603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8466] ppid=8454 vsize=13980732 CPUtime=2.2 cores=1,3,5,7
/proc/8456/task/8466/stat : 8466 (java) S 8454 8454 5123 0 -1 1077944384 10565 0 0 0 220 0 0 0 20 0 15 0 10143871 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377288792944 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8467] ppid=8454 vsize=13980732 CPUtime=2.19 cores=1,3,5,7
/proc/8456/task/8467/stat : 8467 (java) S 8454 8454 5123 0 -1 1077944384 13428 0 0 0 218 1 0 0 20 0 15 0 10143871 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377287740144 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8468] ppid=8454 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/8456/task/8468/stat : 8468 (java) S 8454 8454 5123 0 -1 1077944384 4193 0 0 0 50 1 0 0 20 0 15 0 10143871 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377286687344 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8469] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8469/stat : 8469 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377285634784 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8470] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8470/stat : 8470 (java) S 8454 8454 5123 0 -1 1077944384 719 0 0 0 0 0 0 0 20 0 15 0 10143879 14316269568 28117 18446744073709551615 4194304 4196468 140735468930480 140377284582064 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
Current children cumulated CPU time (s) 11.07
Current children cumulated vsize (KiB) 13990244

[startup+12.7006 s]
/proc/loadavg: 2.32 2.07 1.94 3/211 8471
/proc/meminfo: memFree=31639896/32770624 swapFree=0/182372
[pid=8454] ppid=8451 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (xcsp3-exec) S 8451 8454 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10143859 9740288 344 18446744073709551615 4194304 5098028 140729203203120 140729203201224 139691644822140 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 9625600 140729203208604 140729203208807 140729203208807 140729203212267 0
/proc/8454/statm: 2378 344 289 221 0 87 0
[pid=8456] ppid=8454 vsize=13980732 CPUtime=17.67 cores=1,3,5,7
/proc/8456/stat : 8456 (java) S 8454 8454 5123 0 -1 1077944320 44044 0 0 0 1759 8 0 0 20 0 15 0 10143865 14316269568 31252 18446744073709551615 4194304 4196468 140735468930480 140735468913024 140377814454007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
/proc/8456/statm: 3495183 31252 3204 1 0 3483484 0
[pid=8456/tid=8457] ppid=8454 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/8456/task/8457/stat : 8457 (java) R 8454 8454 5123 0 -1 4202560 11661 0 0 0 1250 4 0 0 20 0 15 0 10143866 14316269568 31252 18446744073709551615 4194304 4196468 140735468930480 140377818689488 140377460888655 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8458] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (java) S 8454 8454 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 31252 18446744073709551615 4194304 4196468 140735468930480 140377786297488 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8459] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (java) S 8454 8454 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 31252 18446744073709551615 4194304 4196468 140735468930480 140377413643280 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0

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

[pid=8456/tid=8463] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8463/stat : 8463 (java) S 8454 8454 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 56091 18446744073709551615 4194304 4196468 140735468930480 140377291949088 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8464] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8464/stat : 8464 (java) S 8454 8454 5123 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 56091 18446744073709551615 4194304 4196468 140735468930480 140377290896240 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8465] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8465/stat : 8465 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 56091 18446744073709551615 4194304 4196468 140735468930480 140377289844560 140377814472603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8466] ppid=8454 vsize=13980732 CPUtime=2.78 cores=1,3,5,7
/proc/8456/task/8466/stat : 8466 (java) S 8454 8454 5123 0 -1 1077944384 15725 0 0 0 277 1 0 0 20 0 15 0 10143871 14316269568 56091 18446744073709551615 4194304 4196468 140735468930480 140377288792944 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8467] ppid=8454 vsize=13980732 CPUtime=2.59 cores=1,3,5,7
/proc/8456/task/8467/stat : 8467 (java) S 8454 8454 5123 0 -1 1077944384 18465 0 0 0 257 2 0 0 20 0 15 0 10143871 14316269568 56091 18446744073709551615 4194304 4196468 140735468930480 140377287740144 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8468] ppid=8454 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/8456/task/8468/stat : 8468 (java) S 8454 8454 5123 0 -1 1077944384 7344 0 0 0 58 1 0 0 20 0 15 0 10143871 14316269568 56091 18446744073709551615 4194304 4196468 140735468930480 140377286687344 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8469] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8469/stat : 8469 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 56091 18446744073709551615 4194304 4196468 140735468930480 140377285634784 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8470] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8470/stat : 8470 (java) S 8454 8454 5123 0 -1 1077944384 1032 0 0 0 1 0 0 0 20 0 15 0 10143879 14316269568 56091 18446744073709551615 4194304 4196468 140735468930480 140377284582064 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
Current children cumulated CPU time (s) 108.18
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 2.04 2.05 1.95 3/211 8475
/proc/meminfo: memFree=31518320/32770624 swapFree=0/182516
[pid=8454] ppid=8451 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (xcsp3-exec) S 8451 8454 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10143859 9740288 344 18446744073709551615 4194304 5098028 140729203203120 140729203201224 139691644822140 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 9625600 140729203208604 140729203208807 140729203208807 140729203212267 0
/proc/8454/statm: 2378 344 289 221 0 87 0
[pid=8456] ppid=8454 vsize=13980732 CPUtime=168.23 cores=1,3,5,7
/proc/8456/stat : 8456 (java) S 8454 8454 5123 0 -1 1077944320 64716 0 0 0 16811 12 0 0 20 0 15 0 10143865 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140735468913024 140377814454007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
/proc/8456/statm: 3495183 56107 3234 1 0 3483484 0
[pid=8456/tid=8457] ppid=8454 vsize=13980732 CPUtime=162.11 cores=1,3,5,7
/proc/8456/task/8457/stat : 8457 (java) R 8454 8454 5123 0 -1 4202560 15280 0 0 0 16206 5 0 0 20 0 15 0 10143866 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377818693456 140377462023517 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8458] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (java) S 8454 8454 5123 0 -1 1077944384 957 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377786297488 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8459] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (java) S 8454 8454 5123 0 -1 1077944384 639 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377413643280 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8460] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (java) S 8454 8454 5123 0 -1 1077944384 572 0 0 0 0 0 0 0 20 0 15 0 10143866 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377412590480 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8461] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8461/stat : 8461 (java) S 8454 8454 5123 0 -1 1077944384 724 0 0 0 1 0 0 0 20 0 15 0 10143866 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377411537680 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8462] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8462/stat : 8462 (java) S 8454 8454 5123 0 -1 1077944384 1012 0 0 0 1 0 0 0 20 0 15 0 10143868 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377293003120 140377814465154 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8463] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8463/stat : 8463 (java) S 8454 8454 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377291949088 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8464] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8464/stat : 8464 (java) S 8454 8454 5123 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377290896240 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8465] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8465/stat : 8465 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377289844560 140377814472603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8466] ppid=8454 vsize=13980732 CPUtime=2.78 cores=1,3,5,7
/proc/8456/task/8466/stat : 8466 (java) S 8454 8454 5123 0 -1 1077944384 15728 0 0 0 277 1 0 0 20 0 15 0 10143871 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377288792944 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8467] ppid=8454 vsize=13980732 CPUtime=2.62 cores=1,3,5,7
/proc/8456/task/8467/stat : 8467 (java) S 8454 8454 5123 0 -1 1077944384 19744 0 0 0 260 2 0 0 20 0 15 0 10143871 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377287740144 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8468] ppid=8454 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/8456/task/8468/stat : 8468 (java) S 8454 8454 5123 0 -1 1077944384 7646 0 0 0 58 1 0 0 20 0 15 0 10143871 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377286687344 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8469] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8469/stat : 8469 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377285634784 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8470] ppid=8454 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8456/task/8470/stat : 8470 (java) S 8454 8454 5123 0 -1 1077944384 1058 0 0 0 1 1 0 0 20 0 15 0 10143879 14316269568 56107 18446744073709551615 4194304 4196468 140735468930480 140377284582064 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
Current children cumulated CPU time (s) 168.23
Current children cumulated vsize (KiB) 13990244

[startup+222.306 s]
/proc/loadavg: 1.96 2.03 1.95 3/211 8564
/proc/meminfo: memFree=31237704/32770624 swapFree=0/182616
[pid=8454] ppid=8451 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (xcsp3-exec) S 8451 8454 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10143859 9740288 344 18446744073709551615 4194304 5098028 140729203203120 140729203201224 139691644822140 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 9625600 140729203208604 140729203208807 140729203208807 140729203212267 0
/proc/8454/statm: 2378 344 289 221 0 87 0
[pid=8456] ppid=8454 vsize=13980732 CPUtime=228.35 cores=1,3,5,7
/proc/8456/stat : 8456 (java) S 8454 8454 5123 0 -1 1077944320 68282 0 0 0 22822 13 0 0 20 0 15 0 10143865 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140735468913024 140377814454007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
/proc/8456/statm: 3495183 55226 3234 1 0 3483484 0
[pid=8456/tid=8457] ppid=8454 vsize=13980732 CPUtime=222.11 cores=1,3,5,7
/proc/8456/task/8457/stat : 8457 (java) R 8454 8454 5123 0 -1 4202560 16183 0 0 0 22206 5 0 0 20 0 15 0 10143866 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377818692536 140377461392484 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8458] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (java) S 8454 8454 5123 0 -1 1077944384 1016 0 0 0 1 0 0 0 20 0 15 0 10143866 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377786297488 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8459] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (java) S 8454 8454 5123 0 -1 1077944384 671 0 0 0 1 0 0 0 20 0 15 0 10143866 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377413643280 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8460] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (java) S 8454 8454 5123 0 -1 1077944384 610 0 0 0 1 0 0 0 20 0 15 0 10143866 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377412590480 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8461] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8461/stat : 8461 (java) S 8454 8454 5123 0 -1 1077944384 900 0 0 0 1 0 0 0 20 0 15 0 10143866 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377411537680 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8462] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8462/stat : 8462 (java) S 8454 8454 5123 0 -1 1077944384 1153 0 0 0 1 0 0 0 20 0 15 0 10143868 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377293003120 140377814465154 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8463] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8463/stat : 8463 (java) S 8454 8454 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377291949088 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8464] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8464/stat : 8464 (java) S 8454 8454 5123 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377290896240 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8465] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8465/stat : 8465 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377289844560 140377814472603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8466] ppid=8454 vsize=13980732 CPUtime=2.84 cores=1,3,5,7
/proc/8456/task/8466/stat : 8466 (java) S 8454 8454 5123 0 -1 1077944384 16430 0 0 0 283 1 0 0 20 0 15 0 10143871 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377288792944 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8467] ppid=8454 vsize=13980732 CPUtime=2.64 cores=1,3,5,7
/proc/8456/task/8467/stat : 8467 (java) S 8454 8454 5123 0 -1 1077944384 20659 0 0 0 262 2 0 0 20 0 15 0 10143871 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377287740144 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8468] ppid=8454 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/8456/task/8468/stat : 8468 (java) S 8454 8454 5123 0 -1 1077944384 8207 0 0 0 59 1 0 0 20 0 15 0 10143871 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377286687344 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8469] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8469/stat : 8469 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377285634784 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8470] ppid=8454 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8456/task/8470/stat : 8470 (java) S 8454 8454 5123 0 -1 1077944384 1097 0 0 0 2 2 0 0 20 0 15 0 10143879 14316269568 55226 18446744073709551615 4194304 4196468 140735468930480 140377284582064 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
Current children cumulated CPU time (s) 228.35
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.97 2.03 1.95 3/211 8564
/proc/meminfo: memFree=31247516/32770624 swapFree=0/182624
[pid=8454] ppid=8451 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8454/stat : 8454 (xcsp3-exec) S 8451 8454 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10143859 9740288 344 18446744073709551615 4194304 5098028 140729203203120 140729203201224 139691644822140 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 9625600 140729203208604 140729203208807 140729203208807 140729203212267 0
/proc/8454/statm: 2378 344 289 221 0 87 0
[pid=8456] ppid=8454 vsize=13980732 CPUtime=246.06 cores=1,3,5,7
/proc/8456/stat : 8456 (java) S 8454 8454 5123 0 -1 1077944320 69115 0 0 0 24592 14 0 0 20 0 15 0 10143865 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140735468913024 140377814454007 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
/proc/8456/statm: 3495183 56377 3234 1 0 3483484 0
[pid=8456/tid=8457] ppid=8454 vsize=13980732 CPUtime=239.8 cores=1,3,5,7
/proc/8456/task/8457/stat : 8457 (java) R 8454 8454 5123 0 -1 4202560 16209 0 0 0 23975 5 0 0 20 0 15 0 10143866 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377818693344 140377462021831 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8458] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (java) S 8454 8454 5123 0 -1 1077944384 1122 0 0 0 1 0 0 0 20 0 15 0 10143866 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377786297488 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8459] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (java) S 8454 8454 5123 0 -1 1077944384 685 0 0 0 1 0 0 0 20 0 15 0 10143866 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377413643280 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8460] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (java) S 8454 8454 5123 0 -1 1077944384 1215 0 0 0 1 0 0 0 20 0 15 0 10143866 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377412590480 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8461] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8461/stat : 8461 (java) S 8454 8454 5123 0 -1 1077944384 917 0 0 0 1 0 0 0 20 0 15 0 10143866 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377411537680 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8462] ppid=8454 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8456/task/8462/stat : 8462 (java) S 8454 8454 5123 0 -1 1077944384 1218 0 0 0 1 0 0 0 20 0 15 0 10143868 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377293003120 140377814465154 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8463] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8463/stat : 8463 (java) S 8454 8454 5123 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377291949088 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8464] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8464/stat : 8464 (java) S 8454 8454 5123 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10143868 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377290896240 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8465] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8465/stat : 8465 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377289844560 140377814472603 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8466] ppid=8454 vsize=13980732 CPUtime=2.84 cores=1,3,5,7
/proc/8456/task/8466/stat : 8466 (java) S 8454 8454 5123 0 -1 1077944384 16430 0 0 0 283 1 0 0 20 0 15 0 10143871 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377288792944 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8467] ppid=8454 vsize=13980732 CPUtime=2.64 cores=1,3,5,7
/proc/8456/task/8467/stat : 8467 (java) S 8454 8454 5123 0 -1 1077944384 20659 0 0 0 262 2 0 0 20 0 15 0 10143871 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377287740144 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8468] ppid=8454 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/8456/task/8468/stat : 8468 (java) S 8454 8454 5123 0 -1 1077944384 8207 0 0 0 59 1 0 0 20 0 15 0 10143871 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377286687344 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8469] ppid=8454 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8456/task/8469/stat : 8469 (java) S 8454 8454 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10143871 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377285634784 140377814464213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
[pid=8456/tid=8470] ppid=8454 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8456/task/8470/stat : 8470 (java) S 8454 8454 5123 0 -1 1077944384 1097 0 0 0 2 2 0 0 20 0 15 0 10143879 14316269568 56377 18446744073709551615 4194304 4196468 140735468930480 140377284582064 140377814465154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140735468933588 140735468933763 140735468933763 140735468937167 0
Current children cumulated CPU time (s) 246.06
Current children cumulated vsize (KiB) 13990244

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 240.01
CPU time (s): 246.06
CPU user time (s): 245.92
CPU system time (s): 0.14
CPU usage (%): 102.521
Max. virtual memory (cumulated for all children) (KiB): 13991912

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.870992 second user time and 1.48592 second system time

The end

Launcher Data 

Begin job on node130 at 2017-08-01 21:07:14
IDJOB=4254238
IDBENCH=129200
IDSOLVER=2635
FILE ID=node130/4254238-1501615269
RUNJOBID= node130-1501611170-5184
PBS_JOBID= 
Free space on /tmp= 61648 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-4254238-1501615269/watcher-4254238-1501615269 -o /tmp/evaluation-result-4254238-1501615269/solver-4254238-1501615269 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5184 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 551814918 HOME/instance-4254238-1501615269.xml

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

MD5SUM BENCH= 2bf32ca1cbb3a17ab70e7ee7c2cd4ace
RANDOM SEED=551814918

node130.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.46
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.46
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.46
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.46
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:        31753752 kB
MemAvailable:   31806068 kB
Buffers:           92532 kB
Cached:           244580 kB
SwapCached:            0 kB
Active:           428756 kB
Inactive:         190864 kB
Active(anon):     282840 kB
Inactive(anon):     8532 kB
Active(file):     145916 kB
Inactive(file):   182332 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7908 kB
Writeback:             0 kB
AnonPages:        296876 kB
Mapped:            42096 kB
Shmem:              8872 kB
Slab:             103988 kB
SReclaimable:      79808 kB
SUnreclaim:        24180 kB
KernelStack:        3712 kB
PageTables:         5344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1371812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61644 MiB
End job on node130 at 2017-08-01 21:11:14