Trace number 4406947

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 2019-09-24 parallelOPT152 67.1011 9.39026

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff61.xml
MD5SUM275e9239012ab7a817236ff89c8de286
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark152
Best CPU time to get the best result obtained on this benchmark16.5557
Satisfiable
(Un)Satisfiability was proved
Number of variables428
Number of constraints417
Number of domains27
Minimum domain size23
Maximum domain size26
Distribution of domain sizes[{"size":23,"count":13},{"size":25,"count":39},{"size":26,"count":376}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":416},{"degree":33,"count":12}]
Minimum constraint arity2
Maximum constraint arity13
Distribution of constraint arities[{"arity":2,"count":384},{"arity":12,"count":1},{"arity":13,"count":32}]
Number of extensional constraints384
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":384},{"type":"ordered","count":1},{"type":"minimum","count":32}]
Optimization problemYES
Type of objectivemin SUM

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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406947-1569357140.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406947-1569357140.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
8.24/1.70	c solve instance...
9.52/1.97	o 5714 
9.52/1.98	o 585 
10.34/2.07	o 393 
10.95/2.12	o 390 
10.95/2.15	o 340 
11.54/2.23	o 337 
11.54/2.25	o 277 
12.19/2.37	o 272 
12.91/2.46	o 268 
13.63/2.51	o 258 
13.63/2.55	o 237 
13.63/2.59	o 219 
16.77/2.99	o 215 
17.50/3.02	o 214 
18.25/3.11	o 202 
18.25/3.15	o 201 
21.37/3.52	o 194 
21.37/3.56	o 193 
24.38/3.90	o 184 
26.75/4.24	o 179 
31.38/4.81	o 177 
31.38/4.85	o 176 
32.04/4.91	o 175 
32.04/4.92	o 174 
32.04/4.94	o 164 
32.04/4.96	o 163 
33.54/5.19	o 155 
38.11/5.78	o 154 
39.67/5.95	o 152 
66.76/9.35	s OPTIMUM FOUND
66.76/9.35	v <instantiation>
66.76/9.35	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[0][11] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[1][11] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[2][11] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[3][11] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[4][11] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[5][11] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[6][11] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[7][11] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[8][11] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[9][11] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[10][11] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[11][11] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[12][11] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[13][11] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[14][11] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[15][11] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[16][11] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[17][11] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[18][11] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[19][11] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[20][11] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[21][11] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[22][11] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[23][11] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[24][11] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[25][11] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[26][11] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[27][11] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[28][11] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[29][11] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[30][11] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] drd[31][11] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] </list>
66.76/9.35	v 	<values>25 62 95 122 187 238 467 512 548 606 661 711 112 75 42 15 50 101 330 375 411 469 524 574 25 12 45 72 137 188 417 462 498 556 611 661 97 60 27 0 65 116 345 390 426 484 539 589 97 60 27 0 65 116 345 390 426 484 539 589 62 25 8 35 100 151 380 425 461 519 574 624 56 19 14 41 106 157 386 431 467 525 580 630 162 125 92 65 0 51 280 325 361 419 474 524 33 4 37 64 129 180 409 454 490 548 603 653 135 98 65 38 27 78 307 352 388 446 501 551 73 36 3 24 89 140 369 414 450 508 563 613 70 33 0 27 92 143 372 417 453 511 566 616 0 37 70 97 162 213 442 487 523 581 636 686 2 39 72 99 164 215 444 489 525 583 638 688 686 649 616 589 524 473 244 199 163 105 50 0 16 21 54 81 146 197 426 471 507 565 620 670 487 450 417 390 325 274 45 0 36 94 149 199 487 450 417 390 325 274 45 0 36 94 149 199 79 42 9 18 83 134 363 408 444 502 557 607 42 5 28 55 120 171 400 445 481 539 594 644 636 599 566 539 474 423 194 149 113 55 0 50 636 599 566 539 474 423 194 149 113 55 0 50 442 405 372 345 280 229 0 45 81 139 194 244 442 405 372 345 280 229 0 45 81 139 194 244 213 176 143 116 51 0 229 274 310 368 423 473 37 0 33 60 125 176 405 450 486 544 599 649 37 0 33 60 125 176 405 450 486 544 599 649 581 544 511 484 419 368 139 94 58 0 55 105 581 544 511 484 419 368 139 94 58 0 55 105 184 147 114 87 22 29 258 303 339 397 452 502 13 50 83 110 175 226 455 500 536 594 649 699 523 486 453 426 361 310 81 36 0 58 113 163 521 484 451 424 359 308 79 34 2 60 115 165 15 12 0 0 8 14 0 4 27 3 0 0 2 0 16 0 0 9 5 0 0 0 0 0 0 0 0 0 22 13 0 2 </values>
66.76/9.35	v </instantiation>

Verifier Data 

OK	152

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406947-1569357140/watcher-4406947-1569357140 -o /tmp/evaluation-result-4406947-1569357140/solver-4406947-1569357140 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 508416729 HOME/instance-4406947-1569357140.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100111 s]*
/proc/loadavg: 6.60 7.32 7.56 2/212 19238
/proc/meminfo: memFree=23305536/32770624 swapFree=66956516/67108860
[pid=19217] ppid=19214 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 14862 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511985271 115843072 363 33554432000 4194304 5098028 140721151627360 140721151625464 140040949736060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16044032 140721151632246 140721151632489 140721151632489 140721151635402 0
/proc/19217/statm: 28282 363 304 221 0 87 0
[pid=19219] ppid=19217 vsize=28227396 memory=29096 CPUtime=0.12 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 14862 0 -1 1077944320 5743 0 0 0 11 1 0 0 20 0 20 0 511985271 28904853504 7274 33554432000 4194304 4196468 140734772530224 140734772512768 140443749797623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
/proc/19219/statm: 7056849 7274 3120 1 0 7019032 0
[pid=19219/tid=19220] ppid=19217 vsize=28227396 memory=7826581535555756696 CPUtime=0.08 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) R 19217 19217 14862 0 -1 4202560 3660 0 0 0 8 0 0 0 20 0 20 0 511985271 28904853504 7274 33554432000 4194304 4196468 140734772530224 140443754030400 140443749809558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19221] ppid=19217 vsize=28227396 memory=732370460006935525 CPUtime=0 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 7274 33554432000 4194304 4196468 140734772530224 140443702418192 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19222] ppid=19217 vsize=28227396 memory=140321669482112 CPUtime=0 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 7274 33554432000 4194304 4196468 140734772530224 140443701365648 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19223] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 7274 33554432000 4194304 4196468 140734772530224 140443700313104 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19224] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19224/stat : 19224 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 7274 33554432000 4194304 4196468 140734772530224 140443699260560 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19225] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19225/stat : 19225 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 7274 33554432000 4194304 4196468 140734772530224 140443698206992 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19226] ppid=19217 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19219/task/19226/stat : 19226 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 7274 33554432000 4194304 4196468 140734772530224 140443697154448 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19227] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19227/stat : 19227 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 7274 33554432000 4194304 4196468 140734772530224 140443696101904 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19228] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19228/stat : 19228 (java) S 19217 19217 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 7274 33554432000 4194304 4196468 140734772530224 140443695049360 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19229] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19229/stat : 19229 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985274 28904853504 7274 33554432000 4194304 4196468 140734772530224 140442415274480 140443749808770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19230] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19230/stat : 19230 (java) S 19217 19217 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511985274 28904853504 7274 33554432000 4194304 4196468 140734772530224 140442414220704 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19231] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19231/stat : 19231 (java) S 19217 19217 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511985274 28904853504 7274 33554432000 4194304 4196468 140734772530224 140442413168112 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19232] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19232/stat : 19232 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985277 28904853504 7274 33554432000 4194304 4196468 140734772530224 140442412116688 140443749816219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19233] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19233/stat : 19233 (java) R 19217 19217 14862 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 20 0 511985277 28904853504 7274 33554432000 4194304 4196468 140734772530224 140441566402544 140443749808770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19234] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19234/stat : 19234 (java) R 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985277 28904853504 7274 33554432000 4194304 4196468 140734772530224 140441565350000 140443749808770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19235] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19235/stat : 19235 (java) S 19217 19217 14862 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511985277 28904853504 7274 33554432000 4194304 4196468 140734772530224 140441564297456 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19236] ppid=19217 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) R 19217 19217 14862 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 20 0 511985277 28904853504 7274 33554432000 4194304 4196468 140734772530224 140441563244912 140443728421600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19237] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511985277 28904853504 7274 33554432000 4194304 4196468 140734772530224 140441562192608 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19238] ppid=19217 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985277 28904853504 7274 33554432000 4194304 4196468 140734772530224 140441561140144 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30548 KiB

[startup+0.209877 s]*
/proc/loadavg: 6.60 7.32 7.56 2/212 19238
/proc/meminfo: memFree=23293748/32770624 swapFree=66956516/67108860
[pid=19217] ppid=19214 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 14862 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511985271 115843072 363 33554432000 4194304 5098028 140721151627360 140721151625464 140040949736060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16044032 140721151632246 140721151632489 140721151632489 140721151635402 0
/proc/19217/statm: 28282 363 304 221 0 87 0
[pid=19219] ppid=19217 vsize=28227396 memory=40432 CPUtime=0.33 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 14862 0 -1 1077944320 9364 0 0 0 30 3 0 0 20 0 20 0 511985271 28904853504 10108 33554432000 4194304 4196468 140734772530224 140734772512768 140443749797623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
/proc/19219/statm: 7056849 10108 3295 1 0 7019032 0
[pid=19219/tid=19220] ppid=19217 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) R 19217 19217 14862 0 -1 4202560 6610 0 0 0 17 2 0 0 20 0 20 0 511985271 28904853504 10108 33554432000 4194304 4196468 140734772530224 140443754030352 140443749809558 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19221] ppid=19217 vsize=28227396 memory=732370460006935525 CPUtime=0 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 10108 33554432000 4194304 4196468 140734772530224 140443702418192 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19222] ppid=19217 vsize=28227396 memory=140321669482112 CPUtime=0 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 10108 33554432000 4194304 4196468 140734772530224 140443701365648 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19223] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 10108 33554432000 4194304 4196468 140734772530224 140443700313104 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19224] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19224/stat : 19224 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 10108 33554432000 4194304 4196468 140734772530224 140443699260560 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19225] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19225/stat : 19225 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 10108 33554432000 4194304 4196468 140734772530224 140443698206992 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19226] ppid=19217 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19219/task/19226/stat : 19226 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 10108 33554432000 4194304 4196468 140734772530224 140443697154448 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19227] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19227/stat : 19227 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 10108 33554432000 4194304 4196468 140734772530224 140443696101904 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19228] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19228/stat : 19228 (java) S 19217 19217 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511985272 28904853504 10108 33554432000 4194304 4196468 140734772530224 140443695049360 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19229] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19229/stat : 19229 (java) S 19217 19217 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511985274 28904853504 10108 33554432000 4194304 4196468 140734772530224 140442415274480 140443749808770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19230] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19230/stat : 19230 (java) S 19217 19217 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511985274 28904853504 10108 33554432000 4194304 4196468 140734772530224 140442414220704 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19231] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19231/stat : 19231 (java) S 19217 19217 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511985274 28904853504 10108 33554432000 4194304 4196468 140734772530224 140442413168112 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19232] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19232/stat : 19232 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985277 28904853504 10108 33554432000 4194304 4196468 140734772530224 140442412116688 140443749816219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19233] ppid=19217 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19219/task/19233/stat : 19233 (java) S 19217 19217 14862 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 511985277 28904853504 10108 33554432000 4194304 4196468 140734772530224 140441566402544 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19234] ppid=19217 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19219/task/19234/stat : 19234 (java) S 19217 19217 14862 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 511985277 28904853504 10108 33554432000 4194304 4196468 140734772530224 140441565350000 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19235] ppid=19217 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19219/task/19235/stat : 19235 (java) S 19217 19217 14862 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 20 0 511985277 28904853504 10108 33554432000 4194304 4196468 140734772530224 140441564297456 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19236] ppid=19217 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) R 19217 19217 14862 0 -1 4202560 770 0 0 0 7 0 0 0 20 0 20 0 511985277 28904853504 10108 33554432000 4194304 4196468 140734772530224 140441563244720 140443749809558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19237] ppid=19217 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511985277 28904853504 10108 33554432000 4194304 4196468 140734772530224 140441562192608 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19238] ppid=19217 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985277 28904853504 10108 33554432000 4194304 4196468 140734772530224 140441561140144 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41884 KiB

[startup+0.309599 s]*
/proc/loadavg: 6.60 7.32 7.56 5/212 19238
/proc/meminfo: memFree=23285496/32770624 swapFree=66956516/67108860
[pid=19217] ppid=19214 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 14862 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511985271 115843072 363 33554432000 4194304 5098028 140721151627360 140721151625464 140040949736060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16044032 140721151632246 140721151632489 140721151632489 140721151635402 0
/proc/19217/statm: 28282 363 304 221 0 87 0
[pid=19219] ppid=19217 vsize=28231652 memory=49984 CPUtime=0.52 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 14862 0 -1 1077944320 10840 0 0 0 48 4 0 0 20 0 20 0 511985271 28909211648 12496 33554432000 4194304 4196468 140734772530224 140734772512768 140443749797623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
/proc/19219/statm: 7057913 12496 3358 1 0 7019032 0
[pid=19219/tid=19220] ppid=19217 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) R 19217 19217 14862 0 -1 4202560 7739 0 0 0 27 2 0 0 20 0 20 0 511985271 28909211648 12525 33554432000 4194304 4196468 140734772530224 140443754028096 140443749819549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19221] ppid=19217 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28909211648 12525 33554432000 4194304 4196468 140734772530224 140443702418192 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19222] ppid=19217 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985272 28909211648 12525 33554432000 4194304 4196468 140734772530224 140443701365648 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19223] ppid=19217 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28909211648 12525 33554432000 4194304 4196468 140734772530224 140443700313104 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19224] ppid=19217 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19224/stat : 19224 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28909211648 12525 33554432000 4194304 4196468 140734772530224 140443699260560 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19225] ppid=19217 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/19219/task/19225/stat : 19225 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985272 28909211648 12525 33554432000 4194304 4196468 140734772530224 140443698206992 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19226] ppid=19217 vsize=28231652 memory=140321547711407 CPUtime=0 cores=0-7
/proc/19219/task/19226/stat : 19226 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28909211648 12525 33554432000 4194304 4196468 140734772530224 140443697154448 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19227] ppid=19217 vsize=28231652 memory=140321547713712 CPUtime=0 cores=0-7
/proc/19219/task/19227/stat : 19227 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28909211648 12525 33554432000 4194304 4196468 140734772530224 140443696101904 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19228] ppid=19217 vsize=28231652 memory=140321547716016 CPUtime=0 cores=0-7
/proc/19219/task/19228/stat : 19228 (java) S 19217 19217 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511985272 28909211648 12525 33554432000 4194304 4196468 140734772530224 140443695049360 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19229] ppid=19217 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19229/stat : 19229 (java) S 19217 19217 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511985274 28909211648 12525 33554432000 4194304 4196468 140734772530224 140442415274480 140443749808770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19230] ppid=19217 vsize=28231652 memory=280643095438992 CPUtime=0 cores=0-7
/proc/19219/task/19230/stat : 19230 (java) S 19217 19217 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511985274 28909211648 12525 33554432000 4194304 4196468 140734772530224 140442414220704 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19231] ppid=19217 vsize=28231652 memory=280643095445904 CPUtime=0 cores=0-7
/proc/19219/task/19231/stat : 19231 (java) S 19217 19217 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511985274 28909211648 12525 33554432000 4194304 4196468 140734772530224 140442413168112 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19232] ppid=19217 vsize=28231652 memory=280643095387184 CPUtime=0 cores=0-7
/proc/19219/task/19232/stat : 19232 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985277 28909211648 12525 33554432000 4194304 4196468 140734772530224 140442412116688 140443749816219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19233] ppid=19217 vsize=28231652 memory=280643095459728 CPUtime=0.02 cores=0-7
/proc/19219/task/19233/stat : 19233 (java) S 19217 19217 14862 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 511985277 28909211648 12525 33554432000 4194304 4196468 140734772530224 140441566402544 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19234] ppid=19217 vsize=28231652 memory=280643095466640 CPUtime=0.02 cores=0-7
/proc/19219/task/19234/stat : 19234 (java) R 19217 19217 14862 0 -1 4202560 173 0 0 0 2 0 0 0 20 0 20 0 511985277 28909211648 12525 33554432000 4194304 4196468 140734772530224 140441565340384 140443733184278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19235] ppid=19217 vsize=28231652 memory=280643095464336 CPUtime=0.03 cores=0-7
/proc/19219/task/19235/stat : 19235 (java) S 19217 19217 14862 0 -1 1077944384 223 0 0 0 3 0 0 0 20 0 20 0 511985277 28909211648 12525 33554432000 4194304 4196468 140734772530224 140441564297456 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19236] ppid=19217 vsize=28231652 memory=280643095480496 CPUtime=0.12 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) S 19217 19217 14862 0 -1 1077944384 933 0 0 0 12 0 0 0 20 0 20 0 511985277 28909211648 12525 33554432000 4194304 4196468 140734772530224 140441563244912 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19237] ppid=19217 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511985277 28909211648 12525 33554432000 4194304 4196468 140734772530224 140441562192608 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19238] ppid=19217 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985277 28909211648 12525 33554432000 4194304 4196468 140734772530224 140441561140144 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51436 KiB

[startup+0.70091 s]
/proc/loadavg: 6.60 7.32 7.56 4/212 19238
/proc/meminfo: memFree=23271248/32770624 swapFree=66956516/67108860
[pid=19217] ppid=19214 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 14862 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511985271 115843072 363 33554432000 4194304 5098028 140721151627360 140721151625464 140040949736060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16044032 140721151632246 140721151632489 140721151632489 140721151635402 0
/proc/19217/statm: 28282 363 304 221 0 87 0
[pid=19219] ppid=19217 vsize=28233776 memory=168236 CPUtime=1.79 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 14862 0 -1 1077944320 14977 0 0 0 172 7 0 0 20 0 20 0 511985271 28911386624 42059 33554432000 4194304 4196468 140734772530224 140734772512768 140443749797623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
/proc/19219/statm: 7058444 42059 3458 1 0 7019544 0
[pid=19219/tid=19220] ppid=19217 vsize=28233776 memory=280643095775424 CPUtime=0.68 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) R 19217 19217 14862 0 -1 4202560 8846 0 0 0 63 5 0 0 20 0 20 0 511985271 28911386624 42059 33554432000 4194304 4196468 140734772530224 140443754034304 140443370661670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19221] ppid=19217 vsize=28233776 memory=1560 CPUtime=0 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28911386624 42059 33554432000 4194304 4196468 140734772530224 140443702418192 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19222] ppid=19217 vsize=28233776 memory=976 CPUtime=0 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511985272 28911386624 42059 33554432000 4194304 4196468 140734772530224 140443701365648 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19223] ppid=19217 vsize=28233776 memory=772 CPUtime=0 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) S 19217 19217 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511985272 28911386624 42059 33554432000 4194304 4196468 140734772530224 140443700313104 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0

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

[pid=19219/tid=19236] ppid=19217 vsize=28769364 memory=5495740422247797458 CPUtime=0.9 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) S 19217 19217 14862 0 -1 1077944384 5665 0 0 0 88 2 0 0 20 0 28 0 511985277 29459828736 258528 33554432000 4194304 4196468 140734772530224 140441563244912 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19237] ppid=19217 vsize=28769364 memory=-3284643825843719562 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511985277 29459828736 258528 33554432000 4194304 4196468 140734772530224 140441562192608 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19238] ppid=19217 vsize=28769364 memory=-3833726747341067623 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 14862 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511985277 29459828736 258528 33554432000 4194304 4196468 140734772530224 140441561140144 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19471] ppid=19217 vsize=28769364 memory=-2605811476043407915 CPUtime=2.84 cores=0-7
/proc/19219/task/19471/stat : 19471 (java) R 19217 19217 14862 0 -1 4202560 3929 0 0 0 282 2 0 0 20 0 28 0 511985866 29459828736 258528 33554432000 4194304 4196468 140734772530224 140441550052040 140443373690549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19472] ppid=19217 vsize=28769364 memory=4956998493510226538 CPUtime=2.84 cores=0-7
/proc/19219/task/19472/stat : 19472 (java) R 19217 19217 14862 0 -1 4202560 205 0 0 0 284 0 0 0 20 0 28 0 511985866 29459828736 258528 33554432000 4194304 4196468 140734772530224 140441552158848 140443374329336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19473] ppid=19217 vsize=28769364 memory=8546823402028195750 CPUtime=2.78 cores=0-7
/proc/19219/task/19473/stat : 19473 (java) R 19217 19217 14862 0 -1 4202560 430 0 0 0 278 0 0 0 20 0 28 0 511985866 29459828736 258528 33554432000 4194304 4196468 140734772530224 140441546897352 140443376264656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19474] ppid=19217 vsize=28769364 memory=-2748367524519556131 CPUtime=2.66 cores=0-7
/proc/19219/task/19474/stat : 19474 (java) R 19217 19217 14862 0 -1 4202560 879 0 0 0 265 1 0 0 20 0 28 0 511985866 29459828736 258528 33554432000 4194304 4196468 140734772530224 140441547947688 140443374557895 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19475] ppid=19217 vsize=28769364 memory=-4051592751533505334 CPUtime=2.6 cores=0-7
/proc/19219/task/19475/stat : 19475 (java) R 19217 19217 14862 0 -1 4202560 136 0 0 0 260 0 0 0 20 0 28 0 511985866 29459828736 258528 33554432000 4194304 4196468 140734772530224 140441544789200 140443374328884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19476] ppid=19217 vsize=28769364 memory=-3284643825843719562 CPUtime=2.66 cores=0-7
/proc/19219/task/19476/stat : 19476 (java) R 19217 19217 14862 0 -1 4202560 4132 0 0 0 265 1 0 0 20 0 28 0 511985866 29459828736 258528 33554432000 4194304 4196468 140734772530224 140441551106120 140443374558129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19477] ppid=19217 vsize=28769364 memory=-3833726747341067623 CPUtime=2.83 cores=0-7
/proc/19219/task/19477/stat : 19477 (java) R 19217 19217 14862 0 -1 4202560 698 0 0 0 283 0 0 0 20 0 28 0 511985866 29459828736 258528 33554432000 4194304 4196468 140734772530224 140441545842712 140443376764238 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19478] ppid=19217 vsize=28769364 memory=-2605811476043407915 CPUtime=2.83 cores=0-7
/proc/19219/task/19478/stat : 19478 (java) R 19217 19217 14862 0 -1 4202560 735 0 0 0 283 0 0 0 20 0 28 0 511985866 29459828736 258528 33554432000 4194304 4196468 140734772530224 140441549000592 140443375539328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
Current children cumulated CPU time: 62.75 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1035564 KiB

[startup+9.2017 s]
/proc/loadavg: 6.76 7.33 7.56 10/220 19478
/proc/meminfo: memFree=22293312/32770624 swapFree=66956516/67108860
[pid=19217] ppid=19214 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 14862 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511985271 115843072 363 33554432000 4194304 5098028 140721151627360 140721151625464 140040949736060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16044032 140721151632246 140721151632489 140721151632489 140721151635402 0
/proc/19217/statm: 28282 363 304 221 0 87 0
[pid=19219] ppid=19217 vsize=28769364 memory=1048448 CPUtime=65.94 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 14862 0 -1 1077944320 94859 0 0 0 6419 175 0 0 20 0 28 0 511985271 29459828736 262112 33554432000 4194304 4196468 140734772530224 140734772512768 140443749797623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
/proc/19219/statm: 7192341 262112 3556 1 0 7153441 0
[pid=19219/tid=19220] ppid=19217 vsize=28769364 memory=0 CPUtime=1.11 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) S 19217 19217 14862 0 -1 1077944384 9507 0 0 0 98 13 0 0 20 0 28 0 511985271 29459828736 262112 33554432000 4194304 4196468 140734772530224 140443754038400 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19221] ppid=19217 vsize=28769364 memory=0 CPUtime=0.69 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) S 19217 19217 14862 0 -1 1077944384 3014 0 0 0 52 17 0 0 20 0 28 0 511985272 29459828736 262112 33554432000 4194304 4196468 140734772530224 140443702418192 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19222] ppid=19217 vsize=28769364 memory=0 CPUtime=0.62 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) S 19217 19217 14862 0 -1 1077944384 2726 0 0 0 47 15 0 0 20 0 28 0 511985272 29459828736 262112 33554432000 4194304 4196468 140734772530224 140443701365648 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19223] ppid=19217 vsize=28769364 memory=0 CPUtime=0.65 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) S 19217 19217 14862 0 -1 1077944384 2827 0 0 0 49 16 0 0 20 0 28 0 511985272 29459828736 262112 33554432000 4194304 4196468 140734772530224 140443700313104 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19224] ppid=19217 vsize=28769364 memory=0 CPUtime=0.7 cores=0-7
/proc/19219/task/19224/stat : 19224 (java) S 19217 19217 14862 0 -1 1077944384 2875 0 0 0 54 16 0 0 20 0 28 0 511985272 29459828736 262112 33554432000 4194304 4196468 140734772530224 140443699260560 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19225] ppid=19217 vsize=28769364 memory=140321669482545 CPUtime=0.69 cores=0-7
/proc/19219/task/19225/stat : 19225 (java) S 19217 19217 14862 0 -1 1077944384 2965 0 0 0 53 16 0 0 20 0 28 0 511985272 29459828736 262112 33554432000 4194304 4196468 140734772530224 140443698206992 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19226] ppid=19217 vsize=28769364 memory=7158312648372478825 CPUtime=0.65 cores=0-7
/proc/19219/task/19226/stat : 19226 (java) S 19217 19217 14862 0 -1 1077944384 3043 0 0 0 51 14 0 0 20 0 28 0 511985272 29459828736 262112 33554432000 4194304 4196468 140734772530224 140443697154448 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19227] ppid=19217 vsize=28769364 memory=7523375780481815659 CPUtime=0.7 cores=0-7
/proc/19219/task/19227/stat : 19227 (java) S 19217 19217 14862 0 -1 1077944384 3037 0 0 0 53 17 0 0 20 0 28 0 511985272 29459828736 262112 33554432000 4194304 4196468 140734772530224 140443696101904 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19228] ppid=19217 vsize=28769364 memory=7079773316970467408 CPUtime=0.64 cores=0-7
/proc/19219/task/19228/stat : 19228 (java) S 19217 19217 14862 0 -1 1077944384 2796 0 0 0 50 14 0 0 20 0 28 0 511985272 29459828736 262112 33554432000 4194304 4196468 140734772530224 140443695049360 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19229] ppid=19217 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/19219/task/19229/stat : 19229 (java) S 19217 19217 14862 0 -1 1077944384 975 0 0 0 2 0 0 0 20 0 28 0 511985274 29459828736 262112 33554432000 4194304 4196468 140734772530224 140442415274480 140443749808770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19230] ppid=19217 vsize=28769364 memory=2241 CPUtime=0 cores=0-7
/proc/19219/task/19230/stat : 19230 (java) S 19217 19217 14862 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511985274 29459828736 262112 33554432000 4194304 4196468 140734772530224 140442414220768 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19231] ppid=19217 vsize=28769364 memory=2244 CPUtime=0 cores=0-7
/proc/19219/task/19231/stat : 19231 (java) S 19217 19217 14862 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511985274 29459828736 262112 33554432000 4194304 4196468 140734772530224 140442413168128 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19232] ppid=19217 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19232/stat : 19232 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511985277 29459828736 262112 33554432000 4194304 4196468 140734772530224 140442412116688 140443749816219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19233] ppid=19217 vsize=28769364 memory=0 CPUtime=2.97 cores=0-7
/proc/19219/task/19233/stat : 19233 (java) S 19217 19217 14862 0 -1 1077944384 13196 0 0 0 292 5 0 0 20 0 28 0 511985277 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441566402544 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19234] ppid=19217 vsize=28769364 memory=0 CPUtime=2.84 cores=0-7
/proc/19219/task/19234/stat : 19234 (java) S 19217 19217 14862 0 -1 1077944384 7000 0 0 0 282 2 0 0 20 0 28 0 511985277 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441565350000 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19235] ppid=19217 vsize=28769364 memory=0 CPUtime=2.86 cores=0-7
/proc/19219/task/19235/stat : 19235 (java) S 19217 19217 14862 0 -1 1077944384 12887 0 0 0 284 2 0 0 20 0 28 0 511985277 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441564297456 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19236] ppid=19217 vsize=28769364 memory=0 CPUtime=0.9 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) S 19217 19217 14862 0 -1 1077944384 5665 0 0 0 88 2 0 0 20 0 28 0 511985277 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441563244912 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19237] ppid=19217 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511985277 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441562192608 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19238] ppid=19217 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 14862 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511985277 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441561140144 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19471] ppid=19217 vsize=28769364 memory=0 CPUtime=3.23 cores=0-7
/proc/19219/task/19471/stat : 19471 (java) R 19217 19217 14862 0 -1 4202560 4026 0 0 0 321 2 0 0 20 0 28 0 511985866 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441550052184 140443373689998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19472] ppid=19217 vsize=28769364 memory=0 CPUtime=3.23 cores=0-7
/proc/19219/task/19472/stat : 19472 (java) R 19217 19217 14862 0 -1 4202560 209 0 0 0 323 0 0 0 20 0 28 0 511985866 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441552159832 140443374328980 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19473] ppid=19217 vsize=28769364 memory=140321548279808 CPUtime=3.18 cores=0-7
/proc/19219/task/19473/stat : 19473 (java) R 19217 19217 14862 0 -1 4202560 440 0 0 0 318 0 0 0 20 0 28 0 511985866 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441546894560 140443369225680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19474] ppid=19217 vsize=28769364 memory=82536386565675 CPUtime=3.04 cores=0-7
/proc/19219/task/19474/stat : 19474 (java) R 19217 19217 14862 0 -1 4202560 893 0 0 0 303 1 0 0 20 0 28 0 511985866 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441547947736 140443373690492 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19475] ppid=19217 vsize=28769364 memory=0 CPUtime=3 cores=0-7
/proc/19219/task/19475/stat : 19475 (java) R 19217 19217 14862 0 -1 4202560 139 0 0 0 300 0 0 0 20 0 28 0 511985866 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441544789848 140443374695231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19476] ppid=19217 vsize=28769364 memory=7090733330714355537 CPUtime=3.06 cores=0-7
/proc/19219/task/19476/stat : 19476 (java) R 19217 19217 14862 0 -1 4202560 4180 0 0 0 305 1 0 0 20 0 28 0 511985866 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441551106072 140443373690218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19477] ppid=19217 vsize=28769364 memory=7525350516249160300 CPUtime=3.23 cores=0-7
/proc/19219/task/19477/stat : 19477 (java) R 19217 19217 14862 0 -1 4202560 731 0 0 0 323 0 0 0 20 0 28 0 511985866 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441545843032 140443369224924 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19478] ppid=19217 vsize=28769364 memory=7090466063726963556 CPUtime=3.23 cores=0-7
/proc/19219/task/19478/stat : 19478 (java) R 19217 19217 14862 0 -1 4202560 758 0 0 0 323 0 0 0 20 0 28 0 511985866 29459828736 262112 33554432000 4194304 4196468 140734772530224 140441549000936 140443373690218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
Current children cumulated CPU time: 65.94 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1049900 KiB

[startup+9.30641 s]
/proc/loadavg: 6.76 7.33 7.56 10/220 19478
/proc/meminfo: memFree=22293312/32770624 swapFree=66956516/67108860
[pid=19217] ppid=19214 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19217/stat : 19217 (xcsp3-exec) S 19214 19217 14862 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511985271 115843072 363 33554432000 4194304 5098028 140721151627360 140721151625464 140040949736060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16044032 140721151632246 140721151632489 140721151632489 140721151635402 0
/proc/19217/statm: 28282 363 304 221 0 87 0
[pid=19219] ppid=19217 vsize=28769364 memory=1071028 CPUtime=66.76 cores=0-7
/proc/19219/stat : 19219 (java) S 19217 19217 14862 0 -1 1077944320 98153 0 0 0 6494 182 0 0 20 0 28 0 511985271 29459828736 267757 33554432000 4194304 4196468 140734772530224 140734772512768 140443749797623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
/proc/19219/statm: 7192341 267757 3556 1 0 7153441 0
[pid=19219/tid=19220] ppid=19217 vsize=28769364 memory=978436 CPUtime=1.11 cores=0-7
/proc/19219/task/19220/stat : 19220 (java) S 19217 19217 14862 0 -1 1077944384 9507 0 0 0 98 13 0 0 20 0 28 0 511985271 29459828736 267757 33554432000 4194304 4196468 140734772530224 140443754038400 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19221] ppid=19217 vsize=28769364 memory=0 CPUtime=0.7 cores=0-7
/proc/19219/task/19221/stat : 19221 (java) R 19217 19217 14862 0 -1 4202560 3633 0 0 0 52 18 0 0 20 0 28 0 511985272 29459828736 267757 33554432000 4194304 4196468 140734772530224 140443702415824 140443734821326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19222] ppid=19217 vsize=28769364 memory=0 CPUtime=0.64 cores=0-7
/proc/19219/task/19222/stat : 19222 (java) R 19217 19217 14862 0 -1 4202560 3370 0 0 0 48 16 0 0 20 0 28 0 511985272 29459828736 267757 33554432000 4194304 4196468 140734772530224 140443701363280 140443742425831 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19223] ppid=19217 vsize=28769364 memory=1440 CPUtime=0.65 cores=0-7
/proc/19219/task/19223/stat : 19223 (java) R 19217 19217 14862 0 -1 4202560 3017 0 0 0 49 16 0 0 20 0 28 0 511985272 29459828736 267757 33554432000 4194304 4196468 140734772530224 140443700313104 140443742425831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19224] ppid=19217 vsize=28769364 memory=800 CPUtime=0.71 cores=0-7
/proc/19219/task/19224/stat : 19224 (java) R 19217 19217 14862 0 -1 4202560 2934 0 0 0 54 17 0 0 20 0 28 0 511985272 29459828736 267757 33554432000 4194304 4196468 140734772530224 140443699260560 140443728993079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19225] ppid=19217 vsize=28769364 memory=0 CPUtime=0.7 cores=0-7
/proc/19219/task/19225/stat : 19225 (java) R 19217 19217 14862 0 -1 4202560 3088 0 0 0 54 16 0 0 20 0 28 0 511985272 29459828736 267757 33554432000 4194304 4196468 140734772530224 140443698207112 140443742425831 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19226] ppid=19217 vsize=28769364 memory=0 CPUtime=0.66 cores=0-7
/proc/19219/task/19226/stat : 19226 (java) R 19217 19217 14862 0 -1 4202560 3262 0 0 0 51 15 0 0 20 0 28 0 511985272 29459828736 267757 33554432000 4194304 4196468 140734772530224 140443697154568 140443742425831 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19227] ppid=19217 vsize=28769364 memory=1452 CPUtime=0.71 cores=0-7
/proc/19219/task/19227/stat : 19227 (java) R 19217 19217 14862 0 -1 4202560 3209 0 0 0 54 17 0 0 20 0 28 0 511985272 29459828736 267757 33554432000 4194304 4196468 140734772530224 140443696102104 140443742425831 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19228] ppid=19217 vsize=28769364 memory=1007400 CPUtime=0.65 cores=0-7
/proc/19219/task/19228/stat : 19228 (java) R 19217 19217 14862 0 -1 4202560 2857 0 0 0 50 15 0 0 20 0 28 0 511985272 29459828736 267757 33554432000 4194304 4196468 140734772530224 140443695049360 140443742425831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19229] ppid=19217 vsize=28769364 memory=8444 CPUtime=0.02 cores=0-7
/proc/19219/task/19229/stat : 19229 (java) S 19217 19217 14862 0 -1 1077944384 1111 0 0 0 2 0 0 0 20 0 28 0 511985274 29459828736 267757 33554432000 4194304 4196468 140734772530224 140442415272992 140443749807829 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19230] ppid=19217 vsize=28769364 memory=140321547716920 CPUtime=0 cores=0-7
/proc/19219/task/19230/stat : 19230 (java) S 19217 19217 14862 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511985274 29459828736 267757 33554432000 4194304 4196468 140734772530224 140442414220768 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19231] ppid=19217 vsize=28769364 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/19219/task/19231/stat : 19231 (java) S 19217 19217 14862 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511985274 29459828736 267757 33554432000 4194304 4196468 140734772530224 140442413168128 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19232] ppid=19217 vsize=28769364 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/19219/task/19232/stat : 19232 (java) S 19217 19217 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511985277 29459828736 267757 33554432000 4194304 4196468 140734772530224 140442412116688 140443749816219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19233] ppid=19217 vsize=28769364 memory=6655300316396806240 CPUtime=2.97 cores=0-7
/proc/19219/task/19233/stat : 19233 (java) S 19217 19217 14862 0 -1 1077944384 13196 0 0 0 292 5 0 0 20 0 28 0 511985277 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441566402544 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19234] ppid=19217 vsize=28769364 memory=942980 CPUtime=2.84 cores=0-7
/proc/19219/task/19234/stat : 19234 (java) S 19217 19217 14862 0 -1 1077944384 7000 0 0 0 282 2 0 0 20 0 28 0 511985277 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441565350000 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19235] ppid=19217 vsize=28769364 memory=6656426216303648864 CPUtime=2.86 cores=0-7
/proc/19219/task/19235/stat : 19235 (java) S 19217 19217 14862 0 -1 1077944384 12887 0 0 0 284 2 0 0 20 0 28 0 511985277 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441564297456 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19236] ppid=19217 vsize=28769364 memory=-7880843606118635149 CPUtime=0.9 cores=0-7
/proc/19219/task/19236/stat : 19236 (java) S 19217 19217 14862 0 -1 1077944384 5665 0 0 0 88 2 0 0 20 0 28 0 511985277 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441563244912 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19237] ppid=19217 vsize=28769364 memory=6003388881216301159 CPUtime=0 cores=0-7
/proc/19219/task/19237/stat : 19237 (java) S 19217 19217 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511985277 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441562192608 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19238] ppid=19217 vsize=28769364 memory=1452 CPUtime=0 cores=0-7
/proc/19219/task/19238/stat : 19238 (java) S 19217 19217 14862 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 511985277 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441561140144 140443749808770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19471] ppid=19217 vsize=28769364 memory=828768 CPUtime=3.33 cores=0-7
/proc/19219/task/19471/stat : 19471 (java) S 19217 19217 14862 0 -1 1077944384 4193 0 0 0 331 2 0 0 20 0 28 0 511985866 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441550052048 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19472] ppid=19217 vsize=28769364 memory=22216 CPUtime=3.33 cores=0-7
/proc/19219/task/19472/stat : 19472 (java) S 19217 19217 14862 0 -1 1077944384 278 0 0 0 333 0 0 0 20 0 28 0 511985866 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441552159072 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19473] ppid=19217 vsize=28769364 memory=504 CPUtime=3.27 cores=0-7
/proc/19219/task/19473/stat : 19473 (java) S 19217 19217 14862 0 -1 1077944384 671 0 0 0 327 0 0 0 20 0 28 0 511985866 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441546897248 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19474] ppid=19217 vsize=28769364 memory=1452 CPUtime=3.14 cores=0-7
/proc/19219/task/19474/stat : 19474 (java) S 19217 19217 14862 0 -1 1077944384 1071 0 0 0 313 1 0 0 20 0 28 0 511985866 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441547948128 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19475] ppid=19217 vsize=28769364 memory=986628 CPUtime=3.09 cores=0-7
/proc/19219/task/19475/stat : 19475 (java) S 19217 19217 14862 0 -1 1077944384 158 0 0 0 309 0 0 0 20 0 28 0 511985866 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441544790352 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19476] ppid=19217 vsize=28769364 memory=280643095590016 CPUtime=3.16 cores=0-7
/proc/19219/task/19476/stat : 19476 (java) S 19217 19217 14862 0 -1 1077944384 4395 0 0 0 314 2 0 0 20 0 28 0 511985866 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441551105984 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19477] ppid=19217 vsize=28769364 memory=140321669490689 CPUtime=3.32 cores=0-7
/proc/19219/task/19477/stat : 19477 (java) S 19217 19217 14862 0 -1 1077944384 834 0 0 0 332 0 0 0 20 0 28 0 511985866 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441545842304 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
[pid=19219/tid=19478] ppid=19217 vsize=28769364 memory=140321669492577 CPUtime=3.32 cores=0-7
/proc/19219/task/19478/stat : 19478 (java) S 19217 19217 14862 0 -1 1077944384 849 0 0 0 332 0 0 0 20 0 28 0 511985866 29459828736 267757 33554432000 4194304 4196468 140734772530224 140441549000784 140443749807829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11567104 140734772536298 140734772536470 140734772536470 140734772539343 0
Current children cumulated CPU time: 66.76 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1072480 KiB

Child status: 0
Real time (s): 9.39026
CPU time (s): 67.1011
CPU user time (s): 65.2528
CPU system time (s): 1.84829
CPU usage (%): 714.581
Max. virtual memory (cumulated for all children) (KiB): 28884628
Max. memory (cumulated for all children) (KiB): 1072480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.2528
system time used= 1.84829
maximum resident set size= 1072076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8129
involuntary context switches= 1511


# summary of solver processes directly reported to runsolver:
#   pid: 19217
#   total CPU time (s): 67.1011
#   total CPU user time (s): 65.2528
#   total CPU system time (s): 1.84829

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.094143 second user time and 0.147856 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 22:31:39
IDJOB=4406947
IDBENCH=138376
IDSOLVER=2871
FILE ID=node151/4406947-1569357140
RUNJOBID= node151-1569351215-14889
PBS_JOBID= 21705099
Free space on /tmp= 12412 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff61.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406947-1569357140/watcher-4406947-1569357140 -o /tmp/evaluation-result-4406947-1569357140/solver-4406947-1569357140 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 508416729 HOME/instance-4406947-1569357140.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 275e9239012ab7a817236ff89c8de286
RANDOM SEED=508416729

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23319840 kB
MemAvailable:   31792700 kB
Buffers:          102564 kB
Cached:          8530496 kB
SwapCached:        50724 kB
Active:          2765800 kB
Inactive:        5923716 kB
Active(anon):       5044 kB
Inactive(anon):   106076 kB
Active(file):    2760756 kB
Inactive(file):  5817640 kB
Unevictable:      107680 kB
Mlocked:          107680 kB
SwapTotal:      67108860 kB
SwapFree:       66956516 kB
Dirty:             26176 kB
Writeback:           244 kB
AnonPages:        188900 kB
Mapped:            54080 kB
Shmem:             45980 kB
Slab:             352048 kB
SReclaimable:     322924 kB
SUnreclaim:        29124 kB
KernelStack:        3856 kB
PageTables:         5848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12388 MiB
End job on node151 at 2019-09-24 22:31:48