Trace number 4280611

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)322 20041.1 2520.1499

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-26.xml
MD5SUMa21a0b86f7fa853bf556b3925b3cd061
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark345
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables1597
Number of constraints944
Number of domains4
Minimum domain size2
Maximum domain size1569
Distribution of domain sizes[{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}]
Minimum variable degree1
Maximum variable degree29
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}]
Number of extensional constraints780
Number of intensional constraints131
Distribution of constraint types[{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280611-1503116446.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280611-1503116446.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
6.74/2.55	c solve instance...
11.61/3.20	o 0 
11.61/3.23	o 4 
11.61/3.26	o 6 
11.61/3.27	o 8 
12.80/3.41	o 10 
13.78/3.70	o 12 
13.78/3.74	o 14 
13.78/3.77	o 16 
14.50/3.81	o 18 
15.26/3.90	o 20 
15.26/3.93	o 21 
15.26/4.00	o 22 
17.01/4.27	o 24 
17.32/4.34	o 26 
19.32/4.67	o 27 
19.32/4.68	o 28 
19.32/4.69	o 29 
19.32/4.69	o 30 
19.61/4.70	o 31 
19.61/4.70	o 32 
19.61/4.72	o 33 
19.61/4.73	o 34 
19.61/4.74	o 35 
19.61/4.77	o 36 
19.61/4.77	o 37 
19.61/4.78	o 38 
19.61/4.78	o 39 
19.61/4.79	o 40 
19.61/4.79	o 41 
20.21/4.80	o 42 
20.21/4.80	o 43 
20.21/4.81	o 44 
20.21/4.82	o 45 
20.21/4.83	o 46 
20.21/4.84	o 47 
20.21/4.84	o 48 
20.21/4.84	o 49 
20.21/4.85	o 50 
20.21/4.85	o 51 
20.21/4.86	o 52 
20.21/4.86	o 53 
20.21/4.87	o 54 
20.21/4.87	o 55 
20.21/4.87	o 56 
20.21/4.88	o 57 
20.21/4.88	o 58 
20.21/4.88	o 59 
20.21/4.89	o 60 
20.21/4.89	o 61 
20.80/4.90	o 62 
20.80/4.91	o 63 
20.80/4.91	o 64 
20.80/4.92	o 65 
20.80/4.95	o 66 
20.80/4.96	o 67 
20.80/4.96	o 68 
20.80/4.97	o 69 
21.56/5.01	o 70 
21.56/5.02	o 71 
21.56/5.02	o 72 
21.56/5.03	o 73 
21.56/5.03	o 74 
21.56/5.04	o 75 
21.56/5.04	o 76 
21.56/5.05	o 77 
21.56/5.06	o 78 
21.56/5.06	o 79 
21.56/5.07	o 80 
21.56/5.07	o 81 
21.56/5.09	o 82 
21.56/5.09	o 83 
21.56/5.10	o 84 
21.56/5.10	o 85 
22.16/5.11	o 86 
22.16/5.11	o 87 
22.16/5.12	o 88 
22.16/5.12	o 89 
22.16/5.13	o 90 
22.16/5.13	o 91 
22.16/5.14	o 92 
22.16/5.14	o 93 
22.16/5.15	o 94 
22.16/5.16	o 95 
22.16/5.18	o 96 
22.16/5.19	o 97 
22.62/5.20	o 98 
22.62/5.20	o 99 
22.62/5.21	o 100 
22.62/5.21	o 101 
22.62/5.21	o 102 
22.62/5.22	o 103 
22.62/5.22	o 104 
22.62/5.23	o 105 
22.62/5.23	o 106 
22.62/5.23	o 107 
22.62/5.24	o 108 
22.62/5.24	o 109 
22.62/5.25	o 110 
22.62/5.25	o 111 
22.62/5.26	o 112 
22.62/5.26	o 113 
22.62/5.27	o 114 
22.62/5.27	o 115 
22.62/5.28	o 116 
22.62/5.28	o 117 
22.62/5.29	o 118 
22.62/5.29	o 119 
22.62/5.29	o 120 
23.14/5.30	o 121 
23.14/5.30	o 122 
23.14/5.31	o 123 
23.14/5.31	o 124 
23.14/5.32	o 125 
23.14/5.34	o 126 
23.14/5.34	o 127 
23.14/5.35	o 128 
23.14/5.35	o 129 
23.14/5.36	o 130 
23.14/5.36	o 131 
23.14/5.36	o 132 
23.14/5.37	o 133 
23.14/5.37	o 134 
23.14/5.38	o 135 
23.14/5.38	o 136 
23.14/5.39	o 137 
23.14/5.39	o 138 
23.71/5.40	o 139 
23.71/5.41	o 140 
23.71/5.41	o 141 
23.71/5.42	o 142 
23.71/5.43	o 143 
23.71/5.43	o 144 
23.71/5.44	o 145 
23.71/5.44	o 146 
23.71/5.45	o 147 
23.71/5.45	o 148 
23.71/5.46	o 149 
23.71/5.46	o 150 
23.71/5.47	o 151 
23.71/5.47	o 152 
23.71/5.48	o 153 
23.71/5.48	o 154 
23.71/5.49	o 155 
23.71/5.49	o 156 
23.71/5.50	o 157 
24.25/5.50	o 158 
24.25/5.51	o 159 
24.25/5.51	o 160 
24.25/5.52	o 161 
24.25/5.53	o 162 
24.25/5.55	o 163 
24.25/5.56	o 164 
24.25/5.56	o 165 
24.25/5.57	o 166 
24.25/5.57	o 167 
24.25/5.58	o 168 
24.25/5.58	o 169 
24.25/5.59	o 170 
24.25/5.59	o 171 
24.25/5.60	o 172 
24.80/5.60	o 173 
24.80/5.61	o 174 
24.80/5.61	o 175 
24.80/5.62	o 176 
24.80/5.63	o 177 
24.80/5.63	o 178 
24.80/5.64	o 179 
24.80/5.64	o 180 
24.80/5.64	o 181 
24.80/5.65	o 182 
24.80/5.65	o 183 
24.80/5.66	o 184 
24.80/5.66	o 185 
24.80/5.67	o 186 
24.80/5.67	o 187 
24.80/5.68	o 188 
24.80/5.68	o 189 
24.80/5.69	o 190 
24.80/5.69	o 191 
25.36/5.70	o 192 
25.36/5.72	o 193 
25.36/5.72	o 194 
25.36/5.73	o 195 
25.36/5.75	o 196 
25.36/5.75	o 197 
25.36/5.76	o 198 
25.81/5.97	o 199 
25.81/5.97	o 200 
25.81/5.98	o 201 
25.81/5.98	o 202 
25.81/5.99	o 203 
25.81/6.00	o 204 
25.81/6.00	o 205 
26.11/6.01	o 206 
26.11/6.02	o 207 
26.11/6.02	o 208 
26.11/6.03	o 209 
26.11/6.04	o 210 
26.11/6.04	o 211 
26.11/6.05	o 212 
26.11/6.05	o 213 
26.11/6.06	o 214 
26.11/6.07	o 215 
26.11/6.07	o 216 
26.11/6.08	o 217 
26.11/6.09	o 218 
26.11/6.09	o 219 
26.11/6.10	o 220 
26.11/6.10	o 221 
26.70/6.11	o 222 
26.70/6.11	o 223 
26.70/6.12	o 224 
26.70/6.12	o 225 
26.70/6.13	o 226 
26.70/6.13	o 227 
26.70/6.14	o 228 
26.70/6.15	o 229 
26.70/6.15	o 230 
26.70/6.16	o 231 
26.70/6.17	o 232 
26.70/6.17	o 233 
26.70/6.18	o 234 
26.70/6.18	o 235 
26.70/6.19	o 236 
26.70/6.19	o 237 
27.22/6.20	o 238 
27.22/6.20	o 239 
27.22/6.21	o 240 
27.22/6.22	o 241 
27.22/6.22	o 242 
27.22/6.23	o 243 
27.22/6.24	o 244 
27.22/6.25	o 245 
27.22/6.25	o 246 
27.22/6.26	o 247 
27.22/6.27	o 248 
27.22/6.27	o 249 
27.22/6.28	o 250 
27.22/6.28	o 251 
27.22/6.29	o 252 
27.22/6.30	o 253 
27.67/6.30	o 254 
27.67/6.31	o 255 
27.67/6.32	o 256 
27.67/6.33	o 257 
27.67/6.33	o 258 
27.67/6.34	o 259 
27.67/6.35	o 260 
27.67/6.35	o 261 
27.67/6.36	o 262 
27.67/6.36	o 263 
27.67/6.37	o 264 
27.67/6.37	o 265 
27.67/6.39	o 266 
27.67/6.39	o 267 
28.22/6.40	o 268 
28.22/6.40	o 269 
28.22/6.41	o 270 
28.22/6.42	o 271 
28.22/6.42	o 272 
28.22/6.43	o 273 
28.22/6.44	o 274 
28.22/6.44	o 275 
28.22/6.45	o 276 
28.22/6.46	o 277 
28.22/6.46	o 278 
28.22/6.47	o 279 
28.22/6.47	o 280 
28.22/6.48	o 281 
28.22/6.49	o 282 
28.22/6.50	o 283 
28.73/6.50	o 284 
28.73/6.51	o 285 
28.73/6.52	o 286 
28.73/6.52	o 287 
28.73/6.53	o 288 
28.73/6.54	o 289 
28.73/6.54	o 290 
28.73/6.55	o 291 
28.73/6.56	o 292 
28.73/6.57	o 293 
28.73/6.57	o 294 
28.73/6.58	o 295 
28.73/6.59	o 296 
28.73/6.59	o 297 
29.21/6.60	o 298 
29.21/6.61	o 299 
29.21/6.61	o 300 
29.21/6.62	o 301 
29.21/6.63	o 302 
29.21/6.64	o 303 
29.21/6.64	o 304 
29.21/6.67	o 305 
31.37/7.00	o 306 
32.22/7.02	o 307 
38.50/7.90	o 308 
39.33/7.91	o 309 
39.33/7.92	o 310 
39.33/7.92	o 311 
39.33/7.95	o 312 
39.65/8.10	o 313 
39.65/8.11	o 314 
39.86/8.12	o 315 
40.02/8.28	o 316 
40.02/8.29	o 317 
40.28/8.31	o 318 
4929.06/621.48	o 319 
4929.06/621.49	o 320 
4929.06/621.50	o 321 
4929.81/621.51	o 322 
20040.26/2520.09	s SATISFIABLE
20040.26/2520.09	v <instantiation>
20040.26/2520.09	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[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] 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[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] 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[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] 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[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] 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[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] 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[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] 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[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] 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[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] 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[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] 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[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] 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[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] 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[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] 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[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] 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[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] 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[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] 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[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] 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] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z </list>
20040.26/2520.09	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 8 8 8 18 18 18 47 51 52 54 58 60 82 87 89 90 93 100 115 116 118 127 127 130 141 145 153 168 322 </values>
20040.26/2520.09	v </instantiation>
20040.26/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	322

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280611-1503116446/watcher-4280611-1503116446 -o /tmp/evaluation-result-4280611-1503116446/solver-4280611-1503116446 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503115583-12381 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1696312092 HOME/instance-4280611-1503116446.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=12765, runsolver pid=12762

[startup+0.100137 s]*
/proc/loadavg: 1.00 1.01 1.05 2/201 12786
/proc/meminfo: memFree=27057140/32770624 swapFree=67108860/67108860
[pid=12765] ppid=12762 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12765/stat : 12765 (xcsp3-exec) S 12762 12765 12354 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144732508 9740288 345 33554432000 4194304 5098028 140734036265808 140734036263912 140302507168380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140734036268132 140734036268343 140734036268343 140734036271083 0
/proc/12765/statm: 2378 345 289 221 0 87 0
[pid=12767] ppid=12765 vsize=25999808 memory=26172 CPUtime=0.12 cores=0-7
/proc/12767/stat : 12767 (java) S 12765 12765 12354 0 -1 1077944320 5496 0 0 0 11 1 0 0 20 0 20 0 144732508 26623803392 6543 33554432000 4194304 4196468 140728319445184 140728319427728 140334276419319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
/proc/12767/statm: 6499952 6543 2846 1 0 6488269 0
[pid=12767/tid=12768] ppid=12765 vsize=25999808 memory=8184899180908421277 CPUtime=0.08 cores=0-7
/proc/12767/task/12768/stat : 12768 (java) R 12765 12765 12354 0 -1 4202560 3489 0 0 0 8 0 0 0 20 0 20 0 144732509 26623803392 6543 33554432000 4194304 4196468 140728319445184 140334280652592 140334276441245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12769] ppid=12765 vsize=25999808 memory=732370403854420965 CPUtime=0 cores=0-7
/proc/12767/task/12769/stat : 12769 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26623803392 6543 33554432000 4194304 4196468 140728319445184 140334232971536 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12770] ppid=12765 vsize=25999808 memory=140265516967552 CPUtime=0 cores=0-7
/proc/12767/task/12770/stat : 12770 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732510 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333833386384 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12771] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12771/stat : 12771 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333832333840 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12772] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12772/stat : 12772 (java) S 12765 12765 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732510 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333831281296 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12773] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12773/stat : 12773 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333830228752 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12774] ppid=12765 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12767/task/12774/stat : 12774 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732510 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333829176208 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12775] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12775/stat : 12775 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333828123664 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12776] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12776/stat : 12776 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333827071120 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12777] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12777/stat : 12777 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732511 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333672179696 140334276430466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12778] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12778/stat : 12778 (java) S 12765 12765 12354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144732511 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333671125920 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12779] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12779/stat : 12779 (java) S 12765 12765 12354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144732512 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333670073328 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12780] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12780/stat : 12780 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732514 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333669021904 140334276437915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12781] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12781/stat : 12781 (java) S 12765 12765 12354 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 144732514 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333667969520 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12782] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12782/stat : 12782 (java) S 12765 12765 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732514 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333666916976 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12783] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12783/stat : 12783 (java) S 12765 12765 12354 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 144732514 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333665864432 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12784] ppid=12765 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/12767/task/12784/stat : 12784 (java) R 12765 12765 12354 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 144732514 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333664811888 140334255023622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12785] ppid=12765 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12785/stat : 12785 (java) S 12765 12765 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732514 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333663758560 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12786] ppid=12765 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12767/task/12786/stat : 12786 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732515 26623803392 6543 33554432000 4194304 4196468 140728319445184 140333662706096 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27552 KiB

[startup+0.210247 s]*
/proc/loadavg: 1.00 1.01 1.05 2/201 12786
/proc/meminfo: memFree=27045072/32770624 swapFree=67108860/67108860
[pid=12765] ppid=12762 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12765/stat : 12765 (xcsp3-exec) S 12762 12765 12354 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144732508 9740288 345 33554432000 4194304 5098028 140734036265808 140734036263912 140302507168380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140734036268132 140734036268343 140734036268343 140734036271083 0
/proc/12765/statm: 2378 345 289 221 0 87 0
[pid=12767] ppid=12765 vsize=26004064 memory=39156 CPUtime=0.33 cores=0-7
/proc/12767/stat : 12767 (java) S 12765 12765 12354 0 -1 1077944320 8342 0 0 0 31 2 0 0 20 0 20 0 144732508 26628161536 9789 33554432000 4194304 4196468 140728319445184 140728319427728 140334276419319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
/proc/12767/statm: 6501016 9789 3083 1 0 6488269 0
[pid=12767/tid=12768] ppid=12765 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/12767/task/12768/stat : 12768 (java) R 12765 12765 12354 0 -1 4202560 5409 0 0 0 18 1 0 0 20 0 20 0 144732509 26628161536 9789 33554432000 4194304 4196468 140728319445184 140334280632912 140334276441245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12769] ppid=12765 vsize=26004064 memory=732370403854420965 CPUtime=0 cores=0-7
/proc/12767/task/12769/stat : 12769 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 9789 33554432000 4194304 4196468 140728319445184 140334232971536 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12770] ppid=12765 vsize=26004064 memory=140265516967552 CPUtime=0 cores=0-7
/proc/12767/task/12770/stat : 12770 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333833386384 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12771] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12771/stat : 12771 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333832333840 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12772] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12772/stat : 12772 (java) S 12765 12765 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333831281296 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12773] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12773/stat : 12773 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333830228752 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12774] ppid=12765 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12767/task/12774/stat : 12774 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333829176208 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12775] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12775/stat : 12775 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333828123664 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12776] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12776/stat : 12776 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333827071120 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12777] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12777/stat : 12777 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732511 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333672179696 140334276430466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12778] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12778/stat : 12778 (java) S 12765 12765 12354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144732511 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333671125920 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12779] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12779/stat : 12779 (java) S 12765 12765 12354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144732512 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333670073328 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12780] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12780/stat : 12780 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732514 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333669021904 140334276437915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12781] ppid=12765 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/12767/task/12781/stat : 12781 (java) S 12765 12765 12354 0 -1 1077944384 593 0 0 0 1 0 0 0 20 0 20 0 144732514 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333667969520 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12782] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12782/stat : 12782 (java) S 12765 12765 12354 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 144732514 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333666916976 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12783] ppid=12765 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/12767/task/12783/stat : 12783 (java) S 12765 12765 12354 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 20 0 144732514 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333665864432 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12784] ppid=12765 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/12767/task/12784/stat : 12784 (java) R 12765 12765 12354 0 -1 4202560 755 0 0 0 7 0 0 0 20 0 20 0 144732514 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333664811888 140334260499806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12785] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12785/stat : 12785 (java) S 12765 12765 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732514 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333663758560 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12786] ppid=12765 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12767/task/12786/stat : 12786 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732515 26628161536 9789 33554432000 4194304 4196468 140728319445184 140333662706096 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40536 KiB

[startup+0.309697 s]*
/proc/loadavg: 1.00 1.01 1.05 3/201 12786
/proc/meminfo: memFree=27041708/32770624 swapFree=67108860/67108860
[pid=12765] ppid=12762 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12765/stat : 12765 (xcsp3-exec) S 12762 12765 12354 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144732508 9740288 345 33554432000 4194304 5098028 140734036265808 140734036263912 140302507168380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140734036268132 140734036268343 140734036268343 140734036271083 0
/proc/12765/statm: 2378 345 289 221 0 87 0
[pid=12767] ppid=12765 vsize=26004064 memory=45848 CPUtime=0.5 cores=0-7
/proc/12767/stat : 12767 (java) S 12765 12765 12354 0 -1 1077944320 9186 0 0 0 47 3 0 0 20 0 20 0 144732508 26628161536 11462 33554432000 4194304 4196468 140728319445184 140728319427728 140334276419319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
/proc/12767/statm: 6501016 11462 3108 1 0 6488269 0
[pid=12767/tid=12768] ppid=12765 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12767/task/12768/stat : 12768 (java) R 12765 12765 12354 0 -1 4202560 6079 0 0 0 27 2 0 0 20 0 20 0 144732509 26628161536 11462 33554432000 4194304 4196468 140728319445184 140334280657456 140334276431254 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12769] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12769/stat : 12769 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 11462 33554432000 4194304 4196468 140728319445184 140334232971536 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12770] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12770/stat : 12770 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333833386384 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12771] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12771/stat : 12771 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333832333840 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12772] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12772/stat : 12772 (java) S 12765 12765 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333831281296 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12773] ppid=12765 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/12767/task/12773/stat : 12773 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333830228752 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12774] ppid=12765 vsize=26004064 memory=140265377592239 CPUtime=0 cores=0-7
/proc/12767/task/12774/stat : 12774 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333829176208 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12775] ppid=12765 vsize=26004064 memory=140265377594544 CPUtime=0 cores=0-7
/proc/12767/task/12775/stat : 12775 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333828123664 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12776] ppid=12765 vsize=26004064 memory=140265377596848 CPUtime=0 cores=0-7
/proc/12767/task/12776/stat : 12776 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333827071120 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12777] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12777/stat : 12777 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732511 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333672179696 140334276430466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12778] ppid=12765 vsize=26004064 memory=280530755200656 CPUtime=0 cores=0-7
/proc/12767/task/12778/stat : 12778 (java) S 12765 12765 12354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144732511 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333671125920 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12779] ppid=12765 vsize=26004064 memory=280530755207568 CPUtime=0 cores=0-7
/proc/12767/task/12779/stat : 12779 (java) S 12765 12765 12354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144732512 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333670073328 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12780] ppid=12765 vsize=26004064 memory=280530755148848 CPUtime=0 cores=0-7
/proc/12767/task/12780/stat : 12780 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732514 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333669021904 140334276437915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12781] ppid=12765 vsize=26004064 memory=280530755221392 CPUtime=0.02 cores=0-7
/proc/12767/task/12781/stat : 12781 (java) R 12765 12765 12354 0 -1 4202560 648 0 0 0 2 0 0 0 20 0 20 0 144732514 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333667969520 140334269404361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12782] ppid=12765 vsize=26004064 memory=280530755228304 CPUtime=0.01 cores=0-7
/proc/12767/task/12782/stat : 12782 (java) S 12765 12765 12354 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 144732514 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333666916976 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12783] ppid=12765 vsize=26004064 memory=280530755226000 CPUtime=0.03 cores=0-7
/proc/12767/task/12783/stat : 12783 (java) R 12765 12765 12354 0 -1 4202560 272 0 0 0 3 0 0 0 20 0 20 0 144732514 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333665864528 140334276431254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12784] ppid=12765 vsize=26004064 memory=280530755242160 CPUtime=0.12 cores=0-7
/proc/12767/task/12784/stat : 12784 (java) R 12765 12765 12354 0 -1 4202560 848 0 0 0 12 0 0 0 20 0 20 0 144732514 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333664811888 140334254523561 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12785] ppid=12765 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12785/stat : 12785 (java) S 12765 12765 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732514 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333663758560 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12786] ppid=12765 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12767/task/12786/stat : 12786 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732515 26628161536 11462 33554432000 4194304 4196468 140728319445184 140333662706096 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47228 KiB

[startup+0.700945 s]
/proc/loadavg: 1.00 1.01 1.05 5/201 12786
/proc/meminfo: memFree=27020232/32770624 swapFree=67108860/67108860
[pid=12765] ppid=12762 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12765/stat : 12765 (xcsp3-exec) S 12762 12765 12354 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144732508 9740288 345 33554432000 4194304 5098028 140734036265808 140734036263912 140302507168380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140734036268132 140734036268343 140734036268343 140734036271083 0
/proc/12765/statm: 2378 345 289 221 0 87 0
[pid=12767] ppid=12765 vsize=26006188 memory=78920 CPUtime=1.87 cores=0-7
/proc/12767/stat : 12767 (java) S 12765 12765 12354 0 -1 1077944320 12808 0 0 0 182 5 0 0 20 0 20 0 144732508 26630336512 19730 33554432000 4194304 4196468 140728319445184 140728319427728 140334276419319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
/proc/12767/statm: 6501547 19730 3202 1 0 6488781 0
[pid=12767/tid=12768] ppid=12765 vsize=26006188 memory=280530755537088 CPUtime=0.67 cores=0-7
/proc/12767/task/12768/stat : 12768 (java) R 12765 12765 12354 0 -1 4202560 6613 0 0 0 65 2 0 0 20 0 20 0 144732509 26630336512 19730 33554432000 4194304 4196468 140728319445184 140334280656976 140333912562497 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12769] ppid=12765 vsize=26006188 memory=5089536246941 CPUtime=0 cores=0-7
/proc/12767/task/12769/stat : 12769 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26630336512 19730 33554432000 4194304 4196468 140728319445184 140334232971536 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12770] ppid=12765 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12770/stat : 12770 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732510 26630336512 19730 33554432000 4194304 4196468 140728319445184 140333833386384 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12771] ppid=12765 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12771/stat : 12771 (java) S 12765 12765 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732510 26630336512 19730 33554432000 4194304 4196468 140728319445184 140333832333840 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0

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

/proc/meminfo: memFree=19736756/32770624 swapFree=67108860/67108860
[pid=12765] ppid=12762 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12765/stat : 12765 (xcsp3-exec) S 12762 12765 12354 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144732508 9740288 345 33554432000 4194304 5098028 140734036265808 140734036263912 140302507168380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140734036268132 140734036268343 140734036268343 140734036271083 0
/proc/12765/statm: 2378 345 289 221 0 87 0
[pid=12767] ppid=12765 vsize=26807004 memory=7335792 CPUtime=19899.6 cores=0-7
/proc/12767/stat : 12767 (java) S 12765 12765 12354 0 -1 1077944320 918939 0 0 0 1989157 799 0 0 20 0 28 0 144732508 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140728319427728 140334276419319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
/proc/12767/statm: 6701751 1833948 3310 1 0 6688985 0
[pid=12767/tid=12768] ppid=12765 vsize=26807004 memory=7335792 CPUtime=2.76 cores=0-7
/proc/12767/task/12768/stat : 12768 (java) S 12765 12765 12354 0 -1 1077944384 9877 0 0 0 270 6 0 0 20 0 28 0 144732509 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140334280659984 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12769] ppid=12765 vsize=26807004 memory=7335792 CPUtime=3.84 cores=0-7
/proc/12767/task/12769/stat : 12769 (java) S 12765 12765 12354 0 -1 1077944384 27769 0 0 0 366 18 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140334232971536 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12770] ppid=12765 vsize=26807004 memory=7335792 CPUtime=3.82 cores=0-7
/proc/12767/task/12770/stat : 12770 (java) S 12765 12765 12354 0 -1 1077944384 29494 0 0 0 367 15 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333833386384 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12771] ppid=12765 vsize=26807004 memory=7335792 CPUtime=3.88 cores=0-7
/proc/12767/task/12771/stat : 12771 (java) S 12765 12765 12354 0 -1 1077944384 31924 0 0 0 370 18 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333832333840 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12772] ppid=12765 vsize=26807004 memory=1380 CPUtime=3.84 cores=0-7
/proc/12767/task/12772/stat : 12772 (java) S 12765 12765 12354 0 -1 1077944384 33118 0 0 0 364 20 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333831281296 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12773] ppid=12765 vsize=26807004 memory=7335792 CPUtime=3.84 cores=0-7
/proc/12767/task/12773/stat : 12773 (java) S 12765 12765 12354 0 -1 1077944384 28124 0 0 0 366 18 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333830228752 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12774] ppid=12765 vsize=26807004 memory=0 CPUtime=3.88 cores=0-7
/proc/12767/task/12774/stat : 12774 (java) S 12765 12765 12354 0 -1 1077944384 28352 0 0 0 368 20 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333829176208 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12775] ppid=12765 vsize=26807004 memory=140265516970785 CPUtime=3.84 cores=0-7
/proc/12767/task/12775/stat : 12775 (java) S 12765 12765 12354 0 -1 1077944384 26904 0 0 0 366 18 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333828123664 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12776] ppid=12765 vsize=26807004 memory=1380 CPUtime=3.83 cores=0-7
/proc/12767/task/12776/stat : 12776 (java) S 12765 12765 12354 0 -1 1077944384 29412 0 0 0 366 17 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333827071120 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12777] ppid=12765 vsize=26807004 memory=1380 CPUtime=1.98 cores=0-7
/proc/12767/task/12777/stat : 12777 (java) S 12765 12765 12354 0 -1 1077944384 114096 0 0 0 168 30 0 0 20 0 28 0 144732511 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333672179696 140334276430466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12778] ppid=12765 vsize=26807004 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/12767/task/12778/stat : 12778 (java) S 12765 12765 12354 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 144732511 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333671125984 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12779] ppid=12765 vsize=26807004 memory=8600 CPUtime=0 cores=0-7
/proc/12767/task/12779/stat : 12779 (java) S 12765 12765 12354 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 144732512 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333670073344 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12780] ppid=12765 vsize=26807004 memory=15876 CPUtime=0 cores=0-7
/proc/12767/task/12780/stat : 12780 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333669021904 140334276437915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12781] ppid=12765 vsize=26807004 memory=18448 CPUtime=3.76 cores=0-7
/proc/12767/task/12781/stat : 12781 (java) S 12765 12765 12354 0 -1 1077944384 28491 0 0 0 372 4 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333667969520 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12782] ppid=12765 vsize=26807004 memory=280530757573616 CPUtime=4.47 cores=0-7
/proc/12767/task/12782/stat : 12782 (java) S 12765 12765 12354 0 -1 1077944384 23660 0 0 0 444 3 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333666916976 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12783] ppid=12765 vsize=26807004 memory=6944656575208382560 CPUtime=3.8 cores=0-7
/proc/12767/task/12783/stat : 12783 (java) S 12765 12765 12354 0 -1 1077944384 19767 0 0 0 378 2 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333665864432 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12784] ppid=12765 vsize=26807004 memory=140265516967551 CPUtime=1.24 cores=0-7
/proc/12767/task/12784/stat : 12784 (java) S 12765 12765 12354 0 -1 1077944384 16522 0 0 0 121 3 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333664811888 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12785] ppid=12765 vsize=26807004 memory=0 CPUtime=0 cores=0-7
/proc/12767/task/12785/stat : 12785 (java) S 12765 12765 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333663758560 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12786] ppid=12765 vsize=26807004 memory=1380 CPUtime=0.94 cores=0-7
/proc/12767/task/12786/stat : 12786 (java) S 12765 12765 12354 0 -1 1077944384 7429 0 0 0 47 47 0 0 20 0 28 0 144732515 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333662706096 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15272] ppid=12765 vsize=26807004 memory=1380 CPUtime=1870.9 cores=0-7
/proc/12767/task/15272/stat : 15272 (java) R 12765 12765 12354 0 -1 4202560 26487 0 0 0 187078 12 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333642070792 140333923353269 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15273] ppid=12765 vsize=26807004 memory=7335792 CPUtime=1869.13 cores=0-7
/proc/12767/task/15273/stat : 15273 (java) R 12765 12765 12354 0 -1 4202560 22694 0 0 0 186902 11 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333653643256 140333921809164 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15274] ppid=12765 vsize=26807004 memory=6791534058613427641 CPUtime=1868.1 cores=0-7
/proc/12767/task/15274/stat : 15274 (java) R 12765 12765 12354 0 -1 4202560 22399 0 0 0 186798 12 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333649432448 140333921931367 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15275] ppid=12765 vsize=26807004 memory=-7003737579269690708 CPUtime=1863.89 cores=0-7
/proc/12767/task/15275/stat : 15275 (java) R 12765 12765 12354 0 -1 4202560 41330 0 0 0 186370 19 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333648380136 140333921573013 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15276] ppid=12765 vsize=26807004 memory=1224 CPUtime=1868.1 cores=0-7
/proc/12767/task/15276/stat : 15276 (java) R 12765 12765 12354 0 -1 4202560 24357 0 0 0 186795 15 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333654696064 140333921798704 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15277] ppid=12765 vsize=26807004 memory=1292 CPUtime=1871.07 cores=0-7
/proc/12767/task/15277/stat : 15277 (java) R 12765 12765 12354 0 -1 4202560 22300 0 0 0 187098 9 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333650485536 140333921734854 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15278] ppid=12765 vsize=26807004 memory=2428 CPUtime=1864.71 cores=0-7
/proc/12767/task/15278/stat : 15278 (java) R 12765 12765 12354 0 -1 4202560 53247 0 0 0 186453 18 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333647330208 140333921571561 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15279] ppid=12765 vsize=26807004 memory=1728 CPUtime=1863.37 cores=0-7
/proc/12767/task/15279/stat : 15279 (java) R 12765 12765 12354 0 -1 4202560 45237 0 0 0 186316 21 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333652590968 140333921573269 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
Current children cumulated CPU time: 19899.6 s
Current children cumulated vsize: 26816516 KiB
Current children cumulated memory: 7337172 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.62 8.38 7.86 9/207 15305
/proc/meminfo: memFree=19736792/32770624 swapFree=67108860/67108860
[pid=12765] ppid=12762 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12765/stat : 12765 (xcsp3-exec) S 12762 12765 12354 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 144732508 9740288 345 33554432000 4194304 5098028 140734036265808 140734036263912 140302507168380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9666560 140734036268132 140734036268343 140734036268343 140734036271083 0
/proc/12765/statm: 2378 345 289 221 0 87 0
[pid=12767] ppid=12765 vsize=26807004 memory=7335792 CPUtime=20040.3 cores=0-7
/proc/12767/stat : 12767 (java) S 12765 12765 12354 0 -1 1077944320 921394 0 0 0 2003225 801 0 0 20 0 28 0 144732508 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140728319427728 140334276419319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
/proc/12767/statm: 6701751 1833948 3310 1 0 6688985 0
[pid=12767/tid=12768] ppid=12765 vsize=26807004 memory=6791534058613427641 CPUtime=2.76 cores=0-7
/proc/12767/task/12768/stat : 12768 (java) S 12765 12765 12354 0 -1 1077944384 9877 0 0 0 270 6 0 0 20 0 28 0 144732509 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140334280659984 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12769] ppid=12765 vsize=26807004 memory=4044 CPUtime=3.87 cores=0-7
/proc/12767/task/12769/stat : 12769 (java) S 12765 12765 12354 0 -1 1077944384 27822 0 0 0 369 18 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140334232971536 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12770] ppid=12765 vsize=26807004 memory=1792 CPUtime=3.85 cores=0-7
/proc/12767/task/12770/stat : 12770 (java) S 12765 12765 12354 0 -1 1077944384 29522 0 0 0 370 15 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333833386384 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12771] ppid=12765 vsize=26807004 memory=636 CPUtime=3.9 cores=0-7
/proc/12767/task/12771/stat : 12771 (java) S 12765 12765 12354 0 -1 1077944384 31955 0 0 0 372 18 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333832333840 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12772] ppid=12765 vsize=26807004 memory=-7003737579269690708 CPUtime=3.87 cores=0-7
/proc/12767/task/12772/stat : 12772 (java) S 12765 12765 12354 0 -1 1077944384 33140 0 0 0 367 20 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333831281296 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12773] ppid=12765 vsize=26807004 memory=8600 CPUtime=3.86 cores=0-7
/proc/12767/task/12773/stat : 12773 (java) S 12765 12765 12354 0 -1 1077944384 28407 0 0 0 368 18 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333830228752 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12774] ppid=12765 vsize=26807004 memory=1236 CPUtime=3.91 cores=0-7
/proc/12767/task/12774/stat : 12774 (java) S 12765 12765 12354 0 -1 1077944384 28591 0 0 0 371 20 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333829176208 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12775] ppid=12765 vsize=26807004 memory=2240 CPUtime=3.87 cores=0-7
/proc/12767/task/12775/stat : 12775 (java) S 12765 12765 12354 0 -1 1077944384 26946 0 0 0 369 18 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333828123664 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12776] ppid=12765 vsize=26807004 memory=4128 CPUtime=3.85 cores=0-7
/proc/12767/task/12776/stat : 12776 (java) S 12765 12765 12354 0 -1 1077944384 29444 0 0 0 368 17 0 0 20 0 28 0 144732510 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333827071120 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12777] ppid=12765 vsize=26807004 memory=1572 CPUtime=2 cores=0-7
/proc/12767/task/12777/stat : 12777 (java) S 12765 12765 12354 0 -1 1077944384 114450 0 0 0 170 30 0 0 20 0 28 0 144732511 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333672179696 140334276430466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12778] ppid=12765 vsize=26807004 memory=932 CPUtime=0 cores=0-7
/proc/12767/task/12778/stat : 12778 (java) S 12765 12765 12354 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 144732511 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333671125984 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12779] ppid=12765 vsize=26807004 memory=2200 CPUtime=0 cores=0-7
/proc/12767/task/12779/stat : 12779 (java) S 12765 12765 12354 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 144732512 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333670073344 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12780] ppid=12765 vsize=26807004 memory=7792 CPUtime=0 cores=0-7
/proc/12767/task/12780/stat : 12780 (java) S 12765 12765 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333669021904 140334276437915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12781] ppid=12765 vsize=26807004 memory=840 CPUtime=3.76 cores=0-7
/proc/12767/task/12781/stat : 12781 (java) S 12765 12765 12354 0 -1 1077944384 28493 0 0 0 372 4 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333667969520 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12782] ppid=12765 vsize=26807004 memory=1380 CPUtime=4.47 cores=0-7
/proc/12767/task/12782/stat : 12782 (java) S 12765 12765 12354 0 -1 1077944384 23662 0 0 0 444 3 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333666916976 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12783] ppid=12765 vsize=26807004 memory=303430223234596890 CPUtime=3.8 cores=0-7
/proc/12767/task/12783/stat : 12783 (java) S 12765 12765 12354 0 -1 1077944384 19771 0 0 0 378 2 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333665864432 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12784] ppid=12765 vsize=26807004 memory=288230617509003574 CPUtime=1.24 cores=0-7
/proc/12767/task/12784/stat : 12784 (java) S 12765 12765 12354 0 -1 1077944384 16524 0 0 0 121 3 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333664811888 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12785] ppid=12765 vsize=26807004 memory=15260333174426010 CPUtime=0 cores=0-7
/proc/12767/task/12785/stat : 12785 (java) S 12765 12765 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144732514 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333663758560 140334276429525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=12786] ppid=12765 vsize=26807004 memory=2240 CPUtime=0.94 cores=0-7
/proc/12767/task/12786/stat : 12786 (java) S 12765 12765 12354 0 -1 1077944384 7449 0 0 0 47 47 0 0 20 0 28 0 144732515 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333662706096 140334276430466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15272] ppid=12765 vsize=26807004 memory=4128 CPUtime=1888.55 cores=0-7
/proc/12767/task/15272/stat : 15272 (java) R 12765 12765 12354 0 -1 4202560 26641 0 0 0 188843 12 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333642070368 140333921733065 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15273] ppid=12765 vsize=26807004 memory=1572 CPUtime=1886.72 cores=0-7
/proc/12767/task/15273/stat : 15273 (java) R 12765 12765 12354 0 -1 4202560 22778 0 0 0 188661 11 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333653643128 140333921531302 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15274] ppid=12765 vsize=26807004 memory=932 CPUtime=1885.71 cores=0-7
/proc/12767/task/15274/stat : 15274 (java) R 12765 12765 12354 0 -1 4202560 22541 0 0 0 188559 12 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333649432264 140333917816883 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15275] ppid=12765 vsize=26807004 memory=2200 CPUtime=1881.46 cores=0-7
/proc/12767/task/15275/stat : 15275 (java) R 12765 12765 12354 0 -1 4202560 41603 0 0 0 188127 19 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333648382736 140333916342789 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15276] ppid=12765 vsize=26807004 memory=7792 CPUtime=1885.68 cores=0-7
/proc/12767/task/15276/stat : 15276 (java) R 12765 12765 12354 0 -1 4202560 24444 0 0 0 188553 15 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333654696352 140333921530916 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15277] ppid=12765 vsize=26807004 memory=840 CPUtime=1888.63 cores=0-7
/proc/12767/task/15277/stat : 15277 (java) R 12765 12765 12354 0 -1 4202560 22420 0 0 0 188854 9 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333650485432 140333922956502 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15278] ppid=12765 vsize=26807004 memory=4100 CPUtime=1882.08 cores=0-7
/proc/12767/task/15278/stat : 15278 (java) R 12765 12765 12354 0 -1 4202560 53592 0 0 0 188189 19 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333647327704 140333920885678 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
[pid=12767/tid=15279] ppid=12765 vsize=26807004 memory=6791534058613427641 CPUtime=1880.89 cores=0-7
/proc/12767/task/15279/stat : 15279 (java) R 12765 12765 12354 0 -1 4202560 45373 0 0 0 188068 21 0 0 20 0 28 0 144794659 27450372096 1833948 33554432000 4194304 4196468 140728319445184 140333652590848 140333922131289 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 38670336 140728319448210 140728319448387 140728319448387 140728319451087 0
Current children cumulated CPU time: 20040.3 s
Current children cumulated vsize: 26816516 KiB
Current children cumulated memory: 7337172 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.05 s]
# the end of solver process 12765 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000648 s, system=0.001296 s

[startup+2520.15 s]
# the end of solver process 12767 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20033 s, system=8.06106 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2520.13 s]*
/proc/loadavg: 8.62 8.38 7.86 2/180 15307
/proc/meminfo: memFree=22650536/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001944 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 20041.1
CPU user time (s): 20033
CPU system time (s): 8.06106
CPU usage (%): 795.232
Max. virtual memory (cumulated for all children) (KiB): 26816516
Max. memory (cumulated for all children) (KiB): 7509612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20033
system time used= 8.06106
maximum resident set size= 7510280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 922977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 200563
involuntary context switches= 207853


# summary of solver processes directly reported to runsolver:
#   pid: 12765,12767
#   total CPU time (s): 20041.1
#   total CPU user time (s): 20033
#   total CPU system time (s): 8.06106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5219 second user time and 32.3609 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-19 06:06:26
IDJOB=4280611
IDBENCH=115899
IDSOLVER=2675
FILE ID=node107/4280611-1503116446
RUNJOBID= node107-1503115583-12381
PBS_JOBID= 20630762
Free space on /tmp= 61868 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-26.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-4280611-1503116446/watcher-4280611-1503116446 -o /tmp/evaluation-result-4280611-1503116446/solver-4280611-1503116446 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503115583-12381 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1696312092 HOME/instance-4280611-1503116446.xml

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

MD5SUM BENCH= a21a0b86f7fa853bf556b3925b3cd061
RANDOM SEED=1696312092

node107.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.84
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.84
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.84
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.84
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:        27073520 kB
MemAvailable:   31977168 kB
Buffers:          260452 kB
Cached:          4937468 kB
SwapCached:            0 kB
Active:           819316 kB
Inactive:        4432420 kB
Active(anon):      57052 kB
Inactive(anon):    33132 kB
Active(file):     762264 kB
Inactive(file):  4399288 kB
Unevictable:        7640 kB
Mlocked:            7640 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8028 kB
Writeback:             0 kB
AnonPages:        103676 kB
Mapped:            50932 kB
Shmem:             33420 kB
Slab:             141916 kB
SReclaimable:     115860 kB
SUnreclaim:        26056 kB
KernelStack:        3664 kB
PageTables:         4928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61860 MiB
End job on node107 at 2017-08-19 06:48:26