Trace number 4281992

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-18)SAT (TO)190 2520.05 2512.3101

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 benchmark178
Best CPU time to get the best result obtained on this benchmark2400.02
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-4281992-1503133278.xml"  -tl '2520s' -p 1 -x 0
0.06/0.29	c [HOME/instance-4281992-1503133278.xml, -tl, 2520s, -p, 1, -x, 0]
0.24/0.35	c simple solver
0.42/0.42	c parse instance...
1.08/0.70	c solve instance...
3.24/1.40	o 649 
3.85/1.65	o 648 
4.46/1.84	o 647 
5.09/2.02	o 646 
5.66/2.21	o 645 
5.97/2.38	o 644 
6.57/2.51	o 643 
6.88/2.65	o 642 
7.06/2.73	o 641 
7.16/2.81	o 640 
7.16/2.86	o 639 
7.27/2.93	o 638 
7.42/3.01	o 637 
7.42/3.05	o 636 
7.42/3.10	o 635 
7.68/3.20	o 634 
7.68/3.29	o 633 
7.88/3.41	o 632 
8.07/3.50	o 631 
8.07/3.58	o 630 
8.37/3.67	o 629 
8.55/3.78	o 628 
8.75/3.90	o 627 
8.75/3.99	o 626 
8.86/4.11	o 625 
8.96/4.19	o 624 
9.05/4.27	o 623 
9.15/4.38	o 622 
9.26/4.47	o 621 
9.36/4.55	o 620 
9.47/4.65	o 619 
9.65/4.76	o 618 
9.77/4.84	o 617 
9.88/4.96	o 616 
9.98/5.04	o 615 
10.09/5.11	o 614 
10.18/5.21	o 613 
10.49/5.51	o 612 
10.65/5.60	o 611 
10.77/5.70	o 610 
10.77/5.79	o 609 
10.87/5.88	o 608 
10.99/5.97	o 607 
11.10/6.07	o 606 
11.29/6.25	o 605 
11.49/6.41	o 604 
11.59/6.57	o 603 
11.79/6.73	o 602 
11.90/6.89	o 601 
12.11/7.05	o 600 
12.40/7.20	o 599 
12.50/7.33	o 598 
12.62/7.46	o 597 
12.72/7.58	o 596 
12.92/7.71	o 595 
13.02/7.83	o 594 
13.12/7.96	o 593 
13.34/8.14	o 592 
15.65/10.49	o 591 
15.75/10.59	o 590 
15.86/10.66	o 589 
15.96/10.77	o 588 
16.06/10.87	o 587 
16.16/10.97	o 586 
16.33/11.08	o 585 
16.43/11.18	o 584 
16.52/11.26	o 583 
16.62/11.36	o 582 
16.72/11.46	o 581 
16.82/11.57	o 580 
16.92/11.67	o 579 
17.02/11.77	o 578 
17.12/11.88	o 577 
17.22/11.98	o 576 
17.33/12.08	o 575 
17.43/12.19	o 574 
17.93/12.70	o 573 
18.13/12.82	o 572 
18.23/12.94	o 571 
18.34/13.04	o 570 
18.44/13.14	o 569 
18.53/13.25	o 568 
18.67/13.36	o 567 
18.77/13.46	o 566 
18.87/13.57	o 565 
18.97/13.67	o 564 
19.08/13.76	o 563 
19.25/13.86	o 562 
19.42/13.96	o 561 
19.53/14.05	o 560 
19.63/14.13	o 559 
19.72/14.21	o 558 
19.82/14.30	o 557 
19.82/14.39	o 556 
19.92/14.48	o 555 
20.02/14.56	o 554 
20.12/14.64	o 553 
20.22/14.72	o 552 
20.32/14.82	o 551 
20.42/14.94	o 550 
20.53/15.07	o 549 
20.73/15.21	o 548 
20.83/15.35	o 547 
20.94/15.46	o 546 
21.24/15.79	o 545 
21.44/15.91	o 544 
21.55/16.04	o 543 
21.65/16.17	o 542 
21.74/16.29	o 541 
21.94/16.41	o 540 
22.05/16.53	o 539 
22.17/16.69	o 538 
22.37/16.85	o 537 
22.58/17.03	o 536 
22.77/17.20	o 535 
22.87/17.38	o 534 
23.07/17.55	o 533 
23.27/17.72	o 532 
23.37/17.89	o 531 
23.58/18.06	o 530 
23.77/18.23	o 529 
23.87/18.40	o 528 
24.07/18.57	o 527 
24.18/18.66	o 526 
24.28/18.75	o 525 
24.38/18.84	o 524 
24.48/18.92	o 523 
24.48/19.00	o 522 
24.59/19.09	o 521 
24.69/19.18	o 520 
24.78/19.27	o 519 
24.88/19.35	o 518 
24.98/19.44	o 517 
25.08/19.53	o 516 
25.18/19.62	o 515 
25.28/19.71	o 514 
25.28/19.79	o 513 
25.38/19.88	o 512 
25.48/19.97	o 511 
25.59/20.06	o 510 
25.69/20.13	o 509 
25.78/20.22	o 508 
25.88/20.30	o 507 
25.88/20.38	o 506 
25.98/20.47	o 505 
26.08/20.56	o 504 
26.18/20.64	o 503 
26.28/20.72	o 502 
26.38/20.81	o 501 
26.38/20.89	o 500 
26.49/20.97	o 499 
26.60/21.06	o 498 
26.70/21.13	o 497 
26.79/21.22	o 496 
26.79/21.29	o 495 
26.89/21.37	o 494 
26.99/21.45	o 493 
27.09/21.53	o 492 
27.19/21.61	o 491 
27.29/21.70	o 490 
27.29/21.77	o 489 
27.39/21.85	o 488 
27.49/21.93	o 487 
27.60/22.01	o 486 
27.60/22.09	o 485 
27.70/22.17	o 484 
27.79/22.25	o 483 
27.89/22.33	o 482 
27.99/22.41	o 481 
28.09/22.50	o 480 
28.09/22.58	o 479 
28.19/22.67	o 478 
28.29/22.74	o 477 
28.39/22.83	o 476 
28.49/22.91	o 475 
28.49/22.99	o 474 
28.60/23.08	o 473 
28.70/23.16	o 472 
28.79/23.25	o 471 
28.89/23.32	o 470 
28.99/23.40	o 469 
28.99/23.49	o 468 
29.09/23.56	o 467 
29.19/23.65	o 466 
29.29/23.73	o 465 
29.39/23.82	o 464 
29.39/23.89	o 463 
29.49/23.98	o 462 
29.60/24.06	o 461 
29.70/24.14	o 460 
29.79/24.23	o 459 
29.89/24.31	o 458 
29.89/24.39	o 457 
29.99/24.47	o 456 
30.09/24.55	o 455 
30.20/24.63	o 454 
30.30/24.72	o 453 
30.40/24.80	o 452 
30.40/24.88	o 451 
30.50/24.97	o 450 
30.61/25.06	o 449 
30.71/25.15	o 448 
30.80/25.24	o 447 
30.92/25.33	o 446 
31.02/25.43	o 445 
31.12/25.52	o 444 
31.22/25.61	o 443 
31.32/25.71	o 442 
31.42/25.80	o 441 
31.52/25.90	o 440 
31.52/25.99	o 439 
31.82/26.26	o 438 
32.03/26.40	o 437 
32.03/26.49	o 436 
32.13/26.59	o 435 
32.23/26.70	o 434 
32.43/26.82	o 433 
32.53/26.94	o 432 
32.64/27.06	o 431 
32.74/27.16	o 430 
32.83/27.29	o 429 
33.03/27.41	o 428 
33.13/27.51	o 427 
33.23/27.63	o 426 
33.33/27.74	o 425 
33.43/27.85	o 424 
33.53/27.96	o 423 
33.64/28.08	o 422 
33.77/28.20	o 421 
33.97/28.31	o 420 
34.07/28.43	o 419 
34.17/28.54	o 418 
34.32/28.66	o 417 
34.45/28.77	o 416 
34.65/28.94	o 415 
34.85/29.11	o 414 
34.95/29.20	o 413 
35.05/29.37	o 412 
35.25/29.54	o 411 
35.37/29.64	o 410 
35.47/29.73	o 409 
35.57/29.83	o 408 
35.67/29.92	o 407 
35.78/30.02	o 406 
35.88/30.12	o 405 
35.97/30.21	o 404 
36.07/30.31	o 403 
36.17/30.41	o 402 
36.27/30.51	o 401 
36.37/30.61	o 400 
36.47/30.71	o 399 
36.58/30.80	o 398 
36.71/30.90	o 397 
36.71/30.99	o 396 
36.92/31.12	o 395 
37.01/31.25	o 394 
37.11/31.38	o 393 
37.31/31.52	o 392 
37.41/31.60	o 391 
37.41/31.68	o 390 
37.62/31.81	o 389 
37.62/31.89	o 388 
37.83/32.03	o 387 
37.94/32.11	o 386 
38.03/32.24	o 385 
38.13/32.32	o 384 
38.23/32.46	o 383 
38.33/32.59	o 382 
38.43/32.69	o 381 
38.54/32.77	o 380 
38.76/32.90	o 379 
38.87/33.04	o 378 
38.97/33.17	o 377 
39.18/33.33	o 376 
39.28/33.42	o 375 
39.38/33.59	o 374 
39.58/33.76	o 373 
39.68/33.86	o 372 
39.78/33.96	o 371 
40.02/34.13	o 370 
40.11/34.28	o 369 
40.31/34.44	o 368 
40.41/34.59	o 367 
40.61/34.74	o 366 
40.72/34.88	o 365 
40.82/35.00	o 364 
41.03/35.12	o 363 
41.12/35.24	o 362 
41.22/35.36	o 361 
41.32/35.48	o 360 
41.53/35.61	o 359 
41.63/35.73	o 358 
41.73/35.85	o 357 
41.83/35.99	o 356 
42.04/36.14	o 355 
42.63/36.79	o 354 
43.14/37.20	o 353 
43.24/37.36	o 352 
43.44/37.51	o 351 
43.54/37.62	o 350 
43.64/37.74	o 349 
43.74/37.85	o 348 
43.84/37.99	o 347 
44.11/38.13	o 346 
44.20/38.28	o 345 
44.40/38.40	o 344 
44.50/38.52	o 343 
44.60/38.66	o 342 
44.70/38.78	o 341 
44.90/38.91	o 340 
45.01/39.05	o 339 
45.11/39.17	o 338 
45.30/39.32	o 337 
45.40/39.44	o 336 
45.50/39.56	o 335 
45.70/39.70	o 334 
45.80/39.83	o 333 
45.90/39.97	o 332 
46.01/40.10	o 331 
46.20/40.23	o 330 
46.30/40.37	o 329 
46.52/40.50	o 328 
46.62/40.64	o 327 
46.72/40.77	o 326 
46.92/40.90	o 325 
47.03/41.04	o 324 
47.13/41.17	o 323 
47.32/41.31	o 322 
47.42/41.44	o 321 
47.52/41.57	o 320 
47.72/41.72	o 319 
47.82/41.86	o 318 
47.92/42.00	o 317 
48.13/42.14	o 316 
48.22/42.29	o 315 
48.42/42.43	o 314 
48.52/42.57	o 313 
48.79/42.71	o 312 
48.89/42.85	o 311 
49.11/43.03	o 310 
49.21/43.19	o 309 
49.40/43.36	o 308 
49.60/43.52	o 307 
49.70/43.68	o 306 
49.90/43.85	o 305 
50.11/44.01	o 304 
50.21/44.17	o 303 
50.40/44.34	o 302 
50.60/44.51	o 301 
50.70/44.69	o 300 
50.90/44.88	o 299 
51.11/45.06	o 298 
51.30/45.27	o 297 
51.50/45.48	o 296 
51.70/45.69	o 295 
52.00/45.91	o 294 
52.21/46.11	o 293 
52.41/46.32	o 292 
52.61/46.54	o 291 
52.91/46.82	o 290 
53.12/47.07	o 289 
53.41/47.37	o 288 
53.61/47.55	o 225 
53.61/47.57	o 224 
53.71/47.61	o 218 
56.15/50.05	o 203 
68.37/62.22	o 202 
72.57/66.41	o 201 
74.20/68.10	o 199 
86.53/80.36	o 198 
213.63/207.05	o 197 
249.65/243.03	o 196 
259.75/253.12	o 195 
261.05/254.43	o 194 
280.57/273.98	o 193 
708.41/701.54	o 192 
824.77/817.88	o 191 
1659.99/1652.78	o 190 
2520.03/2512.30	s SATISFIABLE
2520.03/2512.30	v <instantiation>
2520.03/2512.30	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>
2520.03/2512.30	v 	<values>0 0 0 0 7 16 21 18 54 36 44 13 44 31 54 26 39 65 55 6 26 18 7 73 16 62 38 70 22 91 55 73 22 93 45 124 76 62 26 76 93 33 37 31 57 55 50 65 137 8 24 67 102 101 91 39 115 110 47 114 85 132 76 92 47 126 144 100 85 93 152 180 118 123 102 132 111 178 155 85 121 131 78 111 168 102 126 155 118 158 154 144 115 100 133 118 177 114 117 152 160 123 161 183 133 117 137 137 142 168 161 177 128 174 167 178 168 176 180 188 185 190 </values>
2520.03/2512.30	v </instantiation>
2520.03/2512.30	c Unexpected resolution interruption!

Verifier Data 

OK	190

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 (14669 MiB free)
  memory of node 1: 16384 MiB (15268 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281992-1503133278/watcher-4281992-1503133278 -o /tmp/evaluation-result-4281992-1503133278/solver-4281992-1503133278 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503095795-8622 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 305007936 HOME/instance-4281992-1503133278.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=18595, runsolver pid=18592
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 1.78 1.84 1.89 2/196 18596
/proc/meminfo: memFree=30656348/32770624 swapFree=67108860/67108860
[pid=18595] ppid=18592 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18595/stat : 18595 (xcsp3-exec) S 18592 18595 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115548307 9740288 345 18446744073709551615 4194304 5098028 140724762895712 140724762893816 140028580266620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 25726976 140724762898809 140724762899013 140724762899013 140724762902507 0
/proc/18595/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.209279 s]*
/proc/loadavg: 1.78 1.84 1.89 2/210 18610
/proc/meminfo: memFree=30644792/32770624 swapFree=67108860/67108860
[pid=18595] ppid=18592 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18595/stat : 18595 (xcsp3-exec) S 18592 18595 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115548307 9740288 345 18446744073709551615 4194304 5098028 140724762895712 140724762893816 140028580266620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 25726976 140724762898809 140724762899013 140724762899013 140724762902507 0
/proc/18595/statm: 2378 345 289 221 0 87 0
[pid=18597] ppid=18595 vsize=13973868 memory=21644 CPUtime=0.06 cores=1,3,5,7
/proc/18597/stat : 18597 (java) S 18595 18595 8563 0 -1 1077944320 4847 0 0 0 5 1 0 0 20 0 15 0 115548318 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140724986793520 140267656195831 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
/proc/18597/statm: 3493467 5411 2579 1 0 3482964 0
[pid=18597/tid=18598] ppid=18595 vsize=13973868 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/18597/task/18598/stat : 18598 (java) R 18595 18595 8563 0 -1 4202560 3010 0 0 0 4 0 0 0 20 0 15 0 115548318 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267660438112 140267656217757 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18599] ppid=18595 vsize=13973868 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18599/stat : 18599 (java) S 18595 18595 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115548319 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267598141968 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18600] ppid=18595 vsize=13973868 memory=139700582685952 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18600/stat : 18600 (java) S 18595 18595 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115548319 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267597089424 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18601] ppid=18595 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18601/stat : 18601 (java) S 18595 18595 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115548319 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267596036368 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18602] ppid=18595 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18602/stat : 18602 (java) S 18595 18595 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115548319 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267594983824 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18603] ppid=18595 vsize=13973868 memory=139700581602944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18603/stat : 18603 (java) S 18595 18595 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115548320 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267201870576 140267656206978 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18604] ppid=18595 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18604/stat : 18604 (java) S 18595 18595 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115548321 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267200816800 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18605] ppid=18595 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18605/stat : 18605 (java) S 18595 18595 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115548321 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267199763696 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18606] ppid=18595 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18606/stat : 18606 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267198712272 140267656214427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18607] ppid=18595 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18607/stat : 18607 (java) S 18595 18595 8563 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 115548324 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267197659376 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18608] ppid=18595 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18608/stat : 18608 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267196606832 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18609] ppid=18595 vsize=13973868 memory=139700581602944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18609/stat : 18609 (java) S 18595 18595 8563 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 15 0 115548324 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267195553776 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18610] ppid=18595 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18610/stat : 18610 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267194501472 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18611] ppid=18595 vsize=13973868 memory=139700581602944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18611/stat : 18611 (java) S 18595 18595 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115548329 14309240832 5411 18446744073709551615 4194304 4196468 140724986810976 140267193449520 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23024 KiB

[startup+0.31002 s]*
/proc/loadavg: 1.78 1.84 1.89 3/211 18611
/proc/meminfo: memFree=30631084/32770624 swapFree=67108860/67108860
[pid=18595] ppid=18592 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18595/stat : 18595 (xcsp3-exec) S 18592 18595 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115548307 9740288 345 18446744073709551615 4194304 5098028 140724762895712 140724762893816 140028580266620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 25726976 140724762898809 140724762899013 140724762899013 140724762902507 0
/proc/18595/statm: 2378 345 289 221 0 87 0
[pid=18597] ppid=18595 vsize=13974352 memory=36312 CPUtime=0.24 cores=1,3,5,7
/proc/18597/stat : 18597 (java) S 18595 18595 8563 0 -1 1077944320 8709 0 0 0 21 3 0 0 20 0 15 0 115548318 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140724986793520 140267656195831 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
/proc/18597/statm: 3493588 9078 2972 1 0 3482964 0
[pid=18597/tid=18598] ppid=18595 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/18597/task/18598/stat : 18598 (java) R 18595 18595 8563 0 -1 4202560 5940 0 0 0 13 2 0 0 20 0 15 0 115548318 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267660424368 140267640276318 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18599] ppid=18595 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18599/stat : 18599 (java) S 18595 18595 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115548319 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267598141968 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18600] ppid=18595 vsize=13974352 memory=139700581602944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18600/stat : 18600 (java) S 18595 18595 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115548319 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267597089424 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18601] ppid=18595 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18601/stat : 18601 (java) S 18595 18595 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115548319 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267596036368 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18602] ppid=18595 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18602/stat : 18602 (java) S 18595 18595 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115548319 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267594983824 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18603] ppid=18595 vsize=13974352 memory=139700581602944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18603/stat : 18603 (java) S 18595 18595 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115548320 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267201870576 140267656206978 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18604] ppid=18595 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18604/stat : 18604 (java) S 18595 18595 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115548321 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267200816800 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18605] ppid=18595 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18605/stat : 18605 (java) S 18595 18595 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115548321 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267199763696 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18606] ppid=18595 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18606/stat : 18606 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267198712272 140267656214427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18607] ppid=18595 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18597/task/18607/stat : 18607 (java) S 18595 18595 8563 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 15 0 115548324 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267197659376 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18608] ppid=18595 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18597/task/18608/stat : 18608 (java) S 18595 18595 8563 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 115548324 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267196606832 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18609] ppid=18595 vsize=13974352 memory=139700581602944 CPUtime=0.05 cores=1,3,5,7
/proc/18597/task/18609/stat : 18609 (java) S 18595 18595 8563 0 -1 1077944384 712 0 0 0 5 0 0 0 20 0 15 0 115548324 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267195553776 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18610] ppid=18595 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18610/stat : 18610 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267194501472 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18611] ppid=18595 vsize=13974352 memory=139700581602944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18611/stat : 18611 (java) S 18595 18595 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115548329 14309736448 9078 18446744073709551615 4194304 4196468 140724986810976 140267193449520 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37692 KiB

[startup+0.701237 s]
/proc/loadavg: 1.78 1.84 1.89 4/211 18611
/proc/meminfo: memFree=30620020/32770624 swapFree=67108860/67108860
[pid=18595] ppid=18592 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18595/stat : 18595 (xcsp3-exec) S 18592 18595 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115548307 9740288 345 18446744073709551615 4194304 5098028 140724762895712 140724762893816 140028580266620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 25726976 140724762898809 140724762899013 140724762899013 140724762902507 0
/proc/18595/statm: 2378 345 289 221 0 87 0
[pid=18597] ppid=18595 vsize=13980732 memory=65180 CPUtime=1.08 cores=1,3,5,7
/proc/18597/stat : 18597 (java) S 18595 18595 8563 0 -1 1077944320 12982 0 0 0 103 5 0 0 20 0 15 0 115548318 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140724986793520 140267656195831 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
/proc/18597/statm: 3495183 16295 3167 1 0 3483476 0
[pid=18597/tid=18598] ppid=18595 vsize=13980732 memory=7660742144744843625 CPUtime=0.52 cores=1,3,5,7
/proc/18597/task/18598/stat : 18598 (java) R 18595 18595 8563 0 -1 4202560 8510 0 0 0 49 3 0 0 20 0 15 0 115548318 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267660419968 140267656217757 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18599] ppid=18595 vsize=13980732 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18599/stat : 18599 (java) S 18595 18595 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115548319 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267598141968 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18600] ppid=18595 vsize=13980732 memory=6940416806629691476 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18600/stat : 18600 (java) S 18595 18595 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115548319 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267597089424 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18601] ppid=18595 vsize=13980732 memory=-7098080424032564416 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18601/stat : 18601 (java) S 18595 18595 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115548319 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267596036368 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18602] ppid=18595 vsize=13980732 memory=8370611207638964880 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18602/stat : 18602 (java) S 18595 18595 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115548319 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267594983824 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18603] ppid=18595 vsize=13980732 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18603/stat : 18603 (java) S 18595 18595 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115548320 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267201870576 140267656206978 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18604] ppid=18595 vsize=13980732 memory=4427207343990470186 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18604/stat : 18604 (java) S 18595 18595 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267200816800 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18605] ppid=18595 vsize=13980732 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18605/stat : 18605 (java) S 18595 18595 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267199763696 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18606] ppid=18595 vsize=13980732 memory=1483 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18606/stat : 18606 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267198712272 140267656214427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18607] ppid=18595 vsize=13980732 memory=387 CPUtime=0.1 cores=1,3,5,7
/proc/18597/task/18607/stat : 18607 (java) R 18595 18595 8563 0 -1 4202560 863 0 0 0 10 0 0 0 20 0 15 0 115548324 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267197645176 140267637739920 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18608] ppid=18595 vsize=13980732 memory=111 CPUtime=0.13 cores=1,3,5,7
/proc/18597/task/18608/stat : 18608 (java) R 18595 18595 8563 0 -1 4202560 890 0 0 0 13 0 0 0 20 0 15 0 115548324 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267196592856 140267639751707 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18609] ppid=18595 vsize=13980732 memory=7 CPUtime=0.29 cores=1,3,5,7
/proc/18597/task/18609/stat : 18609 (java) S 18595 18595 8563 0 -1 1077944384 1411 0 0 0 29 0 0 0 20 0 15 0 115548324 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267195553776 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18610] ppid=18595 vsize=13980732 memory=594 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18610/stat : 18610 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267194501472 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18611] ppid=18595 vsize=13980732 memory=1 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18611/stat : 18611 (java) S 18595 18595 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115548329 14316269568 16295 18446744073709551615 4194304 4196468 140724986810976 140267193449520 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66560 KiB

[startup+1.50089 s]
/proc/loadavg: 1.78 1.84 1.89 5/211 18611
/proc/meminfo: memFree=30581496/32770624 swapFree=67108860/67108860
[pid=18595] ppid=18592 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18595/stat : 18595 (xcsp3-exec) S 18592 18595 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115548307 9740288 345 18446744073709551615 4194304 5098028 140724762895712 140724762893816 140028580266620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 25726976 140724762898809 140724762899013 140724762899013 140724762902507 0
/proc/18595/statm: 2378 345 289 221 0 87 0
[pid=18597] ppid=18595 vsize=13980732 memory=99448 CPUtime=3.54 cores=1,3,5,7
/proc/18597/stat : 18597 (java) S 18595 18595 8563 0 -1 1077944320 31083 0 0 0 347 7 0 0 20 0 15 0 115548318 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140724986793520 140267656195831 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
/proc/18597/statm: 3495183 24862 3190 1 0 3483476 0
[pid=18597/tid=18598] ppid=18595 vsize=13980732 memory=139700455119984 CPUtime=1.33 cores=1,3,5,7
/proc/18597/task/18598/stat : 18598 (java) R 18595 18595 8563 0 -1 4202560 10204 0 0 0 129 4 0 0 20 0 15 0 115548318 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267660434168 140267277386143 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18599] ppid=18595 vsize=13980732 memory=1483 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18599/stat : 18599 (java) S 18595 18595 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115548319 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267598141968 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18600] ppid=18595 vsize=13980732 memory=387 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18600/stat : 18600 (java) S 18595 18595 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115548319 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267597089424 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18601] ppid=18595 vsize=13980732 memory=111 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18601/stat : 18601 (java) S 18595 18595 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115548319 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267596036368 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18602] ppid=18595 vsize=13980732 memory=7 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18602/stat : 18602 (java) S 18595 18595 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115548319 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267594983824 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18603] ppid=18595 vsize=13980732 memory=279400910527376 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18603/stat : 18603 (java) S 18595 18595 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115548320 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267201870576 140267656206978 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18604] ppid=18595 vsize=13980732 memory=12858 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18604/stat : 18604 (java) S 18595 18595 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267200816800 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18605] ppid=18595 vsize=13980732 memory=25369 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18605/stat : 18605 (java) S 18595 18595 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267199763696 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18606] ppid=18595 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18606/stat : 18606 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267198712272 140267656214427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18607] ppid=18595 vsize=13980732 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/18597/task/18607/stat : 18607 (java) R 18595 18595 8563 0 -1 4202560 9738 0 0 0 87 1 0 0 20 0 15 0 115548324 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267197640392 140267636895289 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18608] ppid=18595 vsize=13980732 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/18597/task/18608/stat : 18608 (java) R 18595 18595 8563 0 -1 4202560 7221 0 0 0 91 1 0 0 20 0 15 0 115548324 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267196592856 140267637717035 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18609] ppid=18595 vsize=13980732 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/18597/task/18609/stat : 18609 (java) S 18595 18595 8563 0 -1 1077944384 2606 0 0 0 39 0 0 0 20 0 15 0 115548324 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267195553776 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18610] ppid=18595 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18610/stat : 18610 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267194501472 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18611] ppid=18595 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18611/stat : 18611 (java) S 18595 18595 8563 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 115548329 14316269568 24862 18446744073709551615 4194304 4196468 140724986810976 140267193449520 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0

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

[pid=18597/tid=18603] ppid=18595 vsize=13980732 memory=960 CPUtime=0.11 cores=1,3,5,7
/proc/18597/task/18603/stat : 18603 (java) S 18595 18595 8563 0 -1 1077944384 3981 0 0 0 8 3 0 0 20 0 15 0 115548320 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267201870576 140267656206978 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18604] ppid=18595 vsize=13980732 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18604/stat : 18604 (java) S 18595 18595 8563 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267200816800 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18605] ppid=18595 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18605/stat : 18605 (java) S 18595 18595 8563 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267199763696 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18606] ppid=18595 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18606/stat : 18606 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267198712272 140267656214427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18607] ppid=18595 vsize=13980732 memory=182944 CPUtime=3.2 cores=1,3,5,7
/proc/18597/task/18607/stat : 18607 (java) S 18595 18595 8563 0 -1 1077944384 27777 0 0 0 318 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267197659376 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18608] ppid=18595 vsize=13980732 memory=4116 CPUtime=3.12 cores=1,3,5,7
/proc/18597/task/18608/stat : 18608 (java) S 18595 18595 8563 0 -1 1077944384 22292 0 0 0 310 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267196606832 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18609] ppid=18595 vsize=13980732 memory=1380 CPUtime=0.62 cores=1,3,5,7
/proc/18597/task/18609/stat : 18609 (java) S 18595 18595 8563 0 -1 1077944384 9788 0 0 0 60 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267195553776 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18610] ppid=18595 vsize=13980732 memory=182944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18610/stat : 18610 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267194501472 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18611] ppid=18595 vsize=13980732 memory=1380 CPUtime=0.47 cores=1,3,5,7
/proc/18597/task/18611/stat : 18611 (java) S 18595 18595 8563 0 -1 1077944384 2017 0 0 0 19 28 0 0 20 0 15 0 115548329 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267193449520 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
Current children cumulated CPU time: 2450.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 184324 KiB

[startup+2502.3 s]
/proc/loadavg: 1.65 1.72 1.80 3/211 19185
/proc/meminfo: memFree=29179616/32770624 swapFree=67108860/67108860
[pid=18595] ppid=18592 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18595/stat : 18595 (xcsp3-exec) S 18592 18595 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115548307 9740288 345 18446744073709551615 4194304 5098028 140724762895712 140724762893816 140028580266620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 25726976 140724762898809 140724762899013 140724762899013 140724762902507 0
/proc/18595/statm: 2378 345 289 221 0 87 0
[pid=18597] ppid=18595 vsize=13980732 memory=182944 CPUtime=2510.03 cores=1,3,5,7
/proc/18597/stat : 18597 (java) S 18595 18595 8563 0 -1 1077944320 101671 0 0 0 250959 44 0 0 20 0 15 0 115548318 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140724986793520 140267656195831 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
/proc/18597/statm: 3495183 45736 3244 1 0 3483476 0
[pid=18597/tid=18598] ppid=18595 vsize=13980732 memory=182944 CPUtime=2502.06 cores=1,3,5,7
/proc/18597/task/18598/stat : 18598 (java) R 18595 18595 8563 0 -1 4202560 24369 0 0 0 250200 6 0 0 20 0 15 0 115548318 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267660435184 140267280138087 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18599] ppid=18595 vsize=13980732 memory=1380 CPUtime=0.08 cores=1,3,5,7
/proc/18597/task/18599/stat : 18599 (java) S 18595 18595 8563 0 -1 1077944384 2551 0 0 0 6 2 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267598141968 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18600] ppid=18595 vsize=13980732 memory=1380 CPUtime=0.08 cores=1,3,5,7
/proc/18597/task/18600/stat : 18600 (java) S 18595 18595 8563 0 -1 1077944384 2192 0 0 0 7 1 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267597089424 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18601] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.09 cores=1,3,5,7
/proc/18597/task/18601/stat : 18601 (java) S 18595 18595 8563 0 -1 1077944384 3135 0 0 0 7 2 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267596036368 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18602] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.09 cores=1,3,5,7
/proc/18597/task/18602/stat : 18602 (java) S 18595 18595 8563 0 -1 1077944384 2011 0 0 0 8 1 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267594983824 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18603] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.12 cores=1,3,5,7
/proc/18597/task/18603/stat : 18603 (java) S 18595 18595 8563 0 -1 1077944384 4156 0 0 0 8 4 0 0 20 0 15 0 115548320 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267201870576 140267656206978 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18604] ppid=18595 vsize=13980732 memory=182944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18604/stat : 18604 (java) S 18595 18595 8563 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267200816800 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18605] ppid=18595 vsize=13980732 memory=182944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18605/stat : 18605 (java) S 18595 18595 8563 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267199763696 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18606] ppid=18595 vsize=13980732 memory=182944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18606/stat : 18606 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267198712272 140267656214427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18607] ppid=18595 vsize=13980732 memory=182944 CPUtime=3.2 cores=1,3,5,7
/proc/18597/task/18607/stat : 18607 (java) S 18595 18595 8563 0 -1 1077944384 27779 0 0 0 318 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267197659376 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18608] ppid=18595 vsize=13980732 memory=0 CPUtime=3.12 cores=1,3,5,7
/proc/18597/task/18608/stat : 18608 (java) S 18595 18595 8563 0 -1 1077944384 22294 0 0 0 310 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267196606832 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18609] ppid=18595 vsize=13980732 memory=1156 CPUtime=0.62 cores=1,3,5,7
/proc/18597/task/18609/stat : 18609 (java) S 18595 18595 8563 0 -1 1077944384 9791 0 0 0 60 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267195553776 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18610] ppid=18595 vsize=13980732 memory=3224 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18610/stat : 18610 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267194501472 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18611] ppid=18595 vsize=13980732 memory=5788 CPUtime=0.48 cores=1,3,5,7
/proc/18597/task/18611/stat : 18611 (java) S 18595 18595 8563 0 -1 1077944384 2038 0 0 0 19 29 0 0 20 0 15 0 115548329 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267193449520 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
Current children cumulated CPU time: 2510.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 184324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.3 s]
/proc/loadavg: 1.70 1.73 1.80 3/211 19186
/proc/meminfo: memFree=28753240/32770624 swapFree=67108860/67108860
[pid=18595] ppid=18592 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18595/stat : 18595 (xcsp3-exec) S 18592 18595 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115548307 9740288 345 18446744073709551615 4194304 5098028 140724762895712 140724762893816 140028580266620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 25726976 140724762898809 140724762899013 140724762899013 140724762902507 0
/proc/18595/statm: 2378 345 289 221 0 87 0
[pid=18597] ppid=18595 vsize=13980732 memory=182944 CPUtime=2520.03 cores=1,3,5,7
/proc/18597/stat : 18597 (java) S 18595 18595 8563 0 -1 1077944320 101746 0 0 0 251959 44 0 0 20 0 15 0 115548318 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140724986793520 140267656195831 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
/proc/18597/statm: 3495183 45736 3244 1 0 3483476 0
[pid=18597/tid=18598] ppid=18595 vsize=13980732 memory=182944 CPUtime=2512.05 cores=1,3,5,7
/proc/18597/task/18598/stat : 18598 (java) R 18595 18595 8563 0 -1 4202560 24435 0 0 0 251199 6 0 0 20 0 15 0 115548318 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267660435248 140267278063501 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18599] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.09 cores=1,3,5,7
/proc/18597/task/18599/stat : 18599 (java) S 18595 18595 8563 0 -1 1077944384 2551 0 0 0 7 2 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267598141968 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18600] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.09 cores=1,3,5,7
/proc/18597/task/18600/stat : 18600 (java) S 18595 18595 8563 0 -1 1077944384 2192 0 0 0 8 1 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267597089424 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18601] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.09 cores=1,3,5,7
/proc/18597/task/18601/stat : 18601 (java) S 18595 18595 8563 0 -1 1077944384 3136 0 0 0 7 2 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267596036368 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18602] ppid=18595 vsize=13980732 memory=1380 CPUtime=0.09 cores=1,3,5,7
/proc/18597/task/18602/stat : 18602 (java) S 18595 18595 8563 0 -1 1077944384 2011 0 0 0 8 1 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267594983824 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18603] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.12 cores=1,3,5,7
/proc/18597/task/18603/stat : 18603 (java) S 18595 18595 8563 0 -1 1077944384 4164 0 0 0 8 4 0 0 20 0 15 0 115548320 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267201870576 140267656206978 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18604] ppid=18595 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18604/stat : 18604 (java) S 18595 18595 8563 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267200816800 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18605] ppid=18595 vsize=13980732 memory=182944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18605/stat : 18605 (java) S 18595 18595 8563 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267199763696 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18606] ppid=18595 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18606/stat : 18606 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267198712272 140267656214427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18607] ppid=18595 vsize=13980732 memory=182944 CPUtime=3.2 cores=1,3,5,7
/proc/18597/task/18607/stat : 18607 (java) S 18595 18595 8563 0 -1 1077944384 27779 0 0 0 318 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267197659376 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18608] ppid=18595 vsize=13980732 memory=1380 CPUtime=3.12 cores=1,3,5,7
/proc/18597/task/18608/stat : 18608 (java) S 18595 18595 8563 0 -1 1077944384 22294 0 0 0 310 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267196606832 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18609] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.62 cores=1,3,5,7
/proc/18597/task/18609/stat : 18609 (java) S 18595 18595 8563 0 -1 1077944384 9791 0 0 0 60 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267195553776 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18610] ppid=18595 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18610/stat : 18610 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267194501472 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18611] ppid=18595 vsize=13980732 memory=5788 CPUtime=0.48 cores=1,3,5,7
/proc/18597/task/18611/stat : 18611 (java) S 18595 18595 8563 0 -1 1077944384 2038 0 0 0 19 29 0 0 20 0 15 0 115548329 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267193449520 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 184324 KiB

Sending SIGTERM to process tree (bottom up)

[startup+2512.31 s]
# the end of solver process 18595 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.61 s, system=0.444231 s

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

[startup+2512.3 s]
/proc/loadavg: 1.70 1.73 1.80 3/211 19186
/proc/meminfo: memFree=28753240/32770624 swapFree=67108860/67108860
[pid=18595] ppid=18592 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18595/stat : 18595 (xcsp3-exec) S 18592 18595 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115548307 9740288 345 18446744073709551615 4194304 5098028 140724762895712 140724762893816 140028580266620 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 25726976 140724762898809 140724762899013 140724762899013 140724762902507 0
/proc/18595/statm: 2378 345 289 221 0 87 0
[pid=18597] ppid=18595 vsize=13980732 memory=182944 CPUtime=2520.03 cores=1,3,5,7
/proc/18597/stat : 18597 (java) S 18595 18595 8563 0 -1 1077944320 101746 0 0 0 251959 44 0 0 20 0 15 0 115548318 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140724986793520 140267656195831 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
/proc/18597/statm: 3495183 45736 3244 1 0 3483476 0
[pid=18597/tid=18598] ppid=18595 vsize=13980732 memory=182944 CPUtime=2512.05 cores=1,3,5,7
/proc/18597/task/18598/stat : 18598 (java) R 18595 18595 8563 0 -1 4202560 24435 0 0 0 251199 6 0 0 20 0 15 0 115548318 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267660435248 140267278063501 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18599] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.09 cores=1,3,5,7
/proc/18597/task/18599/stat : 18599 (java) S 18595 18595 8563 0 -1 1077944384 2551 0 0 0 7 2 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267598141968 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18600] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.09 cores=1,3,5,7
/proc/18597/task/18600/stat : 18600 (java) S 18595 18595 8563 0 -1 1077944384 2192 0 0 0 8 1 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267597089424 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18601] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.09 cores=1,3,5,7
/proc/18597/task/18601/stat : 18601 (java) S 18595 18595 8563 0 -1 1077944384 3136 0 0 0 7 2 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267596036368 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18602] ppid=18595 vsize=13980732 memory=1380 CPUtime=0.09 cores=1,3,5,7
/proc/18597/task/18602/stat : 18602 (java) S 18595 18595 8563 0 -1 1077944384 2011 0 0 0 8 1 0 0 20 0 15 0 115548319 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267594983824 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18603] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.12 cores=1,3,5,7
/proc/18597/task/18603/stat : 18603 (java) S 18595 18595 8563 0 -1 1077944384 4164 0 0 0 8 4 0 0 20 0 15 0 115548320 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267201870576 140267656206978 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18604] ppid=18595 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18604/stat : 18604 (java) S 18595 18595 8563 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267200816800 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18605] ppid=18595 vsize=13980732 memory=182944 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18605/stat : 18605 (java) S 18595 18595 8563 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 115548321 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267199763696 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18606] ppid=18595 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18606/stat : 18606 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267198712272 140267656214427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18607] ppid=18595 vsize=13980732 memory=182944 CPUtime=3.2 cores=1,3,5,7
/proc/18597/task/18607/stat : 18607 (java) S 18595 18595 8563 0 -1 1077944384 27779 0 0 0 318 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267197659376 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18608] ppid=18595 vsize=13980732 memory=1380 CPUtime=3.12 cores=1,3,5,7
/proc/18597/task/18608/stat : 18608 (java) S 18595 18595 8563 0 -1 1077944384 22294 0 0 0 310 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267196606832 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18609] ppid=18595 vsize=13980732 memory=182944 CPUtime=0.62 cores=1,3,5,7
/proc/18597/task/18609/stat : 18609 (java) S 18595 18595 8563 0 -1 1077944384 9791 0 0 0 60 2 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267195553776 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18610] ppid=18595 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18597/task/18610/stat : 18610 (java) S 18595 18595 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115548324 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267194501472 140267656206037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
[pid=18597/tid=18611] ppid=18595 vsize=13980732 memory=5788 CPUtime=0.48 cores=1,3,5,7
/proc/18597/task/18611/stat : 18611 (java) S 18595 18595 8563 0 -1 1077944384 2038 0 0 0 19 29 0 0 20 0 15 0 115548329 14316269568 45736 18446744073709551615 4194304 4196468 140724986810976 140267193449520 140267656206978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23187456 140724986818993 140724986819169 140724986819169 140724986822607 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 184324 KiB

Child status: 143
Real time (s): 2512.31
CPU time (s): 2520.05
CPU user time (s): 2519.61
CPU system time (s): 0.444231
CPU usage (%): 100.308
Max. virtual memory (cumulated for all children) (KiB): 13992660
Max. memory (cumulated for all children) (KiB): 226200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.61
system time used= 0.444231
maximum resident set size= 224820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59389
involuntary context switches= 1165


# summary of solver processes directly reported to runsolver:
#   pid: 18595
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.61
#   total CPU system time (s): 0.444231

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.844 second user time and 21.3304 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-19 10:47:10
IDJOB=4281992
IDBENCH=129200
IDSOLVER=2677
FILE ID=node125/4281992-1503133278
RUNJOBID= node125-1503095795-8622
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-4281992-1503133278/watcher-4281992-1503133278 -o /tmp/evaluation-result-4281992-1503133278/solver-4281992-1503133278 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503095795-8622 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 305007936 HOME/instance-4281992-1503133278.xml

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

MD5SUM BENCH= 2bf32ca1cbb3a17ab70e7ee7c2cd4ace
RANDOM SEED=305007936

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:        30656088 kB
MemAvailable:   31804280 kB
Buffers:          325052 kB
Cached:          1130356 kB
SwapCached:            0 kB
Active:          1000720 kB
Inactive:         674328 kB
Active(anon):     219936 kB
Inactive(anon):    49484 kB
Active(file):     780784 kB
Inactive(file):   624844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7896 kB
Writeback:             0 kB
AnonPages:        219304 kB
Mapped:            73172 kB
Shmem:             49828 kB
Slab:             143088 kB
SReclaimable:     116800 kB
SUnreclaim:        26288 kB
KernelStack:        3456 kB
PageTables:         6048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1181428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 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-19 11:29:03