Trace number 4391983

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
Concrete 3.10OPT2 9.66844 3.87562

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff34.xml
MD5SUMbce56437d9fb8db43dbe0792f1384def
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.05926
Satisfiable
(Un)Satisfiability was proved
Number of variables703
Number of constraints683
Number of domains23
Minimum domain size21
Maximum domain size22
Distribution of domain sizes[{"size":21,"count":88},{"size":22,"count":615}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":682},{"degree":32,"count":21}]
Minimum constraint arity2
Maximum constraint arity22
Distribution of constraint arities[{"arity":2,"count":651},{"arity":21,"count":1},{"arity":22,"count":31}]
Number of extensional constraints651
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":651},{"type":"ordered","count":1},{"type":"minimum","count":31}]
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.75/0.54	c Concrete v3.10.1560635388952 running
9.23/3.70	o 88
9.23/3.71	o 54
9.23/3.74	o 9
9.23/3.77	o 7
9.23/3.78	o 2
9.23/3.79	v <instantiation
9.23/3.79	v         cost = '2'>
9.23/3.79	v       <list>
9.23/3.79	v         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] x[15] x[16] x[17] x[18] x[19] x[20] 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[0][15] drd[0][16] drd[0][17] drd[0][18] drd[0][19] drd[0][20] 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[1][15] drd[1][16] drd[1][17] drd[1][18] drd[1][19] drd[1][20] 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[2][15] drd[2][16] drd[2][17] drd[2][18] drd[2][19] drd[2][20] 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[3][15] drd[3][16] drd[3][17] drd[3][18] drd[3][19] drd[3][20] 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[4][15] drd[4][16] drd[4][17] drd[4][18] drd[4][19] drd[4][20] 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[5][15] drd[5][16] drd[5][17] drd[5][18] drd[5][19] drd[5][20] 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[6][15] drd[6][16] drd[6][17] drd[6][18] drd[6][19] drd[6][20] 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[7][15] drd[7][16] drd[7][17] drd[7][18] drd[7][19] drd[7][20] 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[8][15] drd[8][16] drd[8][17] drd[8][18] drd[8][19] drd[8][20] 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[9][15] drd[9][16] drd[9][17] drd[9][18] drd[9][19] drd[9][20] 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[10][15] drd[10][16] drd[10][17] drd[10][18] drd[10][19] drd[10][20] 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[11][15] drd[11][16] drd[11][17] drd[11][18] drd[11][19] drd[11][20] 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[12][15] drd[12][16] drd[12][17] drd[12][18] drd[12][19] drd[12][20] 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[13][15] drd[13][16] drd[13][17] drd[13][18] drd[13][19] drd[13][20] 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[14][15] drd[14][16] drd[14][17] drd[14][18] drd[14][19] drd[14][20] 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[15][15] drd[15][16] drd[15][17] drd[15][18] drd[15][19] drd[15][20] 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[16][15] drd[16][16] drd[16][17] drd[16][18] drd[16][19] drd[16][20] 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[17][15] drd[17][16] drd[17][17] drd[17][18] drd[17][19] drd[17][20] 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[18][15] drd[18][16] drd[18][17] drd[18][18] drd[18][19] drd[18][20] 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[19][15] drd[19][16] drd[19][17] drd[19][18] drd[19][19] drd[19][20] 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[20][15] drd[20][16] drd[20][17] drd[20][18] drd[20][19] drd[20][20] 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[21][15] drd[21][16] drd[21][17] drd[21][18] drd[21][19] drd[21][20] 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[22][15] drd[22][16] drd[22][17] drd[22][18] drd[22][19] drd[22][20] 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[23][15] drd[23][16] drd[23][17] drd[23][18] drd[23][19] drd[23][20] 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[24][15] drd[24][16] drd[24][17] drd[24][18] drd[24][19] drd[24][20] 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[25][15] drd[25][16] drd[25][17] drd[25][18] drd[25][19] drd[25][20] 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[26][15] drd[26][16] drd[26][17] drd[26][18] drd[26][19] drd[26][20] 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[27][15] drd[27][16] drd[27][17] drd[27][18] drd[27][19] drd[27][20] 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[28][15] drd[28][16] drd[28][17] drd[28][18] drd[28][19] drd[28][20] 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] drd[29][15] drd[29][16] drd[29][17] drd[29][18] drd[29][19] drd[29][20] 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[30][13] drd[30][14] drd[30][15] drd[30][16] drd[30][17] drd[30][18] drd[30][19] drd[30][20] 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]
9.23/3.79	v       </list>
9.23/3.79	v       <values>
9.23/3.79	v         32 76 103 377 386 426 442 462 511 535 542 582 604 635 655 687 720 750 761 794 812 503 459 432 158 149 109 93 73 24 0 7 47 69 100 120 152 185 215 226 259 277 762 718 691 417 408 368 352 332 283 259 252 212 190 159 139 107 74 44 33 0 18 623 579 552 278 269 229 213 193 144 120 113 73 51 20 0 32 65 95 106 139 157 354 310 283 9 0 40 56 76 125 149 156 196 218 249 269 301 334 364 375 408 426 510 466 439 165 156 116 100 80 31 7 0 40 62 93 113 145 178 208 219 252 270 729 685 658 384 375 335 319 299 250 226 219 179 157 126 106 74 41 11 0 33 51 572 528 501 227 218 178 162 142 93 69 62 22 0 31 51 83 116 146 157 190 208 572 528 501 227 218 178 162 142 93 69 62 22 0 31 51 83 116 146 157 190 208 603 559 532 258 249 209 193 173 124 100 93 53 31 0 20 52 85 115 126 159 177 0 44 71 345 354 394 410 430 479 503 510 550 572 603 623 655 688 718 729 762 780 0 44 71 345 354 394 410 430 479 503 510 550 572 603 623 655 688 718 729 762 780 410 366 339 65 56 16 0 20 69 93 100 140 162 193 213 245 278 308 319 352 370 44 0 27 301 310 350 366 386 435 459 466 506 528 559 579 611 644 674 685 718 736 44 0 27 301 310 350 366 386 435 459 466 506 528 559 579 611 644 674 685 718 736 479 435 408 134 125 85 69 49 0 24 31 71 93 124 144 176 209 239 250 283 301 479 435 408 134 125 85 69 49 0 24 31 71 93 124 144 176 209 239 250 283 301 548 504 477 203 194 154 138 118 69 45 38 2 24 55 75 107 140 170 181 214 232 550 506 479 205 196 156 140 120 71 47 40 0 22 53 73 105 138 168 179 212 230 688 644 617 343 334 294 278 258 209 185 178 138 116 85 65 33 0 30 41 74 92 688 644 617 343 334 294 278 258 209 185 178 138 116 85 65 33 0 30 41 74 92 71 27 0 274 283 323 339 359 408 432 439 479 501 532 552 584 617 647 658 691 709 71 27 0 274 283 323 339 359 408 432 439 479 501 532 552 584 617 647 658 691 709 394 350 323 49 40 0 16 36 85 109 116 156 178 209 229 261 294 324 335 368 386 394 350 323 49 40 0 16 36 85 109 116 156 178 209 229 261 294 324 335 368 386 655 611 584 310 301 261 245 225 176 152 145 105 83 52 32 0 33 63 74 107 125 655 611 584 310 301 261 245 225 176 152 145 105 83 52 32 0 33 63 74 107 125 345 301 274 0 9 49 65 85 134 158 165 205 227 258 278 310 343 373 384 417 435 718 674 647 373 364 324 308 288 239 215 208 168 146 115 95 63 30 0 11 44 62 430 386 359 85 76 36 20 0 49 73 80 120 142 173 193 225 258 288 299 332 350 430 386 359 85 76 36 20 0 49 73 80 120 142 173 193 225 258 288 299 332 350 780 736 709 435 426 386 370 350 301 277 270 230 208 177 157 125 92 62 51 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0
9.23/3.79	v       </values>
9.23/3.79	v     </instantiation>
9.23/3.79	s OPTIMUM FOUND

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391983-1568325363/watcher-4391983-1568325363 -o /tmp/evaluation-result-4391983-1568325363/solver-4391983-1568325363 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20991 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=10026710 HOME/instance-4391983-1568325363.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=29194, runsolver pid=29191

[startup+0.100135 s]*
/proc/loadavg: 1.12 1.26 1.30 3/223 29251
/proc/meminfo: memFree=30755284/32770624 swapFree=67003376/67108860
[pid=29194] ppid=29191 vsize=9972712 memory=18864 CPUtime=0.09 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29194 20959 0 -1 1077944320 4484 13211 0 0 1 1 5 2 20 0 6 0 408776000 10212057088 4716 33554432000 4194304 4196468 140725676419824 140725676402368 140517327015671 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
/proc/29194/statm: 2493178 4716 1935 1 0 2481616 0
[pid=29194/tid=29247] ppid=29191 vsize=9972712 memory=4279135703980344719 CPUtime=0.08 cores=1,3,5,7
/proc/29194/task/29247/stat : 29247 (java) R 29191 29194 20959 0 -1 4202560 2288 13211 0 0 1 0 5 2 20 0 6 0 408776009 10212057088 4781 33554432000 4194304 4196468 140725676419824 140517298852432 140517312138608 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29248] ppid=29191 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29248/stat : 29248 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 6 0 408776009 10212057088 4781 33554432000 4194304 4196468 140725676419824 140517331258256 140517327025877 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29249] ppid=29191 vsize=9972712 memory=139922357921408 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29249/stat : 29249 (java) S 29191 29194 20959 0 -1 1077944384 2 13211 0 0 0 0 5 2 20 0 6 0 408776009 10212057088 4781 33554432000 4194304 4196468 140725676419824 140517246077712 140517327025877 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29250] ppid=29191 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29250/stat : 29250 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 6 0 408776009 10212057088 4781 33554432000 4194304 4196468 140725676419824 140517245025424 140517327025877 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29251] ppid=29191 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29251/stat : 29251 (java) S 29191 29194 20959 0 -1 1077944384 2 13211 0 0 0 0 5 2 20 0 6 0 408776009 10212057088 4781 33554432000 4194304 4196468 140725676419824 140517243972624 140517327025877 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18864 KiB

[startup+0.210359 s]*
/proc/loadavg: 1.12 1.26 1.30 4/232 29260
/proc/meminfo: memFree=30737788/32770624 swapFree=67003376/67108860
[pid=29194] ppid=29191 vsize=10818940 memory=38344 CPUtime=0.25 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29194 20959 0 -1 1077944320 6936 13211 0 0 16 2 5 2 20 0 15 0 408776000 11078594560 9586 33554432000 4194304 4196468 140725676419824 140725676402368 140517327015671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
/proc/29194/statm: 2704735 9586 2983 1 0 2667149 0
[pid=29194/tid=29247] ppid=29191 vsize=10818940 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/29194/task/29247/stat : 29247 (java) R 29191 29194 20959 0 -1 4202560 3435 13211 0 0 11 1 5 2 20 0 15 0 408776009 11078594560 9586 33554432000 4194304 4196468 140725676419824 140517298803456 140517311096158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29248] ppid=29191 vsize=10818940 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29248/stat : 29248 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776009 11078594560 9586 33554432000 4194304 4196468 140725676419824 140517331258256 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29249] ppid=29191 vsize=10818940 memory=139922357921408 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29249/stat : 29249 (java) S 29191 29194 20959 0 -1 1077944384 2 13211 0 0 0 0 5 2 20 0 15 0 408776009 11078594560 9586 33554432000 4194304 4196468 140725676419824 140517246077712 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29250] ppid=29191 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29250/stat : 29250 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776009 11078594560 9586 33554432000 4194304 4196468 140725676419824 140517245025424 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29251] ppid=29191 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29251/stat : 29251 (java) S 29191 29194 20959 0 -1 1077944384 2 13211 0 0 0 0 5 2 20 0 15 0 408776009 11078594560 9651 33554432000 4194304 4196468 140725676419824 140517243972624 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29252] ppid=29191 vsize=10818940 memory=139922357921408 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29252/stat : 29252 (java) S 29191 29194 20959 0 -1 1077944384 2 13211 0 0 0 0 5 2 20 0 15 0 408776011 11078594560 9651 33554432000 4194304 4196468 140725676419824 140516853610608 140517327026818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29253] ppid=29191 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29253/stat : 29253 (java) S 29191 29194 20959 0 -1 1077944384 13 13211 0 0 0 0 5 2 20 0 15 0 408776011 11078594560 9651 33554432000 4194304 4196468 140725676419824 140516767294240 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29254] ppid=29191 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29254/stat : 29254 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776012 11078594560 9651 33554432000 4194304 4196468 140725676419824 140516163314800 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29255] ppid=29191 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29255/stat : 29255 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11078594560 9651 33554432000 4194304 4196468 140725676419824 140515855915088 140517327034267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29256] ppid=29191 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29256/stat : 29256 (java) R 29191 29194 20959 0 -1 1077944384 344 13211 0 0 0 0 5 2 20 0 15 0 408776014 11078594560 9651 33554432000 4194304 4196468 140725676419824 140516852558448 140517327026818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29257] ppid=29191 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29194/task/29257/stat : 29257 (java) S 29191 29194 20959 0 -1 1077944384 279 13211 0 0 1 0 5 2 20 0 15 0 408776014 11078594560 9651 33554432000 4194304 4196468 140725676419824 140516851505648 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29258] ppid=29191 vsize=10818940 memory=139922357921408 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29258/stat : 29258 (java) R 29191 29194 20959 0 -1 4202560 647 13211 0 0 3 0 5 2 20 0 15 0 408776014 11078594560 9651 33554432000 4194304 4196468 140725676419824 140516850453360 140517327037018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29259] ppid=29191 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29259/stat : 29259 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11078594560 9651 33554432000 4194304 4196468 140725676419824 140515822357472 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29260] ppid=29191 vsize=10818940 memory=139922357921408 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29260/stat : 29260 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776015 11078594560 9651 33554432000 4194304 4196468 140725676419824 140516849400240 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38344 KiB

[startup+0.310681 s]*
/proc/loadavg: 1.12 1.26 1.30 4/232 29260
/proc/meminfo: memFree=30727156/32770624 swapFree=67003376/67108860
[pid=29194] ppid=29191 vsize=10820244 memory=50204 CPUtime=0.39 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29194 20959 0 -1 1077944320 10725 13211 0 0 28 4 5 2 20 0 15 0 408776000 11079929856 12551 33554432000 4194304 4196468 140725676419824 140725676402368 140517327015671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
/proc/29194/statm: 2705061 12551 3296 1 0 2667149 0
[pid=29194/tid=29247] ppid=29191 vsize=10820244 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/29194/task/29247/stat : 29247 (java) R 29191 29194 20959 0 -1 4202560 7191 13211 0 0 19 3 5 2 20 0 15 0 408776009 11079929856 12551 33554432000 4194304 4196468 140725676419824 140517298835216 140517327037597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29248] ppid=29191 vsize=10820244 memory=7228928657774891088 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29248/stat : 29248 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776009 11079929856 12551 33554432000 4194304 4196468 140725676419824 140517331258256 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29249] ppid=29191 vsize=10820244 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29249/stat : 29249 (java) S 29191 29194 20959 0 -1 1077944384 2 13211 0 0 0 0 5 2 20 0 15 0 408776009 11079929856 12551 33554432000 4194304 4196468 140725676419824 140517246077712 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29250] ppid=29191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29250/stat : 29250 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776009 11079929856 12551 33554432000 4194304 4196468 140725676419824 140517245025424 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29251] ppid=29191 vsize=10820244 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29251/stat : 29251 (java) S 29191 29194 20959 0 -1 1077944384 2 13211 0 0 0 0 5 2 20 0 15 0 408776009 11079929856 12551 33554432000 4194304 4196468 140725676419824 140517243972624 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29252] ppid=29191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29252/stat : 29252 (java) S 29191 29194 20959 0 -1 1077944384 2 13211 0 0 0 0 5 2 20 0 15 0 408776011 11079929856 12551 33554432000 4194304 4196468 140725676419824 140516853610608 140517327026818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29253] ppid=29191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29253/stat : 29253 (java) S 29191 29194 20959 0 -1 1077944384 13 13211 0 0 0 0 5 2 20 0 15 0 408776011 11079929856 12551 33554432000 4194304 4196468 140725676419824 140516767294240 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29254] ppid=29191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29254/stat : 29254 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776012 11079929856 12551 33554432000 4194304 4196468 140725676419824 140516163314800 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29255] ppid=29191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29255/stat : 29255 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11079929856 12551 33554432000 4194304 4196468 140725676419824 140515855915088 140517327034267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29256] ppid=29191 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29194/task/29256/stat : 29256 (java) S 29191 29194 20959 0 -1 1077944384 345 13211 0 0 1 0 5 2 20 0 15 0 408776014 11079929856 12551 33554432000 4194304 4196468 140725676419824 140516852558448 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29257] ppid=29191 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29194/task/29257/stat : 29257 (java) S 29191 29194 20959 0 -1 1077944384 280 13211 0 0 1 0 5 2 20 0 15 0 408776014 11079929856 12551 33554432000 4194304 4196468 140725676419824 140516851505648 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29258] ppid=29191 vsize=10820244 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29194/task/29258/stat : 29258 (java) S 29191 29194 20959 0 -1 1077944384 673 13211 0 0 5 0 5 2 20 0 15 0 408776014 11079929856 12551 33554432000 4194304 4196468 140725676419824 140516850453360 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29259] ppid=29191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29259/stat : 29259 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11079929856 12551 33554432000 4194304 4196468 140725676419824 140515822357472 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29260] ppid=29191 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29260/stat : 29260 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776015 11079929856 12551 33554432000 4194304 4196468 140725676419824 140516849400240 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 50204 KiB

[startup+0.700696 s]
/proc/loadavg: 1.12 1.26 1.30 5/232 29260
/proc/meminfo: memFree=30711424/32770624 swapFree=67003376/67108860
[pid=29194] ppid=29191 vsize=10824340 memory=80564 CPUtime=1.15 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29194 20959 0 -1 1077944320 14884 13211 0 0 102 6 5 2 20 0 15 0 408776000 11084124160 20141 33554432000 4194304 4196468 140725676419824 140725676402368 140517327015671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
/proc/29194/statm: 2706085 20141 3499 1 0 2668173 0
[pid=29194/tid=29247] ppid=29191 vsize=10824340 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/29194/task/29247/stat : 29247 (java) R 29191 29194 20959 0 -1 4202560 10499 13211 0 0 55 4 5 2 20 0 15 0 408776009 11084124160 20141 33554432000 4194304 4196468 140725676419824 140517298834016 140517311096158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29248] ppid=29191 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29248/stat : 29248 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776009 11084124160 20141 33554432000 4194304 4196468 140725676419824 140517331258256 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29249] ppid=29191 vsize=10824340 memory=3280 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29249/stat : 29249 (java) S 29191 29194 20959 0 -1 1077944384 2 13211 0 0 0 0 5 2 20 0 15 0 408776009 11084124160 20141 33554432000 4194304 4196468 140725676419824 140517246077712 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29250] ppid=29191 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29250/stat : 29250 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776009 11084124160 20141 33554432000 4194304 4196468 140725676419824 140517245025424 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29251] ppid=29191 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29251/stat : 29251 (java) S 29191 29194 20959 0 -1 1077944384 2 13211 0 0 0 0 5 2 20 0 15 0 408776009 11084124160 20141 33554432000 4194304 4196468 140725676419824 140517243972624 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29252] ppid=29191 vsize=10824340 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29252/stat : 29252 (java) S 29191 29194 20959 0 -1 1077944384 5 13211 0 0 0 0 5 2 20 0 15 0 408776011 11084124160 20141 33554432000 4194304 4196468 140725676419824 140516853610608 140517327026818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29253] ppid=29191 vsize=10824340 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29253/stat : 29253 (java) S 29191 29194 20959 0 -1 1077944384 13 13211 0 0 0 0 5 2 20 0 15 0 408776011 11084124160 20141 33554432000 4194304 4196468 140725676419824 140516767294240 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29254] ppid=29191 vsize=10824340 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29254/stat : 29254 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776012 11084124160 20141 33554432000 4194304 4196468 140725676419824 140516163314800 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29255] ppid=29191 vsize=10824340 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29255/stat : 29255 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11084124160 20141 33554432000 4194304 4196468 140725676419824 140515855915088 140517327034267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29256] ppid=29191 vsize=10824340 memory=13252 CPUtime=0.21 cores=1,3,5,7
/proc/29194/task/29256/stat : 29256 (java) S 29191 29194 20959 0 -1 1077944384 719 13211 0 0 14 0 5 2 20 0 15 0 408776014 11084124160 20141 33554432000 4194304 4196468 140725676419824 140516852558448 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29257] ppid=29191 vsize=10824340 memory=15460 CPUtime=0.2 cores=1,3,5,7
/proc/29194/task/29257/stat : 29257 (java) R 29191 29194 20959 0 -1 4202560 535 13211 0 0 13 0 5 2 20 0 15 0 408776014 11084124160 20141 33554432000 4194304 4196468 140725676419824 140516851505648 140517327027606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29258] ppid=29191 vsize=10824340 memory=17668 CPUtime=0.24 cores=1,3,5,7
/proc/29194/task/29258/stat : 29258 (java) R 29191 29194 20959 0 -1 4202560 894 13211 0 0 17 0 5 2 20 0 15 0 408776014 11084124160 20141 33554432000 4194304 4196468 140725676419824 140516850453360 140517306453999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29259] ppid=29191 vsize=10824340 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29259/stat : 29259 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11084124160 20141 33554432000 4194304 4196468 140725676419824 140515822357472 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29260] ppid=29191 vsize=10824340 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29260/stat : 29260 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776015 11084124160 20141 33554432000 4194304 4196468 140725676419824 140516849400240 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80564 KiB

[startup+1.50486 s]
/proc/loadavg: 1.12 1.26 1.30 6/232 29260
/proc/meminfo: memFree=30660136/32770624 swapFree=67003376/67108860
[pid=29194] ppid=29191 vsize=10834656 memory=197840 CPUtime=3.11 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29194 20959 0 -1 1077944320 32333 13211 0 0 291 13 5 2 20 0 15 0 408776000 11094687744 49460 33554432000 4194304 4196468 140725676419824 140725676402368 140517327015671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
/proc/29194/statm: 2708664 49460 3576 1 0 2670733 0
[pid=29194/tid=29247] ppid=29191 vsize=10834656 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/29194/task/29247/stat : 29247 (java) R 29191 29194 20959 0 -1 4202560 16836 13211 0 0 129 7 5 2 20 0 15 0 408776009 11094687744 49460 33554432000 4194304 4196468 140725676419824 140517298847936 140517311096158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29248] ppid=29191 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29248/stat : 29248 (java) S 29191 29194 20959 0 -1 1077944384 10 13211 0 0 0 0 5 2 20 0 15 0 408776009 11094687744 49460 33554432000 4194304 4196468 140725676419824 140517331258256 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29249] ppid=29191 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29194/task/29249/stat : 29249 (java) S 29191 29194 20959 0 -1 1077944384 56 13211 0 0 1 0 5 2 20 0 15 0 408776009 11094687744 49460 33554432000 4194304 4196468 140725676419824 140517246077712 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29250] ppid=29191 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29194/task/29250/stat : 29250 (java) S 29191 29194 20959 0 -1 1077944384 355 13211 0 0 1 0 5 2 20 0 15 0 408776009 11094687744 49460 33554432000 4194304 4196468 140725676419824 140517245025424 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29251] ppid=29191 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29194/task/29251/stat : 29251 (java) S 29191 29194 20959 0 -1 1077944384 68 13211 0 0 1 0 5 2 20 0 15 0 408776009 11094687744 49460 33554432000 4194304 4196468 140725676419824 140517243972624 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29252] ppid=29191 vsize=10834656 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/29194/task/29252/stat : 29252 (java) S 29191 29194 20959 0 -1 1077944384 108 13211 0 0 1 0 5 2 20 0 15 0 408776011 11094687744 49460 33554432000 4194304 4196468 140725676419824 140516853610608 140517327026818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29253] ppid=29191 vsize=10834656 memory=279844499826944 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29253/stat : 29253 (java) S 29191 29194 20959 0 -1 1077944384 14 13211 0 0 0 0 5 2 20 0 15 0 408776011 11094687744 49460 33554432000 4194304 4196468 140725676419824 140516767294304 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29254] ppid=29191 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29254/stat : 29254 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776012 11094687744 49460 33554432000 4194304 4196468 140725676419824 140516163314816 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29255] ppid=29191 vsize=10834656 memory=8252 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29255/stat : 29255 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11094687744 49460 33554432000 4194304 4196468 140725676419824 140515855915088 140517327034267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29256] ppid=29191 vsize=10834656 memory=5912 CPUtime=0.71 cores=1,3,5,7
/proc/29194/task/29256/stat : 29256 (java) S 29191 29194 20959 0 -1 1077944384 7719 13211 0 0 63 1 5 2 20 0 15 0 408776014 11094687744 49460 33554432000 4194304 4196468 140725676419824 140516852558448 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29257] ppid=29191 vsize=10834656 memory=1056 CPUtime=0.53 cores=1,3,5,7
/proc/29194/task/29257/stat : 29257 (java) S 29191 29194 20959 0 -1 1077944384 2427 13211 0 0 46 0 5 2 20 0 15 0 408776014 11094687744 49460 33554432000 4194304 4196468 140725676419824 140516851505648 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29258] ppid=29191 vsize=10834656 memory=1540 CPUtime=0.52 cores=1,3,5,7
/proc/29194/task/29258/stat : 29258 (java) S 29191 29194 20959 0 -1 1077944384 2525 13211 0 0 44 1 5 2 20 0 15 0 408776014 11094687744 49460 33554432000 4194304 4196468 140725676419824 140516850453360 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29259] ppid=29191 vsize=10834656 memory=728 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29259/stat : 29259 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11094687744 49460 33554432000 4194304 4196468 140725676419824 140515822357472 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29260] ppid=29191 vsize=10834656 memory=3436 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29260/stat : 29260 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776015 11094687744 49460 33554432000 4194304 4196468 140725676419824 140516849400240 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 197840 KiB

[startup+3.11063 s]
/proc/loadavg: 1.19 1.27 1.30 5/232 29260
/proc/meminfo: memFree=30522996/32770624 swapFree=67003376/67108860
[pid=29194] ppid=29191 vsize=10844916 memory=281444 CPUtime=7.2 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29194 20959 0 -1 1077944320 41694 13211 0 0 694 19 5 2 20 0 15 0 408776000 11105193984 70361 33554432000 4194304 4196468 140725676419824 140725676402368 140517327015671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
/proc/29194/statm: 2711229 70361 3606 1 0 2673293 0
[pid=29194/tid=29247] ppid=29191 vsize=10844916 memory=279844500245824 CPUtime=2.97 cores=1,3,5,7
/proc/29194/task/29247/stat : 29247 (java) R 29191 29194 20959 0 -1 4202560 20509 13211 0 0 280 10 5 2 20 0 15 0 408776009 11105193984 70361 33554432000 4194304 4196468 140725676419824 140517298848976 140517311059301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29248] ppid=29191 vsize=10844916 memory=388 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29248/stat : 29248 (java) S 29191 29194 20959 0 -1 1077944384 34 13211 0 0 3 0 5 2 20 0 15 0 408776009 11105193984 70361 33554432000 4194304 4196468 140725676419824 140517331258256 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29249] ppid=29191 vsize=10844916 memory=6943526294502006880 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29249/stat : 29249 (java) S 29191 29194 20959 0 -1 1077944384 91 13211 0 0 3 0 5 2 20 0 15 0 408776009 11105193984 70361 33554432000 4194304 4196468 140725676419824 140517246077712 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29250] ppid=29191 vsize=10844916 memory=56 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29250/stat : 29250 (java) S 29191 29194 20959 0 -1 1077944384 365 13211 0 0 3 0 5 2 20 0 15 0 408776009 11105193984 70361 33554432000 4194304 4196468 140725676419824 140517245025424 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29251] ppid=29191 vsize=10844916 memory=8389687274667979570 CPUtime=0.11 cores=1,3,5,7
/proc/29194/task/29251/stat : 29251 (java) S 29191 29194 20959 0 -1 1077944384 90 13211 0 0 4 0 5 2 20 0 15 0 408776009 11105193984 70361 33554432000 4194304 4196468 140725676419824 140517243972624 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29252] ppid=29191 vsize=10844916 memory=7093353454188557254 CPUtime=0.11 cores=1,3,5,7
/proc/29194/task/29252/stat : 29252 (java) S 29191 29194 20959 0 -1 1077944384 1527 13211 0 0 4 0 5 2 20 0 15 0 408776011 11105193984 70361 33554432000 4194304 4196468 140725676419824 140516853610608 140517327026818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29253] ppid=29191 vsize=10844916 memory=7449279377460835378 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29253/stat : 29253 (java) S 29191 29194 20959 0 -1 1077944384 14 13211 0 0 0 0 5 2 20 0 15 0 408776011 11105193984 70361 33554432000 4194304 4196468 140725676419824 140516767294304 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29254] ppid=29191 vsize=10844916 memory=279844500080128 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29254/stat : 29254 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776012 11105193984 70361 33554432000 4194304 4196468 140725676419824 140516163314816 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29255] ppid=29191 vsize=10844916 memory=7956567955459234152 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29255/stat : 29255 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11105193984 70361 33554432000 4194304 4196468 140725676419824 140515855915088 140517327034267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29256] ppid=29191 vsize=10844916 memory=6940161746004305493 CPUtime=1.53 cores=1,3,5,7
/proc/29194/task/29256/stat : 29256 (java) R 29191 29194 20959 0 -1 4202560 8903 13211 0 0 144 2 5 2 20 0 15 0 408776014 11105193984 70361 33554432000 4194304 4196468 140725676419824 140516852543440 140517306709405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29257] ppid=29191 vsize=10844916 memory=7372767967351951464 CPUtime=1.33 cores=1,3,5,7
/proc/29194/task/29257/stat : 29257 (java) R 29191 29194 20959 0 -1 4202560 2999 13211 0 0 125 1 5 2 20 0 15 0 408776014 11105193984 70361 33554432000 4194304 4196468 140725676419824 140516851485760 140517312123483 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29258] ppid=29191 vsize=10844916 memory=288230574492221466 CPUtime=1.33 cores=1,3,5,7
/proc/29194/task/29258/stat : 29258 (java) S 29191 29194 20959 0 -1 1077944384 4947 13211 0 0 124 2 5 2 20 0 15 0 408776014 11105193984 70361 33554432000 4194304 4196468 140725676419824 140516850453360 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29259] ppid=29191 vsize=10844916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29259/stat : 29259 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11105193984 70361 33554432000 4194304 4196468 140725676419824 140515822357472 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29260] ppid=29191 vsize=10844916 memory=2193 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29260/stat : 29260 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776015 11105193984 70361 33554432000 4194304 4196468 140725676419824 140516849400240 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 281444 KiB

[startup+3.87557 s]
# the end of solver process 29194 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.40369 s, system=0.264744 s

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

[startup+3.20085 s]
/proc/loadavg: 1.19 1.27 1.30 5/232 29260
/proc/meminfo: memFree=30522996/32770624 swapFree=67003376/67108860
[pid=29194] ppid=29191 vsize=10844916 memory=282780 CPUtime=7.49 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29194 20959 0 -1 1077944320 41977 13211 0 0 723 19 5 2 20 0 15 0 408776000 11105193984 70695 33554432000 4194304 4196468 140725676419824 140725676402368 140517327015671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
/proc/29194/statm: 2711229 70695 3608 1 0 2673293 0
[pid=29194/tid=29247] ppid=29191 vsize=10844916 memory=0 CPUtime=3.06 cores=1,3,5,7
/proc/29194/task/29247/stat : 29247 (java) R 29191 29194 20959 0 -1 4202560 20642 13211 0 0 289 10 5 2 20 0 15 0 408776009 11105193984 70695 33554432000 4194304 4196468 140725676419824 140517298842992 140517327027606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29248] ppid=29191 vsize=10844916 memory=6656426216303648864 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29248/stat : 29248 (java) S 29191 29194 20959 0 -1 1077944384 34 13211 0 0 3 0 5 2 20 0 15 0 408776009 11105193984 70695 33554432000 4194304 4196468 140725676419824 140517331258256 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29249] ppid=29191 vsize=10844916 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29249/stat : 29249 (java) S 29191 29194 20959 0 -1 1077944384 91 13211 0 0 3 0 5 2 20 0 15 0 408776009 11105193984 70695 33554432000 4194304 4196468 140725676419824 140517246077712 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29250] ppid=29191 vsize=10844916 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29250/stat : 29250 (java) S 29191 29194 20959 0 -1 1077944384 365 13211 0 0 3 0 5 2 20 0 15 0 408776009 11105193984 70695 33554432000 4194304 4196468 140725676419824 140517245025424 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29251] ppid=29191 vsize=10844916 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/29194/task/29251/stat : 29251 (java) S 29191 29194 20959 0 -1 1077944384 90 13211 0 0 4 0 5 2 20 0 15 0 408776009 11105193984 70695 33554432000 4194304 4196468 140725676419824 140517243972624 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29252] ppid=29191 vsize=10844916 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/29194/task/29252/stat : 29252 (java) S 29191 29194 20959 0 -1 1077944384 1527 13211 0 0 4 0 5 2 20 0 15 0 408776011 11105193984 70695 33554432000 4194304 4196468 140725676419824 140516853610608 140517327026818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29253] ppid=29191 vsize=10844916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29253/stat : 29253 (java) S 29191 29194 20959 0 -1 1077944384 14 13211 0 0 0 0 5 2 20 0 15 0 408776011 11105193984 70695 33554432000 4194304 4196468 140725676419824 140516767294304 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29254] ppid=29191 vsize=10844916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29254/stat : 29254 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776012 11105193984 70695 33554432000 4194304 4196468 140725676419824 140516163314816 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29255] ppid=29191 vsize=10844916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29255/stat : 29255 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11105193984 70695 33554432000 4194304 4196468 140725676419824 140515855915088 140517327034267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29256] ppid=29191 vsize=10844916 memory=0 CPUtime=1.61 cores=1,3,5,7
/proc/29194/task/29256/stat : 29256 (java) R 29191 29194 20959 0 -1 4202560 8929 13211 0 0 152 2 5 2 20 0 15 0 408776014 11105193984 70695 33554432000 4194304 4196468 140725676419824 140516852548048 140517310572060 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29257] ppid=29191 vsize=10844916 memory=1036 CPUtime=1.4 cores=1,3,5,7
/proc/29194/task/29257/stat : 29257 (java) R 29191 29194 20959 0 -1 4202560 3024 13211 0 0 132 1 5 2 20 0 15 0 408776014 11105193984 70695 33554432000 4194304 4196468 140725676419824 140516851494144 140517310402489 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29258] ppid=29191 vsize=10844916 memory=14008 CPUtime=1.37 cores=1,3,5,7
/proc/29194/task/29258/stat : 29258 (java) R 29191 29194 20959 0 -1 1077944384 5046 13211 0 0 128 2 5 2 20 0 15 0 408776014 11105193984 70695 33554432000 4194304 4196468 140725676419824 140516850453360 140517327026818 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29259] ppid=29191 vsize=10844916 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29259/stat : 29259 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11105193984 70695 33554432000 4194304 4196468 140725676419824 140515822357472 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29260] ppid=29191 vsize=10844916 memory=6788 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29260/stat : 29260 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776015 11105193984 70695 33554432000 4194304 4196468 140725676419824 140516849400240 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 282780 KiB

[startup+3.60473 s]
/proc/loadavg: 1.19 1.27 1.30 5/232 29260
/proc/meminfo: memFree=30522996/32770624 swapFree=67003376/67108860
[pid=29194] ppid=29191 vsize=10846964 memory=294068 CPUtime=8.91 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29194 20959 0 -1 1077944320 53615 13211 0 0 863 21 5 2 20 0 15 0 408776000 11107291136 73517 33554432000 4194304 4196468 140725676419824 140725676402368 140517327015671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
/proc/29194/statm: 2711741 73517 3611 1 0 2673805 0
[pid=29194/tid=29247] ppid=29191 vsize=10846964 memory=0 CPUtime=3.46 cores=1,3,5,7
/proc/29194/task/29247/stat : 29247 (java) R 29191 29194 20959 0 -1 4202560 25209 13211 0 0 328 11 5 2 20 0 15 0 408776009 11107291136 73517 33554432000 4194304 4196468 140725676419824 140517298848976 140517327027606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29248] ppid=29191 vsize=10846964 memory=279844500618912 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29248/stat : 29248 (java) S 29191 29194 20959 0 -1 1077944384 34 13211 0 0 3 0 5 2 20 0 15 0 408776009 11107291136 73517 33554432000 4194304 4196468 140725676419824 140517331258256 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29249] ppid=29191 vsize=10846964 memory=139922250311728 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29249/stat : 29249 (java) S 29191 29194 20959 0 -1 1077944384 91 13211 0 0 3 0 5 2 20 0 15 0 408776009 11107291136 73517 33554432000 4194304 4196468 140725676419824 140517246077712 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29250] ppid=29191 vsize=10846964 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29250/stat : 29250 (java) S 29191 29194 20959 0 -1 1077944384 365 13211 0 0 3 0 5 2 20 0 15 0 408776009 11107291136 73517 33554432000 4194304 4196468 140725676419824 140517245025424 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29251] ppid=29191 vsize=10846964 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/29194/task/29251/stat : 29251 (java) S 29191 29194 20959 0 -1 1077944384 90 13211 0 0 4 0 5 2 20 0 15 0 408776009 11107291136 73517 33554432000 4194304 4196468 140725676419824 140517243972624 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29252] ppid=29191 vsize=10846964 memory=-9174445032661854264 CPUtime=0.11 cores=1,3,5,7
/proc/29194/task/29252/stat : 29252 (java) S 29191 29194 20959 0 -1 1077944384 2744 13211 0 0 4 0 5 2 20 0 15 0 408776011 11107291136 73517 33554432000 4194304 4196468 140725676419824 140516853610608 140517327026818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29253] ppid=29191 vsize=10846964 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29253/stat : 29253 (java) S 29191 29194 20959 0 -1 1077944384 14 13211 0 0 0 0 5 2 20 0 15 0 408776011 11107291136 73517 33554432000 4194304 4196468 140725676419824 140516767294304 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29254] ppid=29191 vsize=10846964 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29254/stat : 29254 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 15 0 408776012 11107291136 73517 33554432000 4194304 4196468 140725676419824 140516163314816 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29255] ppid=29191 vsize=10846964 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29255/stat : 29255 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11107291136 73517 33554432000 4194304 4196468 140725676419824 140515855915088 140517327034267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29256] ppid=29191 vsize=10846964 memory=-7022074515825631275 CPUtime=2 cores=1,3,5,7
/proc/29194/task/29256/stat : 29256 (java) R 29191 29194 20959 0 -1 4202560 10628 13211 0 0 191 2 5 2 20 0 15 0 408776014 11107291136 73517 33554432000 4194304 4196468 140725676419824 140516852546128 140517311895887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29257] ppid=29191 vsize=10846964 memory=8292088533921144977 CPUtime=1.79 cores=1,3,5,7
/proc/29194/task/29257/stat : 29257 (java) R 29191 29194 20959 0 -1 4202560 5136 13211 0 0 171 1 5 2 20 0 15 0 408776014 11107291136 73517 33554432000 4194304 4196468 140725676419824 140516851485672 140517306187061 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29258] ppid=29191 vsize=10846964 memory=0 CPUtime=1.59 cores=1,3,5,7
/proc/29194/task/29258/stat : 29258 (java) R 29191 29194 20959 0 -1 1077944384 7084 13211 0 0 150 2 5 2 20 0 15 0 408776014 11107291136 73517 33554432000 4194304 4196468 140725676419824 140516850453360 140517327026818 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29259] ppid=29191 vsize=10846964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29259/stat : 29259 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 15 0 408776014 11107291136 73517 33554432000 4194304 4196468 140725676419824 140515822357472 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29260] ppid=29191 vsize=10846964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29260/stat : 29260 (java) S 29191 29194 20959 0 -1 1077944384 6 13211 0 0 0 0 5 2 20 0 15 0 408776015 11107291136 73517 33554432000 4194304 4196468 140725676419824 140516849400240 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 294068 KiB

[startup+3.80075 s]
/proc/loadavg: 1.19 1.27 1.30 5/232 29260
/proc/meminfo: memFree=30522996/32770624 swapFree=67003376/67108860
[pid=29194] ppid=29191 vsize=10945272 memory=318088 CPUtime=9.54 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29194 20959 0 -1 1077944320 60166 13211 0 0 925 22 5 2 20 0 14 0 408776000 11207958528 79522 33554432000 4194304 4196468 140725676419824 140725676402368 140517327015671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
/proc/29194/statm: 2736318 79522 3614 1 0 2698382 0
[pid=29194/tid=29247] ppid=29191 vsize=10945272 memory=0 CPUtime=3.64 cores=1,3,5,7
/proc/29194/task/29247/stat : 29247 (java) S 29191 29194 20959 0 -1 1077944384 25915 13211 0 0 346 11 5 2 20 0 14 0 408776009 11207958528 79522 33554432000 4194304 4196468 140725676419824 140517298859152 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29248] ppid=29191 vsize=10945272 memory=279844499751152 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29248/stat : 29248 (java) S 29191 29194 20959 0 -1 1077944384 34 13211 0 0 3 0 5 2 20 0 14 0 408776009 11207958528 79522 33554432000 4194304 4196468 140725676419824 140517331258256 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29249] ppid=29191 vsize=10945272 memory=7446536401634419304 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29249/stat : 29249 (java) S 29191 29194 20959 0 -1 1077944384 91 13211 0 0 3 0 5 2 20 0 14 0 408776009 11207958528 79522 33554432000 4194304 4196468 140725676419824 140517246077712 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29250] ppid=29191 vsize=10945272 memory=7588674655034436961 CPUtime=0.1 cores=1,3,5,7
/proc/29194/task/29250/stat : 29250 (java) S 29191 29194 20959 0 -1 1077944384 365 13211 0 0 3 0 5 2 20 0 14 0 408776009 11207958528 79522 33554432000 4194304 4196468 140725676419824 140517245025424 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29251] ppid=29191 vsize=10945272 memory=1440 CPUtime=0.11 cores=1,3,5,7
/proc/29194/task/29251/stat : 29251 (java) S 29191 29194 20959 0 -1 1077944384 90 13211 0 0 4 0 5 2 20 0 14 0 408776009 11207958528 79522 33554432000 4194304 4196468 140725676419824 140517243972624 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29252] ppid=29191 vsize=10945272 memory=1984 CPUtime=0.11 cores=1,3,5,7
/proc/29194/task/29252/stat : 29252 (java) S 29191 29194 20959 0 -1 1077944384 2744 13211 0 0 4 0 5 2 20 0 14 0 408776011 11207958528 79522 33554432000 4194304 4196468 140725676419824 140516853610816 140517327026818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29253] ppid=29191 vsize=10945272 memory=2376 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29253/stat : 29253 (java) S 29191 29194 20959 0 -1 1077944384 14 13211 0 0 0 0 5 2 20 0 14 0 408776011 11207958528 79522 33554432000 4194304 4196468 140725676419824 140516767294304 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29254] ppid=29191 vsize=10945272 memory=1768 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29254/stat : 29254 (java) S 29191 29194 20959 0 -1 1077944384 1 13211 0 0 0 0 5 2 20 0 14 0 408776012 11207958528 79522 33554432000 4194304 4196468 140725676419824 140516163314816 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29255] ppid=29191 vsize=10945272 memory=111628 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29255/stat : 29255 (java) S 29191 29194 20959 0 -1 1077944384 25 13211 0 0 0 0 5 2 20 0 14 0 408776014 11207958528 79522 33554432000 4194304 4196468 140725676419824 140515855914800 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29256] ppid=29191 vsize=10945272 memory=804 CPUtime=2.2 cores=1,3,5,7
/proc/29194/task/29256/stat : 29256 (java) R 29191 29194 20959 0 -1 4202560 12522 13211 0 0 211 2 5 2 20 0 14 0 408776014 11207958528 79522 33554432000 4194304 4196468 140725676419824 140516852542920 140517306263340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29257] ppid=29191 vsize=10945272 memory=1660 CPUtime=1.99 cores=1,3,5,7
/proc/29194/task/29257/stat : 29257 (java) R 29191 29194 20959 0 -1 4202560 8007 13211 0 0 191 1 5 2 20 0 14 0 408776014 11207958528 79522 33554432000 4194304 4196468 140725676419824 140516851489992 140517311405540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29258] ppid=29191 vsize=10945272 memory=1804 CPUtime=1.64 cores=1,3,5,7
/proc/29194/task/29258/stat : 29258 (java) S 29191 29194 20959 0 -1 1077944384 8090 13211 0 0 155 2 5 2 20 0 14 0 408776014 11207958528 79522 33554432000 4194304 4196468 140725676419824 140516850453360 140517327026818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
[pid=29194/tid=29259] ppid=29191 vsize=10945272 memory=920 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29259/stat : 29259 (java) S 29191 29194 20959 0 -1 1077944384 3 13211 0 0 0 0 5 2 20 0 14 0 408776014 11207958528 79522 33554432000 4194304 4196468 140725676419824 140515822357472 140517327025877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16023552 140725676428023 140725676430533 140725676430533 140725676433359 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 10945272 KiB
Current children cumulated memory: 318088 KiB

Child status: 0
Real time (s): 3.87562
CPU time (s): 9.66844
CPU user time (s): 9.40369
CPU system time (s): 0.264744
CPU usage (%): 249.468
Max. virtual memory (cumulated for all children) (KiB): 10945272
Max. memory (cumulated for all children) (KiB): 318088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.40369
system time used= 0.264744
maximum resident set size= 323672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6167
involuntary context switches= 39


# summary of solver processes directly reported to runsolver:
#   pid: 29194
#   total CPU time (s): 9.66844
#   total CPU user time (s): 9.40369
#   total CPU system time (s): 0.264744

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050389 second user time and 0.07447 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-12 23:55:24
IDJOB=4391983
IDBENCH=138322
IDSOLVER=2837
FILE ID=node133/4391983-1568325363
RUNJOBID= node133-1568301421-20991
PBS_JOBID= 21701111
Free space on /tmp= 55080 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff34.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391983-1568325363/watcher-4391983-1568325363 -o /tmp/evaluation-result-4391983-1568325363/solver-4391983-1568325363 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20991 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=10026710 HOME/instance-4391983-1568325363.xml

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

MD5SUM BENCH= bce56437d9fb8db43dbe0792f1384def
RANDOM SEED=10026710

node133.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.18
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.18
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.18
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.18
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:        30764368 kB
MemAvailable:   31025228 kB
Buffers:          128104 kB
Cached:           416504 kB
SwapCached:         3540 kB
Active:          1197748 kB
Inactive:         228116 kB
Active(anon):     904436 kB
Inactive(anon):    16420 kB
Active(file):     293312 kB
Inactive(file):   211696 kB
Unevictable:      110512 kB
Mlocked:          110512 kB
SwapTotal:      67108860 kB
SwapFree:       67003376 kB
Dirty:             34680 kB
Writeback:             0 kB
AnonPages:        989448 kB
Mapped:            56076 kB
Shmem:             31236 kB
Slab:             171992 kB
SReclaimable:     143372 kB
SUnreclaim:        28620 kB
KernelStack:        3856 kB
PageTables:         7344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2141740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    811008 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 /tmp at the end= 55044 MiB
End job on node133 at 2019-09-12 23:55:28