Trace number 4271150

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 NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT 103.043 66.227997

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg4/
QuasiGroup-4-17.xml
MD5SUM1749ee71f79cc6e37ea59febff668c91
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark100.011
Satisfiable
(Un)Satisfiability was proved
Number of variables578
Number of constraints546
Number of domains2
Minimum domain size17
Maximum domain size289
Distribution of domain sizes[{"size":17,"count":289},{"size":289,"count":272}]
Minimum variable degree0
Maximum variable degree275
Distribution of variable degrees[{"degree":0,"count":17},{"degree":2,"count":272},{"degree":274,"count":17},{"degree":275,"count":272}]
Minimum constraint arity3
Maximum constraint arity290
Distribution of constraint arities[{"arity":3,"count":272},{"arity":17,"count":1},{"arity":289,"count":1},{"arity":290,"count":272}]
Number of extensional constraints0
Number of intensional constraints272
Distribution of constraint types[{"type":"intension","count":272},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":272}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271150-1502764736.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271150-1502764736.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
65.74/61.48	c solve instance...
102.34/66.19	s SATISFIABLE
102.34/66.19	v <instantiation>
102.34/66.19	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[1][0] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[2][0] y[2][1] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[3][0] y[3][1] y[3][2] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[4][0] y[4][1] y[4][2] y[4][3] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][13] y[12][14] y[12][15] y[12][16] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][14] y[13][15] y[13][16] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][15] y[14][16] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][16] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] </list>
102.34/66.19	v 	<values>0 2 1 4 3 6 5 8 7 10 9 12 11 14 13 16 15 3 1 4 0 2 7 8 5 6 11 12 9 10 15 16 13 14 4 3 2 1 0 8 7 6 5 12 11 10 9 16 15 14 13 2 4 0 3 1 9 10 11 12 13 14 15 16 5 6 7 8 1 0 3 2 4 10 9 12 11 14 13 16 15 6 5 8 7 9 10 11 12 15 5 16 4 13 2 6 7 14 8 0 3 1 10 9 12 11 16 15 6 14 4 5 2 13 8 0 7 1 3 12 11 14 13 10 16 3 7 9 15 5 8 6 1 4 0 2 11 12 13 14 9 3 15 10 8 6 16 5 7 4 1 2 0 13 14 15 16 7 12 0 3 1 9 8 4 5 2 10 11 6 14 13 16 15 8 0 11 1 3 7 10 6 4 9 2 5 12 16 15 6 5 14 1 4 0 2 8 3 11 13 7 9 12 10 15 16 5 6 13 4 1 2 0 3 7 14 12 10 8 9 11 5 6 7 8 11 2 14 15 10 16 0 3 1 13 12 4 9 6 5 8 7 12 13 2 9 16 0 15 1 3 11 14 10 4 8 7 10 9 6 11 13 16 14 1 4 0 2 12 3 15 5 7 8 9 10 5 14 12 13 15 4 1 2 0 3 11 6 16 53 69 38 20 159 175 212 194 231 247 284 266 99 115 152 134 37 55 68 2 177 161 192 210 249 233 264 282 117 101 132 150 21 71 1 51 195 211 244 226 267 283 112 94 135 151 184 166 70 4 17 35 213 197 232 250 285 269 100 118 141 125 160 178 52 34 3 19 265 281 182 164 133 149 254 236 193 209 110 92 111 129 147 165 185 271 276 64 206 6 24 82 42 221 190 239 95 145 131 181 169 287 65 259 5 189 81 25 238 41 222 207 148 96 116 200 214 84 241 179 66 22 8 40 256 157 272 223 130 114 98 218 196 224 83 163 23 67 39 7 174 273 240 255 183 201 219 237 245 46 85 258 103 127 140 56 274 10 28 74 167 217 203 253 229 102 45 86 275 143 57 123 9 257 73 29 220 168 176 260 286 120 225 136 87 76 105 251 58 26 12 44 202 186 158 278 268 242 137 104 119 88 75 235 27 59 43 11 243 261 279 93 113 138 14 32 78 50 153 122 171 199 208 60 227 277 263 109 97 13 121 77 33 170 49 154 139 215 61 191 280 228 248 128 142 62 30 16 48 188 89 204 155 80 173 107 262 246 230 146 124 31 63 47 15 106 205 172 187 156 79 91 </values>
102.34/66.19	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271150-1502764736/watcher-4271150-1502764736 -o /tmp/evaluation-result-4271150-1502764736/solver-4271150-1502764736 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502761355-25342 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1912010182 HOME/instance-4271150-1502764736.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=25542, runsolver pid=25539
Current StackSize limit: 8192 KiB


[startup+0.100139 s]*
/proc/loadavg: 8.13 8.28 8.31 2/199 25563
/proc/meminfo: memFree=31517208/32770624 swapFree=67108860/67108860
[pid=25542] ppid=25539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25542/stat : 25542 (xcsp3-exec) S 25539 25542 25315 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 109561261 9740288 345 33554432000 4194304 5098028 140724651994176 140724651992280 140653090529916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140724651996260 140724651996471 140724651996471 140724651999211 0
/proc/25542/statm: 2378 345 289 221 0 87 0
[pid=25544] ppid=25542 vsize=25999808 memory=27176 CPUtime=0.11 cores=0-7
/proc/25544/stat : 25544 (java) S 25542 25542 25315 0 -1 1077944320 5222 0 0 0 10 1 0 0 20 0 20 0 109561261 26623803392 6794 33554432000 4194304 4196468 140730155203888 140730155186432 140268223880951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
/proc/25544/statm: 6499952 6794 2844 1 0 6488269 0
[pid=25544/tid=25545] ppid=25542 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/25544/task/25545/stat : 25545 (java) R 25542 25542 25315 0 -1 4202560 3231 0 0 0 8 1 0 0 20 0 20 0 109561261 26623803392 6794 33554432000 4194304 4196468 140730155203888 140268228115488 140268223902877 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25546] ppid=25542 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25544/task/25546/stat : 25546 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26623803392 6794 33554432000 4194304 4196468 140730155203888 140268131441808 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25547] ppid=25542 vsize=25999808 memory=139832230995584 CPUtime=0 cores=0-7
/proc/25544/task/25547/stat : 25547 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26623803392 6794 33554432000 4194304 4196468 140730155203888 140268130389008 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25548] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25548/stat : 25548 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267780148112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25549] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25549/stat : 25549 (java) S 25542 25542 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109561262 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267779095312 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25550] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25550/stat : 25550 (java) S 25542 25542 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109561262 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267778042512 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25551] ppid=25542 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25544/task/25551/stat : 25551 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267776989712 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25552] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25552/stat : 25552 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267775936912 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25553] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25553/stat : 25553 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267774884112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25554] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25554/stat : 25554 (java) S 25542 25542 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109561264 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267351198576 140268223892098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25555] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25555/stat : 25555 (java) S 25542 25542 25315 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109561264 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267350144544 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25556] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25556/stat : 25556 (java) S 25542 25542 25315 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109561264 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267349091696 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25557] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25557/stat : 25557 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561267 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267348040016 140268223899547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25558] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25558/stat : 25558 (java) R 25542 25542 25315 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 109561267 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267346987376 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25559] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25559/stat : 25559 (java) S 25542 25542 25315 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 109561267 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267345934576 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25560] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25560/stat : 25560 (java) S 25542 25542 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109561267 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267344881776 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25561] ppid=25542 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/25544/task/25561/stat : 25561 (java) R 25542 25542 25315 0 -1 4202560 249 0 0 0 1 0 0 0 20 0 20 0 109561267 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267343828976 140268223902298 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25562] ppid=25542 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25562/stat : 25562 (java) S 25542 25542 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109561267 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267342777440 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25563] ppid=25542 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25544/task/25563/stat : 25563 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561267 26623803392 6794 33554432000 4194304 4196468 140730155203888 140267341724720 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28556 KiB

[startup+0.210156 s]*
/proc/loadavg: 8.13 8.28 8.31 2/199 25563
/proc/meminfo: memFree=31507128/32770624 swapFree=67108860/67108860
[pid=25542] ppid=25539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25542/stat : 25542 (xcsp3-exec) S 25539 25542 25315 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 109561261 9740288 345 33554432000 4194304 5098028 140724651994176 140724651992280 140653090529916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140724651996260 140724651996471 140724651996471 140724651999211 0
/proc/25542/statm: 2378 345 289 221 0 87 0
[pid=25544] ppid=25542 vsize=26004064 memory=38900 CPUtime=0.33 cores=0-7
/proc/25544/stat : 25544 (java) S 25542 25542 25315 0 -1 1077944320 7859 0 0 0 30 3 0 0 20 0 20 0 109561261 26628161536 9725 33554432000 4194304 4196468 140730155203888 140730155186432 140268223880951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
/proc/25544/statm: 6501016 9725 3030 1 0 6488269 0
[pid=25544/tid=25545] ppid=25542 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/25544/task/25545/stat : 25545 (java) R 25542 25542 25315 0 -1 4202560 4980 0 0 0 18 1 0 0 20 0 20 0 109561261 26628161536 9725 33554432000 4194304 4196468 140730155203888 140268228082640 140268216598055 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25546] ppid=25542 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/25544/task/25546/stat : 25546 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 9725 33554432000 4194304 4196468 140730155203888 140268131441808 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25547] ppid=25542 vsize=26004064 memory=288370208382707328 CPUtime=0 cores=0-7
/proc/25544/task/25547/stat : 25547 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 9725 33554432000 4194304 4196468 140730155203888 140268130389008 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25548] ppid=25542 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25544/task/25548/stat : 25548 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267780148112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25549] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25549/stat : 25549 (java) S 25542 25542 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267779095312 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25550] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25550/stat : 25550 (java) S 25542 25542 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267778042512 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25551] ppid=25542 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25544/task/25551/stat : 25551 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267776989712 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25552] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25552/stat : 25552 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267775936912 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25553] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25553/stat : 25553 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267774884112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25554] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25554/stat : 25554 (java) S 25542 25542 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109561264 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267351198576 140268223892098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25555] ppid=25542 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25555/stat : 25555 (java) S 25542 25542 25315 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109561264 26628194304 9725 33554432000 4194304 4196468 140730155203888 140267350144544 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25556] ppid=25542 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25556/stat : 25556 (java) S 25542 25542 25315 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109561264 26628194304 9725 33554432000 4194304 4196468 140730155203888 140267349091696 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25557] ppid=25542 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25557/stat : 25557 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561267 26628194304 9725 33554432000 4194304 4196468 140730155203888 140267348040016 140268223899547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25558] ppid=25542 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/25544/task/25558/stat : 25558 (java) S 25542 25542 25315 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 20 0 109561267 26628194304 9725 33554432000 4194304 4196468 140730155203888 140267346987376 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25559] ppid=25542 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/25544/task/25559/stat : 25559 (java) S 25542 25542 25315 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 20 0 109561267 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267345934576 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25560] ppid=25542 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25544/task/25560/stat : 25560 (java) S 25542 25542 25315 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 109561267 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267344881776 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25561] ppid=25542 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/25544/task/25561/stat : 25561 (java) S 25542 25542 25315 0 -1 1077944384 708 0 0 0 7 0 0 0 20 0 20 0 109561267 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267343828976 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25562] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25562/stat : 25562 (java) S 25542 25542 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109561267 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267342777440 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25563] ppid=25542 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25544/task/25563/stat : 25563 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561267 26628161536 9725 33554432000 4194304 4196468 140730155203888 140267341724720 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40280 KiB

[startup+0.310027 s]*
/proc/loadavg: 8.13 8.28 8.31 4/199 25563
/proc/meminfo: memFree=31502972/32770624 swapFree=67108860/67108860
[pid=25542] ppid=25539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25542/stat : 25542 (xcsp3-exec) S 25539 25542 25315 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 109561261 9740288 345 33554432000 4194304 5098028 140724651994176 140724651992280 140653090529916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140724651996260 140724651996471 140724651996471 140724651999211 0
/proc/25542/statm: 2378 345 289 221 0 87 0
[pid=25544] ppid=25542 vsize=26004064 memory=45736 CPUtime=0.51 cores=0-7
/proc/25544/stat : 25544 (java) S 25542 25542 25315 0 -1 1077944320 8668 0 0 0 47 4 0 0 20 0 20 0 109561261 26628161536 11434 33554432000 4194304 4196468 140730155203888 140730155186432 140268223880951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
/proc/25544/statm: 6501016 11434 3057 1 0 6488269 0
[pid=25544/tid=25545] ppid=25542 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25544/task/25545/stat : 25545 (java) R 25542 25542 25315 0 -1 4202560 5615 0 0 0 27 2 0 0 20 0 20 0 109561261 26628161536 11434 33554432000 4194304 4196468 140730155203888 140268228119104 140268207961438 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25546] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25546/stat : 25546 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 11434 33554432000 4194304 4196468 140730155203888 140268131441808 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25547] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25547/stat : 25547 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 11434 33554432000 4194304 4196468 140730155203888 140268130389008 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25548] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25548/stat : 25548 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267780148112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25549] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25549/stat : 25549 (java) S 25542 25542 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267779095312 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25550] ppid=25542 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/25544/task/25550/stat : 25550 (java) S 25542 25542 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267778042512 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25551] ppid=25542 vsize=26004064 memory=139832122766255 CPUtime=0 cores=0-7
/proc/25544/task/25551/stat : 25551 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267776989712 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25552] ppid=25542 vsize=26004064 memory=139832122768560 CPUtime=0 cores=0-7
/proc/25544/task/25552/stat : 25552 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267775936912 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25553] ppid=25542 vsize=26004064 memory=139832122770864 CPUtime=0 cores=0-7
/proc/25544/task/25553/stat : 25553 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561262 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267774884112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25554] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25554/stat : 25554 (java) S 25542 25542 25315 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109561264 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267351198576 140268223892098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25555] ppid=25542 vsize=26004064 memory=279664245548688 CPUtime=0 cores=0-7
/proc/25544/task/25555/stat : 25555 (java) S 25542 25542 25315 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109561264 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267350144544 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25556] ppid=25542 vsize=26004064 memory=279664245555600 CPUtime=0 cores=0-7
/proc/25544/task/25556/stat : 25556 (java) S 25542 25542 25315 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109561264 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267349091696 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25557] ppid=25542 vsize=26004064 memory=279664245496752 CPUtime=0 cores=0-7
/proc/25544/task/25557/stat : 25557 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561267 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267348040016 140268223899547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25558] ppid=25542 vsize=26004064 memory=279664245569424 CPUtime=0.02 cores=0-7
/proc/25544/task/25558/stat : 25558 (java) R 25542 25542 25315 0 -1 4202560 509 0 0 0 2 0 0 0 20 0 20 0 109561267 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267346987376 140268203711280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25559] ppid=25542 vsize=26004064 memory=279664245576336 CPUtime=0.02 cores=0-7
/proc/25544/task/25559/stat : 25559 (java) S 25542 25542 25315 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 20 0 109561267 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267345934576 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25560] ppid=25542 vsize=26004064 memory=279664245574032 CPUtime=0.02 cores=0-7
/proc/25544/task/25560/stat : 25560 (java) S 25542 25542 25315 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 20 0 109561267 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267344881776 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25561] ppid=25542 vsize=26004064 memory=279664245590192 CPUtime=0.12 cores=0-7
/proc/25544/task/25561/stat : 25561 (java) R 25542 25542 25315 0 -1 4202560 809 0 0 0 12 0 0 0 20 0 20 0 109561267 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267343825344 140268223894833 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25562] ppid=25542 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25562/stat : 25562 (java) S 25542 25542 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109561267 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267342777440 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25563] ppid=25542 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25544/task/25563/stat : 25563 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109561267 26628161536 11434 33554432000 4194304 4196468 140730155203888 140267341724720 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47116 KiB

[startup+0.700974 s]
/proc/loadavg: 8.13 8.28 8.31 3/199 25563
/proc/meminfo: memFree=31479084/32770624 swapFree=67108860/67108860
[pid=25542] ppid=25539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25542/stat : 25542 (xcsp3-exec) S 25539 25542 25315 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 109561261 9740288 345 33554432000 4194304 5098028 140724651994176 140724651992280 140653090529916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140724651996260 140724651996471 140724651996471 140724651999211 0
/proc/25542/statm: 2378 345 289 221 0 87 0
[pid=25544] ppid=25542 vsize=26006188 memory=179188 CPUtime=1.62 cores=0-7
/proc/25544/stat : 25544 (java) S 25542 25542 25315 0 -1 1077944320 10985 0 0 0 155 7 0 0 20 0 20 0 109561261 26630336512 44797 33554432000 4194304 4196468 140730155203888 140730155186432 140268223880951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
/proc/25544/statm: 6501547 44797 3209 1 0 6488781 0
[pid=25544/tid=25545] ppid=25542 vsize=26006188 memory=279664245948080 CPUtime=0.66 cores=0-7
/proc/25544/task/25545/stat : 25545 (java) R 25542 25542 25315 0 -1 4202560 6378 0 0 0 63 3 0 0 20 0 20 0 109561261 26630336512 44797 33554432000 4194304 4196468 140730155203888 140268228118880 140267814177386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25546] ppid=25542 vsize=26006188 memory=139832122975088 CPUtime=0 cores=0-7
/proc/25544/task/25546/stat : 25546 (java) S 25542 25542 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109561262 26630336512 44797 33554432000 4194304 4196468 140730155203888 140268131441808 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25547] ppid=25542 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/25544/task/25547/stat : 25547 (java) S 25542 25542 25315 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 109561262 26630336512 44797 33554432000 4194304 4196468 140730155203888 140268130389008 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25548] ppid=25542 vsize=26006188 memory=10928 CPUtime=0 cores=0-7
/proc/25544/task/25548/stat : 25548 (java) S 25542 25542 25315 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 109561262 26630336512 44797 33554432000 4194304 4196468 140730155203888 140267780148112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0

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

[pid=25544/tid=25552] ppid=25542 vsize=26538700 memory=836 CPUtime=0.17 cores=0-7
/proc/25544/task/25552/stat : 25552 (java) S 25542 25542 25315 0 -1 1077944384 825 0 0 0 11 6 0 0 20 0 28 0 109561262 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267775936912 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25553] ppid=25542 vsize=26538700 memory=4096 CPUtime=0.18 cores=0-7
/proc/25544/task/25553/stat : 25553 (java) S 25542 25542 25315 0 -1 1077944384 542 0 0 0 12 6 0 0 20 0 28 0 109561262 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267774884112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25554] ppid=25542 vsize=26538700 memory=1696 CPUtime=0.11 cores=0-7
/proc/25544/task/25554/stat : 25554 (java) S 25542 25542 25315 0 -1 1077944384 3114 0 0 0 10 1 0 0 20 0 28 0 109561264 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267351198576 140268223892098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25555] ppid=25542 vsize=26538700 memory=920 CPUtime=0 cores=0-7
/proc/25544/task/25555/stat : 25555 (java) S 25542 25542 25315 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 109561264 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267350144608 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25556] ppid=25542 vsize=26538700 memory=4204 CPUtime=0 cores=0-7
/proc/25544/task/25556/stat : 25556 (java) S 25542 25542 25315 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 109561264 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267349091712 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25557] ppid=25542 vsize=26538700 memory=932 CPUtime=0 cores=0-7
/proc/25544/task/25557/stat : 25557 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109561267 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267348040016 140268223899547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25558] ppid=25542 vsize=26538700 memory=1576 CPUtime=2.67 cores=0-7
/proc/25544/task/25558/stat : 25558 (java) S 25542 25542 25315 0 -1 1077944384 14137 0 0 0 264 3 0 0 20 0 28 0 109561267 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267346987376 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25559] ppid=25542 vsize=26538700 memory=2240 CPUtime=2.56 cores=0-7
/proc/25544/task/25559/stat : 25559 (java) S 25542 25542 25315 0 -1 1077944384 12199 0 0 0 253 3 0 0 20 0 28 0 109561267 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267345934576 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25560] ppid=25542 vsize=26538700 memory=4128 CPUtime=2.43 cores=0-7
/proc/25544/task/25560/stat : 25560 (java) S 25542 25542 25315 0 -1 1077944384 11343 0 0 0 241 2 0 0 20 0 28 0 109561267 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267344881776 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25561] ppid=25542 vsize=26538700 memory=2200 CPUtime=0.82 cores=0-7
/proc/25544/task/25561/stat : 25561 (java) S 25542 25542 25315 0 -1 1077944384 8561 0 0 0 80 2 0 0 20 0 28 0 109561267 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267343828976 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25562] ppid=25542 vsize=26538700 memory=6508 CPUtime=0 cores=0-7
/proc/25544/task/25562/stat : 25562 (java) S 25542 25542 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109561267 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267342777440 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25563] ppid=25542 vsize=26538700 memory=836 CPUtime=0.01 cores=0-7
/proc/25544/task/25563/stat : 25563 (java) S 25542 25542 25315 0 -1 1077944384 228 0 0 0 0 1 0 0 20 0 28 0 109561267 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267341724720 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25565] ppid=25542 vsize=26538700 memory=4096 CPUtime=3.47 cores=0-7
/proc/25544/task/25565/stat : 25565 (java) R 25542 25542 25315 0 -1 4202560 706 0 0 0 347 0 0 0 20 0 28 0 109567410 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267333713944 140267816908240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25566] ppid=25542 vsize=26538700 memory=164 CPUtime=3.1 cores=0-7
/proc/25544/task/25566/stat : 25566 (java) R 25542 25542 25315 0 -1 4202560 220 0 0 0 310 0 0 0 20 0 28 0 109567410 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267332662024 140267818424681 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25567] ppid=25542 vsize=26538700 memory=592223850799786524 CPUtime=3.44 cores=0-7
/proc/25544/task/25567/stat : 25567 (java) R 25542 25542 25315 0 -1 4202560 1182 0 0 0 344 0 0 0 20 0 28 0 109567410 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267331608408 140267817882702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25568] ppid=25542 vsize=26538700 memory=288288887380655431 CPUtime=3.39 cores=0-7
/proc/25544/task/25568/stat : 25568 (java) R 25542 25542 25315 0 -1 4202560 269 0 0 0 339 0 0 0 20 0 28 0 109567410 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267330556344 140267816997605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25569] ppid=25542 vsize=26538700 memory=7879156753691928419 CPUtime=3.53 cores=0-7
/proc/25544/task/25569/stat : 25569 (java) R 25542 25542 25315 0 -1 4202560 536 0 0 0 353 0 0 0 20 0 28 0 109567410 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267329502808 140267817333584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25570] ppid=25542 vsize=26538700 memory=6369024915154560105 CPUtime=3.62 cores=0-7
/proc/25544/task/25570/stat : 25570 (java) R 25542 25542 25315 0 -1 4202560 347 0 0 0 362 0 0 0 20 0 28 0 109567410 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267328449728 140267817882750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25571] ppid=25542 vsize=26538700 memory=7879156753691928419 CPUtime=3.2 cores=0-7
/proc/25544/task/25571/stat : 25571 (java) R 25542 25542 25315 0 -1 4202560 225 0 0 0 320 0 0 0 20 0 28 0 109567410 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267327397976 140267817882545 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25572] ppid=25542 vsize=26538700 memory=7879156753691928419 CPUtime=3.35 cores=0-7
/proc/25544/task/25572/stat : 25572 (java) R 25542 25542 25315 0 -1 4202560 318 0 0 0 335 0 0 0 20 0 28 0 109567411 27175628800 698684 33554432000 4194304 4196468 140730155203888 140267326345432 140267816997695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
Current children cumulated CPU time: 98.28 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2796116 KiB

[startup+66.0014 s]*
/proc/loadavg: 3.15 6.78 7.79 9/207 25572
/proc/meminfo: memFree=28746544/32770624 swapFree=67108860/67108860
[pid=25542] ppid=25539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25542/stat : 25542 (xcsp3-exec) S 25539 25542 25315 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 109561261 9740288 345 33554432000 4194304 5098028 140724651994176 140724651992280 140653090529916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140724651996260 140724651996471 140724651996471 140724651999211 0
/proc/25542/statm: 2378 345 289 221 0 87 0
[pid=25544] ppid=25542 vsize=26538700 memory=2794760 CPUtime=101.54 cores=0-7
/proc/25544/stat : 25544 (java) S 25542 25542 25315 0 -1 1077944320 75164 0 0 0 10044 110 0 0 20 0 28 0 109561261 27175628800 698690 33554432000 4194304 4196468 140730155203888 140730155186432 140268223880951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
/proc/25544/statm: 6634675 698690 3283 1 0 6621909 0
[pid=25544/tid=25545] ppid=25542 vsize=26538700 memory=6791534058613427641 CPUtime=60.93 cores=0-7
/proc/25544/task/25545/stat : 25545 (java) S 25542 25542 25315 0 -1 1077944384 15177 0 0 0 6051 42 0 0 20 0 28 0 109561261 27175628800 698690 33554432000 4194304 4196468 140730155203888 140268228121728 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25546] ppid=25542 vsize=26538700 memory=4872558044660077418 CPUtime=0.18 cores=0-7
/proc/25544/task/25546/stat : 25546 (java) S 25542 25542 25315 0 -1 1077944384 424 0 0 0 10 8 0 0 20 0 28 0 109561262 27175628800 698690 33554432000 4194304 4196468 140730155203888 140268131441808 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25547] ppid=25542 vsize=26538700 memory=1380 CPUtime=0.19 cores=0-7
/proc/25544/task/25547/stat : 25547 (java) S 25542 25542 25315 0 -1 1077944384 273 0 0 0 11 8 0 0 20 0 28 0 109561262 27175628800 698690 33554432000 4194304 4196468 140730155203888 140268130389008 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25548] ppid=25542 vsize=26538700 memory=0 CPUtime=0.19 cores=0-7
/proc/25544/task/25548/stat : 25548 (java) S 25542 25542 25315 0 -1 1077944384 376 0 0 0 11 8 0 0 20 0 28 0 109561262 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267780148112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25549] ppid=25542 vsize=26538700 memory=-8412652177879177843 CPUtime=0.18 cores=0-7
/proc/25544/task/25549/stat : 25549 (java) S 25542 25542 25315 0 -1 1077944384 364 0 0 0 11 7 0 0 20 0 28 0 109561262 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267779095312 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25550] ppid=25542 vsize=26538700 memory=8514726395714825349 CPUtime=0.18 cores=0-7
/proc/25544/task/25550/stat : 25550 (java) S 25542 25542 25315 0 -1 1077944384 568 0 0 0 12 6 0 0 20 0 28 0 109561262 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267778042512 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25551] ppid=25542 vsize=26538700 memory=-8253362762722141311 CPUtime=0.17 cores=0-7
/proc/25544/task/25551/stat : 25551 (java) S 25542 25542 25315 0 -1 1077944384 708 0 0 0 11 6 0 0 20 0 28 0 109561262 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267776989712 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25552] ppid=25542 vsize=26538700 memory=4427205132082312746 CPUtime=0.17 cores=0-7
/proc/25544/task/25552/stat : 25552 (java) S 25542 25542 25315 0 -1 1077944384 825 0 0 0 11 6 0 0 20 0 28 0 109561262 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267775936912 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25553] ppid=25542 vsize=26538700 memory=-7023579799431922829 CPUtime=0.18 cores=0-7
/proc/25544/task/25553/stat : 25553 (java) S 25542 25542 25315 0 -1 1077944384 542 0 0 0 12 6 0 0 20 0 28 0 109561262 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267774884112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25554] ppid=25542 vsize=26538700 memory=-8412652152092201843 CPUtime=0.11 cores=0-7
/proc/25544/task/25554/stat : 25554 (java) S 25542 25542 25315 0 -1 1077944384 3114 0 0 0 10 1 0 0 20 0 28 0 109561264 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267351198576 140268223892098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25555] ppid=25542 vsize=26538700 memory=-8486080722631693414 CPUtime=0 cores=0-7
/proc/25544/task/25555/stat : 25555 (java) S 25542 25542 25315 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 109561264 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267350144608 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25556] ppid=25542 vsize=26538700 memory=3047711553219693942 CPUtime=0 cores=0-7
/proc/25544/task/25556/stat : 25556 (java) S 25542 25542 25315 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 109561264 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267349091712 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25557] ppid=25542 vsize=26538700 memory=-7666414585839465563 CPUtime=0 cores=0-7
/proc/25544/task/25557/stat : 25557 (java) S 25542 25542 25315 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109561267 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267348040016 140268223899547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25558] ppid=25542 vsize=26538700 memory=-7521736447810188379 CPUtime=2.67 cores=0-7
/proc/25544/task/25558/stat : 25558 (java) S 25542 25542 25315 0 -1 1077944384 14424 0 0 0 264 3 0 0 20 0 28 0 109561267 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267346987376 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25559] ppid=25542 vsize=26538700 memory=8328453600958622283 CPUtime=2.57 cores=0-7
/proc/25544/task/25559/stat : 25559 (java) S 25542 25542 25315 0 -1 1077944384 12317 0 0 0 254 3 0 0 20 0 28 0 109561267 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267345934576 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25560] ppid=25542 vsize=26538700 memory=-8412652160765825907 CPUtime=2.43 cores=0-7
/proc/25544/task/25560/stat : 25560 (java) S 25542 25542 25315 0 -1 1077944384 11474 0 0 0 241 2 0 0 20 0 28 0 109561267 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267344881776 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25561] ppid=25542 vsize=26538700 memory=-8634980985311628903 CPUtime=0.82 cores=0-7
/proc/25544/task/25561/stat : 25561 (java) S 25542 25542 25315 0 -1 1077944384 8565 0 0 0 80 2 0 0 20 0 28 0 109561267 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267343828976 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25562] ppid=25542 vsize=26538700 memory=7100839878645619564 CPUtime=0 cores=0-7
/proc/25544/task/25562/stat : 25562 (java) S 25542 25542 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109561267 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267342777440 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25563] ppid=25542 vsize=26538700 memory=6944613755328037015 CPUtime=0.01 cores=0-7
/proc/25544/task/25563/stat : 25563 (java) S 25542 25542 25315 0 -1 1077944384 242 0 0 0 0 1 0 0 20 0 28 0 109561267 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267341724720 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25565] ppid=25542 vsize=26538700 memory=139832123256241 CPUtime=3.87 cores=0-7
/proc/25544/task/25565/stat : 25565 (java) R 25542 25542 25315 0 -1 4202560 767 0 0 0 387 0 0 0 20 0 28 0 109567410 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267333713944 140267817507705 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25566] ppid=25542 vsize=26538700 memory=8041355845685187419 CPUtime=3.51 cores=0-7
/proc/25544/task/25566/stat : 25566 (java) R 25542 25542 25315 0 -1 4202560 261 0 0 0 351 0 0 0 20 0 28 0 109567410 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267332662024 140267817882516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25567] ppid=25542 vsize=26538700 memory=4351978513199886176 CPUtime=3.85 cores=0-7
/proc/25544/task/25567/stat : 25567 (java) R 25542 25542 25315 0 -1 4202560 1289 0 0 0 385 0 0 0 20 0 28 0 109567410 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267331608744 140267816908341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25568] ppid=25542 vsize=26538700 memory=4048802470928213353 CPUtime=3.8 cores=0-7
/proc/25544/task/25568/stat : 25568 (java) R 25542 25542 25315 0 -1 4202560 328 0 0 0 380 0 0 0 20 0 28 0 109567410 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267330556344 140267817883187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25569] ppid=25542 vsize=26538700 memory=6656426216303648864 CPUtime=3.94 cores=0-7
/proc/25544/task/25569/stat : 25569 (java) R 25542 25542 25315 0 -1 4202560 633 0 0 0 394 0 0 0 20 0 28 0 109567410 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267329502808 140267817127959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25570] ppid=25542 vsize=26538700 memory=6944656592387989600 CPUtime=4.03 cores=0-7
/proc/25544/task/25570/stat : 25570 (java) R 25542 25542 25315 0 -1 4202560 410 0 0 0 403 0 0 0 20 0 28 0 109567410 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267328449728 140267817883202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25571] ppid=25542 vsize=26538700 memory=6944656592387989600 CPUtime=3.6 cores=0-7
/proc/25544/task/25571/stat : 25571 (java) R 25542 25542 25315 0 -1 4202560 308 0 0 0 360 0 0 0 20 0 28 0 109567410 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267327397976 140267816997444 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25572] ppid=25542 vsize=26538700 memory=6944656592455097440 CPUtime=3.76 cores=0-7
/proc/25544/task/25572/stat : 25572 (java) R 25542 25542 25315 0 -1 4202560 398 0 0 0 376 0 0 0 20 0 28 0 109567411 27175628800 698690 33554432000 4194304 4196468 140730155203888 140267326346392 140267818425464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
Current children cumulated CPU time: 101.54 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2796140 KiB

[startup+66.2012 s]
/proc/loadavg: 3.15 6.78 7.79 9/207 25572
/proc/meminfo: memFree=28746544/32770624 swapFree=67108860/67108860
[pid=25542] ppid=25539 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25542/stat : 25542 (xcsp3-exec) S 25539 25542 25315 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 109561261 9740288 345 33554432000 4194304 5098028 140724651994176 140724651992280 140653090529916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37974016 140724651996260 140724651996471 140724651996471 140724651999211 0
/proc/25542/statm: 2378 345 289 221 0 87 0
[pid=25544] ppid=25542 vsize=26538700 memory=2794356 CPUtime=103.02 cores=0-7
/proc/25544/stat : 25544 (java) S 25542 25542 25315 0 -1 1077944320 77255 0 0 0 10191 111 0 0 20 0 19 0 109561261 27175628800 698589 33554432000 4194304 4196468 140730155203888 140730155186432 140268223880951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
/proc/25544/statm: 6634675 698589 3285 1 0 6621909 0
[pid=25544/tid=25545] ppid=25542 vsize=26538700 memory=16098169624726079 CPUtime=60.93 cores=0-7
/proc/25544/task/25545/stat : 25545 (java) S 25542 25542 25315 0 -1 1077944384 15578 0 0 0 6051 42 0 0 20 0 19 0 109561261 27175628800 698589 33554432000 4194304 4196468 140730155203888 140268228123792 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25546] ppid=25542 vsize=26538700 memory=4128 CPUtime=0.18 cores=0-7
/proc/25544/task/25546/stat : 25546 (java) S 25542 25542 25315 0 -1 1077944384 424 0 0 0 10 8 0 0 20 0 19 0 109561262 27175628800 698589 33554432000 4194304 4196468 140730155203888 140268131441808 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25547] ppid=25542 vsize=26538700 memory=2200 CPUtime=0.19 cores=0-7
/proc/25544/task/25547/stat : 25547 (java) S 25542 25542 25315 0 -1 1077944384 273 0 0 0 11 8 0 0 20 0 19 0 109561262 27175628800 698589 33554432000 4194304 4196468 140730155203888 140268130389008 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25548] ppid=25542 vsize=26538700 memory=2773080 CPUtime=0.19 cores=0-7
/proc/25544/task/25548/stat : 25548 (java) S 25542 25542 25315 0 -1 1077944384 376 0 0 0 11 8 0 0 20 0 19 0 109561262 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267780148112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25549] ppid=25542 vsize=26538700 memory=7305493244698190420 CPUtime=0.18 cores=0-7
/proc/25544/task/25549/stat : 25549 (java) S 25542 25542 25315 0 -1 1077944384 364 0 0 0 11 7 0 0 20 0 19 0 109561262 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267779095312 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25550] ppid=25542 vsize=26538700 memory=5792032016286313303 CPUtime=0.18 cores=0-7
/proc/25544/task/25550/stat : 25550 (java) S 25542 25542 25315 0 -1 1077944384 568 0 0 0 12 6 0 0 20 0 19 0 109561262 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267778042512 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25551] ppid=25542 vsize=26538700 memory=7956006113959695467 CPUtime=0.17 cores=0-7
/proc/25544/task/25551/stat : 25551 (java) S 25542 25542 25315 0 -1 1077944384 708 0 0 0 11 6 0 0 20 0 19 0 109561262 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267776989712 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25552] ppid=25542 vsize=26538700 memory=5787214961271134564 CPUtime=0.17 cores=0-7
/proc/25544/task/25552/stat : 25552 (java) S 25542 25542 25315 0 -1 1077944384 825 0 0 0 11 6 0 0 20 0 19 0 109561262 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267775936912 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25553] ppid=25542 vsize=26538700 memory=7812725446500772199 CPUtime=0.18 cores=0-7
/proc/25544/task/25553/stat : 25553 (java) S 25542 25542 25315 0 -1 1077944384 542 0 0 0 12 6 0 0 20 0 19 0 109561262 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267774884112 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25554] ppid=25542 vsize=26538700 memory=6940698281606406720 CPUtime=0.11 cores=0-7
/proc/25544/task/25554/stat : 25554 (java) S 25542 25542 25315 0 -1 1077944384 3153 0 0 0 10 1 0 0 20 0 19 0 109561264 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267351198784 140268223892098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25555] ppid=25542 vsize=26538700 memory=4642197910265684584 CPUtime=0 cores=0-7
/proc/25544/task/25555/stat : 25555 (java) S 25542 25542 25315 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 109561264 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267350144608 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25556] ppid=25542 vsize=26538700 memory=279664246059584 CPUtime=0 cores=0-7
/proc/25544/task/25556/stat : 25556 (java) S 25542 25542 25315 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 19 0 109561264 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267349091712 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25557] ppid=25542 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/25544/task/25557/stat : 25557 (java) S 25542 25542 25315 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 109561267 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267348039728 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25558] ppid=25542 vsize=26538700 memory=6944652177228980320 CPUtime=2.67 cores=0-7
/proc/25544/task/25558/stat : 25558 (java) S 25542 25542 25315 0 -1 1077944384 14483 0 0 0 264 3 0 0 20 0 19 0 109561267 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267346967776 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25559] ppid=25542 vsize=26538700 memory=6655300316396806240 CPUtime=2.57 cores=0-7
/proc/25544/task/25559/stat : 25559 (java) S 25542 25542 25315 0 -1 1077944384 12417 0 0 0 254 3 0 0 20 0 19 0 109561267 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267345913904 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25560] ppid=25542 vsize=26538700 memory=5790086053191909267 CPUtime=2.44 cores=0-7
/proc/25544/task/25560/stat : 25560 (java) S 25542 25542 25315 0 -1 1077944384 11577 0 0 0 242 2 0 0 20 0 19 0 109561267 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267344862176 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25561] ppid=25542 vsize=26538700 memory=6944656592455360604 CPUtime=0.82 cores=0-7
/proc/25544/task/25561/stat : 25561 (java) S 25542 25542 25315 0 -1 1077944384 9587 0 0 0 80 2 0 0 20 0 19 0 109561267 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267343828976 140268223892098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
[pid=25544/tid=25562] ppid=25542 vsize=26538700 memory=-7094132109863559211 CPUtime=0 cores=0-7
/proc/25544/task/25562/stat : 25562 (java) S 25542 25542 25315 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109561267 27175628800 698589 33554432000 4194304 4196468 140730155203888 140267342777440 140268223891157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140730155205778 140730155205955 140730155205955 140730155208655 0
Current children cumulated CPU time: 103.02 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2795736 KiB

Child status: 0
Real time (s): 66.228
CPU time (s): 103.043
CPU user time (s): 101.914
CPU system time (s): 1.1287
CPU usage (%): 155.588
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2796140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.914
system time used= 1.1287
maximum resident set size= 2794852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77828
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12919
involuntary context switches= 1248


# summary of solver processes directly reported to runsolver:
#   pid: 25542
#   total CPU time (s): 103.043
#   total CPU user time (s): 101.914
#   total CPU system time (s): 1.1287

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.470012 second user time and 0.690387 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-15 04:24:37
IDJOB=4271150
IDBENCH=133764
IDSOLVER=2662
FILE ID=node115/4271150-1502764736
RUNJOBID= node115-1502761355-25342
PBS_JOBID= 20629087
Free space on /tmp= 61812 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-17.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271150-1502764736/watcher-4271150-1502764736 -o /tmp/evaluation-result-4271150-1502764736/solver-4271150-1502764736 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502761355-25342 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1912010182 HOME/instance-4271150-1502764736.xml

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

MD5SUM BENCH= 1749ee71f79cc6e37ea59febff668c91
RANDOM SEED=1912010182

node115.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.69
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.69
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.69
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.69
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:        31534612 kB
MemAvailable:   31983480 kB
Buffers:          175372 kB
Cached:           558812 kB
SwapCached:            0 kB
Active:           544228 kB
Inactive:         246544 kB
Active(anon):       4860 kB
Inactive(anon):    79420 kB
Active(file):     539368 kB
Inactive(file):   167124 kB
Unevictable:        6188 kB
Mlocked:            6188 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7548 kB
Writeback:             0 kB
AnonPages:         61284 kB
Mapped:            45408 kB
Shmem:             25224 kB
Slab:             142512 kB
SReclaimable:     116424 kB
SUnreclaim:        26088 kB
KernelStack:        3504 kB
PageTables:         5196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61804 MiB
End job on node115 at 2017-08-15 04:25:43