Trace number 4280960

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-18)SAT 100.011 65.552101

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-4280960-1503154534.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280960-1503154534.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
65.43/61.16	c solve instance...
99.84/65.52	s SATISFIABLE
99.84/65.52	v <instantiation>
99.84/65.52	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>
99.84/65.52	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>
99.84/65.52	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 (12775 MiB free)
  memory of node 1: 16384 MiB (12138 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280960-1503154534/watcher-4280960-1503154534 -o /tmp/evaluation-result-4280960-1503154534/solver-4280960-1503154534 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503153674-2978 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1736160303 HOME/instance-4280960-1503154534.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
Current StackSize limit: 8192 KiB

solver pid=2995, runsolver pid=2992

[startup+0.100111 s]*
/proc/loadavg: 7.73 8.18 8.21 2/200 3016
/proc/meminfo: memFree=25495732/32770624 swapFree=67108860/67108860
[pid=2995] ppid=2992 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2995/stat : 2995 (xcsp3-exec) S 2992 2995 2951 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148534291 9740288 346 33554432000 4194304 5098028 140736607785744 140736607783848 140340216377980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19812352 140736607794276 140736607794487 140736607794487 140736607797227 0
/proc/2995/statm: 2378 346 289 221 0 87 0
[pid=2997] ppid=2995 vsize=25999808 memory=27304 CPUtime=0.12 cores=0-7
/proc/2997/stat : 2997 (java) S 2995 2995 2951 0 -1 1077944320 5691 0 0 0 11 1 0 0 20 0 20 0 148534292 26623803392 6826 33554432000 4194304 4196468 140729293276720 140729293259264 140326110002935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
/proc/2997/statm: 6499952 6826 2864 1 0 6488269 0
[pid=2997/tid=2998] ppid=2995 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/2997/task/2998/stat : 2998 (java) R 2995 2995 2951 0 -1 4202560 3707 0 0 0 8 0 0 0 20 0 20 0 148534292 26623803392 6826 33554432000 4194304 4196468 140729293276720 140326114237472 140326110024282 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=2999] ppid=2995 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2997/task/2999/stat : 2999 (java) S 2995 2995 2951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148534293 26623803392 6826 33554432000 4194304 4196468 140729293276720 140326062623248 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3000] ppid=2995 vsize=25999808 memory=139678182418048 CPUtime=0 cores=0-7
/proc/2997/task/3000/stat : 3000 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26623803392 6826 33554432000 4194304 4196468 140729293276720 140326061570704 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3001] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3001/stat : 3001 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26623803392 6826 33554432000 4194304 4196468 140729293276720 140326060517648 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3002] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3002/stat : 3002 (java) S 2995 2995 2951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148534293 26623803392 6826 33554432000 4194304 4196468 140729293276720 140326059465104 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3003] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3003/stat : 3003 (java) S 2995 2995 2951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148534293 26623803392 6826 33554432000 4194304 4196468 140729293276720 140326058413072 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3004] ppid=2995 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2997/task/3004/stat : 3004 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26623803392 6826 33554432000 4194304 4196468 140729293276720 140326057360528 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3005] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3005/stat : 3005 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26623803392 6826 33554432000 4194304 4196468 140729293276720 140326056307472 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3006] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3006/stat : 3006 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26623803392 6826 33554432000 4194304 4196468 140729293276720 140326055254928 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3007] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3007/stat : 3007 (java) S 2995 2995 2951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148534294 26623803392 6826 33554432000 4194304 4196468 140729293276720 140324382349552 140326110014082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3008] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3008/stat : 3008 (java) S 2995 2995 2951 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148534295 26623803392 6826 33554432000 4194304 4196468 140729293276720 140324381295776 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3009] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3009/stat : 3009 (java) S 2995 2995 2951 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148534295 26623803392 6826 33554432000 4194304 4196468 140729293276720 140324380242672 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3010] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3010/stat : 3010 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534297 26623803392 6826 33554432000 4194304 4196468 140729293276720 140324379191248 140326110021531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3011] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3011/stat : 3011 (java) S 2995 2995 2951 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 148534297 26623803392 6826 33554432000 4194304 4196468 140729293276720 140324378139376 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3012] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3012/stat : 3012 (java) S 2995 2995 2951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148534297 26623803392 6826 33554432000 4194304 4196468 140729293276720 140324377086832 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3013] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3013/stat : 3013 (java) S 2995 2995 2951 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 148534297 26623803392 6826 33554432000 4194304 4196468 140729293276720 140324376033776 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3014] ppid=2995 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/2997/task/3014/stat : 3014 (java) S 2995 2995 2951 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 20 0 148534297 26623803392 6826 33554432000 4194304 4196468 140729293276720 140324374981232 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3015] ppid=2995 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3015/stat : 3015 (java) S 2995 2995 2951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148534297 26623803392 6826 33554432000 4194304 4196468 140729293276720 140324373928416 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3016] ppid=2995 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2997/task/3016/stat : 3016 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534298 26623803392 6826 33554432000 4194304 4196468 140729293276720 140324372875952 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28688 KiB

[startup+0.210118 s]*
/proc/loadavg: 7.73 8.18 8.21 2/200 3016
/proc/meminfo: memFree=25485080/32770624 swapFree=67108860/67108860
[pid=2995] ppid=2992 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2995/stat : 2995 (xcsp3-exec) S 2992 2995 2951 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148534291 9740288 346 33554432000 4194304 5098028 140736607785744 140736607783848 140340216377980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19812352 140736607794276 140736607794487 140736607794487 140736607797227 0
/proc/2995/statm: 2378 346 289 221 0 87 0
[pid=2997] ppid=2995 vsize=26004064 memory=39004 CPUtime=0.33 cores=0-7
/proc/2997/stat : 2997 (java) S 2995 2995 2951 0 -1 1077944320 8338 0 0 0 31 2 0 0 20 0 20 0 148534292 26628161536 9751 33554432000 4194304 4196468 140729293276720 140729293259264 140326110002935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
/proc/2997/statm: 6501016 9751 3048 1 0 6488269 0
[pid=2997/tid=2998] ppid=2995 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2997/task/2998/stat : 2998 (java) R 2995 2995 2951 0 -1 4202560 5438 0 0 0 18 1 0 0 20 0 20 0 148534292 26628161536 9751 33554432000 4194304 4196468 140729293276720 140326114223936 140326110024861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=2999] ppid=2995 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/2997/task/2999/stat : 2999 (java) S 2995 2995 2951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 9751 33554432000 4194304 4196468 140729293276720 140326062623248 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3000] ppid=2995 vsize=26004064 memory=139678182444625 CPUtime=0 cores=0-7
/proc/2997/task/3000/stat : 3000 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 9751 33554432000 4194304 4196468 140729293276720 140326061570704 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3001] ppid=2995 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2997/task/3001/stat : 3001 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 9751 33554432000 4194304 4196468 140729293276720 140326060517648 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3002] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3002/stat : 3002 (java) S 2995 2995 2951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 9751 33554432000 4194304 4196468 140729293276720 140326059465104 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3003] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3003/stat : 3003 (java) S 2995 2995 2951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 9751 33554432000 4194304 4196468 140729293276720 140326058413072 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3004] ppid=2995 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2997/task/3004/stat : 3004 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 9751 33554432000 4194304 4196468 140729293276720 140326057360528 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3005] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3005/stat : 3005 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 9751 33554432000 4194304 4196468 140729293276720 140326056307472 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3006] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3006/stat : 3006 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 9751 33554432000 4194304 4196468 140729293276720 140326055254928 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3007] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3007/stat : 3007 (java) S 2995 2995 2951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148534294 26628161536 9751 33554432000 4194304 4196468 140729293276720 140324382349552 140326110014082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3008] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3008/stat : 3008 (java) S 2995 2995 2951 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148534295 26628161536 9751 33554432000 4194304 4196468 140729293276720 140324381295776 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3009] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3009/stat : 3009 (java) S 2995 2995 2951 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148534295 26628161536 9751 33554432000 4194304 4196468 140729293276720 140324380242672 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3010] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3010/stat : 3010 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534297 26628161536 9751 33554432000 4194304 4196468 140729293276720 140324379191248 140326110021531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3011] ppid=2995 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/2997/task/3011/stat : 3011 (java) S 2995 2995 2951 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 148534297 26628161536 9751 33554432000 4194304 4196468 140729293276720 140324378139376 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3012] ppid=2995 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/2997/task/3012/stat : 3012 (java) S 2995 2995 2951 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 20 0 148534297 26628161536 9751 33554432000 4194304 4196468 140729293276720 140324377086832 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3013] ppid=2995 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/2997/task/3013/stat : 3013 (java) S 2995 2995 2951 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 148534297 26628161536 9751 33554432000 4194304 4196468 140729293276720 140324376033776 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3014] ppid=2995 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/2997/task/3014/stat : 3014 (java) R 2995 2995 2951 0 -1 4202560 717 0 0 0 7 0 0 0 20 0 20 0 148534297 26628161536 9751 33554432000 4194304 4196468 140729293276720 140324374981232 140326102240062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3015] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3015/stat : 3015 (java) S 2995 2995 2951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148534297 26628161536 9751 33554432000 4194304 4196468 140729293276720 140324373928416 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3016] ppid=2995 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2997/task/3016/stat : 3016 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534298 26628161536 9751 33554432000 4194304 4196468 140729293276720 140324372875952 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40388 KiB

[startup+0.309468 s]*
/proc/loadavg: 7.73 8.18 8.21 3/200 3016
/proc/meminfo: memFree=25480676/32770624 swapFree=67108860/67108860
[pid=2995] ppid=2992 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2995/stat : 2995 (xcsp3-exec) S 2992 2995 2951 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148534291 9740288 346 33554432000 4194304 5098028 140736607785744 140736607783848 140340216377980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19812352 140736607794276 140736607794487 140736607794487 140736607797227 0
/proc/2995/statm: 2378 346 289 221 0 87 0
[pid=2997] ppid=2995 vsize=26004064 memory=44160 CPUtime=0.5 cores=0-7
/proc/2997/stat : 2997 (java) S 2995 2995 2951 0 -1 1077944320 9235 0 0 0 48 2 0 0 20 0 20 0 148534292 26628161536 11040 33554432000 4194304 4196468 140729293276720 140729293259264 140326110002935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
/proc/2997/statm: 6501016 11040 3113 1 0 6488269 0
[pid=2997/tid=2998] ppid=2995 vsize=26004064 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/2997/task/2998/stat : 2998 (java) R 2995 2995 2951 0 -1 4202560 6102 0 0 0 27 1 0 0 20 0 20 0 148534292 26628161536 11040 33554432000 4194304 4196468 140729293276720 140326114241776 140325725279053 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=2999] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/2999/stat : 2999 (java) S 2995 2995 2951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 11040 33554432000 4194304 4196468 140729293276720 140326062623248 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3000] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3000/stat : 3000 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 11040 33554432000 4194304 4196468 140729293276720 140326061570704 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3001] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3001/stat : 3001 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 11040 33554432000 4194304 4196468 140729293276720 140326060517648 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3002] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3002/stat : 3002 (java) S 2995 2995 2951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 11040 33554432000 4194304 4196468 140729293276720 140326059465104 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3003] ppid=2995 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/2997/task/3003/stat : 3003 (java) S 2995 2995 2951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 11040 33554432000 4194304 4196468 140729293276720 140326058413072 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3004] ppid=2995 vsize=26004064 memory=139678040814511 CPUtime=0 cores=0-7
/proc/2997/task/3004/stat : 3004 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 11040 33554432000 4194304 4196468 140729293276720 140326057360528 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3005] ppid=2995 vsize=26004064 memory=139678040816816 CPUtime=0 cores=0-7
/proc/2997/task/3005/stat : 3005 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 11040 33554432000 4194304 4196468 140729293276720 140326056307472 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3006] ppid=2995 vsize=26004064 memory=139678040819120 CPUtime=0 cores=0-7
/proc/2997/task/3006/stat : 3006 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26628161536 11040 33554432000 4194304 4196468 140729293276720 140326055254928 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3007] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3007/stat : 3007 (java) S 2995 2995 2951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148534294 26628161536 11040 33554432000 4194304 4196468 140729293276720 140324382349552 140326110014082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3008] ppid=2995 vsize=26004064 memory=279356081645200 CPUtime=0 cores=0-7
/proc/2997/task/3008/stat : 3008 (java) S 2995 2995 2951 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148534295 26628161536 11040 33554432000 4194304 4196468 140729293276720 140324381295776 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3009] ppid=2995 vsize=26004064 memory=279356081652112 CPUtime=0 cores=0-7
/proc/2997/task/3009/stat : 3009 (java) S 2995 2995 2951 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148534295 26628161536 11040 33554432000 4194304 4196468 140729293276720 140324380242672 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3010] ppid=2995 vsize=26004064 memory=279356081593392 CPUtime=0 cores=0-7
/proc/2997/task/3010/stat : 3010 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534297 26628161536 11040 33554432000 4194304 4196468 140729293276720 140324379191248 140326110021531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3011] ppid=2995 vsize=26004064 memory=279356081665936 CPUtime=0.02 cores=0-7
/proc/2997/task/3011/stat : 3011 (java) S 2995 2995 2951 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 20 0 148534297 26628161536 11040 33554432000 4194304 4196468 140729293276720 140324378139376 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3012] ppid=2995 vsize=26004064 memory=279356081672848 CPUtime=0.01 cores=0-7
/proc/2997/task/3012/stat : 3012 (java) S 2995 2995 2951 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 148534297 26628161536 11040 33554432000 4194304 4196468 140729293276720 140324377086832 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3013] ppid=2995 vsize=26004064 memory=279356081670544 CPUtime=0.02 cores=0-7
/proc/2997/task/3013/stat : 3013 (java) S 2995 2995 2951 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 20 0 148534297 26628161536 11040 33554432000 4194304 4196468 140729293276720 140324376033776 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3014] ppid=2995 vsize=26004064 memory=279356081686704 CPUtime=0.13 cores=0-7
/proc/2997/task/3014/stat : 3014 (java) R 2995 2995 2951 0 -1 4202560 855 0 0 0 13 0 0 0 20 0 20 0 148534297 26628161536 11040 33554432000 4194304 4196468 140729293276720 140324374978896 140326094083422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3015] ppid=2995 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3015/stat : 3015 (java) S 2995 2995 2951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148534297 26628161536 11040 33554432000 4194304 4196468 140729293276720 140324373928416 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3016] ppid=2995 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2997/task/3016/stat : 3016 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534298 26628161536 11040 33554432000 4194304 4196468 140729293276720 140324372875952 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45544 KiB

[startup+0.700917 s]
/proc/loadavg: 7.73 8.18 8.21 3/200 3016
/proc/meminfo: memFree=25456308/32770624 swapFree=67108860/67108860
[pid=2995] ppid=2992 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2995/stat : 2995 (xcsp3-exec) S 2992 2995 2951 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148534291 9740288 346 33554432000 4194304 5098028 140736607785744 140736607783848 140340216377980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19812352 140736607794276 140736607794487 140736607794487 140736607797227 0
/proc/2995/statm: 2378 346 289 221 0 87 0
[pid=2997] ppid=2995 vsize=26006188 memory=156248 CPUtime=1.62 cores=0-7
/proc/2997/stat : 2997 (java) S 2995 2995 2951 0 -1 1077944320 11878 0 0 0 157 5 0 0 20 0 20 0 148534292 26630336512 39062 33554432000 4194304 4196468 140729293276720 140729293259264 140326110002935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
/proc/2997/statm: 6501547 39062 3202 1 0 6488781 0
[pid=2997/tid=2998] ppid=2995 vsize=26006188 memory=279356082044592 CPUtime=0.67 cores=0-7
/proc/2997/task/2998/stat : 2998 (java) R 2995 2995 2951 0 -1 4202560 6843 0 0 0 64 3 0 0 20 0 20 0 148534292 26630336512 39062 33554432000 4194304 4196468 140729293276720 140326114240432 140325729172621 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=2999] ppid=2995 vsize=26006188 memory=139678041023344 CPUtime=0 cores=0-7
/proc/2997/task/2999/stat : 2999 (java) S 2995 2995 2951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148534293 26630336512 39062 33554432000 4194304 4196468 140729293276720 140326062623248 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3000] ppid=2995 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3000/stat : 3000 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26630336512 39062 33554432000 4194304 4196468 140729293276720 140326061570704 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3001] ppid=2995 vsize=26006188 memory=1204 CPUtime=0 cores=0-7
/proc/2997/task/3001/stat : 3001 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148534293 26630336512 39062 33554432000 4194304 4196468 140729293276720 140326060517648 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0

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

[pid=2997/tid=3014] ppid=2995 vsize=26538700 memory=4137280412607091059 CPUtime=0.81 cores=0-7
/proc/2997/task/3014/stat : 3014 (java) S 2995 2995 2951 0 -1 1077944384 6569 0 0 0 79 2 0 0 20 0 28 0 148534297 27175628800 665105 33554432000 4194304 4196468 140729293276720 140324374981232 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3015] ppid=2995 vsize=26538700 memory=-6876588461455810464 CPUtime=0 cores=0-7
/proc/2997/task/3015/stat : 3015 (java) S 2995 2995 2951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148534297 27175628800 665105 33554432000 4194304 4196468 140729293276720 140324373928416 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3016] ppid=2995 vsize=26538700 memory=-7966001734603266090 CPUtime=0.01 cores=0-7
/proc/2997/task/3016/stat : 3016 (java) S 2995 2995 2951 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 28 0 148534298 27175628800 665105 33554432000 4194304 4196468 140729293276720 140324372875952 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3017] ppid=2995 vsize=26538700 memory=-6876588627878947929 CPUtime=3.4 cores=0-7
/proc/2997/task/3017/stat : 3017 (java) R 2995 2995 2951 0 -1 4202560 327 0 0 0 340 0 0 0 20 0 28 0 148540409 27175628800 665105 33554432000 4194304 4196468 140729293276720 140323625880888 140325731983067 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3018] ppid=2995 vsize=26538700 memory=1414351094373861289 CPUtime=3.38 cores=0-7
/proc/2997/task/3018/stat : 3018 (java) R 2995 2995 2951 0 -1 4202560 130 0 0 0 338 0 0 0 20 0 28 0 148540409 27175628800 665105 33554432000 4194304 4196468 140729293276720 140323624829288 140325732421108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3019] ppid=2995 vsize=26538700 memory=8292148123324110535 CPUtime=3.34 cores=0-7
/proc/2997/task/3019/stat : 3019 (java) R 2995 2995 2951 0 -1 4202560 739 0 0 0 334 0 0 0 20 0 28 0 148540409 27175628800 665105 33554432000 4194304 4196468 140729293276720 140323623776504 140325732118316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3020] ppid=2995 vsize=26538700 memory=8187704045996132563 CPUtime=3.59 cores=0-7
/proc/2997/task/3020/stat : 3020 (java) R 2995 2995 2951 0 -1 4202560 256 0 0 0 359 0 0 0 20 0 28 0 148540409 27175628800 665105 33554432000 4194304 4196468 140729293276720 140323622724040 140325733548006 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3021] ppid=2995 vsize=26538700 memory=-7595718148000617580 CPUtime=3.33 cores=0-7
/proc/2997/task/3021/stat : 3021 (java) R 2995 2995 2951 0 -1 4202560 242 0 0 0 333 0 0 0 20 0 28 0 148540409 27175628800 665105 33554432000 4194304 4196468 140729293276720 140323621671208 140325732421083 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3022] ppid=2995 vsize=26538700 memory=8112282956445269571 CPUtime=3.54 cores=0-7
/proc/2997/task/3022/stat : 3022 (java) R 2995 2995 2951 0 -1 4202560 136 0 0 0 354 0 0 0 20 0 28 0 148540409 27175628800 665105 33554432000 4194304 4196468 140729293276720 140323620618440 140325732421078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3023] ppid=2995 vsize=26538700 memory=1384 CPUtime=3.37 cores=0-7
/proc/2997/task/3023/stat : 3023 (java) R 2995 2995 2951 0 -1 4202560 205 0 0 0 337 0 0 0 20 0 28 0 148540409 27175628800 665105 33554432000 4194304 4196468 140729293276720 140323619566328 140325731982744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3024] ppid=2995 vsize=26538700 memory=2645040 CPUtime=3.43 cores=0-7
/proc/2997/task/3024/stat : 3024 (java) R 2995 2995 2951 0 -1 4202560 308 0 0 0 343 0 0 0 20 0 28 0 148540409 27175628800 665105 33554432000 4194304 4196468 140729293276720 140323618512376 140325732118588 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
Current children cumulated CPU time: 97.45 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2661804 KiB

[startup+65.4016 s]
/proc/loadavg: 3.55 6.82 7.74 11/208 3024
/proc/meminfo: memFree=22860956/32770624 swapFree=67108860/67108860
[pid=2995] ppid=2992 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2995/stat : 2995 (xcsp3-exec) S 2992 2995 2951 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148534291 9740288 346 33554432000 4194304 5098028 140736607785744 140736607783848 140340216377980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19812352 140736607794276 140736607794487 140736607794487 140736607797227 0
/proc/2995/statm: 2378 346 289 221 0 87 0
[pid=2997] ppid=2995 vsize=26538700 memory=2660424 CPUtime=99.04 cores=0-7
/proc/2997/stat : 2997 (java) S 2995 2995 2951 0 -1 1077944320 54822 0 0 0 9813 91 0 0 20 0 28 0 148534292 27175628800 665106 33554432000 4194304 4196468 140729293276720 140729293259264 140326110002935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
/proc/2997/statm: 6634675 665106 3283 1 0 6621909 0
[pid=2997/tid=2998] ppid=2995 vsize=26538700 memory=13252 CPUtime=60.71 cores=0-7
/proc/2997/task/2998/stat : 2998 (java) S 2995 2995 2951 0 -1 1077944384 16484 0 0 0 6028 43 0 0 20 0 28 0 148534292 27175628800 665106 33554432000 4194304 4196468 140729293276720 140326114243712 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=2999] ppid=2995 vsize=26538700 memory=15460 CPUtime=0.15 cores=0-7
/proc/2997/task/2999/stat : 2999 (java) S 2995 2995 2951 0 -1 1077944384 705 0 0 0 12 3 0 0 20 0 28 0 148534293 27175628800 665106 33554432000 4194304 4196468 140729293276720 140326062623248 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3000] ppid=2995 vsize=26538700 memory=17668 CPUtime=0.16 cores=0-7
/proc/2997/task/3000/stat : 3000 (java) S 2995 2995 2951 0 -1 1077944384 495 0 0 0 10 6 0 0 20 0 28 0 148534293 27175628800 665106 33554432000 4194304 4196468 140729293276720 140326061570704 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3001] ppid=2995 vsize=26538700 memory=19876 CPUtime=0.15 cores=0-7
/proc/2997/task/3001/stat : 3001 (java) S 2995 2995 2951 0 -1 1077944384 570 0 0 0 10 5 0 0 20 0 28 0 148534293 27175628800 665106 33554432000 4194304 4196468 140729293276720 140326060517648 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3002] ppid=2995 vsize=26538700 memory=22084 CPUtime=0.15 cores=0-7
/proc/2997/task/3002/stat : 3002 (java) S 2995 2995 2951 0 -1 1077944384 423 0 0 0 10 5 0 0 20 0 28 0 148534293 27175628800 665106 33554432000 4194304 4196468 140729293276720 140326059465104 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3003] ppid=2995 vsize=26538700 memory=24292 CPUtime=0.15 cores=0-7
/proc/2997/task/3003/stat : 3003 (java) S 2995 2995 2951 0 -1 1077944384 646 0 0 0 10 5 0 0 20 0 28 0 148534293 27175628800 665106 33554432000 4194304 4196468 140729293276720 140326058413072 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3004] ppid=2995 vsize=26538700 memory=26500 CPUtime=0.15 cores=0-7
/proc/2997/task/3004/stat : 3004 (java) S 2995 2995 2951 0 -1 1077944384 283 0 0 0 10 5 0 0 20 0 28 0 148534293 27175628800 665106 33554432000 4194304 4196468 140729293276720 140326057360528 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3005] ppid=2995 vsize=26538700 memory=28708 CPUtime=0.14 cores=0-7
/proc/2997/task/3005/stat : 3005 (java) S 2995 2995 2951 0 -1 1077944384 537 0 0 0 11 3 0 0 20 0 28 0 148534293 27175628800 665106 33554432000 4194304 4196468 140729293276720 140326056307472 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3006] ppid=2995 vsize=26538700 memory=30916 CPUtime=0.16 cores=0-7
/proc/2997/task/3006/stat : 3006 (java) S 2995 2995 2951 0 -1 1077944384 690 0 0 0 12 4 0 0 20 0 28 0 148534293 27175628800 665106 33554432000 4194304 4196468 140729293276720 140326055254928 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3007] ppid=2995 vsize=26538700 memory=56 CPUtime=0.12 cores=0-7
/proc/2997/task/3007/stat : 3007 (java) S 2995 2995 2951 0 -1 1077944384 2084 0 0 0 10 2 0 0 20 0 28 0 148534294 27175628800 665106 33554432000 4194304 4196468 140729293276720 140324382349552 140326110014082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3008] ppid=2995 vsize=26538700 memory=7449910802919024744 CPUtime=0 cores=0-7
/proc/2997/task/3008/stat : 3008 (java) S 2995 2995 2951 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 148534295 27175628800 665106 33554432000 4194304 4196468 140729293276720 140324381295840 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3009] ppid=2995 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/2997/task/3009/stat : 3009 (java) S 2995 2995 2951 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 148534295 27175628800 665106 33554432000 4194304 4196468 140729293276720 140324380242688 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3010] ppid=2995 vsize=26538700 memory=1 CPUtime=0 cores=0-7
/proc/2997/task/3010/stat : 3010 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148534297 27175628800 665106 33554432000 4194304 4196468 140729293276720 140324379191248 140326110021531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3011] ppid=2995 vsize=26538700 memory=0 CPUtime=2.14 cores=0-7
/proc/2997/task/3011/stat : 3011 (java) S 2995 2995 2951 0 -1 1077944384 6631 0 0 0 213 1 0 0 20 0 28 0 148534297 27175628800 665106 33554432000 4194304 4196468 140729293276720 140324378139376 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3012] ppid=2995 vsize=26538700 memory=0 CPUtime=2.45 cores=0-7
/proc/2997/task/3012/stat : 3012 (java) S 2995 2995 2951 0 -1 1077944384 7141 0 0 0 244 1 0 0 20 0 28 0 148534297 27175628800 665106 33554432000 4194304 4196468 140729293276720 140324377086832 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3013] ppid=2995 vsize=26538700 memory=0 CPUtime=2.42 cores=0-7
/proc/2997/task/3013/stat : 3013 (java) S 2995 2995 2951 0 -1 1077944384 7313 0 0 0 241 1 0 0 20 0 28 0 148534297 27175628800 665106 33554432000 4194304 4196468 140729293276720 140324376033776 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3014] ppid=2995 vsize=26538700 memory=2 CPUtime=0.81 cores=0-7
/proc/2997/task/3014/stat : 3014 (java) S 2995 2995 2951 0 -1 1077944384 6575 0 0 0 79 2 0 0 20 0 28 0 148534297 27175628800 665106 33554432000 4194304 4196468 140729293276720 140324374981232 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3015] ppid=2995 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/2997/task/3015/stat : 3015 (java) S 2995 2995 2951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148534297 27175628800 665106 33554432000 4194304 4196468 140729293276720 140324373928416 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3016] ppid=2995 vsize=26538700 memory=84 CPUtime=0.01 cores=0-7
/proc/2997/task/3016/stat : 3016 (java) S 2995 2995 2951 0 -1 1077944384 518 0 0 0 1 0 0 0 20 0 28 0 148534298 27175628800 665106 33554432000 4194304 4196468 140729293276720 140324372875952 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3017] ppid=2995 vsize=26538700 memory=0 CPUtime=3.6 cores=0-7
/proc/2997/task/3017/stat : 3017 (java) R 2995 2995 2951 0 -1 4202560 327 0 0 0 360 0 0 0 20 0 28 0 148540409 27175628800 665106 33554432000 4194304 4196468 140729293276720 140323625880888 140325732204837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3018] ppid=2995 vsize=26538700 memory=5392 CPUtime=3.58 cores=0-7
/proc/2997/task/3018/stat : 3018 (java) R 2995 2995 2951 0 -1 4202560 130 0 0 0 358 0 0 0 20 0 28 0 148540409 27175628800 665106 33554432000 4194304 4196468 140729293276720 140323624829288 140325732420928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3019] ppid=2995 vsize=26538700 memory=4096 CPUtime=3.54 cores=0-7
/proc/2997/task/3019/stat : 3019 (java) R 2995 2995 2951 0 -1 4202560 739 0 0 0 354 0 0 0 20 0 28 0 148540409 27175628800 665106 33554432000 4194304 4196468 140729293276720 140323623778504 140325732118471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3020] ppid=2995 vsize=26538700 memory=41716 CPUtime=3.79 cores=0-7
/proc/2997/task/3020/stat : 3020 (java) R 2995 2995 2951 0 -1 4202560 256 0 0 0 379 0 0 0 20 0 28 0 148540409 27175628800 665106 33554432000 4194304 4196468 140729293276720 140323622723848 140325732118588 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3021] ppid=2995 vsize=26538700 memory=2428 CPUtime=3.52 cores=0-7
/proc/2997/task/3021/stat : 3021 (java) R 2995 2995 2951 0 -1 4202560 242 0 0 0 352 0 0 0 20 0 28 0 148540409 27175628800 665106 33554432000 4194304 4196468 140729293276720 140323621671208 140325732421131 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3022] ppid=2995 vsize=26538700 memory=1292 CPUtime=3.74 cores=0-7
/proc/2997/task/3022/stat : 3022 (java) R 2995 2995 2951 0 -1 4202560 136 0 0 0 374 0 0 0 20 0 28 0 148540409 27175628800 665106 33554432000 4194304 4196468 140729293276720 140323620618440 140325732119159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3023] ppid=2995 vsize=26538700 memory=1728 CPUtime=3.56 cores=0-7
/proc/2997/task/3023/stat : 3023 (java) R 2995 2995 2951 0 -1 4202560 205 0 0 0 356 0 0 0 20 0 28 0 148540409 27175628800 665106 33554432000 4194304 4196468 140729293276720 140323619566328 140325731983067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3024] ppid=2995 vsize=26538700 memory=12136 CPUtime=3.61 cores=0-7
/proc/2997/task/3024/stat : 3024 (java) R 2995 2995 2951 0 -1 4202560 310 0 0 0 361 0 0 0 20 0 28 0 148540409 27175628800 665106 33554432000 4194304 4196468 140729293276720 140323618512376 140325732118471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
Current children cumulated CPU time: 99.04 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2661808 KiB

[startup+65.5016 s]
/proc/loadavg: 3.55 6.82 7.74 11/208 3024
/proc/meminfo: memFree=22860956/32770624 swapFree=67108860/67108860
[pid=2995] ppid=2992 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2995/stat : 2995 (xcsp3-exec) S 2992 2995 2951 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148534291 9740288 346 33554432000 4194304 5098028 140736607785744 140736607783848 140340216377980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19812352 140736607794276 140736607794487 140736607794487 140736607797227 0
/proc/2995/statm: 2378 346 289 221 0 87 0
[pid=2997] ppid=2995 vsize=26538700 memory=2660428 CPUtime=99.84 cores=0-7
/proc/2997/stat : 2997 (java) S 2995 2995 2951 0 -1 1077944320 54891 0 0 0 9893 91 0 0 20 0 28 0 148534292 27175628800 665107 33554432000 4194304 4196468 140729293276720 140729293259264 140326110002935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
/proc/2997/statm: 6634675 665107 3283 1 0 6621909 0
[pid=2997/tid=2998] ppid=2995 vsize=26538700 memory=1384 CPUtime=60.71 cores=0-7
/proc/2997/task/2998/stat : 2998 (java) S 2995 2995 2951 0 -1 1077944384 16484 0 0 0 6028 43 0 0 20 0 28 0 148534292 27175628800 665107 33554432000 4194304 4196468 140729293276720 140326114243712 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=2999] ppid=2995 vsize=26538700 memory=1384 CPUtime=0.15 cores=0-7
/proc/2997/task/2999/stat : 2999 (java) S 2995 2995 2951 0 -1 1077944384 705 0 0 0 12 3 0 0 20 0 28 0 148534293 27175628800 665107 33554432000 4194304 4196468 140729293276720 140326062623248 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3000] ppid=2995 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/2997/task/3000/stat : 3000 (java) S 2995 2995 2951 0 -1 1077944384 495 0 0 0 10 6 0 0 20 0 28 0 148534293 27175628800 665107 33554432000 4194304 4196468 140729293276720 140326061570704 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3001] ppid=2995 vsize=26538700 memory=0 CPUtime=0.15 cores=0-7
/proc/2997/task/3001/stat : 3001 (java) S 2995 2995 2951 0 -1 1077944384 570 0 0 0 10 5 0 0 20 0 28 0 148534293 27175628800 665107 33554432000 4194304 4196468 140729293276720 140326060517648 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3002] ppid=2995 vsize=26538700 memory=737749 CPUtime=0.15 cores=0-7
/proc/2997/task/3002/stat : 3002 (java) S 2995 2995 2951 0 -1 1077944384 423 0 0 0 10 5 0 0 20 0 28 0 148534293 27175628800 665107 33554432000 4194304 4196468 140729293276720 140326059465104 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3003] ppid=2995 vsize=26538700 memory=2668100 CPUtime=0.15 cores=0-7
/proc/2997/task/3003/stat : 3003 (java) S 2995 2995 2951 0 -1 1077944384 646 0 0 0 10 5 0 0 20 0 28 0 148534293 27175628800 665107 33554432000 4194304 4196468 140729293276720 140326058413072 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3004] ppid=2995 vsize=26538700 memory=0 CPUtime=0.15 cores=0-7
/proc/2997/task/3004/stat : 3004 (java) S 2995 2995 2951 0 -1 1077944384 283 0 0 0 10 5 0 0 20 0 28 0 148534293 27175628800 665107 33554432000 4194304 4196468 140729293276720 140326057360528 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3005] ppid=2995 vsize=26538700 memory=0 CPUtime=0.14 cores=0-7
/proc/2997/task/3005/stat : 3005 (java) S 2995 2995 2951 0 -1 1077944384 537 0 0 0 11 3 0 0 20 0 28 0 148534293 27175628800 665107 33554432000 4194304 4196468 140729293276720 140326056307472 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3006] ppid=2995 vsize=26538700 memory=7380385388137112371 CPUtime=0.16 cores=0-7
/proc/2997/task/3006/stat : 3006 (java) S 2995 2995 2951 0 -1 1077944384 690 0 0 0 12 4 0 0 20 0 28 0 148534293 27175628800 665107 33554432000 4194304 4196468 140729293276720 140326055254928 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3007] ppid=2995 vsize=26538700 memory=2428 CPUtime=0.12 cores=0-7
/proc/2997/task/3007/stat : 3007 (java) S 2995 2995 2951 0 -1 1077944384 2084 0 0 0 10 2 0 0 20 0 28 0 148534294 27175628800 665107 33554432000 4194304 4196468 140729293276720 140324382349552 140326110014082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3008] ppid=2995 vsize=26538700 memory=1292 CPUtime=0 cores=0-7
/proc/2997/task/3008/stat : 3008 (java) S 2995 2995 2951 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 148534295 27175628800 665107 33554432000 4194304 4196468 140729293276720 140324381295840 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3009] ppid=2995 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/2997/task/3009/stat : 3009 (java) S 2995 2995 2951 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 148534295 27175628800 665107 33554432000 4194304 4196468 140729293276720 140324380242688 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3010] ppid=2995 vsize=26538700 memory=348 CPUtime=0 cores=0-7
/proc/2997/task/3010/stat : 3010 (java) S 2995 2995 2951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148534297 27175628800 665107 33554432000 4194304 4196468 140729293276720 140324379191248 140326110021531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3011] ppid=2995 vsize=26538700 memory=344 CPUtime=2.14 cores=0-7
/proc/2997/task/3011/stat : 3011 (java) S 2995 2995 2951 0 -1 1077944384 6645 0 0 0 213 1 0 0 20 0 28 0 148534297 27175628800 665107 33554432000 4194304 4196468 140729293276720 140324378139376 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3012] ppid=2995 vsize=26538700 memory=369 CPUtime=2.45 cores=0-7
/proc/2997/task/3012/stat : 3012 (java) S 2995 2995 2951 0 -1 1077944384 7194 0 0 0 244 1 0 0 20 0 28 0 148534297 27175628800 665107 33554432000 4194304 4196468 140729293276720 140324377086832 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3013] ppid=2995 vsize=26538700 memory=182 CPUtime=2.42 cores=0-7
/proc/2997/task/3013/stat : 3013 (java) S 2995 2995 2951 0 -1 1077944384 7313 0 0 0 241 1 0 0 20 0 28 0 148534297 27175628800 665107 33554432000 4194304 4196468 140729293276720 140324376033776 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3014] ppid=2995 vsize=26538700 memory=167 CPUtime=0.81 cores=0-7
/proc/2997/task/3014/stat : 3014 (java) S 2995 2995 2951 0 -1 1077944384 6575 0 0 0 79 2 0 0 20 0 28 0 148534297 27175628800 665107 33554432000 4194304 4196468 140729293276720 140324374981232 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3015] ppid=2995 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/2997/task/3015/stat : 3015 (java) S 2995 2995 2951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148534297 27175628800 665107 33554432000 4194304 4196468 140729293276720 140324373928416 140326110013141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3016] ppid=2995 vsize=26538700 memory=2660308 CPUtime=0.01 cores=0-7
/proc/2997/task/3016/stat : 3016 (java) S 2995 2995 2951 0 -1 1077944384 518 0 0 0 1 0 0 0 20 0 28 0 148534298 27175628800 665107 33554432000 4194304 4196468 140729293276720 140324372875952 140326110014082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3017] ppid=2995 vsize=26538700 memory=1384 CPUtime=3.7 cores=0-7
/proc/2997/task/3017/stat : 3017 (java) R 2995 2995 2951 0 -1 4202560 327 0 0 0 370 0 0 0 20 0 28 0 148540409 27175628800 665107 33554432000 4194304 4196468 140729293276720 140323625880888 140325731982767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3018] ppid=2995 vsize=26538700 memory=2642260 CPUtime=3.68 cores=0-7
/proc/2997/task/3018/stat : 3018 (java) R 2995 2995 2951 0 -1 4202560 130 0 0 0 368 0 0 0 20 0 28 0 148540409 27175628800 665107 33554432000 4194304 4196468 140729293276720 140323624829288 140325731982982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3019] ppid=2995 vsize=26538700 memory=16101468159609422 CPUtime=3.64 cores=0-7
/proc/2997/task/3019/stat : 3019 (java) R 2995 2995 2951 0 -1 4202560 740 0 0 0 364 0 0 0 20 0 28 0 148540409 27175628800 665107 33554432000 4194304 4196468 140729293276720 140323623778504 140325731982834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3020] ppid=2995 vsize=26538700 memory=99 CPUtime=3.89 cores=0-7
/proc/2997/task/3020/stat : 3020 (java) R 2995 2995 2951 0 -1 4202560 256 0 0 0 389 0 0 0 20 0 28 0 148540409 27175628800 665107 33554432000 4194304 4196468 140729293276720 140323622723848 140325732421103 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3021] ppid=2995 vsize=26538700 memory=20512 CPUtime=3.62 cores=0-7
/proc/2997/task/3021/stat : 3021 (java) R 2995 2995 2951 0 -1 4202560 242 0 0 0 362 0 0 0 20 0 28 0 148540409 27175628800 665107 33554432000 4194304 4196468 140729293276720 140323621671768 140325731982767 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3022] ppid=2995 vsize=26538700 memory=4096 CPUtime=3.84 cores=0-7
/proc/2997/task/3022/stat : 3022 (java) R 2995 2995 2951 0 -1 4202560 136 0 0 0 384 0 0 0 20 0 28 0 148540409 27175628800 665107 33554432000 4194304 4196468 140729293276720 140323620618440 140325732118645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3023] ppid=2995 vsize=26538700 memory=41716 CPUtime=3.66 cores=0-7
/proc/2997/task/3023/stat : 3023 (java) R 2995 2995 2951 0 -1 4202560 206 0 0 0 366 0 0 0 20 0 28 0 148540409 27175628800 665107 33554432000 4194304 4196468 140729293276720 140323619566328 140325732421281 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
[pid=2997/tid=3024] ppid=2995 vsize=26538700 memory=2428 CPUtime=3.71 cores=0-7
/proc/2997/task/3024/stat : 3024 (java) R 2995 2995 2951 0 -1 4202560 310 0 0 0 371 0 0 0 20 0 28 0 148540409 27175628800 665107 33554432000 4194304 4196468 140729293276720 140323618512376 140325731982880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33288192 140729293284498 140729293284675 140729293284675 140729293287375 0
Current children cumulated CPU time: 99.84 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2661812 KiB

Child status: 0
Real time (s): 65.5521
CPU time (s): 100.011
CPU user time (s): 99.0745
CPU system time (s): 0.936295
CPU usage (%): 152.567
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2714776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.0745
system time used= 0.936295
maximum resident set size= 2717360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56885
page faults= 0
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13498
involuntary context switches= 1149


# summary of solver processes directly reported to runsolver:
#   pid: 2995
#   total CPU time (s): 100.011
#   total CPU user time (s): 99.0745
#   total CPU system time (s): 0.936295

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.470498 second user time and 0.660812 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-19 16:41:14
IDJOB=4280960
IDBENCH=133764
IDSOLVER=2675
FILE ID=node148/4280960-1503154534
RUNJOBID= node148-1503153674-2978
PBS_JOBID= 20630815
Free space on /tmp= 61948 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-4280960-1503154534/watcher-4280960-1503154534 -o /tmp/evaluation-result-4280960-1503154534/solver-4280960-1503154534 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503153674-2978 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1736160303 HOME/instance-4280960-1503154534.xml

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

MD5SUM BENCH= 1749ee71f79cc6e37ea59febff668c91
RANDOM SEED=1736160303

node148.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.19
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.19
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.19
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.19
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:        25512936 kB
MemAvailable:   31976700 kB
Buffers:          291900 kB
Cached:          6465816 kB
SwapCached:            0 kB
Active:          1159264 kB
Inactive:        5650232 kB
Active(anon):       3148 kB
Inactive(anon):    84704 kB
Active(file):    1156116 kB
Inactive(file):  5565528 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7808 kB
Writeback:             0 kB
AnonPages:         59488 kB
Mapped:            50784 kB
Shmem:             33416 kB
Slab:             142116 kB
SReclaimable:     115908 kB
SUnreclaim:        26208 kB
KernelStack:        3184 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61940 MiB
End job on node148 at 2017-08-19 16:42:20