Trace number 4271793

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-09)SAT (TO)364 1984.28 252.117

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-28.xml
MD5SUMf7605bb50abdbd05cc6d9fedf17196d1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark386
Best CPU time to get the best result obtained on this benchmark251.79601
Satisfiable
(Un)Satisfiability was proved
Number of variables1831
Number of constraints1072
Number of domains4
Minimum domain size2
Maximum domain size1801
Distribution of domain sizes[{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}]
Minimum variable degree1
Maximum variable degree31
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}]
Minimum constraint arity2
Maximum constraint arity32
Distribution of constraint arities[{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}]
Number of extensional constraints896
Number of intensional constraints141
Distribution of constraint types[{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"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-4271793-1502639762.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271793-1502639762.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
7.23/2.68	c solve instance...
12.10/3.33	o 0 
12.75/3.45	o 4 
12.75/3.49	o 6 
13.20/3.50	o 8 
14.23/3.84	o 10 
14.23/3.86	o 12 
14.23/3.88	o 14 
14.23/3.90	o 16 
14.69/3.92	o 18 
14.69/4.00	o 20 
16.22/4.13	o 21 
16.22/4.14	o 22 
17.42/4.31	o 24 
19.66/4.68	o 26 
20.76/4.82	o 27 
20.76/4.83	o 28 
20.76/4.84	o 29 
20.76/4.85	o 30 
20.76/4.86	o 31 
20.76/4.86	o 32 
20.76/4.87	o 33 
20.76/4.87	o 34 
20.76/4.88	o 35 
20.76/4.89	o 36 
20.76/4.89	o 37 
20.76/4.89	o 38 
21.26/4.90	o 39 
21.26/4.93	o 40 
21.26/4.93	o 41 
21.26/4.94	o 42 
21.26/4.94	o 43 
21.26/4.95	o 44 
21.26/4.96	o 45 
21.26/4.96	o 46 
21.26/4.97	o 47 
21.26/4.98	o 48 
21.26/4.98	o 49 
21.26/4.99	o 50 
21.26/4.99	o 51 
21.26/5.00	o 52 
21.26/5.01	o 53 
21.83/5.01	o 54 
21.83/5.01	o 55 
21.83/5.02	o 56 
21.83/5.03	o 57 
21.83/5.03	o 58 
21.83/5.04	o 59 
21.83/5.04	o 60 
21.83/5.05	o 61 
21.83/5.06	o 62 
21.83/5.06	o 63 
21.83/5.07	o 64 
21.83/5.08	o 65 
21.83/5.09	o 66 
22.27/5.12	o 67 
22.85/5.42	o 68 
22.85/5.42	o 69 
22.85/5.43	o 70 
22.85/5.45	o 71 
22.85/5.46	o 72 
22.85/5.47	o 73 
22.85/5.47	o 74 
22.85/5.48	o 75 
22.85/5.48	o 76 
22.85/5.49	o 77 
22.85/5.49	o 78 
22.85/5.50	o 79 
22.85/5.50	o 80 
23.38/5.51	o 81 
23.38/5.51	o 82 
23.38/5.52	o 83 
23.38/5.52	o 84 
23.38/5.53	o 85 
23.38/5.53	o 86 
23.38/5.53	o 87 
23.38/5.54	o 88 
23.38/5.54	o 89 
23.38/5.55	o 90 
23.38/5.55	o 91 
23.38/5.56	o 92 
23.38/5.56	o 93 
23.38/5.57	o 94 
23.38/5.57	o 95 
23.38/5.58	o 96 
23.38/5.58	o 97 
23.38/5.59	o 98 
23.38/5.59	o 99 
23.38/5.60	o 100 
23.94/5.60	o 101 
23.94/5.61	o 102 
23.94/5.62	o 103 
23.94/5.62	o 104 
23.94/5.62	o 105 
23.94/5.63	o 106 
23.94/5.63	o 107 
23.94/5.65	o 108 
23.94/5.65	o 109 
23.94/5.67	o 110 
23.94/5.67	o 111 
23.94/5.68	o 112 
24.53/5.70	o 113 
24.53/5.71	o 114 
24.53/5.72	o 115 
24.53/5.73	o 116 
24.53/5.73	o 117 
24.53/5.74	o 118 
24.53/5.74	o 119 
24.53/5.75	o 120 
24.53/5.75	o 121 
24.53/5.76	o 122 
24.53/5.76	o 123 
24.53/5.77	o 124 
24.53/5.77	o 125 
24.53/5.78	o 126 
24.53/5.79	o 127 
24.53/5.79	o 128 
24.53/5.80	o 129 
25.13/5.80	o 130 
25.13/5.81	o 131 
25.13/5.81	o 132 
25.13/5.82	o 133 
25.13/5.82	o 134 
25.13/5.83	o 135 
25.13/5.83	o 136 
25.13/5.84	o 137 
25.13/5.84	o 138 
25.13/5.85	o 139 
25.13/5.86	o 140 
25.13/5.86	o 141 
25.13/5.87	o 142 
25.13/5.87	o 143 
25.13/5.88	o 144 
25.13/5.88	o 145 
25.13/5.89	o 146 
25.13/5.89	o 147 
25.68/5.90	o 148 
25.68/5.91	o 149 
25.68/5.91	o 150 
25.68/5.92	o 151 
25.68/5.92	o 152 
25.68/5.93	o 153 
25.68/5.93	o 154 
25.68/5.94	o 155 
25.68/5.98	o 156 
25.68/5.99	o 157 
25.68/5.99	o 158 
25.68/6.00	o 159 
25.68/6.00	o 160 
26.32/6.01	o 161 
26.32/6.03	o 162 
26.32/6.04	o 163 
26.32/6.04	o 164 
26.32/6.05	o 165 
26.32/6.06	o 166 
26.32/6.06	o 167 
26.32/6.07	o 168 
26.32/6.07	o 169 
26.32/6.08	o 170 
26.32/6.08	o 171 
26.32/6.09	o 172 
26.32/6.09	o 173 
26.32/6.10	o 174 
26.32/6.10	o 175 
26.32/6.11	o 176 
26.94/6.11	o 177 
26.94/6.12	o 178 
26.94/6.12	o 179 
26.94/6.13	o 180 
26.94/6.14	o 181 
26.94/6.15	o 182 
26.94/6.15	o 183 
26.94/6.16	o 184 
26.94/6.16	o 185 
26.94/6.17	o 186 
26.94/6.17	o 187 
26.94/6.18	o 188 
26.94/6.19	o 189 
26.94/6.19	o 190 
27.46/6.20	o 191 
27.46/6.20	o 192 
27.46/6.21	o 193 
27.46/6.21	o 194 
27.46/6.22	o 195 
27.46/6.23	o 196 
27.46/6.23	o 197 
27.46/6.24	o 198 
27.46/6.24	o 199 
27.46/6.25	o 200 
27.46/6.25	o 201 
27.46/6.26	o 202 
27.46/6.26	o 203 
27.46/6.27	o 204 
27.46/6.28	o 205 
27.46/6.29	o 206 
28.03/6.32	o 207 
28.03/6.33	o 208 
28.03/6.33	o 209 
28.03/6.34	o 210 
28.03/6.34	o 211 
28.03/6.35	o 212 
28.03/6.35	o 213 
28.03/6.36	o 214 
28.03/6.36	o 215 
28.03/6.37	o 216 
28.03/6.37	o 217 
28.03/6.38	o 218 
28.03/6.39	o 219 
28.03/6.40	o 220 
28.03/6.40	o 221 
28.63/6.41	o 222 
28.63/6.41	o 223 
28.63/6.42	o 224 
28.63/6.43	o 225 
28.63/6.44	o 226 
28.63/6.48	o 227 
29.38/6.71	o 228 
29.38/6.71	o 229 
29.38/6.72	o 230 
29.38/6.72	o 231 
29.38/6.73	o 232 
29.38/6.73	o 233 
29.38/6.74	o 234 
29.38/6.75	o 235 
29.38/6.75	o 236 
29.38/6.76	o 237 
29.38/6.77	o 238 
29.38/6.77	o 239 
29.38/6.78	o 240 
29.38/6.79	o 241 
29.38/6.79	o 242 
29.91/6.80	o 243 
29.91/6.80	o 244 
29.91/6.81	o 245 
29.91/6.82	o 246 
29.91/6.82	o 247 
29.91/6.83	o 248 
29.91/6.83	o 249 
29.91/6.84	o 250 
29.91/6.85	o 251 
29.91/6.85	o 252 
29.91/6.86	o 253 
29.91/6.87	o 254 
29.91/6.88	o 255 
29.91/6.88	o 256 
29.91/6.89	o 257 
29.91/6.89	o 258 
29.91/6.90	o 259 
30.44/6.90	o 260 
30.44/6.91	o 261 
30.44/6.92	o 262 
30.44/6.92	o 263 
30.44/6.93	o 264 
30.44/6.94	o 265 
30.44/6.94	o 266 
30.44/6.95	o 267 
30.44/6.95	o 268 
30.44/6.96	o 269 
30.44/6.96	o 270 
30.44/6.97	o 271 
30.44/6.98	o 272 
30.44/6.98	o 273 
30.44/6.99	o 274 
30.44/6.99	o 275 
31.08/7.02	o 276 
31.08/7.03	o 277 
31.08/7.03	o 278 
31.08/7.04	o 279 
31.08/7.05	o 280 
31.08/7.05	o 281 
31.08/7.06	o 282 
31.08/7.06	o 283 
31.08/7.07	o 284 
31.08/7.08	o 285 
31.08/7.08	o 286 
31.08/7.09	o 287 
31.08/7.10	o 288 
31.08/7.10	o 289 
31.60/7.11	o 290 
31.60/7.12	o 291 
31.60/7.12	o 292 
31.60/7.13	o 293 
31.60/7.14	o 294 
31.60/7.14	o 295 
31.60/7.15	o 296 
31.60/7.16	o 297 
31.60/7.16	o 298 
31.60/7.17	o 299 
31.60/7.18	o 300 
31.60/7.18	o 301 
31.60/7.19	o 302 
32.03/7.20	o 303 
32.03/7.21	o 304 
32.03/7.21	o 305 
32.03/7.24	o 306 
32.03/7.24	o 307 
32.03/7.25	o 308 
32.03/7.26	o 309 
32.03/7.26	o 310 
32.03/7.27	o 311 
32.03/7.28	o 312 
32.03/7.28	o 313 
32.03/7.29	o 314 
32.61/7.30	o 315 
32.61/7.30	o 316 
32.61/7.31	o 317 
32.61/7.32	o 318 
32.61/7.32	o 319 
32.61/7.33	o 320 
32.61/7.34	o 321 
32.61/7.34	o 322 
32.61/7.35	o 323 
32.61/7.36	o 324 
32.61/7.37	o 325 
32.61/7.37	o 326 
32.61/7.38	o 327 
32.61/7.39	o 328 
32.61/7.39	o 329 
33.15/7.40	o 330 
33.15/7.41	o 331 
33.15/7.41	o 332 
33.15/7.42	o 333 
33.15/7.43	o 334 
33.15/7.44	o 335 
33.15/7.44	o 336 
33.15/7.45	o 337 
33.15/7.46	o 338 
33.15/7.47	o 339 
33.15/7.47	o 340 
33.15/7.48	o 341 
33.15/7.49	o 342 
33.15/7.50	o 343 
33.65/7.50	o 344 
33.65/7.51	o 345 
33.65/7.52	o 346 
33.65/7.53	o 347 
33.65/7.53	o 348 
33.65/7.54	o 349 
33.65/7.55	o 350 
33.65/7.56	o 351 
33.65/7.57	o 352 
33.65/7.58	o 353 
33.65/7.58	o 354 
33.65/7.60	o 355 
34.16/7.60	o 356 
34.16/7.61	o 357 
34.16/7.62	o 358 
34.16/7.63	o 359 
35.74/7.84	o 360 
35.74/7.85	o 361 
63.51/11.35	o 362 
65.07/11.52	o 363 
1345.59/172.08	o 364 
1983.62/252.07	s SATISFIABLE
1983.62/252.07	v <instantiation>
1983.62/252.07	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[0][29] 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[1][29] 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[2][29] 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[3][29] 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[4][29] 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[5][29] 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[6][29] 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[7][29] 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[8][29] 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[9][29] 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[10][29] 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[11][29] 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[12][29] 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[13][29] 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[14][29] 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[15][29] 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[16][29] 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[17][29] 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[18][29] 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[19][29] 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[20][29] 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[21][29] 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[22][29] 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[23][29] 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[24][29] 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[25][29] 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[26][29] 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[27][29] 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] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] 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[0][29] 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[1][29] 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[2][29] 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[3][29] 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[4][29] 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[5][29] 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[6][29] 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[7][29] 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[8][29] 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[9][29] 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[10][29] 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[11][29] 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[12][29] 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[13][29] 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[14][29] 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[15][29] 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[16][29] 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[17][29] 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[18][29] 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[19][29] 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[20][29] 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[21][29] 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[22][29] 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[23][29] 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[24][29] 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[25][29] 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[26][29] 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[27][29] 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] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] 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] ws[29] z </list>
1983.62/252.07	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 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 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 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 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 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 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 1 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 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 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 1 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 2 1 1 0 0 1 0 0 0 0 0 0 0 0 2 2 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 1 0 9 10 10 20 20 21 53 60 62 64 68 70 92 102 109 111 115 124 135 138 145 156 158 160 170 174 183 191 207 224 364 </values>
1983.62/252.07	v </instantiation>
1983.62/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	364

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271793-1502639762/watcher-4271793-1502639762 -o /tmp/evaluation-result-4271793-1502639762/solver-4271793-1502639762 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 174336526 HOME/instance-4271793-1502639762.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16128, runsolver pid=16125
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 8.16 7.33 5.19 3/201 16149
/proc/meminfo: memFree=26540884/32770624 swapFree=67108860/67108860
[pid=16128] ppid=16125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16128/stat : 16128 (xcsp3-exec) S 16125 16128 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97047800 9740288 346 33554432000 4194304 5098028 140727680402352 140727680400456 140254443684476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25350144 140727680410731 140727680410940 140727680410940 140727680413675 0
/proc/16128/statm: 2378 346 289 221 0 87 0
[pid=16130] ppid=16128 vsize=25999808 memory=28888 CPUtime=0.12 cores=0-7
/proc/16130/stat : 16130 (java) S 16128 16128 6764 0 -1 1077944320 5640 0 0 0 10 2 0 0 20 0 20 0 97047801 26623803392 7222 33554432000 4194304 4196468 140730574697984 140730574680528 140007487794935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
/proc/16130/statm: 6499952 7222 2833 1 0 6488269 0
[pid=16130/tid=16131] ppid=16128 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16130/task/16131/stat : 16131 (java) R 16128 16128 6764 0 -1 4202560 3650 0 0 0 8 1 0 0 20 0 20 0 97047801 26623803392 7222 33554432000 4194304 4196468 140730574697984 140007492028208 140007471611159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16132] ppid=16128 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16130/task/16132/stat : 16132 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26623803392 7222 33554432000 4194304 4196468 140730574697984 140007440415632 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16133] ppid=16128 vsize=25999808 memory=140068551022208 CPUtime=0 cores=0-7
/proc/16130/task/16133/stat : 16133 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047802 26623803392 7222 33554432000 4194304 4196468 140730574697984 140007439362832 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16134] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16134/stat : 16134 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047802 26623803392 7222 33554432000 4194304 4196468 140730574697984 140007438310544 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16135] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16135/stat : 16135 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26623803392 7222 33554432000 4194304 4196468 140730574697984 140007437257744 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16136] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16136/stat : 16136 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047802 26623803392 7222 33554432000 4194304 4196468 140730574697984 140007436204432 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16137] ppid=16128 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16130/task/16137/stat : 16137 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26623803392 7222 33554432000 4194304 4196468 140730574697984 140007435151632 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16138] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16138/stat : 16138 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26623803392 7222 33554432000 4194304 4196468 140730574697984 140007434099344 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16139] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16139/stat : 16139 (java) S 16128 16128 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047802 26623803392 7222 33554432000 4194304 4196468 140730574697984 140007433046544 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16140] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16140/stat : 16140 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047803 26623803392 7222 33554432000 4194304 4196468 140730574697984 140006615132784 140007487806082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16141] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16141/stat : 16141 (java) S 16128 16128 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97047804 26623803392 7222 33554432000 4194304 4196468 140730574697984 140006614078752 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16142] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16142/stat : 16142 (java) S 16128 16128 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97047804 26623803392 7222 33554432000 4194304 4196468 140730574697984 140006613026416 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16143] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16143/stat : 16143 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047806 26623803392 7222 33554432000 4194304 4196468 140730574697984 140006611974736 140007487813531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16144] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16144/stat : 16144 (java) S 16128 16128 6764 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 97047806 26623803392 7222 33554432000 4194304 4196468 140730574697984 140006610921584 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16145] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16145/stat : 16145 (java) S 16128 16128 6764 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 97047806 26623803392 7222 33554432000 4194304 4196468 140730574697984 140006609868784 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16146] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16146/stat : 16146 (java) S 16128 16128 6764 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 97047806 26623803392 7222 33554432000 4194304 4196468 140730574697984 140006608816496 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16147] ppid=16128 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16130/task/16147/stat : 16147 (java) R 16128 16128 6764 0 -1 4202560 240 0 0 0 1 0 0 0 20 0 20 0 97047806 26623803392 7222 33554432000 4194304 4196468 140730574697984 140006607763696 140007487806870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16148] ppid=16128 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16148/stat : 16148 (java) S 16128 16128 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047807 26623803392 7222 33554432000 4194304 4196468 140730574697984 140005616380768 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16149] ppid=16128 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16130/task/16149/stat : 16149 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047807 26623803392 7222 33554432000 4194304 4196468 140730574697984 140005615328048 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 30272 KiB

[startup+0.210413 s]*
/proc/loadavg: 8.16 7.33 5.19 2/201 16149
/proc/meminfo: memFree=26528384/32770624 swapFree=67108860/67108860
[pid=16128] ppid=16125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16128/stat : 16128 (xcsp3-exec) S 16125 16128 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97047800 9740288 346 33554432000 4194304 5098028 140727680402352 140727680400456 140254443684476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25350144 140727680410731 140727680410940 140727680410940 140727680413675 0
/proc/16128/statm: 2378 346 289 221 0 87 0
[pid=16130] ppid=16128 vsize=26004064 memory=40752 CPUtime=0.33 cores=0-7
/proc/16130/stat : 16130 (java) S 16128 16128 6764 0 -1 1077944320 8291 0 0 0 31 2 0 0 20 0 20 0 97047801 26628161536 10188 33554432000 4194304 4196468 140730574697984 140730574680528 140007487794935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
/proc/16130/statm: 6501016 10188 3007 1 0 6488269 0
[pid=16130/tid=16131] ppid=16128 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16130/task/16131/stat : 16131 (java) R 16128 16128 6764 0 -1 4202560 5425 0 0 0 18 1 0 0 20 0 20 0 97047801 26628161536 10188 33554432000 4194304 4196468 140730574697984 140007492016864 140007471875422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16132] ppid=16128 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/16130/task/16132/stat : 16132 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 10188 33554432000 4194304 4196468 140730574697984 140007440415632 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16133] ppid=16128 vsize=26004064 memory=3545095518738601632 CPUtime=0 cores=0-7
/proc/16130/task/16133/stat : 16133 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 10188 33554432000 4194304 4196468 140730574697984 140007439362832 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16134] ppid=16128 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16130/task/16134/stat : 16134 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 10188 33554432000 4194304 4196468 140730574697984 140007438310544 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16135] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16135/stat : 16135 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 10188 33554432000 4194304 4196468 140730574697984 140007437257744 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16136] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16136/stat : 16136 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 10188 33554432000 4194304 4196468 140730574697984 140007436204432 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16137] ppid=16128 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16130/task/16137/stat : 16137 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 10188 33554432000 4194304 4196468 140730574697984 140007435151632 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16138] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16138/stat : 16138 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 10188 33554432000 4194304 4196468 140730574697984 140007434099344 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16139] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16139/stat : 16139 (java) S 16128 16128 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 10188 33554432000 4194304 4196468 140730574697984 140007433046544 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16140] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16140/stat : 16140 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047803 26628161536 10188 33554432000 4194304 4196468 140730574697984 140006615132784 140007487806082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16141] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16141/stat : 16141 (java) S 16128 16128 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97047804 26628161536 10188 33554432000 4194304 4196468 140730574697984 140006614078752 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16142] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16142/stat : 16142 (java) S 16128 16128 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97047804 26628161536 10188 33554432000 4194304 4196468 140730574697984 140006613026416 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16143] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16143/stat : 16143 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047806 26628161536 10188 33554432000 4194304 4196468 140730574697984 140006611974736 140007487813531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16144] ppid=16128 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/16130/task/16144/stat : 16144 (java) S 16128 16128 6764 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 20 0 97047806 26628161536 10188 33554432000 4194304 4196468 140730574697984 140006610921584 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16145] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16145/stat : 16145 (java) S 16128 16128 6764 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 20 0 97047806 26628161536 10188 33554432000 4194304 4196468 140730574697984 140006609868784 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16146] ppid=16128 vsize=26004064 memory=-1 CPUtime=0.03 cores=0-7
/proc/16130/task/16146/stat : 16146 (java) S 16128 16128 6764 0 -1 1077944384 443 0 0 0 3 0 0 0 20 0 20 0 97047806 26628161536 10188 33554432000 4194304 4196468 140730574697984 140006608816496 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16147] ppid=16128 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/16130/task/16147/stat : 16147 (java) R 16128 16128 6764 0 -1 4202560 723 0 0 0 7 0 0 0 20 0 20 0 97047806 26628161536 10188 33554432000 4194304 4196468 140730574697984 140006607763696 140007487816282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16148] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16148/stat : 16148 (java) S 16128 16128 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047807 26628161536 10188 33554432000 4194304 4196468 140730574697984 140005616380768 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16149] ppid=16128 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16130/task/16149/stat : 16149 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047807 26628161536 10188 33554432000 4194304 4196468 140730574697984 140005615328048 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 42136 KiB

[startup+0.310227 s]*
/proc/loadavg: 8.16 7.33 5.19 4/201 16149
/proc/meminfo: memFree=26524632/32770624 swapFree=67108860/67108860
[pid=16128] ppid=16125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16128/stat : 16128 (xcsp3-exec) S 16125 16128 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97047800 9740288 346 33554432000 4194304 5098028 140727680402352 140727680400456 140254443684476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25350144 140727680410731 140727680410940 140727680410940 140727680413675 0
/proc/16128/statm: 2378 346 289 221 0 87 0
[pid=16130] ppid=16128 vsize=26004064 memory=47724 CPUtime=0.5 cores=0-7
/proc/16130/stat : 16130 (java) S 16128 16128 6764 0 -1 1077944320 9184 0 0 0 47 3 0 0 20 0 20 0 97047801 26628161536 11931 33554432000 4194304 4196468 140730574697984 140730574680528 140007487794935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
/proc/16130/statm: 6501016 11931 3063 1 0 6488269 0
[pid=16130/tid=16131] ppid=16128 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16130/task/16131/stat : 16131 (java) R 16128 16128 6764 0 -1 4202560 6106 0 0 0 27 2 0 0 20 0 20 0 97047801 26628161536 11931 33554432000 4194304 4196468 140730574697984 140007492031120 140007092351184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16132] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16132/stat : 16132 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 11931 33554432000 4194304 4196468 140730574697984 140007440415632 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16133] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16133/stat : 16133 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 11931 33554432000 4194304 4196468 140730574697984 140007439362832 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16134] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16134/stat : 16134 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 11931 33554432000 4194304 4196468 140730574697984 140007438310544 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16135] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16135/stat : 16135 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 11931 33554432000 4194304 4196468 140730574697984 140007437257744 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16136] ppid=16128 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16130/task/16136/stat : 16136 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 11931 33554432000 4194304 4196468 140730574697984 140007436204432 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16137] ppid=16128 vsize=26004064 memory=140068413076399 CPUtime=0 cores=0-7
/proc/16130/task/16137/stat : 16137 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 11931 33554432000 4194304 4196468 140730574697984 140007435151632 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16138] ppid=16128 vsize=26004064 memory=140068413078704 CPUtime=0 cores=0-7
/proc/16130/task/16138/stat : 16138 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 11931 33554432000 4194304 4196468 140730574697984 140007434099344 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16139] ppid=16128 vsize=26004064 memory=140068413081008 CPUtime=0 cores=0-7
/proc/16130/task/16139/stat : 16139 (java) S 16128 16128 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047802 26628161536 11931 33554432000 4194304 4196468 140730574697984 140007433046544 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16140] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16140/stat : 16140 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047803 26628161536 11931 33554432000 4194304 4196468 140730574697984 140006615132784 140007487806082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16141] ppid=16128 vsize=26004064 memory=280136826168976 CPUtime=0 cores=0-7
/proc/16130/task/16141/stat : 16141 (java) S 16128 16128 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97047804 26628161536 11931 33554432000 4194304 4196468 140730574697984 140006614078752 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16142] ppid=16128 vsize=26004064 memory=280136826175888 CPUtime=0 cores=0-7
/proc/16130/task/16142/stat : 16142 (java) S 16128 16128 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97047804 26628161536 11931 33554432000 4194304 4196468 140730574697984 140006613026416 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16143] ppid=16128 vsize=26004064 memory=280136826117168 CPUtime=0 cores=0-7
/proc/16130/task/16143/stat : 16143 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047806 26628161536 11931 33554432000 4194304 4196468 140730574697984 140006611974736 140007487813531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16144] ppid=16128 vsize=26004064 memory=280136826189712 CPUtime=0.01 cores=0-7
/proc/16130/task/16144/stat : 16144 (java) S 16128 16128 6764 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 20 0 97047806 26628161536 11931 33554432000 4194304 4196468 140730574697984 140006610921584 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16145] ppid=16128 vsize=26004064 memory=280136826196624 CPUtime=0.01 cores=0-7
/proc/16130/task/16145/stat : 16145 (java) S 16128 16128 6764 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 97047806 26628161536 11931 33554432000 4194304 4196468 140730574697984 140006609868784 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16146] ppid=16128 vsize=26004064 memory=280136826194320 CPUtime=0.03 cores=0-7
/proc/16130/task/16146/stat : 16146 (java) S 16128 16128 6764 0 -1 1077944384 451 0 0 0 3 0 0 0 20 0 20 0 97047806 26628161536 11931 33554432000 4194304 4196468 140730574697984 140006608816496 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16147] ppid=16128 vsize=26004064 memory=280136826210480 CPUtime=0.12 cores=0-7
/proc/16130/task/16147/stat : 16147 (java) R 16128 16128 6764 0 -1 4202560 837 0 0 0 12 0 0 0 20 0 20 0 97047806 26628161536 11931 33554432000 4194304 4196468 140730574697984 140006607763696 140007466159536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16148] ppid=16128 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16148/stat : 16148 (java) S 16128 16128 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047807 26628161536 11931 33554432000 4194304 4196468 140730574697984 140005616380768 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16149] ppid=16128 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16130/task/16149/stat : 16149 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047807 26628161536 11931 33554432000 4194304 4196468 140730574697984 140005615328048 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 49108 KiB

[startup+0.700933 s]
/proc/loadavg: 8.16 7.33 5.19 6/201 16149
/proc/meminfo: memFree=26500268/32770624 swapFree=67108860/67108860
[pid=16128] ppid=16125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16128/stat : 16128 (xcsp3-exec) S 16125 16128 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97047800 9740288 346 33554432000 4194304 5098028 140727680402352 140727680400456 140254443684476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25350144 140727680410731 140727680410940 140727680410940 140727680413675 0
/proc/16128/statm: 2378 346 289 221 0 87 0
[pid=16130] ppid=16128 vsize=26006188 memory=82464 CPUtime=1.87 cores=0-7
/proc/16130/stat : 16130 (java) S 16128 16128 6764 0 -1 1077944320 12694 0 0 0 183 4 0 0 20 0 20 0 97047801 26630336512 20616 33554432000 4194304 4196468 140730574697984 140730574680528 140007487794935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
/proc/16130/statm: 6501547 20616 3199 1 0 6488781 0
[pid=16130/tid=16131] ppid=16128 vsize=26006188 memory=280136826568368 CPUtime=0.67 cores=0-7
/proc/16130/task/16131/stat : 16131 (java) R 16128 16128 6764 0 -1 4202560 6656 0 0 0 65 2 0 0 20 0 20 0 97047801 26630336512 20616 33554432000 4194304 4196468 140730574697984 140007492030552 140007095065099 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16132] ppid=16128 vsize=26006188 memory=140068413285232 CPUtime=0 cores=0-7
/proc/16130/task/16132/stat : 16132 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047802 26630336512 20616 33554432000 4194304 4196468 140730574697984 140007440415632 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16133] ppid=16128 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/16130/task/16133/stat : 16133 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047802 26630336512 20616 33554432000 4194304 4196468 140730574697984 140007439362832 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16134] ppid=16128 vsize=26006188 memory=1428 CPUtime=0 cores=0-7
/proc/16130/task/16134/stat : 16134 (java) S 16128 16128 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047802 26630336512 20616 33554432000 4194304 4196468 140730574697984 140007438310544 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0

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

[pid=16130/tid=18964] ppid=16128 vsize=26673876 memory=1384 CPUtime=148.82 cores=0-7
/proc/16130/task/18964/stat : 18964 (java) R 16128 16128 6764 0 -1 4202560 3380 0 0 0 14871 11 0 0 20 0 28 0 97048953 27314049024 1371167 33554432000 4194304 4196468 140730574697984 140005607813704 140007101390052 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
Current children cumulated CPU time: 1268.14 s
Current children cumulated vsize: 26683388 KiB
Current children cumulated memory: 5486052 KiB

[startup+222.301 s]
/proc/loadavg: 8.00 7.67 5.78 9/207 18972
/proc/meminfo: memFree=21072872/32770624 swapFree=67108860/67108860
[pid=16128] ppid=16125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16128/stat : 16128 (xcsp3-exec) S 16125 16128 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97047800 9740288 346 33554432000 4194304 5098028 140727680402352 140727680400456 140254443684476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25350144 140727680410731 140727680410940 140727680410940 140727680413675 0
/proc/16128/statm: 2378 346 289 221 0 87 0
[pid=16130] ppid=16128 vsize=26673876 memory=5489004 CPUtime=1746.66 cores=0-7
/proc/16130/stat : 16130 (java) S 16128 16128 6764 0 -1 1077944320 161603 0 0 0 174371 295 0 0 20 0 28 0 97047801 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140730574680528 140007487794935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
/proc/16130/statm: 6668469 1372251 3287 1 0 6655703 0
[pid=16130/tid=16131] ppid=16128 vsize=26673876 memory=5489004 CPUtime=2.89 cores=0-7
/proc/16130/task/16131/stat : 16131 (java) S 16128 16128 6764 0 -1 1077944384 9848 0 0 0 281 8 0 0 20 0 28 0 97047801 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140007492035600 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16132] ppid=16128 vsize=26673876 memory=5489004 CPUtime=0.19 cores=0-7
/proc/16130/task/16132/stat : 16132 (java) S 16128 16128 6764 0 -1 1077944384 891 0 0 0 13 6 0 0 20 0 28 0 97047802 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140007440415632 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16133] ppid=16128 vsize=26673876 memory=4420 CPUtime=0.16 cores=0-7
/proc/16130/task/16133/stat : 16133 (java) S 16128 16128 6764 0 -1 1077944384 798 0 0 0 11 5 0 0 20 0 28 0 97047802 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140007439362832 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16134] ppid=16128 vsize=26673876 memory=1384 CPUtime=0.17 cores=0-7
/proc/16130/task/16134/stat : 16134 (java) S 16128 16128 6764 0 -1 1077944384 374 0 0 0 12 5 0 0 20 0 28 0 97047802 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140007438310544 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16135] ppid=16128 vsize=26673876 memory=5489004 CPUtime=0.19 cores=0-7
/proc/16130/task/16135/stat : 16135 (java) S 16128 16128 6764 0 -1 1077944384 317 0 0 0 13 6 0 0 20 0 28 0 97047802 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140007437257744 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16136] ppid=16128 vsize=26673876 memory=1384 CPUtime=0.18 cores=0-7
/proc/16130/task/16136/stat : 16136 (java) S 16128 16128 6764 0 -1 1077944384 776 0 0 0 12 6 0 0 20 0 28 0 97047802 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140007436204432 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16137] ppid=16128 vsize=26673876 memory=5487540 CPUtime=0.2 cores=0-7
/proc/16130/task/16137/stat : 16137 (java) S 16128 16128 6764 0 -1 1077944384 744 0 0 0 13 7 0 0 20 0 28 0 97047802 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140007435151632 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16138] ppid=16128 vsize=26673876 memory=5487540 CPUtime=0.15 cores=0-7
/proc/16130/task/16138/stat : 16138 (java) S 16128 16128 6764 0 -1 1077944384 247 0 0 0 11 4 0 0 20 0 28 0 97047802 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140007434099344 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16139] ppid=16128 vsize=26673876 memory=0 CPUtime=0.18 cores=0-7
/proc/16130/task/16139/stat : 16139 (java) S 16128 16128 6764 0 -1 1077944384 733 0 0 0 12 6 0 0 20 0 28 0 97047802 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140007433046544 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16140] ppid=16128 vsize=26673876 memory=33828 CPUtime=0.05 cores=0-7
/proc/16130/task/16140/stat : 16140 (java) S 16128 16128 6764 0 -1 1077944384 4956 0 0 0 4 1 0 0 20 0 28 0 97047803 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140006615132784 140007487806082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16141] ppid=16128 vsize=26673876 memory=1384 CPUtime=0 cores=0-7
/proc/16130/task/16141/stat : 16141 (java) S 16128 16128 6764 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 97047804 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140006614078816 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16142] ppid=16128 vsize=26673876 memory=5489004 CPUtime=0 cores=0-7
/proc/16130/task/16142/stat : 16142 (java) S 16128 16128 6764 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97047804 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140006613026432 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16143] ppid=16128 vsize=26673876 memory=1236 CPUtime=0 cores=0-7
/proc/16130/task/16143/stat : 16143 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97047806 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140006611974736 140007487813531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16144] ppid=16128 vsize=26673876 memory=0 CPUtime=4.05 cores=0-7
/proc/16130/task/16144/stat : 16144 (java) S 16128 16128 6764 0 -1 1077944384 18465 0 0 0 402 3 0 0 20 0 28 0 97047806 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140006610921584 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16145] ppid=16128 vsize=26673876 memory=0 CPUtime=3.37 cores=0-7
/proc/16130/task/16145/stat : 16145 (java) S 16128 16128 6764 0 -1 1077944384 15672 0 0 0 333 4 0 0 20 0 28 0 97047806 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140006609868784 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16146] ppid=16128 vsize=26673876 memory=0 CPUtime=3.75 cores=0-7
/proc/16130/task/16146/stat : 16146 (java) S 16128 16128 6764 0 -1 1077944384 18249 0 0 0 371 4 0 0 20 0 28 0 97047806 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140006608816496 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16147] ppid=16128 vsize=26673876 memory=928 CPUtime=1.18 cores=0-7
/proc/16130/task/16147/stat : 16147 (java) S 16128 16128 6764 0 -1 1077944384 12105 0 0 0 116 2 0 0 20 0 28 0 97047806 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140006607763696 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16148] ppid=16128 vsize=26673876 memory=2240 CPUtime=0 cores=0-7
/proc/16130/task/16148/stat : 16148 (java) S 16128 16128 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97047807 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140005616380768 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16149] ppid=16128 vsize=26673876 memory=1384 CPUtime=0.07 cores=0-7
/proc/16130/task/16149/stat : 16149 (java) S 16128 16128 6764 0 -1 1077944384 2391 0 0 0 1 6 0 0 20 0 28 0 97047807 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140005615328048 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18965] ppid=16128 vsize=26673876 memory=1384 CPUtime=50.1 cores=0-7
/proc/16130/task/18965/stat : 18965 (java) R 16128 16128 6764 0 -1 4202560 1280 0 0 0 5008 2 0 0 20 0 28 0 97065009 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140005607812344 140007101310140 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18966] ppid=16128 vsize=26673876 memory=1384 CPUtime=50.19 cores=0-7
/proc/16130/task/18966/stat : 18966 (java) R 16128 16128 6764 0 -1 4202560 1104 0 0 0 5019 0 0 0 20 0 28 0 97065009 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140005606761096 140007102208614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18967] ppid=16128 vsize=26673876 memory=5489004 CPUtime=50.2 cores=0-7
/proc/16130/task/18967/stat : 18967 (java) R 16128 16128 6764 0 -1 4202560 792 0 0 0 5019 1 0 0 20 0 28 0 97065009 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140005600444976 140007102207706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18968] ppid=16128 vsize=26673876 memory=5300 CPUtime=50.19 cores=0-7
/proc/16130/task/18968/stat : 18968 (java) R 16128 16128 6764 0 -1 4202560 4519 0 0 0 5014 5 0 0 20 0 28 0 97065009 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140004320856864 140007101390134 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18969] ppid=16128 vsize=26673876 memory=4012 CPUtime=50.17 cores=0-7
/proc/16130/task/18969/stat : 18969 (java) R 16128 16128 6764 0 -1 4202560 1434 0 0 0 5016 1 0 0 20 0 28 0 97065009 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140005604654760 140007102207745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18970] ppid=16128 vsize=26673876 memory=27832 CPUtime=49.1 cores=0-7
/proc/16130/task/18970/stat : 18970 (java) R 16128 16128 6764 0 -1 4202560 1751 0 0 0 4907 3 0 0 20 0 28 0 97065009 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140004456124424 140007103090162 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18971] ppid=16128 vsize=26673876 memory=1296 CPUtime=50.2 cores=0-7
/proc/16130/task/18971/stat : 18971 (java) R 16128 16128 6764 0 -1 4202560 3323 0 0 0 5018 2 0 0 20 0 28 0 97065009 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140005603602376 140007101588446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18972] ppid=16128 vsize=26673876 memory=2400 CPUtime=50.15 cores=0-7
/proc/16130/task/18972/stat : 18972 (java) R 16128 16128 6764 0 -1 4202560 751 0 0 0 5014 1 0 0 20 0 28 0 97065009 27314049024 1372251 33554432000 4194304 4196468 140730574697984 140005602550392 140007101911152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
Current children cumulated CPU time: 1746.66 s
Current children cumulated vsize: 26683388 KiB
Current children cumulated memory: 5490388 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.00 7.70 5.85 9/207 18972
/proc/meminfo: memFree=21072052/32770624 swapFree=67108860/67108860
[pid=16128] ppid=16125 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16128/stat : 16128 (xcsp3-exec) S 16125 16128 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97047800 9740288 346 33554432000 4194304 5098028 140727680402352 140727680400456 140254443684476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25350144 140727680410731 140727680410940 140727680410940 140727680413675 0
/proc/16128/statm: 2378 346 289 221 0 87 0
[pid=16130] ppid=16128 vsize=26673876 memory=5490148 CPUtime=1983.62 cores=0-7
/proc/16130/stat : 16130 (java) S 16128 16128 6764 0 -1 1077944320 175360 0 0 0 198053 309 0 0 20 0 28 0 97047801 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140730574680528 140007487794935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
/proc/16130/statm: 6668469 1372537 3287 1 0 6655703 0
[pid=16130/tid=16131] ppid=16128 vsize=26673876 memory=15732 CPUtime=2.89 cores=0-7
/proc/16130/task/16131/stat : 16131 (java) S 16128 16128 6764 0 -1 1077944384 9848 0 0 0 281 8 0 0 20 0 28 0 97047801 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140007492035600 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16132] ppid=16128 vsize=26673876 memory=16432 CPUtime=0.19 cores=0-7
/proc/16130/task/16132/stat : 16132 (java) S 16128 16128 6764 0 -1 1077944384 891 0 0 0 13 6 0 0 20 0 28 0 97047802 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140007440415632 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16133] ppid=16128 vsize=26673876 memory=4040 CPUtime=0.16 cores=0-7
/proc/16130/task/16133/stat : 16133 (java) S 16128 16128 6764 0 -1 1077944384 798 0 0 0 11 5 0 0 20 0 28 0 97047802 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140007439362832 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16134] ppid=16128 vsize=26673876 memory=4872558044660077418 CPUtime=0.17 cores=0-7
/proc/16130/task/16134/stat : 16134 (java) S 16128 16128 6764 0 -1 1077944384 374 0 0 0 12 5 0 0 20 0 28 0 97047802 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140007438310544 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16135] ppid=16128 vsize=26673876 memory=4872558044660077418 CPUtime=0.19 cores=0-7
/proc/16130/task/16135/stat : 16135 (java) S 16128 16128 6764 0 -1 1077944384 317 0 0 0 13 6 0 0 20 0 28 0 97047802 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140007437257744 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16136] ppid=16128 vsize=26673876 memory=4128 CPUtime=0.18 cores=0-7
/proc/16130/task/16136/stat : 16136 (java) S 16128 16128 6764 0 -1 1077944384 776 0 0 0 12 6 0 0 20 0 28 0 97047802 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140007436204432 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16137] ppid=16128 vsize=26673876 memory=2344 CPUtime=0.2 cores=0-7
/proc/16130/task/16137/stat : 16137 (java) S 16128 16128 6764 0 -1 1077944384 744 0 0 0 13 7 0 0 20 0 28 0 97047802 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140007435151632 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16138] ppid=16128 vsize=26673876 memory=796 CPUtime=0.15 cores=0-7
/proc/16130/task/16138/stat : 16138 (java) S 16128 16128 6764 0 -1 1077944384 247 0 0 0 11 4 0 0 20 0 28 0 97047802 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140007434099344 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16139] ppid=16128 vsize=26673876 memory=1296 CPUtime=0.18 cores=0-7
/proc/16130/task/16139/stat : 16139 (java) S 16128 16128 6764 0 -1 1077944384 733 0 0 0 12 6 0 0 20 0 28 0 97047802 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140007433046544 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16140] ppid=16128 vsize=26673876 memory=2400 CPUtime=0.05 cores=0-7
/proc/16130/task/16140/stat : 16140 (java) S 16128 16128 6764 0 -1 1077944384 5103 0 0 0 4 1 0 0 20 0 28 0 97047803 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140006615132784 140007487806082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16141] ppid=16128 vsize=26673876 memory=1728 CPUtime=0 cores=0-7
/proc/16130/task/16141/stat : 16141 (java) S 16128 16128 6764 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 97047804 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140006614078816 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16142] ppid=16128 vsize=26673876 memory=12032 CPUtime=0 cores=0-7
/proc/16130/task/16142/stat : 16142 (java) S 16128 16128 6764 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97047804 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140006613026432 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16143] ppid=16128 vsize=26673876 memory=1708 CPUtime=0 cores=0-7
/proc/16130/task/16143/stat : 16143 (java) S 16128 16128 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97047806 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140006611974736 140007487813531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16144] ppid=16128 vsize=26673876 memory=1012 CPUtime=4.14 cores=0-7
/proc/16130/task/16144/stat : 16144 (java) S 16128 16128 6764 0 -1 1077944384 21037 0 0 0 411 3 0 0 20 0 28 0 97047806 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140006610921584 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16145] ppid=16128 vsize=26673876 memory=796 CPUtime=3.56 cores=0-7
/proc/16130/task/16145/stat : 16145 (java) S 16128 16128 6764 0 -1 1077944384 18248 0 0 0 352 4 0 0 20 0 28 0 97047806 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140006609868784 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16146] ppid=16128 vsize=26673876 memory=1228 CPUtime=3.85 cores=0-7
/proc/16130/task/16146/stat : 16146 (java) S 16128 16128 6764 0 -1 1077944384 20732 0 0 0 381 4 0 0 20 0 28 0 97047806 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140006608816496 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16147] ppid=16128 vsize=26673876 memory=5300 CPUtime=1.19 cores=0-7
/proc/16130/task/16147/stat : 16147 (java) S 16128 16128 6764 0 -1 1077944384 12344 0 0 0 117 2 0 0 20 0 28 0 97047806 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140006607763696 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16148] ppid=16128 vsize=26673876 memory=4616 CPUtime=0 cores=0-7
/proc/16130/task/16148/stat : 16148 (java) S 16128 16128 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97047807 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140005616380768 140007487805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=16149] ppid=16128 vsize=26673876 memory=1428 CPUtime=0.08 cores=0-7
/proc/16130/task/16149/stat : 16149 (java) S 16128 16128 6764 0 -1 1077944384 2488 0 0 0 1 7 0 0 20 0 28 0 97047807 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140005615328048 140007487806082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18965] ppid=16128 vsize=26673876 memory=1196 CPUtime=79.76 cores=0-7
/proc/16130/task/18965/stat : 18965 (java) R 16128 16128 6764 0 -1 4202560 1653 0 0 0 7973 3 0 0 20 0 28 0 97065009 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140005607812168 140007102207706 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18966] ppid=16128 vsize=26673876 memory=10640 CPUtime=79.87 cores=0-7
/proc/16130/task/18966/stat : 18966 (java) R 16128 16128 6764 0 -1 4202560 1450 0 0 0 7987 0 0 0 20 0 28 0 97065009 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140005606760968 140007102207534 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18967] ppid=16128 vsize=26673876 memory=15876 CPUtime=79.9 cores=0-7
/proc/16130/task/18967/stat : 18967 (java) R 16128 16128 6764 0 -1 4202560 981 0 0 0 7989 1 0 0 20 0 28 0 97065009 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140005600444768 140007097273920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18968] ppid=16128 vsize=26673876 memory=15732 CPUtime=79.73 cores=0-7
/proc/16130/task/18968/stat : 18968 (java) R 16128 16128 6764 0 -1 4202560 7166 0 0 0 7959 14 0 0 20 0 28 0 97065009 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140004320854120 140007093458273 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18969] ppid=16128 vsize=26673876 memory=16432 CPUtime=79.74 cores=0-7
/proc/16130/task/18969/stat : 18969 (java) R 16128 16128 6764 0 -1 4202560 2116 0 0 0 7973 1 0 0 20 0 28 0 97065009 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140005604654760 140007101591765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18970] ppid=16128 vsize=26673876 memory=4040 CPUtime=78.18 cores=0-7
/proc/16130/task/18970/stat : 18970 (java) R 16128 16128 6764 0 -1 4202560 2047 0 0 0 7814 4 0 0 20 0 28 0 97065009 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140004456124328 140007101588451 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18971] ppid=16128 vsize=26673876 memory=1792 CPUtime=79.88 cores=0-7
/proc/16130/task/18971/stat : 18971 (java) R 16128 16128 6764 0 -1 4202560 4169 0 0 0 7985 3 0 0 20 0 28 0 97065009 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140005603603112 140007101972431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
[pid=16130/tid=18972] ppid=16128 vsize=26673876 memory=640 CPUtime=79.83 cores=0-7
/proc/16130/task/18972/stat : 18972 (java) R 16128 16128 6764 0 -1 4202560 1015 0 0 0 7981 2 0 0 20 0 28 0 97065009 27314049024 1372537 33554432000 4194304 4196468 140730574697984 140005602550360 140007102890609 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140730574701720 140730574701896 140730574701896 140730574704591 0
Current children cumulated CPU time: 1983.62 s
Current children cumulated vsize: 26683388 KiB
Current children cumulated memory: 5491532 KiB

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

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

[startup+252.116 s]
# the end of solver process 16130 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1981.16 s, system=3.12071 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

Child status: 143
Real time (s): 252.117
CPU time (s): 1984.28
CPU user time (s): 1981.16
CPU system time (s): 3.12071
CPU usage (%): 787.05
Max. virtual memory (cumulated for all children) (KiB): 26685416
Max. memory (cumulated for all children) (KiB): 5493052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1981.16
system time used= 3.12071
maximum resident set size= 5491668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32927
involuntary context switches= 21111


# summary of solver processes directly reported to runsolver:
#   pid: 16128,16130
#   total CPU time (s): 1984.28
#   total CPU user time (s): 1981.16
#   total CPU system time (s): 3.12071

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.4969 second user time and 2.73328 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-13 17:41:43
IDJOB=4271793
IDBENCH=115904
IDSOLVER=2663
FILE ID=node105/4271793-1502639762
RUNJOBID= node105-1502638143-6791
PBS_JOBID= 20628331
Free space on /tmp= 60664 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.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-4271793-1502639762/watcher-4271793-1502639762 -o /tmp/evaluation-result-4271793-1502639762/solver-4271793-1502639762 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 174336526 HOME/instance-4271793-1502639762.xml

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

MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1
RANDOM SEED=174336526

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26559964 kB
MemAvailable:   31977152 kB
Buffers:          173652 kB
Cached:          5519068 kB
SwapCached:            0 kB
Active:           673852 kB
Inactive:        5072416 kB
Active(anon):      56380 kB
Inactive(anon):    25060 kB
Active(file):     617472 kB
Inactive(file):  5047356 kB
Unevictable:        6248 kB
Mlocked:            6248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:             4 kB
AnonPages:         51276 kB
Mapped:            43512 kB
Shmem:             25228 kB
Slab:             161752 kB
SReclaimable:     136388 kB
SUnreclaim:        25364 kB
KernelStack:        3312 kB
PageTables:         4588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60656 MiB
End job on node105 at 2017-08-13 17:45:56