Trace number 4283462

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-08-18)SAT (TO)191 2520.05 2450.8101

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.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283462-1503209477.xml"  -tl '2520s' -p 1 -x 3
0.18/0.23	c [HOME/instance-4283462-1503209477.xml, -tl, 2520s, -p, 1, -x, 3]
0.18/0.29	c simple solver
0.36/0.35	c parse instance...
1.03/0.65	c solve instance...
4.45/1.70	o 649 
5.06/1.98	o 648 
5.96/2.24	o 647 
6.57/2.46	o 646 
7.48/2.71	o 645 
8.09/2.95	o 644 
8.72/3.13	o 643 
9.29/3.31	o 642 
9.59/3.46	o 641 
10.20/3.61	o 640 
10.50/3.74	o 639 
10.80/3.85	o 638 
11.10/3.97	o 637 
11.43/4.10	o 636 
11.72/4.22	o 635 
11.82/4.35	o 634 
11.93/4.47	o 633 
12.03/4.57	o 632 
12.16/4.68	o 631 
12.39/4.80	o 630 
12.53/4.90	o 629 
12.53/5.00	o 628 
12.64/5.10	o 627 
12.85/5.22	o 626 
12.95/5.35	o 625 
13.05/5.47	o 624 
13.16/5.59	o 623 
13.36/5.71	o 622 
13.46/5.83	o 621 
13.56/5.95	o 620 
13.68/6.06	o 619 
13.78/6.16	o 618 
13.87/6.28	o 617 
13.98/6.38	o 616 
14.18/6.50	o 615 
14.28/6.62	o 614 
14.38/6.73	o 613 
14.48/6.85	o 612 
14.59/6.95	o 611 
14.71/7.05	o 610 
14.81/7.15	o 609 
14.90/7.27	o 608 
15.00/7.39	o 607 
15.10/7.49	o 606 
15.30/7.61	o 605 
15.41/7.73	o 604 
15.51/7.84	o 603 
15.61/7.96	o 602 
15.71/8.08	o 601 
15.91/8.20	o 600 
16.01/8.30	o 599 
16.11/8.40	o 598 
16.21/8.50	o 597 
16.31/8.62	o 596 
16.41/8.73	o 595 
16.51/8.85	o 594 
16.61/8.97	o 593 
16.73/9.09	o 592 
16.86/9.19	o 591 
17.07/9.31	o 590 
17.17/9.41	o 589 
17.27/9.53	o 588 
17.37/9.64	o 587 
17.48/9.76	o 586 
17.58/9.86	o 585 
17.68/9.96	o 584 
17.79/10.08	o 583 
17.98/10.20	o 582 
18.08/10.32	o 581 
18.18/10.42	o 580 
18.28/10.54	o 579 
18.38/10.66	o 578 
18.48/10.78	o 577 
18.58/10.88	o 576 
18.69/10.99	o 575 
18.93/11.11	o 574 
19.02/11.23	o 573 
19.13/11.35	o 572 
19.23/11.45	o 571 
19.33/11.57	o 570 
19.43/11.67	o 569 
19.53/11.79	o 568 
19.76/11.91	o 567 
19.87/12.03	o 566 
19.97/12.13	o 565 
20.07/12.25	o 564 
20.17/12.37	o 563 
20.27/12.49	o 562 
20.37/12.59	o 561 
20.50/12.70	o 560 
20.74/12.80	o 559 
20.84/12.92	o 558 
20.95/13.02	o 557 
21.06/13.14	o 556 
21.15/13.26	o 555 
21.25/13.38	o 554 
21.35/13.48	o 553 
21.45/13.58	o 552 
21.55/13.68	o 551 
21.65/13.78	o 550 
21.85/13.90	o 549 
21.96/14.02	o 548 
22.09/14.12	o 547 
22.18/14.24	o 546 
22.29/14.36	o 545 
22.39/14.46	o 544 
22.51/14.58	o 543 
22.61/14.69	o 542 
22.81/14.81	o 541 
22.91/14.91	o 540 
23.02/15.03	o 539 
23.12/15.13	o 538 
23.21/15.25	o 537 
23.31/15.37	o 536 
23.41/15.49	o 535 
23.61/15.60	o 534 
23.71/15.72	o 533 
23.81/15.84	o 532 
23.91/15.96	o 531 
24.02/16.08	o 530 
24.21/16.20	o 529 
24.31/16.30	o 528 
24.41/16.42	o 527 
24.51/16.52	o 526 
24.61/16.64	o 525 
24.72/16.76	o 524 
24.83/16.86	o 523 
24.93/16.96	o 522 
25.04/17.06	o 521 
25.14/17.18	o 520 
25.23/17.30	o 519 
25.33/17.39	o 518 
25.53/17.51	o 517 
25.63/17.63	o 516 
25.73/17.73	o 515 
25.83/17.85	o 514 
25.93/17.95	o 513 
26.04/18.07	o 512 
26.14/18.17	o 511 
26.23/18.27	o 510 
26.33/18.39	o 509 
26.53/18.51	o 508 
26.63/18.62	o 507 
26.73/18.74	o 506 
26.83/18.84	o 505 
26.93/18.96	o 504 
27.04/19.07	o 503 
27.14/19.19	o 502 
27.23/19.29	o 501 
27.43/19.41	o 500 
27.53/19.53	o 499 
27.64/19.63	o 498 
27.74/19.73	o 497 
27.84/19.85	o 496 
27.94/19.97	o 495 
28.05/20.09	o 494 
28.15/20.19	o 493 
28.24/20.29	o 492 
28.44/20.41	o 491 
28.54/20.53	o 490 
28.64/20.63	o 489 
28.74/20.73	o 488 
28.84/20.85	o 487 
28.94/20.97	o 486 
29.05/21.09	o 485 
29.15/21.19	o 484 
29.24/21.29	o 483 
29.34/21.39	o 482 
29.44/21.49	o 481 
29.54/21.59	o 480 
29.64/21.68	o 479 
29.75/21.78	o 478 
29.85/21.88	o 477 
29.95/21.98	o 476 
30.07/22.08	o 475 
30.18/22.18	o 474 
30.27/22.30	o 473 
30.37/22.39	o 472 
30.57/22.51	o 471 
30.67/22.61	o 470 
30.77/22.73	o 469 
30.87/22.84	o 468 
30.97/22.94	o 467 
31.08/23.04	o 466 
31.18/23.14	o 465 
31.27/23.26	o 464 
31.37/23.35	o 463 
31.47/23.45	o 462 
31.59/23.57	o 461 
31.69/23.69	o 460 
31.79/23.79	o 459 
31.90/23.89	o 458 
32.00/24.00	o 457 
32.22/24.12	o 456 
32.31/24.24	o 455 
32.41/24.36	o 454 
32.51/24.45	o 453 
32.61/24.57	o 452 
32.71/24.67	o 451 
32.81/24.79	o 450 
33.01/24.90	o 449 
33.01/25.00	o 448 
33.12/25.10	o 447 
33.31/25.22	o 446 
33.41/25.31	o 445 
33.51/25.43	o 444 
33.61/25.55	o 443 
33.71/25.64	o 442 
33.81/25.76	o 441 
33.91/25.88	o 440 
34.02/25.97	o 439 
34.13/26.09	o 438 
34.32/26.21	o 437 
34.42/26.30	o 436 
34.52/26.40	o 435 
34.62/26.52	o 434 
34.72/26.63	o 433 
34.82/26.75	o 432 
34.93/26.85	o 431 
35.03/26.97	o 430 
35.13/27.06	o 429 
35.24/27.18	o 428 
35.33/27.28	o 427 
35.43/27.39	o 426 
35.53/27.49	o 425 
35.73/27.61	o 424 
35.83/27.71	o 423 
35.93/27.82	o 422 
36.03/27.92	o 421 
36.14/28.04	o 420 
36.24/28.15	o 419 
36.33/28.27	o 418 
36.43/28.37	o 417 
36.53/28.47	o 416 
36.63/28.56	o 415 
36.73/28.68	o 414 
36.83/28.78	o 413 
36.93/28.88	o 412 
37.03/28.98	o 411 
37.14/29.07	o 410 
37.24/29.19	o 409 
37.33/29.29	o 408 
37.43/29.38	o 407 
37.63/29.50	o 406 
37.63/29.60	o 405 
37.83/29.71	o 404 
37.93/29.83	o 403 
38.03/29.93	o 402 
38.14/30.04	o 401 
38.24/30.14	o 400 
38.33/30.25	o 399 
38.43/30.35	o 398 
38.53/30.47	o 397 
38.63/30.56	o 396 
38.74/30.68	o 395 
38.84/30.78	o 394 
38.94/30.88	o 393 
39.04/30.99	o 392 
39.25/31.11	o 391 
39.34/31.23	o 390 
39.44/31.33	o 389 
39.54/31.44	o 388 
39.64/31.56	o 387 
39.74/31.66	o 386 
39.84/31.78	o 385 
39.94/31.88	o 384 
40.04/31.99	o 383 
40.15/32.09	o 382 
40.34/32.21	o 381 
40.47/32.33	o 380 
40.57/32.42	o 379 
40.68/32.54	o 378 
40.78/32.66	o 377 
40.88/32.78	o 376 
40.98/32.87	o 375 
41.08/32.97	o 374 
41.19/33.09	o 373 
41.29/33.19	o 372 
41.48/33.31	o 371 
41.58/33.42	o 370 
41.68/33.54	o 369 
41.78/33.64	o 368 
41.88/33.74	o 367 
41.98/33.86	o 366 
42.08/33.98	o 365 
42.19/34.09	o 364 
42.29/34.19	o 363 
42.48/34.31	o 362 
42.58/34.41	o 361 
42.68/34.51	o 360 
42.78/34.63	o 359 
42.88/34.74	o 358 
42.98/34.84	o 357 
43.08/34.96	o 356 
43.19/35.06	o 355 
43.29/35.18	o 354 
43.38/35.29	o 353 
43.48/35.39	o 352 
43.58/35.49	o 351 
43.79/35.61	o 350 
43.89/35.71	o 349 
43.99/35.81	o 348 
44.09/35.91	o 347 
44.26/36.01	o 346 
44.36/36.11	o 345 
44.45/36.23	o 344 
44.55/36.33	o 343 
44.65/36.44	o 342 
44.75/36.54	o 341 
44.85/36.66	o 340 
44.95/36.76	o 339 
45.05/36.86	o 338 
45.15/36.96	o 337 
45.26/37.07	o 336 
45.36/37.19	o 335 
45.45/37.29	o 334 
45.65/37.41	o 333 
45.75/37.53	o 332 
45.85/37.63	o 331 
45.95/37.75	o 330 
46.05/37.87	o 329 
46.15/37.98	o 328 
46.26/38.10	o 327 
46.45/38.21	o 326 
46.55/38.31	o 325 
46.65/38.42	o 324 
46.76/38.52	o 323 
46.86/38.63	o 322 
46.96/38.75	o 321 
47.06/38.87	o 320 
47.16/39.00	o 319 
47.37/39.11	o 318 
47.46/39.25	o 317 
47.56/39.38	o 316 
47.66/39.50	o 315 
47.86/39.63	o 314 
47.96/39.76	o 313 
48.09/39.88	o 312 
48.34/40.02	o 311 
48.44/40.16	o 310 
48.53/40.29	o 309 
48.73/40.41	o 308 
48.83/40.53	o 307 
48.93/40.67	o 306 
49.13/40.81	o 305 
49.23/40.94	o 304 
49.34/41.10	o 303 
49.53/41.24	o 302 
49.63/41.39	o 301 
49.84/41.55	o 300 
50.04/41.70	o 299 
50.14/41.89	o 298 
50.38/42.06	o 297 
50.58/42.25	o 296 
50.78/42.44	o 295 
50.98/42.63	o 294 
51.18/42.81	o 293 
51.28/42.99	o 292 
51.49/43.18	o 291 
51.69/43.37	o 290 
51.89/43.54	o 289 
52.09/43.72	o 288 
52.19/43.89	o 287 
52.39/44.06	o 286 
52.59/44.23	o 285 
52.69/44.39	o 284 
52.89/44.55	o 283 
53.09/44.74	o 282 
53.29/44.92	o 281 
53.39/45.10	o 280 
53.59/45.26	o 279 
53.79/45.43	o 278 
53.99/45.61	o 277 
54.09/45.79	o 276 
54.29/45.96	o 275 
54.50/46.15	o 274 
54.69/46.34	o 273 
54.89/46.53	o 272 
55.09/46.73	o 271 
55.29/46.91	o 270 
55.40/47.08	o 269 
55.91/47.34	o 268 
56.14/47.51	o 267 
56.25/47.69	o 266 
56.47/47.87	o 265 
56.68/48.05	o 264 
56.78/48.16	o 263 
56.97/48.31	o 262 
57.07/48.48	o 261 
57.27/48.65	o 260 
57.47/48.82	o 259 
57.61/48.98	o 258 
57.87/49.12	o 257 
57.96/49.28	o 256 
58.18/49.42	o 255 
58.28/49.53	o 254 
58.38/49.68	o 253 
58.48/49.78	o 252 
58.58/49.88	o 251 
58.79/50.01	o 250 
58.89/50.16	o 249 
58.98/50.27	o 248 
59.18/50.42	o 247 
59.28/50.53	o 246 
59.48/50.72	o 245 
59.58/50.85	o 244 
59.79/51.02	o 243 
59.98/51.20	o 242 
60.11/51.36	o 241 
60.31/51.51	o 240 
60.41/51.68	o 239 
60.51/51.79	o 238 
60.75/51.91	o 237 
61.27/52.19	o 221 
61.58/52.33	o 218 
66.81/54.83	o 216 
67.34/55.36	o 214 
68.38/56.24	o 211 
68.68/56.55	o 210 
68.88/56.70	o 209 
73.83/61.37	o 208 
75.45/62.91	o 207 
94.36/81.26	o 206 
109.47/96.10	o 205 
110.61/97.11	o 204 
148.57/134.27	o 203 
149.70/135.39	o 202 
160.46/145.99	o 201 
169.51/154.89	o 200 
193.02/177.89	o 199 
292.39/275.06	o 198 
325.18/306.89	o 197 
361.32/342.44	o 196 
374.61/355.50	o 195 
383.96/364.78	o 194 
393.42/374.03	o 193 
673.14/647.14	o 192 
989.09/956.46	o 191 
2520.02/2450.80	s SATISFIABLE
2520.02/2450.80	v <instantiation>
2520.02/2450.80	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.02/2450.80	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.02/2450.80	v </instantiation>
2520.02/2450.80	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 (15053 MiB free)
  memory of node 1: 16384 MiB (15483 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283462-1503209477/watcher-4283462-1503209477 -o /tmp/evaluation-result-4283462-1503209477/solver-4283462-1503209477 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2271 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 50527150 HOME/instance-4283462-1503209477.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=9184, runsolver pid=9181

[startup+0.100107 s]*
/proc/loadavg: 1.93 1.79 1.78 3/205 9194
/proc/meminfo: memFree=31260728/32770624 swapFree=67108860/67108860
[pid=9184] ppid=9181 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9184/stat : 9184 (xcsp3-exec) S 9181 9184 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19354740 9740288 345 18446744073709551615 4194304 5098028 140732896876080 140732896874184 139793470726780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16904192 140732896878971 140732896879174 140732896879174 140732896882667 0
/proc/9184/statm: 2378 345 289 221 0 87 0
[pid=9186] ppid=9184 vsize=13906276 memory=18860 CPUtime=0.04 cores=1,3,5,7
/proc/9186/stat : 9186 (java) S 9184 9184 18108 0 -1 1077944320 4099 0 0 0 4 0 0 0 20 0 13 0 19354745 14240026624 4714 18446744073709551615 4194304 4196468 140728177830432 140728177812976 139980748295927 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
/proc/9186/statm: 3460185 4714 2153 1 0 3449682 0
[pid=9186/tid=9187] ppid=9184 vsize=13840740 memory=8323069512539357860 CPUtime=0.03 cores=1,3,5,7
/proc/9186/task/9187/stat : 9187 (java) R 9184 9184 18108 0 -1 4202560 2772 0 0 0 3 0 0 0 20 0 13 0 19354746 14172917760 4911 18446744073709551615 4194304 4196468 140728177830432 139980752531736 139980733463516 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9188] ppid=9184 vsize=13840740 memory=3461490779112588937 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9188/stat : 9188 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 19354746 14172917760 4911 18446744073709551615 4194304 4196468 140728177830432 139980705262480 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9189] ppid=9184 vsize=13840740 memory=140174482904704 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9189/stat : 9189 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 19354746 14172917760 4911 18446744073709551615 4194304 4196468 140728177830432 139980704209680 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9190] ppid=9184 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9190/stat : 9190 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 19354746 14172917760 4911 18446744073709551615 4194304 4196468 140728177830432 139980703157392 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9191] ppid=9184 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9191/stat : 9191 (java) S 9184 9184 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 19354746 14172917760 4977 18446744073709551615 4194304 4196468 140728177830432 139980345371664 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9192] ppid=9184 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9192/stat : 9192 (java) S 9184 9184 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 19354748 14172917760 4977 18446744073709551615 4194304 4196468 140728177830432 139979731998832 139980748307074 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9193] ppid=9184 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9193/stat : 9193 (java) S 9184 9184 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 19354748 14172917760 4977 18446744073709551615 4194304 4196468 140728177830432 139979730944800 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9194] ppid=9184 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9194/stat : 9194 (java) S 9184 9184 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 19354748 14172917760 4977 18446744073709551615 4194304 4196468 140728177830432 139979729892464 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9195] ppid=9184 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9195/stat : 9195 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 19354751 14172917760 4977 18446744073709551615 4194304 4196468 140728177830432 139979728840784 139980748314523 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9196] ppid=9184 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9196/stat : 9196 (java) R 9184 9184 18108 0 -1 4202560 267 0 0 0 0 0 0 0 20 0 13 0 19354751 14172917760 4977 18446744073709551615 4194304 4196468 140728177830432 139979727775608 139980732685521 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9197] ppid=9184 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9197/stat : 9197 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 19354751 14172917760 4977 18446744073709551615 4194304 4196468 140728177830432 139979726735552 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9198] ppid=9184 vsize=13840740 memory=140174482904704 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9198/stat : 9198 (java) S 9184 9184 18108 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 13 0 19354751 14172917760 4977 18446744073709551615 4194304 4196468 140728177830432 139979725683568 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13915788 KiB
Current children cumulated memory: 20240 KiB

[startup+0.210054 s]*
/proc/loadavg: 1.93 1.79 1.78 5/211 9200
/proc/meminfo: memFree=31251228/32770624 swapFree=67108860/67108860
[pid=9184] ppid=9181 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9184/stat : 9184 (xcsp3-exec) S 9181 9184 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19354740 9740288 345 18446744073709551615 4194304 5098028 140732896876080 140732896874184 139793470726780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16904192 140732896878971 140732896879174 140732896879174 140732896882667 0
/proc/9184/statm: 2378 345 289 221 0 87 0
[pid=9186] ppid=9184 vsize=13974352 memory=30644 CPUtime=0.18 cores=1,3,5,7
/proc/9186/stat : 9186 (java) S 9184 9184 18108 0 -1 1077944320 6103 0 0 0 17 1 0 0 20 0 15 0 19354745 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 140728177812976 139980748295927 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
/proc/9186/statm: 3493588 7661 2953 1 0 3482964 0
[pid=9186/tid=9187] ppid=9184 vsize=13974352 memory=8323069512539357860 CPUtime=0.12 cores=1,3,5,7
/proc/9186/task/9187/stat : 9187 (java) R 9184 9184 18108 0 -1 4202560 3469 0 0 0 11 1 0 0 20 0 15 0 19354746 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139980752526512 139980734427488 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9188] ppid=9184 vsize=13974352 memory=3461490779112588937 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9188/stat : 9188 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354746 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139980705262480 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9189] ppid=9184 vsize=13974352 memory=140174482904704 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9189/stat : 9189 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354746 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139980704209680 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9190] ppid=9184 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9190/stat : 9190 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354746 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139980703157392 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9191] ppid=9184 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9191/stat : 9191 (java) S 9184 9184 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19354746 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139980345371664 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9192] ppid=9184 vsize=13974352 memory=140174482904704 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9192/stat : 9192 (java) S 9184 9184 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19354748 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139979731998832 139980748307074 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9193] ppid=9184 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9193/stat : 9193 (java) S 9184 9184 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19354748 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139979730944800 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9194] ppid=9184 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9194/stat : 9194 (java) S 9184 9184 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19354748 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139979729892464 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9195] ppid=9184 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9195/stat : 9195 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139979728840784 139980748314523 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9196] ppid=9184 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9186/task/9196/stat : 9196 (java) S 9184 9184 18108 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 15 0 19354751 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139979727788656 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9197] ppid=9184 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9197/stat : 9197 (java) S 9184 9184 18108 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 19354751 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139979726735856 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9198] ppid=9184 vsize=13974352 memory=140174482904704 CPUtime=0.04 cores=1,3,5,7
/proc/9186/task/9198/stat : 9198 (java) R 9184 9184 18108 0 -1 4202560 692 0 0 0 4 0 0 0 20 0 15 0 19354751 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139979725683664 139980732376414 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9199] ppid=9184 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9199/stat : 9199 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139979724631008 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9200] ppid=9184 vsize=13974352 memory=140174482904704 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9200/stat : 9200 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354754 14309736448 7661 18446744073709551615 4194304 4196468 140728177830432 139979723577776 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32024 KiB

[startup+0.313883 s]*
/proc/loadavg: 1.93 1.79 1.78 3/211 9200
/proc/meminfo: memFree=31241360/32770624 swapFree=67108860/67108860
[pid=9184] ppid=9181 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9184/stat : 9184 (xcsp3-exec) S 9181 9184 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19354740 9740288 345 18446744073709551615 4194304 5098028 140732896876080 140732896874184 139793470726780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16904192 140732896878971 140732896879174 140732896879174 140732896882667 0
/proc/9184/statm: 2378 345 289 221 0 87 0
[pid=9186] ppid=9184 vsize=13978608 memory=40172 CPUtime=0.36 cores=1,3,5,7
/proc/9186/stat : 9186 (java) S 9184 9184 18108 0 -1 1077944320 9262 0 0 0 33 3 0 0 20 0 15 0 19354745 14314094592 10043 18446744073709551615 4194304 4196468 140728177830432 140728177812976 139980748295927 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
/proc/9186/statm: 3494652 10043 3012 1 0 3482964 0
[pid=9186/tid=9187] ppid=9184 vsize=13978608 memory=140174377977327 CPUtime=0.22 cores=1,3,5,7
/proc/9186/task/9187/stat : 9187 (java) R 9184 9184 18108 0 -1 4202560 6465 0 0 0 20 2 0 0 20 0 15 0 19354746 14314094592 10049 18446744073709551615 4194304 4196468 140728177830432 139980752512112 139980384022835 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9188] ppid=9184 vsize=13978608 memory=3545187478068094803 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9188/stat : 9188 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354746 14314094592 10049 18446744073709551615 4194304 4196468 140728177830432 139980705262480 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9189] ppid=9184 vsize=13978608 memory=140174482907021 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9189/stat : 9189 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354746 14314094592 10049 18446744073709551615 4194304 4196468 140728177830432 139980704209680 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9190] ppid=9184 vsize=13978608 memory=140174377984336 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9190/stat : 9190 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354746 14314094592 10049 18446744073709551615 4194304 4196468 140728177830432 139980703157392 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9191] ppid=9184 vsize=13978608 memory=140174377920879 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9191/stat : 9191 (java) S 9184 9184 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19354746 14314094592 10049 18446744073709551615 4194304 4196468 140728177830432 139980345371664 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9192] ppid=9184 vsize=13978608 memory=140174482912313 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9192/stat : 9192 (java) S 9184 9184 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19354748 14314094592 10049 18446744073709551615 4194304 4196468 140728177830432 139979731998832 139980748307074 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9193] ppid=9184 vsize=13978608 memory=140174377995727 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9193/stat : 9193 (java) S 9184 9184 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19354748 14314094592 10049 18446744073709551615 4194304 4196468 140728177830432 139979730944800 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9194] ppid=9184 vsize=13978608 memory=140174378000198 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9194/stat : 9194 (java) S 9184 9184 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19354748 14314094592 10049 18446744073709551615 4194304 4196468 140728177830432 139979729892464 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9195] ppid=9184 vsize=13978608 memory=280348756002960 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9195/stat : 9195 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14314094592 10049 18446744073709551615 4194304 4196468 140728177830432 139979728840784 139980748314523 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9196] ppid=9184 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9186/task/9196/stat : 9196 (java) S 9184 9184 18108 0 -1 1077944384 525 0 0 0 3 0 0 0 20 0 15 0 19354751 14314094592 10049 18446744073709551615 4194304 4196468 140728177830432 139979727788656 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9197] ppid=9184 vsize=13978608 memory=2208 CPUtime=0.01 cores=1,3,5,7
/proc/9186/task/9197/stat : 9197 (java) S 9184 9184 18108 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 15 0 19354751 14314094592 10049 18446744073709551615 4194304 4196468 140728177830432 139979726735856 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9198] ppid=9184 vsize=13978608 memory=140174482904704 CPUtime=0.08 cores=1,3,5,7
/proc/9186/task/9198/stat : 9198 (java) S 9184 9184 18108 0 -1 1077944384 735 0 0 0 8 0 0 0 20 0 15 0 19354751 14314094592 10561 18446744073709551615 4194304 4196468 140728177830432 139979725683568 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9199] ppid=9184 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9199/stat : 9199 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14314094592 10561 18446744073709551615 4194304 4196468 140728177830432 139979724631008 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9200] ppid=9184 vsize=13978608 memory=140174482904704 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9200/stat : 9200 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354754 14314094592 10561 18446744073709551615 4194304 4196468 140728177830432 139979723577776 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41552 KiB

[startup+0.702073 s]
/proc/loadavg: 1.93 1.79 1.78 4/211 9200
/proc/meminfo: memFree=31228208/32770624 swapFree=67108860/67108860
[pid=9184] ppid=9181 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9184/stat : 9184 (xcsp3-exec) S 9181 9184 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19354740 9740288 345 18446744073709551615 4194304 5098028 140732896876080 140732896874184 139793470726780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16904192 140732896878971 140732896879174 140732896879174 140732896882667 0
/proc/9184/statm: 2378 345 289 221 0 87 0
[pid=9186] ppid=9184 vsize=13980732 memory=71800 CPUtime=1.3 cores=1,3,5,7
/proc/9186/stat : 9186 (java) S 9184 9184 18108 0 -1 1077944320 14686 0 0 0 125 5 0 0 20 0 15 0 19354745 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 140728177812976 139980748295927 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
/proc/9186/statm: 3495183 17950 3173 1 0 3483476 0
[pid=9186/tid=9187] ppid=9184 vsize=13980732 memory=5408 CPUtime=0.59 cores=1,3,5,7
/proc/9186/task/9187/stat : 9187 (java) R 9184 9184 18108 0 -1 4202560 9380 0 0 0 56 3 0 0 20 0 15 0 19354746 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139980752534816 139980748317853 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9188] ppid=9184 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9188/stat : 9188 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354746 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139980705262480 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9189] ppid=9184 vsize=13980732 memory=6788 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9189/stat : 9189 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354746 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139980704209680 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9190] ppid=9184 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9190/stat : 9190 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354746 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139980703157392 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9191] ppid=9184 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9191/stat : 9191 (java) S 9184 9184 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19354746 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139980345371664 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9192] ppid=9184 vsize=13980732 memory=1 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9192/stat : 9192 (java) S 9184 9184 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19354748 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139979731998832 139980748307074 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9193] ppid=9184 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9193/stat : 9193 (java) S 9184 9184 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19354748 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139979730944800 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9194] ppid=9184 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9194/stat : 9194 (java) S 9184 9184 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19354748 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139979729892464 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9195] ppid=9184 vsize=13980732 memory=4 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9195/stat : 9195 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139979728840784 139980748314523 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9196] ppid=9184 vsize=13980732 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/9186/task/9196/stat : 9196 (java) R 9184 9184 18108 0 -1 4202560 1189 0 0 0 17 0 0 0 20 0 15 0 19354751 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139979727775328 139980748307862 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9197] ppid=9184 vsize=13980732 memory=4 CPUtime=0.16 cores=1,3,5,7
/proc/9186/task/9197/stat : 9197 (java) R 9184 9184 18108 0 -1 4202560 995 0 0 0 16 0 0 0 20 0 15 0 19354751 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139979726722400 139980728132268 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9198] ppid=9184 vsize=13980732 memory=3472328296227679313 CPUtime=0.35 cores=1,3,5,7
/proc/9186/task/9198/stat : 9198 (java) R 9184 9184 18108 0 -1 1077944384 1815 0 0 0 35 0 0 0 20 0 15 0 19354751 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139979725683696 139980748306133 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9199] ppid=9184 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9199/stat : 9199 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139979724631008 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9200] ppid=9184 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9200/stat : 9200 (java) S 9184 9184 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19354754 14316269568 17950 18446744073709551615 4194304 4196468 140728177830432 139979723577776 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 73180 KiB

[startup+1.50085 s]
/proc/loadavg: 1.93 1.79 1.78 5/211 9200
/proc/meminfo: memFree=31176304/32770624 swapFree=67108860/67108860
[pid=9184] ppid=9181 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9184/stat : 9184 (xcsp3-exec) S 9181 9184 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19354740 9740288 345 18446744073709551615 4194304 5098028 140732896876080 140732896874184 139793470726780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16904192 140732896878971 140732896879174 140732896879174 140732896882667 0
/proc/9184/statm: 2378 345 289 221 0 87 0
[pid=9186] ppid=9184 vsize=13980732 memory=134272 CPUtime=3.85 cores=1,3,5,7
/proc/9186/stat : 9186 (java) S 9184 9184 18108 0 -1 1077944320 44175 0 0 0 376 9 0 0 20 0 15 0 19354745 14316269568 33568 18446744073709551615 4194304 4196468 140728177830432 140728177812976 139980748295927 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
/proc/9186/statm: 3495183 33568 3184 1 0 3483476 0
[pid=9186/tid=9187] ppid=9184 vsize=13980732 memory=96424 CPUtime=1.39 cores=1,3,5,7

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

/proc/9186/task/9194/stat : 9194 (java) S 9184 9184 18108 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 19354748 14316269568 78440 18446744073709551615 4194304 4196468 140728177830432 139979729892480 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9195] ppid=9184 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9195/stat : 9195 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14316269568 78440 18446744073709551615 4194304 4196468 140728177830432 139979728840784 139980748314523 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9196] ppid=9184 vsize=13980732 memory=1380 CPUtime=6.86 cores=1,3,5,7
/proc/9186/task/9196/stat : 9196 (java) S 9184 9184 18108 0 -1 1077944384 40609 0 0 0 682 4 0 0 20 0 15 0 19354751 14316269568 78440 18446744073709551615 4194304 4196468 140728177830432 139979727788656 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9197] ppid=9184 vsize=13980732 memory=1380 CPUtime=6.54 cores=1,3,5,7
/proc/9186/task/9197/stat : 9197 (java) S 9184 9184 18108 0 -1 1077944384 35448 0 0 0 649 5 0 0 20 0 15 0 19354751 14316269568 78440 18446744073709551615 4194304 4196468 140728177830432 139979726735856 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9198] ppid=9184 vsize=13980732 memory=315060 CPUtime=0.94 cores=1,3,5,7
/proc/9186/task/9198/stat : 9198 (java) S 9184 9184 18108 0 -1 1077944384 16186 0 0 0 92 2 0 0 20 0 15 0 19354751 14316269568 78440 18446744073709551615 4194304 4196468 140728177830432 139979725683568 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9199] ppid=9184 vsize=13980732 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9199/stat : 9199 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14316269568 78440 18446744073709551615 4194304 4196468 140728177830432 139979724631008 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9200] ppid=9184 vsize=13980732 memory=1380 CPUtime=1.12 cores=1,3,5,7
/proc/9186/task/9200/stat : 9200 (java) S 9184 9184 18108 0 -1 1077944384 1563 0 0 0 52 60 0 0 20 0 15 0 19354754 14316269568 78440 18446744073709551615 4194304 4196468 140728177830432 139979723577776 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
Current children cumulated CPU time: 2388.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 315140 KiB

[startup+2382.3 s]
/proc/loadavg: 1.60 1.51 1.51 3/211 9445
/proc/meminfo: memFree=29956792/32770624 swapFree=67108860/67108860
[pid=9184] ppid=9181 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9184/stat : 9184 (xcsp3-exec) S 9181 9184 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19354740 9740288 345 18446744073709551615 4194304 5098028 140732896876080 140732896874184 139793470726780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16904192 140732896878971 140732896879174 140732896879174 140732896882667 0
/proc/9184/statm: 2378 345 289 221 0 87 0
[pid=9186] ppid=9184 vsize=13980732 memory=328812 CPUtime=2449.73 cores=1,3,5,7
/proc/9186/stat : 9186 (java) S 9184 9184 18108 0 -1 1077944320 224222 0 0 0 244780 193 0 0 20 0 15 0 19354745 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 140728177812976 139980748295927 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
/proc/9186/statm: 3495183 82203 3261 1 0 3483476 0
[pid=9186/tid=9187] ppid=9184 vsize=13980732 memory=329508 CPUtime=2360.73 cores=1,3,5,7
/proc/9186/task/9187/stat : 9187 (java) R 9184 9184 18108 0 -1 4202560 50509 0 0 0 236057 16 0 0 20 0 15 0 19354746 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139980752535376 139980391963062 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9188] ppid=9184 vsize=13980732 memory=328240 CPUtime=17.83 cores=1,3,5,7
/proc/9186/task/9188/stat : 9188 (java) S 9184 9184 18108 0 -1 1077944384 9249 0 0 0 1758 25 0 0 20 0 15 0 19354746 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139980705262480 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9189] ppid=9184 vsize=13980732 memory=315820 CPUtime=17.81 cores=1,3,5,7
/proc/9186/task/9189/stat : 9189 (java) S 9184 9184 18108 0 -1 1077944384 10070 0 0 0 1755 26 0 0 20 0 15 0 19354746 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139980704209680 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9190] ppid=9184 vsize=13980732 memory=314280 CPUtime=17.83 cores=1,3,5,7
/proc/9186/task/9190/stat : 9190 (java) S 9184 9184 18108 0 -1 1077944384 11404 0 0 0 1758 25 0 0 20 0 15 0 19354746 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139980703157392 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9191] ppid=9184 vsize=13980732 memory=322604 CPUtime=17.85 cores=1,3,5,7
/proc/9186/task/9191/stat : 9191 (java) S 9184 9184 18108 0 -1 1077944384 11046 0 0 0 1760 25 0 0 20 0 15 0 19354746 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139980345371664 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9192] ppid=9184 vsize=13980732 memory=329836 CPUtime=2.09 cores=1,3,5,7
/proc/9186/task/9192/stat : 9192 (java) S 9184 9184 18108 0 -1 1077944384 36780 0 0 0 189 20 0 0 20 0 15 0 19354748 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139979731998832 139980748307074 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9193] ppid=9184 vsize=13980732 memory=329836 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9193/stat : 9193 (java) S 9184 9184 18108 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 19354748 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139979730944864 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9194] ppid=9184 vsize=13980732 memory=244952 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9194/stat : 9194 (java) S 9184 9184 18108 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 19354748 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139979729892480 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9195] ppid=9184 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9195/stat : 9195 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139979728840784 139980748314523 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9196] ppid=9184 vsize=13980732 memory=4128 CPUtime=6.86 cores=1,3,5,7
/proc/9186/task/9196/stat : 9196 (java) S 9184 9184 18108 0 -1 1077944384 40609 0 0 0 682 4 0 0 20 0 15 0 19354751 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139979727788656 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9197] ppid=9184 vsize=13980732 memory=1380 CPUtime=6.54 cores=1,3,5,7
/proc/9186/task/9197/stat : 9197 (java) S 9184 9184 18108 0 -1 1077944384 35448 0 0 0 649 5 0 0 20 0 15 0 19354751 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139979726735856 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9198] ppid=9184 vsize=13980732 memory=329324 CPUtime=0.94 cores=1,3,5,7
/proc/9186/task/9198/stat : 9198 (java) S 9184 9184 18108 0 -1 1077944384 16186 0 0 0 92 2 0 0 20 0 15 0 19354751 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139979725683568 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9199] ppid=9184 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9199/stat : 9199 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139979724631008 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9200] ppid=9184 vsize=13980732 memory=2796 CPUtime=1.15 cores=1,3,5,7
/proc/9186/task/9200/stat : 9200 (java) S 9184 9184 18108 0 -1 1077944384 1576 0 0 0 53 62 0 0 20 0 15 0 19354754 14316269568 82203 18446744073709551615 4194304 4196468 140728177830432 139979723577776 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
Current children cumulated CPU time: 2449.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 330192 KiB

[startup+2442.3 s]
/proc/loadavg: 1.69 1.55 1.52 3/211 9447
/proc/meminfo: memFree=29917184/32770624 swapFree=67108860/67108860
[pid=9184] ppid=9181 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9184/stat : 9184 (xcsp3-exec) S 9181 9184 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19354740 9740288 345 18446744073709551615 4194304 5098028 140732896876080 140732896874184 139793470726780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16904192 140732896878971 140732896879174 140732896879174 140732896882667 0
/proc/9184/statm: 2378 345 289 221 0 87 0
[pid=9186] ppid=9184 vsize=13980732 memory=317344 CPUtime=2511.09 cores=1,3,5,7
/proc/9186/stat : 9186 (java) S 9184 9184 18108 0 -1 1077944320 227023 0 0 0 250909 200 0 0 20 0 15 0 19354745 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 140728177812976 139980748295927 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
/proc/9186/statm: 3495183 79336 3261 1 0 3483476 0
[pid=9186/tid=9187] ppid=9184 vsize=13980732 memory=318384 CPUtime=2420.19 cores=1,3,5,7
/proc/9186/task/9187/stat : 9187 (java) R 9184 9184 18108 0 -1 4202560 51705 0 0 0 242003 16 0 0 20 0 15 0 19354746 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139980752535376 139980390273513 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9188] ppid=9184 vsize=13980732 memory=308624 CPUtime=18.28 cores=1,3,5,7
/proc/9186/task/9188/stat : 9188 (java) S 9184 9184 18108 0 -1 1077944384 9406 0 0 0 1802 26 0 0 20 0 15 0 19354746 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139980705262480 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9189] ppid=9184 vsize=13980732 memory=306060 CPUtime=18.27 cores=1,3,5,7
/proc/9186/task/9189/stat : 9189 (java) S 9184 9184 18108 0 -1 1077944384 10260 0 0 0 1799 28 0 0 20 0 15 0 19354746 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139980704209680 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9190] ppid=9184 vsize=13980732 memory=319812 CPUtime=18.28 cores=1,3,5,7
/proc/9186/task/9190/stat : 9190 (java) S 9184 9184 18108 0 -1 1077944384 11598 0 0 0 1802 26 0 0 20 0 15 0 19354746 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139980703157392 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9191] ppid=9184 vsize=13980732 memory=317856 CPUtime=18.3 cores=1,3,5,7
/proc/9186/task/9191/stat : 9191 (java) S 9184 9184 18108 0 -1 1077944384 11193 0 0 0 1804 26 0 0 20 0 15 0 19354746 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139980345371664 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9192] ppid=9184 vsize=13980732 memory=317856 CPUtime=2.14 cores=1,3,5,7
/proc/9186/task/9192/stat : 9192 (java) S 9184 9184 18108 0 -1 1077944384 37363 0 0 0 193 21 0 0 20 0 15 0 19354748 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139979731998832 139980748307074 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9193] ppid=9184 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9193/stat : 9193 (java) S 9184 9184 18108 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 19354748 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139979730944864 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9194] ppid=9184 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9194/stat : 9194 (java) S 9184 9184 18108 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 19354748 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139979729892480 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9195] ppid=9184 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9195/stat : 9195 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139979728840784 139980748314523 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9196] ppid=9184 vsize=13980732 memory=4128 CPUtime=6.88 cores=1,3,5,7
/proc/9186/task/9196/stat : 9196 (java) S 9184 9184 18108 0 -1 1077944384 40752 0 0 0 684 4 0 0 20 0 15 0 19354751 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139979727788656 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9197] ppid=9184 vsize=13980732 memory=4128 CPUtime=6.54 cores=1,3,5,7
/proc/9186/task/9197/stat : 9197 (java) S 9184 9184 18108 0 -1 1077944384 35450 0 0 0 649 5 0 0 20 0 15 0 19354751 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139979726735856 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9198] ppid=9184 vsize=13980732 memory=1380 CPUtime=0.94 cores=1,3,5,7
/proc/9186/task/9198/stat : 9198 (java) S 9184 9184 18108 0 -1 1077944384 16354 0 0 0 92 2 0 0 20 0 15 0 19354751 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139979725683568 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9199] ppid=9184 vsize=13980732 memory=317856 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9199/stat : 9199 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139979724631008 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9200] ppid=9184 vsize=13980732 memory=2244 CPUtime=1.19 cores=1,3,5,7
/proc/9186/task/9200/stat : 9200 (java) S 9184 9184 18108 0 -1 1077944384 1597 0 0 0 55 64 0 0 20 0 15 0 19354754 14316269568 79336 18446744073709551615 4194304 4196468 140728177830432 139979723577776 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
Current children cumulated CPU time: 2511.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 318724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2450.8 s]
/proc/loadavg: 1.71 1.56 1.52 7/211 9447
/proc/meminfo: memFree=29920784/32770624 swapFree=67108860/67108860
[pid=9184] ppid=9181 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9184/stat : 9184 (xcsp3-exec) S 9181 9184 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19354740 9740288 345 18446744073709551615 4194304 5098028 140732896876080 140732896874184 139793470726780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 16904192 140732896878971 140732896879174 140732896879174 140732896882667 0
/proc/9184/statm: 2378 345 289 221 0 87 0
[pid=9186] ppid=9184 vsize=13980732 memory=313244 CPUtime=2520.02 cores=1,3,5,7
/proc/9186/stat : 9186 (java) S 9184 9184 18108 0 -1 1077944320 227313 0 0 0 251802 200 0 0 20 0 15 0 19354745 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 140728177812976 139980748295927 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
/proc/9186/statm: 3495183 78311 3261 1 0 3483476 0
[pid=9186/tid=9187] ppid=9184 vsize=13980732 memory=7680170660397595203 CPUtime=2428.52 cores=1,3,5,7
/proc/9186/task/9187/stat : 9187 (java) R 9184 9184 18108 0 -1 4202560 51713 0 0 0 242836 16 0 0 20 0 15 0 19354746 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139980752535264 139980390273513 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9188] ppid=9184 vsize=13980732 memory=288230604624101684 CPUtime=18.43 cores=1,3,5,7
/proc/9186/task/9188/stat : 9188 (java) S 9184 9184 18108 0 -1 1077944384 9411 0 0 0 1817 26 0 0 20 0 15 0 19354746 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139980705262480 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9189] ppid=9184 vsize=13980732 memory=13855153002382685 CPUtime=18.41 cores=1,3,5,7
/proc/9186/task/9189/stat : 9189 (java) S 9184 9184 18108 0 -1 1077944384 10267 0 0 0 1813 28 0 0 20 0 15 0 19354746 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139980704209680 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9190] ppid=9184 vsize=13980732 memory=302022878482923828 CPUtime=18.42 cores=1,3,5,7
/proc/9186/task/9190/stat : 9190 (java) S 9184 9184 18108 0 -1 1077944384 11604 0 0 0 1816 26 0 0 20 0 15 0 19354746 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139980703157392 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9191] ppid=9184 vsize=13980732 memory=13855153002382685 CPUtime=18.45 cores=1,3,5,7
/proc/9186/task/9191/stat : 9191 (java) S 9184 9184 18108 0 -1 1077944384 11217 0 0 0 1819 26 0 0 20 0 15 0 19354746 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139980345371664 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9192] ppid=9184 vsize=13980732 memory=13855153002382685 CPUtime=2.16 cores=1,3,5,7
/proc/9186/task/9192/stat : 9192 (java) S 9184 9184 18108 0 -1 1077944384 37601 0 0 0 195 21 0 0 20 0 15 0 19354748 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139979731998832 139980748307074 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9193] ppid=9184 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9193/stat : 9193 (java) S 9184 9184 18108 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 19354748 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139979730944864 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9194] ppid=9184 vsize=13980732 memory=317344 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9194/stat : 9194 (java) S 9184 9184 18108 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 19354748 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139979729892480 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9195] ppid=9184 vsize=13980732 memory=13855153002382685 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9195/stat : 9195 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139979728840784 139980748314523 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9196] ppid=9184 vsize=13980732 memory=10936 CPUtime=6.88 cores=1,3,5,7
/proc/9186/task/9196/stat : 9196 (java) S 9184 9184 18108 0 -1 1077944384 40752 0 0 0 684 4 0 0 20 0 15 0 19354751 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139979727788656 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9197] ppid=9184 vsize=13980732 memory=1700 CPUtime=6.54 cores=1,3,5,7
/proc/9186/task/9197/stat : 9197 (java) S 9184 9184 18108 0 -1 1077944384 35450 0 0 0 649 5 0 0 20 0 15 0 19354751 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139979726735856 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9198] ppid=9184 vsize=13980732 memory=5408 CPUtime=0.94 cores=1,3,5,7
/proc/9186/task/9198/stat : 9198 (java) S 9184 9184 18108 0 -1 1077944384 16354 0 0 0 92 2 0 0 20 0 15 0 19354751 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139979725683568 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9199] ppid=9184 vsize=13980732 memory=8688 CPUtime=0 cores=1,3,5,7
/proc/9186/task/9199/stat : 9199 (java) S 9184 9184 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19354751 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139979724631008 139980748306133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
[pid=9186/tid=9200] ppid=9184 vsize=13980732 memory=7523107478184158290 CPUtime=1.19 cores=1,3,5,7
/proc/9186/task/9200/stat : 9200 (java) S 9184 9184 18108 0 -1 1077944384 1599 0 0 0 55 64 0 0 20 0 15 0 19354754 14316269568 78311 18446744073709551615 4194304 4196468 140728177830432 139979723577776 139980748307074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25772032 140728177836466 140728177836642 140728177836642 140728177840079 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 314624 KiB

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

[startup+2450.81 s]
# the end of solver process 9184 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000949 s, system=0.000949 s

[startup+2450.81 s]
# the end of solver process 9186 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.04 s, system=2.01311 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

Child status: 143
Real time (s): 2450.81
CPU time (s): 2520.05
CPU user time (s): 2518.04
CPU system time (s): 2.01311
CPU usage (%): 102.825
Max. virtual memory (cumulated for all children) (KiB): 13995052
Max. memory (cumulated for all children) (KiB): 508880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.04
system time used= 2.01311
maximum resident set size= 507500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227949
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99574
involuntary context switches= 4391


# summary of solver processes directly reported to runsolver:
#   pid: 9184,9186
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2518.04
#   total CPU system time (s): 2.01311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6215 second user time and 23.5315 second system time

The end

Launcher Data 

Begin job on node131 at 2017-08-20 07:57:37
IDJOB=4283462
IDBENCH=129200
IDSOLVER=2679
FILE ID=node131/4283462-1503209477
RUNJOBID= node131-1503171558-2271
PBS_JOBID= 
Free space on /tmp= 62024 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-4283462-1503209477/watcher-4283462-1503209477 -o /tmp/evaluation-result-4283462-1503209477/solver-4283462-1503209477 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2271 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 50527150 HOME/instance-4283462-1503209477.xml

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

MD5SUM BENCH= 2bf32ca1cbb3a17ab70e7ee7c2cd4ace
RANDOM SEED=50527150

node131.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.69
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.69
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.69
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.69
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:        31270116 kB
MemAvailable:   31675116 kB
Buffers:          204752 kB
Cached:           486964 kB
SwapCached:            0 kB
Active:           606032 kB
Inactive:         482480 kB
Active(anon):     397092 kB
Inactive(anon):    16748 kB
Active(file):     208940 kB
Inactive(file):   465732 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7804 kB
Writeback:             4 kB
AnonPages:        396792 kB
Mapped:            45944 kB
Shmem:             17060 kB
Slab:             117304 kB
SReclaimable:      92324 kB
SUnreclaim:        24980 kB
KernelStack:        3504 kB
PageTables:         5916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     974264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node131 at 2017-08-20 08:38:28