Trace number 4272182

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-07-26)SAT (TO)191 2520.04 2453.1201

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-4272182-1502796605.xml"  -tl '2520s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4272182-1502796605.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.20	c simple solver
0.34/0.27	c parse instance...
0.98/0.57	c solve instance...
4.05/1.58	o 649 
4.96/1.86	o 648 
5.60/2.05	o 647 
5.91/2.19	o 646 
6.48/2.35	o 645 
7.08/2.51	o 644 
7.39/2.62	o 643 
7.69/2.76	o 642 
7.99/2.88	o 641 
8.62/3.01	o 640 
8.92/3.11	o 639 
9.19/3.22	o 638 
9.49/3.33	o 637 
9.64/3.45	o 636 
9.75/3.57	o 635 
9.95/3.70	o 634 
10.06/3.82	o 633 
10.23/3.92	o 632 
10.43/4.03	o 631 
10.54/4.15	o 630 
10.67/4.25	o 629 
10.77/4.35	o 628 
10.87/4.45	o 627 
10.99/4.57	o 626 
11.09/4.69	o 625 
11.30/4.81	o 624 
11.40/4.93	o 623 
11.51/5.06	o 622 
11.61/5.18	o 621 
11.81/5.30	o 620 
11.91/5.40	o 619 
12.01/5.50	o 618 
12.12/5.62	o 617 
12.22/5.72	o 616 
12.32/5.84	o 615 
12.42/5.96	o 614 
12.53/6.06	o 613 
12.64/6.19	o 612 
12.73/6.29	o 611 
12.84/6.39	o 610 
12.95/6.49	o 609 
13.15/6.61	o 608 
13.25/6.73	o 607 
13.35/6.83	o 606 
13.45/6.95	o 605 
13.57/7.07	o 604 
13.67/7.17	o 603 
13.76/7.29	o 602 
13.96/7.41	o 601 
14.06/7.53	o 600 
14.16/7.63	o 599 
14.26/7.73	o 598 
14.36/7.83	o 597 
14.47/7.95	o 596 
14.58/8.06	o 595 
14.68/8.18	o 594 
14.77/8.29	o 593 
14.98/8.42	o 592 
15.08/8.52	o 591 
15.18/8.64	o 590 
15.31/8.74	o 589 
15.41/8.86	o 588 
15.51/8.96	o 587 
15.62/9.08	o 586 
15.72/9.18	o 585 
15.81/9.28	o 584 
16.01/9.40	o 583 
16.11/9.52	o 582 
16.21/9.64	o 581 
16.31/9.74	o 580 
16.41/9.86	o 579 
16.51/9.98	o 578 
16.62/10.10	o 577 
16.81/10.20	o 576 
16.92/10.30	o 575 
17.04/10.42	o 574 
17.16/10.54	o 573 
17.26/10.66	o 572 
17.36/10.76	o 571 
17.46/10.88	o 570 
17.56/10.98	o 569 
17.67/11.10	o 568 
17.86/11.22	o 567 
17.96/11.34	o 566 
18.06/11.44	o 565 
18.17/11.56	o 564 
18.27/11.68	o 563 
18.37/11.80	o 562 
18.47/11.90	o 561 
18.57/12.00	o 560 
18.76/12.10	o 559 
18.95/12.22	o 558 
19.06/12.32	o 557 
19.16/12.44	o 556 
19.27/12.56	o 555 
19.37/12.68	o 554 
19.47/12.77	o 553 
19.57/12.87	o 552 
19.67/12.97	o 551 
19.78/13.08	o 550 
19.88/13.19	o 549 
20.07/13.31	o 548 
20.17/13.41	o 547 
20.28/13.53	o 546 
20.38/13.65	o 545 
20.48/13.75	o 544 
20.60/13.87	o 543 
20.70/13.97	o 542 
20.83/14.09	o 541 
20.93/14.19	o 540 
21.12/14.31	o 539 
21.22/14.41	o 538 
21.33/14.53	o 537 
21.43/14.65	o 536 
21.53/14.77	o 535 
21.63/14.89	o 534 
21.73/15.01	o 533 
21.94/15.12	o 532 
22.04/15.24	o 531 
22.14/15.36	o 530 
22.24/15.48	o 529 
22.34/15.58	o 528 
22.54/15.70	o 527 
22.54/15.80	o 526 
22.74/15.91	o 525 
22.85/16.03	o 524 
22.95/16.13	o 523 
23.05/16.23	o 522 
23.15/16.33	o 521 
23.25/16.45	o 520 
23.35/16.57	o 519 
23.45/16.67	o 518 
23.55/16.78	o 517 
23.75/16.90	o 516 
23.75/17.00	o 515 
23.96/17.12	o 514 
24.05/17.22	o 513 
24.15/17.34	o 512 
24.25/17.43	o 511 
24.35/17.53	o 510 
24.45/17.65	o 509 
24.55/17.77	o 508 
24.65/17.89	o 507 
24.75/18.00	o 506 
24.86/18.10	o 505 
25.06/18.23	o 504 
25.16/18.33	o 503 
25.25/18.44	o 502 
25.35/18.54	o 501 
25.45/18.66	o 500 
25.56/18.78	o 499 
25.66/18.88	o 498 
25.76/18.99	o 497 
25.87/19.10	o 496 
26.06/19.22	o 495 
26.16/19.34	o 494 
26.27/19.44	o 493 
26.37/19.54	o 492 
26.47/19.66	o 491 
26.57/19.78	o 490 
26.67/19.88	o 489 
26.77/19.98	o 488 
26.90/20.10	o 487 
27.14/20.22	o 486 
27.24/20.34	o 485 
27.34/20.44	o 484 
27.44/20.53	o 483 
27.54/20.63	o 482 
27.64/20.73	o 481 
27.74/20.83	o 480 
27.84/20.93	o 479 
27.95/21.03	o 478 
28.06/21.12	o 477 
28.15/21.22	o 476 
28.25/21.32	o 475 
28.35/21.42	o 474 
28.45/21.54	o 473 
28.55/21.63	o 472 
28.65/21.75	o 471 
28.75/21.85	o 470 
28.85/21.96	o 469 
28.96/22.08	o 468 
29.06/22.18	o 467 
29.15/22.27	o 466 
29.26/22.37	o 465 
29.36/22.49	o 464 
29.46/22.59	o 463 
29.56/22.69	o 462 
29.76/22.80	o 461 
29.86/22.92	o 460 
29.96/23.02	o 459 
30.07/23.12	o 458 
30.17/23.23	o 457 
30.27/23.35	o 456 
30.37/23.46	o 455 
30.47/23.58	o 454 
30.57/23.68	o 453 
30.67/23.79	o 452 
30.77/23.89	o 451 
30.98/24.01	o 450 
31.08/24.12	o 449 
31.17/24.22	o 448 
31.27/24.32	o 447 
31.37/24.43	o 446 
31.47/24.53	o 445 
31.57/24.65	o 444 
31.67/24.76	o 443 
31.77/24.86	o 442 
31.87/24.97	o 441 
31.98/25.09	o 440 
32.08/25.19	o 439 
32.27/25.30	o 438 
32.37/25.42	o 437 
32.47/25.51	o 436 
32.58/25.61	o 435 
32.68/25.73	o 434 
32.78/25.84	o 433 
32.88/25.96	o 432 
32.99/26.06	o 431 
33.09/26.17	o 430 
33.18/26.27	o 429 
33.28/26.38	o 428 
33.38/26.48	o 427 
33.58/26.60	o 426 
33.58/26.69	o 425 
33.79/26.81	o 424 
33.89/26.91	o 423 
34.00/27.03	o 422 
34.10/27.12	o 421 
34.19/27.24	o 420 
34.29/27.35	o 419 
34.39/27.47	o 418 
34.49/27.57	o 417 
34.59/27.66	o 416 
34.69/27.76	o 415 
34.79/27.88	o 414 
34.89/27.98	o 413 
35.00/28.07	o 412 
35.10/28.17	o 411 
35.19/28.27	o 410 
35.29/28.38	o 409 
35.40/28.48	o 408 
35.50/28.58	o 407 
35.60/28.69	o 406 
35.70/28.79	o 405 
35.90/28.90	o 404 
36.01/29.02	o 403 
36.11/29.12	o 402 
36.20/29.23	o 401 
36.30/29.33	o 400 
36.40/29.44	o 399 
36.50/29.54	o 398 
36.60/29.65	o 397 
36.70/29.75	o 396 
36.80/29.86	o 395 
36.90/29.96	o 394 
37.01/30.06	o 393 
37.12/30.18	o 392 
37.21/30.29	o 391 
37.41/30.41	o 390 
37.51/30.51	o 389 
37.61/30.62	o 388 
37.71/30.74	o 387 
37.81/30.84	o 386 
37.91/30.96	o 385 
38.01/31.05	o 384 
38.12/31.17	o 383 
38.21/31.27	o 382 
38.31/31.39	o 381 
38.55/31.50	o 380 
38.65/31.60	o 379 
38.75/31.72	o 378 
38.85/31.83	o 377 
38.95/31.95	o 376 
39.06/32.05	o 375 
39.16/32.15	o 374 
39.25/32.26	o 373 
39.35/32.36	o 372 
39.45/32.48	o 371 
39.55/32.60	o 370 
39.75/32.71	o 369 
39.85/32.81	o 368 
39.95/32.91	o 367 
40.06/33.03	o 366 
40.16/33.15	o 365 
40.25/33.26	o 364 
40.35/33.36	o 363 
40.45/33.48	o 362 
40.56/33.58	o 361 
40.66/33.67	o 360 
40.76/33.79	o 359 
40.96/33.91	o 358 
41.06/34.01	o 357 
41.17/34.12	o 356 
41.26/34.22	o 355 
41.36/34.34	o 354 
41.46/34.46	o 353 
41.56/34.55	o 352 
41.66/34.65	o 351 
41.76/34.77	o 350 
41.86/34.87	o 349 
41.96/34.97	o 348 
42.07/35.07	o 347 
42.21/35.17	o 346 
42.33/35.27	o 345 
42.43/35.38	o 344 
42.53/35.48	o 343 
42.73/35.60	o 342 
42.83/35.70	o 341 
42.93/35.81	o 340 
43.03/35.91	o 339 
43.14/36.01	o 338 
43.24/36.11	o 337 
43.33/36.22	o 336 
43.43/36.34	o 335 
43.53/36.44	o 334 
43.63/36.56	o 333 
43.73/36.67	o 332 
43.83/36.78	o 331 
43.93/36.90	o 330 
44.14/37.01	o 329 
44.24/37.13	o 328 
44.33/37.25	o 327 
44.44/37.36	o 326 
44.54/37.46	o 325 
44.63/37.56	o 324 
44.74/37.67	o 323 
44.84/37.77	o 322 
44.94/37.90	o 321 
45.15/38.02	o 320 
45.25/38.14	o 319 
45.34/38.26	o 318 
45.44/38.39	o 317 
45.64/38.52	o 316 
45.74/38.64	o 315 
45.84/38.77	o 314 
46.04/38.90	o 313 
46.22/39.02	o 312 
46.32/39.16	o 311 
46.51/39.30	o 310 
46.61/39.43	o 309 
46.71/39.55	o 308 
46.82/39.67	o 307 
47.02/39.81	o 306 
47.12/39.95	o 305 
47.23/40.08	o 304 
47.42/40.24	o 303 
47.52/40.38	o 302 
47.72/40.53	o 301 
47.82/40.69	o 300 
48.02/40.84	o 299 
48.23/41.03	o 298 
48.44/41.20	o 297 
48.54/41.39	o 296 
48.75/41.58	o 295 
48.95/41.77	o 294 
49.15/41.95	o 293 
49.36/42.12	o 292 
49.55/42.31	o 291 
49.76/42.51	o 290 
49.86/42.68	o 289 
50.06/42.85	o 288 
50.26/43.03	o 287 
50.37/43.20	o 286 
50.56/43.36	o 285 
50.76/43.52	o 284 
50.86/43.69	o 283 
51.06/43.87	o 282 
51.27/44.05	o 281 
51.46/44.23	o 280 
51.56/44.39	o 279 
51.76/44.56	o 278 
51.96/44.74	o 277 
52.16/44.92	o 276 
52.27/45.09	o 275 
52.46/45.27	o 274 
52.66/45.46	o 273 
52.86/45.65	o 272 
53.06/45.86	o 271 
53.27/46.04	o 270 
53.46/46.20	o 269 
53.89/46.47	o 268 
54.15/46.64	o 267 
54.37/46.82	o 266 
54.47/46.99	o 265 
54.68/47.17	o 264 
54.77/47.28	o 263 
54.98/47.43	o 262 
55.18/47.60	o 261 
55.28/47.76	o 260 
55.48/47.93	o 259 
55.62/48.09	o 258 
55.86/48.23	o 257 
55.96/48.39	o 256 
56.18/48.53	o 255 
56.29/48.63	o 254 
56.39/48.79	o 253 
56.49/48.89	o 252 
56.59/48.98	o 251 
56.79/49.11	o 250 
56.89/49.26	o 249 
56.99/49.37	o 248 
57.19/49.51	o 247 
57.29/49.62	o 246 
57.49/49.81	o 245 
57.59/49.94	o 244 
57.80/50.11	o 243 
57.89/50.29	o 242 
58.12/50.44	o 241 
58.22/50.59	o 240 
58.42/50.76	o 239 
58.52/50.87	o 238 
58.64/50.98	o 237 
59.23/51.27	o 221 
59.61/51.40	o 218 
64.52/53.87	o 216 
65.19/54.41	o 214 
66.22/55.31	o 211 
66.53/55.63	o 210 
66.63/55.77	o 209 
71.74/60.49	o 208 
73.37/62.05	o 207 
92.71/80.71	o 206 
107.87/95.68	o 205 
109.00/96.71	o 204 
147.42/134.26	o 203 
148.55/135.37	o 202 
159.41/146.09	o 201 
168.56/155.02	o 200 
192.26/178.20	o 199 
292.27/276.02	o 198 
325.47/308.26	o 197 
361.90/344.16	o 196 
375.27/357.38	o 195 
384.91/366.81	o 194 
394.37/376.18	o 193 
681.88/657.28	o 192 
1004.88/973.73	o 191 
2520.01/2453.11	s SATISFIABLE
2520.01/2453.11	v <instantiation>
2520.01/2453.11	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.01/2453.11	v 	<values>0 0 0 0 7 16 21 18 54 36 44 13 44 31 46 26 38 55 63 8 26 18 7 67 16 55 46 63 22 124 70 63 22 71 45 71 63 77 26 63 88 33 37 31 96 54 49 65 113 6 24 104 80 77 63 38 118 88 46 133 80 134 115 57 47 109 94 108 88 88 115 170 134 144 97 124 107 165 173 124 144 145 96 106 155 124 106 133 104 144 134 124 137 113 140 133 164 118 109 132 146 164 147 173 146 139 167 146 154 164 174 180 167 170 147 166 170 178 183 183 181 191 </values>
2520.01/2453.11	v </instantiation>
2520.01/2453.11	c Unexpected resolution interruption!

Verifier Data 

OK	191

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272182-1502796605/watcher-4272182-1502796605 -o /tmp/evaluation-result-4272182-1502796605/solver-4272182-1502796605 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5949 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1116832120 HOME/instance-4272182-1502796605.xml 

running on 4 cores: 0,2,4,6

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=6245, runsolver pid=6242

[startup+0.100059 s]*
/proc/loadavg: 1.47 1.49 1.89 4/217 6261
/proc/meminfo: memFree=28815288/32770624 swapFree=67108860/67108860
[pid=6245] ppid=6242 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6245/stat : 6245 (xcsp3-exec) S 6242 6245 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112748489 9740288 346 33554432000 4194304 5098028 140722911883360 140722911881464 140062917689980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17977344 140722911888494 140722911888699 140722911888699 140722911891435 0
/proc/6245/statm: 2378 346 289 221 0 87 0
[pid=6247] ppid=6245 vsize=13978596 memory=27808 CPUtime=0.12 cores=0,2,4,6
/proc/6247/stat : 6247 (java) S 6245 6245 5918 0 -1 1077944320 5385 0 0 0 11 1 0 0 20 0 15 0 112748489 14314082304 6952 33554432000 4194304 4196468 140736011198448 140736011180992 140131011804919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
/proc/6247/statm: 3494649 6952 2842 1 0 3482966 0
[pid=6247/tid=6248] ppid=6245 vsize=13978596 memory=7972116394354643803 CPUtime=0.09 cores=0,2,4,6
/proc/6247/task/6248/stat : 6248 (java) R 6245 6245 5918 0 -1 4202560 3396 0 0 0 9 0 0 0 20 0 15 0 112748490 14314082304 6952 33554432000 4194304 4196468 140736011198448 140131016034096 140131011816854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6249] ppid=6245 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6249/stat : 6249 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14314082304 6952 33554432000 4194304 4196468 140736011198448 140130964424976 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6250] ppid=6245 vsize=13978596 memory=140328492492416 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6250/stat : 6250 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14314082304 6952 33554432000 4194304 4196468 140736011198448 140130963372432 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6251] ppid=6245 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6251/stat : 6251 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14314082304 6952 33554432000 4194304 4196468 140736011198448 140130962319888 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6252] ppid=6245 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6252/stat : 6252 (java) S 6245 6245 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112748490 14314082304 6952 33554432000 4194304 4196468 140736011198448 140130961267344 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6253] ppid=6245 vsize=13978596 memory=140328492492416 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6253/stat : 6253 (java) S 6245 6245 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112748492 14314082304 6952 33554432000 4194304 4196468 140736011198448 140129923742192 140131011816066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6254] ppid=6245 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6254/stat : 6254 (java) S 6245 6245 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112748492 14314082304 6952 33554432000 4194304 4196468 140736011198448 140129922688416 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6255] ppid=6245 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6255/stat : 6255 (java) S 6245 6245 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112748492 14314082304 6952 33554432000 4194304 4196468 140736011198448 140129921635824 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6256] ppid=6245 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6256/stat : 6256 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14314082304 6952 33554432000 4194304 4196468 140736011198448 140129920584400 140131011823515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6257] ppid=6245 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6257/stat : 6257 (java) S 6245 6245 5918 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 112748495 14314082304 6952 33554432000 4194304 4196468 140736011198448 140129919530992 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6258] ppid=6245 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6258/stat : 6258 (java) S 6245 6245 5918 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 112748495 14314082304 6952 33554432000 4194304 4196468 140736011198448 140129918478448 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6259] ppid=6245 vsize=13978596 memory=140328492492416 CPUtime=0.01 cores=0,2,4,6
/proc/6247/task/6259/stat : 6259 (java) R 6245 6245 5918 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 112748495 14314082304 6952 33554432000 4194304 4196468 140736011198448 140129917425904 140130990480134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6260] ppid=6245 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6260/stat : 6260 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14314082304 6952 33554432000 4194304 4196468 140736011198448 140129916373600 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6261] ppid=6245 vsize=13978596 memory=140328492492416 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6261/stat : 6261 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748495 14314082304 6952 33554432000 4194304 4196468 140736011198448 140129915321136 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29192 KiB

[startup+0.213252 s]*
/proc/loadavg: 1.47 1.49 1.89 4/217 6261
/proc/meminfo: memFree=28804292/32770624 swapFree=67108860/67108860
[pid=6245] ppid=6242 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6245/stat : 6245 (xcsp3-exec) S 6242 6245 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112748489 9740288 346 33554432000 4194304 5098028 140722911883360 140722911881464 140062917689980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17977344 140722911888494 140722911888699 140722911888699 140722911891435 0
/proc/6245/statm: 2378 346 289 221 0 87 0
[pid=6247] ppid=6245 vsize=13982852 memory=40304 CPUtime=0.34 cores=0,2,4,6
/proc/6247/stat : 6247 (java) S 6245 6245 5918 0 -1 1077944320 8129 0 0 0 32 2 0 0 20 0 15 0 112748489 14318440448 10076 33554432000 4194304 4196468 140736011198448 140736011180992 140131011804919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
/proc/6247/statm: 3495713 10076 3025 1 0 3482966 0
[pid=6247/tid=6248] ppid=6245 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6247/task/6248/stat : 6248 (java) R 6245 6245 5918 0 -1 4202560 5268 0 0 0 19 1 0 0 20 0 15 0 112748490 14318440448 10076 33554432000 4194304 4196468 140736011198448 140131016026976 140130995885406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6249] ppid=6245 vsize=13982852 memory=12474 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6249/stat : 6249 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14318440448 10076 33554432000 4194304 4196468 140736011198448 140130964424976 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6250] ppid=6245 vsize=13982852 memory=140328493042535 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6250/stat : 6250 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14318440448 10076 33554432000 4194304 4196468 140736011198448 140130963372432 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6251] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6251/stat : 6251 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14318440448 10076 33554432000 4194304 4196468 140736011198448 140130962319888 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6252] ppid=6245 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6252/stat : 6252 (java) S 6245 6245 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112748490 14318440448 10076 33554432000 4194304 4196468 140736011198448 140130961267344 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6253] ppid=6245 vsize=13982852 memory=140328492492416 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6253/stat : 6253 (java) S 6245 6245 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112748492 14318440448 10076 33554432000 4194304 4196468 140736011198448 140129923742192 140131011816066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6254] ppid=6245 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6254/stat : 6254 (java) S 6245 6245 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112748492 14318440448 10076 33554432000 4194304 4196468 140736011198448 140129922688416 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6255] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6255/stat : 6255 (java) S 6245 6245 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112748492 14318440448 10076 33554432000 4194304 4196468 140736011198448 140129921635824 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6256] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6256/stat : 6256 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14318440448 10076 33554432000 4194304 4196468 140736011198448 140129920584400 140131011823515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6257] ppid=6245 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6247/task/6257/stat : 6257 (java) S 6245 6245 5918 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 112748495 14318440448 10076 33554432000 4194304 4196468 140736011198448 140129919530992 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6258] ppid=6245 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/6247/task/6258/stat : 6258 (java) S 6245 6245 5918 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 15 0 112748495 14318440448 10076 33554432000 4194304 4196468 140736011198448 140129918478448 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6259] ppid=6245 vsize=13982852 memory=140328492492416 CPUtime=0.08 cores=0,2,4,6
/proc/6247/task/6259/stat : 6259 (java) S 6245 6245 5918 0 -1 1077944384 755 0 0 0 8 0 0 0 20 0 15 0 112748495 14318440448 10076 33554432000 4194304 4196468 140736011198448 140129917425904 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6260] ppid=6245 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6260/stat : 6260 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14318440448 10076 33554432000 4194304 4196468 140736011198448 140129916373600 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6261] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6261/stat : 6261 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748495 14318440448 10076 33554432000 4194304 4196468 140736011198448 140129915321136 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41688 KiB

[startup+0.310418 s]*
/proc/loadavg: 1.47 1.49 1.89 5/217 6261
/proc/meminfo: memFree=28797344/32770624 swapFree=67108860/67108860
[pid=6245] ppid=6242 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6245/stat : 6245 (xcsp3-exec) S 6242 6245 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112748489 9740288 346 33554432000 4194304 5098028 140722911883360 140722911881464 140062917689980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17977344 140722911888494 140722911888699 140722911888699 140722911891435 0
/proc/6245/statm: 2378 346 289 221 0 87 0
[pid=6247] ppid=6245 vsize=13982852 memory=47524 CPUtime=0.5 cores=0,2,4,6
/proc/6247/stat : 6247 (java) S 6245 6245 5918 0 -1 1077944320 9025 0 0 0 48 2 0 0 20 0 15 0 112748489 14318440448 11881 33554432000 4194304 4196468 140736011198448 140736011180992 140131011804919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
/proc/6247/statm: 3495713 11881 3118 1 0 3482966 0
[pid=6247/tid=6248] ppid=6245 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/6247/task/6248/stat : 6248 (java) R 6245 6245 5918 0 -1 4202560 5945 0 0 0 28 1 0 0 20 0 15 0 112748490 14318440448 11881 33554432000 4194304 4196468 140736011198448 140131016043264 140131011826845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6249] ppid=6245 vsize=13982852 memory=12804 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6249/stat : 6249 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14318440448 11881 33554432000 4194304 4196468 140736011198448 140130964424976 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6250] ppid=6245 vsize=13982852 memory=549545 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6250/stat : 6250 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14318440448 11881 33554432000 4194304 4196468 140736011198448 140130963372432 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6251] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6251/stat : 6251 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14318440448 11881 33554432000 4194304 4196468 140736011198448 140130962319888 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6252] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6252/stat : 6252 (java) S 6245 6245 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112748490 14318440448 11881 33554432000 4194304 4196468 140736011198448 140130961267344 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6253] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6253/stat : 6253 (java) S 6245 6245 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112748492 14318440448 11881 33554432000 4194304 4196468 140736011198448 140129923742192 140131011816066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6254] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6254/stat : 6254 (java) S 6245 6245 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112748492 14318440448 11881 33554432000 4194304 4196468 140736011198448 140129922688416 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6255] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6255/stat : 6255 (java) S 6245 6245 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112748492 14318440448 11881 33554432000 4194304 4196468 140736011198448 140129921635824 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6256] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6256/stat : 6256 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14318440448 11881 33554432000 4194304 4196468 140736011198448 140129920584400 140131011823515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6257] ppid=6245 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6247/task/6257/stat : 6257 (java) R 6245 6245 5918 0 -1 4202560 428 0 0 0 3 0 0 0 20 0 15 0 112748495 14318440448 11881 33554432000 4194304 4196468 140736011198448 140129919530992 140131011826266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6258] ppid=6245 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6247/task/6258/stat : 6258 (java) R 6245 6245 5918 0 -1 1077944384 483 0 0 0 4 0 0 0 20 0 15 0 112748495 14318440448 11881 33554432000 4194304 4196468 140736011198448 140129918478448 140131011816066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6259] ppid=6245 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6247/task/6259/stat : 6259 (java) R 6245 6245 5918 0 -1 4202560 866 0 0 0 12 0 0 0 20 0 15 0 112748495 14318440448 11881 33554432000 4194304 4196468 140736011198448 140129917422272 140130990779416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6260] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6260/stat : 6260 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14318440448 11881 33554432000 4194304 4196468 140736011198448 140129916373600 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6261] ppid=6245 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6261/stat : 6261 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748495 14318440448 11881 33554432000 4194304 4196468 140736011198448 140129915321136 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48908 KiB

[startup+0.705284 s]
/proc/loadavg: 1.47 1.49 1.89 4/217 6261
/proc/meminfo: memFree=28784844/32770624 swapFree=67108860/67108860
[pid=6245] ppid=6242 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6245/stat : 6245 (xcsp3-exec) S 6242 6245 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112748489 9740288 346 33554432000 4194304 5098028 140722911883360 140722911881464 140062917689980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17977344 140722911888494 140722911888699 140722911888699 140722911891435 0
/proc/6245/statm: 2378 346 289 221 0 87 0
[pid=6247] ppid=6245 vsize=13984976 memory=83468 CPUtime=1.57 cores=0,2,4,6
/proc/6247/stat : 6247 (java) S 6245 6245 5918 0 -1 1077944320 15110 0 0 0 153 4 0 0 20 0 15 0 112748489 14320615424 20867 33554432000 4194304 4196468 140736011198448 140736011180992 140131011804919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
/proc/6247/statm: 3496244 20867 3209 1 0 3483478 0
[pid=6247/tid=6248] ppid=6245 vsize=13984976 memory=4044 CPUtime=0.67 cores=0,2,4,6
/proc/6247/task/6248/stat : 6248 (java) R 6245 6245 5918 0 -1 4202560 6915 0 0 0 65 2 0 0 20 0 15 0 112748490 14320615424 20867 33554432000 4194304 4196468 140736011198448 140131016043328 140130643974725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6249] ppid=6245 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6249/stat : 6249 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14320615424 20867 33554432000 4194304 4196468 140736011198448 140130964424976 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6250] ppid=6245 vsize=13984976 memory=636 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6250/stat : 6250 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14320615424 20867 33554432000 4194304 4196468 140736011198448 140130963372432 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6251] ppid=6245 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6251/stat : 6251 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748490 14320615424 20867 33554432000 4194304 4196468 140736011198448 140130962319888 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6252] ppid=6245 vsize=13984976 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6252/stat : 6252 (java) S 6245 6245 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112748490 14320615424 20867 33554432000 4194304 4196468 140736011198448 140130961267344 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6253] ppid=6245 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6253/stat : 6253 (java) S 6245 6245 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112748492 14320615424 20867 33554432000 4194304 4196468 140736011198448 140129923742192 140131011816066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6254] ppid=6245 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6254/stat : 6254 (java) S 6245 6245 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112748492 14320615424 20867 33554432000 4194304 4196468 140736011198448 140129922688416 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6255] ppid=6245 vsize=13984976 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6255/stat : 6255 (java) S 6245 6245 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112748492 14320615424 20867 33554432000 4194304 4196468 140736011198448 140129921635824 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6256] ppid=6245 vsize=13984976 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6256/stat : 6256 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14320615424 20867 33554432000 4194304 4196468 140736011198448 140129920584400 140131011823515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6257] ppid=6245 vsize=13984976 memory=932 CPUtime=0.24 cores=0,2,4,6
/proc/6247/task/6257/stat : 6257 (java) R 6245 6245 5918 0 -1 4202560 1979 0 0 0 24 0 0 0 20 0 15 0 112748495 14320615424 20867 33554432000 4194304 4196468 140736011198448 140129919512008 140130995305117 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6258] ppid=6245 vsize=13984976 memory=2200 CPUtime=0.24 cores=0,2,4,6
/proc/6247/task/6258/stat : 6258 (java) R 6245 6245 5918 0 -1 4202560 2264 0 0 0 24 0 0 0 20 0 15 0 112748495 14320615424 20867 33554432000 4194304 4196468 140736011198448 140129918459464 140130995291195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6259] ppid=6245 vsize=13984976 memory=6504 CPUtime=0.38 cores=0,2,4,6
/proc/6247/task/6259/stat : 6259 (java) S 6245 6245 5918 0 -1 1077944384 2645 0 0 0 38 0 0 0 20 0 15 0 112748495 14320615424 20867 33554432000 4194304 4196468 140736011198448 140129917425904 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6260] ppid=6245 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6260/stat : 6260 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14320615424 20867 33554432000 4194304 4196468 140736011198448 140129916373600 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6261] ppid=6245 vsize=13984976 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6261/stat : 6261 (java) S 6245 6245 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112748495 14320615424 20867 33554432000 4194304 4196468 140736011198448 140129915321136 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 84852 KiB

[startup+1.50084 s]
/proc/loadavg: 1.76 1.55 1.91 6/217 6261
/proc/meminfo: memFree=28730192/32770624 swapFree=67108860/67108860
[pid=6245] ppid=6242 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6245/stat : 6245 (xcsp3-exec) S 6242 6245 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112748489 9740288 346 33554432000 4194304 5098028 140722911883360 140722911881464 140062917689980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17977344 140722911888494 140722911888699 140722911888699 140722911891435 0
/proc/6245/statm: 2378 346 289 221 0 87 0

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

/proc/6247/task/6255/stat : 6255 (java) S 6245 6245 5918 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112748492 14320615424 79107 33554432000 4194304 4196468 140736011198448 140129921635840 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6256] ppid=6245 vsize=13984976 memory=312872 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6256/stat : 6256 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14320615424 79107 33554432000 4194304 4196468 140736011198448 140129920584400 140131011823515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6257] ppid=6245 vsize=13984976 memory=1384 CPUtime=5.85 cores=0,2,4,6
/proc/6247/task/6257/stat : 6257 (java) S 6245 6245 5918 0 -1 1077944384 31154 0 0 0 582 3 0 0 20 0 15 0 112748495 14320615424 79107 33554432000 4194304 4196468 140736011198448 140129919530992 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6258] ppid=6245 vsize=13984976 memory=2428 CPUtime=6.06 cores=0,2,4,6
/proc/6247/task/6258/stat : 6258 (java) S 6245 6245 5918 0 -1 1077944384 30386 0 0 0 602 4 0 0 20 0 15 0 112748495 14320615424 79107 33554432000 4194304 4196468 140736011198448 140129918478448 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6259] ppid=6245 vsize=13984976 memory=316428 CPUtime=0.92 cores=0,2,4,6
/proc/6247/task/6259/stat : 6259 (java) S 6245 6245 5918 0 -1 1077944384 14124 0 0 0 90 2 0 0 20 0 15 0 112748495 14320615424 79107 33554432000 4194304 4196468 140736011198448 140129917425904 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6260] ppid=6245 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6260/stat : 6260 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14320615424 79107 33554432000 4194304 4196468 140736011198448 140129916373600 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6261] ppid=6245 vsize=13984976 memory=1384 CPUtime=1.26 cores=0,2,4,6
/proc/6247/task/6261/stat : 6261 (java) S 6245 6245 5918 0 -1 1077944384 1385 0 0 0 60 66 0 0 20 0 15 0 112748495 14320615424 79107 33554432000 4194304 4196468 140736011198448 140129915321136 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
Current children cumulated CPU time: 2447.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 317812 KiB

[startup+2442.3 s]
/proc/loadavg: 1.71 1.61 1.51 3/217 6415
/proc/meminfo: memFree=28426192/32770624 swapFree=67108860/67108860
[pid=6245] ppid=6242 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6245/stat : 6245 (xcsp3-exec) S 6242 6245 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112748489 9740288 346 33554432000 4194304 5098028 140722911883360 140722911881464 140062917689980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17977344 140722911888494 140722911888699 140722911888699 140722911891435 0
/proc/6245/statm: 2378 346 289 221 0 87 0
[pid=6247] ppid=6245 vsize=13984976 memory=310580 CPUtime=2509.01 cores=0,2,4,6
/proc/6247/stat : 6247 (java) S 6245 6245 5918 0 -1 1077944320 202186 0 0 0 250699 202 0 0 20 0 15 0 112748489 14320615424 77645 33554432000 4194304 4196468 140736011198448 140736011180992 140131011804919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
/proc/6247/statm: 3496244 77645 3287 1 0 3483478 0
[pid=6247/tid=6248] ppid=6245 vsize=13984976 memory=312028 CPUtime=2420.35 cores=0,2,4,6
/proc/6247/task/6248/stat : 6248 (java) R 6245 6245 5918 0 -1 4202560 42295 0 0 0 242019 16 0 0 20 0 15 0 112748490 14320615424 77645 33554432000 4194304 4196468 140736011198448 140131016044560 140130645452393 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6249] ppid=6245 vsize=13984976 memory=315620 CPUtime=18.08 cores=0,2,4,6
/proc/6247/task/6249/stat : 6249 (java) S 6245 6245 5918 0 -1 1077944384 11033 0 0 0 1782 26 0 0 20 0 15 0 112748490 14320615424 77645 33554432000 4194304 4196468 140736011198448 140130964424976 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6250] ppid=6245 vsize=13984976 memory=316132 CPUtime=18.08 cores=0,2,4,6
/proc/6247/task/6250/stat : 6250 (java) S 6245 6245 5918 0 -1 1077944384 12813 0 0 0 1780 28 0 0 20 0 15 0 112748490 14320615424 77645 33554432000 4194304 4196468 140736011198448 140130963372432 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6251] ppid=6245 vsize=13984976 memory=312872 CPUtime=18.07 cores=0,2,4,6
/proc/6247/task/6251/stat : 6251 (java) S 6245 6245 5918 0 -1 1077944384 13565 0 0 0 1780 27 0 0 20 0 15 0 112748490 14320615424 77645 33554432000 4194304 4196468 140736011198448 140130962319888 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6252] ppid=6245 vsize=13984976 memory=1384 CPUtime=18.02 cores=0,2,4,6
/proc/6247/task/6252/stat : 6252 (java) S 6245 6245 5918 0 -1 1077944384 11571 0 0 0 1776 26 0 0 20 0 15 0 112748490 14320615424 77645 33554432000 4194304 4196468 140736011198448 140130961267344 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6253] ppid=6245 vsize=13984976 memory=304556 CPUtime=2.19 cores=0,2,4,6
/proc/6247/task/6253/stat : 6253 (java) S 6245 6245 5918 0 -1 1077944384 32486 0 0 0 199 20 0 0 20 0 15 0 112748492 14320615424 77645 33554432000 4194304 4196468 140736011198448 140129923742192 140131011816066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6254] ppid=6245 vsize=13984976 memory=304040 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6254/stat : 6254 (java) S 6245 6245 5918 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 112748492 14320615424 77645 33554432000 4194304 4196468 140736011198448 140129922688480 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6255] ppid=6245 vsize=13984976 memory=314596 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6255/stat : 6255 (java) S 6245 6245 5918 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112748492 14320615424 77645 33554432000 4194304 4196468 140736011198448 140129921635840 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6256] ppid=6245 vsize=13984976 memory=314080 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6256/stat : 6256 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14320615424 77645 33554432000 4194304 4196468 140736011198448 140129920584400 140131011823515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6257] ppid=6245 vsize=13984976 memory=312544 CPUtime=5.85 cores=0,2,4,6
/proc/6247/task/6257/stat : 6257 (java) S 6245 6245 5918 0 -1 1077944384 31156 0 0 0 582 3 0 0 20 0 15 0 112748495 14320615424 77645 33554432000 4194304 4196468 140736011198448 140129919530992 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6258] ppid=6245 vsize=13984976 memory=311524 CPUtime=6.06 cores=0,2,4,6
/proc/6247/task/6258/stat : 6258 (java) S 6245 6245 5918 0 -1 1077944384 30388 0 0 0 602 4 0 0 20 0 15 0 112748495 14320615424 77645 33554432000 4194304 4196468 140736011198448 140129918478448 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6259] ppid=6245 vsize=13984976 memory=311524 CPUtime=0.92 cores=0,2,4,6
/proc/6247/task/6259/stat : 6259 (java) S 6245 6245 5918 0 -1 1077944384 14126 0 0 0 90 2 0 0 20 0 15 0 112748495 14320615424 77645 33554432000 4194304 4196468 140736011198448 140129917425904 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6260] ppid=6245 vsize=13984976 memory=310576 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6260/stat : 6260 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14320615424 77645 33554432000 4194304 4196468 140736011198448 140129916373600 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6261] ppid=6245 vsize=13984976 memory=1384 CPUtime=1.3 cores=0,2,4,6
/proc/6247/task/6261/stat : 6261 (java) S 6245 6245 5918 0 -1 1077944384 1400 0 0 0 62 68 0 0 20 0 15 0 112748495 14320615424 77645 33554432000 4194304 4196468 140736011198448 140129915321136 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
Current children cumulated CPU time: 2509.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 311964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2453.11 s]
/proc/loadavg: 1.68 1.61 1.51 3/217 6415
/proc/meminfo: memFree=28434568/32770624 swapFree=67108860/67108860
[pid=6245] ppid=6242 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6245/stat : 6245 (xcsp3-exec) S 6242 6245 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112748489 9740288 346 33554432000 4194304 5098028 140722911883360 140722911881464 140062917689980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17977344 140722911888494 140722911888699 140722911888699 140722911891435 0
/proc/6245/statm: 2378 346 289 221 0 87 0
[pid=6247] ppid=6245 vsize=13984976 memory=304428 CPUtime=2520.01 cores=0,2,4,6
/proc/6247/stat : 6247 (java) S 6245 6245 5918 0 -1 1077944320 202284 0 0 0 251798 203 0 0 20 0 15 0 112748489 14320615424 76107 33554432000 4194304 4196468 140736011198448 140736011180992 140131011804919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
/proc/6247/statm: 3496244 76107 3287 1 0 3483478 0
[pid=6247/tid=6248] ppid=6245 vsize=13984976 memory=305968 CPUtime=2431.08 cores=0,2,4,6
/proc/6247/task/6248/stat : 6248 (java) R 6245 6245 5918 0 -1 4202560 42328 0 0 0 243092 16 0 0 20 0 15 0 112748490 14320615424 76107 33554432000 4194304 4196468 140736011198448 140131016044352 140130645452393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6249] ppid=6245 vsize=13984976 memory=307508 CPUtime=18.14 cores=0,2,4,6
/proc/6247/task/6249/stat : 6249 (java) S 6245 6245 5918 0 -1 1077944384 11033 0 0 0 1788 26 0 0 20 0 15 0 112748490 14320615424 76107 33554432000 4194304 4196468 140736011198448 140130964424976 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6250] ppid=6245 vsize=13984976 memory=312872 CPUtime=18.14 cores=0,2,4,6
/proc/6247/task/6250/stat : 6250 (java) S 6245 6245 5918 0 -1 1077944384 12822 0 0 0 1786 28 0 0 20 0 15 0 112748490 14320615424 76107 33554432000 4194304 4196468 140736011198448 140130963372432 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6251] ppid=6245 vsize=13984976 memory=1384 CPUtime=18.13 cores=0,2,4,6
/proc/6247/task/6251/stat : 6251 (java) S 6245 6245 5918 0 -1 1077944384 13565 0 0 0 1786 27 0 0 20 0 15 0 112748490 14320615424 76107 33554432000 4194304 4196468 140736011198448 140130962319888 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6252] ppid=6245 vsize=13984976 memory=304556 CPUtime=18.09 cores=0,2,4,6
/proc/6247/task/6252/stat : 6252 (java) S 6245 6245 5918 0 -1 1077944384 11571 0 0 0 1782 27 0 0 20 0 15 0 112748490 14320615424 76107 33554432000 4194304 4196468 140736011198448 140130961267344 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6253] ppid=6245 vsize=13984976 memory=304040 CPUtime=2.2 cores=0,2,4,6
/proc/6247/task/6253/stat : 6253 (java) S 6245 6245 5918 0 -1 1077944384 32487 0 0 0 200 20 0 0 20 0 15 0 112748492 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129923742192 140131011816066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6254] ppid=6245 vsize=13984976 memory=314596 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6254/stat : 6254 (java) S 6245 6245 5918 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 112748492 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129922688480 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6255] ppid=6245 vsize=13984976 memory=314080 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6255/stat : 6255 (java) S 6245 6245 5918 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112748492 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129921635840 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6256] ppid=6245 vsize=13984976 memory=312544 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6256/stat : 6256 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129920584400 140131011823515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6257] ppid=6245 vsize=13984976 memory=307508 CPUtime=5.85 cores=0,2,4,6
/proc/6247/task/6257/stat : 6257 (java) S 6245 6245 5918 0 -1 1077944384 31156 0 0 0 582 3 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129919530992 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6258] ppid=6245 vsize=13984976 memory=305456 CPUtime=6.06 cores=0,2,4,6
/proc/6247/task/6258/stat : 6258 (java) S 6245 6245 5918 0 -1 1077944384 30388 0 0 0 602 4 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129918478448 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6259] ppid=6245 vsize=13984976 memory=304944 CPUtime=0.93 cores=0,2,4,6
/proc/6247/task/6259/stat : 6259 (java) S 6245 6245 5918 0 -1 1077944384 14180 0 0 0 91 2 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129917425904 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6260] ppid=6245 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6260/stat : 6260 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129916373600 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6261] ppid=6245 vsize=13984976 memory=288230574492221466 CPUtime=1.3 cores=0,2,4,6
/proc/6247/task/6261/stat : 6261 (java) S 6245 6245 5918 0 -1 1077944384 1401 0 0 0 62 68 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129915321136 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 305812 KiB

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

[startup+2453.12 s]
# the end of solver process 6245 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001832 s, system=0 s

[startup+2453.12 s]
# the end of solver process 6247 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518 s, system=2.0393 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2453.11 s]
/proc/loadavg: 1.68 1.61 1.51 3/217 6415
/proc/meminfo: memFree=28434568/32770624 swapFree=67108860/67108860
[pid=6245] ppid=6242 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6245/stat : 6245 (xcsp3-exec) S 6242 6245 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112748489 9740288 346 33554432000 4194304 5098028 140722911883360 140722911881464 140062917689980 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17977344 140722911888494 140722911888699 140722911888699 140722911891435 0
/proc/6245/statm: 2378 346 289 221 0 87 0
[pid=6247] ppid=6245 vsize=13984976 memory=304428 CPUtime=2520.01 cores=0,2,4,6
/proc/6247/stat : 6247 (java) S 6245 6245 5918 0 -1 1077944320 202284 0 0 0 251798 203 0 0 20 0 15 0 112748489 14320615424 76107 33554432000 4194304 4196468 140736011198448 140736011180992 140131011804919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
/proc/6247/statm: 3496244 76107 3287 1 0 3483478 0
[pid=6247/tid=6248] ppid=6245 vsize=13984976 memory=305968 CPUtime=2431.08 cores=0,2,4,6
/proc/6247/task/6248/stat : 6248 (java) R 6245 6245 5918 0 -1 4202560 42328 0 0 0 243092 16 0 0 20 0 15 0 112748490 14320615424 76107 33554432000 4194304 4196468 140736011198448 140131016044352 140130645452393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6249] ppid=6245 vsize=13984976 memory=307508 CPUtime=18.14 cores=0,2,4,6
/proc/6247/task/6249/stat : 6249 (java) S 6245 6245 5918 0 -1 1077944384 11033 0 0 0 1788 26 0 0 20 0 15 0 112748490 14320615424 76107 33554432000 4194304 4196468 140736011198448 140130964424976 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6250] ppid=6245 vsize=13984976 memory=312872 CPUtime=18.14 cores=0,2,4,6
/proc/6247/task/6250/stat : 6250 (java) S 6245 6245 5918 0 -1 1077944384 12822 0 0 0 1786 28 0 0 20 0 15 0 112748490 14320615424 76107 33554432000 4194304 4196468 140736011198448 140130963372432 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6251] ppid=6245 vsize=13984976 memory=1384 CPUtime=18.13 cores=0,2,4,6
/proc/6247/task/6251/stat : 6251 (java) S 6245 6245 5918 0 -1 1077944384 13565 0 0 0 1786 27 0 0 20 0 15 0 112748490 14320615424 76107 33554432000 4194304 4196468 140736011198448 140130962319888 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6252] ppid=6245 vsize=13984976 memory=304556 CPUtime=18.09 cores=0,2,4,6
/proc/6247/task/6252/stat : 6252 (java) S 6245 6245 5918 0 -1 1077944384 11571 0 0 0 1782 27 0 0 20 0 15 0 112748490 14320615424 76107 33554432000 4194304 4196468 140736011198448 140130961267344 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6253] ppid=6245 vsize=13984976 memory=304040 CPUtime=2.2 cores=0,2,4,6
/proc/6247/task/6253/stat : 6253 (java) S 6245 6245 5918 0 -1 1077944384 32487 0 0 0 200 20 0 0 20 0 15 0 112748492 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129923742192 140131011816066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6254] ppid=6245 vsize=13984976 memory=314596 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6254/stat : 6254 (java) S 6245 6245 5918 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 112748492 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129922688480 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6255] ppid=6245 vsize=13984976 memory=314080 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6255/stat : 6255 (java) S 6245 6245 5918 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112748492 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129921635840 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6256] ppid=6245 vsize=13984976 memory=312544 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6256/stat : 6256 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129920584400 140131011823515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6257] ppid=6245 vsize=13984976 memory=307508 CPUtime=5.85 cores=0,2,4,6
/proc/6247/task/6257/stat : 6257 (java) S 6245 6245 5918 0 -1 1077944384 31156 0 0 0 582 3 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129919530992 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6258] ppid=6245 vsize=13984976 memory=305456 CPUtime=6.06 cores=0,2,4,6
/proc/6247/task/6258/stat : 6258 (java) S 6245 6245 5918 0 -1 1077944384 30388 0 0 0 602 4 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129918478448 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6259] ppid=6245 vsize=13984976 memory=304944 CPUtime=0.93 cores=0,2,4,6
/proc/6247/task/6259/stat : 6259 (java) S 6245 6245 5918 0 -1 1077944384 14180 0 0 0 91 2 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129917425904 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6260] ppid=6245 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6247/task/6260/stat : 6260 (java) S 6245 6245 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129916373600 140131011815125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
[pid=6247/tid=6261] ppid=6245 vsize=13984976 memory=288230574492221466 CPUtime=1.3 cores=0,2,4,6
/proc/6247/task/6261/stat : 6261 (java) S 6245 6245 5918 0 -1 1077944384 1401 0 0 0 62 68 0 0 20 0 15 0 112748495 14320615424 76107 33554432000 4194304 4196468 140736011198448 140129915321136 140131011816066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140736011199639 140736011199815 140736011199815 140736011202511 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 305812 KiB

Child status: 143
Real time (s): 2453.12
CPU time (s): 2520.04
CPU user time (s): 2518
CPU system time (s): 2.0393
CPU usage (%): 102.728
Max. virtual memory (cumulated for all children) (KiB): 13999700
Max. memory (cumulated for all children) (KiB): 507156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518
system time used= 2.0393
maximum resident set size= 505880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100425
involuntary context switches= 4997


# summary of solver processes directly reported to runsolver:
#   pid: 6245,6247
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2518
#   total CPU system time (s): 2.0393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2686 second user time and 24.037 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-15 13:15:46
IDJOB=4272182
IDBENCH=129200
IDSOLVER=2664
FILE ID=node107/4272182-1502796605
RUNJOBID= node107-1502793297-5949
PBS_JOBID= 20629130
Free space on /tmp= 61656 MiB

SOLVER NAME= choco-solver 5a
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-4272182-1502796605/watcher-4272182-1502796605 -o /tmp/evaluation-result-4272182-1502796605/solver-4272182-1502796605 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5949 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1116832120 HOME/instance-4272182-1502796605.xml

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

MD5SUM BENCH= 2bf32ca1cbb3a17ab70e7ee7c2cd4ace
RANDOM SEED=1116832120

node107.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.84
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.84
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.84
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.84
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:        28832256 kB
MemAvailable:   31752416 kB
Buffers:          221664 kB
Cached:          2985680 kB
SwapCached:            0 kB
Active:           811604 kB
Inactive:        2686348 kB
Active(anon):     293640 kB
Inactive(anon):    24972 kB
Active(file):     517964 kB
Inactive(file):  2661376 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7860 kB
Writeback:             0 kB
AnonPages:        296632 kB
Mapped:            58096 kB
Shmem:             25228 kB
Slab:             139248 kB
SReclaimable:     113308 kB
SUnreclaim:        25940 kB
KernelStack:        3504 kB
PageTables:         5936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     910144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61648 MiB
End job on node107 at 2017-08-15 13:56:39