Trace number 4254842

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-07-26)SAT (TO)341 1920.71 243.929

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-27.xml
MD5SUM7effaf54e6298c2e2ce7b82787858117
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark367
Best CPU time to get the best result obtained on this benchmark251.811
Satisfiable
(Un)Satisfiability was proved
Number of variables1712
Number of constraints1007
Number of domains4
Minimum domain size2
Maximum domain size1683
Distribution of domain sizes[{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}]
Minimum variable degree1
Maximum variable degree30
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}]
Minimum constraint arity2
Maximum constraint arity31
Distribution of constraint arities[{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}]
Number of extensional constraints837
Number of intensional constraints136
Distribution of constraint types[{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"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.10	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254842-1501679171.xml"  -tl '1920s' -p 8 -x 0
0.00/0.32	c [HOME/instance-4254842-1501679171.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.38	c 8 solvers in parallel
0.00/0.45	c parse instance...
6.99/2.73	c solve instance...
11.35/3.32	o 0 
12.00/3.49	o 4 
13.48/3.80	o 6 
13.48/3.81	o 8 
13.48/3.82	o 10 
13.48/3.83	o 12 
13.48/3.85	o 14 
13.48/3.87	o 16 
13.48/3.87	o 17 
13.48/3.88	o 18 
13.48/3.89	o 19 
13.48/3.89	o 20 
14.03/3.90	o 21 
14.03/3.91	o 22 
14.03/3.92	o 23 
14.03/3.95	o 24 
14.03/3.95	o 25 
14.03/3.96	o 26 
14.03/3.96	o 27 
14.03/3.97	o 28 
14.03/3.98	o 29 
14.03/3.98	o 30 
14.03/3.99	o 31 
14.03/3.99	o 32 
14.59/4.00	o 33 
14.59/4.01	o 34 
14.59/4.01	o 35 
14.59/4.01	o 36 
14.59/4.02	o 37 
14.59/4.02	o 38 
14.59/4.03	o 39 
14.59/4.03	o 40 
14.59/4.04	o 41 
14.59/4.04	o 42 
14.59/4.05	o 43 
14.59/4.05	o 44 
14.59/4.06	o 45 
14.59/4.06	o 46 
14.59/4.07	o 47 
14.59/4.07	o 48 
14.59/4.08	o 49 
14.59/4.08	o 50 
14.59/4.09	o 51 
14.59/4.09	o 52 
14.59/4.10	o 53 
15.19/4.12	o 54 
15.19/4.13	o 55 
15.19/4.14	o 56 
15.19/4.14	o 57 
15.19/4.15	o 58 
15.19/4.15	o 59 
15.19/4.16	o 60 
15.19/4.16	o 61 
15.19/4.17	o 62 
15.19/4.17	o 63 
15.19/4.18	o 64 
15.19/4.18	o 65 
15.19/4.18	o 66 
15.19/4.19	o 67 
15.19/4.19	o 68 
15.82/4.20	o 69 
15.82/4.20	o 70 
15.82/4.21	o 71 
15.82/4.21	o 72 
15.82/4.22	o 73 
15.82/4.22	o 74 
15.82/4.25	o 75 
15.82/4.26	o 76 
15.82/4.27	o 77 
15.82/4.27	o 78 
15.82/4.28	o 79 
15.82/4.29	o 80 
15.82/4.29	o 81 
16.43/4.30	o 82 
16.43/4.31	o 83 
16.43/4.31	o 84 
16.43/4.32	o 85 
16.43/4.32	o 86 
16.43/4.33	o 87 
16.43/4.33	o 88 
16.43/4.34	o 89 
16.43/4.35	o 90 
16.43/4.35	o 91 
16.43/4.37	o 92 
16.43/4.38	o 93 
16.43/4.38	o 94 
16.43/4.39	o 95 
16.43/4.39	o 96 
16.97/4.42	o 97 
16.97/4.43	o 98 
16.97/4.44	o 99 
16.97/4.44	o 100 
16.97/4.45	o 101 
16.97/4.45	o 102 
16.97/4.46	o 103 
16.97/4.46	o 104 
16.97/4.47	o 105 
16.97/4.47	o 106 
16.97/4.48	o 107 
16.97/4.48	o 108 
16.97/4.49	o 109 
16.97/4.49	o 110 
16.97/4.50	o 111 
17.55/4.50	o 112 
17.55/4.51	o 113 
17.55/4.51	o 114 
17.55/4.52	o 115 
17.55/4.52	o 116 
17.55/4.53	o 117 
17.55/4.53	o 118 
17.55/4.54	o 119 
17.55/4.55	o 120 
17.55/4.55	o 121 
17.55/4.56	o 122 
17.55/4.56	o 123 
17.55/4.57	o 124 
17.55/4.57	o 125 
17.55/4.58	o 126 
17.55/4.59	o 127 
17.55/4.60	o 128 
18.12/4.60	o 129 
18.12/4.61	o 130 
18.12/4.61	o 131 
18.12/4.61	o 132 
18.12/4.64	o 133 
18.12/4.65	o 134 
18.12/4.65	o 135 
18.12/4.66	o 136 
18.12/4.66	o 137 
18.12/4.67	o 138 
18.12/4.67	o 139 
18.12/4.68	o 140 
18.12/4.68	o 141 
18.12/4.69	o 142 
18.12/4.69	o 143 
18.12/4.70	o 144 
18.72/4.70	o 145 
18.72/4.71	o 146 
18.72/4.71	o 147 
18.72/4.72	o 148 
18.72/4.72	o 149 
18.72/4.73	o 150 
18.72/4.73	o 151 
18.72/4.74	o 152 
18.72/4.74	o 153 
18.72/4.75	o 154 
18.72/4.75	o 155 
18.72/4.77	o 156 
18.72/4.78	o 157 
18.72/4.78	o 158 
18.72/4.79	o 159 
19.27/4.80	o 160 
19.27/4.80	o 161 
19.27/4.81	o 162 
19.27/4.82	o 163 
19.27/4.82	o 164 
19.27/4.83	o 165 
19.27/4.83	o 166 
19.27/4.84	o 167 
19.27/4.85	o 168 
19.27/4.85	o 169 
19.27/4.86	o 170 
19.27/4.87	o 171 
19.27/4.87	o 172 
19.27/4.88	o 173 
19.27/4.89	o 174 
19.27/4.89	o 175 
19.76/4.90	o 176 
19.76/4.93	o 177 
19.76/4.93	o 178 
19.76/4.94	o 179 
19.76/4.95	o 180 
19.76/4.95	o 181 
19.76/4.96	o 182 
19.76/4.96	o 183 
19.76/4.97	o 184 
19.76/4.97	o 185 
19.76/4.98	o 186 
19.76/4.99	o 187 
19.76/4.99	o 188 
20.35/5.00	o 189 
20.35/5.00	o 190 
20.35/5.01	o 191 
20.35/5.02	o 192 
20.35/5.02	o 193 
20.35/5.03	o 194 
20.35/5.04	o 195 
20.35/5.04	o 196 
20.35/5.05	o 197 
20.35/5.06	o 198 
20.35/5.06	o 199 
20.35/5.07	o 200 
20.35/5.07	o 201 
20.35/5.08	o 202 
20.35/5.09	o 203 
20.35/5.09	o 204 
20.89/5.10	o 205 
20.89/5.11	o 206 
20.89/5.11	o 207 
20.89/5.12	o 208 
20.89/5.13	o 209 
20.89/5.14	o 210 
20.89/5.14	o 211 
20.89/5.15	o 212 
20.89/5.15	o 213 
20.89/5.16	o 214 
20.89/5.16	o 215 
20.89/5.17	o 216 
20.89/5.18	o 217 
20.89/5.18	o 218 
20.89/5.19	o 219 
20.89/5.19	o 220 
21.44/5.20	o 221 
21.44/5.21	o 222 
21.44/5.21	o 223 
21.44/5.22	o 224 
21.44/5.23	o 225 
21.44/5.24	o 226 
21.44/5.24	o 227 
21.44/5.25	o 228 
21.44/5.25	o 229 
21.44/5.26	o 230 
21.44/5.27	o 231 
21.44/5.28	o 232 
21.44/5.28	o 233 
21.44/5.29	o 234 
21.44/5.29	o 235 
21.93/5.30	o 236 
21.93/5.31	o 237 
21.93/5.32	o 238 
21.93/5.33	o 239 
21.93/5.33	o 240 
21.93/5.34	o 241 
21.93/5.36	o 242 
21.93/5.38	o 243 
22.89/5.67	o 244 
22.89/5.68	o 245 
22.89/5.69	o 246 
22.89/5.70	o 247 
23.17/5.70	o 248 
23.17/5.71	o 249 
23.17/5.72	o 250 
23.17/5.72	o 251 
23.17/5.74	o 252 
23.17/5.74	o 253 
23.17/5.75	o 254 
23.17/5.76	o 255 
23.17/5.76	o 256 
23.17/5.77	o 257 
23.17/5.78	o 258 
23.17/5.79	o 259 
23.17/5.80	o 260 
23.76/5.81	o 261 
23.76/5.82	o 262 
23.76/5.82	o 263 
23.76/5.83	o 264 
23.76/5.84	o 265 
23.76/5.85	o 266 
23.76/5.85	o 267 
23.76/5.86	o 268 
23.76/5.87	o 269 
23.76/5.88	o 270 
23.76/5.89	o 271 
23.76/5.89	o 272 
24.35/5.90	o 273 
24.35/5.91	o 274 
24.35/5.92	o 275 
24.35/5.93	o 276 
24.35/5.94	o 277 
24.35/5.95	o 278 
24.35/5.95	o 279 
24.35/5.96	o 280 
24.35/5.97	o 281 
24.35/5.98	o 282 
24.35/5.99	o 283 
24.35/6.00	o 284 
24.87/6.00	o 285 
24.87/6.01	o 286 
24.87/6.02	o 287 
24.87/6.03	o 288 
24.87/6.04	o 289 
24.87/6.04	o 290 
24.87/6.05	o 291 
24.87/6.06	o 292 
24.87/6.07	o 293 
24.87/6.08	o 294 
24.87/6.09	o 295 
24.87/6.10	o 296 
25.40/6.10	o 297 
25.40/6.11	o 298 
25.40/6.12	o 299 
25.40/6.13	o 300 
25.40/6.14	o 301 
25.40/6.15	o 302 
25.40/6.16	o 303 
25.40/6.17	o 304 
25.40/6.17	o 305 
25.40/6.18	o 306 
25.40/6.19	o 307 
25.94/6.20	o 308 
25.94/6.21	o 309 
25.94/6.22	o 310 
25.94/6.23	o 311 
25.94/6.24	o 312 
25.94/6.24	o 313 
25.94/6.25	o 314 
25.94/6.26	o 315 
25.94/6.27	o 316 
25.94/6.28	o 317 
25.94/6.28	o 318 
25.94/6.29	o 319 
26.40/6.30	o 320 
26.40/6.31	o 321 
26.40/6.32	o 322 
26.40/6.32	o 323 
26.40/6.33	o 324 
26.40/6.34	o 325 
26.40/6.35	o 326 
26.40/6.35	o 327 
26.40/6.36	o 328 
26.40/6.37	o 329 
26.40/6.38	o 330 
26.40/6.38	o 331 
26.40/6.39	o 332 
26.97/6.40	o 333 
26.97/6.41	o 334 
26.97/6.42	o 335 
26.97/6.42	o 336 
26.97/6.44	o 337 
39.31/8.12	o 338 
39.31/8.13	o 339 
39.31/8.15	o 340 
44.66/8.90	o 341 
1920.71/243.96	s SATISFIABLE
1920.71/243.96	v <instantiation>
1920.71/243.96	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[0][28] 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[1][28] 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[2][28] 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[3][28] 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[4][28] 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[5][28] 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[6][28] 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[7][28] 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[8][28] 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[9][28] 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[10][28] 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[11][28] 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[12][28] 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[13][28] 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[14][28] 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[15][28] 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[16][28] 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[17][28] 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[18][28] 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[19][28] 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[20][28] 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[21][28] 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[22][28] 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[23][28] 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[24][28] 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[25][28] 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[26][28] 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] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] 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[0][28] 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[1][28] 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[2][28] 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[3][28] 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[4][28] 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[5][28] 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[6][28] 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[7][28] 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[8][28] 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[9][28] 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[10][28] 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[11][28] 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[12][28] 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[13][28] 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[14][28] 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[15][28] 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[16][28] 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[17][28] 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[18][28] 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[19][28] 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[20][28] 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[21][28] 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[22][28] 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[23][28] 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[24][28] 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[25][28] 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[26][28] 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] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] 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] ws[28] z </list>
1920.71/243.96	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 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 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 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 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 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 1 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 0 0 1 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 0 1 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 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 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 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 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 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 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 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 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 2 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 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 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 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 1 1 2 0 2 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 0 1 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 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 1 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 1 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 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 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 0 1 0 0 0 2 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 1 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 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 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 0 0 0 1 0 0 0 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 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 2 2 1 1 1 0 0 1 0 1 1 0 2 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 9 11 13 25 26 27 59 67 70 73 75 79 100 105 108 112 115 121 134 137 141 149 150 153 160 166 170 188 202 341 </values>
1920.71/243.96	v </instantiation>
1920.71/243.96	c Unexpected resolution interruption!

Verifier Data 

OK	341

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254842-1501679171/watcher-4254842-1501679171 -o /tmp/evaluation-result-4254842-1501679171/solver-4254842-1501679171 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node133-1501676554-32181 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 988793679 HOME/instance-4254842-1501679171.xml 

pid=2116
running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.04 8.12 6.83 1/177 2119
/proc/meminfo: memFree=31729476/32770624 swapFree=0/257020
[pid=2119] ppid=2116 vsize=23672 CPUtime=0 cores=0-7
/proc/2119/stat : 2119 (runsolver) D 2116 2119 32125 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 15732446 24240128 108 18446744073709551615 4194304 4338465 140732330462512 140732330460152 140035109003991 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 39710720 140732330471507 140732330472003 140732330472003 140732330475466 0
/proc/2119/statm: 5918 108 54 36 0 2156 0

[startup+0.100134 s]
/proc/loadavg: 8.04 8.12 6.83 1/177 2119
/proc/meminfo: memFree=31729476/32770624 swapFree=0/257020
[pid=2119] ppid=2116 vsize=9508 CPUtime=0 cores=0-7
/proc/2119/stat : 2119 (xcsp3-exec) R 2116 2119 32125 0 -1 4202496 473 0 0 0 0 0 0 0 20 0 1 0 15732446 9736192 285 18446744073709551615 4194304 5098028 140733395832608 140733395832608 140432084939672 0 0 5 65536 0 0 0 17 3 0 0 9 0 0 7196144 7232144 39055360 140733395841427 140733395841636 140733395841636 140733395845099 0
/proc/2119/statm: 2377 285 236 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200257 s]
/proc/loadavg: 8.04 8.12 6.83 1/177 2119
/proc/meminfo: memFree=31729476/32770624 swapFree=0/257020
[pid=2119] ppid=2116 vsize=9512 CPUtime=0 cores=0-7
/proc/2119/stat : 2119 (xcsp3-exec) S 2116 2119 32125 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15732446 9740288 345 18446744073709551615 4194304 5098028 140733395832608 140733395830712 140432085197436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 39055360 140733395841427 140733395841636 140733395841636 140733395845099 0
/proc/2119/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300281 s]
/proc/loadavg: 8.04 8.12 6.83 1/177 2119
/proc/meminfo: memFree=31729476/32770624 swapFree=0/257020
[pid=2119] ppid=2116 vsize=9512 CPUtime=0 cores=0-7
/proc/2119/stat : 2119 (xcsp3-exec) S 2116 2119 32125 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15732446 9740288 345 18446744073709551615 4194304 5098028 140733395832608 140733395830712 140432085197436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 39055360 140733395841427 140733395841636 140733395841636 140733395845099 0
/proc/2119/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700226 s]
/proc/loadavg: 8.04 8.12 6.83 1/177 2119
/proc/meminfo: memFree=31729476/32770624 swapFree=0/257020
[pid=2119] ppid=2116 vsize=9512 CPUtime=0 cores=0-7
/proc/2119/stat : 2119 (xcsp3-exec) S 2116 2119 32125 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15732446 9740288 345 18446744073709551615 4194304 5098028 140733395832608 140733395830712 140432085197436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 39055360 140733395841427 140733395841636 140733395841636 140733395845099 0
/proc/2119/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50085 s]
/proc/loadavg: 8.04 8.12 6.83 4/198 2140
/proc/meminfo: memFree=31650292/32770624 swapFree=0/256792
[pid=2119] ppid=2116 vsize=9512 CPUtime=0 cores=0-7
/proc/2119/stat : 2119 (xcsp3-exec) S 2116 2119 32125 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15732446 9740288 345 18446744073709551615 4194304 5098028 140733395832608 140733395830712 140432085197436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 39055360 140733395841427 140733395841636 140733395841636 140733395845099 0
/proc/2119/statm: 2378 345 289 221 0 87 0
[pid=2121] ppid=2119 vsize=26001944 CPUtime=3.49 cores=0-7
/proc/2121/stat : 2121 (java) S 2119 2119 32125 0 -1 1077944320 22429 0 0 0 340 9 0 0 20 0 20 0 15732456 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 140726138541808 139939665174263 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
/proc/2121/statm: 6500486 38796 3185 1 0 6488787 0
[pid=2121/tid=2122] ppid=2119 vsize=26001944 CPUtime=1.29 cores=0-7
/proc/2121/task/2122/stat : 2122 (java) R 2119 2119 32125 0 -1 4202560 10005 0 0 0 124 5 0 0 20 0 20 0 15732456 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139939669408528 139939310223481 0 4 1 16800974 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2123] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2123/stat : 2123 (java) S 2119 2119 32125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 15732457 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139939632733200 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2124] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2124/stat : 2124 (java) S 2119 2119 32125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 15732457 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139939226606736 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2125] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2125/stat : 2125 (java) S 2119 2119 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 15732457 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139939225553680 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2126] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2126/stat : 2126 (java) S 2119 2119 32125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 15732457 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139939224501136 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2127] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2127/stat : 2127 (java) S 2119 2119 32125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 15732457 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139939223448080 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2128] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2128/stat : 2128 (java) S 2119 2119 32125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 15732457 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139939222395536 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2129] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2129/stat : 2129 (java) S 2119 2119 32125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 15732457 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139939221342480 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2130] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2130/stat : 2130 (java) S 2119 2119 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 15732457 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139939220289936 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2131] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2131/stat : 2131 (java) S 2119 2119 32125 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 15732459 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139938344418032 139939665185410 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2132] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2132/stat : 2132 (java) S 2119 2119 32125 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 15732459 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139938343364256 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2133] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2133/stat : 2133 (java) S 2119 2119 32125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 15732459 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139938342311152 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2134] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2134/stat : 2134 (java) S 2119 2119 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 15732462 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139938341259728 139939665192859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2135] ppid=2119 vsize=26001944 CPUtime=0.55 cores=0-7
/proc/2121/task/2135/stat : 2135 (java) S 2119 2119 32125 0 -1 1077944384 3545 0 0 0 54 1 0 0 20 0 20 0 15732462 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139938340206832 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2136] ppid=2119 vsize=26001944 CPUtime=0.52 cores=0-7
/proc/2121/task/2136/stat : 2136 (java) R 2119 2119 32125 0 -1 4202560 2351 0 0 0 52 0 0 0 20 0 20 0 15732462 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139938339141072 139939648642298 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2137] ppid=2119 vsize=26001944 CPUtime=0.55 cores=0-7
/proc/2121/task/2137/stat : 2137 (java) S 2119 2119 32125 0 -1 1077944384 2946 0 0 0 55 0 0 0 20 0 20 0 15732462 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139938338101232 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2138] ppid=2119 vsize=26001944 CPUtime=0.52 cores=0-7
/proc/2121/task/2138/stat : 2138 (java) S 2119 2119 32125 0 -1 1077944384 2255 0 0 0 52 0 0 0 20 0 20 0 15732462 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139938337048688 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2139] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2139/stat : 2139 (java) S 2119 2119 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 15732462 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139938335996896 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2140] ppid=2119 vsize=26001944 CPUtime=0 cores=0-7
/proc/2121/task/2140/stat : 2140 (java) S 2119 2119 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 15732470 26625990656 38796 18446744073709551615 4194304 4196468 140726138559264 139938334944432 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 26011456

[startup+3.10139 s]
/proc/loadavg: 7.72 8.05 6.82 5/198 2140
/proc/meminfo: memFree=31515080/32770624 swapFree=0/256792
[pid=2119] ppid=2116 vsize=9512 CPUtime=0 cores=0-7
/proc/2119/stat : 2119 (xcsp3-exec) S 2116 2119 32125 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15732446 9740288 345 18446744073709551615 4194304 5098028 140733395832608 140733395830712 140432085197436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 39055360 140733395841427 140733395841636 140733395841636 140733395845099 0
/proc/2119/statm: 2378 345 289 221 0 87 0
[pid=2121] ppid=2119 vsize=26534456 CPUtime=9.73 cores=0-7
/proc/2121/stat : 2121 (java) S 2119 2119 32125 0 -1 1077944320 30409 0 0 0 944 29 0 0 20 0 28 0 15732456 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 140726138541808 139939665174263 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
/proc/2121/statm: 6633614 73610 3228 1 0 6621915 0
[pid=2121/tid=2122] ppid=2119 vsize=26534456 CPUtime=2.46 cores=0-7
/proc/2121/task/2122/stat : 2122 (java) S 2119 2119 32125 0 -1 1077944384 11602 0 0 0 240 6 0 0 20 0 28 0 15732456 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139939669415040 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2123] ppid=2119 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/2121/task/2123/stat : 2123 (java) S 2119 2119 32125 0 -1 1077944384 79 0 0 0 4 1 0 0 20 0 28 0 15732457 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139939632733200 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2124] ppid=2119 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/2121/task/2124/stat : 2124 (java) S 2119 2119 32125 0 -1 1077944384 115 0 0 0 3 2 0 0 20 0 28 0 15732457 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139939226606736 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2125] ppid=2119 vsize=26534456 CPUtime=0.03 cores=0-7
/proc/2121/task/2125/stat : 2125 (java) S 2119 2119 32125 0 -1 1077944384 61 0 0 0 2 1 0 0 20 0 28 0 15732457 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139939225553680 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2126] ppid=2119 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/2121/task/2126/stat : 2126 (java) S 2119 2119 32125 0 -1 1077944384 175 0 0 0 4 2 0 0 20 0 28 0 15732457 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139939224501136 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2127] ppid=2119 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/2121/task/2127/stat : 2127 (java) S 2119 2119 32125 0 -1 1077944384 75 0 0 0 3 2 0 0 20 0 28 0 15732457 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139939223448080 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2128] ppid=2119 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/2121/task/2128/stat : 2128 (java) S 2119 2119 32125 0 -1 1077944384 402 0 0 0 3 2 0 0 20 0 28 0 15732457 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139939222395536 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2129] ppid=2119 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/2121/task/2129/stat : 2129 (java) S 2119 2119 32125 0 -1 1077944384 130 0 0 0 3 2 0 0 20 0 28 0 15732457 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139939221342480 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2130] ppid=2119 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/2121/task/2130/stat : 2130 (java) S 2119 2119 32125 0 -1 1077944384 115 0 0 0 3 2 0 0 20 0 28 0 15732457 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139939220289936 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2131] ppid=2119 vsize=26534456 CPUtime=0 cores=0-7
/proc/2121/task/2131/stat : 2131 (java) S 2119 2119 32125 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 28 0 15732459 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139938344418032 139939665185410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2132] ppid=2119 vsize=26534456 CPUtime=0 cores=0-7
/proc/2121/task/2132/stat : 2132 (java) S 2119 2119 32125 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 15732459 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139938343364320 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2133] ppid=2119 vsize=26534456 CPUtime=0 cores=0-7
/proc/2121/task/2133/stat : 2133 (java) S 2119 2119 32125 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 15732459 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139938342311168 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2134] ppid=2119 vsize=26534456 CPUtime=0 cores=0-7
/proc/2121/task/2134/stat : 2134 (java) S 2119 2119 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15732462 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139938341259728 139939665192859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2135] ppid=2119 vsize=26534456 CPUtime=1.18 cores=0-7
/proc/2121/task/2135/stat : 2135 (java) R 2119 2119 32125 0 -1 4202560 4426 0 0 0 116 2 0 0 20 0 28 0 15732462 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139938340195824 139939649167654 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2136] ppid=2119 vsize=26534456 CPUtime=1.34 cores=0-7
/proc/2121/task/2136/stat : 2136 (java) R 2119 2119 32125 0 -1 4202560 3779 0 0 0 133 1 0 0 20 0 28 0 15732462 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139938339140064 139939646718832 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2137] ppid=2119 vsize=26534456 CPUtime=1.29 cores=0-7
/proc/2121/task/2137/stat : 2137 (java) R 2119 2119 32125 0 -1 4202560 4194 0 0 0 129 0 0 0 20 0 28 0 15732462 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139938338101232 139939648585158 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2138] ppid=2119 vsize=26534456 CPUtime=0.73 cores=0-7
/proc/2121/task/2138/stat : 2138 (java) R 2119 2119 32125 0 -1 4202560 3182 0 0 0 73 0 0 0 20 0 28 0 15732462 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139938337048688 139939646584271 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2139] ppid=2119 vsize=26534456 CPUtime=0 cores=0-7
/proc/2121/task/2139/stat : 2139 (java) S 2119 2119 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15732462 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139938335996896 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2140] ppid=2119 vsize=26534456 CPUtime=0 cores=0-7
/proc/2121/task/2140/stat : 2140 (java) S 2119 2119 32125 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 15732470 27171282944 73610 18446744073709551615 4194304 4196468 140726138559264 139938334944432 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
Current children cumulated CPU time (s) 9.73
Current children cumulated vsize (KiB) 26543968

[startup+6.30086 s]
/proc/loadavg: 7.72 8.05 6.82 3/206 4028
/proc/meminfo: memFree=30266376/32770624 swapFree=0/256804
[pid=2119] ppid=2116 vsize=9512 CPUtime=0 cores=0-7
/proc/2119/stat : 2119 (xcsp3-exec) S 2116 2119 32125 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15732446 9740288 345 18446744073709551615 4194304 5098028 140733395832608 140733395830712 140432085197436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 39055360 140733395841427 140733395841636 140733395841636 140733395845099 0
/proc/2119/statm: 2378 345 289 221 0 87 0
[pid=2121] ppid=2119 vsize=26870352 CPUtime=26.4 cores=0-7
/proc/2121/stat : 2121 (java) S 2119 2119 32125 0 -1 1077944320 62789 0 0 0 2524 116 0 0 20 0 21 0 15732456 27515240448 537270 18446744073709551615 4194304 4196468 140726138559264 140726138541808 139939665174263 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
/proc/2121/statm: 6717588 537270 3252 1 0 6705889 0
[pid=2121/tid=2122] ppid=2119 vsize=26870352 CPUtime=2.7 cores=0-7
/proc/2121/task/2122/stat : 2122 (java) S 2119 2119 32125 0 -1 1077944384 11633 0 0 0 263 7 0 0 20 0 21 0 15732456 27515240448 537270 18446744073709551615 4194304 4196468 140726138559264 139939669414928 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2123] ppid=2119 vsize=26870352 CPUtime=0.14 cores=0-7
/proc/2121/task/2123/stat : 2123 (java) S 2119 2119 32125 0 -1 1077944384 135 0 0 0 10 4 0 0 20 0 21 0 15732457 27515240448 537336 18446744073709551615 4194304 4196468 140726138559264 139939632733200 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2124] ppid=2119 vsize=26870352 CPUtime=0.15 cores=0-7
/proc/2121/task/2124/stat : 2124 (java) S 2119 2119 32125 0 -1 1077944384 178 0 0 0 10 5 0 0 20 0 21 0 15732457 27515240448 537336 18446744073709551615 4194304 4196468 140726138559264 139939226606736 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2125] ppid=2119 vsize=26870352 CPUtime=0.13 cores=0-7
/proc/2121/task/2125/stat : 2125 (java) S 2119 2119 32125 0 -1 1077944384 124 0 0 0 8 5 0 0 20 0 21 0 15732457 27515240448 537336 18446744073709551615 4194304 4196468 140726138559264 139939225553680 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2126] ppid=2119 vsize=26870352 CPUtime=0.15 cores=0-7
/proc/2121/task/2126/stat : 2126 (java) S 2119 2119 32125 0 -1 1077944384 234 0 0 0 10 5 0 0 20 0 21 0 15732457 27515240448 537336 18446744073709551615 4194304 4196468 140726138559264 139939224501136 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2127] ppid=2119 vsize=26870352 CPUtime=0.16 cores=0-7
/proc/2121/task/2127/stat : 2127 (java) S 2119 2119 32125 0 -1 1077944384 138 0 0 0 10 6 0 0 20 0 21 0 15732457 27515240448 537402 18446744073709551615 4194304 4196468 140726138559264 139939223448080 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2128] ppid=2119 vsize=26870352 CPUtime=0.14 cores=0-7
/proc/2121/task/2128/stat : 2128 (java) S 2119 2119 32125 0 -1 1077944384 459 0 0 0 9 5 0 0 20 0 21 0 15732457 27515240448 537402 18446744073709551615 4194304 4196468 140726138559264 139939222395536 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2129] ppid=2119 vsize=26870352 CPUtime=0.16 cores=0-7
/proc/2121/task/2129/stat : 2129 (java) S 2119 2119 32125 0 -1 1077944384 220 0 0 0 11 5 0 0 20 0 21 0 15732457 27515240448 537402 18446744073709551615 4194304 4196468 140726138559264 139939221342480 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2130] ppid=2119 vsize=26870352 CPUtime=0.13 cores=0-7
/proc/2121/task/2130/stat : 2130 (java) S 2119 2119 32125 0 -1 1077944384 161 0 0 0 8 5 0 0 20 0 21 0 15732457 27515240448 537402 18446744073709551615 4194304 4196468 140726138559264 139939220289936 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2131] ppid=2119 vsize=26870352 CPUtime=0.02 cores=0-7
/proc/2121/task/2131/stat : 2131 (java) R 2119 2119 32125 0 -1 4202560 2190 0 0 0 2 0 0 0 20 0 21 0 15732459 27515240448 537402 18446744073709551615 4194304 4196468 140726138559264 139938344416544 139939665186198 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2132] ppid=2119 vsize=26870352 CPUtime=0 cores=0-7
/proc/2121/task/2132/stat : 2132 (java) S 2119 2119 32125 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 21 0 15732459 27515240448 537402 18446744073709551615 4194304 4196468 140726138559264 139938343364320 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2133] ppid=2119 vsize=26870352 CPUtime=0 cores=0-7
/proc/2121/task/2133/stat : 2133 (java) S 2119 2119 32125 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 15732459 27515240448 537402 18446744073709551615 4194304 4196468 140726138559264 139938342311168 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2134] ppid=2119 vsize=26870352 CPUtime=0 cores=0-7
/proc/2121/task/2134/stat : 2134 (java) S 2119 2119 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 15732462 27515240448 537402 18446744073709551615 4194304 4196468 140726138559264 139938341259728 139939665192859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0

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

[pid=2121/tid=4816] ppid=2119 vsize=26870352 CPUtime=212.82 cores=0-7
/proc/2121/task/4816/stat : 4816 (java) R 2119 2119 32125 0 -1 4202560 5289 0 0 0 21263 19 0 0 20 0 28 0 15733336 27515240448 1872028 18446744073709551615 4194304 4196468 140726138559264 139938320617320 139939314655168 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4817] ppid=2119 vsize=26870352 CPUtime=212.01 cores=0-7
/proc/2121/task/4817/stat : 4817 (java) R 2119 2119 32125 0 -1 4202560 2877 0 0 0 21190 11 0 0 20 0 28 0 15733336 27515240448 1872028 18446744073709551615 4194304 4196468 140726138559264 139938321670568 139939314818715 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
Current children cumulated CPU time (s) 1748.31
Current children cumulated vsize (KiB) 26879864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.901 s]
/proc/loadavg: 8.40 8.33 7.22 9/205 4823
/proc/meminfo: memFree=24281516/32770624 swapFree=0/256852
[pid=2119] ppid=2116 vsize=9512 CPUtime=0 cores=0-7
/proc/2119/stat : 2119 (xcsp3-exec) S 2116 2119 32125 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15732446 9740288 345 18446744073709551615 4194304 5098028 140733395832608 140733395830712 140432085197436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 39055360 140733395841427 140733395841636 140733395841636 140733395845099 0
/proc/2119/statm: 2378 345 289 221 0 87 0
[pid=2121] ppid=2119 vsize=26870352 CPUtime=1920.71 cores=0-7
/proc/2121/stat : 2121 (java) S 2119 2119 32125 0 -1 1077944320 165413 0 0 0 191719 352 0 0 20 0 28 0 15732456 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 140726138541808 139939665174263 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
/proc/2121/statm: 6717588 1862025 3255 1 0 6705889 0
[pid=2121/tid=2122] ppid=2119 vsize=26870352 CPUtime=2.72 cores=0-7
/proc/2121/task/2122/stat : 2122 (java) S 2119 2119 32125 0 -1 1077944384 11635 0 0 0 265 7 0 0 20 0 28 0 15732456 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939669414928 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2123] ppid=2119 vsize=26870352 CPUtime=0.17 cores=0-7
/proc/2121/task/2123/stat : 2123 (java) S 2119 2119 32125 0 -1 1077944384 496 0 0 0 13 4 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939632733200 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2124] ppid=2119 vsize=26870352 CPUtime=0.17 cores=0-7
/proc/2121/task/2124/stat : 2124 (java) S 2119 2119 32125 0 -1 1077944384 384 0 0 0 12 5 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939226606736 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2125] ppid=2119 vsize=26870352 CPUtime=0.17 cores=0-7
/proc/2121/task/2125/stat : 2125 (java) S 2119 2119 32125 0 -1 1077944384 653 0 0 0 11 6 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939225553680 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2126] ppid=2119 vsize=26870352 CPUtime=0.17 cores=0-7
/proc/2121/task/2126/stat : 2126 (java) S 2119 2119 32125 0 -1 1077944384 1101 0 0 0 12 5 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939224501136 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2127] ppid=2119 vsize=26870352 CPUtime=0.18 cores=0-7
/proc/2121/task/2127/stat : 2127 (java) S 2119 2119 32125 0 -1 1077944384 689 0 0 0 11 7 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939223448080 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2128] ppid=2119 vsize=26870352 CPUtime=0.18 cores=0-7
/proc/2121/task/2128/stat : 2128 (java) S 2119 2119 32125 0 -1 1077944384 1381 0 0 0 12 6 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939222395536 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2129] ppid=2119 vsize=26870352 CPUtime=0.19 cores=0-7
/proc/2121/task/2129/stat : 2129 (java) S 2119 2119 32125 0 -1 1077944384 542 0 0 0 13 6 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939221342480 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2130] ppid=2119 vsize=26870352 CPUtime=0.16 cores=0-7
/proc/2121/task/2130/stat : 2130 (java) S 2119 2119 32125 0 -1 1077944384 1113 0 0 0 11 5 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939220289936 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2131] ppid=2119 vsize=26870352 CPUtime=0.06 cores=0-7
/proc/2121/task/2131/stat : 2131 (java) S 2119 2119 32125 0 -1 1077944384 5654 0 0 0 4 2 0 0 20 0 28 0 15732459 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938344418032 139939665185410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2132] ppid=2119 vsize=26870352 CPUtime=0 cores=0-7
/proc/2121/task/2132/stat : 2132 (java) S 2119 2119 32125 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 15732459 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938343364320 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2133] ppid=2119 vsize=26870352 CPUtime=0 cores=0-7
/proc/2121/task/2133/stat : 2133 (java) S 2119 2119 32125 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 15732459 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938342311168 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2134] ppid=2119 vsize=26870352 CPUtime=0 cores=0-7
/proc/2121/task/2134/stat : 2134 (java) S 2119 2119 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938341259728 139939665192859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2135] ppid=2119 vsize=26870352 CPUtime=3.36 cores=0-7
/proc/2121/task/2135/stat : 2135 (java) S 2119 2119 32125 0 -1 1077944384 16844 0 0 0 332 4 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938340206832 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2136] ppid=2119 vsize=26870352 CPUtime=3.47 cores=0-7
/proc/2121/task/2136/stat : 2136 (java) S 2119 2119 32125 0 -1 1077944384 14920 0 0 0 345 2 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938339154288 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2137] ppid=2119 vsize=26870352 CPUtime=3.38 cores=0-7
/proc/2121/task/2137/stat : 2137 (java) S 2119 2119 32125 0 -1 1077944384 13863 0 0 0 336 2 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938338101232 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2138] ppid=2119 vsize=26870352 CPUtime=1.16 cores=0-7
/proc/2121/task/2138/stat : 2138 (java) S 2119 2119 32125 0 -1 1077944384 9377 0 0 0 115 1 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938337048688 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2139] ppid=2119 vsize=26870352 CPUtime=0 cores=0-7
/proc/2121/task/2139/stat : 2139 (java) S 2119 2119 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938335996896 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2140] ppid=2119 vsize=26870352 CPUtime=0.08 cores=0-7
/proc/2121/task/2140/stat : 2140 (java) S 2119 2119 32125 0 -1 1077944384 1058 0 0 0 5 3 0 0 20 0 28 0 15732470 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938334944432 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4810] ppid=2119 vsize=26870352 CPUtime=234.76 cores=0-7
/proc/2121/task/4810/stat : 4810 (java) R 2119 2119 32125 0 -1 4202560 2208 0 0 0 23467 9 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938311155736 139939314819065 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4811] ppid=2119 vsize=26870352 CPUtime=234.79 cores=0-7
/proc/2121/task/4811/stat : 4811 (java) R 2119 2119 32125 0 -1 4202560 2053 0 0 0 23478 1 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938313261320 139939315125454 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4812] ppid=2119 vsize=26870352 CPUtime=234.5 cores=0-7
/proc/2121/task/4812/stat : 4812 (java) R 2119 2119 32125 0 -1 4202560 1154 0 0 0 23449 1 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938318516616 139939314818991 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4813] ppid=2119 vsize=26870352 CPUtime=234.71 cores=0-7
/proc/2121/task/4813/stat : 4813 (java) R 2119 2119 32125 0 -1 4202560 34941 0 0 0 23324 147 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938315366144 139939651242388 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4814] ppid=2119 vsize=26870352 CPUtime=233.1 cores=0-7
/proc/2121/task/4814/stat : 4814 (java) R 2119 2119 32125 0 -1 4202560 5034 0 0 0 23287 23 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938310103288 139939314530474 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4815] ppid=2119 vsize=26870352 CPUtime=234.74 cores=0-7
/proc/2121/task/4815/stat : 4815 (java) R 2119 2119 32125 0 -1 4202560 1941 0 0 0 23474 0 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938322723080 139939315723806 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4816] ppid=2119 vsize=26870352 CPUtime=234.41 cores=0-7
/proc/2121/task/4816/stat : 4816 (java) R 2119 2119 32125 0 -1 4202560 5416 0 0 0 23422 19 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938320617304 139939315429168 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4817] ppid=2119 vsize=26870352 CPUtime=233.27 cores=0-7
/proc/2121/task/4817/stat : 4817 (java) R 2119 2119 32125 0 -1 4202560 3004 0 0 0 23314 13 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938321670744 139939315723260 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
Current children cumulated CPU time (s) 1920.71
Current children cumulated vsize (KiB) 26879864

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2121 sig 9
??? kill 2119 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+243.901 s]
/proc/loadavg: 8.40 8.33 7.22 9/205 4823
/proc/meminfo: memFree=24281516/32770624 swapFree=0/256852
[pid=2119] ppid=2116 vsize=9512 CPUtime=0 cores=0-7
/proc/2119/stat : 2119 (xcsp3-exec) S 2116 2119 32125 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 15732446 9740288 345 18446744073709551615 4194304 5098028 140733395832608 140733395830712 140432085197436 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 39055360 140733395841427 140733395841636 140733395841636 140733395845099 0
/proc/2119/statm: 2378 345 289 221 0 87 0
[pid=2121] ppid=2119 vsize=26870352 CPUtime=1920.71 cores=0-7
/proc/2121/stat : 2121 (java) S 2119 2119 32125 0 -1 1077944320 165413 0 0 0 191719 352 0 0 20 0 28 0 15732456 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 140726138541808 139939665174263 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
/proc/2121/statm: 6717588 1862025 3255 1 0 6705889 0
[pid=2121/tid=2122] ppid=2119 vsize=26870352 CPUtime=2.72 cores=0-7
/proc/2121/task/2122/stat : 2122 (java) S 2119 2119 32125 0 -1 1077944384 11635 0 0 0 265 7 0 0 20 0 28 0 15732456 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939669414928 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2123] ppid=2119 vsize=26870352 CPUtime=0.17 cores=0-7
/proc/2121/task/2123/stat : 2123 (java) S 2119 2119 32125 0 -1 1077944384 496 0 0 0 13 4 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939632733200 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2124] ppid=2119 vsize=26870352 CPUtime=0.17 cores=0-7
/proc/2121/task/2124/stat : 2124 (java) S 2119 2119 32125 0 -1 1077944384 384 0 0 0 12 5 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939226606736 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2125] ppid=2119 vsize=26870352 CPUtime=0.17 cores=0-7
/proc/2121/task/2125/stat : 2125 (java) S 2119 2119 32125 0 -1 1077944384 653 0 0 0 11 6 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939225553680 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2126] ppid=2119 vsize=26870352 CPUtime=0.17 cores=0-7
/proc/2121/task/2126/stat : 2126 (java) S 2119 2119 32125 0 -1 1077944384 1101 0 0 0 12 5 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939224501136 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2127] ppid=2119 vsize=26870352 CPUtime=0.18 cores=0-7
/proc/2121/task/2127/stat : 2127 (java) S 2119 2119 32125 0 -1 1077944384 689 0 0 0 11 7 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939223448080 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2128] ppid=2119 vsize=26870352 CPUtime=0.18 cores=0-7
/proc/2121/task/2128/stat : 2128 (java) S 2119 2119 32125 0 -1 1077944384 1381 0 0 0 12 6 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939222395536 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2129] ppid=2119 vsize=26870352 CPUtime=0.19 cores=0-7
/proc/2121/task/2129/stat : 2129 (java) S 2119 2119 32125 0 -1 1077944384 542 0 0 0 13 6 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939221342480 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2130] ppid=2119 vsize=26870352 CPUtime=0.16 cores=0-7
/proc/2121/task/2130/stat : 2130 (java) S 2119 2119 32125 0 -1 1077944384 1113 0 0 0 11 5 0 0 20 0 28 0 15732457 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139939220289936 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2131] ppid=2119 vsize=26870352 CPUtime=0.06 cores=0-7
/proc/2121/task/2131/stat : 2131 (java) S 2119 2119 32125 0 -1 1077944384 5654 0 0 0 4 2 0 0 20 0 28 0 15732459 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938344418032 139939665185410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2132] ppid=2119 vsize=26870352 CPUtime=0 cores=0-7
/proc/2121/task/2132/stat : 2132 (java) S 2119 2119 32125 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 15732459 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938343364320 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2133] ppid=2119 vsize=26870352 CPUtime=0 cores=0-7
/proc/2121/task/2133/stat : 2133 (java) S 2119 2119 32125 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 15732459 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938342311168 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2134] ppid=2119 vsize=26870352 CPUtime=0 cores=0-7
/proc/2121/task/2134/stat : 2134 (java) S 2119 2119 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938341259728 139939665192859 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2135] ppid=2119 vsize=26870352 CPUtime=3.36 cores=0-7
/proc/2121/task/2135/stat : 2135 (java) S 2119 2119 32125 0 -1 1077944384 16844 0 0 0 332 4 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938340206832 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2136] ppid=2119 vsize=26870352 CPUtime=3.47 cores=0-7
/proc/2121/task/2136/stat : 2136 (java) S 2119 2119 32125 0 -1 1077944384 14920 0 0 0 345 2 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938339154288 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2137] ppid=2119 vsize=26870352 CPUtime=3.38 cores=0-7
/proc/2121/task/2137/stat : 2137 (java) S 2119 2119 32125 0 -1 1077944384 13863 0 0 0 336 2 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938338101232 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2138] ppid=2119 vsize=26870352 CPUtime=1.16 cores=0-7
/proc/2121/task/2138/stat : 2138 (java) S 2119 2119 32125 0 -1 1077944384 9377 0 0 0 115 1 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938337048688 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2139] ppid=2119 vsize=26870352 CPUtime=0 cores=0-7
/proc/2121/task/2139/stat : 2139 (java) S 2119 2119 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15732462 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938335996896 139939665184469 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=2140] ppid=2119 vsize=26870352 CPUtime=0.08 cores=0-7
/proc/2121/task/2140/stat : 2140 (java) S 2119 2119 32125 0 -1 1077944384 1058 0 0 0 5 3 0 0 20 0 28 0 15732470 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938334944432 139939665185410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4810] ppid=2119 vsize=26870352 CPUtime=234.76 cores=0-7
/proc/2121/task/4810/stat : 4810 (java) R 2119 2119 32125 0 -1 4202560 2208 0 0 0 23467 9 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938311155736 139939314819065 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4811] ppid=2119 vsize=26870352 CPUtime=234.79 cores=0-7
/proc/2121/task/4811/stat : 4811 (java) R 2119 2119 32125 0 -1 4202560 2053 0 0 0 23478 1 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938313261320 139939315125454 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4812] ppid=2119 vsize=26870352 CPUtime=234.5 cores=0-7
/proc/2121/task/4812/stat : 4812 (java) R 2119 2119 32125 0 -1 4202560 1154 0 0 0 23449 1 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938318516616 139939314818991 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4813] ppid=2119 vsize=26870352 CPUtime=234.71 cores=0-7
/proc/2121/task/4813/stat : 4813 (java) R 2119 2119 32125 0 -1 4202560 34941 0 0 0 23324 147 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938315366144 139939651242388 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4814] ppid=2119 vsize=26870352 CPUtime=233.1 cores=0-7
/proc/2121/task/4814/stat : 4814 (java) R 2119 2119 32125 0 -1 4202560 5034 0 0 0 23287 23 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938310103288 139939314530474 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4815] ppid=2119 vsize=26870352 CPUtime=234.74 cores=0-7
/proc/2121/task/4815/stat : 4815 (java) R 2119 2119 32125 0 -1 4202560 1941 0 0 0 23474 0 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938322723080 139939315723806 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4816] ppid=2119 vsize=26870352 CPUtime=234.41 cores=0-7
/proc/2121/task/4816/stat : 4816 (java) R 2119 2119 32125 0 -1 4202560 5416 0 0 0 23422 19 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938320617304 139939315429168 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
[pid=2121/tid=4817] ppid=2119 vsize=26870352 CPUtime=233.27 cores=0-7
/proc/2121/task/4817/stat : 4817 (java) R 2119 2119 32125 0 -1 4202560 3004 0 0 0 23314 13 0 0 20 0 28 0 15733336 27515240448 1862025 18446744073709551615 4194304 4196468 140726138559264 139938321670744 139939315723260 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140726138565072 140726138565248 140726138565248 140726138568655 0
Current children cumulated CPU time (s) 1920.71
Current children cumulated vsize (KiB) 26879864

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2119 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=900
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1294
# CPU time returned by wait4() is 0.002194
# while last known CPU time is 1920.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 243.929
CPU time (s): 1920.71
CPU user time (s): 1917.19
CPU system time (s): 3.52
CPU usage (%): 787.404
Max. virtual memory (cumulated for all children) (KiB): 26879864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.0009
system time used= 0.001294
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.96876 second user time and 1.76112 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-02 14:52:05
IDJOB=4254842
IDBENCH=115900
IDSOLVER=2636
FILE ID=node133/4254842-1501679171
RUNJOBID= node133-1501676554-32181
PBS_JOBID= 
Free space on /tmp= 61864 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.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-4254842-1501679171/watcher-4254842-1501679171 -o /tmp/evaluation-result-4254842-1501679171/solver-4254842-1501679171 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node133-1501676554-32181 --watchdog 324  ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 988793679 HOME/instance-4254842-1501679171.xml

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

MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117
RANDOM SEED=988793679

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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.17
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.17
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.17
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:        31729180 kB
MemAvailable:   32004544 kB
Buffers:          141404 kB
Cached:           421268 kB
SwapCached:            0 kB
Active:           352020 kB
Inactive:         273748 kB
Active(anon):      63444 kB
Inactive(anon):    16728 kB
Active(file):     288576 kB
Inactive(file):   257020 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7824 kB
Writeback:             0 kB
AnonPages:         98904 kB
Mapped:            31584 kB
Shmem:             17084 kB
Slab:             116952 kB
SReclaimable:      91204 kB
SUnreclaim:        25748 kB
KernelStack:        3616 kB
PageTables:         4416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     286196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 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:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61856 MiB
End job on node133 at 2017-08-02 14:56:09