Trace number 4255232

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)199 257.89001 240.00999

General information on the benchmark

NameRcpsp/Rcpsp-m1-j120/
Rcpsp-j120-46-04.xml
MD5SUM2bf32ca1cbb3a17ab70e7ee7c2cd4ace
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark180
Best CPU time to get the best result obtained on this benchmark251.87601
Satisfiable
(Un)Satisfiability was proved
Number of variables122
Number of constraints261
Number of domains2
Minimum domain size1
Maximum domain size650
Distribution of domain sizes[{"size":1,"count":1},{"size":650,"count":121}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":2},{"degree":4,"count":3},{"degree":5,"count":29},{"degree":6,"count":41},{"degree":7,"count":32},{"degree":8,"count":12},{"degree":9,"count":3}]
Minimum constraint arity2
Maximum constraint arity71
Distribution of constraint arities[{"arity":2,"count":257},{"arity":51,"count":1},{"arity":54,"count":1},{"arity":65,"count":1},{"arity":71,"count":1}]
Number of extensional constraints0
Number of intensional constraints257
Distribution of constraint types[{"type":"intension","count":257},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255232-1501621194.xml"  -tl '264s' -p 1 -x 3
0.00/0.26	c [HOME/instance-4255232-1501621194.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.32	c simple solver
0.00/0.39	c parse instance...
0.00/0.69	c solve instance...
4.00/1.64	o 649 
4.93/1.93	o 648 
5.84/2.25	o 647 
6.73/2.51	o 646 
7.33/2.79	o 645 
8.23/3.02	o 644 
8.84/3.21	o 643 
9.46/3.43	o 642 
10.05/3.60	o 641 
10.35/3.75	o 640 
10.65/3.87	o 639 
10.96/3.99	o 638 
11.55/4.10	o 637 
11.85/4.24	o 636 
12.15/4.37	o 635 
12.76/4.50	o 634 
12.98/4.63	o 633 
13.09/4.73	o 632 
13.20/4.84	o 631 
13.31/4.96	o 630 
13.45/5.06	o 629 
13.63/5.16	o 628 
13.75/5.26	o 627 
13.86/5.38	o 626 
13.96/5.50	o 625 
14.19/5.62	o 624 
14.28/5.74	o 623 
14.39/5.86	o 622 
14.49/5.98	o 621 
14.69/6.10	o 620 
14.80/6.20	o 619 
14.90/6.30	o 618 
15.00/6.42	o 617 
15.10/6.52	o 616 
15.21/6.64	o 615 
15.31/6.76	o 614 
15.41/6.86	o 613 
15.51/6.98	o 612 
15.61/7.08	o 611 
15.75/7.18	o 610 
15.85/7.28	o 609 
15.96/7.40	o 608 
16.16/7.51	o 607 
16.26/7.61	o 606 
16.36/7.73	o 605 
16.47/7.85	o 604 
16.56/7.95	o 603 
16.66/8.07	o 602 
16.76/8.19	o 601 
16.96/8.31	o 600 
17.06/8.41	o 599 
17.16/8.51	o 598 
17.26/8.61	o 597 
17.36/8.73	o 596 
17.47/8.83	o 595 
17.57/8.95	o 594 
17.67/9.06	o 593 
17.77/9.18	o 592 
17.89/9.28	o 591 
18.10/9.40	o 590 
18.20/9.50	o 589 
18.32/9.62	o 588 
18.42/9.72	o 587 
18.52/9.84	o 586 
18.63/9.94	o 585 
18.73/10.04	o 584 
18.83/10.16	o 583 
18.93/10.28	o 582 
19.02/10.39	o 581 
19.12/10.49	o 580 
19.32/10.61	o 579 
19.42/10.73	o 578 
19.52/10.85	o 577 
19.63/10.95	o 576 
19.73/11.05	o 575 
19.86/11.17	o 574 
19.96/11.28	o 573 
20.16/11.40	o 572 
20.26/11.50	o 571 
20.36/11.62	o 570 
20.46/11.72	o 569 
20.56/11.84	o 568 
20.66/11.96	o 567 
20.77/12.08	o 566 
20.87/12.18	o 565 
20.98/12.29	o 564 
21.17/12.41	o 563 
21.27/12.53	o 562 
21.38/12.63	o 561 
21.56/12.73	o 560 
21.66/12.83	o 559 
21.76/12.95	o 558 
21.86/13.05	o 557 
21.97/13.17	o 556 
22.07/13.29	o 555 
22.27/13.40	o 554 
22.37/13.50	o 553 
22.47/13.60	o 552 
22.57/13.70	o 551 
22.67/13.80	o 550 
22.77/13.92	o 549 
22.87/14.03	o 548 
22.99/14.13	o 547 
23.09/14.25	o 546 
23.20/14.37	o 545 
23.30/14.47	o 544 
23.42/14.59	o 543 
23.52/14.69	o 542 
23.72/14.81	o 541 
23.83/14.90	o 540 
23.93/15.02	o 539 
24.03/15.12	o 538 
24.13/15.24	o 537 
24.23/15.36	o 536 
24.34/15.47	o 535 
24.44/15.59	o 534 
24.63/15.71	o 533 
24.73/15.83	o 532 
24.83/15.94	o 531 
24.93/16.06	o 530 
25.04/16.18	o 529 
25.14/16.28	o 528 
25.24/16.39	o 527 
25.34/16.49	o 526 
25.57/16.61	o 525 
25.67/16.73	o 524 
25.77/16.82	o 523 
25.87/16.92	o 522 
25.97/17.02	o 521 
26.07/17.14	o 520 
26.17/17.25	o 519 
26.27/17.35	o 518 
26.37/17.47	o 517 
26.47/17.58	o 516 
26.58/17.68	o 515 
26.77/17.80	o 514 
26.77/17.90	o 513 
26.97/18.01	o 512 
27.07/18.11	o 511 
27.17/18.21	o 510 
27.29/18.32	o 509 
27.39/18.44	o 508 
27.49/18.56	o 507 
27.59/18.67	o 506 
27.69/18.77	o 505 
27.79/18.89	o 504 
27.89/18.99	o 503 
28.09/19.11	o 502 
28.19/19.21	o 501 
28.29/19.33	o 500 
28.39/19.45	o 499 
28.49/19.55	o 498 
28.59/19.65	o 497 
28.69/19.76	o 496 
28.79/19.88	o 495 
28.99/20.00	o 494 
29.09/20.10	o 493 
29.19/20.20	o 492 
29.29/20.32	o 491 
29.39/20.43	o 490 
29.49/20.53	o 489 
29.59/20.63	o 488 
29.74/20.75	o 487 
29.84/20.86	o 486 
29.94/20.98	o 485 
30.04/21.08	o 484 
30.14/21.18	o 483 
30.24/21.28	o 482 
30.34/21.37	o 481 
30.44/21.47	o 480 
30.54/21.57	o 479 
30.65/21.67	o 478 
30.75/21.76	o 477 
30.85/21.86	o 476 
30.95/21.96	o 475 
31.06/22.05	o 474 
31.16/22.17	o 473 
31.25/22.27	o 472 
31.35/22.38	o 471 
31.45/22.48	o 470 
31.56/22.59	o 469 
31.76/22.71	o 468 
31.86/22.80	o 467 
31.96/22.90	o 466 
32.06/23.00	o 465 
32.17/23.11	o 464 
32.27/23.21	o 463 
32.36/23.31	o 462 
32.46/23.42	o 461 
32.56/23.54	o 460 
32.66/23.64	o 459 
32.77/23.73	o 458 
32.87/23.85	o 457 
32.97/23.96	o 456 
33.07/24.08	o 455 
33.17/24.19	o 454 
33.28/24.29	o 453 
33.48/24.41	o 452 
33.58/24.50	o 451 
33.68/24.62	o 450 
33.78/24.73	o 449 
33.88/24.83	o 448 
33.98/24.92	o 447 
34.08/25.04	o 446 
34.18/25.14	o 445 
34.28/25.25	o 444 
34.39/25.36	o 443 
34.49/25.46	o 442 
34.58/25.57	o 441 
34.68/25.69	o 440 
34.78/25.78	o 439 
34.98/25.90	o 438 
35.08/26.01	o 437 
35.18/26.11	o 436 
35.29/26.21	o 435 
35.39/26.32	o 434 
35.49/26.43	o 433 
35.59/26.55	o 432 
35.69/26.64	o 431 
35.79/26.76	o 430 
35.89/26.86	o 429 
35.99/26.97	o 428 
36.09/27.07	o 427 
36.19/27.18	o 426 
36.29/27.28	o 425 
36.39/27.39	o 424 
36.49/27.49	o 423 
36.70/27.60	o 422 
36.79/27.70	o 421 
36.89/27.81	o 420 
36.99/27.93	o 419 
37.09/28.04	o 418 
37.19/28.14	o 417 
37.30/28.24	o 416 
37.40/28.33	o 415 
37.50/28.45	o 414 
37.60/28.54	o 413 
37.70/28.64	o 412 
37.80/28.74	o 411 
37.90/28.83	o 410 
38.00/28.95	o 409 
38.10/29.04	o 408 
38.20/29.14	o 407 
38.30/29.25	o 406 
38.40/29.35	o 405 
38.50/29.46	o 404 
38.60/29.57	o 403 
38.70/29.67	o 402 
38.81/29.78	o 401 
38.91/29.88	o 400 
39.00/29.99	o 399 
39.10/30.09	o 398 
39.30/30.20	o 397 
39.40/30.30	o 396 
39.50/30.41	o 395 
39.61/30.51	o 394 
39.71/30.60	o 393 
39.81/30.72	o 392 
39.91/30.84	o 391 
40.02/30.95	o 390 
40.11/31.05	o 389 
40.21/31.16	o 388 
40.31/31.28	o 387 
40.41/31.37	o 386 
40.51/31.49	o 385 
40.61/31.59	o 384 
40.81/31.70	o 383 
40.91/31.80	o 382 
41.02/31.91	o 381 
41.15/32.03	o 380 
41.24/32.13	o 379 
41.34/32.24	o 378 
41.44/32.36	o 377 
41.54/32.47	o 376 
41.65/32.57	o 375 
41.75/32.67	o 374 
41.85/32.78	o 373 
41.95/32.88	o 372 
42.05/33.00	o 371 
42.26/33.11	o 370 
42.35/33.23	o 369 
42.45/33.32	o 368 
42.55/33.42	o 367 
42.65/33.54	o 366 
42.75/33.65	o 365 
42.85/33.77	o 364 
42.95/33.87	o 363 
43.05/33.98	o 362 
43.16/34.08	o 361 
43.26/34.18	o 360 
43.36/34.29	o 359 
43.56/34.41	o 358 
43.66/34.51	o 357 
43.76/34.62	o 356 
43.86/34.72	o 355 
43.96/34.83	o 354 
44.06/34.95	o 353 
44.16/35.05	o 352 
44.26/35.14	o 351 
44.37/35.26	o 350 
44.47/35.36	o 349 
44.56/35.46	o 348 
44.66/35.55	o 347 
44.80/35.65	o 346 
44.92/35.75	o 345 
45.02/35.87	o 344 
45.12/35.97	o 343 
45.22/36.08	o 342 
45.32/36.18	o 341 
45.42/36.29	o 340 
45.53/36.39	o 339 
45.63/36.49	o 338 
45.72/36.59	o 337 
45.92/36.70	o 336 
46.02/36.81	o 335 
46.12/36.91	o 334 
46.22/37.03	o 333 
46.32/37.15	o 332 
46.42/37.25	o 331 
46.52/37.36	o 330 
46.63/37.48	o 329 
46.82/37.60	o 328 
46.92/37.72	o 327 
47.02/37.82	o 326 
47.12/37.92	o 325 
47.22/38.02	o 324 
47.33/38.13	o 323 
47.43/38.23	o 322 
47.53/38.35	o 321 
47.63/38.47	o 320 
47.73/38.59	o 319 
47.93/38.71	o 318 
48.03/38.84	o 317 
48.13/38.97	o 316 
48.23/39.09	o 315 
48.43/39.22	o 314 
48.53/39.35	o 313 
48.68/39.46	o 312 
48.80/39.60	o 311 
49.00/39.74	o 310 
49.10/39.86	o 309 
49.20/39.98	o 308 
49.40/40.11	o 307 
49.50/40.24	o 306 
49.60/40.38	o 305 
49.80/40.51	o 304 
49.90/40.66	o 303 
50.01/40.80	o 302 
50.20/40.95	o 301 
50.40/41.10	o 300 
50.50/41.26	o 299 
50.71/41.44	o 298 
50.94/41.61	o 297 
51.04/41.79	o 296 
51.24/41.98	o 295 
51.44/42.17	o 294 
51.64/42.34	o 293 
51.84/42.52	o 292 
52.04/42.70	o 291 
52.15/42.89	o 290 
52.35/43.06	o 289 
52.55/43.23	o 288 
52.75/43.41	o 287 
52.85/43.57	o 286 
53.05/43.74	o 285 
53.25/43.90	o 284 
53.35/44.06	o 283 
53.55/44.24	o 282 
53.75/44.42	o 281 
53.85/44.59	o 280 
54.05/44.76	o 279 
54.25/44.92	o 278 
54.35/45.10	o 277 
54.55/45.28	o 276 
54.75/45.44	o 275 
54.95/45.63	o 274 
55.15/45.81	o 273 
55.35/46.00	o 272 
55.45/46.20	o 271 
55.66/46.38	o 270 
55.85/46.54	o 269 
56.44/46.80	o 268 
56.58/46.97	o 267 
56.78/47.15	o 266 
57.01/47.32	o 265 
57.11/47.49	o 264 
57.30/47.61	o 263 
57.41/47.75	o 262 
57.61/47.92	o 261 
57.71/48.08	o 260 
57.91/48.24	o 259 
58.15/48.41	o 258 
58.30/48.54	o 257 
58.51/48.70	o 256 
58.61/48.84	o 255 
58.71/48.94	o 254 
58.81/49.09	o 253 
58.91/49.19	o 252 
59.01/49.29	o 251 
59.22/49.42	o 250 
59.32/49.56	o 249 
59.43/49.67	o 248 
59.62/49.81	o 247 
59.72/49.93	o 246 
59.92/50.11	o 245 
60.02/50.24	o 244 
60.22/50.40	o 243 
60.32/50.58	o 242 
60.55/50.74	o 241 
60.65/50.89	o 240 
60.85/51.05	o 239 
60.95/51.16	o 238 
61.08/51.27	o 237 
61.66/51.55	o 221 
61.82/51.69	o 218 
67.30/54.24	o 216 
68.00/54.80	o 214 
69.04/55.72	o 211 
69.34/56.04	o 210 
69.45/56.18	o 209 
74.63/60.94	o 208 
76.25/62.50	o 207 
95.67/81.36	o 206 
111.18/96.53	o 205 
112.17/97.56	o 204 
151.24/135.61	o 203 
152.36/136.73	o 202 
163.34/147.55	o 201 
172.49/156.58	o 200 
196.52/180.04	o 199 
257.89/240.00	s SATISFIABLE
257.89/240.00	v <instantiation>
257.89/240.00	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] s[100] s[101] s[102] s[103] s[104] s[105] s[106] s[107] s[108] s[109] s[110] s[111] s[112] s[113] s[114] s[115] s[116] s[117] s[118] s[119] s[120] s[121] </list>
257.89/240.00	v 	<values>0 0 0 0 7 16 25 25 31 40 56 25 48 18 57 30 52 48 58 6 26 37 7 109 16 77 36 85 29 126 45 57 29 94 118 100 85 52 40 56 127 40 57 45 77 56 69 36 109 8 34 60 103 68 85 52 145 77 71 112 68 135 85 69 60 103 145 173 94 89 155 178 113 116 100 111 109 166 167 94 116 117 93 113 117 126 113 158 127 161 159 151 113 98 135 135 130 131 139 165 158 172 159 181 118 118 175 139 145 166 182 188 175 172 165 135 178 186 191 191 189 199 </values>
257.89/240.00	v </instantiation>
257.89/240.00	c Unexpected resolution interruption!

Verifier Data 

OK	199

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255232-1501621194/watcher-4255232-1501621194 -o /tmp/evaluation-result-4255232-1501621194/solver-4255232-1501621194 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 591930244 HOME/instance-4255232-1501621194.xml 

pid=15411
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.95 1.93 1.85 2/198 15414
/proc/meminfo: memFree=31820256/32770624 swapFree=0/170052
[pid=15414] ppid=15411 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (runsolver) D 15411 15414 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4029982 24240128 106 18446744073709551615 4194304 4338465 140725745400704 140725745398344 140033636156119 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 25604096 140725745406047 140725745406535 140725745406535 140725745409994 0
/proc/15414/statm: 5918 106 53 36 0 2156 0

[startup+0.100108 s]
/proc/loadavg: 1.95 1.93 1.85 2/198 15414
/proc/meminfo: memFree=31820256/32770624 swapFree=0/170052
[pid=15414] ppid=15411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4029982 9740288 344 18446744073709551615 4194304 5098028 140724761165008 140724761163112 140528624820860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9588736 140724761170333 140724761170536 140724761170536 140724761173995 0
/proc/15414/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.202452 s]
/proc/loadavg: 1.95 1.93 1.85 2/198 15414
/proc/meminfo: memFree=31820256/32770624 swapFree=0/170052
[pid=15414] ppid=15411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4029982 9740288 344 18446744073709551615 4194304 5098028 140724761165008 140724761163112 140528624820860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9588736 140724761170333 140724761170536 140724761170536 140724761173995 0
/proc/15414/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.301989 s]
/proc/loadavg: 1.95 1.93 1.85 2/198 15414
/proc/meminfo: memFree=31820256/32770624 swapFree=0/170052
[pid=15414] ppid=15411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4029982 9740288 344 18446744073709551615 4194304 5098028 140724761165008 140724761163112 140528624820860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9588736 140724761170333 140724761170536 140724761170536 140724761173995 0
/proc/15414/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700219 s]
/proc/loadavg: 1.95 1.93 1.85 2/198 15414
/proc/meminfo: memFree=31820256/32770624 swapFree=0/170052
[pid=15414] ppid=15411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4029982 9740288 344 18446744073709551615 4194304 5098028 140724761165008 140724761163112 140528624820860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9588736 140724761170333 140724761170536 140724761170536 140724761173995 0
/proc/15414/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50066 s]
/proc/loadavg: 1.95 1.93 1.85 5/214 15430
/proc/meminfo: memFree=31715036/32770624 swapFree=0/170056
[pid=15414] ppid=15411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4029982 9740288 344 18446744073709551615 4194304 5098028 140724761165008 140724761163112 140528624820860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9588736 140724761170333 140724761170536 140724761170536 140724761173995 0
/proc/15414/statm: 2378 344 289 221 0 87 0
[pid=15416] ppid=15414 vsize=13980732 CPUtime=3.7 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15414 3187 0 -1 1077944320 43409 0 0 0 362 8 0 0 20 0 15 0 4029989 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140736641390192 140064150937335 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
/proc/15416/statm: 3495183 32837 3176 1 0 3483484 0
[pid=15416/tid=15417] ppid=15414 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15414 3187 0 -1 4202560 9770 0 0 0 133 3 0 0 20 0 15 0 4029989 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140064155175472 140063796398848 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15418] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063751097488 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15419] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063750044688 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15420] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063748991888 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15421] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15414 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063747939088 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15422] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15414 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4029991 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063629494640 140064150948482 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15423] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063628440608 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15424] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063627387760 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15425] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029994 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063626336080 140064150955931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15426] ppid=15414 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) R 15414 15414 3187 0 -1 4202560 13374 0 0 0 90 1 0 0 20 0 15 0 4029994 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063625264528 140064134149035 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15427] ppid=15414 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) R 15414 15414 3187 0 -1 4202560 14838 0 0 0 89 1 0 0 20 0 15 0 4029994 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063624217008 140064132461693 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15428] ppid=15414 vsize=13980732 CPUtime=0.5 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 3187 0 -1 1077944384 4119 0 0 0 49 1 0 0 20 0 15 0 4029994 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063623178864 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15429] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029995 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063622126304 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15430] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4030000 14316269568 32837 18446744073709551615 4194304 4196468 140736641407648 140063621073584 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 13990244

[startup+3.10068 s]
/proc/loadavg: 1.95 1.93 1.85 5/214 15430
/proc/meminfo: memFree=31687524/32770624 swapFree=0/170064
[pid=15414] ppid=15411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4029982 9740288 344 18446744073709551615 4194304 5098028 140724761165008 140724761163112 140528624820860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9588736 140724761170333 140724761170536 140724761170536 140724761173995 0
/proc/15414/statm: 2378 344 289 221 0 87 0
[pid=15416] ppid=15414 vsize=13980732 CPUtime=8.54 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15414 3187 0 -1 1077944320 50095 0 0 0 845 9 0 0 20 0 15 0 4029989 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140736641390192 140064150937335 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
/proc/15416/statm: 3495183 37096 3191 1 0 3483484 0
[pid=15416/tid=15417] ppid=15414 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15414 3187 0 -1 4202560 10657 0 0 0 292 4 0 0 20 0 15 0 4029989 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140064155176232 140063796793243 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15418] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063751097488 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15419] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063750044688 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15420] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063748991888 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15421] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15414 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063747939088 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15422] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15414 3187 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 4029991 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063629494640 140064150948482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15423] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063628440608 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15424] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063627387760 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15425] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029994 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063626336080 140064150955931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15426] ppid=15414 vsize=13980732 CPUtime=2.5 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) R 15414 15414 3187 0 -1 4202560 16291 0 0 0 249 1 0 0 20 0 15 0 4029994 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063625271280 140064136044927 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15427] ppid=15414 vsize=13980732 CPUtime=2.5 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) R 15414 15414 3187 0 -1 4202560 17385 0 0 0 249 1 0 0 20 0 15 0 4029994 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063624212144 140064132481553 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15428] ppid=15414 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 3187 0 -1 1077944384 4403 0 0 0 53 1 0 0 20 0 15 0 4029994 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063623178864 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15429] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029995 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063622126304 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15430] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 3187 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 4030000 14316269568 37096 18446744073709551615 4194304 4196468 140736641407648 140063621073584 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
Current children cumulated CPU time (s) 8.54
Current children cumulated vsize (KiB) 13990244

[startup+6.3007 s]
/proc/loadavg: 2.04 1.95 1.85 3/214 15430
/proc/meminfo: memFree=31685372/32770624 swapFree=0/170068
[pid=15414] ppid=15411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4029982 9740288 344 18446744073709551615 4194304 5098028 140724761165008 140724761163112 140528624820860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9588736 140724761170333 140724761170536 140724761170536 140724761173995 0
/proc/15414/statm: 2378 344 289 221 0 87 0
[pid=15416] ppid=15414 vsize=13980732 CPUtime=14.9 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15414 3187 0 -1 1077944320 69316 0 0 0 1479 11 0 0 20 0 15 0 4029989 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140736641390192 140064150937335 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
/proc/15416/statm: 3495183 35679 3197 1 0 3483484 0
[pid=15416/tid=15417] ppid=15414 vsize=13980732 CPUtime=6.16 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15414 3187 0 -1 4202560 11646 0 0 0 612 4 0 0 20 0 15 0 4029989 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140064155172880 140063799388459 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15418] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063751097488 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15419] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063750044688 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15420] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063748991888 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15421] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15414 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063747939088 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15422] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15414 3187 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 4029991 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063629494640 140064150948482 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15423] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063628440608 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15424] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063627387760 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15425] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029994 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063626336080 140064150955931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15426] ppid=15414 vsize=13980732 CPUtime=4.07 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15414 3187 0 -1 1077944384 25250 0 0 0 405 2 0 0 20 0 15 0 4029994 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063625284464 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15427] ppid=15414 vsize=13980732 CPUtime=4.06 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15414 3187 0 -1 1077944384 25656 0 0 0 404 2 0 0 20 0 15 0 4029994 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063624231664 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15428] ppid=15414 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 3187 0 -1 1077944384 4987 0 0 0 56 1 0 0 20 0 15 0 4029994 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063623178864 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15429] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029995 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063622126304 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15430] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 3187 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 4030000 14316269568 35679 18446744073709551615 4194304 4196468 140736641407648 140063621073584 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
Current children cumulated CPU time (s) 14.9
Current children cumulated vsize (KiB) 13990244

[startup+12.7007 s]
/proc/loadavg: 2.03 1.95 1.85 3/214 15430
/proc/meminfo: memFree=31671788/32770624 swapFree=0/170076
[pid=15414] ppid=15411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4029982 9740288 344 18446744073709551615 4194304 5098028 140724761165008 140724761163112 140528624820860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9588736 140724761170333 140724761170536 140724761170536 140724761173995 0
/proc/15414/statm: 2378 344 289 221 0 87 0
[pid=15416] ppid=15414 vsize=13980732 CPUtime=21.56 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15414 3187 0 -1 1077944320 74064 0 0 0 2145 11 0 0 20 0 15 0 4029989 14316269568 37305 18446744073709551615 4194304 4196468 140736641407648 140736641390192 140064150937335 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
/proc/15416/statm: 3495183 37305 3200 1 0 3483484 0
[pid=15416/tid=15417] ppid=15414 vsize=13980732 CPUtime=12.56 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15414 3187 0 -1 4202560 12745 0 0 0 1252 4 0 0 20 0 15 0 4029989 14316269568 37305 18446744073709551615 4194304 4196468 140736641407648 140064155173688 140063798163520 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15418] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 37305 18446744073709551615 4194304 4196468 140736641407648 140063751097488 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15419] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4029990 14316269568 37305 18446744073709551615 4194304 4196468 140736641407648 140063750044688 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0

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

[pid=15416/tid=15423] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 89087 18446744073709551615 4194304 4196468 140736641407648 140063628440672 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15424] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 3187 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 89087 18446744073709551615 4194304 4196468 140736641407648 140063627387776 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15425] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029994 14316269568 89087 18446744073709551615 4194304 4196468 140736641407648 140063626336080 140064150955931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15426] ppid=15414 vsize=13980732 CPUtime=6.63 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15414 3187 0 -1 1077944384 34705 0 0 0 660 3 0 0 20 0 15 0 4029994 14316269568 89087 18446744073709551615 4194304 4196468 140736641407648 140063625284464 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15427] ppid=15414 vsize=13980732 CPUtime=6.52 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15414 3187 0 -1 1077944384 35896 0 0 0 650 2 0 0 20 0 15 0 4029994 14316269568 89087 18446744073709551615 4194304 4196468 140736641407648 140063624231664 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15428] ppid=15414 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 3187 0 -1 1077944384 10469 0 0 0 85 2 0 0 20 0 15 0 4029994 14316269568 89087 18446744073709551615 4194304 4196468 140736641407648 140063623178864 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15429] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029995 14316269568 89087 18446744073709551615 4194304 4196468 140736641407648 140063622126304 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15430] ppid=15414 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 3187 0 -1 1077944384 431 0 0 0 1 2 0 0 20 0 15 0 4030000 14316269568 89087 18446744073709551615 4194304 4196468 140736641407648 140063621073584 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
Current children cumulated CPU time (s) 117.04
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 1.66 1.84 1.83 3/214 15435
/proc/meminfo: memFree=31506548/32770624 swapFree=0/170252
[pid=15414] ppid=15411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4029982 9740288 344 18446744073709551615 4194304 5098028 140724761165008 140724761163112 140528624820860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9588736 140724761170333 140724761170536 140724761170536 140724761173995 0
/proc/15414/statm: 2378 344 289 221 0 87 0
[pid=15416] ppid=15414 vsize=13980732 CPUtime=178.44 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15414 3187 0 -1 1077944320 108958 0 0 0 17799 45 0 0 20 0 15 0 4029989 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140736641390192 140064150937335 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
/proc/15416/statm: 3495183 84746 3238 1 0 3483484 0
[pid=15416/tid=15417] ppid=15414 vsize=13980732 CPUtime=161.54 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15414 3187 0 -1 4202560 17888 0 0 0 16148 6 0 0 20 0 15 0 4029989 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140064155176912 140063801719521 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15418] ppid=15414 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 3187 0 -1 1077944384 575 0 0 0 47 7 0 0 20 0 15 0 4029990 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063751097488 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15419] ppid=15414 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 3187 0 -1 1077944384 443 0 0 0 46 6 0 0 20 0 15 0 4029990 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063750044688 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15420] ppid=15414 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 3187 0 -1 1077944384 1259 0 0 0 46 6 0 0 20 0 15 0 4029990 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063748991888 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15421] ppid=15414 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15414 3187 0 -1 1077944384 1020 0 0 0 47 6 0 0 20 0 15 0 4029990 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063747939088 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15422] ppid=15414 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15414 3187 0 -1 1077944384 990 0 0 0 4 1 0 0 20 0 15 0 4029991 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063629494640 140064150948482 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15423] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063628440672 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15424] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 3187 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063627387776 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15425] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029994 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063626336080 140064150955931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15426] ppid=15414 vsize=13980732 CPUtime=6.82 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15414 3187 0 -1 1077944384 35902 0 0 0 679 3 0 0 20 0 15 0 4029994 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063625284464 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15427] ppid=15414 vsize=13980732 CPUtime=6.88 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15414 3187 0 -1 1077944384 37852 0 0 0 685 3 0 0 20 0 15 0 4029994 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063624231664 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15428] ppid=15414 vsize=13980732 CPUtime=0.88 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 3187 0 -1 1077944384 11199 0 0 0 86 2 0 0 20 0 15 0 4029994 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063623178864 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15429] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029995 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063622126304 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15430] ppid=15414 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 3187 0 -1 1077944384 479 0 0 0 3 3 0 0 20 0 15 0 4030000 14316269568 84746 18446744073709551615 4194304 4196468 140736641407648 140063621073584 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
Current children cumulated CPU time (s) 178.44
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.64 1.80 1.82 4/214 15518
/proc/meminfo: memFree=31101304/32770624 swapFree=0/170344
[pid=15414] ppid=15411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4029982 9740288 344 18446744073709551615 4194304 5098028 140724761165008 140724761163112 140528624820860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9588736 140724761170333 140724761170536 140724761170536 140724761173995 0
/proc/15414/statm: 2378 344 289 221 0 87 0
[pid=15416] ppid=15414 vsize=13980732 CPUtime=239.77 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15414 3187 0 -1 1077944320 114309 0 0 0 23920 57 0 0 20 0 15 0 4029989 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140736641390192 140064150937335 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
/proc/15416/statm: 3495183 99708 3238 1 0 3483484 0
[pid=15416/tid=15417] ppid=15414 vsize=13980732 CPUtime=221.08 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15414 3187 0 -1 4202560 18814 0 0 0 22102 6 0 0 20 0 15 0 4029989 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140064155176640 140063801719753 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15418] ppid=15414 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 3187 0 -1 1077944384 1100 0 0 0 85 9 0 0 20 0 15 0 4029990 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063751097488 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15419] ppid=15414 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 3187 0 -1 1077944384 593 0 0 0 85 8 0 0 20 0 15 0 4029990 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063750044688 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15420] ppid=15414 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 3187 0 -1 1077944384 1545 0 0 0 83 9 0 0 20 0 15 0 4029990 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063748991888 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15421] ppid=15414 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15414 3187 0 -1 1077944384 1230 0 0 0 85 9 0 0 20 0 15 0 4029990 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063747939088 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15422] ppid=15414 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15414 3187 0 -1 1077944384 1253 0 0 0 7 1 0 0 20 0 15 0 4029991 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063629494640 140064150948482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15423] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063628440672 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15424] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 3187 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063627387776 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15425] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029994 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063626336080 140064150955931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15426] ppid=15414 vsize=13980732 CPUtime=6.87 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15414 3187 0 -1 1077944384 36879 0 0 0 684 3 0 0 20 0 15 0 4029994 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063625284464 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15427] ppid=15414 vsize=13980732 CPUtime=6.92 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15414 3187 0 -1 1077944384 38473 0 0 0 689 3 0 0 20 0 15 0 4029994 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063624231664 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15428] ppid=15414 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 3187 0 -1 1077944384 12534 0 0 0 87 2 0 0 20 0 15 0 4029994 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063623178864 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15429] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029995 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063622126304 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15430] ppid=15414 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 3187 0 -1 1077944384 537 0 0 0 5 5 0 0 20 0 15 0 4030000 14316269568 99708 18446744073709551615 4194304 4196468 140736641407648 140063621073584 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
Current children cumulated CPU time (s) 239.77
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.66 1.80 1.82 4/214 15518
/proc/meminfo: memFree=30810264/32770624 swapFree=0/170356
[pid=15414] ppid=15411 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15414/stat : 15414 (xcsp3-exec) S 15411 15414 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 4029982 9740288 344 18446744073709551615 4194304 5098028 140724761165008 140724761163112 140528624820860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 9588736 140724761170333 140724761170536 140724761170536 140724761173995 0
/proc/15414/statm: 2378 344 289 221 0 87 0
[pid=15416] ppid=15414 vsize=13980732 CPUtime=257.89 cores=0,2,4,6
/proc/15416/stat : 15416 (java) S 15414 15414 3187 0 -1 1077944320 114640 0 0 0 25727 62 0 0 20 0 15 0 4029989 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140736641390192 140064150937335 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
/proc/15416/statm: 3495183 106944 3238 1 0 3483484 0
[pid=15416/tid=15417] ppid=15414 vsize=13980732 CPUtime=238.61 cores=0,2,4,6
/proc/15416/task/15417/stat : 15417 (java) R 15414 15414 3187 0 -1 4202560 18924 0 0 0 23855 6 0 0 20 0 15 0 4029989 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140064155176688 140063799510761 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15418] ppid=15414 vsize=13980732 CPUtime=1.08 cores=0,2,4,6
/proc/15416/task/15418/stat : 15418 (java) S 15414 15414 3187 0 -1 1077944384 1142 0 0 0 98 10 0 0 20 0 15 0 4029990 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063751097488 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15419] ppid=15414 vsize=13980732 CPUtime=1.08 cores=0,2,4,6
/proc/15416/task/15419/stat : 15419 (java) S 15414 15414 3187 0 -1 1077944384 634 0 0 0 98 10 0 0 20 0 15 0 4029990 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063750044688 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15420] ppid=15414 vsize=13980732 CPUtime=1.07 cores=0,2,4,6
/proc/15416/task/15420/stat : 15420 (java) S 15414 15414 3187 0 -1 1077944384 1632 0 0 0 97 10 0 0 20 0 15 0 4029990 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063748991888 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15421] ppid=15414 vsize=13980732 CPUtime=1.08 cores=0,2,4,6
/proc/15416/task/15421/stat : 15421 (java) S 15414 15414 3187 0 -1 1077944384 1281 0 0 0 98 10 0 0 20 0 15 0 4029990 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063747939088 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15422] ppid=15414 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/15416/task/15422/stat : 15422 (java) S 15414 15414 3187 0 -1 1077944384 1253 0 0 0 9 1 0 0 20 0 15 0 4029991 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063629494640 140064150948482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15423] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15423/stat : 15423 (java) S 15414 15414 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063628440672 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15424] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15424/stat : 15424 (java) S 15414 15414 3187 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 4029992 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063627387776 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15425] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15425/stat : 15425 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029994 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063626336080 140064150955931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15426] ppid=15414 vsize=13980732 CPUtime=6.87 cores=0,2,4,6
/proc/15416/task/15426/stat : 15426 (java) S 15414 15414 3187 0 -1 1077944384 36879 0 0 0 684 3 0 0 20 0 15 0 4029994 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063625284464 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15427] ppid=15414 vsize=13980732 CPUtime=6.92 cores=0,2,4,6
/proc/15416/task/15427/stat : 15427 (java) S 15414 15414 3187 0 -1 1077944384 38473 0 0 0 689 3 0 0 20 0 15 0 4029994 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063624231664 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15428] ppid=15414 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/15416/task/15428/stat : 15428 (java) S 15414 15414 3187 0 -1 1077944384 12534 0 0 0 87 2 0 0 20 0 15 0 4029994 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063623178864 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15429] ppid=15414 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15416/task/15429/stat : 15429 (java) S 15414 15414 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4029995 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063622126304 140064150947541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
[pid=15416/tid=15430] ppid=15414 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/15416/task/15430/stat : 15430 (java) S 15414 15414 3187 0 -1 1077944384 537 0 0 0 5 6 0 0 20 0 15 0 4030000 14316269568 106944 18446744073709551615 4194304 4196468 140736641407648 140063621073584 140064150948482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11763712 140736641409493 140736641409668 140736641409668 140736641413071 0
Current children cumulated CPU time (s) 257.89
Current children cumulated vsize (KiB) 13990244

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 240.01
CPU time (s): 257.89
CPU user time (s): 257.27
CPU system time (s): 0.62
CPU usage (%): 107.45
Max. virtual memory (cumulated for all children) (KiB): 13994972

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.01139 second user time and 1.59562 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-01 22:45:53
IDJOB=4255232
IDBENCH=129200
IDSOLVER=2637
FILE ID=node135/4255232-1501621194
RUNJOBID= node135-1501617024-9377
PBS_JOBID= 
Free space on /tmp= 61832 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-4255232-1501621194/watcher-4255232-1501621194 -o /tmp/evaluation-result-4255232-1501621194/solver-4255232-1501621194 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 591930244 HOME/instance-4255232-1501621194.xml

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

MD5SUM BENCH= 2bf32ca1cbb3a17ab70e7ee7c2cd4ace
RANDOM SEED=591930244

node135.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.21
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.21
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.21
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.21
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:        31820276 kB
MemAvailable:   31800592 kB
Buffers:           37708 kB
Cached:           254508 kB
SwapCached:            0 kB
Active:           423500 kB
Inactive:         178644 kB
Active(anon):     310700 kB
Inactive(anon):     8592 kB
Active(file):     112800 kB
Inactive(file):   170052 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7964 kB
Writeback:             0 kB
AnonPages:        309700 kB
Mapped:            40756 kB
Shmem:              8960 kB
Slab:              51736 kB
SReclaimable:      26596 kB
SUnreclaim:        25140 kB
KernelStack:        3488 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1330236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61828 MiB
End job on node135 at 2017-08-01 22:49:53