Trace number 4403627

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-20OPT125 51.9941 13.6453

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff62.xml
MD5SUM5002a5aac4309249d3aa4752a35eede8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark125
Best CPU time to get the best result obtained on this benchmark15.1896
Satisfiable
(Un)Satisfiability was proved
Number of variables461
Number of constraints449
Number of domains27
Minimum domain size23
Maximum domain size26
Distribution of domain sizes[{"size":23,"count":14},{"size":25,"count":42},{"size":26,"count":405}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":448},{"degree":33,"count":13}]
Minimum constraint arity2
Maximum constraint arity14
Distribution of constraint arities[{"arity":2,"count":416},{"arity":13,"count":1},{"arity":14,"count":32}]
Number of extensional constraints416
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":416},{"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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403627-1568992713.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4403627-1568992713.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
2.81/1.05	c solve instance...
3.50/1.24	o 389 
3.50/1.28	o 378 
3.90/1.35	o 333 
4.25/1.45	o 301 
4.64/1.56	o 285 
5.42/1.70	o 251 
5.42/1.79	o 215 
7.04/2.14	o 214 
7.04/2.19	o 211 
7.42/2.24	o 209 
7.42/2.30	o 199 
8.18/2.43	o 184 
8.18/2.46	o 183 
8.18/2.48	o 178 
8.59/2.56	o 169 
8.59/2.58	o 164 
8.97/2.61	o 161 
9.79/2.82	o 150 
12.07/3.49	o 148 
16.04/4.41	o 147 
16.04/4.42	o 144 
16.04/4.44	o 139 
16.04/4.44	o 131 
16.04/4.46	o 125 
51.83/13.63	s OPTIMUM FOUND
51.83/13.63	v <instantiation>
51.83/13.63	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] x[12] 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[0][12] 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[1][12] 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[2][12] 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[3][12] 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[4][12] 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[5][12] 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[6][12] 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[7][12] 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[8][12] 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[9][12] 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[10][12] 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[11][12] 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[12][12] 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[13][12] 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[14][12] 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[15][12] 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[16][12] 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[17][12] 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[18][12] 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[19][12] 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[20][12] 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[21][12] 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[22][12] 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[23][12] 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[24][12] 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[25][12] 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[26][12] 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[27][12] 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[28][12] 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[29][12] 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[30][12] 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] drd[31][12] 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>
51.83/13.63	v 	<values>23 62 95 122 160 187 238 467 512 548 606 661 711 114 75 42 15 23 50 101 330 375 411 469 524 574 27 12 45 72 110 137 188 417 462 498 556 611 661 99 60 27 0 38 65 116 345 390 426 484 539 589 99 60 27 0 38 65 116 345 390 426 484 539 589 64 25 8 35 73 100 151 380 425 461 519 574 624 58 19 14 41 79 106 157 386 431 467 525 580 630 164 125 92 65 27 0 51 280 325 361 419 474 524 35 4 37 64 102 129 180 409 454 490 548 603 653 137 98 65 38 0 27 78 307 352 388 446 501 551 75 36 3 24 62 89 140 369 414 450 508 563 613 72 33 0 27 65 92 143 372 417 453 511 566 616 2 37 70 97 135 162 213 442 487 523 581 636 686 0 39 72 99 137 164 215 444 489 525 583 638 688 688 649 616 589 551 524 473 244 199 163 105 50 0 18 21 54 81 119 146 197 426 471 507 565 620 670 489 450 417 390 352 325 274 45 0 36 94 149 199 489 450 417 390 352 325 274 45 0 36 94 149 199 81 42 9 18 56 83 134 363 408 444 502 557 607 44 5 28 55 93 120 171 400 445 481 539 594 644 638 599 566 539 501 474 423 194 149 113 55 0 50 638 599 566 539 501 474 423 194 149 113 55 0 50 444 405 372 345 307 280 229 0 45 81 139 194 244 444 405 372 345 307 280 229 0 45 81 139 194 244 215 176 143 116 78 51 0 229 274 310 368 423 473 39 0 33 60 98 125 176 405 450 486 544 599 649 39 0 33 60 98 125 176 405 450 486 544 599 649 583 544 511 484 446 419 368 139 94 58 0 55 105 583 544 511 484 446 419 368 139 94 58 0 55 105 186 147 114 87 49 22 29 258 303 339 397 452 502 11 50 83 110 148 175 226 455 500 536 594 649 699 525 486 453 426 388 361 310 81 36 0 58 113 163 523 484 451 424 386 359 308 79 34 2 60 115 165 15 12 0 0 8 14 0 4 0 3 0 2 0 0 18 0 0 9 5 0 0 0 0 0 0 0 0 0 22 11 0 2 </values>
51.83/13.63	v </instantiation>

Verifier Data 

OK	125

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403627-1568992713/watcher-4403627-1568992713 -o /var/tmp/evaluation-result-4403627-1568992713/solver-4403627-1568992713 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6086 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 694818726 HOME/instance-4403627-1568992713.xml 

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

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

solver pid=11015, runsolver pid=11012

[startup+0.100121 s]*
/proc/loadavg: 7.65 8.13 8.14 8/234 11031
/proc/meminfo: memFree=15406944/32770624 swapFree=66988784/67108860
[pid=11015] ppid=11012 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (xcsp3-exec) S 11012 11015 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475533865 115843072 364 33554432000 4194304 5098028 140722244717104 140722244715208 140416834425468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33370112 140722244723543 140722244723801 140722244723801 140722244726726 0
/proc/11015/statm: 28282 364 305 221 0 87 0
[pid=11017] ppid=11015 vsize=15144776 memory=29352 CPUtime=0.12 cores=0,2,4,6
/proc/11017/stat : 11017 (java) S 11015 11015 6055 0 -1 1077944320 5754 0 0 0 11 1 0 0 20 0 15 0 475533865 15508250624 7338 33554432000 4194304 4196468 140721765208208 140721765190752 139764191129335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
/proc/11017/statm: 3786194 7338 3144 1 0 3748377 0
[pid=11017/tid=11018] ppid=11015 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=0,2,4,6
/proc/11017/task/11018/stat : 11018 (java) R 11015 11015 6055 0 -1 4202560 3698 0 0 0 8 1 0 0 20 0 15 0 475533866 15508250624 7338 33554432000 4194304 4196468 140721765208208 139764195360992 139763822740431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11019] ppid=11015 vsize=15144776 memory=3472468081117684944 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11019/stat : 11019 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15508250624 7338 33554432000 4194304 4196468 140721765208208 139764143750160 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11020] ppid=11015 vsize=15144776 memory=139952222533248 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11020/stat : 11020 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15508250624 7338 33554432000 4194304 4196468 140721765208208 139764142697616 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11021] ppid=11015 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11021/stat : 11021 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15508250624 7338 33554432000 4194304 4196468 140721765208208 139763781655312 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11022] ppid=11015 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11022/stat : 11022 (java) S 11015 11015 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475533866 15508250624 7338 33554432000 4194304 4196468 140721765208208 139763780602768 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11023] ppid=11015 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11023/stat : 11023 (java) S 11015 11015 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475533868 15508250624 7338 33554432000 4194304 4196468 140721765208208 139763065096432 139764191140482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11024] ppid=11015 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11024/stat : 11024 (java) S 11015 11015 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475533868 15508250624 7338 33554432000 4194304 4196468 140721765208208 139763064042656 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11025] ppid=11015 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11025/stat : 11025 (java) S 11015 11015 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475533868 15508250624 7338 33554432000 4194304 4196468 140721765208208 139763062989552 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11026] ppid=11015 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11026/stat : 11026 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475533871 15508250624 7338 33554432000 4194304 4196468 140721765208208 139763061938128 139764191147931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11027] ppid=11015 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11027/stat : 11027 (java) S 11015 11015 6055 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 475533871 15508250624 7338 33554432000 4194304 4196468 140721765208208 139763060886256 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11028] ppid=11015 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11028/stat : 11028 (java) R 11015 11015 6055 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 15 0 475533871 15508250624 7338 33554432000 4194304 4196468 140721765208208 139763059832784 139764184226171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11029] ppid=11015 vsize=15144776 memory=139952222533248 CPUtime=0.02 cores=0,2,4,6
/proc/11017/task/11029/stat : 11029 (java) R 11015 11015 6055 0 -1 4202560 318 0 0 0 2 0 0 0 20 0 15 0 475533871 15508250624 7338 33554432000 4194304 4196468 140721765208208 139763058780656 139764191141270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11030] ppid=11015 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11030/stat : 11030 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475533871 15508250624 7338 33554432000 4194304 4196468 140721765208208 139763057728352 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11031] ppid=11015 vsize=15144776 memory=139952222533248 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11031/stat : 11031 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533871 15508250624 7338 33554432000 4194304 4196468 140721765208208 139763056675376 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30808 KiB

[startup+0.210856 s]*
/proc/loadavg: 7.65 8.13 8.14 7/234 11031
/proc/meminfo: memFree=15393192/32770624 swapFree=66988784/67108860
[pid=11015] ppid=11012 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (xcsp3-exec) S 11012 11015 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475533865 115843072 364 33554432000 4194304 5098028 140722244717104 140722244715208 140416834425468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33370112 140722244723543 140722244723801 140722244723801 140722244726726 0
/proc/11015/statm: 28282 364 305 221 0 87 0
[pid=11017] ppid=11015 vsize=15144776 memory=41048 CPUtime=0.34 cores=0,2,4,6
/proc/11017/stat : 11017 (java) S 11015 11015 6055 0 -1 1077944320 9501 0 0 0 31 3 0 0 20 0 15 0 475533865 15508250624 10262 33554432000 4194304 4196468 140721765208208 140721765190752 139764191129335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
/proc/11017/statm: 3786194 10262 3308 1 0 3748377 0
[pid=11017/tid=11018] ppid=11015 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=0,2,4,6
/proc/11017/task/11018/stat : 11018 (java) R 11015 11015 6055 0 -1 4202560 6617 0 0 0 18 2 0 0 20 0 15 0 475533866 15508250624 10262 33554432000 4194304 4196468 140721765208208 139764195367648 139764173536450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11019] ppid=11015 vsize=15144776 memory=3472468081117684944 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11019/stat : 11019 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15508250624 10262 33554432000 4194304 4196468 140721765208208 139764143750160 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11020] ppid=11015 vsize=15144776 memory=139952222533248 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11020/stat : 11020 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15508250624 10262 33554432000 4194304 4196468 140721765208208 139764142697616 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11021] ppid=11015 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11021/stat : 11021 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15508250624 10262 33554432000 4194304 4196468 140721765208208 139763781655312 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11022] ppid=11015 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11022/stat : 11022 (java) S 11015 11015 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475533866 15508250624 10262 33554432000 4194304 4196468 140721765208208 139763780602768 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11023] ppid=11015 vsize=15144776 memory=139952222533248 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11023/stat : 11023 (java) S 11015 11015 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475533868 15508250624 10262 33554432000 4194304 4196468 140721765208208 139763065096432 139764191140482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11024] ppid=11015 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11024/stat : 11024 (java) S 11015 11015 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475533868 15508250624 10262 33554432000 4194304 4196468 140721765208208 139763064042656 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11025] ppid=11015 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11025/stat : 11025 (java) S 11015 11015 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475533868 15508250624 10262 33554432000 4194304 4196468 140721765208208 139763062989552 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11026] ppid=11015 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11026/stat : 11026 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475533871 15508250624 10262 33554432000 4194304 4196468 140721765208208 139763061938128 139764191147931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11027] ppid=11015 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11017/task/11027/stat : 11027 (java) S 11015 11015 6055 0 -1 1077944384 688 0 0 0 3 0 0 0 20 0 15 0 475533871 15508250624 10262 33554432000 4194304 4196468 140721765208208 139763060886256 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11028] ppid=11015 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11017/task/11028/stat : 11028 (java) R 11015 11015 6055 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 15 0 475533871 15508250624 10262 33554432000 4194304 4196468 140721765208208 139763059833712 139764191140482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11029] ppid=11015 vsize=15144776 memory=139952222533248 CPUtime=0.08 cores=0,2,4,6
/proc/11017/task/11029/stat : 11029 (java) R 11015 11015 6055 0 -1 1077944384 723 0 0 0 8 0 0 0 20 0 15 0 475533871 15508250624 10262 33554432000 4194304 4196468 140721765208208 139763058780656 139764191140482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11030] ppid=11015 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11030/stat : 11030 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475533871 15508250624 10262 33554432000 4194304 4196468 140721765208208 139763057728352 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11031] ppid=11015 vsize=15144776 memory=139952222533248 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11031/stat : 11031 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533871 15508250624 10262 33554432000 4194304 4196468 140721765208208 139763056675376 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42504 KiB

[startup+0.310821 s]*
/proc/loadavg: 7.65 8.13 8.14 8/234 11031
/proc/meminfo: memFree=15386304/32770624 swapFree=66988784/67108860
[pid=11015] ppid=11012 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (xcsp3-exec) S 11012 11015 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475533865 115843072 364 33554432000 4194304 5098028 140722244717104 140722244715208 140416834425468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33370112 140722244723543 140722244723801 140722244723801 140722244726726 0
/proc/11015/statm: 28282 364 305 221 0 87 0
[pid=11017] ppid=11015 vsize=15149032 memory=49712 CPUtime=0.52 cores=0,2,4,6
/proc/11017/stat : 11017 (java) S 11015 11015 6055 0 -1 1077944320 10771 0 0 0 48 4 0 0 20 0 15 0 475533865 15512608768 12428 33554432000 4194304 4196468 140721765208208 140721765190752 139764191129335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
/proc/11017/statm: 3787258 12428 3343 1 0 3748377 0
[pid=11017/tid=11018] ppid=11015 vsize=15149032 memory=-8094235084319000145 CPUtime=0.3 cores=0,2,4,6
/proc/11017/task/11018/stat : 11018 (java) R 11015 11015 6055 0 -1 4202560 7792 0 0 0 27 3 0 0 20 0 15 0 475533866 15512608768 12428 33554432000 4194304 4196468 140721765208208 139764195360448 139764191151261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11019] ppid=11015 vsize=15149032 memory=3472468081117684944 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11019/stat : 11019 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15512608768 12428 33554432000 4194304 4196468 140721765208208 139764143750160 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11020] ppid=11015 vsize=15149032 memory=279904335964544 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11020/stat : 11020 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15512608768 12428 33554432000 4194304 4196468 140721765208208 139764142697616 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11021] ppid=11015 vsize=15149032 memory=279904226894880 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11021/stat : 11021 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15512608768 12428 33554432000 4194304 4196468 140721765208208 139763781655312 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11022] ppid=11015 vsize=15149032 memory=139952113431311 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11022/stat : 11022 (java) S 11015 11015 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475533866 15512608768 12428 33554432000 4194304 4196468 140721765208208 139763780602768 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11023] ppid=11015 vsize=15149032 memory=279904335971456 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11023/stat : 11023 (java) S 11015 11015 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475533868 15512608768 12428 33554432000 4194304 4196468 140721765208208 139763065096432 139764191140482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11024] ppid=11015 vsize=15149032 memory=139952113435919 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11024/stat : 11024 (java) S 11015 11015 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475533868 15512608768 12428 33554432000 4194304 4196468 140721765208208 139763064042656 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11025] ppid=11015 vsize=15149032 memory=139952113444311 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11025/stat : 11025 (java) S 11015 11015 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475533868 15512608768 12428 33554432000 4194304 4196468 140721765208208 139763062989552 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11026] ppid=11015 vsize=15149032 memory=139952113451454 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11026/stat : 11026 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475533871 15512608768 12428 33554432000 4194304 4196468 140721765208208 139763061938128 139764191147931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11027] ppid=11015 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11017/task/11027/stat : 11027 (java) S 11015 11015 6055 0 -1 1077944384 694 0 0 0 4 0 0 0 20 0 15 0 475533871 15512608768 12428 33554432000 4194304 4196468 140721765208208 139763060886256 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11028] ppid=11015 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11017/task/11028/stat : 11028 (java) S 11015 11015 6055 0 -1 1077944384 177 0 0 0 3 0 0 0 20 0 15 0 475533871 15512608768 12428 33554432000 4194304 4196468 140721765208208 139763059833712 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11029] ppid=11015 vsize=15149032 memory=139952222533248 CPUtime=0.12 cores=0,2,4,6
/proc/11017/task/11029/stat : 11029 (java) S 11015 11015 6055 0 -1 1077944384 804 0 0 0 12 0 0 0 20 0 15 0 475533871 15512608768 12428 33554432000 4194304 4196468 140721765208208 139763058780656 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11030] ppid=11015 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11030/stat : 11030 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475533871 15512608768 12428 33554432000 4194304 4196468 140721765208208 139763057728352 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11031] ppid=11015 vsize=15149032 memory=139952222534704 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11031/stat : 11031 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533871 15512608768 12428 33554432000 4194304 4196468 140721765208208 139763056675376 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51168 KiB

[startup+0.701153 s]
/proc/loadavg: 7.65 8.13 8.14 7/234 11031
/proc/meminfo: memFree=15372332/32770624 swapFree=66988784/67108860
[pid=11015] ppid=11012 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (xcsp3-exec) S 11012 11015 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475533865 115843072 364 33554432000 4194304 5098028 140722244717104 140722244715208 140416834425468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33370112 140722244723543 140722244723801 140722244723801 140722244726726 0
/proc/11015/statm: 28282 364 305 221 0 87 0
[pid=11017] ppid=11015 vsize=15151156 memory=147244 CPUtime=1.67 cores=0,2,4,6
/proc/11017/stat : 11017 (java) S 11015 11015 6055 0 -1 1077944320 14654 0 0 0 161 6 0 0 20 0 15 0 475533865 15514783744 36811 33554432000 4194304 4196468 140721765208208 140721765190752 139764191129335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
/proc/11017/statm: 3787789 36811 3450 1 0 3748889 0
[pid=11017/tid=11018] ppid=11015 vsize=15151156 memory=7882800638288482663 CPUtime=0.67 cores=0,2,4,6
/proc/11017/task/11018/stat : 11018 (java) R 11015 11015 6055 0 -1 4202560 9170 0 0 0 62 5 0 0 20 0 15 0 475533866 15514783744 36811 33554432000 4194304 4196468 140721765208208 139764195367072 139763822761437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11019] ppid=11015 vsize=15151156 memory=7740951466249179473 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11019/stat : 11019 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15514783744 36811 33554432000 4194304 4196468 140721765208208 139764143750160 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11020] ppid=11015 vsize=15151156 memory=7453282923495516522 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11020/stat : 11020 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15514783744 36811 33554432000 4194304 4196468 140721765208208 139764142697616 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11021] ppid=11015 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11021/stat : 11021 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533866 15514783744 36811 33554432000 4194304 4196468 140721765208208 139763781655312 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11022] ppid=11015 vsize=15151156 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11022/stat : 11022 (java) S 11015 11015 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475533866 15514783744 36821 33554432000 4194304 4196468 140721765208208 139763780602768 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11023] ppid=11015 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11023/stat : 11023 (java) S 11015 11015 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475533868 15514783744 36821 33554432000 4194304 4196468 140721765208208 139763065096432 139764191140482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11024] ppid=11015 vsize=15151156 memory=756 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11024/stat : 11024 (java) S 11015 11015 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475533868 15514783744 36821 33554432000 4194304 4196468 140721765208208 139763064042656 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11025] ppid=11015 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11025/stat : 11025 (java) S 11015 11015 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475533868 15514783744 36821 33554432000 4194304 4196468 140721765208208 139763062989552 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11026] ppid=11015 vsize=15151156 memory=8100 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11026/stat : 11026 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475533871 15514783744 36821 33554432000 4194304 4196468 140721765208208 139763061938128 139764191147931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11027] ppid=11015 vsize=15151156 memory=1164 CPUtime=0.28 cores=0,2,4,6
/proc/11017/task/11027/stat : 11027 (java) R 11015 11015 6055 0 -1 4202560 1476 0 0 0 28 0 0 0 20 0 15 0 475533871 15514783744 36821 33554432000 4194304 4196468 140721765208208 139763060866320 139764191150682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11028] ppid=11015 vsize=15151156 memory=9520 CPUtime=0.28 cores=0,2,4,6
/proc/11017/task/11028/stat : 11028 (java) R 11015 11015 6055 0 -1 4202560 962 0 0 0 28 0 0 0 20 0 15 0 475533871 15514783744 36821 33554432000 4194304 4196468 140721765208208 139763059826736 139764191141270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11029] ppid=11015 vsize=15151156 memory=14008 CPUtime=0.41 cores=0,2,4,6
/proc/11017/task/11029/stat : 11029 (java) R 11015 11015 6055 0 -1 1077944384 1740 0 0 0 41 0 0 0 20 0 15 0 475533871 15514783744 36821 33554432000 4194304 4196468 140721765208208 139763058778448 139764191139541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11030] ppid=11015 vsize=15151156 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11030/stat : 11030 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475533871 15514783744 36821 33554432000 4194304 4196468 140721765208208 139763057728352 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11031] ppid=11015 vsize=15151156 memory=12028 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11031/stat : 11031 (java) S 11015 11015 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475533871 15514783744 36821 33554432000 4194304 4196468 140721765208208 139763056675376 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 148700 KiB

[startup+1.50077 s]
/proc/loadavg: 7.65 8.13 8.14 9/234 11031
/proc/meminfo: memFree=15036656/32770624 swapFree=66988784/67108860
[pid=11015] ppid=11012 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (xcsp3-exec) S 11012 11015 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475533865 115843072 364 33554432000 4194304 5098028 140722244717104 140722244715208 140416834425468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33370112 140722244723543 140722244723801 140722244723801 140722244726726 0
/proc/11015/statm: 28282 364 305 221 0 87 0

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

/proc/11017/task/11131/stat : 11131 (java) R 11015 11015 6055 0 -1 4202560 833 0 0 0 782 0 0 0 20 0 19 0 475534331 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763047456496 139763828368742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
Current children cumulated CPU time: 48.27 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 652380 KiB

[startup+13.6452 s]
# the end of solver process 11015 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=51.4571 s, system=0.536989 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8109 s]
/proc/loadavg: 8.24 8.24 8.17 9/238 11131
/proc/meminfo: memFree=14332300/32770624 swapFree=66988784/67108860
[pid=11015] ppid=11012 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (xcsp3-exec) S 11012 11015 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475533865 115843072 364 33554432000 4194304 5098028 140722244717104 140722244715208 140416834425468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33370112 140722244723543 140722244723801 140722244723801 140722244726726 0
/proc/11015/statm: 28282 364 305 221 0 87 0
[pid=11017] ppid=11015 vsize=15486024 memory=650924 CPUtime=48.69 cores=0,2,4,6
/proc/11017/stat : 11017 (java) S 11015 11015 6055 0 -1 1077944320 40960 0 0 0 4817 52 0 0 20 0 19 0 475533865 15857688576 162731 33554432000 4194304 4196468 140721765208208 140721765190752 139764191129335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
/proc/11017/statm: 3871506 162731 3541 1 0 3832606 0
[pid=11017/tid=11018] ppid=11015 vsize=15486024 memory=2120 CPUtime=0.86 cores=0,2,4,6
/proc/11017/task/11018/stat : 11018 (java) S 11015 11015 6055 0 -1 1077944384 9272 0 0 0 81 5 0 0 20 0 19 0 475533866 15857688576 162731 33554432000 4194304 4196468 140721765208208 139764195370112 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11019] ppid=11015 vsize=15486024 memory=12028 CPUtime=0.47 cores=0,2,4,6
/proc/11017/task/11019/stat : 11019 (java) S 11015 11015 6055 0 -1 1077944384 274 0 0 0 39 8 0 0 20 0 19 0 475533866 15857688576 162731 33554432000 4194304 4196468 140721765208208 139764143750160 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11020] ppid=11015 vsize=15486024 memory=15696 CPUtime=0.49 cores=0,2,4,6
/proc/11017/task/11020/stat : 11020 (java) S 11015 11015 6055 0 -1 1077944384 281 0 0 0 40 9 0 0 20 0 19 0 475533866 15857688576 162731 33554432000 4194304 4196468 140721765208208 139764142697616 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11021] ppid=11015 vsize=15486024 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/11017/task/11021/stat : 11021 (java) S 11015 11015 6055 0 -1 1077944384 308 0 0 0 40 10 0 0 20 0 19 0 475533866 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763781655312 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11022] ppid=11015 vsize=15486024 memory=-8412652152092201843 CPUtime=0.5 cores=0,2,4,6
/proc/11017/task/11022/stat : 11022 (java) S 11015 11015 6055 0 -1 1077944384 214 0 0 0 40 10 0 0 20 0 19 0 475533866 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763780602768 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11023] ppid=11015 vsize=15486024 memory=4426639978525455914 CPUtime=0.02 cores=0,2,4,6
/proc/11017/task/11023/stat : 11023 (java) S 11015 11015 6055 0 -1 1077944384 687 0 0 0 2 0 0 0 20 0 19 0 475533868 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763065096432 139764191140482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11024] ppid=11015 vsize=15486024 memory=3047711553219693942 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11024/stat : 11024 (java) S 11015 11015 6055 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475533868 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763064042720 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11025] ppid=11015 vsize=15486024 memory=-7521736447810188379 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11025/stat : 11025 (java) S 11015 11015 6055 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475533868 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763062989568 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11026] ppid=11015 vsize=15486024 memory=-8412652160765825907 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11026/stat : 11026 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763061938128 139764191147931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11027] ppid=11015 vsize=15486024 memory=7100839878645619564 CPUtime=2.89 cores=0,2,4,6
/proc/11017/task/11027/stat : 11027 (java) S 11015 11015 6055 0 -1 1077944384 10065 0 0 0 288 1 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763060886256 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11028] ppid=11015 vsize=15486024 memory=-8634980985311628903 CPUtime=2.45 cores=0,2,4,6
/proc/11017/task/11028/stat : 11028 (java) S 11015 11015 6055 0 -1 1077944384 6339 0 0 0 245 0 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763059833712 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11029] ppid=11015 vsize=15486024 memory=279904226973232 CPUtime=0.85 cores=0,2,4,6
/proc/11017/task/11029/stat : 11029 (java) S 11015 11015 6055 0 -1 1077944384 5484 0 0 0 84 1 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763058780656 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11030] ppid=11015 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11030/stat : 11030 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763057728352 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11031] ppid=11015 vsize=15486024 memory=56 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11031/stat : 11031 (java) S 11015 11015 6055 0 -1 1077944384 891 0 0 0 0 0 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763056675376 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11128] ppid=11015 vsize=15486024 memory=0 CPUtime=7.85 cores=0,2,4,6
/proc/11017/task/11128/stat : 11128 (java) R 11015 11015 6055 0 -1 4202560 470 0 0 0 785 0 0 0 20 0 19 0 475534312 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763045350424 139763828368315 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11129] ppid=11015 vsize=15486024 memory=139952113534348 CPUtime=8.02 cores=0,2,4,6
/proc/11017/task/11129/stat : 11129 (java) R 11015 11015 6055 0 -1 4202560 958 0 0 0 802 0 0 0 20 0 19 0 475534331 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763043246056 139763830561891 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11130] ppid=11015 vsize=15486024 memory=576587670020715552 CPUtime=7.91 cores=0,2,4,6
/proc/11017/task/11130/stat : 11130 (java) R 11015 11015 6055 0 -1 4202560 1484 0 0 0 791 0 0 0 20 0 19 0 475534331 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763044298984 139763830677222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11131] ppid=11015 vsize=15486024 memory=288291090701859984 CPUtime=7.92 cores=0,2,4,6
/proc/11017/task/11131/stat : 11131 (java) R 11015 11015 6055 0 -1 4202560 833 0 0 0 792 0 0 0 20 0 19 0 475534331 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763047456496 139763830561611 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
Current children cumulated CPU time: 48.69 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 652380 KiB

[startup+13.2009 s]
/proc/loadavg: 8.30 8.25 8.18 9/238 11131
/proc/meminfo: memFree=14332300/32770624 swapFree=66988784/67108860
[pid=11015] ppid=11012 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (xcsp3-exec) S 11012 11015 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475533865 115843072 364 33554432000 4194304 5098028 140722244717104 140722244715208 140416834425468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33370112 140722244723543 140722244723801 140722244723801 140722244726726 0
/proc/11015/statm: 28282 364 305 221 0 87 0
[pid=11017] ppid=11015 vsize=15486024 memory=650924 CPUtime=50.23 cores=0,2,4,6
/proc/11017/stat : 11017 (java) S 11015 11015 6055 0 -1 1077944320 40964 0 0 0 4971 52 0 0 20 0 19 0 475533865 15857688576 162731 33554432000 4194304 4196468 140721765208208 140721765190752 139764191129335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
/proc/11017/statm: 3871506 162731 3541 1 0 3832606 0
[pid=11017/tid=11018] ppid=11015 vsize=15486024 memory=14689690934577591 CPUtime=0.86 cores=0,2,4,6
/proc/11017/task/11018/stat : 11018 (java) S 11015 11015 6055 0 -1 1077944384 9272 0 0 0 81 5 0 0 20 0 19 0 475533866 15857688576 162731 33554432000 4194304 4196468 140721765208208 139764195370112 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11019] ppid=11015 vsize=15486024 memory=7018409590708855658 CPUtime=0.47 cores=0,2,4,6
/proc/11017/task/11019/stat : 11019 (java) S 11015 11015 6055 0 -1 1077944384 274 0 0 0 39 8 0 0 20 0 19 0 475533866 15857688576 162731 33554432000 4194304 4196468 140721765208208 139764143750160 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11020] ppid=11015 vsize=15486024 memory=6299802978650451056 CPUtime=0.49 cores=0,2,4,6
/proc/11017/task/11020/stat : 11020 (java) S 11015 11015 6055 0 -1 1077944384 281 0 0 0 40 9 0 0 20 0 19 0 475533866 15857688576 162731 33554432000 4194304 4196468 140721765208208 139764142697616 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11021] ppid=11015 vsize=15486024 memory=7380385388137112419 CPUtime=0.5 cores=0,2,4,6
/proc/11017/task/11021/stat : 11021 (java) S 11015 11015 6055 0 -1 1077944384 308 0 0 0 40 10 0 0 20 0 19 0 475533866 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763781655312 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11022] ppid=11015 vsize=15486024 memory=7012531506792015506 CPUtime=0.5 cores=0,2,4,6
/proc/11017/task/11022/stat : 11022 (java) S 11015 11015 6055 0 -1 1077944384 214 0 0 0 40 10 0 0 20 0 19 0 475533866 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763780602768 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11023] ppid=11015 vsize=15486024 memory=187312718354267 CPUtime=0.02 cores=0,2,4,6
/proc/11017/task/11023/stat : 11023 (java) S 11015 11015 6055 0 -1 1077944384 688 0 0 0 2 0 0 0 20 0 19 0 475533868 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763065096432 139764191140482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11024] ppid=11015 vsize=15486024 memory=139952113951392 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11024/stat : 11024 (java) S 11015 11015 6055 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475533868 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763064042720 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11025] ppid=11015 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11025/stat : 11025 (java) S 11015 11015 6055 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475533868 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763062989568 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11026] ppid=11015 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11026/stat : 11026 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763061938128 139764191147931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11027] ppid=11015 vsize=15486024 memory=0 CPUtime=2.89 cores=0,2,4,6
/proc/11017/task/11027/stat : 11027 (java) S 11015 11015 6055 0 -1 1077944384 10065 0 0 0 288 1 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763060886256 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11028] ppid=11015 vsize=15486024 memory=0 CPUtime=2.45 cores=0,2,4,6
/proc/11017/task/11028/stat : 11028 (java) S 11015 11015 6055 0 -1 1077944384 6339 0 0 0 245 0 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763059833712 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11029] ppid=11015 vsize=15486024 memory=-3395018499110502488 CPUtime=0.85 cores=0,2,4,6
/proc/11017/task/11029/stat : 11029 (java) S 11015 11015 6055 0 -1 1077944384 5484 0 0 0 84 1 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763058780656 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11030] ppid=11015 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11030/stat : 11030 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763057728352 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11031] ppid=11015 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11031/stat : 11031 (java) S 11015 11015 6055 0 -1 1077944384 891 0 0 0 0 0 0 0 20 0 19 0 475533871 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763056675376 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11128] ppid=11015 vsize=15486024 memory=3 CPUtime=8.24 cores=0,2,4,6
/proc/11017/task/11128/stat : 11128 (java) R 11015 11015 6055 0 -1 4202560 471 0 0 0 824 0 0 0 20 0 19 0 475534312 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763045350392 139764175469504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11129] ppid=11015 vsize=15486024 memory=119 CPUtime=8.41 cores=0,2,4,6
/proc/11017/task/11129/stat : 11129 (java) R 11015 11015 6055 0 -1 4202560 958 0 0 0 841 0 0 0 20 0 19 0 475534331 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763043245688 139763829395071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11130] ppid=11015 vsize=15486024 memory=268 CPUtime=8.3 cores=0,2,4,6
/proc/11017/task/11130/stat : 11130 (java) R 11015 11015 6055 0 -1 4202560 1486 0 0 0 830 0 0 0 20 0 19 0 475534331 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763044298240 139763830676705 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11131] ppid=11015 vsize=15486024 memory=139952113826615 CPUtime=8.3 cores=0,2,4,6
/proc/11017/task/11131/stat : 11131 (java) R 11015 11015 6055 0 -1 4202560 833 0 0 0 830 0 0 0 20 0 19 0 475534331 15857688576 162731 33554432000 4194304 4196468 140721765208208 139763047456984 139763831516229 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
Current children cumulated CPU time: 50.23 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 652380 KiB

[startup+13.6009 s]
/proc/loadavg: 8.30 8.25 8.18 9/238 11131
/proc/meminfo: memFree=14332300/32770624 swapFree=66988784/67108860
[pid=11015] ppid=11012 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (xcsp3-exec) S 11012 11015 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475533865 115843072 364 33554432000 4194304 5098028 140722244717104 140722244715208 140416834425468 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33370112 140722244723543 140722244723801 140722244723801 140722244726726 0
/proc/11015/statm: 28282 364 305 221 0 87 0
[pid=11017] ppid=11015 vsize=15486024 memory=652972 CPUtime=51.83 cores=0,2,4,6
/proc/11017/stat : 11017 (java) S 11015 11015 6055 0 -1 1077944320 41016 0 0 0 5131 52 0 0 20 0 19 0 475533865 15857688576 163243 33554432000 4194304 4196468 140721765208208 140721765190752 139764191129335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
/proc/11017/statm: 3871506 163243 3541 1 0 3832606 0
[pid=11017/tid=11018] ppid=11015 vsize=15486024 memory=6791534058613427641 CPUtime=0.86 cores=0,2,4,6
/proc/11017/task/11018/stat : 11018 (java) S 11015 11015 6055 0 -1 1077944384 9272 0 0 0 81 5 0 0 20 0 19 0 475533866 15857688576 163243 33554432000 4194304 4196468 140721765208208 139764195370112 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11019] ppid=11015 vsize=15486024 memory=39024 CPUtime=0.47 cores=0,2,4,6
/proc/11017/task/11019/stat : 11019 (java) S 11015 11015 6055 0 -1 1077944384 274 0 0 0 39 8 0 0 20 0 19 0 475533866 15857688576 163243 33554432000 4194304 4196468 140721765208208 139764143750160 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11020] ppid=11015 vsize=15486024 memory=2004 CPUtime=0.49 cores=0,2,4,6
/proc/11017/task/11020/stat : 11020 (java) S 11015 11015 6055 0 -1 1077944384 281 0 0 0 40 9 0 0 20 0 19 0 475533866 15857688576 163243 33554432000 4194304 4196468 140721765208208 139764142697616 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11021] ppid=11015 vsize=15486024 memory=984 CPUtime=0.5 cores=0,2,4,6
/proc/11017/task/11021/stat : 11021 (java) S 11015 11015 6055 0 -1 1077944384 308 0 0 0 40 10 0 0 20 0 19 0 475533866 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763781655312 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11022] ppid=11015 vsize=15486024 memory=1324 CPUtime=0.5 cores=0,2,4,6
/proc/11017/task/11022/stat : 11022 (java) S 11015 11015 6055 0 -1 1077944384 214 0 0 0 40 10 0 0 20 0 19 0 475533866 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763780602768 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11023] ppid=11015 vsize=15486024 memory=780 CPUtime=0.02 cores=0,2,4,6
/proc/11017/task/11023/stat : 11023 (java) S 11015 11015 6055 0 -1 1077944384 688 0 0 0 2 0 0 0 20 0 19 0 475533868 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763065096432 139764191140482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11024] ppid=11015 vsize=15486024 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11024/stat : 11024 (java) S 11015 11015 6055 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475533868 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763064042720 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11025] ppid=11015 vsize=15486024 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11025/stat : 11025 (java) S 11015 11015 6055 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475533868 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763062989568 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11026] ppid=11015 vsize=15486024 memory=1028 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11026/stat : 11026 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475533871 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763061938128 139764191147931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11027] ppid=11015 vsize=15486024 memory=1060 CPUtime=2.89 cores=0,2,4,6
/proc/11017/task/11027/stat : 11027 (java) R 11015 11015 6055 0 -1 1077944384 10112 0 0 0 288 1 0 0 20 0 19 0 475533871 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763060886256 139764191140482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11028] ppid=11015 vsize=15486024 memory=2828 CPUtime=2.45 cores=0,2,4,6
/proc/11017/task/11028/stat : 11028 (java) S 11015 11015 6055 0 -1 1077944384 6339 0 0 0 245 0 0 0 20 0 19 0 475533871 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763059833712 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11029] ppid=11015 vsize=15486024 memory=756 CPUtime=0.85 cores=0,2,4,6
/proc/11017/task/11029/stat : 11029 (java) S 11015 11015 6055 0 -1 1077944384 5484 0 0 0 84 1 0 0 20 0 19 0 475533871 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763058780656 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11030] ppid=11015 vsize=15486024 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11030/stat : 11030 (java) S 11015 11015 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475533871 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763057728352 139764191139541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11031] ppid=11015 vsize=15486024 memory=8100 CPUtime=0 cores=0,2,4,6
/proc/11017/task/11031/stat : 11031 (java) S 11015 11015 6055 0 -1 1077944384 891 0 0 0 0 0 0 0 20 0 19 0 475533871 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763056675376 139764191140482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11128] ppid=11015 vsize=15486024 memory=1164 CPUtime=8.64 cores=0,2,4,6
/proc/11017/task/11128/stat : 11128 (java) R 11015 11015 6055 0 -1 4202560 471 0 0 0 864 0 0 0 20 0 19 0 475534312 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763045350392 139763829274732 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11129] ppid=11015 vsize=15486024 memory=9520 CPUtime=8.81 cores=0,2,4,6
/proc/11017/task/11129/stat : 11129 (java) R 11015 11015 6055 0 -1 4202560 962 0 0 0 881 0 0 0 20 0 19 0 475534331 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763043245688 139763829394757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11130] ppid=11015 vsize=15486024 memory=14008 CPUtime=8.7 cores=0,2,4,6
/proc/11017/task/11130/stat : 11130 (java) R 11015 11015 6055 0 -1 4202560 1487 0 0 0 870 0 0 0 20 0 19 0 475534331 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763044298488 139763828368271 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
[pid=11017/tid=11131] ppid=11015 vsize=15486024 memory=2120 CPUtime=8.7 cores=0,2,4,6
/proc/11017/task/11131/stat : 11131 (java) R 11015 11015 6055 0 -1 4202560 833 0 0 0 870 0 0 0 20 0 19 0 475534331 15857688576 163243 33554432000 4194304 4196468 140721765208208 139763047456984 139763828368197 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11452416 140721765213147 140721765213322 140721765213322 140721765216207 0
Current children cumulated CPU time: 51.83 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 654428 KiB

Child status: 0
Real time (s): 13.6453
CPU time (s): 51.9941
CPU user time (s): 51.4571
CPU system time (s): 0.536989
CPU usage (%): 381.04
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 657296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.4571
system time used= 0.536989
maximum resident set size= 655844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42445
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= 3673
involuntary context switches= 1477


# summary of solver processes directly reported to runsolver:
#   pid: 11015
#   total CPU time (s): 51.9941
#   total CPU user time (s): 51.4571
#   total CPU system time (s): 0.536989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.106891 second user time and 0.196085 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-20 17:17:50
IDJOB=4403627
IDBENCH=138316
IDSOLVER=2863
FILE ID=node121/4403627-1568992713
RUNJOBID= node121-1568988421-6086
PBS_JOBID= 21704645
Free space on /var/tmp= 13488 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff62.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403627-1568992713/watcher-4403627-1568992713 -o /var/tmp/evaluation-result-4403627-1568992713/solver-4403627-1568992713 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6086 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 694818726 HOME/instance-4403627-1568992713.xml

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

MD5SUM BENCH= 5002a5aac4309249d3aa4752a35eede8
RANDOM SEED=694818726

node121.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.75
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.75
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.75
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.75
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:        15422884 kB
MemAvailable:   30861176 kB
Buffers:          117964 kB
Cached:         15268272 kB
SwapCached:         5496 kB
Active:          8633836 kB
Inactive:        7757480 kB
Active(anon):     998320 kB
Inactive(anon):    44520 kB
Active(file):    7635516 kB
Inactive(file):  7712960 kB
Unevictable:      111180 kB
Mlocked:          111180 kB
SwapTotal:      67108860 kB
SwapFree:       66988784 kB
Dirty:             26076 kB
Writeback:             0 kB
AnonPages:       1155404 kB
Mapped:            59732 kB
Shmem:             29352 kB
Slab:             548456 kB
SReclaimable:     518276 kB
SUnreclaim:        30180 kB
KernelStack:        4160 kB
PageTables:         8184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2651208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1046528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node121 at 2019-09-20 17:18:04