Trace number 4272184

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)OPT100 22.8067 8.7811899

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.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272184-1502797546.xml"  -tl '2520s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4272184-1502797546.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
0.96/0.57	c solve instance...
19.57/6.65	o 626 
19.57/6.66	o 625 
19.57/6.67	o 624 
19.57/6.68	o 623 
19.57/6.69	o 622 
19.84/6.70	o 621 
19.84/6.71	o 620 
19.84/6.72	o 619 
19.84/6.73	o 618 
19.84/6.74	o 617 
19.84/6.75	o 616 
19.84/6.75	o 615 
19.84/6.76	o 614 
19.84/6.76	o 613 
19.84/6.77	o 612 
19.84/6.78	o 611 
19.84/6.78	o 610 
19.84/6.79	o 609 
19.84/6.79	o 608 
19.84/6.80	o 607 
20.10/6.80	o 606 
20.10/6.81	o 605 
20.10/6.81	o 604 
20.10/6.82	o 603 
20.10/6.82	o 602 
20.10/6.83	o 601 
20.10/6.83	o 600 
20.10/6.84	o 599 
20.10/6.84	o 598 
20.10/6.85	o 597 
20.10/6.85	o 596 
20.10/6.86	o 595 
20.10/6.86	o 594 
20.10/6.87	o 593 
20.10/6.87	o 592 
20.10/6.88	o 591 
20.10/6.88	o 590 
20.10/6.89	o 589 
20.10/6.89	o 588 
20.10/6.90	o 587 
20.31/6.90	o 586 
20.31/6.91	o 585 
20.31/6.91	o 584 
20.31/6.92	o 583 
20.31/6.92	o 582 
20.31/6.93	o 581 
20.31/6.93	o 580 
20.31/6.94	o 579 
20.31/6.94	o 578 
20.31/6.95	o 577 
20.31/6.95	o 576 
20.31/6.95	o 575 
20.31/6.96	o 574 
20.31/6.96	o 573 
20.31/6.97	o 572 
20.31/6.97	o 571 
20.31/6.98	o 570 
20.31/6.98	o 569 
20.31/6.99	o 568 
20.31/6.99	o 567 
20.31/7.00	o 566 
20.31/7.00	o 565 
20.31/7.01	o 564 
20.49/7.01	o 563 
20.49/7.01	o 562 
20.49/7.02	o 561 
20.49/7.02	o 560 
20.49/7.03	o 559 
20.49/7.03	o 558 
20.49/7.04	o 557 
20.49/7.04	o 556 
20.49/7.05	o 555 
20.49/7.05	o 554 
20.49/7.06	o 553 
20.49/7.06	o 552 
20.49/7.07	o 551 
20.49/7.07	o 550 
20.49/7.08	o 549 
20.49/7.08	o 548 
20.49/7.08	o 547 
20.49/7.09	o 546 
20.49/7.09	o 545 
20.49/7.10	o 544 
20.49/7.10	o 543 
20.61/7.11	o 542 
20.61/7.11	o 541 
20.61/7.12	o 540 
20.61/7.12	o 539 
20.61/7.13	o 538 
20.61/7.13	o 537 
20.61/7.14	o 536 
20.61/7.14	o 535 
20.61/7.15	o 534 
20.61/7.15	o 533 
20.61/7.15	o 532 
20.61/7.16	o 531 
20.61/7.16	o 530 
20.61/7.17	o 529 
20.61/7.17	o 528 
20.61/7.18	o 527 
20.61/7.18	o 526 
20.61/7.19	o 525 
20.61/7.19	o 524 
20.72/7.20	o 523 
20.72/7.20	o 522 
20.72/7.21	o 521 
20.72/7.21	o 520 
20.72/7.21	o 519 
20.72/7.22	o 518 
20.72/7.22	o 517 
20.72/7.23	o 516 
20.72/7.23	o 515 
20.72/7.24	o 514 
20.72/7.24	o 513 
20.72/7.25	o 512 
20.72/7.25	o 511 
20.72/7.26	o 510 
20.72/7.26	o 509 
20.72/7.27	o 508 
20.72/7.27	o 507 
20.72/7.27	o 506 
20.72/7.28	o 505 
20.72/7.28	o 504 
20.72/7.29	o 503 
20.72/7.29	o 502 
20.72/7.30	o 501 
20.84/7.30	o 500 
20.84/7.31	o 499 
20.84/7.31	o 498 
20.84/7.32	o 497 
20.84/7.32	o 496 
20.84/7.32	o 495 
20.84/7.33	o 494 
20.84/7.33	o 493 
20.84/7.34	o 492 
20.84/7.34	o 491 
20.84/7.35	o 490 
20.84/7.35	o 489 
20.84/7.36	o 488 
20.84/7.36	o 487 
20.84/7.37	o 486 
20.84/7.37	o 485 
20.84/7.37	o 484 
20.84/7.38	o 483 
20.84/7.38	o 482 
20.84/7.39	o 481 
20.84/7.39	o 480 
20.95/7.40	o 479 
20.95/7.40	o 478 
20.95/7.41	o 477 
20.95/7.41	o 476 
20.95/7.42	o 475 
20.95/7.42	o 474 
20.95/7.42	o 473 
20.95/7.43	o 472 
20.95/7.43	o 471 
20.95/7.44	o 470 
20.95/7.44	o 469 
20.95/7.45	o 468 
20.95/7.45	o 467 
20.95/7.46	o 466 
20.95/7.46	o 465 
20.95/7.47	o 464 
20.95/7.47	o 463 
20.95/7.47	o 462 
20.95/7.48	o 461 
20.95/7.48	o 460 
20.95/7.49	o 459 
20.95/7.49	o 458 
21.07/7.50	o 457 
21.07/7.50	o 456 
21.07/7.51	o 455 
21.07/7.51	o 454 
21.07/7.52	o 453 
21.07/7.52	o 452 
21.07/7.53	o 451 
21.07/7.53	o 450 
21.07/7.53	o 449 
21.07/7.54	o 448 
21.07/7.54	o 447 
21.07/7.55	o 446 
21.07/7.55	o 445 
21.07/7.56	o 444 
21.07/7.56	o 443 
21.07/7.57	o 442 
21.07/7.57	o 441 
21.07/7.58	o 440 
21.07/7.58	o 439 
21.07/7.58	o 438 
21.07/7.59	o 437 
21.07/7.59	o 436 
21.25/7.60	o 435 
21.25/7.60	o 434 
21.25/7.61	o 433 
21.25/7.61	o 432 
21.25/7.62	o 431 
21.25/7.62	o 430 
21.25/7.62	o 429 
21.25/7.63	o 428 
21.25/7.63	o 427 
21.25/7.64	o 426 
21.25/7.64	o 425 
21.25/7.65	o 424 
21.25/7.65	o 423 
21.25/7.66	o 422 
21.25/7.66	o 421 
21.25/7.67	o 420 
21.25/7.67	o 419 
21.25/7.67	o 418 
21.25/7.68	o 417 
21.25/7.68	o 416 
21.25/7.69	o 415 
21.25/7.69	o 414 
21.25/7.70	o 413 
21.36/7.70	o 412 
21.36/7.71	o 411 
21.36/7.71	o 410 
21.36/7.71	o 409 
21.36/7.72	o 408 
21.36/7.72	o 407 
21.36/7.73	o 406 
21.36/7.73	o 405 
21.36/7.74	o 404 
21.36/7.74	o 403 
21.36/7.75	o 402 
21.36/7.75	o 401 
21.36/7.75	o 400 
21.36/7.76	o 399 
21.36/7.76	o 398 
21.36/7.77	o 397 
21.36/7.77	o 396 
21.36/7.78	o 395 
21.36/7.78	o 394 
21.36/7.79	o 393 
21.36/7.79	o 392 
21.36/7.80	o 391 
21.47/7.80	o 390 
21.47/7.80	o 389 
21.47/7.81	o 388 
21.47/7.81	o 387 
21.47/7.82	o 386 
21.47/7.82	o 385 
21.47/7.83	o 384 
21.47/7.83	o 383 
21.47/7.84	o 382 
21.47/7.84	o 381 
21.47/7.84	o 380 
21.47/7.85	o 379 
21.47/7.85	o 378 
21.47/7.86	o 377 
21.47/7.86	o 376 
21.47/7.87	o 375 
21.47/7.87	o 374 
21.47/7.88	o 373 
21.47/7.88	o 372 
21.47/7.88	o 371 
21.47/7.89	o 370 
21.47/7.89	o 369 
21.58/7.90	o 368 
21.58/7.90	o 367 
21.58/7.91	o 366 
21.58/7.91	o 365 
21.58/7.92	o 364 
21.58/7.92	o 363 
21.58/7.93	o 362 
21.58/7.93	o 361 
21.58/7.93	o 360 
21.58/7.94	o 359 
21.58/7.94	o 358 
21.58/7.95	o 357 
21.58/7.95	o 356 
21.58/7.96	o 355 
21.58/7.96	o 354 
21.58/7.97	o 353 
21.58/7.97	o 352 
21.58/7.97	o 351 
21.58/7.98	o 350 
21.58/7.98	o 349 
21.58/7.99	o 348 
21.58/7.99	o 347 
21.58/8.00	o 346 
21.58/8.00	o 345 
21.74/8.01	o 344 
21.74/8.01	o 343 
21.74/8.02	o 342 
21.74/8.02	o 341 
21.74/8.02	o 340 
21.74/8.03	o 339 
21.74/8.03	o 338 
21.74/8.04	o 337 
21.74/8.04	o 336 
21.74/8.05	o 335 
21.74/8.05	o 334 
21.74/8.06	o 333 
21.74/8.06	o 332 
21.74/8.06	o 331 
21.74/8.07	o 330 
21.74/8.07	o 329 
21.74/8.08	o 328 
21.74/8.08	o 327 
21.74/8.09	o 326 
21.74/8.09	o 325 
21.74/8.10	o 324 
21.74/8.10	o 323 
21.74/8.10	o 322 
21.88/8.11	o 321 
21.88/8.11	o 320 
21.88/8.12	o 319 
21.88/8.12	o 318 
21.88/8.13	o 317 
21.88/8.13	o 316 
21.88/8.14	o 315 
21.88/8.14	o 314 
21.88/8.15	o 313 
21.88/8.15	o 312 
21.88/8.15	o 311 
21.88/8.16	o 310 
21.88/8.16	o 309 
21.88/8.17	o 308 
21.88/8.17	o 307 
21.88/8.18	o 306 
21.88/8.18	o 305 
21.88/8.19	o 304 
21.88/8.19	o 303 
21.88/8.19	o 302 
22.02/8.20	o 301 
22.02/8.20	o 300 
22.02/8.21	o 299 
22.02/8.21	o 298 
22.02/8.22	o 297 
22.02/8.22	o 296 
22.02/8.23	o 295 
22.02/8.23	o 294 
22.02/8.24	o 293 
22.02/8.24	o 292 
22.02/8.24	o 291 
22.02/8.25	o 290 
22.02/8.25	o 289 
22.02/8.26	o 288 
22.02/8.26	o 287 
22.02/8.27	o 286 
22.02/8.27	o 285 
22.02/8.28	o 284 
22.02/8.28	o 283 
22.02/8.29	o 282 
22.02/8.29	o 281 
22.02/8.29	o 280 
22.21/8.30	o 279 
22.21/8.30	o 278 
22.21/8.31	o 277 
22.21/8.31	o 276 
22.21/8.32	o 275 
22.21/8.32	o 274 
22.21/8.33	o 273 
22.21/8.33	o 272 
22.21/8.34	o 271 
22.21/8.34	o 270 
22.21/8.35	o 269 
22.21/8.35	o 268 
22.21/8.35	o 267 
22.21/8.36	o 266 
22.21/8.36	o 265 
22.21/8.37	o 264 
22.21/8.37	o 263 
22.21/8.38	o 262 
22.21/8.38	o 261 
22.21/8.39	o 260 
22.21/8.39	o 259 
22.21/8.40	o 258 
22.36/8.40	o 257 
22.36/8.41	o 256 
22.36/8.41	o 255 
22.36/8.41	o 254 
22.36/8.42	o 253 
22.36/8.42	o 252 
22.36/8.43	o 251 
22.36/8.43	o 250 
22.36/8.44	o 249 
22.36/8.44	o 248 
22.36/8.45	o 247 
22.36/8.45	o 246 
22.36/8.46	o 245 
22.36/8.46	o 244 
22.36/8.47	o 243 
22.36/8.47	o 242 
22.36/8.47	o 241 
22.36/8.48	o 240 
22.36/8.48	o 239 
22.36/8.49	o 238 
22.36/8.49	o 237 
22.47/8.50	o 236 
22.47/8.50	o 235 
22.47/8.51	o 234 
22.47/8.51	o 233 
22.47/8.52	o 232 
22.47/8.52	o 231 
22.47/8.53	o 230 
22.47/8.53	o 229 
22.47/8.53	o 228 
22.47/8.54	o 227 
22.47/8.54	o 226 
22.47/8.55	o 225 
22.47/8.55	o 224 
22.47/8.56	o 223 
22.47/8.56	o 222 
22.47/8.57	o 221 
22.47/8.57	o 220 
22.47/8.58	o 219 
22.47/8.58	o 218 
22.47/8.59	o 217 
22.47/8.59	o 216 
22.47/8.60	o 215 
22.57/8.60	o 214 
22.57/8.60	o 213 
22.57/8.61	o 212 
22.57/8.61	o 211 
22.57/8.61	o 210 
22.57/8.62	o 209 
22.57/8.62	o 208 
22.57/8.62	o 207 
22.57/8.63	o 206 
22.57/8.63	o 205 
22.57/8.63	o 204 
22.57/8.63	o 203 
22.57/8.64	o 202 
22.57/8.64	o 201 
22.57/8.65	o 200 
22.57/8.65	o 199 
22.57/8.66	o 198 
22.57/8.66	o 197 
22.57/8.67	o 196 
22.57/8.67	o 195 
22.57/8.67	o 194 
22.57/8.68	o 193 
22.57/8.68	o 192 
22.57/8.70	o 191 
22.68/8.71	o 190 
22.68/8.73	o 102 
22.68/8.74	o 101 
22.68/8.75	o 100 
22.68/8.75	s OPTIMUM FOUND
22.68/8.75	v <instantiation>
22.68/8.75	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>
22.68/8.75	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>
22.68/8.75	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 (14469 MiB free)
  memory of node 1: 16384 MiB (15384 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272184-1502797546/watcher-4272184-1502797546 -o /tmp/evaluation-result-4272184-1502797546/solver-4272184-1502797546 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502786318-30227 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1724327920 HOME/instance-4272184-1502797546.xml 

running on 4 cores: 1,3,5,7

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

solver pid=1090, runsolver pid=1087

[startup+0.100142 s]*
/proc/loadavg: 1.72 1.66 1.63 3/218 1106
/proc/meminfo: memFree=30553404/32770624 swapFree=67108860/67108860
[pid=1090] ppid=1087 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1090/stat : 1090 (xcsp3-exec) S 1087 1090 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112842869 9740288 346 33554432000 4194304 5098028 140724074697632 140724074695736 140572452602492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22568960 140724074706030 140724074706235 140724074706235 140724074708971 0
/proc/1090/statm: 2378 346 289 221 0 87 0
[pid=1092] ppid=1090 vsize=13978596 memory=28096 CPUtime=0.12 cores=1,3,5,7
/proc/1092/stat : 1092 (java) S 1090 1090 30195 0 -1 1077944320 5385 0 0 0 11 1 0 0 20 0 15 0 112842869 14314082304 7024 33554432000 4194304 4196468 140729841943440 140729841925984 140611174924023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
/proc/1092/statm: 3494649 7024 2870 1 0 3482966 0
[pid=1092/tid=1093] ppid=1090 vsize=13978596 memory=7022364632946311227 CPUtime=0.09 cores=1,3,5,7
/proc/1092/task/1093/stat : 1093 (java) R 1090 1090 30195 0 -1 4202560 3395 0 0 0 9 0 0 0 20 0 15 0 112842869 14314082304 7089 33554432000 4194304 4196468 140729841943440 140611179157296 140611174935958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1094] ppid=1090 vsize=13978596 memory=4294976255 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1094/stat : 1094 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14314082304 7155 33554432000 4194304 4196468 140729841943440 140611127544464 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1095] ppid=1090 vsize=13978596 memory=288370121531762304 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1095/stat : 1095 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14314082304 7155 33554432000 4194304 4196468 140729841943440 140611126491664 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1096] ppid=1090 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1096/stat : 1096 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14314082304 7155 33554432000 4194304 4196468 140729841943440 140611125438864 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1097] ppid=1090 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1097/stat : 1097 (java) S 1090 1090 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112842870 14314082304 7155 33554432000 4194304 4196468 140729841943440 140611124386064 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1098] ppid=1090 vsize=13978596 memory=139745380050560 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1098/stat : 1098 (java) S 1090 1090 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112842871 14314082304 7155 33554432000 4194304 4196468 140729841943440 140610153720688 140611174935170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1099] ppid=1090 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1099/stat : 1099 (java) S 1090 1090 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112842872 14314082304 7155 33554432000 4194304 4196468 140729841943440 140610152666656 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1100] ppid=1090 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1100/stat : 1100 (java) S 1090 1090 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112842872 14314082304 7155 33554432000 4194304 4196468 140729841943440 140610151613808 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1101] ppid=1090 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1101/stat : 1101 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842874 14314082304 7155 33554432000 4194304 4196468 140729841943440 140610150562128 140611174942619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1102] ppid=1090 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1102/stat : 1102 (java) S 1090 1090 30195 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 112842874 14314082304 7155 33554432000 4194304 4196468 140729841943440 140610149509488 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1103] ppid=1090 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1103/stat : 1103 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842874 14314082304 7155 33554432000 4194304 4196468 140729841943440 140610148456688 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1104] ppid=1090 vsize=13978596 memory=139745380050560 CPUtime=0.01 cores=1,3,5,7
/proc/1092/task/1104/stat : 1104 (java) R 1090 1090 30195 0 -1 4202560 334 0 0 0 1 0 0 0 20 0 15 0 112842874 14314082304 7155 33554432000 4194304 4196468 140729841943440 140610147403888 140611167161150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1105] ppid=1090 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1105/stat : 1105 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842875 14314082304 7155 33554432000 4194304 4196468 140729841943440 140610146351328 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1106] ppid=1090 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1106/stat : 1106 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842875 14314082304 7155 33554432000 4194304 4196468 140729841943440 140610145299632 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29480 KiB

[startup+0.210928 s]*
/proc/loadavg: 1.72 1.66 1.63 4/218 1106
/proc/meminfo: memFree=30541620/32770624 swapFree=67108860/67108860
[pid=1090] ppid=1087 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1090/stat : 1090 (xcsp3-exec) S 1087 1090 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112842869 9740288 346 33554432000 4194304 5098028 140724074697632 140724074695736 140572452602492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22568960 140724074706030 140724074706235 140724074706235 140724074708971 0
/proc/1090/statm: 2378 346 289 221 0 87 0
[pid=1092] ppid=1090 vsize=13982852 memory=40652 CPUtime=0.34 cores=1,3,5,7
/proc/1092/stat : 1092 (java) S 1090 1090 30195 0 -1 1077944320 8157 0 0 0 32 2 0 0 20 0 15 0 112842869 14318440448 10163 33554432000 4194304 4196468 140729841943440 140729841925984 140611174924023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
/proc/1092/statm: 3495713 10163 3053 1 0 3482966 0
[pid=1092/tid=1093] ppid=1090 vsize=13982852 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1092/task/1093/stat : 1093 (java) R 1090 1090 30195 0 -1 4202560 5322 0 0 0 19 1 0 0 20 0 15 0 112842869 14318440448 10163 33554432000 4194304 4196468 140729841943440 140611179146048 140611159004510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1094] ppid=1090 vsize=13982852 memory=4294976255 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1094/stat : 1094 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14318440448 10163 33554432000 4194304 4196468 140729841943440 140611127544464 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1095] ppid=1090 vsize=13982852 memory=288370121531762304 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1095/stat : 1095 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14318440448 10163 33554432000 4194304 4196468 140729841943440 140611126491664 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1096] ppid=1090 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1096/stat : 1096 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14318440448 10163 33554432000 4194304 4196468 140729841943440 140611125438864 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1097] ppid=1090 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1097/stat : 1097 (java) S 1090 1090 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112842870 14318440448 10163 33554432000 4194304 4196468 140729841943440 140611124386064 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1098] ppid=1090 vsize=13982852 memory=139745380050560 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1098/stat : 1098 (java) S 1090 1090 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112842871 14318440448 10163 33554432000 4194304 4196468 140729841943440 140610153720688 140611174935170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1099] ppid=1090 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1099/stat : 1099 (java) S 1090 1090 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112842872 14318440448 10163 33554432000 4194304 4196468 140729841943440 140610152666656 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1100] ppid=1090 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1100/stat : 1100 (java) S 1090 1090 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112842872 14318440448 10163 33554432000 4194304 4196468 140729841943440 140610151613808 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1101] ppid=1090 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1101/stat : 1101 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842874 14318440448 10163 33554432000 4194304 4196468 140729841943440 140610150562128 140611174942619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1102] ppid=1090 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1092/task/1102/stat : 1102 (java) S 1090 1090 30195 0 -1 1077944384 581 0 0 0 2 0 0 0 20 0 15 0 112842874 14318440448 10163 33554432000 4194304 4196468 140729841943440 140610149509488 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1103] ppid=1090 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1092/task/1103/stat : 1103 (java) S 1090 1090 30195 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 112842874 14318440448 10163 33554432000 4194304 4196468 140729841943440 140610148456688 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1104] ppid=1090 vsize=13982852 memory=139745380050560 CPUtime=0.08 cores=1,3,5,7
/proc/1092/task/1104/stat : 1104 (java) R 1090 1090 30195 0 -1 4202560 741 0 0 0 8 0 0 0 20 0 15 0 112842874 14318440448 10163 33554432000 4194304 4196468 140729841943440 140610147403888 140611167161150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1105] ppid=1090 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1105/stat : 1105 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842875 14318440448 10163 33554432000 4194304 4196468 140729841943440 140610146351328 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1106] ppid=1090 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1106/stat : 1106 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842875 14318440448 10163 33554432000 4194304 4196468 140729841943440 140610145299632 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42036 KiB

[startup+0.310828 s]*
/proc/loadavg: 1.72 1.66 1.63 5/218 1106
/proc/meminfo: memFree=30535292/32770624 swapFree=67108860/67108860
[pid=1090] ppid=1087 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1090/stat : 1090 (xcsp3-exec) S 1087 1090 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112842869 9740288 346 33554432000 4194304 5098028 140724074697632 140724074695736 140572452602492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22568960 140724074706030 140724074706235 140724074706235 140724074708971 0
/proc/1090/statm: 2378 346 289 221 0 87 0
[pid=1092] ppid=1090 vsize=13982852 memory=47328 CPUtime=0.51 cores=1,3,5,7
/proc/1092/stat : 1092 (java) S 1090 1090 30195 0 -1 1077944320 9021 0 0 0 48 3 0 0 20 0 15 0 112842869 14318440448 11832 33554432000 4194304 4196468 140729841943440 140729841925984 140611174924023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
/proc/1092/statm: 3495713 11832 3106 1 0 3482966 0
[pid=1092/tid=1093] ppid=1090 vsize=13982852 memory=1398720917958146503 CPUtime=0.29 cores=1,3,5,7
/proc/1092/task/1093/stat : 1093 (java) R 1090 1090 30195 0 -1 4202560 5979 0 0 0 28 1 0 0 20 0 15 0 112842869 14318440448 11898 33554432000 4194304 4196468 140729841943440 140611179159104 140611174935958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1094] ppid=1090 vsize=13982852 memory=3244 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1094/stat : 1094 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14318440448 11898 33554432000 4194304 4196468 140729841943440 140611127544464 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1095] ppid=1090 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1095/stat : 1095 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14318440448 11898 33554432000 4194304 4196468 140729841943440 140611126491664 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1096] ppid=1090 vsize=13982852 memory=822720 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1096/stat : 1096 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14318440448 11898 33554432000 4194304 4196468 140729841943440 140611125438864 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1097] ppid=1090 vsize=13982852 memory=16236 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1097/stat : 1097 (java) S 1090 1090 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112842870 14318440448 11898 33554432000 4194304 4196468 140729841943440 140611124386064 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1098] ppid=1090 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1098/stat : 1098 (java) S 1090 1090 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112842871 14318440448 11898 33554432000 4194304 4196468 140729841943440 140610153720688 140611174935170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1099] ppid=1090 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1099/stat : 1099 (java) S 1090 1090 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112842872 14318440448 11898 33554432000 4194304 4196468 140729841943440 140610152666656 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1100] ppid=1090 vsize=13982852 memory=139745283891664 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1100/stat : 1100 (java) S 1090 1090 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112842872 14318440448 11898 33554432000 4194304 4196468 140729841943440 140610151613808 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1101] ppid=1090 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1101/stat : 1101 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842874 14318440448 11898 33554432000 4194304 4196468 140729841943440 140610150562128 140611174942619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1102] ppid=1090 vsize=13982852 memory=6656426216303648864 CPUtime=0.04 cores=1,3,5,7
/proc/1092/task/1102/stat : 1102 (java) S 1090 1090 30195 0 -1 1077944384 627 0 0 0 4 0 0 0 20 0 15 0 112842874 14318440448 11898 33554432000 4194304 4196468 140729841943440 140610149509488 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1103] ppid=1090 vsize=13982852 memory=6944656592455360604 CPUtime=0.03 cores=1,3,5,7
/proc/1092/task/1103/stat : 1103 (java) S 1090 1090 30195 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 15 0 112842874 14318440448 11898 33554432000 4194304 4196468 140729841943440 140610148456688 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1104] ppid=1090 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/1092/task/1104/stat : 1104 (java) S 1090 1090 30195 0 -1 1077944384 852 0 0 0 13 0 0 0 20 0 15 0 112842874 14318440448 11898 33554432000 4194304 4196468 140729841943440 140610147403888 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1105] ppid=1090 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1105/stat : 1105 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842875 14318440448 11898 33554432000 4194304 4196468 140729841943440 140610146351328 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1106] ppid=1090 vsize=13982852 memory=-3535470213243961690 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1106/stat : 1106 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842875 14318440448 11898 33554432000 4194304 4196468 140729841943440 140610145299632 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48712 KiB

[startup+0.700831 s]
/proc/loadavg: 1.72 1.66 1.63 3/218 1106
/proc/meminfo: memFree=30522132/32770624 swapFree=67108860/67108860
[pid=1090] ppid=1087 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1090/stat : 1090 (xcsp3-exec) S 1087 1090 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112842869 9740288 346 33554432000 4194304 5098028 140724074697632 140724074695736 140572452602492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22568960 140724074706030 140724074706235 140724074706235 140724074708971 0
/proc/1090/statm: 2378 346 289 221 0 87 0
[pid=1092] ppid=1090 vsize=13984976 memory=78776 CPUtime=1.55 cores=1,3,5,7
/proc/1092/stat : 1092 (java) S 1090 1090 30195 0 -1 1077944320 13937 0 0 0 150 5 0 0 20 0 15 0 112842869 14320615424 19694 33554432000 4194304 4196468 140729841943440 140729841925984 140611174924023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
/proc/1092/statm: 3496244 19694 3209 1 0 3483478 0
[pid=1092/tid=1093] ppid=1090 vsize=13984976 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/1092/task/1093/stat : 1093 (java) R 1090 1090 30195 0 -1 4202560 6900 0 0 0 64 3 0 0 20 0 15 0 112842869 14320615424 19694 33554432000 4194304 4196468 140729841943440 140611179159064 140610807306991 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1094] ppid=1090 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1094/stat : 1094 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 19694 33554432000 4194304 4196468 140729841943440 140611127544464 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1095] ppid=1090 vsize=13984976 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1095/stat : 1095 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 19694 33554432000 4194304 4196468 140729841943440 140611126491664 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1096] ppid=1090 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1096/stat : 1096 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 19694 33554432000 4194304 4196468 140729841943440 140611125438864 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1097] ppid=1090 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1097/stat : 1097 (java) S 1090 1090 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 19694 33554432000 4194304 4196468 140729841943440 140611124386064 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1098] ppid=1090 vsize=13984976 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1098/stat : 1098 (java) S 1090 1090 30195 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112842871 14320615424 19694 33554432000 4194304 4196468 140729841943440 140610153720688 140611174935170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1099] ppid=1090 vsize=13984976 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1099/stat : 1099 (java) S 1090 1090 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112842872 14320615424 19694 33554432000 4194304 4196468 140729841943440 140610152666656 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1100] ppid=1090 vsize=13984976 memory=8568 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1100/stat : 1100 (java) S 1090 1090 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112842872 14320615424 19694 33554432000 4194304 4196468 140729841943440 140610151613808 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1101] ppid=1090 vsize=13984976 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1101/stat : 1101 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842874 14320615424 19694 33554432000 4194304 4196468 140729841943440 140610150562128 140611174942619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1102] ppid=1090 vsize=13984976 memory=11000 CPUtime=0.23 cores=1,3,5,7
/proc/1092/task/1102/stat : 1102 (java) R 1090 1090 30195 0 -1 4202560 2145 0 0 0 23 0 0 0 20 0 15 0 112842874 14320615424 19694 33554432000 4194304 4196468 140729841943440 140610149490504 140611167213472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1103] ppid=1090 vsize=13984976 memory=1224 CPUtime=0.23 cores=1,3,5,7
/proc/1092/task/1103/stat : 1103 (java) R 1090 1090 30195 0 -1 4202560 1465 0 0 0 23 0 0 0 20 0 15 0 112842874 14320615424 19694 33554432000 4194304 4196468 140729841943440 140610148447240 140611156467746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1104] ppid=1090 vsize=13984976 memory=5792 CPUtime=0.4 cores=1,3,5,7
/proc/1092/task/1104/stat : 1104 (java) R 1090 1090 30195 0 -1 4202560 2171 0 0 0 40 0 0 0 20 0 15 0 112842874 14320615424 19694 33554432000 4194304 4196468 140729841943440 140610147403888 140611167161150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1105] ppid=1090 vsize=13984976 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1105/stat : 1105 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842875 14320615424 19694 33554432000 4194304 4196468 140729841943440 140610146351328 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1106] ppid=1090 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1106/stat : 1106 (java) S 1090 1090 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112842875 14320615424 19694 33554432000 4194304 4196468 140729841943440 140610145299632 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80160 KiB

[startup+1.50088 s]
/proc/loadavg: 1.72 1.66 1.63 5/218 1106
/proc/meminfo: memFree=30473932/32770624 swapFree=67108860/67108860
[pid=1090] ppid=1087 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1090/stat : 1090 (xcsp3-exec) S 1087 1090 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112842869 9740288 346 33554432000 4194304 5098028 140724074697632 140724074695736 140572452602492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22568960 140724074706030 140724074706235 140724074706235 140724074708971 0
/proc/1090/statm: 2378 346 289 221 0 87 0

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

/proc/1090/stat : 1090 (xcsp3-exec) S 1087 1090 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112842869 9740288 346 33554432000 4194304 5098028 140724074697632 140724074695736 140572452602492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22568960 140724074706030 140724074706235 140724074706235 140724074708971 0
/proc/1090/statm: 2378 346 289 221 0 87 0
[pid=1092] ppid=1090 vsize=13984976 memory=286180 CPUtime=21.74 cores=1,3,5,7
/proc/1092/stat : 1092 (java) S 1090 1090 30195 0 -1 1077944320 87392 0 0 0 2157 17 0 0 20 0 15 0 112842869 14320615424 71545 33554432000 4194304 4196468 140729841943440 140729841925984 140611174924023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
/proc/1092/statm: 3496244 71545 3252 1 0 3483478 0
[pid=1092/tid=1093] ppid=1090 vsize=13984976 memory=1398720917958146503 CPUtime=7.95 cores=1,3,5,7
/proc/1092/task/1093/stat : 1093 (java) R 1090 1090 30195 0 -1 4202560 8963 0 0 0 790 5 0 0 20 0 15 0 112842869 14320615424 71545 33554432000 4194304 4196468 140729841943440 140611179159840 140610811652083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1094] ppid=1090 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1094/stat : 1094 (java) S 1090 1090 30195 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71545 33554432000 4194304 4196468 140729841943440 140611127544464 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1095] ppid=1090 vsize=13984976 memory=5291836502725518178 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1095/stat : 1095 (java) S 1090 1090 30195 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71545 33554432000 4194304 4196468 140729841943440 140611126491664 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1096] ppid=1090 vsize=13984976 memory=734139722786418735 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1096/stat : 1096 (java) S 1090 1090 30195 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71545 33554432000 4194304 4196468 140729841943440 140611125438864 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1097] ppid=1090 vsize=13984976 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1097/stat : 1097 (java) S 1090 1090 30195 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71545 33554432000 4194304 4196468 140729841943440 140611124386064 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1098] ppid=1090 vsize=13984976 memory=3474720940933043888 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1098/stat : 1098 (java) S 1090 1090 30195 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 112842871 14320615424 71545 33554432000 4194304 4196468 140729841943440 140610153720688 140611174935170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1099] ppid=1090 vsize=13984976 memory=3472328296227680264 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1099/stat : 1099 (java) S 1090 1090 30195 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 112842872 14320615424 71545 33554432000 4194304 4196468 140729841943440 140610152666656 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1100] ppid=1090 vsize=13984976 memory=-7384994778349281184 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1100/stat : 1100 (java) S 1090 1090 30195 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112842872 14320615424 71545 33554432000 4194304 4196468 140729841943440 140610151613808 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1101] ppid=1090 vsize=13984976 memory=-9001734000804784231 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1101/stat : 1101 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842874 14320615424 71545 33554432000 4194304 4196468 140729841943440 140610150562128 140611174942619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1102] ppid=1090 vsize=13984976 memory=0 CPUtime=6.47 cores=1,3,5,7
/proc/1092/task/1102/stat : 1102 (java) S 1090 1090 30195 0 -1 1077944384 37542 0 0 0 644 3 0 0 20 0 15 0 112842874 14320615424 71545 33554432000 4194304 4196468 140729841943440 140610149509488 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1103] ppid=1090 vsize=13984976 memory=3472328296227680303 CPUtime=6.42 cores=1,3,5,7
/proc/1092/task/1103/stat : 1103 (java) S 1090 1090 30195 0 -1 1077944384 30558 0 0 0 639 3 0 0 20 0 15 0 112842874 14320615424 71545 33554432000 4194304 4196468 140729841943440 140610148456688 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1104] ppid=1090 vsize=13984976 memory=3472468040954089198 CPUtime=0.82 cores=1,3,5,7
/proc/1092/task/1104/stat : 1104 (java) S 1090 1090 30195 0 -1 1077944384 8017 0 0 0 80 2 0 0 20 0 15 0 112842874 14320615424 71545 33554432000 4194304 4196468 140729841943440 140610147403888 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1105] ppid=1090 vsize=13984976 memory=3472328128896198466 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1105/stat : 1105 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842875 14320615424 71545 33554432000 4194304 4196468 140729841943440 140610146351328 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1106] ppid=1090 vsize=13984976 memory=2319550952277860273 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1106/stat : 1106 (java) S 1090 1090 30195 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 112842875 14320615424 71545 33554432000 4194304 4196468 140729841943440 140610145299632 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
Current children cumulated CPU time: 21.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 287564 KiB

[startup+8.40077 s]
/proc/loadavg: 1.76 1.67 1.63 3/218 1106
/proc/meminfo: memFree=30269280/32770624 swapFree=67108860/67108860
[pid=1090] ppid=1087 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1090/stat : 1090 (xcsp3-exec) S 1087 1090 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112842869 9740288 346 33554432000 4194304 5098028 140724074697632 140724074695736 140572452602492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22568960 140724074706030 140724074706235 140724074706235 140724074708971 0
/proc/1090/statm: 2378 346 289 221 0 87 0
[pid=1092] ppid=1090 vsize=13984976 memory=286520 CPUtime=22.36 cores=1,3,5,7
/proc/1092/stat : 1092 (java) S 1090 1090 30195 0 -1 1077944320 87443 0 0 0 2219 17 0 0 20 0 15 0 112842869 14320615424 71630 33554432000 4194304 4196468 140729841943440 140729841925984 140611174924023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
/proc/1092/statm: 3496244 71630 3253 1 0 3483478 0
[pid=1092/tid=1093] ppid=1090 vsize=13984976 memory=8112282956445269571 CPUtime=8.34 cores=1,3,5,7
/proc/1092/task/1093/stat : 1093 (java) R 1090 1090 30195 0 -1 4202560 8963 0 0 0 829 5 0 0 20 0 15 0 112842869 14320615424 71630 33554432000 4194304 4196468 140729841943440 140611179159840 140610811475021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1094] ppid=1090 vsize=13984976 memory=4638778402627734864 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1094/stat : 1094 (java) S 1090 1090 30195 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71630 33554432000 4194304 4196468 140729841943440 140611127544464 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1095] ppid=1090 vsize=13984976 memory=7449354454314603109 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1095/stat : 1095 (java) S 1090 1090 30195 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71630 33554432000 4194304 4196468 140729841943440 140611126491664 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1096] ppid=1090 vsize=13984976 memory=6442213885063815520 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1096/stat : 1096 (java) S 1090 1090 30195 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71630 33554432000 4194304 4196468 140729841943440 140611125438864 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1097] ppid=1090 vsize=13984976 memory=2314885530816952938 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1097/stat : 1097 (java) S 1090 1090 30195 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71630 33554432000 4194304 4196468 140729841943440 140611124386064 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1098] ppid=1090 vsize=13984976 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1098/stat : 1098 (java) S 1090 1090 30195 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 112842871 14320615424 71630 33554432000 4194304 4196468 140729841943440 140610153720688 140611174935170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1099] ppid=1090 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1099/stat : 1099 (java) S 1090 1090 30195 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 112842872 14320615424 71630 33554432000 4194304 4196468 140729841943440 140610152666656 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1100] ppid=1090 vsize=13984976 memory=-8412654363917126771 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1100/stat : 1100 (java) S 1090 1090 30195 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112842872 14320615424 71630 33554432000 4194304 4196468 140729841943440 140610151613808 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1101] ppid=1090 vsize=13984976 memory=-6510085020717465535 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1101/stat : 1101 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842874 14320615424 71630 33554432000 4194304 4196468 140729841943440 140610150562128 140611174942619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1102] ppid=1090 vsize=13984976 memory=-8253362664378451622 CPUtime=6.52 cores=1,3,5,7
/proc/1092/task/1102/stat : 1102 (java) S 1090 1090 30195 0 -1 1077944384 37554 0 0 0 649 3 0 0 20 0 15 0 112842874 14320615424 71630 33554432000 4194304 4196468 140729841943440 140610149509488 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1103] ppid=1090 vsize=13984976 memory=-7750001083477550754 CPUtime=6.58 cores=1,3,5,7
/proc/1092/task/1103/stat : 1103 (java) S 1090 1090 30195 0 -1 1077944384 30587 0 0 0 655 3 0 0 20 0 15 0 112842874 14320615424 71630 33554432000 4194304 4196468 140729841943440 140610148456688 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1104] ppid=1090 vsize=13984976 memory=139745380083073 CPUtime=0.82 cores=1,3,5,7
/proc/1092/task/1104/stat : 1104 (java) S 1090 1090 30195 0 -1 1077944384 8027 0 0 0 80 2 0 0 20 0 15 0 112842874 14320615424 71630 33554432000 4194304 4196468 140729841943440 140610147403888 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1105] ppid=1090 vsize=13984976 memory=6084770368703458658 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1105/stat : 1105 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842875 14320615424 71630 33554432000 4194304 4196468 140729841943440 140610146351328 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1106] ppid=1090 vsize=13984976 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1106/stat : 1106 (java) S 1090 1090 30195 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 112842875 14320615424 71630 33554432000 4194304 4196468 140729841943440 140610145299632 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
Current children cumulated CPU time: 22.36 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 287904 KiB

[startup+8.60066 s]
/proc/loadavg: 1.76 1.67 1.63 3/218 1106
/proc/meminfo: memFree=30269280/32770624 swapFree=67108860/67108860
[pid=1090] ppid=1087 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1090/stat : 1090 (xcsp3-exec) S 1087 1090 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112842869 9740288 346 33554432000 4194304 5098028 140724074697632 140724074695736 140572452602492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22568960 140724074706030 140724074706235 140724074706235 140724074708971 0
/proc/1090/statm: 2378 346 289 221 0 87 0
[pid=1092] ppid=1090 vsize=13984976 memory=286544 CPUtime=22.57 cores=1,3,5,7
/proc/1092/stat : 1092 (java) S 1090 1090 30195 0 -1 1077944320 87451 0 0 0 2240 17 0 0 20 0 15 0 112842869 14320615424 71636 33554432000 4194304 4196468 140729841943440 140729841925984 140611174924023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
/proc/1092/statm: 3496244 71636 3253 1 0 3483478 0
[pid=1092/tid=1093] ppid=1090 vsize=13984976 memory=5795117241467496816 CPUtime=8.54 cores=1,3,5,7
/proc/1092/task/1093/stat : 1093 (java) R 1090 1090 30195 0 -1 4202560 8963 0 0 0 849 5 0 0 20 0 15 0 112842869 14320615424 71636 33554432000 4194304 4196468 140729841943440 140611179159840 140610811476674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1094] ppid=1090 vsize=13984976 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1094/stat : 1094 (java) S 1090 1090 30195 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71636 33554432000 4194304 4196468 140729841943440 140611127544464 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1095] ppid=1090 vsize=13984976 memory=7373638763650509159 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1095/stat : 1095 (java) S 1090 1090 30195 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71636 33554432000 4194304 4196468 140729841943440 140611126491664 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1096] ppid=1090 vsize=13984976 memory=5792867602189805162 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1096/stat : 1096 (java) S 1090 1090 30195 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71636 33554432000 4194304 4196468 140729841943440 140611125438864 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1097] ppid=1090 vsize=13984976 memory=7597404815895981934 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1097/stat : 1097 (java) S 1090 1090 30195 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71636 33554432000 4194304 4196468 140729841943440 140611124386064 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1098] ppid=1090 vsize=13984976 memory=7811896393343260266 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1098/stat : 1098 (java) S 1090 1090 30195 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 112842871 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610153720688 140611174935170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1099] ppid=1090 vsize=13984976 memory=7595995151811570281 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1099/stat : 1099 (java) S 1090 1090 30195 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 112842872 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610152666656 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1100] ppid=1090 vsize=13984976 memory=7739276948478191983 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1100/stat : 1100 (java) S 1090 1090 30195 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112842872 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610151613808 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1101] ppid=1090 vsize=13984976 memory=279490568400144 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1101/stat : 1101 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842874 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610150562128 140611174942619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1102] ppid=1090 vsize=13984976 memory=576460758198939444 CPUtime=6.53 cores=1,3,5,7
/proc/1092/task/1102/stat : 1102 (java) S 1090 1090 30195 0 -1 1077944384 37556 0 0 0 650 3 0 0 20 0 15 0 112842874 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610149509488 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1103] ppid=1090 vsize=13984976 memory=288286692635575058 CPUtime=6.58 cores=1,3,5,7
/proc/1092/task/1103/stat : 1103 (java) S 1090 1090 30195 0 -1 1077944384 30587 0 0 0 655 3 0 0 20 0 15 0 112842874 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610148456688 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1104] ppid=1090 vsize=13984976 memory=279490567602416 CPUtime=0.83 cores=1,3,5,7
/proc/1092/task/1104/stat : 1104 (java) S 1090 1090 30195 0 -1 1077944384 8033 0 0 0 81 2 0 0 20 0 15 0 112842874 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610147403888 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1105] ppid=1090 vsize=13984976 memory=9047017150487036571 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1105/stat : 1105 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842875 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610146351328 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1106] ppid=1090 vsize=13984976 memory=7308885246778567013 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1106/stat : 1106 (java) S 1090 1090 30195 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 112842875 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610145299632 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
Current children cumulated CPU time: 22.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 287928 KiB

[startup+8.70067 s]
/proc/loadavg: 1.76 1.67 1.63 3/218 1106
/proc/meminfo: memFree=30269280/32770624 swapFree=67108860/67108860
[pid=1090] ppid=1087 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1090/stat : 1090 (xcsp3-exec) S 1087 1090 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112842869 9740288 346 33554432000 4194304 5098028 140724074697632 140724074695736 140572452602492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22568960 140724074706030 140724074706235 140724074706235 140724074708971 0
/proc/1090/statm: 2378 346 289 221 0 87 0
[pid=1092] ppid=1090 vsize=13984976 memory=286544 CPUtime=22.68 cores=1,3,5,7
/proc/1092/stat : 1092 (java) S 1090 1090 30195 0 -1 1077944320 87460 0 0 0 2251 17 0 0 20 0 15 0 112842869 14320615424 71636 33554432000 4194304 4196468 140729841943440 140729841925984 140611174924023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
/proc/1092/statm: 3496244 71636 3253 1 0 3483478 0
[pid=1092/tid=1093] ppid=1090 vsize=13984976 memory=286544 CPUtime=8.64 cores=1,3,5,7
/proc/1092/task/1093/stat : 1093 (java) R 1090 1090 30195 0 -1 4202560 8964 0 0 0 859 5 0 0 20 0 15 0 112842869 14320615424 71636 33554432000 4194304 4196468 140729841943440 140611179160336 140610811919596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1094] ppid=1090 vsize=13984976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1094/stat : 1094 (java) S 1090 1090 30195 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71636 33554432000 4194304 4196468 140729841943440 140611127544464 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1095] ppid=1090 vsize=13984976 memory=286520 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1095/stat : 1095 (java) S 1090 1090 30195 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71636 33554432000 4194304 4196468 140729841943440 140611126491664 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1096] ppid=1090 vsize=13984976 memory=286180 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1096/stat : 1096 (java) S 1090 1090 30195 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71636 33554432000 4194304 4196468 140729841943440 140611125438864 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1097] ppid=1090 vsize=13984976 memory=219812 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1097/stat : 1097 (java) S 1090 1090 30195 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 112842870 14320615424 71636 33554432000 4194304 4196468 140729841943440 140611124386064 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1098] ppid=1090 vsize=13984976 memory=60 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1098/stat : 1098 (java) S 1090 1090 30195 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 112842871 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610153720688 140611174935170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1099] ppid=1090 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1099/stat : 1099 (java) S 1090 1090 30195 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 112842872 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610152666656 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1100] ppid=1090 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1100/stat : 1100 (java) S 1090 1090 30195 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112842872 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610151613808 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1101] ppid=1090 vsize=13984976 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1101/stat : 1101 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842874 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610150562128 140611174942619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1102] ppid=1090 vsize=13984976 memory=32060 CPUtime=6.53 cores=1,3,5,7
/proc/1092/task/1102/stat : 1102 (java) S 1090 1090 30195 0 -1 1077944384 37556 0 0 0 650 3 0 0 20 0 15 0 112842874 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610149509488 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1103] ppid=1090 vsize=13984976 memory=1296 CPUtime=6.58 cores=1,3,5,7
/proc/1092/task/1103/stat : 1103 (java) S 1090 1090 30195 0 -1 1077944384 30587 0 0 0 655 3 0 0 20 0 15 0 112842874 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610148456688 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1104] ppid=1090 vsize=13984976 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/1092/task/1104/stat : 1104 (java) S 1090 1090 30195 0 -1 1077944384 8041 0 0 0 81 2 0 0 20 0 15 0 112842874 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610147403888 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1105] ppid=1090 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1105/stat : 1105 (java) S 1090 1090 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112842875 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610146351328 140611174934229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
[pid=1092/tid=1106] ppid=1090 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1092/task/1106/stat : 1106 (java) S 1090 1090 30195 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 112842875 14320615424 71636 33554432000 4194304 4196468 140729841943440 140610145299632 140611174935170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 19746816 140729841947799 140729841947975 140729841947975 140729841950671 0
Current children cumulated CPU time: 22.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 287928 KiB

Child status: 0
Real time (s): 8.78119
CPU time (s): 22.8067
CPU user time (s): 22.6249
CPU system time (s): 0.181867
CPU usage (%): 259.722
Max. virtual memory (cumulated for all children) (KiB): 13999356
Max. memory (cumulated for all children) (KiB): 287928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.6249
system time used= 0.181867
maximum resident set size= 287256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88107
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= 3395
involuntary context switches= 48


# summary of solver processes directly reported to runsolver:
#   pid: 1090
#   total CPU time (s): 22.8067
#   total CPU user time (s): 22.6249
#   total CPU system time (s): 0.181867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.091523 second user time and 0.14915 second system time

The end

Launcher Data 

Begin job on node102 at 2017-08-15 13:31:27
IDJOB=4272184
IDBENCH=129359
IDSOLVER=2664
FILE ID=node102/4272184-1502797546
RUNJOBID= node102-1502786318-30227
PBS_JOBID= 20629124
Free space on /tmp= 61916 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-4272184-1502797546/watcher-4272184-1502797546 -o /tmp/evaluation-result-4272184-1502797546/solver-4272184-1502797546 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502786318-30227 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1724327920 HOME/instance-4272184-1502797546.xml

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

MD5SUM BENCH= 283e10528a8226f5fb6260f3e97a2c81
RANDOM SEED=1724327920

node102.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.35
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.35
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.35
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.35
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:        30571056 kB
MemAvailable:   31175132 kB
Buffers:          178472 kB
Cached:           707608 kB
SwapCached:            0 kB
Active:          1507604 kB
Inactive:         242404 kB
Active(anon):     816164 kB
Inactive(anon):    75040 kB
Active(file):     691440 kB
Inactive(file):   167364 kB
Unevictable:        6448 kB
Mlocked:            6448 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7812 kB
Writeback:             0 kB
AnonPages:        868928 kB
Mapped:            58068 kB
Shmem:             25228 kB
Slab:             149008 kB
SReclaimable:     122212 kB
SUnreclaim:        26796 kB
KernelStack:        3584 kB
PageTables:         6956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1498364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    796672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61908 MiB
End job on node102 at 2017-08-15 13:31:36