Trace number 4394373

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-06-14 parallelOPT7 10.4059 2.41543

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff82.xml
MD5SUM3393a669eb5a1b265b3859905e8317a5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark0.103448
Satisfiable
(Un)Satisfiability was proved
Number of variables495
Number of constraints481
Number of domains20
Minimum domain size18
Maximum domain size19
Distribution of domain sizes[{"size":18,"count":32},{"size":19,"count":463}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":480},{"degree":31,"count":15}]
Minimum constraint arity2
Maximum constraint arity16
Distribution of constraint arities[{"arity":2,"count":450},{"arity":15,"count":1},{"arity":16,"count":30}]
Number of extensional constraints450
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":450},{"type":"ordered","count":1},{"type":"minimum","count":30}]
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-4394373-1568441905.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394373-1568441905.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
4.31/1.20	c solve instance...
5.48/1.41	o 577 
5.48/1.43	o 213 
5.48/1.43	o 205 
5.48/1.44	o 165 
5.48/1.47	o 151 
9.13/1.96	o 98 
9.13/1.97	o 86 
10.38/2.38	o 83 
10.38/2.38	o 73 
10.38/2.38	o 60 
10.38/2.38	o 32 
10.38/2.38	o 31 
10.38/2.38	o 30 
10.38/2.38	o 24 
10.38/2.38	o 23 
10.38/2.38	o 22 
10.38/2.38	o 21 
10.38/2.38	o 9 
10.38/2.38	o 8 
10.38/2.38	o 7 
10.38/2.38	s OPTIMUM FOUND
10.38/2.38	v <instantiation>
10.38/2.38	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] x[13] x[14] 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[0][13] drd[0][14] 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[1][13] drd[1][14] 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[2][13] drd[2][14] 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[3][13] drd[3][14] 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[4][13] drd[4][14] 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[5][13] drd[5][14] 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[6][13] drd[6][14] 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[7][13] drd[7][14] 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[8][13] drd[8][14] 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[9][13] drd[9][14] 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[10][13] drd[10][14] 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[11][13] drd[11][14] 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[12][13] drd[12][14] 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[13][13] drd[13][14] 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[14][13] drd[14][14] 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[15][13] drd[15][14] 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[16][13] drd[16][14] 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[17][13] drd[17][14] 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[18][13] drd[18][14] 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[19][13] drd[19][14] 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[20][13] drd[20][14] 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[21][13] drd[21][14] 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[22][13] drd[22][14] 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[23][13] drd[23][14] 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[24][13] drd[24][14] 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[25][13] drd[25][14] 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[26][13] drd[26][14] 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[27][13] drd[27][14] 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[28][13] drd[28][14] 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[29][13] drd[29][14] 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] </list>
10.38/2.38	v 	<values>9 24 32 96 118 158 187 205 244 332 385 423 450 485 510 14 1 9 73 95 135 164 182 221 309 362 400 427 462 487 14 1 9 73 95 135 164 182 221 309 362 400 427 462 487 235 220 212 148 126 86 57 39 0 88 141 179 206 241 266 236 221 213 149 127 87 58 40 1 87 140 178 205 240 265 323 308 300 236 214 174 145 127 88 0 53 91 118 153 178 323 308 300 236 214 174 145 127 88 0 53 91 118 153 178 501 486 478 414 392 352 323 305 266 178 125 87 60 25 0 414 399 391 327 305 265 236 218 179 91 38 0 27 62 87 412 397 389 325 303 263 234 216 177 89 36 2 29 64 89 178 163 155 91 69 29 0 18 57 145 198 236 263 298 323 178 163 155 91 69 29 0 18 57 145 198 236 263 298 323 233 218 210 146 124 84 55 37 2 90 143 181 208 243 268 15 0 8 72 94 134 163 181 220 308 361 399 426 461 486 15 0 8 72 94 134 163 181 220 308 361 399 426 461 486 476 461 453 389 367 327 298 280 241 153 100 62 35 0 25 0 15 23 87 109 149 178 196 235 323 376 414 441 476 501 15 0 8 72 94 134 163 181 220 308 361 399 426 461 486 87 72 64 0 22 62 91 109 148 236 289 327 354 389 414 87 72 64 0 22 62 91 109 148 236 289 327 354 389 414 441 426 418 354 332 292 263 245 206 118 65 27 0 35 60 109 94 86 22 0 40 69 87 126 214 267 305 332 367 392 109 94 86 22 0 40 69 87 126 214 267 305 332 367 392 376 361 353 289 267 227 198 180 141 53 0 38 65 100 125 376 361 353 289 267 227 198 180 141 53 0 38 65 100 125 149 134 126 62 40 0 29 47 86 174 227 265 292 327 352 149 134 126 62 40 0 29 47 86 174 227 265 292 327 352 196 181 173 109 87 47 18 0 39 127 180 218 245 280 305 23 8 0 64 86 126 155 173 212 300 353 391 418 453 478 23 8 0 64 86 126 155 173 212 300 353 391 418 453 478 441 426 418 354 332 292 263 245 206 118 65 27 0 35 60 1 1 0 1 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
10.38/2.38	v </instantiation>

Verifier Data 

OK	7

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394373-1568441905/watcher-4394373-1568441905 -o /tmp/evaluation-result-4394373-1568441905/solver-4394373-1568441905 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1989562796 HOME/instance-4394373-1568441905.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=15189, runsolver pid=15186
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 7.46 8.25 8.31 2/212 15210
/proc/meminfo: memFree=25811520/32770624 swapFree=67002168/67108860
[pid=15189] ppid=15186 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15189/stat : 15189 (xcsp3-exec) S 15186 15189 14480 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420439125 115843072 364 33554432000 4194304 5098028 140731033696224 140731033694328 139727102702204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22052864 140731033703285 140731033703529 140731033703529 140731033706442 0
/proc/15189/statm: 28282 364 305 221 0 87 0
[pid=15191] ppid=15189 vsize=28227388 memory=27412 CPUtime=0.12 cores=0-7
/proc/15191/stat : 15191 (java) S 15189 15189 14480 0 -1 1077944320 5883 0 0 0 11 1 0 0 20 0 20 0 420439125 28904845312 6853 33554432000 4194304 4196468 140723265423232 140723265405776 140092940361463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
/proc/15191/statm: 7056847 6853 3114 1 0 7019032 0
[pid=15191/tid=15192] ppid=15189 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/15191/task/15192/stat : 15192 (java) R 15189 15189 14480 0 -1 4202560 3755 0 0 0 8 0 0 0 20 0 20 0 420439125 28904845312 6853 33554432000 4194304 4196468 140723265423232 140092944594240 140092940373398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15193] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15193/stat : 15193 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 6853 33554432000 4194304 4196468 140723265423232 140092492081424 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15194] ppid=15189 vsize=28227388 memory=140368745899648 CPUtime=0 cores=0-7
/proc/15191/task/15194/stat : 15194 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 6853 33554432000 4194304 4196468 140723265423232 140092491028880 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15195] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15195/stat : 15195 (java) S 15189 15189 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 6853 33554432000 4194304 4196468 140723265423232 140092489976336 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15196] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15196/stat : 15196 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 6853 33554432000 4194304 4196468 140723265423232 140092488923792 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15197] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15197/stat : 15197 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 6853 33554432000 4194304 4196468 140723265423232 140092487871248 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15198] ppid=15189 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15191/task/15198/stat : 15198 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 6853 33554432000 4194304 4196468 140723265423232 140092486818704 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15199] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15199/stat : 15199 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 6853 33554432000 4194304 4196468 140723265423232 140092485766160 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15200] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15200/stat : 15200 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 6853 33554432000 4194304 4196468 140723265423232 140092484713616 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15201] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15201/stat : 15201 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439128 28904845312 6853 33554432000 4194304 4196468 140723265423232 140091538675696 140092940372610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15202] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15202/stat : 15202 (java) S 15189 15189 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420439128 28904845312 6853 33554432000 4194304 4196468 140723265423232 140091537621920 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15203] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15203/stat : 15203 (java) S 15189 15189 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420439128 28904845312 6853 33554432000 4194304 4196468 140723265423232 140091536569328 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15204] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15204/stat : 15204 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439131 28904845312 6853 33554432000 4194304 4196468 140723265423232 140091535517904 140092940380059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15205] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15205/stat : 15205 (java) S 15189 15189 14480 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 420439131 28904845312 6853 33554432000 4194304 4196468 140723265423232 140091534465520 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15206] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15206/stat : 15206 (java) S 15189 15189 14480 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 420439131 28904845312 6853 33554432000 4194304 4196468 140723265423232 140091533412976 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15207] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15207/stat : 15207 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439131 28904845312 6853 33554432000 4194304 4196468 140723265423232 140091532360432 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15208] ppid=15189 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/15191/task/15208/stat : 15208 (java) S 15189 15189 14480 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 20 0 420439131 28904845312 6853 33554432000 4194304 4196468 140723265423232 140091531307888 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15209] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15209/stat : 15209 (java) S 15189 15189 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420439131 28904845312 6853 33554432000 4194304 4196468 140723265423232 140091530254560 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15210] ppid=15189 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15191/task/15210/stat : 15210 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439131 28904845312 6853 33554432000 4194304 4196468 140723265423232 140091529202096 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 28868 KiB

[startup+0.210544 s]*
/proc/loadavg: 7.46 8.25 8.31 3/212 15210
/proc/meminfo: memFree=25799084/32770624 swapFree=67002168/67108860
[pid=15189] ppid=15186 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15189/stat : 15189 (xcsp3-exec) S 15186 15189 14480 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420439125 115843072 364 33554432000 4194304 5098028 140731033696224 140731033694328 139727102702204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22052864 140731033703285 140731033703529 140731033703529 140731033706442 0
/proc/15189/statm: 28282 364 305 221 0 87 0
[pid=15191] ppid=15189 vsize=28227388 memory=39892 CPUtime=0.33 cores=0-7
/proc/15191/stat : 15191 (java) S 15189 15189 14480 0 -1 1077944320 9727 0 0 0 31 2 0 0 20 0 20 0 420439125 28904845312 9973 33554432000 4194304 4196468 140723265423232 140723265405776 140092940361463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
/proc/15191/statm: 7056847 9973 3302 1 0 7019032 0
[pid=15191/tid=15192] ppid=15189 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15191/task/15192/stat : 15192 (java) R 15189 15189 14480 0 -1 4202560 6732 0 0 0 18 2 0 0 20 0 20 0 420439125 28904845312 9973 33554432000 4194304 4196468 140723265423232 140092944599488 140092924441950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15193] ppid=15189 vsize=28227388 memory=330 CPUtime=0 cores=0-7
/proc/15191/task/15193/stat : 15193 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 9973 33554432000 4194304 4196468 140723265423232 140092492081424 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15194] ppid=15189 vsize=28227388 memory=140368749001737 CPUtime=0 cores=0-7
/proc/15191/task/15194/stat : 15194 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 9973 33554432000 4194304 4196468 140723265423232 140092491028880 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15195] ppid=15189 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15191/task/15195/stat : 15195 (java) S 15189 15189 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 9973 33554432000 4194304 4196468 140723265423232 140092489976336 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15196] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15196/stat : 15196 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 9973 33554432000 4194304 4196468 140723265423232 140092488923792 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15197] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15197/stat : 15197 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 9973 33554432000 4194304 4196468 140723265423232 140092487871248 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15198] ppid=15189 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15191/task/15198/stat : 15198 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 9973 33554432000 4194304 4196468 140723265423232 140092486818704 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15199] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15199/stat : 15199 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 9973 33554432000 4194304 4196468 140723265423232 140092485766160 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15200] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15200/stat : 15200 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28904845312 9973 33554432000 4194304 4196468 140723265423232 140092484713616 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15201] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15201/stat : 15201 (java) S 15189 15189 14480 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420439128 28904845312 9973 33554432000 4194304 4196468 140723265423232 140091538675696 140092940372610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15202] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15202/stat : 15202 (java) S 15189 15189 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420439128 28904845312 9973 33554432000 4194304 4196468 140723265423232 140091537621920 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15203] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15203/stat : 15203 (java) S 15189 15189 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420439128 28904845312 9973 33554432000 4194304 4196468 140723265423232 140091536569328 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15204] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15204/stat : 15204 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439131 28904845312 9973 33554432000 4194304 4196468 140723265423232 140091535517904 140092940380059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15205] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15205/stat : 15205 (java) S 15189 15189 14480 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 420439131 28904845312 9973 33554432000 4194304 4196468 140723265423232 140091534465520 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15206] ppid=15189 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/15191/task/15206/stat : 15206 (java) S 15189 15189 14480 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 20 0 420439131 28904845312 9973 33554432000 4194304 4196468 140723265423232 140091533412976 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15207] ppid=15189 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/15191/task/15207/stat : 15207 (java) S 15189 15189 14480 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 20 0 420439131 28904845312 9973 33554432000 4194304 4196468 140723265423232 140091532360432 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15208] ppid=15189 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/15191/task/15208/stat : 15208 (java) S 15189 15189 14480 0 -1 1077944384 887 0 0 0 7 0 0 0 20 0 20 0 420439131 28904845312 9973 33554432000 4194304 4196468 140723265423232 140091531307888 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15209] ppid=15189 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15209/stat : 15209 (java) S 15189 15189 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420439131 28904845312 9973 33554432000 4194304 4196468 140723265423232 140091530254560 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15210] ppid=15189 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15191/task/15210/stat : 15210 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439131 28904845312 9973 33554432000 4194304 4196468 140723265423232 140091529202096 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41348 KiB

[startup+0.310422 s]*
/proc/loadavg: 7.46 8.25 8.31 3/212 15210
/proc/meminfo: memFree=25793752/32770624 swapFree=67002168/67108860
[pid=15189] ppid=15186 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15189/stat : 15189 (xcsp3-exec) S 15186 15189 14480 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420439125 115843072 364 33554432000 4194304 5098028 140731033696224 140731033694328 139727102702204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22052864 140731033703285 140731033703529 140731033703529 140731033706442 0
/proc/15189/statm: 28282 364 305 221 0 87 0
[pid=15191] ppid=15189 vsize=28231644 memory=49088 CPUtime=0.52 cores=0-7
/proc/15191/stat : 15191 (java) S 15189 15189 14480 0 -1 1077944320 11199 0 0 0 49 3 0 0 20 0 20 0 420439125 28909203456 12272 33554432000 4194304 4196468 140723265423232 140723265405776 140092940361463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
/proc/15191/statm: 7057911 12272 3361 1 0 7019032 0
[pid=15191/tid=15192] ppid=15189 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15191/task/15192/stat : 15192 (java) R 15189 15189 14480 0 -1 4202560 7839 0 0 0 27 2 0 0 20 0 20 0 420439125 28909203456 12272 33554432000 4194304 4196468 140723265423232 140092944592576 140092924441980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15193] ppid=15189 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15193/stat : 15193 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28909203456 12272 33554432000 4194304 4196468 140723265423232 140092492081424 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15194] ppid=15189 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15194/stat : 15194 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28909203456 12272 33554432000 4194304 4196468 140723265423232 140092491028880 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15195] ppid=15189 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15195/stat : 15195 (java) S 15189 15189 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420439126 28909203456 12272 33554432000 4194304 4196468 140723265423232 140092489976336 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15196] ppid=15189 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15196/stat : 15196 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439126 28909203456 12311 33554432000 4194304 4196468 140723265423232 140092488923792 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15197] ppid=15189 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/15191/task/15197/stat : 15197 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439126 28909203456 12311 33554432000 4194304 4196468 140723265423232 140092487871248 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15198] ppid=15189 vsize=28231644 memory=140368591025071 CPUtime=0 cores=0-7
/proc/15191/task/15198/stat : 15198 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28909203456 12311 33554432000 4194304 4196468 140723265423232 140092486818704 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15199] ppid=15189 vsize=28231644 memory=140368591027376 CPUtime=0 cores=0-7
/proc/15191/task/15199/stat : 15199 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28909203456 12311 33554432000 4194304 4196468 140723265423232 140092485766160 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15200] ppid=15189 vsize=28231644 memory=140368591029680 CPUtime=0 cores=0-7
/proc/15191/task/15200/stat : 15200 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28909203456 12311 33554432000 4194304 4196468 140723265423232 140092484713616 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15201] ppid=15189 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15201/stat : 15201 (java) S 15189 15189 14480 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420439128 28909203456 12311 33554432000 4194304 4196468 140723265423232 140091538675696 140092940372610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15202] ppid=15189 vsize=28231644 memory=280737182066320 CPUtime=0 cores=0-7
/proc/15191/task/15202/stat : 15202 (java) S 15189 15189 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420439128 28909203456 12311 33554432000 4194304 4196468 140723265423232 140091537621920 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15203] ppid=15189 vsize=28231644 memory=280737182073232 CPUtime=0 cores=0-7
/proc/15191/task/15203/stat : 15203 (java) S 15189 15189 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420439128 28909203456 12311 33554432000 4194304 4196468 140723265423232 140091536569328 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15204] ppid=15189 vsize=28231644 memory=280737182014512 CPUtime=0 cores=0-7
/proc/15191/task/15204/stat : 15204 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439131 28909203456 12311 33554432000 4194304 4196468 140723265423232 140091535517904 140092940380059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15205] ppid=15189 vsize=28231644 memory=280737182087056 CPUtime=0.01 cores=0-7
/proc/15191/task/15205/stat : 15205 (java) S 15189 15189 14480 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 420439131 28909203456 12311 33554432000 4194304 4196468 140723265423232 140091534465520 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15206] ppid=15189 vsize=28231644 memory=280737182093968 CPUtime=0.03 cores=0-7
/proc/15191/task/15206/stat : 15206 (java) S 15189 15189 14480 0 -1 1077944384 285 0 0 0 3 0 0 0 20 0 20 0 420439131 28909203456 12311 33554432000 4194304 4196468 140723265423232 140091533412976 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15207] ppid=15189 vsize=28231644 memory=280737182091664 CPUtime=0.03 cores=0-7
/proc/15191/task/15207/stat : 15207 (java) R 15189 15189 14480 0 -1 4202560 322 0 0 0 3 0 0 0 20 0 20 0 420439131 28909203456 12311 33554432000 4194304 4196468 140723265423232 140091532360432 140092924267392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15208] ppid=15189 vsize=28231644 memory=280737182107824 CPUtime=0.12 cores=0-7
/proc/15191/task/15208/stat : 15208 (java) S 15189 15189 14480 0 -1 1077944384 1076 0 0 0 12 0 0 0 20 0 20 0 420439131 28909203456 12311 33554432000 4194304 4196468 140723265423232 140091531307888 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15209] ppid=15189 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15209/stat : 15209 (java) S 15189 15189 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420439131 28909203456 12311 33554432000 4194304 4196468 140723265423232 140091530254560 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15210] ppid=15189 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/15191/task/15210/stat : 15210 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420439131 28909203456 12311 33554432000 4194304 4196468 140723265423232 140091529202096 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 50544 KiB

[startup+0.704129 s]
/proc/loadavg: 7.46 8.25 8.31 4/212 15210
/proc/meminfo: memFree=25777716/32770624 swapFree=67002168/67108860
[pid=15189] ppid=15186 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15189/stat : 15189 (xcsp3-exec) S 15186 15189 14480 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420439125 115843072 364 33554432000 4194304 5098028 140731033696224 140731033694328 139727102702204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22052864 140731033703285 140731033703529 140731033703529 140731033706442 0
/proc/15189/statm: 28282 364 305 221 0 87 0
[pid=15191] ppid=15189 vsize=28233768 memory=131540 CPUtime=1.73 cores=0-7
/proc/15191/stat : 15191 (java) S 15189 15189 14480 0 -1 1077944320 15841 0 0 0 166 7 0 0 20 0 20 0 420439125 28911378432 32885 33554432000 4194304 4196468 140723265423232 140723265405776 140092940361463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
/proc/15191/statm: 7058442 32885 3455 1 0 7019544 0
[pid=15191/tid=15192] ppid=15189 vsize=28233768 memory=280737182465712 CPUtime=0.68 cores=0-7
/proc/15191/task/15192/stat : 15192 (java) R 15189 15189 14480 0 -1 4202560 9426 0 0 0 63 5 0 0 20 0 20 0 420439125 28911378432 32885 33554432000 4194304 4196468 140723265423232 140092944597464 140092581651960 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15193] ppid=15189 vsize=28233768 memory=140368591233904 CPUtime=0 cores=0-7
/proc/15191/task/15193/stat : 15193 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28911378432 32885 33554432000 4194304 4196468 140723265423232 140092492081424 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15194] ppid=15189 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15194/stat : 15194 (java) S 15189 15189 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420439126 28911378432 32885 33554432000 4194304 4196468 140723265423232 140092491028880 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15195] ppid=15189 vsize=28233768 memory=1056 CPUtime=0 cores=0-7
/proc/15191/task/15195/stat : 15195 (java) S 15189 15189 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420439126 28911378432 32885 33554432000 4194304 4196468 140723265423232 140092489976336 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0

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

[pid=15191/tid=15200] ppid=15189 vsize=28768328 memory=140373040866943 CPUtime=0.19 cores=0-7
/proc/15191/task/15200/stat : 15200 (java) R 15189 15189 14480 0 -1 4202560 183 0 0 0 12 7 0 0 20 0 21 0 420439126 29458767872 140108 33554432000 4194304 4196468 140723265423232 140092484713816 140092925383584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15201] ppid=15189 vsize=28768328 memory=-5921431000321636112 CPUtime=0 cores=0-7
/proc/15191/task/15201/stat : 15201 (java) S 15189 15189 14480 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 21 0 420439128 29458767872 140108 33554432000 4194304 4196468 140723265423232 140091538674208 140092940371669 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15202] ppid=15189 vsize=28768328 memory=-7169539485663701033 CPUtime=0 cores=0-7
/proc/15191/task/15202/stat : 15202 (java) S 15189 15189 14480 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 420439128 29458767872 140108 33554432000 4194304 4196468 140723265423232 140091537621984 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15203] ppid=15189 vsize=28768328 memory=-5921431000321636112 CPUtime=0 cores=0-7
/proc/15191/task/15203/stat : 15203 (java) S 15189 15189 14480 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 420439128 29458767872 140108 33554432000 4194304 4196468 140723265423232 140091536569344 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15204] ppid=15189 vsize=28768328 memory=-2746958450906831424 CPUtime=0 cores=0-7
/proc/15191/task/15204/stat : 15204 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420439131 29458767872 140108 33554432000 4194304 4196468 140723265423232 140091535517904 140092940380059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15205] ppid=15189 vsize=28768328 memory=-7019007802211101846 CPUtime=0.66 cores=0-7
/proc/15191/task/15205/stat : 15205 (java) S 15189 15189 14480 0 -1 1077944384 1810 0 0 0 66 0 0 0 20 0 21 0 420439131 29458767872 140108 33554432000 4194304 4196468 140723265423232 140091534456624 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15206] ppid=15189 vsize=28768328 memory=7682744562847679290 CPUtime=0.71 cores=0-7
/proc/15191/task/15206/stat : 15206 (java) S 15189 15189 14480 0 -1 1077944384 1726 0 0 0 71 0 0 0 20 0 21 0 420439131 29458767872 140108 33554432000 4194304 4196468 140723265423232 140091533391536 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15207] ppid=15189 vsize=28768328 memory=1056 CPUtime=0.7 cores=0-7
/proc/15191/task/15207/stat : 15207 (java) S 15189 15189 14480 0 -1 1077944384 1555 0 0 0 69 1 0 0 20 0 21 0 420439131 29458767872 140108 33554432000 4194304 4196468 140723265423232 140091532350432 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15208] ppid=15189 vsize=28768328 memory=1568 CPUtime=0.62 cores=0-7
/proc/15191/task/15208/stat : 15208 (java) S 15189 15189 14480 0 -1 1077944384 2993 0 0 0 62 0 0 0 20 0 21 0 420439131 29458767872 140108 33554432000 4194304 4196468 140723265423232 140091531306784 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15209] ppid=15189 vsize=28768328 memory=1040 CPUtime=0 cores=0-7
/proc/15191/task/15209/stat : 15209 (java) S 15189 15189 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 420439131 29458767872 140108 33554432000 4194304 4196468 140723265423232 140091530254560 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15210] ppid=15189 vsize=28768328 memory=14008 CPUtime=0 cores=0-7
/proc/15191/task/15210/stat : 15210 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420439131 29458767872 140108 33554432000 4194304 4196468 140723265423232 140091529202096 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 561888 KiB

[startup+2.41539 s]
# the end of solver process 15189 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.27646 s, system=1.12943 s

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

[startup+1.60214 s]
/proc/loadavg: 7.46 8.25 8.31 9/212 15210
/proc/meminfo: memFree=25485028/32770624 swapFree=67002168/67108860
[pid=15189] ppid=15186 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15189/stat : 15189 (xcsp3-exec) S 15186 15189 14480 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420439125 115843072 364 33554432000 4194304 5098028 140731033696224 140731033694328 139727102702204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22052864 140731033703285 140731033703529 140731033703529 140731033706442 0
/proc/15189/statm: 28282 364 305 221 0 87 0
[pid=15191] ppid=15189 vsize=28768328 memory=673096 CPUtime=6.88 cores=0-7
/proc/15191/stat : 15191 (java) S 15189 15189 14480 0 -1 1077944320 21879 0 0 0 584 104 0 0 20 0 21 0 420439125 29458767872 168274 33554432000 4194304 4196468 140723265423232 140723265405776 140092940361463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
/proc/15191/statm: 7192082 168274 3507 1 0 7153184 0
[pid=15191/tid=15192] ppid=15189 vsize=28768328 memory=21764 CPUtime=1.06 cores=0-7
/proc/15191/task/15192/stat : 15192 (java) S 15189 15189 14480 0 -1 1077944384 9721 0 0 0 97 9 0 0 20 0 21 0 420439125 29458767872 168274 33554432000 4194304 4196468 140723265423232 140092944602240 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15193] ppid=15189 vsize=28768328 memory=1556 CPUtime=0.28 cores=0-7
/proc/15191/task/15193/stat : 15193 (java) R 15189 15189 14480 0 -1 4202560 227 0 0 0 18 10 0 0 20 0 21 0 420439126 29458767872 168274 33554432000 4194304 4196468 140723265423232 140092492081424 140092933465075 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15194] ppid=15189 vsize=28768328 memory=500 CPUtime=0.26 cores=0-7
/proc/15191/task/15194/stat : 15194 (java) R 15189 15189 14480 0 -1 4202560 228 0 0 0 16 10 0 0 20 0 21 0 420439126 29458767872 168274 33554432000 4194304 4196468 140723265423232 140092491029080 140092925389337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15195] ppid=15189 vsize=28768328 memory=2024 CPUtime=0.25 cores=0-7
/proc/15191/task/15195/stat : 15195 (java) R 15189 15189 14480 0 -1 4202560 159 0 0 0 14 11 0 0 20 0 21 0 420439126 29458767872 168274 33554432000 4194304 4196468 140723265423232 140092489976336 140092933465075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15196] ppid=15189 vsize=28768328 memory=1428 CPUtime=0.26 cores=0-7
/proc/15191/task/15196/stat : 15196 (java) R 15189 15189 14480 0 -1 4202560 210 0 0 0 16 10 0 0 20 0 21 0 420439126 29458767872 168786 33554432000 4194304 4196468 140723265423232 140092488923792 140092933465075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15197] ppid=15189 vsize=28768328 memory=776 CPUtime=0.27 cores=0-7
/proc/15191/task/15197/stat : 15197 (java) R 15189 15189 14480 0 -1 4202560 221 0 0 0 16 11 0 0 20 0 21 0 420439126 29458767872 168786 33554432000 4194304 4196468 140723265423232 140092487871448 140092933465075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15198] ppid=15189 vsize=28768328 memory=4008 CPUtime=0.27 cores=0-7
/proc/15191/task/15198/stat : 15198 (java) R 15189 15189 14480 0 -1 4202560 180 0 0 0 16 11 0 0 20 0 21 0 420439126 29458767872 168786 33554432000 4194304 4196468 140723265423232 140092486818704 140092933465075 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15199] ppid=15189 vsize=28768328 memory=1292 CPUtime=0.23 cores=0-7
/proc/15191/task/15199/stat : 15199 (java) R 15189 15189 14480 0 -1 4202560 196 0 0 0 14 9 0 0 20 0 21 0 420439126 29458767872 168786 33554432000 4194304 4196468 140723265423232 140092485766048 140092933465095 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15200] ppid=15189 vsize=28768328 memory=10592 CPUtime=0.29 cores=0-7
/proc/15191/task/15200/stat : 15200 (java) R 15189 15189 14480 0 -1 4202560 239 0 0 0 17 12 0 0 20 0 21 0 420439126 29458767872 168786 33554432000 4194304 4196468 140723265423232 140092484713816 140092933465075 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15201] ppid=15189 vsize=28768328 memory=1720 CPUtime=0 cores=0-7
/proc/15191/task/15201/stat : 15201 (java) S 15189 15189 14480 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 21 0 420439128 29458767872 168786 33554432000 4194304 4196468 140723265423232 140091538674208 140092940371669 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15202] ppid=15189 vsize=28768328 memory=5948 CPUtime=0 cores=0-7
/proc/15191/task/15202/stat : 15202 (java) S 15189 15189 14480 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 420439128 29458767872 168786 33554432000 4194304 4196468 140723265423232 140091537621984 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15203] ppid=15189 vsize=28768328 memory=636 CPUtime=0 cores=0-7
/proc/15191/task/15203/stat : 15203 (java) S 15189 15189 14480 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 420439128 29458767872 168786 33554432000 4194304 4196468 140723265423232 140091536569344 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15204] ppid=15189 vsize=28768328 memory=2832 CPUtime=0 cores=0-7
/proc/15191/task/15204/stat : 15204 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420439131 29458767872 168786 33554432000 4194304 4196468 140723265423232 140091535517904 140092940380059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15205] ppid=15189 vsize=28768328 memory=1056 CPUtime=0.66 cores=0-7
/proc/15191/task/15205/stat : 15205 (java) S 15189 15189 14480 0 -1 1077944384 1810 0 0 0 66 0 0 0 20 0 21 0 420439131 29458767872 168786 33554432000 4194304 4196468 140723265423232 140091534456624 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15206] ppid=15189 vsize=28768328 memory=1568 CPUtime=0.71 cores=0-7
/proc/15191/task/15206/stat : 15206 (java) S 15189 15189 14480 0 -1 1077944384 1726 0 0 0 71 0 0 0 20 0 21 0 420439131 29458767872 168786 33554432000 4194304 4196468 140723265423232 140091533391536 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15207] ppid=15189 vsize=28768328 memory=1040 CPUtime=0.7 cores=0-7
/proc/15191/task/15207/stat : 15207 (java) S 15189 15189 14480 0 -1 1077944384 1555 0 0 0 69 1 0 0 20 0 21 0 420439131 29458767872 168786 33554432000 4194304 4196468 140723265423232 140091532350432 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15208] ppid=15189 vsize=28768328 memory=14008 CPUtime=0.62 cores=0-7
/proc/15191/task/15208/stat : 15208 (java) S 15189 15189 14480 0 -1 1077944384 2993 0 0 0 62 0 0 0 20 0 21 0 420439131 29458767872 168786 33554432000 4194304 4196468 140723265423232 140091531306784 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15209] ppid=15189 vsize=28768328 memory=12040 CPUtime=0 cores=0-7
/proc/15191/task/15209/stat : 15209 (java) S 15189 15189 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 420439131 29458767872 168786 33554432000 4194304 4196468 140723265423232 140091530254560 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15210] ppid=15189 vsize=28768328 memory=2120 CPUtime=0 cores=0-7
/proc/15191/task/15210/stat : 15210 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420439131 29458767872 168786 33554432000 4194304 4196468 140723265423232 140091529202096 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
Current children cumulated CPU time: 6.88 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 674552 KiB

[startup+2.00488 s]*
/proc/loadavg: 7.46 8.25 8.31 8/220 15297
/proc/meminfo: memFree=25112372/32770624 swapFree=67002168/67108860
[pid=15189] ppid=15186 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15189/stat : 15189 (xcsp3-exec) S 15186 15189 14480 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420439125 115843072 364 33554432000 4194304 5098028 140731033696224 140731033694328 139727102702204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22052864 140731033703285 140731033703529 140731033703529 140731033706442 0
/proc/15189/statm: 28282 364 305 221 0 87 0
[pid=15191] ppid=15189 vsize=28768328 memory=715080 CPUtime=9.88 cores=0-7
/proc/15191/stat : 15191 (java) S 15189 15189 14480 0 -1 1077944320 23846 0 0 0 879 109 0 0 20 0 27 0 420439125 29458767872 178770 33554432000 4194304 4196468 140723265423232 140723265405776 140092940361463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
/proc/15191/statm: 7192082 178770 3516 1 0 7153184 0
[pid=15191/tid=15192] ppid=15189 vsize=28768328 memory=6791534058613427641 CPUtime=1.07 cores=0-7
/proc/15191/task/15192/stat : 15192 (java) S 15189 15189 14480 0 -1 1077944384 9722 0 0 0 98 9 0 0 20 0 27 0 420439125 29458767872 178770 33554432000 4194304 4196468 140723265423232 140092944602240 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15193] ppid=15189 vsize=28768328 memory=0 CPUtime=0.6 cores=0-7
/proc/15191/task/15193/stat : 15193 (java) S 15189 15189 14480 0 -1 1077944384 259 0 0 0 49 11 0 0 20 0 27 0 420439126 29458767872 178770 33554432000 4194304 4196468 140723265423232 140092492081424 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15194] ppid=15189 vsize=28768328 memory=0 CPUtime=0.57 cores=0-7
/proc/15191/task/15194/stat : 15194 (java) S 15189 15189 14480 0 -1 1077944384 280 0 0 0 46 11 0 0 20 0 27 0 420439126 29458767872 178795 33554432000 4194304 4196468 140723265423232 140092491028880 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15195] ppid=15189 vsize=28768328 memory=0 CPUtime=0.55 cores=0-7
/proc/15191/task/15195/stat : 15195 (java) S 15189 15189 14480 0 -1 1077944384 176 0 0 0 44 11 0 0 20 0 27 0 420439126 29458767872 178795 33554432000 4194304 4196468 140723265423232 140092489976336 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15196] ppid=15189 vsize=28768328 memory=0 CPUtime=0.58 cores=0-7
/proc/15191/task/15196/stat : 15196 (java) S 15189 15189 14480 0 -1 1077944384 224 0 0 0 47 11 0 0 20 0 27 0 420439126 29458767872 178795 33554432000 4194304 4196468 140723265423232 140092488923792 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15197] ppid=15189 vsize=28768328 memory=0 CPUtime=0.59 cores=0-7
/proc/15191/task/15197/stat : 15197 (java) S 15189 15189 14480 0 -1 1077944384 253 0 0 0 47 12 0 0 20 0 27 0 420439126 29458767872 178795 33554432000 4194304 4196468 140723265423232 140092487871248 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15198] ppid=15189 vsize=28768328 memory=0 CPUtime=0.58 cores=0-7
/proc/15191/task/15198/stat : 15198 (java) S 15189 15189 14480 0 -1 1077944384 233 0 0 0 47 11 0 0 20 0 27 0 420439126 29458767872 178795 33554432000 4194304 4196468 140723265423232 140092486818704 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15199] ppid=15189 vsize=28768328 memory=0 CPUtime=0.54 cores=0-7
/proc/15191/task/15199/stat : 15199 (java) S 15189 15189 14480 0 -1 1077944384 208 0 0 0 44 10 0 0 20 0 27 0 420439126 29458767872 178795 33554432000 4194304 4196468 140723265423232 140092485766160 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15200] ppid=15189 vsize=28768328 memory=0 CPUtime=0.6 cores=0-7
/proc/15191/task/15200/stat : 15200 (java) S 15189 15189 14480 0 -1 1077944384 269 0 0 0 48 12 0 0 20 0 27 0 420439126 29458767872 178795 33554432000 4194304 4196468 140723265423232 140092484713616 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15201] ppid=15189 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7
/proc/15191/task/15201/stat : 15201 (java) S 15189 15189 14480 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 27 0 420439128 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091538675696 140092940372610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15202] ppid=15189 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15202/stat : 15202 (java) S 15189 15189 14480 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 27 0 420439128 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091537621984 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15203] ppid=15189 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15203/stat : 15203 (java) S 15189 15189 14480 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 27 0 420439128 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091536569344 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15204] ppid=15189 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15204/stat : 15204 (java) S 15189 15189 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 420439131 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091535517904 140092940380059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15205] ppid=15189 vsize=28768328 memory=-3253322038155611931 CPUtime=0.74 cores=0-7
/proc/15191/task/15205/stat : 15205 (java) R 15189 15189 14480 0 -1 4202560 1891 0 0 0 74 0 0 0 20 0 27 0 420439131 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091534446536 140092923772521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15206] ppid=15189 vsize=28768328 memory=0 CPUtime=0.79 cores=0-7
/proc/15191/task/15206/stat : 15206 (java) R 15189 15189 14480 0 -1 4202560 1744 0 0 0 79 0 0 0 20 0 27 0 420439131 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091533401408 140092940373398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15207] ppid=15189 vsize=28768328 memory=0 CPUtime=0.78 cores=0-7
/proc/15191/task/15207/stat : 15207 (java) R 15189 15189 14480 0 -1 4202560 1576 0 0 0 77 1 0 0 20 0 27 0 420439131 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091532345824 140092926383995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15208] ppid=15189 vsize=28768328 memory=0 CPUtime=0.67 cores=0-7
/proc/15191/task/15208/stat : 15208 (java) R 15189 15189 14480 0 -1 4202560 3086 0 0 0 67 0 0 0 20 0 27 0 420439131 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091531307888 140092940382810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15209] ppid=15189 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15209/stat : 15209 (java) S 15189 15189 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 420439131 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091530254560 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15210] ppid=15189 vsize=28768328 memory=-1 CPUtime=0 cores=0-7
/proc/15191/task/15210/stat : 15210 (java) S 15189 15189 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 420439131 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091529202096 140092940372610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15300] ppid=15189 vsize=28768328 memory=-1 CPUtime=0 cores=0-7
/proc/15191/task/15300/stat : 15300 (java) R 15189 15189 14480 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 27 0 420439325 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091514734896 140092940371669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15306] ppid=15189 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15306/stat : 15306 (java) R 15189 15189 14480 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 420439326 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091519992720 140092578027882 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15307] ppid=15189 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15307/stat : 15307 (java) R 15189 15189 14480 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 27 0 420439326 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091517890880 140092940371669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15308] ppid=15189 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/15191/task/15308/stat : 15308 (java) S 15189 15189 14480 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 27 0 420439326 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091518942784 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15309] ppid=15189 vsize=28768328 memory=140368591226176 CPUtime=0 cores=0-7
/proc/15191/task/15309/stat : 15309 (java) R 15189 15189 14480 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 420439326 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091510533000 140092584799334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15310] ppid=15189 vsize=28768328 memory=4 CPUtime=0 cores=0-7
/proc/15191/task/15310/stat : 15310 (java) R 15189 15189 14480 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 420439326 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091515788512 140092585121863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
[pid=15191/tid=15311] ppid=15189 vsize=28768328 memory=7092136307551395928 CPUtime=0 cores=0-7
/proc/15191/task/15311/stat : 15311 (java) S 15189 15189 14480 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 27 0 420439326 29458767872 178795 33554432000 4194304 4196468 140723265423232 140091511586144 140092940371669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39518208 140723265426410 140723265426582 140723265426582 140723265429455 0
Current children cumulated CPU time: 9.88 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 716536 KiB

[startup+2.4009 s]
/proc/loadavg: 7.46 8.25 8.31 8/220 15297
/proc/meminfo: memFree=25112372/32770624 swapFree=67002168/67108860
[pid=15189] ppid=15186 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15189/stat : 15189 (xcsp3-exec) S 15186 15189 14480 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420439125 115843072 364 33554432000 4194304 5098028 140731033696224 140731033694328 139727102702204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22052864 140731033703285 140731033703529 140731033703529 140731033706442 0
/proc/15189/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 2.41543
CPU time (s): 10.4059
CPU user time (s): 9.27646
CPU system time (s): 1.12943
CPU usage (%): 430.808
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 735844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.27646
system time used= 1.12943
maximum resident set size= 735764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27511
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= 4925
involuntary context switches= 98


# summary of solver processes directly reported to runsolver:
#   pid: 15189
#   total CPU time (s): 10.4059
#   total CPU user time (s): 9.27646
#   total CPU system time (s): 1.12943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039039 second user time and 0.070511 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 08:17:40
IDJOB=4394373
IDBENCH=138347
IDSOLVER=2843
FILE ID=node136/4394373-1568441905
RUNJOBID= node136-1568439334-14507
PBS_JOBID= 21702333
Free space on /tmp= 61168 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff82.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-4394373-1568441905/watcher-4394373-1568441905 -o /tmp/evaluation-result-4394373-1568441905/solver-4394373-1568441905 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1989562796 HOME/instance-4394373-1568441905.xml

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

MD5SUM BENCH= 3393a669eb5a1b265b3859905e8317a5
RANDOM SEED=1989562796

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25827968 kB
MemAvailable:   31889360 kB
Buffers:           86068 kB
Cached:          6251540 kB
SwapCached:         3100 kB
Active:          2039108 kB
Inactive:        4305780 kB
Active(anon):       5712 kB
Inactive(anon):    42124 kB
Active(file):    2033396 kB
Inactive(file):  4263656 kB
Unevictable:      107800 kB
Mlocked:          107800 kB
SwapTotal:      67108860 kB
SwapFree:       67002168 kB
Dirty:             26272 kB
Writeback:             0 kB
AnonPages:        125844 kB
Mapped:            43920 kB
Shmem:             31940 kB
Slab:             189688 kB
SReclaimable:     160352 kB
SUnreclaim:        29336 kB
KernelStack:        3728 kB
PageTables:         5676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61140 MiB
End job on node136 at 2019-09-14 08:17:43