Trace number 4280612

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)341 20034 2520.1399

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 benchmark373
Best CPU time to get the best result obtained on this benchmark2400.03
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.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280612-1503116451.xml"  -tl '20160s' -p 8 -x 0
0.10/0.14	c [HOME/instance-4280612-1503116451.xml, -tl, 20160s, -p, 8, -x, 0]
0.10/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
6.92/2.62	c solve instance...
10.64/3.13	o 0 
10.64/3.14	o 4 
10.64/3.15	o 6 
10.64/3.16	o 8 
10.64/3.20	o 10 
11.25/3.21	o 12 
11.25/3.25	o 14 
11.25/3.27	o 16 
11.25/3.29	o 17 
11.97/3.30	o 18 
11.97/3.31	o 19 
11.97/3.32	o 20 
11.97/3.32	o 21 
11.97/3.33	o 22 
11.97/3.34	o 23 
11.97/3.34	o 24 
11.97/3.37	o 25 
11.97/3.38	o 26 
11.97/3.38	o 27 
11.97/3.39	o 28 
11.97/3.39	o 29 
12.57/3.40	o 30 
12.57/3.40	o 31 
12.57/3.41	o 32 
12.57/3.41	o 33 
12.57/3.42	o 34 
12.57/3.42	o 35 
12.57/3.43	o 36 
12.57/3.43	o 37 
12.57/3.44	o 38 
12.57/3.44	o 39 
12.57/3.45	o 40 
12.57/3.46	o 41 
12.57/3.46	o 42 
12.57/3.49	o 43 
12.57/3.49	o 44 
13.17/3.50	o 45 
13.17/3.50	o 46 
13.17/3.52	o 47 
13.17/3.52	o 48 
13.17/3.53	o 49 
13.17/3.53	o 50 
13.17/3.54	o 51 
13.17/3.54	o 52 
13.17/3.55	o 53 
13.17/3.56	o 54 
13.17/3.57	o 55 
13.17/3.58	o 56 
13.17/3.58	o 57 
13.78/3.60	o 58 
13.78/3.60	o 59 
13.78/3.61	o 60 
13.78/3.61	o 61 
13.78/3.62	o 62 
13.78/3.63	o 63 
13.78/3.63	o 64 
13.78/3.64	o 65 
13.78/3.64	o 66 
13.78/3.65	o 67 
13.78/3.65	o 68 
13.78/3.66	o 69 
13.78/3.67	o 70 
13.78/3.67	o 71 
13.78/3.68	o 72 
13.78/3.68	o 73 
14.35/3.71	o 74 
14.35/3.71	o 75 
14.35/3.72	o 76 
14.35/3.72	o 77 
14.35/3.73	o 78 
14.35/3.73	o 79 
14.35/3.74	o 80 
14.35/3.74	o 81 
14.35/3.74	o 82 
14.35/3.75	o 83 
14.35/3.77	o 84 
14.35/3.78	o 85 
14.35/3.80	o 86 
14.94/3.80	o 87 
14.94/3.81	o 88 
14.94/3.81	o 89 
14.94/3.82	o 90 
14.94/3.83	o 91 
14.94/3.83	o 92 
14.94/3.84	o 93 
14.94/3.84	o 94 
14.94/3.85	o 95 
14.94/3.85	o 96 
14.94/3.86	o 97 
14.94/3.86	o 98 
14.94/3.87	o 99 
14.94/3.87	o 100 
14.94/3.88	o 101 
14.94/3.90	o 102 
15.59/3.90	o 103 
15.59/3.91	o 104 
15.59/3.91	o 105 
15.59/3.92	o 106 
15.59/3.92	o 107 
15.59/3.93	o 108 
15.59/3.93	o 109 
15.59/3.96	o 110 
15.59/3.97	o 111 
15.59/3.97	o 112 
16.25/4.01	o 113 
16.25/4.03	o 114 
16.25/4.03	o 115 
16.25/4.04	o 116 
16.25/4.04	o 117 
16.25/4.04	o 118 
16.25/4.05	o 119 
16.25/4.09	o 120 
16.25/4.09	o 121 
16.25/4.10	o 122 
16.25/4.10	o 123 
16.25/4.11	o 124 
16.96/4.11	o 125 
16.96/4.12	o 126 
16.96/4.14	o 127 
16.96/4.15	o 128 
16.96/4.15	o 129 
16.96/4.16	o 130 
16.96/4.17	o 131 
16.96/4.17	o 132 
16.96/4.18	o 133 
16.96/4.18	o 134 
16.96/4.19	o 135 
16.96/4.20	o 136 
17.52/4.20	o 137 
17.52/4.21	o 138 
17.52/4.22	o 139 
17.52/4.22	o 140 
17.52/4.23	o 141 
17.52/4.24	o 142 
17.52/4.24	o 143 
17.52/4.25	o 144 
17.52/4.25	o 145 
17.52/4.26	o 146 
17.52/4.27	o 147 
17.52/4.27	o 148 
17.52/4.28	o 149 
17.52/4.29	o 150 
17.52/4.29	o 151 
18.04/4.30	o 152 
18.04/4.33	o 153 
18.04/4.38	o 154 
18.04/4.38	o 155 
18.04/4.39	o 156 
18.75/4.43	o 157 
18.75/4.44	o 158 
18.75/4.44	o 159 
18.75/4.45	o 160 
18.75/4.45	o 161 
18.75/4.47	o 162 
18.75/4.47	o 163 
18.75/4.48	o 164 
18.75/4.48	o 165 
18.75/4.49	o 166 
18.75/4.49	o 167 
18.75/4.50	o 168 
19.34/4.50	o 169 
19.34/4.51	o 170 
19.34/4.51	o 171 
19.34/4.52	o 172 
19.34/4.52	o 173 
19.34/4.53	o 174 
19.34/4.53	o 175 
19.34/4.54	o 176 
19.34/4.54	o 177 
19.34/4.55	o 178 
19.34/4.56	o 179 
19.34/4.56	o 180 
19.34/4.57	o 181 
19.34/4.57	o 182 
19.34/4.58	o 183 
19.34/4.58	o 184 
19.34/4.59	o 185 
19.34/4.59	o 186 
19.91/4.60	o 187 
19.91/4.61	o 188 
19.91/4.62	o 189 
19.91/4.62	o 190 
19.91/4.63	o 191 
19.91/4.64	o 192 
19.91/4.65	o 193 
19.91/4.66	o 194 
19.91/4.67	o 195 
19.91/4.67	o 196 
19.91/4.68	o 197 
19.91/4.69	o 198 
19.91/4.69	o 199 
20.39/4.70	o 200 
20.39/4.71	o 201 
20.39/4.71	o 202 
20.39/4.72	o 203 
20.39/4.72	o 204 
20.39/4.73	o 205 
20.39/4.74	o 206 
20.39/4.74	o 207 
20.39/4.75	o 208 
20.39/4.76	o 209 
20.39/4.76	o 210 
20.39/4.77	o 211 
20.39/4.78	o 212 
20.39/4.79	o 213 
20.39/4.79	o 214 
20.98/4.80	o 215 
20.98/4.81	o 216 
20.98/4.82	o 217 
20.98/4.82	o 218 
20.98/4.83	o 219 
20.98/4.84	o 220 
20.98/4.85	o 221 
20.98/4.86	o 222 
20.98/4.86	o 223 
20.98/4.87	o 224 
20.98/4.88	o 225 
20.98/4.89	o 226 
20.98/4.89	o 227 
20.98/4.90	o 228 
21.55/4.91	o 229 
21.55/4.92	o 230 
21.55/4.92	o 231 
21.55/4.93	o 232 
21.55/4.94	o 233 
21.55/4.95	o 234 
21.55/4.95	o 235 
21.55/4.96	o 236 
21.55/4.96	o 237 
21.55/4.97	o 238 
21.55/4.98	o 239 
21.55/4.99	o 240 
21.55/5.00	o 241 
21.55/5.01	o 242 
22.18/5.02	o 243 
22.18/5.02	o 244 
22.18/5.03	o 245 
22.18/5.03	o 246 
22.18/5.04	o 247 
22.18/5.05	o 248 
22.18/5.06	o 249 
22.18/5.06	o 250 
22.18/5.07	o 251 
22.18/5.08	o 252 
22.18/5.09	o 253 
22.18/5.09	o 254 
22.18/5.10	o 255 
22.18/5.11	o 256 
22.77/5.11	o 257 
22.77/5.12	o 258 
22.77/5.13	o 259 
22.77/5.14	o 260 
22.77/5.14	o 261 
22.77/5.15	o 262 
22.77/5.16	o 263 
22.77/5.16	o 264 
22.77/5.17	o 265 
22.77/5.18	o 266 
22.77/5.19	o 267 
22.77/5.19	o 268 
23.29/5.20	o 269 
23.29/5.21	o 270 
23.29/5.21	o 271 
23.29/5.22	o 272 
23.29/5.23	o 273 
23.29/5.24	o 274 
23.29/5.24	o 275 
23.29/5.26	o 276 
23.29/5.26	o 277 
23.29/5.27	o 278 
23.29/5.28	o 279 
23.29/5.28	o 280 
23.29/5.29	o 281 
23.29/5.30	o 282 
23.89/5.31	o 283 
23.89/5.31	o 284 
23.89/5.32	o 285 
23.89/5.33	o 286 
23.89/5.34	o 287 
23.89/5.34	o 288 
23.89/5.35	o 289 
23.89/5.36	o 290 
23.89/5.37	o 291 
23.89/5.37	o 292 
23.89/5.38	o 293 
23.89/5.39	o 294 
23.89/5.40	o 295 
24.44/5.41	o 296 
24.44/5.41	o 297 
24.44/5.42	o 298 
24.44/5.43	o 299 
24.44/5.44	o 300 
24.44/5.45	o 301 
24.44/5.45	o 302 
24.44/5.46	o 303 
24.44/5.47	o 304 
24.44/5.48	o 305 
24.44/5.49	o 306 
24.99/5.50	o 307 
24.99/5.50	o 308 
24.99/5.51	o 309 
24.99/5.52	o 310 
24.99/5.53	o 311 
24.99/5.54	o 312 
24.99/5.55	o 313 
24.99/5.56	o 314 
24.99/5.56	o 315 
24.99/5.57	o 316 
24.99/5.58	o 317 
24.99/5.58	o 318 
24.99/5.59	o 319 
24.99/5.60	o 320 
25.54/5.60	o 321 
25.54/5.61	o 322 
25.54/5.62	o 323 
25.54/5.63	o 324 
25.54/5.63	o 325 
25.54/5.64	o 326 
25.54/5.65	o 327 
25.54/5.66	o 328 
25.54/5.66	o 329 
25.54/5.67	o 330 
25.54/5.68	o 331 
25.54/5.69	o 332 
25.54/5.70	o 333 
26.06/5.70	o 334 
26.06/5.71	o 335 
26.06/5.72	o 336 
26.06/5.73	o 337 
43.50/7.93	o 338 
43.50/7.94	o 339 
43.50/7.95	o 340 
48.21/8.51	o 341 
20033.29/2520.08	s SATISFIABLE
20033.29/2520.08	v <instantiation>
20033.29/2520.08	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>
20033.29/2520.08	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>
20033.29/2520.08	v </instantiation>
20033.29/2520.08	c Unexpected resolution interruption!

Verifier Data 

OK	341

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12774 MiB free)
  memory of node 1: 16384 MiB (13977 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280612-1503116451/watcher-4280612-1503116451 -o /tmp/evaluation-result-4280612-1503116451/solver-4280612-1503116451 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503115591-1205 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1360680245 HOME/instance-4280612-1503116451.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1222, runsolver pid=1219

[startup+0.100174 s]*
/proc/loadavg: 7.95 8.13 8.20 3/199 1244
/proc/meminfo: memFree=27378472/32770624 swapFree=67108860/67108860
[pid=1222] ppid=1219 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1222/stat : 1222 (xcsp3-exec) S 1219 1222 1178 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144732728 9740288 346 33554432000 4194304 5098028 140732752596256 140732752594360 139801159197308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31547392 140732752602212 140732752602423 140732752602423 140732752605163 0
/proc/1222/statm: 2378 346 289 221 0 87 0
[pid=1224] ppid=1222 vsize=25999808 memory=26264 CPUtime=0.1 cores=0-7
/proc/1224/stat : 1224 (java) S 1222 1222 1178 0 -1 1077944320 5450 0 0 0 9 1 0 0 20 0 20 0 144732728 26623803392 6566 33554432000 4194304 4196468 140725887265552 140725887248096 140019845611255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
/proc/1224/statm: 6499952 6566 2864 1 0 6488269 0
[pid=1224/tid=1225] ppid=1222 vsize=25999808 memory=1400242874264906928 CPUtime=0.09 cores=0-7
/proc/1224/task/1225/stat : 1225 (java) R 1222 1222 1178 0 -1 4202560 3464 0 0 0 8 1 0 0 20 0 20 0 144732729 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019849843504 140019845623190 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1227] ppid=1222 vsize=25999808 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1224/task/1227/stat : 1227 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019768192144 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1228] ppid=1222 vsize=25999808 memory=140355105748608 CPUtime=0 cores=0-7
/proc/1224/task/1228/stat : 1228 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019767139344 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1229] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1229/stat : 1229 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019766086544 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1230] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1230/stat : 1230 (java) S 1222 1222 1178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732730 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019765033744 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1231] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1231/stat : 1231 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732730 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019763980944 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1232] ppid=1222 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1224/task/1232/stat : 1232 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732730 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019762928144 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1233] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1233/stat : 1233 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732730 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019761875344 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1234] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1234/stat : 1234 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019760822544 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1235] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1235/stat : 1235 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732731 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019106855792 140019845622402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1236] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1236/stat : 1236 (java) S 1222 1222 1178 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144732731 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019105801760 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1237] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1237/stat : 1237 (java) S 1222 1222 1178 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144732732 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019104748912 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1238] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1238/stat : 1238 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732734 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019103697232 140019845629851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1239] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1239/stat : 1239 (java) S 1222 1222 1178 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 20 0 144732734 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019102644592 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1240] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1240/stat : 1240 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732734 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019101591792 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1241] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1241/stat : 1241 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732734 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019100538992 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1242] ppid=1222 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/1224/task/1242/stat : 1242 (java) S 1222 1222 1178 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 144732734 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019099486192 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1243] ppid=1222 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1243/stat : 1243 (java) S 1222 1222 1178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732734 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019098434656 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1244] ppid=1222 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1224/task/1244/stat : 1244 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732735 26623803392 6632 33554432000 4194304 4196468 140725887265552 140019097381936 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27648 KiB

[startup+0.210237 s]*
/proc/loadavg: 7.95 8.13 8.20 2/199 1244
/proc/meminfo: memFree=27367680/32770624 swapFree=67108860/67108860
[pid=1222] ppid=1219 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1222/stat : 1222 (xcsp3-exec) S 1219 1222 1178 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144732728 9740288 346 33554432000 4194304 5098028 140732752596256 140732752594360 139801159197308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31547392 140732752602212 140732752602423 140732752602423 140732752605163 0
/proc/1222/statm: 2378 346 289 221 0 87 0
[pid=1224] ppid=1222 vsize=26004064 memory=38800 CPUtime=0.32 cores=0-7
/proc/1224/stat : 1224 (java) S 1222 1222 1178 0 -1 1077944320 8279 0 0 0 30 2 0 0 20 0 20 0 144732728 26628161536 9700 33554432000 4194304 4196468 140725887265552 140725887248096 140019845611255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
/proc/1224/statm: 6501016 9700 3032 1 0 6488269 0
[pid=1224/tid=1225] ppid=1222 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/1224/task/1225/stat : 1225 (java) R 1222 1222 1178 0 -1 4202560 5386 0 0 0 18 1 0 0 20 0 20 0 144732729 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019849823184 140019845633181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1227] ppid=1222 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/1224/task/1227/stat : 1227 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019768192144 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1228] ppid=1222 vsize=26004064 memory=3547069450156799648 CPUtime=0 cores=0-7
/proc/1224/task/1228/stat : 1228 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019767139344 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1229] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1229/stat : 1229 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019766086544 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1230] ppid=1222 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1224/task/1230/stat : 1230 (java) S 1222 1222 1178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019765033744 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1231] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1231/stat : 1231 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019763980944 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1232] ppid=1222 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1224/task/1232/stat : 1232 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019762928144 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1233] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1233/stat : 1233 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019761875344 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1234] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1234/stat : 1234 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019760822544 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1235] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1235/stat : 1235 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732731 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019106855792 140019845622402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1236] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1236/stat : 1236 (java) S 1222 1222 1178 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144732731 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019105801760 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1237] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1237/stat : 1237 (java) S 1222 1222 1178 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144732732 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019104748912 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1238] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1238/stat : 1238 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732734 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019103697232 140019845629851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1239] ppid=1222 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1224/task/1239/stat : 1239 (java) S 1222 1222 1178 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 20 0 144732734 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019102644592 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1240] ppid=1222 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/1224/task/1240/stat : 1240 (java) S 1222 1222 1178 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 20 0 144732734 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019101591792 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1241] ppid=1222 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1224/task/1241/stat : 1241 (java) S 1222 1222 1178 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 144732734 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019100538992 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1242] ppid=1222 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/1224/task/1242/stat : 1242 (java) R 1222 1222 1178 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 20 0 144732734 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019099486192 140019824325501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1243] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1243/stat : 1243 (java) S 1222 1222 1178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732734 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019098434656 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1244] ppid=1222 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1224/task/1244/stat : 1244 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732735 26628161536 9700 33554432000 4194304 4196468 140725887265552 140019097381936 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40184 KiB

[startup+0.309465 s]*
/proc/loadavg: 7.95 8.13 8.20 3/199 1244
/proc/meminfo: memFree=27362532/32770624 swapFree=67108860/67108860
[pid=1222] ppid=1219 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1222/stat : 1222 (xcsp3-exec) S 1219 1222 1178 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144732728 9740288 346 33554432000 4194304 5098028 140732752596256 140732752594360 139801159197308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31547392 140732752602212 140732752602423 140732752602423 140732752605163 0
/proc/1222/statm: 2378 346 289 221 0 87 0
[pid=1224] ppid=1222 vsize=26004064 memory=46008 CPUtime=0.49 cores=0-7
/proc/1224/stat : 1224 (java) S 1222 1222 1178 0 -1 1077944320 9199 0 0 0 46 3 0 0 20 0 20 0 144732728 26628161536 11502 33554432000 4194304 4196468 140725887265552 140725887248096 140019845611255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
/proc/1224/statm: 6501016 11502 3111 1 0 6488269 0
[pid=1224/tid=1225] ppid=1222 vsize=26004064 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/1224/task/1225/stat : 1225 (java) R 1222 1222 1178 0 -1 4202560 6052 0 0 0 27 2 0 0 20 0 20 0 144732729 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019849848928 140019845623190 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1227] ppid=1222 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1224/task/1227/stat : 1227 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019768192144 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1228] ppid=1222 vsize=26004064 memory=1428 CPUtime=0 cores=0-7
/proc/1224/task/1228/stat : 1228 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019767139344 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1229] ppid=1222 vsize=26004064 memory=1204 CPUtime=0 cores=0-7
/proc/1224/task/1229/stat : 1229 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019766086544 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1230] ppid=1222 vsize=26004064 memory=15880 CPUtime=0 cores=0-7
/proc/1224/task/1230/stat : 1230 (java) S 1222 1222 1178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019765033744 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1231] ppid=1222 vsize=26004064 memory=24328 CPUtime=0 cores=0-7
/proc/1224/task/1231/stat : 1231 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019763980944 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1232] ppid=1222 vsize=26004064 memory=4048 CPUtime=0 cores=0-7
/proc/1224/task/1232/stat : 1232 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019762928144 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1233] ppid=1222 vsize=26004064 memory=18488 CPUtime=0 cores=0-7
/proc/1224/task/1233/stat : 1233 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019761875344 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1234] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1234/stat : 1234 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019760822544 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1235] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1235/stat : 1235 (java) S 1222 1222 1178 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144732731 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019106855792 140019845622402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1236] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1236/stat : 1236 (java) S 1222 1222 1178 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144732731 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019105801760 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1237] ppid=1222 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1237/stat : 1237 (java) S 1222 1222 1178 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144732732 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019104748912 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1238] ppid=1222 vsize=26004064 memory=140354967930319 CPUtime=0 cores=0-7
/proc/1224/task/1238/stat : 1238 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732734 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019103697232 140019845629851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1239] ppid=1222 vsize=26004064 memory=67 CPUtime=0.02 cores=0-7
/proc/1224/task/1239/stat : 1239 (java) S 1222 1222 1178 0 -1 1077944384 576 0 0 0 2 0 0 0 20 0 20 0 144732734 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019102644592 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1240] ppid=1222 vsize=26004064 memory=51172 CPUtime=0.04 cores=0-7
/proc/1224/task/1240/stat : 1240 (java) S 1222 1222 1178 0 -1 1077944384 345 0 0 0 4 0 0 0 20 0 20 0 144732734 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019101591792 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1241] ppid=1222 vsize=26004064 memory=53476 CPUtime=0 cores=0-7
/proc/1224/task/1241/stat : 1241 (java) S 1222 1222 1178 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 144732734 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019100538992 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1242] ppid=1222 vsize=26004064 memory=55780 CPUtime=0.12 cores=0-7
/proc/1224/task/1242/stat : 1242 (java) R 1222 1222 1178 0 -1 4202560 874 0 0 0 12 0 0 0 20 0 20 0 144732734 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019099482560 140019838711102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1243] ppid=1222 vsize=26004064 memory=110297088 CPUtime=0 cores=0-7
/proc/1224/task/1243/stat : 1243 (java) S 1222 1222 1178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144732734 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019098434656 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1244] ppid=1222 vsize=26004064 memory=9740287 CPUtime=0 cores=0-7
/proc/1224/task/1244/stat : 1244 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732735 26628161536 11502 33554432000 4194304 4196468 140725887265552 140019097381936 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47392 KiB

[startup+0.700975 s]
/proc/loadavg: 7.95 8.13 8.20 6/199 1244
/proc/meminfo: memFree=27336492/32770624 swapFree=67108860/67108860
[pid=1222] ppid=1219 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1222/stat : 1222 (xcsp3-exec) S 1219 1222 1178 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144732728 9740288 346 33554432000 4194304 5098028 140732752596256 140732752594360 139801159197308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31547392 140732752602212 140732752602423 140732752602423 140732752605163 0
/proc/1222/statm: 2378 346 289 221 0 87 0
[pid=1224] ppid=1222 vsize=26006188 memory=83120 CPUtime=1.79 cores=0-7
/proc/1224/stat : 1224 (java) S 1222 1222 1178 0 -1 1077944320 12407 0 0 0 174 5 0 0 20 0 20 0 144732728 26630336512 20780 33554432000 4194304 4196468 140725887265552 140725887248096 140019845611255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
/proc/1224/statm: 6501547 20780 3200 1 0 6488781 0
[pid=1224/tid=1225] ppid=1222 vsize=26006188 memory=280709935910752 CPUtime=0.67 cores=0-7
/proc/1224/task/1225/stat : 1225 (java) R 1222 1222 1178 0 -1 4202560 6593 0 0 0 64 3 0 0 20 0 20 0 144732729 26630336512 20780 33554432000 4194304 4196468 140725887265552 140019849846592 140019444840743 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1227] ppid=1222 vsize=26006188 memory=140354968134512 CPUtime=0 cores=0-7
/proc/1224/task/1227/stat : 1227 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26630336512 20780 33554432000 4194304 4196468 140725887265552 140019768192144 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1228] ppid=1222 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1224/task/1228/stat : 1228 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26630336512 20780 33554432000 4194304 4196468 140725887265552 140019767139344 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1229] ppid=1222 vsize=26006188 memory=2416 CPUtime=0 cores=0-7
/proc/1224/task/1229/stat : 1229 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144732730 26630336512 20780 33554432000 4194304 4196468 140725887265552 140019766086544 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0

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

/proc/meminfo: memFree=20018912/32770624 swapFree=67108860/67108860
[pid=1222] ppid=1219 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1222/stat : 1222 (xcsp3-exec) S 1219 1222 1178 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144732728 9740288 346 33554432000 4194304 5098028 140732752596256 140732752594360 139801159197308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31547392 140732752602212 140732752602423 140732752602423 140732752605163 0
/proc/1222/statm: 2378 346 289 221 0 87 0
[pid=1224] ppid=1222 vsize=26740440 memory=7372420 CPUtime=19892.6 cores=0-7
/proc/1224/stat : 1224 (java) S 1222 1222 1178 0 -1 1077944320 983325 0 0 0 1988467 790 0 0 20 0 28 0 144732728 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140725887248096 140019845611255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
/proc/1224/statm: 6685110 1843105 3305 1 0 6672344 0
[pid=1224/tid=1225] ppid=1222 vsize=26740440 memory=7376012 CPUtime=2.7 cores=0-7
/proc/1224/task/1225/stat : 1225 (java) S 1222 1222 1178 0 -1 1077944384 9670 0 0 0 262 8 0 0 20 0 28 0 144732729 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019849851952 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1227] ppid=1222 vsize=26740440 memory=7372420 CPUtime=5.02 cores=0-7
/proc/1224/task/1227/stat : 1227 (java) S 1222 1222 1178 0 -1 1077944384 38357 0 0 0 483 19 0 0 20 0 28 0 144732730 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019768192144 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1228] ppid=1222 vsize=26740440 memory=1384 CPUtime=5.03 cores=0-7
/proc/1224/task/1228/stat : 1228 (java) S 1222 1222 1178 0 -1 1077944384 39120 0 0 0 484 19 0 0 20 0 28 0 144732730 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019767139344 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1229] ppid=1222 vsize=26740440 memory=280709938524288 CPUtime=5.04 cores=0-7
/proc/1224/task/1229/stat : 1229 (java) S 1222 1222 1178 0 -1 1077944384 39718 0 0 0 485 19 0 0 20 0 28 0 144732730 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019766086544 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1230] ppid=1222 vsize=26740440 memory=140359400715903 CPUtime=5.06 cores=0-7
/proc/1224/task/1230/stat : 1230 (java) S 1222 1222 1178 0 -1 1077944384 38002 0 0 0 486 20 0 0 20 0 28 0 144732730 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019765033744 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1231] ppid=1222 vsize=26740440 memory=0 CPUtime=5.01 cores=0-7
/proc/1224/task/1231/stat : 1231 (java) S 1222 1222 1178 0 -1 1077944384 39411 0 0 0 482 19 0 0 20 0 28 0 144732730 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019763980944 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1232] ppid=1222 vsize=26740440 memory=13792 CPUtime=5.04 cores=0-7
/proc/1224/task/1232/stat : 1232 (java) S 1222 1222 1178 0 -1 1077944384 37768 0 0 0 485 19 0 0 20 0 28 0 144732730 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019762928144 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1233] ppid=1222 vsize=26740440 memory=1384 CPUtime=5.03 cores=0-7
/proc/1224/task/1233/stat : 1233 (java) S 1222 1222 1178 0 -1 1077944384 38687 0 0 0 483 20 0 0 20 0 28 0 144732730 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019761875344 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1234] ppid=1222 vsize=26740440 memory=7376524 CPUtime=5.07 cores=0-7
/proc/1224/task/1234/stat : 1234 (java) S 1222 1222 1178 0 -1 1077944384 36903 0 0 0 486 21 0 0 20 0 28 0 144732730 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019760822544 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1235] ppid=1222 vsize=26740440 memory=4126316290023845779 CPUtime=2.74 cores=0-7
/proc/1224/task/1235/stat : 1235 (java) S 1222 1222 1178 0 -1 1077944384 153776 0 0 0 225 49 0 0 20 0 28 0 144732731 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019106855792 140019845622402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1236] ppid=1222 vsize=26740440 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1224/task/1236/stat : 1236 (java) S 1222 1222 1178 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 144732731 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019105801888 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1237] ppid=1222 vsize=26740440 memory=7376012 CPUtime=0 cores=0-7
/proc/1224/task/1237/stat : 1237 (java) S 1222 1222 1178 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 144732732 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019104748992 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1238] ppid=1222 vsize=26740440 memory=1152 CPUtime=0 cores=0-7
/proc/1224/task/1238/stat : 1238 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144732734 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019103697232 140019845629851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1239] ppid=1222 vsize=26740440 memory=8112282956445269571 CPUtime=2.95 cores=0-7
/proc/1224/task/1239/stat : 1239 (java) S 1222 1222 1178 0 -1 1077944384 15520 0 0 0 293 2 0 0 20 0 28 0 144732734 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019102644592 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1240] ppid=1222 vsize=26740440 memory=7391844 CPUtime=2.98 cores=0-7
/proc/1224/task/1240/stat : 1240 (java) S 1222 1222 1178 0 -1 1077944384 12844 0 0 0 295 3 0 0 20 0 28 0 144732734 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019101591792 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1241] ppid=1222 vsize=26740440 memory=1384 CPUtime=2.79 cores=0-7
/proc/1224/task/1241/stat : 1241 (java) S 1222 1222 1178 0 -1 1077944384 15248 0 0 0 276 3 0 0 20 0 28 0 144732734 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019100538992 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1242] ppid=1222 vsize=26740440 memory=1384 CPUtime=1.13 cores=0-7
/proc/1224/task/1242/stat : 1242 (java) S 1222 1222 1178 0 -1 1077944384 12241 0 0 0 110 3 0 0 20 0 28 0 144732734 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019099486192 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1243] ppid=1222 vsize=26740440 memory=1948 CPUtime=0 cores=0-7
/proc/1224/task/1243/stat : 1243 (java) S 1222 1222 1178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144732734 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019098434656 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1244] ppid=1222 vsize=26740440 memory=8600 CPUtime=1.02 cores=0-7
/proc/1224/task/1244/stat : 1244 (java) S 1222 1222 1178 0 -1 1077944384 8457 0 0 0 39 63 0 0 20 0 28 0 144732735 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019097381936 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3932] ppid=1222 vsize=26740440 memory=1384 CPUtime=2471.37 cores=0-7
/proc/1224/task/3932/stat : 3932 (java) R 1222 1222 1178 0 -1 4202560 33833 0 0 0 247109 28 0 0 20 0 28 0 144733580 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140018088106704 140019449261240 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3933] ppid=1222 vsize=26740440 memory=1384 CPUtime=2479.51 cores=0-7
/proc/1224/task/3933/stat : 3933 (java) R 1222 1222 1178 0 -1 4202560 32697 0 0 0 247938 13 0 0 20 0 28 0 144733580 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140018093362272 140019448911716 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3934] ppid=1222 vsize=26740440 memory=7372420 CPUtime=2470.89 cores=0-7
/proc/1224/task/3934/stat : 3934 (java) R 1222 1222 1178 0 -1 4202560 32695 0 0 0 247064 25 0 0 20 0 28 0 144733580 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140018094411872 140019449261367 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3935] ppid=1222 vsize=26740440 memory=1384 CPUtime=2478.28 cores=0-7
/proc/1224/task/3935/stat : 3935 (java) R 1222 1222 1178 0 -1 4202560 130094 0 0 0 247504 324 0 0 20 0 28 0 144733580 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140018096516816 140019450015864 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3936] ppid=1222 vsize=26740440 memory=7376524 CPUtime=2473.4 cores=0-7
/proc/1224/task/3936/stat : 3936 (java) R 1222 1222 1178 0 -1 4202560 57417 0 0 0 247308 32 0 0 20 0 28 0 144733580 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140018089156584 140019449261191 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3937] ppid=1222 vsize=26740440 memory=4140 CPUtime=2473.13 cores=0-7
/proc/1224/task/3937/stat : 3937 (java) R 1222 1222 1178 0 -1 4202560 28954 0 0 0 247293 20 0 0 20 0 28 0 144733580 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140018087051112 140019449572797 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3938] ppid=1222 vsize=26740440 memory=18488 CPUtime=2475.51 cores=0-7
/proc/1224/task/3938/stat : 3938 (java) R 1222 1222 1178 0 -1 4202560 33044 0 0 0 247530 21 0 0 20 0 28 0 144733580 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140018098623224 140019449806732 0 4 0 16800975 0 0 0 -1 3 0 0 20 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3939] ppid=1222 vsize=26740440 memory=1796 CPUtime=2478.2 cores=0-7
/proc/1224/task/3939/stat : 3939 (java) R 1222 1222 1178 0 -1 4202560 69104 0 0 0 247782 38 0 0 20 0 28 0 144733580 27382210560 1843105 33554432000 4194304 4196468 140725887265552 140019089371880 140019445502638 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
Current children cumulated CPU time: 19892.6 s
Current children cumulated vsize: 26749952 KiB
Current children cumulated memory: 7373804 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.62 8.38 8.34 9/207 3971
/proc/meminfo: memFree=20015248/32770624 swapFree=67108860/67108860
[pid=1222] ppid=1219 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1222/stat : 1222 (xcsp3-exec) S 1219 1222 1178 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144732728 9740288 346 33554432000 4194304 5098028 140732752596256 140732752594360 139801159197308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31547392 140732752602212 140732752602423 140732752602423 140732752605163 0
/proc/1222/statm: 2378 346 289 221 0 87 0
[pid=1224] ppid=1222 vsize=26740440 memory=7376564 CPUtime=20033.3 cores=0-7
/proc/1224/stat : 1224 (java) S 1222 1222 1178 0 -1 1077944320 986393 0 0 0 2002537 792 0 0 20 0 28 0 144732728 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140725887248096 140019845611255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
/proc/1224/statm: 6685110 1844141 3305 1 0 6672344 0
[pid=1224/tid=1225] ppid=1222 vsize=26740440 memory=1399051139730258233 CPUtime=2.7 cores=0-7
/proc/1224/task/1225/stat : 1225 (java) S 1222 1222 1178 0 -1 1077944384 9670 0 0 0 262 8 0 0 20 0 28 0 144732729 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019849851952 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1227] ppid=1222 vsize=26740440 memory=4126316290023845779 CPUtime=5.06 cores=0-7
/proc/1224/task/1227/stat : 1227 (java) S 1222 1222 1178 0 -1 1077944384 38437 0 0 0 487 19 0 0 20 0 28 0 144732730 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019768192144 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1228] ppid=1222 vsize=26740440 memory=1152 CPUtime=5.09 cores=0-7
/proc/1224/task/1228/stat : 1228 (java) S 1222 1222 1178 0 -1 1077944384 39996 0 0 0 490 19 0 0 20 0 28 0 144732730 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019767139344 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1229] ppid=1222 vsize=26740440 memory=1728 CPUtime=5.1 cores=0-7
/proc/1224/task/1229/stat : 1229 (java) S 1222 1222 1178 0 -1 1077944384 39821 0 0 0 491 19 0 0 20 0 28 0 144732730 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019766086544 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1230] ppid=1222 vsize=26740440 memory=796 CPUtime=5.11 cores=0-7
/proc/1224/task/1230/stat : 1230 (java) S 1222 1222 1178 0 -1 1077944384 38065 0 0 0 490 21 0 0 20 0 28 0 144732730 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019765033744 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1231] ppid=1222 vsize=26740440 memory=1716 CPUtime=5.05 cores=0-7
/proc/1224/task/1231/stat : 1231 (java) S 1222 1222 1178 0 -1 1077944384 39465 0 0 0 486 19 0 0 20 0 28 0 144732730 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019763980944 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1232] ppid=1222 vsize=26740440 memory=1948 CPUtime=5.09 cores=0-7
/proc/1224/task/1232/stat : 1232 (java) S 1222 1222 1178 0 -1 1077944384 38053 0 0 0 489 20 0 0 20 0 28 0 144732730 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019762928144 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1233] ppid=1222 vsize=26740440 memory=8600 CPUtime=5.07 cores=0-7
/proc/1224/task/1233/stat : 1233 (java) S 1222 1222 1178 0 -1 1077944384 38828 0 0 0 487 20 0 0 20 0 28 0 144732730 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019761875344 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1234] ppid=1222 vsize=26740440 memory=8112282956445269571 CPUtime=5.13 cores=0-7
/proc/1224/task/1234/stat : 1234 (java) S 1222 1222 1178 0 -1 1077944384 37033 0 0 0 492 21 0 0 20 0 28 0 144732730 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019760822544 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1235] ppid=1222 vsize=26740440 memory=916 CPUtime=2.76 cores=0-7
/proc/1224/task/1235/stat : 1235 (java) S 1222 1222 1178 0 -1 1077944384 154120 0 0 0 227 49 0 0 20 0 28 0 144732731 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019106855792 140019845622402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1236] ppid=1222 vsize=26740440 memory=3888 CPUtime=0 cores=0-7
/proc/1224/task/1236/stat : 1236 (java) S 1222 1222 1178 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 144732731 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019105801888 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1237] ppid=1222 vsize=26740440 memory=1152 CPUtime=0 cores=0-7
/proc/1224/task/1237/stat : 1237 (java) S 1222 1222 1178 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 144732732 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019104748992 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1238] ppid=1222 vsize=26740440 memory=3860 CPUtime=0 cores=0-7
/proc/1224/task/1238/stat : 1238 (java) S 1222 1222 1178 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144732734 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019103697232 140019845629851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1239] ppid=1222 vsize=26740440 memory=1384 CPUtime=2.95 cores=0-7
/proc/1224/task/1239/stat : 1239 (java) S 1222 1222 1178 0 -1 1077944384 15522 0 0 0 293 2 0 0 20 0 28 0 144732734 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019102644592 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1240] ppid=1222 vsize=26740440 memory=1152 CPUtime=2.98 cores=0-7
/proc/1224/task/1240/stat : 1240 (java) S 1222 1222 1178 0 -1 1077944384 12847 0 0 0 295 3 0 0 20 0 28 0 144732734 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019101591792 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1241] ppid=1222 vsize=26740440 memory=-8707038579349950309 CPUtime=2.79 cores=0-7
/proc/1224/task/1241/stat : 1241 (java) S 1222 1222 1178 0 -1 1077944384 15250 0 0 0 276 3 0 0 20 0 28 0 144732734 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019100538992 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1242] ppid=1222 vsize=26740440 memory=9047017150487036571 CPUtime=1.13 cores=0-7
/proc/1224/task/1242/stat : 1242 (java) S 1222 1222 1178 0 -1 1077944384 12243 0 0 0 110 3 0 0 20 0 28 0 144732734 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019099486192 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1243] ppid=1222 vsize=26740440 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/1224/task/1243/stat : 1243 (java) S 1222 1222 1178 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144732734 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019098434656 140019845621461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=1244] ppid=1222 vsize=26740440 memory=-8412656567318647667 CPUtime=1.14 cores=0-7
/proc/1224/task/1244/stat : 1244 (java) S 1222 1222 1178 0 -1 1077944384 8475 0 0 0 51 63 0 0 20 0 28 0 144732735 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019097381936 140019845622402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3932] ppid=1222 vsize=26740440 memory=2240 CPUtime=2488.86 cores=0-7
/proc/1224/task/3932/stat : 3932 (java) R 1222 1222 1178 0 -1 4202560 33921 0 0 0 248858 28 0 0 20 0 28 0 144733580 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140018088103024 140019449634400 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3933] ppid=1222 vsize=26740440 memory=4128 CPUtime=2497.07 cores=0-7
/proc/1224/task/3933/stat : 3933 (java) R 1222 1222 1178 0 -1 4202560 32797 0 0 0 249694 13 0 0 20 0 28 0 144733580 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140018093359400 140019448912386 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3934] ppid=1222 vsize=26740440 memory=928 CPUtime=2488.48 cores=0-7
/proc/1224/task/3934/stat : 3934 (java) R 1222 1222 1178 0 -1 4202560 32773 0 0 0 248823 25 0 0 20 0 28 0 144733580 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140018094411784 140019449605098 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3935] ppid=1222 vsize=26740440 memory=1796 CPUtime=2495.85 cores=0-7
/proc/1224/task/3935/stat : 3935 (java) R 1222 1222 1178 0 -1 4202560 130195 0 0 0 249261 324 0 0 20 0 28 0 144733580 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140018096519936 140019444861096 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3936] ppid=1222 vsize=26740440 memory=1236 CPUtime=2490.93 cores=0-7
/proc/1224/task/3936/stat : 3936 (java) R 1222 1222 1178 0 -1 4202560 57565 0 0 0 249061 32 0 0 20 0 28 0 144733580 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140018089156448 140019449572792 0 4 0 16800975 0 0 0 -1 3 0 0 20 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3937] ppid=1222 vsize=26740440 memory=640 CPUtime=2490.67 cores=0-7
/proc/1224/task/3937/stat : 3937 (java) R 1222 1222 1178 0 -1 4202560 29050 0 0 0 249047 20 0 0 20 0 28 0 144733580 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140018087051640 140019449606383 0 4 0 16800975 0 0 0 -1 7 0 0 23 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3938] ppid=1222 vsize=26740440 memory=4100 CPUtime=2492.92 cores=0-7
/proc/1224/task/3938/stat : 3938 (java) R 1222 1222 1178 0 -1 4202560 33070 0 0 0 249271 21 0 0 20 0 28 0 144733580 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140018098623096 140019449737579 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
[pid=1224/tid=3939] ppid=1222 vsize=26740440 memory=956 CPUtime=2495.81 cores=0-7
/proc/1224/task/3939/stat : 3939 (java) R 1222 1222 1178 0 -1 4202560 69432 0 0 0 249543 38 0 0 20 0 28 0 144733580 27382210560 1844141 33554432000 4194304 4196468 140725887265552 140019089371736 140019449607905 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 16543744 140725887272082 140725887272259 140725887272259 140725887274959 0
Current children cumulated CPU time: 20033.3 s
Current children cumulated vsize: 26749952 KiB
Current children cumulated memory: 7377948 KiB

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

[startup+2520.04 s]
# the end of solver process 1222 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000977 s, system=0.000977 s

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

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

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

Child status: 143
Real time (s): 2520.14
CPU time (s): 20034
CPU user time (s): 20026.1
CPU system time (s): 7.96679
CPU usage (%): 794.958
Max. virtual memory (cumulated for all children) (KiB): 26749952
Max. memory (cumulated for all children) (KiB): 7576324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20026.1
system time used= 7.96679
maximum resident set size= 7579036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 988091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 238289
involuntary context switches= 209067


# summary of solver processes directly reported to runsolver:
#   pid: 1222,1224
#   total CPU time (s): 20034
#   total CPU user time (s): 20026.1
#   total CPU system time (s): 7.96679

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.2221 second user time and 29.6652 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-19 06:06:31
IDJOB=4280612
IDBENCH=115900
IDSOLVER=2675
FILE ID=node106/4280612-1503116451
RUNJOBID= node106-1503115591-1205
PBS_JOBID= 20630763
Free space on /tmp= 61820 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-4280612-1503116451/watcher-4280612-1503116451 -o /tmp/evaluation-result-4280612-1503116451/solver-4280612-1503116451 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503115591-1205 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1360680245 HOME/instance-4280612-1503116451.xml

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

MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117
RANDOM SEED=1360680245

node106.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.86
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.86
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.86
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.86
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:        27394688 kB
MemAvailable:   31971060 kB
Buffers:          229248 kB
Cached:          4640264 kB
SwapCached:            0 kB
Active:          1040504 kB
Inactive:        3885176 kB
Active(anon):      11932 kB
Inactive(anon):    80308 kB
Active(file):    1028572 kB
Inactive(file):  3804868 kB
Unevictable:        7764 kB
Mlocked:            7764 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7800 kB
Writeback:             0 kB
AnonPages:         63356 kB
Mapped:            49824 kB
Shmem:             33420 kB
Slab:             143880 kB
SReclaimable:     117532 kB
SUnreclaim:        26348 kB
KernelStack:        3088 kB
PageTables:         5488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61812 MiB
End job on node106 at 2017-08-19 06:48:31