Trace number 4283464

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)OPT100 20.576599 8.4952297

General information on the benchmark

NameRcpsp/Rcpsp-m1-j120/
Rcpsp-j120-50-05.xml
MD5SUM283e10528a8226f5fb6260f3e97a2c81
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark100
Best CPU time to get the best result obtained on this benchmark6.9268599
Satisfiable
(Un)Satisfiability was proved
Number of variables122
Number of constraints261
Number of domains2
Minimum domain size1
Maximum domain size627
Distribution of domain sizes[{"size":1,"count":1},{"size":627,"count":121}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":22},{"degree":6,"count":58},{"degree":7,"count":23},{"degree":8,"count":13},{"degree":9,"count":2}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":257},{"arity":56,"count":1},{"arity":58,"count":1},{"arity":59,"count":1},{"arity":68,"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.16	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283464-1503209924.xml"  -tl '2520s' -p 1 -x 3
0.09/0.37	c [HOME/instance-4283464-1503209924.xml, -tl, 2520s, -p, 1, -x, 3]
0.28/0.44	c simple solver
0.28/0.50	c parse instance...
1.12/0.81	c solve instance...
17.44/6.32	o 626 
17.44/6.33	o 625 
17.44/6.34	o 624 
17.44/6.34	o 623 
17.44/6.35	o 622 
17.44/6.36	o 621 
17.44/6.37	o 620 
17.44/6.37	o 619 
17.44/6.38	o 618 
17.44/6.39	o 617 
17.44/6.39	o 616 
17.65/6.40	o 615 
17.65/6.40	o 614 
17.65/6.41	o 613 
17.65/6.42	o 612 
17.65/6.42	o 611 
17.65/6.43	o 610 
17.65/6.43	o 609 
17.65/6.44	o 608 
17.65/6.44	o 607 
17.65/6.45	o 606 
17.65/6.45	o 605 
17.65/6.46	o 604 
17.65/6.47	o 603 
17.65/6.47	o 602 
17.65/6.48	o 601 
17.65/6.48	o 600 
17.65/6.49	o 599 
17.65/6.49	o 598 
17.94/6.50	o 597 
17.94/6.50	o 596 
17.94/6.51	o 595 
17.94/6.51	o 594 
17.94/6.52	o 593 
17.94/6.52	o 592 
17.94/6.53	o 591 
17.94/6.53	o 590 
17.94/6.54	o 589 
17.94/6.55	o 588 
17.94/6.55	o 587 
17.94/6.56	o 586 
17.94/6.56	o 585 
17.94/6.57	o 584 
17.94/6.57	o 583 
17.94/6.58	o 582 
17.94/6.58	o 581 
17.94/6.59	o 580 
17.94/6.59	o 579 
17.94/6.60	o 578 
18.14/6.60	o 577 
18.14/6.60	o 576 
18.14/6.61	o 575 
18.14/6.61	o 574 
18.14/6.62	o 573 
18.14/6.62	o 572 
18.14/6.63	o 571 
18.14/6.63	o 570 
18.14/6.64	o 569 
18.14/6.64	o 568 
18.14/6.65	o 567 
18.14/6.65	o 566 
18.14/6.66	o 565 
18.14/6.66	o 564 
18.14/6.67	o 563 
18.14/6.67	o 562 
18.14/6.68	o 561 
18.14/6.68	o 560 
18.14/6.69	o 559 
18.14/6.69	o 558 
18.14/6.70	o 557 
18.25/6.70	o 556 
18.25/6.71	o 555 
18.25/6.71	o 554 
18.25/6.72	o 553 
18.25/6.72	o 552 
18.25/6.73	o 551 
18.25/6.73	o 550 
18.25/6.74	o 549 
18.25/6.74	o 548 
18.25/6.74	o 547 
18.25/6.75	o 546 
18.25/6.75	o 545 
18.25/6.76	o 544 
18.25/6.76	o 543 
18.25/6.77	o 542 
18.25/6.77	o 541 
18.25/6.78	o 540 
18.25/6.78	o 539 
18.25/6.79	o 538 
18.25/6.79	o 537 
18.40/6.80	o 536 
18.40/6.80	o 535 
18.40/6.81	o 534 
18.40/6.81	o 533 
18.40/6.82	o 532 
18.40/6.82	o 531 
18.40/6.83	o 530 
18.40/6.83	o 529 
18.40/6.84	o 528 
18.40/6.84	o 527 
18.40/6.85	o 526 
18.40/6.85	o 525 
18.40/6.86	o 524 
18.40/6.86	o 523 
18.40/6.87	o 522 
18.40/6.87	o 521 
18.40/6.87	o 520 
18.40/6.88	o 519 
18.40/6.88	o 518 
18.40/6.89	o 517 
18.40/6.89	o 516 
18.53/6.90	o 515 
18.53/6.90	o 514 
18.53/6.91	o 513 
18.53/6.91	o 512 
18.53/6.92	o 511 
18.53/6.92	o 510 
18.53/6.93	o 509 
18.53/6.93	o 508 
18.53/6.94	o 507 
18.53/6.94	o 506 
18.53/6.95	o 505 
18.53/6.95	o 504 
18.53/6.96	o 503 
18.53/6.96	o 502 
18.53/6.96	o 501 
18.53/6.97	o 500 
18.53/6.97	o 499 
18.53/6.98	o 498 
18.53/6.98	o 497 
18.53/6.99	o 496 
18.53/6.99	o 495 
18.53/7.00	o 494 
18.53/7.00	o 493 
18.67/7.01	o 492 
18.67/7.01	o 491 
18.67/7.02	o 490 
18.67/7.02	o 489 
18.67/7.03	o 488 
18.67/7.03	o 487 
18.67/7.04	o 486 
18.67/7.04	o 485 
18.67/7.04	o 484 
18.67/7.05	o 483 
18.67/7.05	o 482 
18.67/7.06	o 481 
18.67/7.06	o 480 
18.67/7.07	o 479 
18.67/7.07	o 478 
18.67/7.08	o 477 
18.67/7.08	o 476 
18.67/7.09	o 475 
18.67/7.09	o 474 
18.67/7.10	o 473 
18.67/7.10	o 472 
18.67/7.11	o 471 
18.78/7.11	o 470 
18.78/7.11	o 469 
18.78/7.12	o 468 
18.78/7.12	o 467 
18.78/7.13	o 466 
18.78/7.13	o 465 
18.78/7.14	o 464 
18.78/7.14	o 463 
18.78/7.15	o 462 
18.78/7.15	o 461 
18.78/7.16	o 460 
18.78/7.16	o 459 
18.78/7.17	o 458 
18.78/7.17	o 457 
18.78/7.18	o 456 
18.78/7.18	o 455 
18.78/7.19	o 454 
18.78/7.19	o 453 
18.78/7.20	o 452 
18.91/7.20	o 451 
18.91/7.20	o 450 
18.91/7.21	o 449 
18.91/7.21	o 448 
18.91/7.22	o 447 
18.91/7.22	o 446 
18.91/7.23	o 445 
18.91/7.23	o 444 
18.91/7.24	o 443 
18.91/7.24	o 442 
18.91/7.25	o 441 
18.91/7.25	o 440 
18.91/7.26	o 439 
18.91/7.26	o 438 
18.91/7.27	o 437 
18.91/7.27	o 436 
18.91/7.27	o 435 
18.91/7.28	o 434 
18.91/7.28	o 433 
18.91/7.29	o 432 
18.91/7.29	o 431 
19.05/7.30	o 430 
19.05/7.30	o 429 
19.05/7.31	o 428 
19.05/7.31	o 427 
19.05/7.32	o 426 
19.05/7.32	o 425 
19.05/7.33	o 424 
19.05/7.33	o 423 
19.05/7.34	o 422 
19.05/7.34	o 421 
19.05/7.34	o 420 
19.05/7.35	o 419 
19.05/7.35	o 418 
19.05/7.36	o 417 
19.05/7.36	o 416 
19.05/7.37	o 415 
19.05/7.37	o 414 
19.05/7.38	o 413 
19.05/7.38	o 412 
19.05/7.39	o 411 
19.05/7.39	o 410 
19.05/7.40	o 409 
19.15/7.40	o 408 
19.15/7.40	o 407 
19.15/7.41	o 406 
19.15/7.41	o 405 
19.15/7.42	o 404 
19.15/7.42	o 403 
19.15/7.43	o 402 
19.15/7.43	o 401 
19.15/7.44	o 400 
19.15/7.44	o 399 
19.15/7.45	o 398 
19.15/7.45	o 397 
19.15/7.46	o 396 
19.15/7.46	o 395 
19.15/7.46	o 394 
19.15/7.47	o 393 
19.15/7.47	o 392 
19.15/7.48	o 391 
19.15/7.48	o 390 
19.15/7.49	o 389 
19.15/7.49	o 388 
19.26/7.50	o 387 
19.26/7.50	o 386 
19.26/7.51	o 385 
19.26/7.51	o 384 
19.26/7.52	o 383 
19.26/7.52	o 382 
19.26/7.53	o 381 
19.26/7.53	o 380 
19.26/7.53	o 379 
19.26/7.54	o 378 
19.26/7.54	o 377 
19.26/7.55	o 376 
19.26/7.55	o 375 
19.26/7.56	o 374 
19.26/7.56	o 373 
19.26/7.57	o 372 
19.26/7.57	o 371 
19.26/7.58	o 370 
19.26/7.58	o 369 
19.26/7.59	o 368 
19.26/7.59	o 367 
19.26/7.60	o 366 
19.38/7.60	o 365 
19.38/7.60	o 364 
19.38/7.61	o 363 
19.38/7.61	o 362 
19.38/7.62	o 361 
19.38/7.62	o 360 
19.38/7.63	o 359 
19.38/7.63	o 358 
19.38/7.64	o 357 
19.38/7.64	o 356 
19.38/7.65	o 355 
19.38/7.65	o 354 
19.38/7.66	o 353 
19.38/7.66	o 352 
19.38/7.66	o 351 
19.38/7.67	o 350 
19.38/7.67	o 349 
19.38/7.68	o 348 
19.38/7.68	o 347 
19.38/7.69	o 346 
19.38/7.69	o 345 
19.52/7.70	o 344 
19.52/7.70	o 343 
19.52/7.71	o 342 
19.52/7.71	o 341 
19.52/7.72	o 340 
19.52/7.72	o 339 
19.52/7.72	o 338 
19.52/7.73	o 337 
19.52/7.73	o 336 
19.52/7.74	o 335 
19.52/7.74	o 334 
19.52/7.75	o 333 
19.52/7.75	o 332 
19.52/7.76	o 331 
19.52/7.76	o 330 
19.52/7.77	o 329 
19.52/7.77	o 328 
19.52/7.78	o 327 
19.52/7.78	o 326 
19.52/7.78	o 325 
19.52/7.79	o 324 
19.52/7.79	o 323 
19.52/7.80	o 322 
19.66/7.80	o 321 
19.66/7.81	o 320 
19.66/7.81	o 319 
19.66/7.82	o 318 
19.66/7.82	o 317 
19.66/7.83	o 316 
19.66/7.83	o 315 
19.66/7.84	o 314 
19.66/7.84	o 313 
19.66/7.85	o 312 
19.66/7.85	o 311 
19.66/7.85	o 310 
19.66/7.86	o 309 
19.66/7.86	o 308 
19.66/7.87	o 307 
19.66/7.87	o 306 
19.66/7.88	o 305 
19.66/7.88	o 304 
19.66/7.89	o 303 
19.66/7.89	o 302 
19.66/7.90	o 301 
19.82/7.90	o 300 
19.82/7.91	o 299 
19.82/7.91	o 298 
19.82/7.91	o 297 
19.82/7.92	o 296 
19.82/7.92	o 295 
19.82/7.93	o 294 
19.82/7.93	o 293 
19.82/7.94	o 292 
19.82/7.94	o 291 
19.82/7.95	o 290 
19.82/7.95	o 289 
19.82/7.96	o 288 
19.82/7.96	o 287 
19.82/7.97	o 286 
19.82/7.97	o 285 
19.82/7.98	o 284 
19.82/7.98	o 283 
19.82/7.99	o 282 
19.82/7.99	o 281 
19.82/7.99	o 280 
19.82/8.00	o 279 
19.82/8.00	o 278 
19.82/8.01	o 277 
20.02/8.01	o 276 
20.02/8.02	o 275 
20.02/8.02	o 274 
20.02/8.03	o 273 
20.02/8.03	o 272 
20.02/8.04	o 271 
20.02/8.04	o 270 
20.02/8.05	o 269 
20.02/8.05	o 268 
20.02/8.06	o 267 
20.02/8.06	o 266 
20.02/8.07	o 265 
20.02/8.07	o 264 
20.02/8.08	o 263 
20.02/8.08	o 262 
20.02/8.09	o 261 
20.02/8.09	o 260 
20.02/8.09	o 259 
20.02/8.10	o 258 
20.02/8.10	o 257 
20.14/8.11	o 256 
20.14/8.11	o 255 
20.14/8.12	o 254 
20.14/8.12	o 253 
20.14/8.13	o 252 
20.14/8.13	o 251 
20.14/8.14	o 250 
20.14/8.14	o 249 
20.14/8.15	o 248 
20.14/8.15	o 247 
20.14/8.16	o 246 
20.14/8.16	o 245 
20.14/8.17	o 244 
20.14/8.17	o 243 
20.14/8.18	o 242 
20.14/8.18	o 241 
20.14/8.19	o 240 
20.14/8.19	o 239 
20.14/8.19	o 238 
20.24/8.20	o 237 
20.24/8.20	o 236 
20.24/8.21	o 235 
20.24/8.21	o 234 
20.24/8.22	o 233 
20.24/8.22	o 232 
20.24/8.23	o 231 
20.24/8.23	o 230 
20.24/8.24	o 229 
20.24/8.24	o 228 
20.24/8.25	o 227 
20.24/8.25	o 226 
20.24/8.26	o 225 
20.24/8.26	o 224 
20.24/8.27	o 223 
20.24/8.27	o 222 
20.24/8.28	o 221 
20.24/8.28	o 220 
20.24/8.29	o 219 
20.24/8.29	o 218 
20.24/8.30	o 217 
20.34/8.30	o 216 
20.34/8.31	o 215 
20.34/8.31	o 214 
20.34/8.31	o 213 
20.34/8.32	o 212 
20.34/8.32	o 211 
20.34/8.32	o 210 
20.34/8.33	o 209 
20.34/8.33	o 208 
20.34/8.33	o 207 
20.34/8.34	o 206 
20.34/8.34	o 205 
20.34/8.34	o 204 
20.34/8.35	o 203 
20.34/8.35	o 202 
20.34/8.35	o 201 
20.34/8.36	o 200 
20.34/8.36	o 199 
20.34/8.37	o 198 
20.34/8.37	o 197 
20.34/8.38	o 196 
20.34/8.38	o 195 
20.34/8.39	o 194 
20.34/8.39	o 193 
20.34/8.40	o 192 
20.44/8.41	o 191 
20.44/8.42	o 190 
20.44/8.45	o 102 
20.44/8.45	o 101 
20.44/8.47	o 100 
20.44/8.47	s OPTIMUM FOUND
20.44/8.47	v <instantiation>
20.44/8.47	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>
20.44/8.47	v 	<values>0 0 0 0 4 9 9 4 4 54 4 9 19 13 37 4 21 23 18 9 16 18 21 21 27 21 19 5 28 20 31 34 27 29 38 27 75 38 52 27 29 4 30 19 10 19 29 38 39 34 67 37 31 44 27 25 43 77 18 54 39 56 37 42 44 42 52 52 47 81 48 48 57 52 61 50 28 56 52 42 57 58 51 66 66 68 68 72 59 51 61 82 91 77 64 74 65 71 70 68 39 71 67 72 72 72 74 72 77 91 90 80 83 82 83 69 86 93 93 96 98 100 </values>
20.44/8.47	v </instantiation>

Verifier Data 

OK	100

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283464-1503209924/watcher-4283464-1503209924 -o /tmp/evaluation-result-4283464-1503209924/solver-4283464-1503209924 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30419 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 934906761 HOME/instance-4283464-1503209924.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4805, runsolver pid=4802
Current StackSize limit: 8192 KiB


[startup+0.100169 s]*
/proc/loadavg: 1.82 1.94 1.95 2/197 4806
/proc/meminfo: memFree=31225404/32770624 swapFree=67108860/67108860
[pid=4805] ppid=4802 vsize=33976 memory=460 CPUtime=0 cores=0,2,4,6
/proc/4805/stat : 4805 (runsolver) D 4802 4805 15523 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 19400411 34791424 115 18446744073709551615 4194304 4346622 140734943682784 140734943679416 139675128447703 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6446216 6449568 17874944 140734943690808 140734943691301 140734943691301 140734943694794 0
/proc/4805/statm: 8494 115 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB

[startup+0.209134 s]*
/proc/loadavg: 1.82 1.94 1.95 3/206 4815
/proc/meminfo: memFree=31218760/32770624 swapFree=67108860/67108860
[pid=4805] ppid=4802 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4805/stat : 4805 (xcsp3-exec) S 4802 4805 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19400411 9740288 345 18446744073709551615 4194304 5098028 140726136803248 140726136801352 140672970232444 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 15 0 0 7196144 7232144 35549184 140726136811898 140726136812102 140726136812102 140726136815595 0
/proc/4805/statm: 2378 345 289 221 0 87 0
[pid=4807] ppid=4805 vsize=13840740 memory=21580 CPUtime=0.04 cores=0,2,4,6
/proc/4807/stat : 4807 (java) S 4805 4805 15523 0 -1 1077944320 4812 0 0 0 4 0 0 0 20 0 13 0 19400427 14172917760 5395 18446744073709551615 4194304 4196468 140722551832080 140722551814624 139798731628279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
/proc/4807/statm: 3460185 5395 2371 1 0 3449682 0
[pid=4807/tid=4808] ppid=4805 vsize=13841768 memory=1404226546353086858 CPUtime=0.04 cores=0,2,4,6
/proc/4807/task/4808/stat : 4808 (java) R 4805 4805 15523 0 -1 4202560 3226 0 0 0 4 0 0 0 20 0 14 0 19400427 14173970432 5591 18446744073709551615 4194304 4196468 140722551832080 139798735870304 139798717075088 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4809] ppid=4805 vsize=13841768 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4809/stat : 4809 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 19400428 14173970432 5591 18446744073709551615 4194304 4196468 140722551832080 139798331255056 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4810] ppid=4805 vsize=13907304 memory=139675131397760 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4810/stat : 4810 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 19400428 14241079296 5591 18446744073709551615 4194304 4196468 140722551832080 139798330202512 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4811] ppid=4805 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4811/stat : 4811 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 19400428 14241079296 5591 18446744073709551615 4194304 4196468 140722551832080 139798329149968 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4812] ppid=4805 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4812/stat : 4812 (java) S 4805 4805 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 19400428 14241079296 5592 18446744073709551615 4194304 4196468 140722551832080 139798328097424 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4813] ppid=4805 vsize=13907304 memory=139675131397760 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4813/stat : 4813 (java) S 4805 4805 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 19400430 14241079296 5592 18446744073709551615 4194304 4196468 140722551832080 139797648435696 139798731639426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4814] ppid=4805 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4814/stat : 4814 (java) S 4805 4805 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 19400430 14241079296 5592 18446744073709551615 4194304 4196468 140722551832080 139797647381920 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4815] ppid=4805 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4815/stat : 4815 (java) S 4805 4805 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 19400430 14241079296 5592 18446744073709551615 4194304 4196468 140722551832080 139797646329328 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4816] ppid=4805 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4816/stat : 4816 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 19400433 14241079296 5592 18446744073709551615 4194304 4196468 140722551832080 139797645277904 139798731646875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4817] ppid=4805 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4817/stat : 4817 (java) R 4805 4805 15523 0 -1 4202560 290 0 0 0 0 0 0 0 20 0 14 0 19400433 14241079296 5592 18446744073709551615 4194304 4196468 140722551832080 139797644210808 139798711945145 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4818] ppid=4805 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4818/stat : 4818 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 19400433 14241079296 5592 18446744073709551615 4194304 4196468 140722551832080 139797643171648 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4819] ppid=4805 vsize=13907304 memory=139675131397760 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4819/stat : 4819 (java) S 4805 4805 15523 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 14 0 19400433 14241079296 5592 18446744073709551615 4194304 4196468 140722551832080 139797642119408 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4820] ppid=4805 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4820/stat : 4820 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 19400433 14241079296 5592 18446744073709551615 4194304 4196468 140722551832080 139797641067104 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13850252 KiB
Current children cumulated memory: 22960 KiB

[startup+0.310284 s]*
/proc/loadavg: 1.82 1.94 1.95 3/212 4821
/proc/meminfo: memFree=31211532/32770624 swapFree=67108860/67108860
[pid=4805] ppid=4802 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4805/stat : 4805 (xcsp3-exec) S 4802 4805 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19400411 9740288 345 18446744073709551615 4194304 5098028 140726136803248 140726136801352 140672970232444 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 15 0 0 7196144 7232144 35549184 140726136811898 140726136812102 140726136812102 140726136815595 0
/proc/4805/statm: 2378 345 289 221 0 87 0
[pid=4807] ppid=4805 vsize=13974352 memory=27916 CPUtime=0.09 cores=0,2,4,6
/proc/4807/stat : 4807 (java) S 4805 4805 15523 0 -1 1077944320 5426 0 0 0 8 1 0 0 20 0 15 0 19400427 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 140722551814624 139798731628279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
/proc/4807/statm: 3493588 6979 2727 1 0 3482964 0
[pid=4807/tid=4808] ppid=4805 vsize=13974352 memory=6933928925625698159 CPUtime=0.07 cores=0,2,4,6
/proc/4807/task/4808/stat : 4808 (java) R 4805 4805 15523 0 -1 4202560 3579 0 0 0 7 0 0 0 20 0 15 0 19400427 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139798735859888 139798715708766 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4809] ppid=4805 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4809/stat : 4809 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19400428 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139798331255056 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4810] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4810/stat : 4810 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19400428 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139798330202512 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4811] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4811/stat : 4811 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19400428 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139798329149968 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4812] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4812/stat : 4812 (java) S 4805 4805 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19400428 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139798328097424 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4813] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4813/stat : 4813 (java) S 4805 4805 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19400430 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139797648435696 139798731639426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4814] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4814/stat : 4814 (java) S 4805 4805 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19400430 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139797647381920 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4815] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4815/stat : 4815 (java) S 4805 4805 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19400430 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139797646329328 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4816] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4816/stat : 4816 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139797645277904 139798731646875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4817] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4817/stat : 4817 (java) S 4805 4805 15523 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 19400433 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139797644224496 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4818] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4818/stat : 4818 (java) R 4805 4805 15523 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139797643171952 139798731639426 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4819] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4819/stat : 4819 (java) R 4805 4805 15523 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 15 0 19400433 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139797642119408 139798731649626 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4820] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4820/stat : 4820 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139797641067104 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4821] ppid=4805 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4821/stat : 4821 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19400440 14309736448 6979 18446744073709551615 4194304 4196468 140722551832080 139797640014640 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29296 KiB

[startup+0.70078 s]
/proc/loadavg: 1.82 1.94 1.95 4/212 4821
/proc/meminfo: memFree=31193692/32770624 swapFree=67108860/67108860
[pid=4805] ppid=4802 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4805/stat : 4805 (xcsp3-exec) S 4802 4805 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19400411 9740288 345 18446744073709551615 4194304 5098028 140726136803248 140726136801352 140672970232444 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 15 0 0 7196144 7232144 35549184 140726136811898 140726136812102 140726136812102 140726136815595 0
/proc/4805/statm: 2378 345 289 221 0 87 0
[pid=4807] ppid=4805 vsize=13980732 memory=58608 CPUtime=0.84 cores=0,2,4,6
/proc/4807/stat : 4807 (java) S 4805 4805 15523 0 -1 1077944320 11788 0 0 0 80 4 0 0 20 0 15 0 19400427 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 140722551814624 139798731628279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
/proc/4807/statm: 3495183 14652 3148 1 0 3483476 0
[pid=4807/tid=4808] ppid=4805 vsize=13980732 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/4807/task/4808/stat : 4808 (java) R 4805 4805 15523 0 -1 4202560 8429 0 0 0 42 3 0 0 20 0 15 0 19400427 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139798735849344 139798717813972 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4809] ppid=4805 vsize=13980732 memory=54 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4809/stat : 4809 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139798331255056 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4810] ppid=4805 vsize=13980732 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4810/stat : 4810 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139798330202512 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4811] ppid=4805 vsize=13980732 memory=11952 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4811/stat : 4811 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139798329149968 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4812] ppid=4805 vsize=13980732 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4812/stat : 4812 (java) S 4805 4805 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139798328097424 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4813] ppid=4805 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4813/stat : 4813 (java) S 4805 4805 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139797648435696 139798731639426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4814] ppid=4805 vsize=13980732 memory=8696 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4814/stat : 4814 (java) S 4805 4805 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139797647381920 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4815] ppid=4805 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4815/stat : 4815 (java) S 4805 4805 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139797646329328 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4816] ppid=4805 vsize=13980732 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4816/stat : 4816 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139797645277904 139798731646875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4817] ppid=4805 vsize=13980732 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/4807/task/4817/stat : 4817 (java) S 4805 4805 15523 0 -1 1077944384 804 0 0 0 7 0 0 0 20 0 15 0 19400433 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139797644224496 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4818] ppid=4805 vsize=13980732 memory=1200 CPUtime=0.08 cores=0,2,4,6
/proc/4807/task/4818/stat : 4818 (java) S 4805 4805 15523 0 -1 1077944384 239 0 0 0 8 0 0 0 20 0 15 0 19400433 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139797643171952 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4819] ppid=4805 vsize=13980732 memory=15872 CPUtime=0.22 cores=0,2,4,6
/proc/4807/task/4819/stat : 4819 (java) S 4805 4805 15523 0 -1 1077944384 1012 0 0 0 22 0 0 0 20 0 15 0 19400433 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139797642119408 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4820] ppid=4805 vsize=13980732 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4820/stat : 4820 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139797641067104 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4821] ppid=4805 vsize=13980732 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4821/stat : 4821 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19400440 14316269568 14652 18446744073709551615 4194304 4196468 140722551832080 139797640014640 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 59988 KiB

[startup+1.50084 s]
/proc/loadavg: 1.82 1.94 1.95 5/212 4821
/proc/meminfo: memFree=31158912/32770624 swapFree=67108860/67108860
[pid=4805] ppid=4802 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4805/stat : 4805 (xcsp3-exec) S 4802 4805 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19400411 9740288 345 18446744073709551615 4194304 5098028 140726136803248 140726136801352 140672970232444 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 15 0 0 7196144 7232144 35549184 140726136811898 140726136812102 140726136812102 140726136815595 0
/proc/4805/statm: 2378 345 289 221 0 87 0
[pid=4807] ppid=4805 vsize=13980732 memory=121744 CPUtime=3.34 cores=0,2,4,6
/proc/4807/stat : 4807 (java) S 4805 4805 15523 0 -1 1077944320 36279 0 0 0 327 7 0 0 20 0 15 0 19400427 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 140722551814624 139798731628279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
/proc/4807/statm: 3495183 30436 3185 1 0 3483476 0
[pid=4807/tid=4808] ppid=4805 vsize=13980732 memory=4124 CPUtime=1.25 cores=0,2,4,6
/proc/4807/task/4808/stat : 4808 (java) R 4805 4805 15523 0 -1 4202560 9928 0 0 0 121 4 0 0 20 0 15 0 19400427 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139798735866608 139798377538476 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4809] ppid=4805 vsize=13980732 memory=13852 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4809/stat : 4809 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139798331255056 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4810] ppid=4805 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4810/stat : 4810 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139798330202512 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4811] ppid=4805 vsize=13980732 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4811/stat : 4811 (java) S 4805 4805 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139798329149968 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4812] ppid=4805 vsize=13980732 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4812/stat : 4812 (java) S 4805 4805 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139798328097424 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4813] ppid=4805 vsize=13980732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4813/stat : 4813 (java) S 4805 4805 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139797648435696 139798731639426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4814] ppid=4805 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4814/stat : 4814 (java) S 4805 4805 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139797647381920 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4815] ppid=4805 vsize=13980732 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4815/stat : 4815 (java) S 4805 4805 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139797646329328 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4816] ppid=4805 vsize=13980732 memory=11952 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4816/stat : 4816 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139797645277904 139798731646875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4817] ppid=4805 vsize=13980732 memory=1996 CPUtime=0.79 cores=0,2,4,6
/proc/4807/task/4817/stat : 4817 (java) R 4805 4805 15523 0 -1 4202560 14560 0 0 0 77 2 0 0 20 0 15 0 19400433 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139797644216984 139798713212741 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4818] ppid=4805 vsize=13980732 memory=1440 CPUtime=0.8 cores=0,2,4,6
/proc/4807/task/4818/stat : 4818 (java) R 4805 4805 15523 0 -1 4202560 6486 0 0 0 80 0 0 0 20 0 15 0 19400433 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139797643152968 139798713149719 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4819] ppid=4805 vsize=13980732 memory=8696 CPUtime=0.49 cores=0,2,4,6
/proc/4807/task/4819/stat : 4819 (java) S 4805 4805 15523 0 -1 1077944384 3997 0 0 0 48 1 0 0 20 0 15 0 19400433 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139797642119408 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4820] ppid=4805 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4820/stat : 4820 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139797641067104 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4821] ppid=4805 vsize=13980732 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4821/stat : 4821 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400440 14316269568 30436 18446744073709551615 4194304 4196468 140722551832080 139797640014640 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
Current children cumulated CPU time: 3.34 s
Current children cumulated vsize: 13990244 KiB

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

/proc/4805/stat : 4805 (xcsp3-exec) S 4802 4805 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19400411 9740288 345 18446744073709551615 4194304 5098028 140726136803248 140726136801352 140672970232444 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 15 0 0 7196144 7232144 35549184 140726136811898 140726136812102 140726136812102 140726136815595 0
/proc/4805/statm: 2378 345 289 221 0 87 0
[pid=4807] ppid=4805 vsize=13980732 memory=278136 CPUtime=17.65 cores=0,2,4,6
/proc/4807/stat : 4807 (java) S 4805 4805 15523 0 -1 1077944320 74668 0 0 0 1750 15 0 0 20 0 15 0 19400427 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 140722551814624 139798731628279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
/proc/4807/statm: 3495183 69534 3228 1 0 3483476 0
[pid=4807/tid=4808] ppid=4805 vsize=13980732 memory=0 CPUtime=6.13 cores=0,2,4,6
/proc/4807/task/4808/stat : 4808 (java) R 4805 4805 15523 0 -1 4202560 11596 0 0 0 607 6 0 0 20 0 15 0 19400427 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139798735866120 139798731640214 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4809] ppid=4805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4809/stat : 4809 (java) S 4805 4805 15523 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139798331255056 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4810] ppid=4805 vsize=13980732 memory=3184237595096842080 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4810/stat : 4810 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139798330202512 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4811] ppid=4805 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4811/stat : 4811 (java) S 4805 4805 15523 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139798329149968 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4812] ppid=4805 vsize=13980732 memory=279350041755744 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4812/stat : 4812 (java) S 4805 4805 15523 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139798328097424 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4813] ppid=4805 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4813/stat : 4813 (java) S 4805 4805 15523 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139797648435696 139798731639426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4814] ppid=4805 vsize=13980732 memory=205656 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4814/stat : 4814 (java) S 4805 4805 15523 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139797647381920 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4815] ppid=4805 vsize=13980732 memory=3912 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4815/stat : 4815 (java) S 4805 4805 15523 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139797646329328 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4816] ppid=4805 vsize=13980732 memory=3008 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4816/stat : 4816 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139797645277904 139798731646875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4817] ppid=4805 vsize=13980732 memory=2784 CPUtime=5.36 cores=0,2,4,6
/proc/4807/task/4817/stat : 4817 (java) S 4805 4805 15523 0 -1 1077944384 29854 0 0 0 532 4 0 0 20 0 15 0 19400433 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139797644224496 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4818] ppid=4805 vsize=13980732 memory=1380 CPUtime=5.37 cores=0,2,4,6
/proc/4807/task/4818/stat : 4818 (java) S 4805 4805 15523 0 -1 1077944384 24769 0 0 0 536 1 0 0 20 0 15 0 19400433 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139797643171952 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4819] ppid=4805 vsize=13980732 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/4807/task/4819/stat : 4819 (java) R 4805 4805 15523 0 -1 4202560 6137 0 0 0 70 2 0 0 20 0 15 0 19400433 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139797642119408 139798710990290 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4820] ppid=4805 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4820/stat : 4820 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139797641067104 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4821] ppid=4805 vsize=13980732 memory=13852 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4821/stat : 4821 (java) S 4805 4805 15523 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 19400440 14316269568 69534 18446744073709551615 4194304 4196468 140722551832080 139797640014640 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
Current children cumulated CPU time: 17.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 279516 KiB

[startup+7.2008 s]
/proc/loadavg: 2.07 2.00 1.97 3/212 4821
/proc/meminfo: memFree=30975680/32770624 swapFree=67108860/67108860
[pid=4805] ppid=4802 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4805/stat : 4805 (xcsp3-exec) S 4802 4805 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19400411 9740288 345 18446744073709551615 4194304 5098028 140726136803248 140726136801352 140672970232444 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 15 0 0 7196144 7232144 35549184 140726136811898 140726136812102 140726136812102 140726136815595 0
/proc/4805/statm: 2378 345 289 221 0 87 0
[pid=4807] ppid=4805 vsize=13980732 memory=278824 CPUtime=18.91 cores=0,2,4,6
/proc/4807/stat : 4807 (java) S 4805 4805 15523 0 -1 1077944320 74927 0 0 0 1876 15 0 0 20 0 15 0 19400427 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 140722551814624 139798731628279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
/proc/4807/statm: 3495183 69706 3233 1 0 3483476 0
[pid=4807/tid=4808] ppid=4805 vsize=13980732 memory=551 CPUtime=6.93 cores=0,2,4,6
/proc/4807/task/4808/stat : 4808 (java) R 4805 4805 15523 0 -1 4202560 11601 0 0 0 687 6 0 0 20 0 15 0 19400427 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139798735867352 139798379968017 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4809] ppid=4805 vsize=13980732 memory=74 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4809/stat : 4809 (java) S 4805 4805 15523 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139798331255056 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4810] ppid=4805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4810/stat : 4810 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139798330202512 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4811] ppid=4805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4811/stat : 4811 (java) S 4805 4805 15523 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139798329149968 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4812] ppid=4805 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4812/stat : 4812 (java) S 4805 4805 15523 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139798328097424 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4813] ppid=4805 vsize=13980732 memory=278344 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4813/stat : 4813 (java) S 4805 4805 15523 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139797648435696 139798731639426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4814] ppid=4805 vsize=13980732 memory=365 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4814/stat : 4814 (java) S 4805 4805 15523 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139797647381920 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4815] ppid=4805 vsize=13980732 memory=41386304873890 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4815/stat : 4815 (java) S 4805 4805 15523 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139797646329328 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4816] ppid=4805 vsize=13980732 memory=139675020865183 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4816/stat : 4816 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139797645277904 139798731646875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4817] ppid=4805 vsize=13980732 memory=139675020863872 CPUtime=5.55 cores=0,2,4,6
/proc/4807/task/4817/stat : 4817 (java) S 4805 4805 15523 0 -1 1077944384 29914 0 0 0 551 4 0 0 20 0 15 0 19400433 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139797644224496 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4818] ppid=4805 vsize=13980732 memory=100 CPUtime=5.58 cores=0,2,4,6
/proc/4807/task/4818/stat : 4818 (java) S 4805 4805 15523 0 -1 1077944384 24837 0 0 0 557 1 0 0 20 0 15 0 19400433 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139797643171952 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4819] ppid=4805 vsize=13980732 memory=6442213876356703838 CPUtime=0.78 cores=0,2,4,6
/proc/4807/task/4819/stat : 4819 (java) S 4805 4805 15523 0 -1 1077944384 6261 0 0 0 76 2 0 0 20 0 15 0 19400433 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139797642119408 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4820] ppid=4805 vsize=13980732 memory=7884211307110166891 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4820/stat : 4820 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139797641067104 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4821] ppid=4805 vsize=13980732 memory=7956009446820702036 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4821/stat : 4821 (java) S 4805 4805 15523 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 19400440 14316269568 69706 18446744073709551615 4194304 4196468 140722551832080 139797640014640 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
Current children cumulated CPU time: 18.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 280204 KiB

[startup+8.00558 s]*
/proc/loadavg: 2.07 2.00 1.97 4/212 4821
/proc/meminfo: memFree=30978596/32770624 swapFree=67108860/67108860
[pid=4805] ppid=4802 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4805/stat : 4805 (xcsp3-exec) S 4802 4805 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19400411 9740288 345 18446744073709551615 4194304 5098028 140726136803248 140726136801352 140672970232444 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 15 0 0 7196144 7232144 35549184 140726136811898 140726136812102 140726136812102 140726136815595 0
/proc/4805/statm: 2378 345 289 221 0 87 0
[pid=4807] ppid=4805 vsize=13980732 memory=279064 CPUtime=20.02 cores=0,2,4,6
/proc/4807/stat : 4807 (java) S 4805 4805 15523 0 -1 1077944320 75028 0 0 0 1987 15 0 0 20 0 15 0 19400427 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 140722551814624 139798731628279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
/proc/4807/statm: 3495183 69766 3234 1 0 3483476 0
[pid=4807/tid=4808] ppid=4805 vsize=13980732 memory=6933928925625698159 CPUtime=7.74 cores=0,2,4,6
/proc/4807/task/4808/stat : 4808 (java) R 4805 4805 15523 0 -1 4202560 11605 0 0 0 768 6 0 0 20 0 15 0 19400427 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139798735860000 139798379958216 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4809] ppid=4805 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4809/stat : 4809 (java) S 4805 4805 15523 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139798331255056 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4810] ppid=4805 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4810/stat : 4810 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139798330202512 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4811] ppid=4805 vsize=13980732 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4811/stat : 4811 (java) S 4805 4805 15523 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139798329149968 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4812] ppid=4805 vsize=13980732 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4812/stat : 4812 (java) S 4805 4805 15523 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139798328097424 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4813] ppid=4805 vsize=13980732 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4813/stat : 4813 (java) S 4805 4805 15523 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139797648435696 139798731639426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4814] ppid=4805 vsize=13980732 memory=9452 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4814/stat : 4814 (java) S 4805 4805 15523 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139797647381920 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4815] ppid=4805 vsize=13980732 memory=1244 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4815/stat : 4815 (java) S 4805 4805 15523 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139797646329328 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4816] ppid=4805 vsize=13980732 memory=644 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4816/stat : 4816 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139797645277904 139798731646875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4817] ppid=4805 vsize=13980732 memory=1792 CPUtime=5.6 cores=0,2,4,6
/proc/4807/task/4817/stat : 4817 (java) S 4805 4805 15523 0 -1 1077944384 29930 0 0 0 556 4 0 0 20 0 15 0 19400433 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139797644224496 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4818] ppid=4805 vsize=13980732 memory=956 CPUtime=5.81 cores=0,2,4,6
/proc/4807/task/4818/stat : 4818 (java) R 4805 4805 15523 0 -1 4202560 24876 0 0 0 580 1 0 0 20 0 15 0 19400433 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139797643172248 139798716736931 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4819] ppid=4805 vsize=13980732 memory=2240 CPUtime=0.8 cores=0,2,4,6
/proc/4807/task/4819/stat : 4819 (java) S 4805 4805 15523 0 -1 1077944384 6303 0 0 0 78 2 0 0 20 0 15 0 19400433 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139797642119408 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4820] ppid=4805 vsize=13980732 memory=4300 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4820/stat : 4820 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139797641067104 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4821] ppid=4805 vsize=13980732 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4821/stat : 4821 (java) S 4805 4805 15523 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 19400440 14316269568 69766 18446744073709551615 4194304 4196468 140722551832080 139797640014640 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
Current children cumulated CPU time: 20.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 280444 KiB

[startup+8.40076 s]
/proc/loadavg: 2.07 2.00 1.97 4/212 4821
/proc/meminfo: memFree=30978596/32770624 swapFree=67108860/67108860
[pid=4805] ppid=4802 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4805/stat : 4805 (xcsp3-exec) S 4802 4805 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19400411 9740288 345 18446744073709551615 4194304 5098028 140726136803248 140726136801352 140672970232444 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 15 0 0 7196144 7232144 35549184 140726136811898 140726136812102 140726136812102 140726136815595 0
/proc/4805/statm: 2378 345 289 221 0 87 0
[pid=4807] ppid=4805 vsize=13980732 memory=279232 CPUtime=20.44 cores=0,2,4,6
/proc/4807/stat : 4807 (java) S 4805 4805 15523 0 -1 1077944320 75053 0 0 0 2029 15 0 0 20 0 15 0 19400427 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 140722551814624 139798731628279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
/proc/4807/statm: 3495183 69808 3241 1 0 3483476 0
[pid=4807/tid=4808] ppid=4805 vsize=13980732 memory=6628 CPUtime=8.13 cores=0,2,4,6
/proc/4807/task/4808/stat : 4808 (java) R 4805 4805 15523 0 -1 4202560 11605 0 0 0 807 6 0 0 20 0 15 0 19400427 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139798735860000 139798731650109 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4809] ppid=4805 vsize=13980732 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4809/stat : 4809 (java) S 4805 4805 15523 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139798331255056 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4810] ppid=4805 vsize=13980732 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4810/stat : 4810 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139798330202512 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4811] ppid=4805 vsize=13980732 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4811/stat : 4811 (java) S 4805 4805 15523 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139798329149968 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4812] ppid=4805 vsize=13980732 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4812/stat : 4812 (java) S 4805 4805 15523 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 19400428 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139798328097424 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4813] ppid=4805 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4813/stat : 4813 (java) S 4805 4805 15523 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139797648435696 139798731639426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4814] ppid=4805 vsize=13980732 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4814/stat : 4814 (java) S 4805 4805 15523 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139797647381920 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4815] ppid=4805 vsize=13980732 memory=3248 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4815/stat : 4815 (java) S 4805 4805 15523 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19400430 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139797646329328 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4816] ppid=4805 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4816/stat : 4816 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139797645277904 139798731646875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4817] ppid=4805 vsize=13980732 memory=541428 CPUtime=5.61 cores=0,2,4,6
/proc/4807/task/4817/stat : 4817 (java) S 4805 4805 15523 0 -1 1077944384 29930 0 0 0 557 4 0 0 20 0 15 0 19400433 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139797644224496 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4818] ppid=4805 vsize=13980732 memory=4068 CPUtime=5.82 cores=0,2,4,6
/proc/4807/task/4818/stat : 4818 (java) S 4805 4805 15523 0 -1 1077944384 24888 0 0 0 581 1 0 0 20 0 15 0 19400433 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139797643171952 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4819] ppid=4805 vsize=13980732 memory=1152 CPUtime=0.81 cores=0,2,4,6
/proc/4807/task/4819/stat : 4819 (java) S 4805 4805 15523 0 -1 1077944384 6316 0 0 0 79 2 0 0 20 0 15 0 19400433 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139797642119408 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4820] ppid=4805 vsize=13980732 memory=2548 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4820/stat : 4820 (java) S 4805 4805 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19400433 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139797641067104 139798731638485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
[pid=4807/tid=4821] ppid=4805 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4807/task/4821/stat : 4821 (java) S 4805 4805 15523 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 19400440 14316269568 69808 18446744073709551615 4194304 4196468 140722551832080 139797640014640 139798731639426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36708352 140722551833010 140722551833186 140722551833186 140722551836623 0
Current children cumulated CPU time: 20.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 280612 KiB

Child status: 0
Real time (s): 8.49523
CPU time (s): 20.5766
CPU user time (s): 20.4077
CPU system time (s): 0.16895
CPU usage (%): 242.214
Max. virtual memory (cumulated for all children) (KiB): 13993892
Max. memory (cumulated for all children) (KiB): 280612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.4077
system time used= 0.16895
maximum resident set size= 279684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3307
involuntary context switches= 47


# summary of solver processes directly reported to runsolver:
#   pid: 4805
#   total CPU time (s): 20.5766
#   total CPU user time (s): 20.4077
#   total CPU system time (s): 0.16895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083007 second user time and 0.150451 second system time

The end

Launcher Data 

Begin job on node130 at 2017-08-20 08:05:14
IDJOB=4283464
IDBENCH=129359
IDSOLVER=2679
FILE ID=node130/4283464-1503209924
RUNJOBID= node130-1503172050-30419
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-50-05.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-4283464-1503209924/watcher-4283464-1503209924 -o /tmp/evaluation-result-4283464-1503209924/solver-4283464-1503209924 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30419 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 934906761 HOME/instance-4283464-1503209924.xml

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

MD5SUM BENCH= 283e10528a8226f5fb6260f3e97a2c81
RANDOM SEED=934906761

node130.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.77
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.77
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.77
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.77
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:        31226080 kB
MemAvailable:   31472108 kB
Buffers:          200740 kB
Cached:           334856 kB
SwapCached:            0 kB
Active:           804348 kB
Inactive:         332736 kB
Active(anon):     602248 kB
Inactive(anon):    16748 kB
Active(file):     202100 kB
Inactive(file):   315988 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7944 kB
Writeback:             4 kB
AnonPages:        602084 kB
Mapped:            45940 kB
Shmem:             17060 kB
Slab:             112112 kB
SReclaimable:      87548 kB
SUnreclaim:        24564 kB
KernelStack:        3456 kB
PageTables:         6000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1158248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    532480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62016 MiB
End job on node130 at 2017-08-20 08:05:23