Trace number 4269242

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-09)SAT (TO)190 2520.0801 2512.21

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.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269242-1502798069.xml"  -tl '2520s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4269242-1502798069.xml, -tl, 2520s, -p, 1, -x, 0]
0.12/0.20	c simple solver
0.33/0.26	c parse instance...
0.95/0.55	c solve instance...
2.80/1.17	o 649 
3.69/1.41	o 648 
4.29/1.63	o 647 
4.90/1.81	o 646 
5.22/2.03	o 645 
5.80/2.22	o 644 
6.10/2.36	o 643 
6.71/2.53	o 642 
6.98/2.61	o 641 
6.98/2.69	o 640 
7.11/2.73	o 639 
7.22/2.80	o 638 
7.22/2.88	o 637 
7.32/2.92	o 636 
7.32/2.97	o 635 
7.55/3.07	o 634 
7.71/3.16	o 633 
7.81/3.27	o 632 
7.92/3.36	o 631 
8.18/3.44	o 630 
8.42/3.52	o 629 
8.53/3.63	o 628 
8.66/3.74	o 627 
8.77/3.82	o 626 
8.88/3.94	o 625 
8.99/4.03	o 624 
8.99/4.10	o 623 
9.18/4.21	o 622 
9.18/4.29	o 621 
9.29/4.37	o 620 
9.40/4.47	o 619 
9.55/4.57	o 618 
9.68/4.65	o 617 
9.79/4.77	o 616 
9.89/4.84	o 615 
10.00/4.91	o 614 
10.17/5.01	o 613 
10.48/5.30	o 612 
10.48/5.39	o 611 
10.58/5.48	o 610 
10.68/5.57	o 609 
10.78/5.66	o 608 
10.90/5.75	o 607 
11.00/5.84	o 606 
11.22/6.02	o 605 
11.32/6.17	o 604 
11.51/6.33	o 603 
11.61/6.49	o 602 
11.82/6.64	o 601 
11.92/6.80	o 600 
12.20/6.95	o 599 
12.31/7.07	o 598 
12.52/7.20	o 597 
12.62/7.32	o 596 
12.72/7.44	o 595 
12.82/7.57	o 594 
12.92/7.69	o 593 
13.12/7.86	o 592 
15.46/10.15	o 591 
15.55/10.24	o 590 
15.65/10.31	o 589 
15.75/10.41	o 588 
15.85/10.51	o 587 
16.01/10.61	o 586 
16.12/10.71	o 585 
16.21/10.81	o 584 
16.21/10.89	o 583 
16.32/10.99	o 582 
16.42/11.09	o 581 
16.52/11.19	o 580 
16.62/11.29	o 579 
16.72/11.39	o 578 
16.82/11.49	o 577 
16.92/11.59	o 576 
17.02/11.69	o 575 
17.12/11.79	o 574 
17.62/12.28	o 573 
17.82/12.40	o 572 
17.92/12.52	o 571 
18.02/12.62	o 570 
18.13/12.72	o 569 
18.23/12.82	o 568 
18.35/12.93	o 567 
18.46/13.03	o 566 
18.56/13.13	o 565 
18.66/13.23	o 564 
18.77/13.32	o 563 
18.94/13.42	o 562 
19.10/13.51	o 561 
19.20/13.60	o 560 
19.20/13.68	o 559 
19.30/13.76	o 558 
19.40/13.85	o 557 
19.50/13.94	o 556 
19.61/14.03	o 555 
19.71/14.11	o 554 
19.71/14.19	o 553 
19.81/14.27	o 552 
19.91/14.36	o 551 
20.01/14.48	o 550 
20.21/14.61	o 549 
20.32/14.75	o 548 
20.42/14.88	o 547 
20.52/15.00	o 546 
20.92/15.32	o 545 
21.02/15.44	o 544 
21.12/15.57	o 543 
21.22/15.69	o 542 
21.42/15.81	o 541 
21.53/15.93	o 540 
21.63/16.05	o 539 
21.85/16.21	o 538 
21.95/16.37	o 537 
22.15/16.55	o 536 
22.35/16.72	o 535 
22.55/16.90	o 534 
22.66/17.07	o 533 
22.85/17.24	o 532 
23.05/17.40	o 531 
23.15/17.58	o 530 
23.35/17.74	o 529 
23.55/17.91	o 528 
23.66/18.08	o 527 
23.76/18.17	o 526 
23.85/18.26	o 525 
23.96/18.35	o 524 
24.06/18.42	o 523 
24.17/18.50	o 522 
24.17/18.59	o 521 
24.27/18.68	o 520 
24.37/18.77	o 519 
24.47/18.85	o 518 
24.57/18.94	o 517 
24.68/19.03	o 516 
24.78/19.11	o 515 
24.87/19.20	o 514 
24.87/19.28	o 513 
24.97/19.37	o 512 
25.07/19.46	o 511 
25.17/19.54	o 510 
25.27/19.62	o 509 
25.37/19.71	o 508 
25.37/19.79	o 507 
25.47/19.87	o 506 
25.57/19.95	o 505 
25.68/20.04	o 504 
25.78/20.12	o 503 
25.87/20.20	o 502 
25.87/20.29	o 501 
25.98/20.37	o 500 
26.08/20.45	o 499 
26.18/20.53	o 498 
26.28/20.61	o 497 
26.28/20.69	o 496 
26.38/20.77	o 495 
26.48/20.84	o 494 
26.58/20.92	o 493 
26.58/21.00	o 492 
26.69/21.08	o 491 
26.79/21.16	o 490 
26.88/21.24	o 489 
26.98/21.32	o 488 
26.98/21.39	o 487 
27.08/21.47	o 486 
27.18/21.55	o 485 
27.28/21.63	o 484 
27.38/21.71	o 483 
27.38/21.79	o 482 
27.48/21.87	o 481 
27.58/21.95	o 480 
27.69/22.03	o 479 
27.79/22.12	o 478 
27.79/22.20	o 477 
27.88/22.28	o 476 
27.98/22.36	o 475 
28.08/22.44	o 474 
28.18/22.52	o 473 
28.28/22.61	o 472 
28.28/22.69	o 471 
28.38/22.77	o 470 
28.48/22.85	o 469 
28.58/22.93	o 468 
28.58/23.00	o 467 
28.69/23.09	o 466 
28.79/23.17	o 465 
28.88/23.26	o 464 
28.98/23.33	o 463 
29.08/23.42	o 462 
29.08/23.49	o 461 
29.18/23.58	o 460 
29.28/23.66	o 459 
29.38/23.75	o 458 
29.48/23.82	o 457 
29.58/23.90	o 456 
29.58/23.98	o 455 
29.69/24.06	o 454 
29.80/24.15	o 453 
29.89/24.23	o 452 
29.99/24.31	o 451 
30.09/24.40	o 450 
30.09/24.48	o 449 
30.19/24.57	o 448 
30.29/24.66	o 447 
30.40/24.75	o 446 
30.50/24.85	o 445 
30.60/24.94	o 444 
30.71/25.03	o 443 
30.81/25.13	o 442 
30.91/25.22	o 441 
31.01/25.31	o 440 
31.11/25.40	o 439 
31.31/25.67	o 438 
31.51/25.81	o 437 
31.61/25.90	o 436 
31.61/26.00	o 435 
31.73/26.10	o 434 
31.92/26.22	o 433 
32.02/26.34	o 432 
32.12/26.46	o 431 
32.22/26.56	o 430 
32.32/26.68	o 429 
32.52/26.80	o 428 
32.62/26.91	o 427 
32.73/27.02	o 426 
32.83/27.14	o 425 
32.92/27.24	o 424 
33.02/27.36	o 423 
33.12/27.47	o 422 
33.26/27.59	o 421 
33.47/27.70	o 420 
33.57/27.82	o 419 
33.67/27.93	o 418 
33.84/28.04	o 417 
33.94/28.16	o 416 
34.13/28.32	o 415 
34.23/28.49	o 414 
34.33/28.58	o 413 
34.53/28.75	o 412 
34.73/28.92	o 411 
34.84/29.01	o 410 
34.94/29.11	o 409 
35.03/29.20	o 408 
35.13/29.30	o 407 
35.13/29.39	o 406 
35.23/29.49	o 405 
35.33/29.58	o 404 
35.43/29.68	o 403 
35.53/29.78	o 402 
35.63/29.88	o 401 
35.73/29.98	o 400 
35.84/30.07	o 399 
35.94/30.17	o 398 
36.07/30.27	o 397 
36.17/30.35	o 396 
36.27/30.48	o 395 
36.48/30.62	o 394 
36.58/30.74	o 393 
36.68/30.87	o 392 
36.78/30.95	o 391 
36.90/31.03	o 390 
37.00/31.17	o 389 
37.09/31.25	o 388 
37.19/31.38	o 387 
37.29/31.46	o 386 
37.39/31.59	o 385 
37.49/31.68	o 384 
37.69/31.81	o 383 
37.79/31.94	o 382 
37.90/32.03	o 381 
38.03/32.11	o 380 
38.12/32.25	o 379 
38.22/32.38	o 378 
38.42/32.51	o 377 
38.54/32.67	o 376 
38.64/32.76	o 375 
38.84/32.93	o 374 
38.95/33.10	o 373 
39.14/33.20	o 372 
39.14/33.29	o 371 
39.37/33.46	o 370 
39.57/33.61	o 369 
39.67/33.77	o 368 
39.87/33.92	o 367 
39.98/34.07	o 366 
40.19/34.20	o 365 
40.29/34.32	o 364 
40.39/34.45	o 363 
40.49/34.57	o 362 
40.59/34.69	o 361 
40.79/34.81	o 360 
40.90/34.93	o 359 
41.01/35.05	o 358 
41.11/35.17	o 357 
41.30/35.31	o 356 
41.40/35.46	o 355 
42.01/36.10	o 354 
42.51/36.51	o 353 
42.61/36.66	o 352 
42.81/36.82	o 351 
42.91/36.93	o 350 
43.02/37.04	o 349 
43.12/37.16	o 348 
43.21/37.29	o 347 
43.47/37.43	o 346 
43.57/37.58	o 345 
43.77/37.70	o 344 
43.87/37.82	o 343 
43.97/37.96	o 342 
44.08/38.08	o 341 
44.27/38.20	o 340 
44.37/38.35	o 339 
44.47/38.47	o 338 
44.67/38.61	o 337 
44.77/38.73	o 336 
44.87/38.85	o 335 
44.97/38.99	o 334 
45.18/39.12	o 333 
45.27/39.26	o 332 
45.37/39.39	o 331 
45.57/39.52	o 330 
45.67/39.66	o 329 
45.79/39.79	o 328 
45.99/39.92	o 327 
46.10/40.06	o 326 
46.20/40.19	o 325 
46.39/40.32	o 324 
46.49/40.45	o 323 
46.59/40.59	o 322 
46.79/40.72	o 321 
46.89/40.86	o 320 
46.99/41.00	o 319 
47.20/41.14	o 318 
47.29/41.28	o 317 
47.49/41.42	o 316 
47.59/41.56	o 315 
47.79/41.70	o 314 
47.89/41.84	o 313 
48.04/41.98	o 312 
48.27/42.13	o 311 
48.46/42.30	o 310 
48.56/42.46	o 309 
48.76/42.62	o 308 
48.86/42.79	o 307 
49.06/42.95	o 306 
49.27/43.11	o 305 
49.36/43.27	o 304 
49.56/43.43	o 303 
49.66/43.60	o 302 
49.86/43.77	o 301 
50.06/43.95	o 300 
50.27/44.13	o 299 
50.47/44.32	o 298 
50.67/44.53	o 297 
50.87/44.73	o 296 
51.06/44.94	o 295 
51.27/45.16	o 294 
51.47/45.36	o 293 
51.67/45.56	o 292 
51.87/45.79	o 291 
52.17/46.06	o 290 
52.47/46.32	o 289 
52.77/46.61	o 288 
52.87/46.79	o 225 
52.97/46.82	o 224 
52.97/46.85	o 218 
55.40/49.26	o 203 
67.52/61.37	o 202 
71.72/65.59	o 201 
73.75/67.33	o 199 
85.99/79.59	o 198 
212.90/206.25	o 197 
248.93/242.27	o 196 
259.04/252.35	o 195 
260.35/253.66	o 194 
279.96/273.25	o 193 
709.91/702.95	o 192 
826.96/819.93	o 191 
1664.91/1657.56	o 190 
2520.05/2512.20	s SATISFIABLE
2520.05/2512.20	v <instantiation>
2520.05/2512.20	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.05/2512.20	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.05/2512.20	v </instantiation>
2520.05/2512.20	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 (11602 MiB free)
  memory of node 1: 16384 MiB (14877 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269242-1502798069/watcher-4269242-1502798069 -o /tmp/evaluation-result-4269242-1502798069/solver-4269242-1502798069 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502792191-10016 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 884520278 HOME/instance-4269242-1502798069.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
Current StackSize limit: 8192 KiB

solver pid=10739, runsolver pid=10736

[startup+0.100728 s]*
/proc/loadavg: 1.85 1.82 1.75 2/195 10769
/proc/meminfo: memFree=27110844/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10739/stat : 10739 (xcsp3-exec) S 10736 10739 9984 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112887985 9740288 346 33554432000 4194304 5098028 140734696211744 140734696209848 139916297876092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14180352 140734696219759 140734696219963 140734696219963 140734696222699 0
/proc/10739/statm: 2378 346 289 221 0 87 0
[pid=10741] ppid=10739 vsize=13978596 memory=28096 CPUtime=0.12 cores=1,3,5,7
/proc/10741/stat : 10741 (java) S 10739 10739 9984 0 -1 1077944320 5395 0 0 0 11 1 0 0 20 0 15 0 112887985 14314082304 7024 33554432000 4194304 4196468 140727269902096 140727269884640 140592720363255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
/proc/10741/statm: 3494649 7024 2868 1 0 3482966 0
[pid=10741/tid=10742] ppid=10739 vsize=13978596 memory=-8035107114841901037 CPUtime=0.08 cores=1,3,5,7
/proc/10741/task/10742/stat : 10742 (java) R 10739 10739 9984 0 -1 4202560 3402 0 0 0 8 0 0 0 20 0 15 0 112887986 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592724595184 140592720375190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10743] ppid=10739 vsize=13978596 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10743/stat : 10743 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592672983568 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10744] ppid=10739 vsize=13978596 memory=139818005206656 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10744/stat : 10744 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592671931024 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10745] ppid=10739 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10745/stat : 10745 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592670877968 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10746] ppid=10739 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10746/stat : 10746 (java) S 10739 10739 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112887986 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592669825424 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10753] ppid=10739 vsize=13978596 memory=139818005206656 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10753/stat : 10753 (java) S 10739 10739 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112887988 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592194501360 140592720374402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10757] ppid=10739 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10757/stat : 10757 (java) S 10739 10739 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112887988 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592193447584 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10758] ppid=10739 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10758/stat : 10758 (java) S 10739 10739 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112887988 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592192394480 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10764] ppid=10739 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10764/stat : 10764 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592191343056 140592720381851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10765] ppid=10739 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10765/stat : 10765 (java) S 10739 10739 9984 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 112887991 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592190290160 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10766] ppid=10739 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10766/stat : 10766 (java) S 10739 10739 9984 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 112887991 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592189237616 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10767] ppid=10739 vsize=13978596 memory=139818005206656 CPUtime=0.01 cores=1,3,5,7
/proc/10741/task/10767/stat : 10767 (java) R 10739 10739 9984 0 -1 4202560 299 0 0 0 1 0 0 0 20 0 15 0 112887991 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592188184560 140592699304792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10768] ppid=10739 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10768/stat : 10768 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592187132256 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10769] ppid=10739 vsize=13978596 memory=139818005206656 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10769/stat : 10769 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887991 14314082304 7024 33554432000 4194304 4196468 140727269902096 140592186080304 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29480 KiB

[startup+0.210236 s]*
/proc/loadavg: 1.85 1.82 1.75 2/195 10769
/proc/meminfo: memFree=27099060/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10739/stat : 10739 (xcsp3-exec) S 10736 10739 9984 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112887985 9740288 346 33554432000 4194304 5098028 140734696211744 140734696209848 139916297876092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14180352 140734696219759 140734696219963 140734696219963 140734696222699 0
/proc/10739/statm: 2378 346 289 221 0 87 0
[pid=10741] ppid=10739 vsize=13982852 memory=40628 CPUtime=0.33 cores=1,3,5,7
/proc/10741/stat : 10741 (java) S 10739 10739 9984 0 -1 1077944320 8133 0 0 0 31 2 0 0 20 0 15 0 112887985 14318440448 10157 33554432000 4194304 4196468 140727269902096 140727269884640 140592720363255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
/proc/10741/statm: 3495713 10157 3080 1 0 3482966 0
[pid=10741/tid=10742] ppid=10739 vsize=13982852 memory=8390339637985935414 CPUtime=0.2 cores=1,3,5,7
/proc/10741/task/10742/stat : 10742 (java) R 10739 10739 9984 0 -1 4202560 5280 0 0 0 19 1 0 0 20 0 15 0 112887986 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592724584064 140592713041269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10743] ppid=10739 vsize=13982852 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10743/stat : 10743 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592672983568 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10744] ppid=10739 vsize=13982852 memory=139818005338454 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10744/stat : 10744 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592671931024 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10745] ppid=10739 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10745/stat : 10745 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592670877968 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10746] ppid=10739 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10746/stat : 10746 (java) S 10739 10739 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112887986 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592669825424 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10753] ppid=10739 vsize=13982852 memory=139818005206656 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10753/stat : 10753 (java) S 10739 10739 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112887988 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592194501360 140592720374402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10757] ppid=10739 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10757/stat : 10757 (java) S 10739 10739 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112887988 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592193447584 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10758] ppid=10739 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10758/stat : 10758 (java) S 10739 10739 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112887988 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592192394480 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10764] ppid=10739 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10764/stat : 10764 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592191343056 140592720381851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10765] ppid=10739 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10741/task/10765/stat : 10765 (java) S 10739 10739 9984 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 15 0 112887991 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592190290160 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10766] ppid=10739 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10741/task/10766/stat : 10766 (java) S 10739 10739 9984 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 15 0 112887991 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592189237616 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10767] ppid=10739 vsize=13982852 memory=139818005206656 CPUtime=0.08 cores=1,3,5,7
/proc/10741/task/10767/stat : 10767 (java) S 10739 10739 9984 0 -1 1077944384 743 0 0 0 8 0 0 0 20 0 15 0 112887991 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592188184560 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10768] ppid=10739 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10768/stat : 10768 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592187132256 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10769] ppid=10739 vsize=13982852 memory=139818005206656 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10769/stat : 10769 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887991 14318440448 10157 33554432000 4194304 4196468 140727269902096 140592186080304 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42012 KiB

[startup+0.310131 s]*
/proc/loadavg: 1.85 1.82 1.75 5/195 10774
/proc/meminfo: memFree=27084644/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10739/stat : 10739 (xcsp3-exec) S 10736 10739 9984 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112887985 9740288 346 33554432000 4194304 5098028 140734696211744 140734696209848 139916297876092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14180352 140734696219759 140734696219963 140734696219963 140734696222699 0
/proc/10739/statm: 2378 346 289 221 0 87 0
[pid=10741] ppid=10739 vsize=13982852 memory=47592 CPUtime=0.51 cores=1,3,5,7
/proc/10741/stat : 10741 (java) S 10739 10739 9984 0 -1 1077944320 9067 0 0 0 48 3 0 0 20 0 15 0 112887985 14318440448 11898 33554432000 4194304 4196468 140727269902096 140727269884640 140592720363255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
/proc/10741/statm: 3495713 11898 3105 1 0 3482966 0
[pid=10741/tid=10742] ppid=10739 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10741/task/10742/stat : 10742 (java) R 10739 10739 9984 0 -1 4202560 5998 0 0 0 28 1 0 0 20 0 15 0 112887986 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592724586096 140592348737233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10743] ppid=10739 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10743/stat : 10743 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592672983568 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10744] ppid=10739 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10744/stat : 10744 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592671931024 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10745] ppid=10739 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10745/stat : 10745 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592670877968 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10746] ppid=10739 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10746/stat : 10746 (java) S 10739 10739 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112887986 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592669825424 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10753] ppid=10739 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10753/stat : 10753 (java) S 10739 10739 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112887988 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592194501360 140592720374402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10757] ppid=10739 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10757/stat : 10757 (java) S 10739 10739 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112887988 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592193447584 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10758] ppid=10739 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10758/stat : 10758 (java) S 10739 10739 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112887988 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592192394480 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10764] ppid=10739 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10764/stat : 10764 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592191343056 140592720381851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10765] ppid=10739 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10741/task/10765/stat : 10765 (java) S 10739 10739 9984 0 -1 1077944384 621 0 0 0 3 0 0 0 20 0 15 0 112887991 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592190290160 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10766] ppid=10739 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10741/task/10766/stat : 10766 (java) S 10739 10739 9984 0 -1 1077944384 294 0 0 0 4 0 0 0 20 0 15 0 112887991 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592189237616 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10767] ppid=10739 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10741/task/10767/stat : 10767 (java) S 10739 10739 9984 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 112887991 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592188184560 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10768] ppid=10739 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10768/stat : 10768 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592187132256 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10769] ppid=10739 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10769/stat : 10769 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887991 14318440448 11963 33554432000 4194304 4196468 140727269902096 140592186080304 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48976 KiB

[startup+0.701625 s]
/proc/loadavg: 1.85 1.82 1.75 5/216 10799
/proc/meminfo: memFree=27046472/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10739/stat : 10739 (xcsp3-exec) S 10736 10739 9984 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112887985 9740288 346 33554432000 4194304 5098028 140734696211744 140734696209848 139916297876092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14180352 140734696219759 140734696219963 140734696219963 140734696222699 0
/proc/10739/statm: 2378 346 289 221 0 87 0
[pid=10741] ppid=10739 vsize=13984976 memory=79384 CPUtime=1.56 cores=1,3,5,7
/proc/10741/stat : 10741 (java) S 10739 10739 9984 0 -1 1077944320 14616 0 0 0 151 5 0 0 20 0 15 0 112887985 14320615424 19846 33554432000 4194304 4196468 140727269902096 140727269884640 140592720363255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
/proc/10741/statm: 3496244 19846 3216 1 0 3483478 0
[pid=10741/tid=10742] ppid=10739 vsize=13984976 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/10741/task/10742/stat : 10742 (java) R 10739 10739 9984 0 -1 4202560 6838 0 0 0 64 2 0 0 20 0 15 0 112887986 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592724600384 140592352805499 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10743] ppid=10739 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10743/stat : 10743 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592672983568 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10744] ppid=10739 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10744/stat : 10744 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592671931024 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10745] ppid=10739 vsize=13984976 memory=32196 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10745/stat : 10745 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887986 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592670877968 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10746] ppid=10739 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10746/stat : 10746 (java) S 10739 10739 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112887986 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592669825424 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10753] ppid=10739 vsize=13984976 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10753/stat : 10753 (java) S 10739 10739 9984 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112887988 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592194501360 140592720374402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10757] ppid=10739 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10757/stat : 10757 (java) S 10739 10739 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112887988 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592193447584 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10758] ppid=10739 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10758/stat : 10758 (java) S 10739 10739 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112887988 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592192394480 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10764] ppid=10739 vsize=13984976 memory=11040 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10764/stat : 10764 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592191343056 140592720381851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10765] ppid=10739 vsize=13984976 memory=5700 CPUtime=0.25 cores=1,3,5,7
/proc/10741/task/10765/stat : 10765 (java) R 10739 10739 9984 0 -1 4202560 2660 0 0 0 25 0 0 0 20 0 15 0 112887991 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592190271176 140592698338578 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10766] ppid=10739 vsize=13984976 memory=4616 CPUtime=0.25 cores=1,3,5,7
/proc/10741/task/10766/stat : 10766 (java) R 10739 10739 9984 0 -1 4202560 1824 0 0 0 25 0 0 0 20 0 15 0 112887991 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592189223640 140592705488561 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10767] ppid=10739 vsize=13984976 memory=792 CPUtime=0.36 cores=1,3,5,7
/proc/10741/task/10767/stat : 10767 (java) S 10739 10739 9984 0 -1 1077944384 1987 0 0 0 36 0 0 0 20 0 15 0 112887991 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592188184560 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10768] ppid=10739 vsize=13984976 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10768/stat : 10768 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592187132256 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10769] ppid=10739 vsize=13984976 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10769/stat : 10769 (java) S 10739 10739 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112887991 14320615424 19846 33554432000 4194304 4196468 140727269902096 140592186080304 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80768 KiB

[startup+1.50084 s]
/proc/loadavg: 2.26 1.91 1.78 7/216 10799
/proc/meminfo: memFree=26965448/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10739/stat : 10739 (xcsp3-exec) S 10736 10739 9984 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112887985 9740288 346 33554432000 4194304 5098028 140734696211744 140734696209848 139916297876092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14180352 140734696219759 140734696219963 140734696219963 140734696222699 0
/proc/10739/statm: 2378 346 289 221 0 87 0

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

[pid=10741/tid=10753] ppid=10739 vsize=13984976 memory=1384 CPUtime=0.1 cores=1,3,5,7
/proc/10741/task/10753/stat : 10753 (java) S 10739 10739 9984 0 -1 1077944384 3585 0 0 0 9 1 0 0 20 0 15 0 112887988 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592194501360 140592720374402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10757] ppid=10739 vsize=13984976 memory=3832 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10757/stat : 10757 (java) S 10739 10739 9984 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 112887988 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592193447584 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10758] ppid=10739 vsize=13984976 memory=2548 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10758/stat : 10758 (java) S 10739 10739 9984 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 112887988 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592192394480 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10764] ppid=10739 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10764/stat : 10764 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592191343056 140592720381851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10765] ppid=10739 vsize=13984976 memory=187420 CPUtime=2.98 cores=1,3,5,7
/proc/10741/task/10765/stat : 10765 (java) S 10739 10739 9984 0 -1 1077944384 16975 0 0 0 296 2 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592190290160 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10766] ppid=10739 vsize=13984976 memory=92389041525759 CPUtime=3.26 cores=1,3,5,7
/proc/10741/task/10766/stat : 10766 (java) S 10739 10739 9984 0 -1 1077944384 24652 0 0 0 324 2 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592189237616 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10767] ppid=10739 vsize=13984976 memory=6948326719437302124 CPUtime=0.61 cores=1,3,5,7
/proc/10741/task/10767/stat : 10767 (java) S 10739 10739 9984 0 -1 1077944384 9489 0 0 0 59 2 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592188184560 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10768] ppid=10739 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10768/stat : 10768 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592187132256 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10769] ppid=10739 vsize=13984976 memory=32240 CPUtime=0.46 cores=1,3,5,7
/proc/10741/task/10769/stat : 10769 (java) S 10739 10739 9984 0 -1 1077944384 2089 0 0 0 17 29 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592186080304 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
Current children cumulated CPU time: 2390.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 190852 KiB

[startup+2442.3 s]
/proc/loadavg: 1.66 1.75 1.83 3/217 10895
/proc/meminfo: memFree=26730232/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10739/stat : 10739 (xcsp3-exec) S 10736 10739 9984 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112887985 9740288 346 33554432000 4194304 5098028 140734696211744 140734696209848 139916297876092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14180352 140734696219759 140734696219963 140734696219963 140734696222699 0
/proc/10739/statm: 2378 346 289 221 0 87 0
[pid=10741] ppid=10739 vsize=13984976 memory=189468 CPUtime=2450.13 cores=1,3,5,7
/proc/10741/stat : 10741 (java) S 10739 10739 9984 0 -1 1077944320 86906 0 0 0 244972 41 0 0 20 0 15 0 112887985 14320615424 47367 33554432000 4194304 4196468 140727269902096 140727269884640 140592720363255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
/proc/10741/statm: 3496244 47367 3271 1 0 3483478 0
[pid=10741/tid=10742] ppid=10739 vsize=13984976 memory=1384 CPUtime=2442.25 cores=1,3,5,7
/proc/10741/task/10742/stat : 10742 (java) R 10739 10739 9984 0 -1 4202560 20477 0 0 0 244219 6 0 0 20 0 15 0 112887986 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592724602544 140592352999520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10743] ppid=10739 vsize=13984976 memory=189468 CPUtime=0.08 cores=1,3,5,7
/proc/10741/task/10743/stat : 10743 (java) S 10739 10739 9984 0 -1 1077944384 1208 0 0 0 7 1 0 0 20 0 15 0 112887986 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592672983568 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10744] ppid=10739 vsize=13984976 memory=189468 CPUtime=0.08 cores=1,3,5,7
/proc/10741/task/10744/stat : 10744 (java) S 10739 10739 9984 0 -1 1077944384 1701 0 0 0 7 1 0 0 20 0 15 0 112887986 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592671931024 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10745] ppid=10739 vsize=13984976 memory=189468 CPUtime=0.09 cores=1,3,5,7
/proc/10741/task/10745/stat : 10745 (java) S 10739 10739 9984 0 -1 1077944384 2897 0 0 0 8 1 0 0 20 0 15 0 112887986 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592670877968 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10746] ppid=10739 vsize=13984976 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/10741/task/10746/stat : 10746 (java) S 10739 10739 9984 0 -1 1077944384 2159 0 0 0 7 1 0 0 20 0 15 0 112887986 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592669825424 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10753] ppid=10739 vsize=13984976 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/10741/task/10753/stat : 10753 (java) S 10739 10739 9984 0 -1 1077944384 3590 0 0 0 10 1 0 0 20 0 15 0 112887988 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592194501360 140592720374402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10757] ppid=10739 vsize=13984976 memory=189468 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10757/stat : 10757 (java) S 10739 10739 9984 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 112887988 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592193447584 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10758] ppid=10739 vsize=13984976 memory=189468 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10758/stat : 10758 (java) S 10739 10739 9984 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 112887988 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592192394480 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10764] ppid=10739 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10764/stat : 10764 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592191343056 140592720381851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10765] ppid=10739 vsize=13984976 memory=189468 CPUtime=3 cores=1,3,5,7
/proc/10741/task/10765/stat : 10765 (java) S 10739 10739 9984 0 -1 1077944384 17282 0 0 0 298 2 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592190290160 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10766] ppid=10739 vsize=13984976 memory=792 CPUtime=3.26 cores=1,3,5,7
/proc/10741/task/10766/stat : 10766 (java) S 10739 10739 9984 0 -1 1077944384 24652 0 0 0 324 2 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592189237616 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10767] ppid=10739 vsize=13984976 memory=1424 CPUtime=0.61 cores=1,3,5,7
/proc/10741/task/10767/stat : 10767 (java) S 10739 10739 9984 0 -1 1077944384 9489 0 0 0 59 2 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592188184560 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10768] ppid=10739 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10768/stat : 10768 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592187132256 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10769] ppid=10739 vsize=13984976 memory=189468 CPUtime=0.46 cores=1,3,5,7
/proc/10741/task/10769/stat : 10769 (java) S 10739 10739 9984 0 -1 1077944384 2093 0 0 0 17 29 0 0 20 0 15 0 112887991 14320615424 47367 33554432000 4194304 4196468 140727269902096 140592186080304 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
Current children cumulated CPU time: 2450.13 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 190852 KiB

[startup+2502.3 s]
/proc/loadavg: 1.72 1.74 1.82 3/217 10896
/proc/meminfo: memFree=26728272/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10739/stat : 10739 (xcsp3-exec) S 10736 10739 9984 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112887985 9740288 346 33554432000 4194304 5098028 140734696211744 140734696209848 139916297876092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14180352 140734696219759 140734696219963 140734696219963 140734696222699 0
/proc/10739/statm: 2378 346 289 221 0 87 0
[pid=10741] ppid=10739 vsize=13984976 memory=189476 CPUtime=2510.15 cores=1,3,5,7
/proc/10741/stat : 10741 (java) S 10739 10739 9984 0 -1 1077944320 87750 0 0 0 250974 41 0 0 20 0 15 0 112887985 14320615424 47369 33554432000 4194304 4196468 140727269902096 140727269884640 140592720363255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
/proc/10741/statm: 3496244 47369 3271 1 0 3483478 0
[pid=10741/tid=10742] ppid=10739 vsize=13984976 memory=1384 CPUtime=2502.25 cores=1,3,5,7
/proc/10741/task/10742/stat : 10742 (java) R 10739 10739 9984 0 -1 4202560 20768 0 0 0 250219 6 0 0 20 0 15 0 112887986 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592724602704 140592355463431 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10743] ppid=10739 vsize=13984976 memory=189476 CPUtime=0.08 cores=1,3,5,7
/proc/10741/task/10743/stat : 10743 (java) S 10739 10739 9984 0 -1 1077944384 1225 0 0 0 7 1 0 0 20 0 15 0 112887986 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592672983568 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10744] ppid=10739 vsize=13984976 memory=189476 CPUtime=0.08 cores=1,3,5,7
/proc/10741/task/10744/stat : 10744 (java) S 10739 10739 9984 0 -1 1077944384 1716 0 0 0 7 1 0 0 20 0 15 0 112887986 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592671931024 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10745] ppid=10739 vsize=13984976 memory=189468 CPUtime=0.09 cores=1,3,5,7
/proc/10741/task/10745/stat : 10745 (java) S 10739 10739 9984 0 -1 1077944384 3205 0 0 0 8 1 0 0 20 0 15 0 112887986 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592670877968 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10746] ppid=10739 vsize=13984976 memory=189476 CPUtime=0.08 cores=1,3,5,7
/proc/10741/task/10746/stat : 10746 (java) S 10739 10739 9984 0 -1 1077944384 2177 0 0 0 7 1 0 0 20 0 15 0 112887986 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592669825424 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10753] ppid=10739 vsize=13984976 memory=1716 CPUtime=0.12 cores=1,3,5,7
/proc/10741/task/10753/stat : 10753 (java) S 10739 10739 9984 0 -1 1077944384 3761 0 0 0 10 2 0 0 20 0 15 0 112887988 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592194501360 140592720374402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10757] ppid=10739 vsize=13984976 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10757/stat : 10757 (java) S 10739 10739 9984 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 112887988 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592193447584 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10758] ppid=10739 vsize=13984976 memory=32244 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10758/stat : 10758 (java) S 10739 10739 9984 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 112887988 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592192394480 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10764] ppid=10739 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10764/stat : 10764 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592191343056 140592720381851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10765] ppid=10739 vsize=13984976 memory=189476 CPUtime=3 cores=1,3,5,7
/proc/10741/task/10765/stat : 10765 (java) S 10739 10739 9984 0 -1 1077944384 17284 0 0 0 298 2 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592190290160 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10766] ppid=10739 vsize=13984976 memory=0 CPUtime=3.26 cores=1,3,5,7
/proc/10741/task/10766/stat : 10766 (java) S 10739 10739 9984 0 -1 1077944384 24655 0 0 0 324 2 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592189237616 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10767] ppid=10739 vsize=13984976 memory=1384 CPUtime=0.61 cores=1,3,5,7
/proc/10741/task/10767/stat : 10767 (java) S 10739 10739 9984 0 -1 1077944384 9491 0 0 0 59 2 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592188184560 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10768] ppid=10739 vsize=13984976 memory=189476 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10768/stat : 10768 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592187132256 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10769] ppid=10739 vsize=13984976 memory=1384 CPUtime=0.48 cores=1,3,5,7
/proc/10741/task/10769/stat : 10769 (java) S 10739 10739 9984 0 -1 1077944384 2110 0 0 0 18 30 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592186080304 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
Current children cumulated CPU time: 2510.15 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 190860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.2 s]
/proc/loadavg: 1.68 1.73 1.81 3/197 10940
/proc/meminfo: memFree=26938580/32770624 swapFree=67108860/67108860
[pid=10739] ppid=10736 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10739/stat : 10739 (xcsp3-exec) S 10736 10739 9984 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112887985 9740288 346 33554432000 4194304 5098028 140734696211744 140734696209848 139916297876092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14180352 140734696219759 140734696219963 140734696219963 140734696222699 0
/proc/10739/statm: 2378 346 289 221 0 87 0
[pid=10741] ppid=10739 vsize=13984976 memory=189476 CPUtime=2520.05 cores=1,3,5,7
/proc/10741/stat : 10741 (java) S 10739 10739 9984 0 -1 1077944320 87827 0 0 0 251964 41 0 0 20 0 15 0 112887985 14320615424 47369 33554432000 4194304 4196468 140727269902096 140727269884640 140592720363255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
/proc/10741/statm: 3496244 47369 3271 1 0 3483478 0
[pid=10741/tid=10742] ppid=10739 vsize=13984976 memory=1384 CPUtime=2512.15 cores=1,3,5,7
/proc/10741/task/10742/stat : 10742 (java) R 10739 10739 9984 0 -1 4202560 20832 0 0 0 251209 6 0 0 20 0 15 0 112887986 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592724601904 140592353133248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10743] ppid=10739 vsize=13984976 memory=189476 CPUtime=0.08 cores=1,3,5,7
/proc/10741/task/10743/stat : 10743 (java) S 10739 10739 9984 0 -1 1077944384 1225 0 0 0 7 1 0 0 20 0 15 0 112887986 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592672983568 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10744] ppid=10739 vsize=13984976 memory=1160 CPUtime=0.08 cores=1,3,5,7
/proc/10741/task/10744/stat : 10744 (java) S 10739 10739 9984 0 -1 1077944384 1716 0 0 0 7 1 0 0 20 0 15 0 112887986 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592671931024 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10745] ppid=10739 vsize=13984976 memory=3304 CPUtime=0.09 cores=1,3,5,7
/proc/10741/task/10745/stat : 10745 (java) S 10739 10739 9984 0 -1 1077944384 3205 0 0 0 8 1 0 0 20 0 15 0 112887986 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592670877968 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10746] ppid=10739 vsize=13984976 memory=4104 CPUtime=0.08 cores=1,3,5,7
/proc/10741/task/10746/stat : 10746 (java) S 10739 10739 9984 0 -1 1077944384 2179 0 0 0 7 1 0 0 20 0 15 0 112887986 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592669825424 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10753] ppid=10739 vsize=13984976 memory=4104 CPUtime=0.12 cores=1,3,5,7
/proc/10741/task/10753/stat : 10753 (java) S 10739 10739 9984 0 -1 1077944384 3770 0 0 0 10 2 0 0 20 0 15 0 112887988 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592194501360 140592720374402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10757] ppid=10739 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10757/stat : 10757 (java) S 10739 10739 9984 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 112887988 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592193447584 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10758] ppid=10739 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10758/stat : 10758 (java) S 10739 10739 9984 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 112887988 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592192394480 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10764] ppid=10739 vsize=13984976 memory=11040 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10764/stat : 10764 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592191343056 140592720381851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10765] ppid=10739 vsize=13984976 memory=5700 CPUtime=3 cores=1,3,5,7
/proc/10741/task/10765/stat : 10765 (java) S 10739 10739 9984 0 -1 1077944384 17284 0 0 0 298 2 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592190290160 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10766] ppid=10739 vsize=13984976 memory=4616 CPUtime=3.26 cores=1,3,5,7
/proc/10741/task/10766/stat : 10766 (java) S 10739 10739 9984 0 -1 1077944384 24655 0 0 0 324 2 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592189237616 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10767] ppid=10739 vsize=13984976 memory=792 CPUtime=0.61 cores=1,3,5,7
/proc/10741/task/10767/stat : 10767 (java) S 10739 10739 9984 0 -1 1077944384 9491 0 0 0 59 2 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592188184560 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10768] ppid=10739 vsize=13984976 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/10741/task/10768/stat : 10768 (java) S 10739 10739 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592187132256 140592720373461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
[pid=10741/tid=10769] ppid=10739 vsize=13984976 memory=1936 CPUtime=0.48 cores=1,3,5,7
/proc/10741/task/10769/stat : 10769 (java) S 10739 10739 9984 0 -1 1077944384 2112 0 0 0 18 30 0 0 20 0 15 0 112887991 14320615424 47369 33554432000 4194304 4196468 140727269902096 140592186080304 140592720374402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 36417536 140727269905559 140727269905735 140727269905735 140727269908431 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 190860 KiB

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

[startup+2512.21 s]
# the end of solver process 10739 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.66 s, system=0.420066 s

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

Child status: 143
Real time (s): 2512.21
CPU time (s): 2520.08
CPU user time (s): 2519.66
CPU system time (s): 0.420066
CPU usage (%): 100.313
Max. virtual memory (cumulated for all children) (KiB): 13997388
Max. memory (cumulated for all children) (KiB): 243624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.66
system time used= 0.420066
maximum resident set size= 245824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88699
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59955
involuntary context switches= 2549


# summary of solver processes directly reported to runsolver:
#   pid: 10739
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2519.66
#   total CPU system time (s): 0.420066

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7772 second user time and 20.8029 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-15 13:40:10
IDJOB=4269242
IDBENCH=129200
IDSOLVER=2660
FILE ID=node150/4269242-1502798069
RUNJOBID= node150-1502792191-10016
PBS_JOBID= 20629129
Free space on /tmp= 61644 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-4269242-1502798069/watcher-4269242-1502798069 -o /tmp/evaluation-result-4269242-1502798069/solver-4269242-1502798069 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502792191-10016 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 884520278 HOME/instance-4269242-1502798069.xml

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

MD5SUM BENCH= 2bf32ca1cbb3a17ab70e7ee7c2cd4ace
RANDOM SEED=884520278

node150.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	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        27114988 kB
MemAvailable:   31972316 kB
Buffers:          297108 kB
Cached:          4835592 kB
SwapCached:            0 kB
Active:           754268 kB
Inactive:        4436572 kB
Active(anon):      60948 kB
Inactive(anon):    25068 kB
Active(file):     693320 kB
Inactive(file):  4411504 kB
Unevictable:        6228 kB
Mlocked:            6228 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7888 kB
Writeback:             4 kB
AnonPages:         60420 kB
Mapped:            45912 kB
Shmem:             25224 kB
Slab:             162948 kB
SReclaimable:     136676 kB
SUnreclaim:        26272 kB
KernelStack:        3232 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     331856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61636 MiB
End job on node150 at 2017-08-15 14:22:02