Trace number 4281603

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)364 1983.6899 252.136

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-4281603-1503179996.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281603-1503179996.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
7.29/2.69	c solve instance...
12.87/3.43	o 0 
13.42/3.57	o 4 
14.94/3.93	o 6 
14.94/3.94	o 8 
14.94/3.96	o 10 
14.94/3.96	o 12 
14.94/4.00	o 14 
15.49/4.01	o 16 
15.49/4.06	o 18 
16.23/4.16	o 20 
16.94/4.24	o 22 
17.70/4.37	o 24 
22.26/4.90	o 26 
22.26/4.98	o 27 
22.26/4.99	o 28 
22.26/4.99	o 29 
23.00/5.01	o 30 
23.00/5.02	o 31 
23.00/5.02	o 32 
23.00/5.03	o 33 
23.00/5.03	o 34 
23.00/5.04	o 35 
23.00/5.05	o 36 
23.00/5.05	o 37 
23.00/5.06	o 38 
23.00/5.09	o 39 
23.00/5.10	o 40 
23.00/5.10	o 41 
23.62/5.11	o 42 
23.62/5.11	o 43 
23.62/5.12	o 44 
23.62/5.13	o 45 
23.62/5.13	o 46 
23.62/5.16	o 47 
23.62/5.17	o 48 
23.62/5.17	o 49 
23.62/5.18	o 50 
24.22/5.20	o 51 
24.22/5.21	o 52 
24.22/5.22	o 53 
24.22/5.22	o 54 
24.22/5.23	o 55 
24.22/5.24	o 56 
24.22/5.24	o 57 
24.22/5.25	o 58 
24.22/5.25	o 59 
24.22/5.26	o 60 
24.22/5.27	o 61 
24.22/5.28	o 62 
24.82/5.30	o 63 
24.82/5.32	o 64 
24.82/5.32	o 65 
24.82/5.32	o 66 
24.82/5.33	o 67 
24.82/5.33	o 68 
24.82/5.34	o 69 
24.82/5.34	o 70 
24.82/5.35	o 71 
24.82/5.35	o 72 
24.82/5.36	o 73 
24.82/5.36	o 74 
24.82/5.37	o 75 
24.82/5.37	o 76 
24.82/5.38	o 77 
24.82/5.38	o 78 
24.82/5.39	o 79 
24.82/5.40	o 80 
25.31/5.40	o 81 
25.31/5.41	o 82 
25.31/5.41	o 83 
25.31/5.42	o 84 
25.31/5.42	o 85 
25.31/5.43	o 86 
25.31/5.43	o 87 
25.31/5.44	o 88 
25.31/5.44	o 89 
25.31/5.45	o 90 
25.31/5.45	o 91 
25.31/5.46	o 92 
25.31/5.46	o 93 
25.31/5.47	o 94 
25.31/5.47	o 95 
25.31/5.48	o 96 
25.31/5.48	o 97 
25.31/5.49	o 98 
25.31/5.49	o 99 
25.91/5.52	o 100 
25.91/5.52	o 101 
25.91/5.53	o 102 
25.91/5.53	o 103 
25.91/5.54	o 104 
25.91/5.55	o 105 
25.91/5.55	o 106 
25.91/5.56	o 107 
25.91/5.56	o 108 
25.91/5.57	o 109 
25.91/5.57	o 110 
25.91/5.58	o 111 
25.91/5.58	o 112 
25.91/5.59	o 113 
25.91/5.60	o 114 
26.37/5.60	o 115 
26.37/5.61	o 116 
26.37/5.61	o 117 
26.37/5.62	o 118 
26.37/5.62	o 119 
26.37/5.63	o 120 
26.37/5.63	o 121 
26.37/5.64	o 122 
26.37/5.64	o 123 
26.37/5.65	o 124 
26.37/5.66	o 125 
26.37/5.66	o 126 
26.37/5.67	o 127 
26.37/5.67	o 128 
26.37/5.68	o 129 
26.37/5.68	o 130 
26.37/5.69	o 131 
26.37/5.70	o 132 
26.85/5.70	o 133 
26.85/5.71	o 134 
26.85/5.72	o 135 
26.85/5.73	o 136 
26.85/5.75	o 137 
26.85/5.76	o 138 
26.85/5.77	o 139 
26.85/5.77	o 140 
26.85/5.79	o 141 
26.85/5.79	o 142 
26.85/5.80	o 143 
27.41/5.81	o 144 
27.41/5.81	o 145 
27.41/5.82	o 146 
27.41/5.83	o 147 
27.41/5.83	o 148 
27.41/5.84	o 149 
27.41/5.84	o 150 
27.41/5.85	o 151 
27.41/5.86	o 152 
27.41/5.86	o 153 
27.41/5.87	o 154 
27.41/5.87	o 155 
27.41/5.89	o 156 
27.41/5.90	o 157 
27.99/5.90	o 158 
27.99/5.91	o 159 
27.99/5.91	o 160 
27.99/5.92	o 161 
27.99/5.92	o 162 
27.99/5.93	o 163 
27.99/5.93	o 164 
27.99/5.94	o 165 
27.99/5.94	o 166 
27.99/5.95	o 167 
27.99/5.96	o 168 
27.99/5.96	o 169 
27.99/5.97	o 170 
27.99/5.97	o 171 
27.99/5.99	o 172 
27.99/5.99	o 173 
27.99/6.01	o 174 
28.56/6.01	o 175 
28.56/6.02	o 176 
29.00/6.25	o 177 
29.00/6.26	o 178 
29.00/6.27	o 179 
29.00/6.27	o 180 
29.00/6.28	o 181 
29.00/6.30	o 182 
29.36/6.30	o 183 
29.36/6.31	o 184 
29.36/6.31	o 185 
29.36/6.32	o 186 
29.36/6.33	o 187 
29.36/6.33	o 188 
29.36/6.34	o 189 
29.36/6.34	o 190 
29.36/6.35	o 191 
29.36/6.36	o 192 
29.36/6.36	o 193 
29.36/6.37	o 194 
29.36/6.38	o 195 
29.36/6.38	o 196 
29.36/6.39	o 197 
29.36/6.39	o 198 
29.83/6.40	o 199 
29.83/6.41	o 200 
29.83/6.41	o 201 
29.83/6.42	o 202 
29.83/6.42	o 203 
29.83/6.43	o 204 
29.83/6.44	o 205 
29.83/6.45	o 206 
29.83/6.46	o 207 
29.83/6.46	o 208 
29.83/6.47	o 209 
29.83/6.47	o 210 
29.83/6.48	o 211 
29.83/6.48	o 212 
29.83/6.49	o 213 
29.83/6.50	o 214 
30.31/6.50	o 215 
30.31/6.51	o 216 
30.31/6.52	o 217 
30.31/6.52	o 218 
30.31/6.53	o 219 
30.31/6.53	o 220 
30.31/6.54	o 221 
30.31/6.55	o 222 
30.31/6.55	o 223 
30.31/6.56	o 224 
30.31/6.56	o 225 
30.31/6.57	o 226 
30.31/6.58	o 227 
30.31/6.58	o 228 
30.31/6.59	o 229 
30.31/6.60	o 230 
30.82/6.60	o 231 
30.82/6.61	o 232 
30.82/6.62	o 233 
30.82/6.62	o 234 
30.82/6.63	o 235 
30.82/6.64	o 236 
30.82/6.64	o 237 
30.82/6.65	o 238 
30.82/6.66	o 239 
30.82/6.66	o 240 
30.82/6.67	o 241 
30.82/6.68	o 242 
30.82/6.68	o 243 
30.82/6.69	o 244 
30.82/6.69	o 245 
31.34/6.70	o 246 
31.34/6.71	o 247 
31.34/6.72	o 248 
31.34/6.72	o 249 
31.34/6.73	o 250 
31.34/6.73	o 251 
31.34/6.74	o 252 
31.34/6.75	o 253 
31.34/6.75	o 254 
31.34/6.76	o 255 
31.34/6.77	o 256 
31.34/6.77	o 257 
31.34/6.78	o 258 
31.34/6.79	o 259 
31.34/6.79	o 260 
31.82/6.80	o 261 
31.82/6.81	o 262 
31.82/6.81	o 263 
31.82/6.82	o 264 
31.82/6.83	o 265 
31.82/6.84	o 266 
31.82/6.84	o 267 
31.82/6.85	o 268 
31.82/6.86	o 269 
31.82/6.87	o 270 
31.82/6.87	o 271 
31.82/6.88	o 272 
31.82/6.89	o 273 
32.29/6.90	o 274 
32.29/6.90	o 275 
32.29/6.91	o 276 
32.29/6.92	o 277 
32.29/6.93	o 278 
32.29/6.93	o 279 
32.29/6.94	o 280 
32.29/6.94	o 281 
32.29/6.95	o 282 
32.29/6.96	o 283 
32.29/6.97	o 284 
32.29/6.97	o 285 
32.29/6.98	o 286 
32.29/6.99	o 287 
32.29/7.00	o 288 
32.29/7.00	o 289 
32.83/7.01	o 290 
32.83/7.02	o 291 
32.83/7.02	o 292 
32.83/7.03	o 293 
32.83/7.04	o 294 
32.83/7.04	o 295 
32.83/7.05	o 296 
32.83/7.06	o 297 
32.83/7.06	o 298 
32.83/7.07	o 299 
32.83/7.08	o 300 
32.83/7.08	o 301 
32.83/7.09	o 302 
32.83/7.10	o 303 
32.83/7.10	o 304 
32.83/7.11	o 305 
33.37/7.12	o 306 
33.37/7.12	o 307 
33.37/7.13	o 308 
33.37/7.14	o 309 
33.37/7.15	o 310 
33.37/7.15	o 311 
33.37/7.16	o 312 
33.37/7.17	o 313 
33.37/7.18	o 314 
33.37/7.19	o 315 
33.37/7.19	o 316 
33.80/7.20	o 317 
33.80/7.21	o 318 
33.80/7.22	o 319 
33.80/7.22	o 320 
33.80/7.23	o 321 
33.80/7.24	o 322 
33.80/7.25	o 323 
33.80/7.25	o 324 
33.80/7.27	o 325 
33.80/7.27	o 326 
33.80/7.28	o 327 
33.80/7.29	o 328 
33.80/7.29	o 329 
33.80/7.30	o 330 
34.38/7.31	o 331 
34.38/7.32	o 332 
34.38/7.32	o 333 
34.38/7.33	o 334 
34.38/7.34	o 335 
34.38/7.35	o 336 
34.38/7.35	o 337 
34.38/7.36	o 338 
34.38/7.37	o 339 
34.38/7.38	o 340 
34.38/7.38	o 341 
34.38/7.39	o 342 
34.88/7.40	o 343 
34.88/7.41	o 344 
34.88/7.42	o 345 
34.88/7.43	o 346 
34.88/7.43	o 347 
34.88/7.44	o 348 
34.88/7.45	o 349 
34.88/7.46	o 350 
34.88/7.47	o 351 
34.88/7.48	o 352 
34.88/7.48	o 353 
34.88/7.49	o 354 
34.88/7.50	o 355 
35.37/7.51	o 356 
35.37/7.52	o 357 
35.37/7.52	o 358 
35.37/7.53	o 359 
37.22/7.81	o 360 
37.22/7.86	o 361 
63.42/11.27	o 362 
64.94/11.52	o 363 
1352.15/173.01	o 364 
1982.96/252.08	s SATISFIABLE
1982.96/252.08	v <instantiation>
1982.96/252.08	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[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>
1982.96/252.08	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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>
1982.96/252.08	v </instantiation>
1982.96/252.08	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 (13015 MiB free)
  memory of node 1: 16384 MiB (12569 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281603-1503179996/watcher-4281603-1503179996 -o /tmp/evaluation-result-4281603-1503179996/solver-4281603-1503179996 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1495287405 HOME/instance-4281603-1503179996.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=25898, runsolver pid=25895
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 7.91 8.13 8.15 2/199 25919
/proc/meminfo: memFree=26184360/32770624 swapFree=67108860/67108860
[pid=25898] ppid=25895 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25898/stat : 25898 (xcsp3-exec) S 25895 25898 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151087261 9740288 346 33554432000 4194304 5098028 140721417968128 140721417966232 140027534578300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37916672 140721417974890 140721417975100 140721417975100 140721417977835 0
/proc/25898/statm: 2378 346 289 221 0 87 0
[pid=25900] ppid=25898 vsize=25999808 memory=26824 CPUtime=0.12 cores=0-7
/proc/25900/stat : 25900 (java) S 25898 25898 13260 0 -1 1077944320 5571 0 0 0 11 1 0 0 20 0 20 0 151087262 26623803392 6706 33554432000 4194304 4196468 140737458079552 140737458062096 140253907668727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
/proc/25900/statm: 6499952 6706 2872 1 0 6488269 0
[pid=25900/tid=25901] ppid=25898 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/25900/task/25901/stat : 25901 (java) R 25898 25898 13260 0 -1 4202560 3587 0 0 0 8 0 0 0 20 0 20 0 151087262 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253911894976 140253891749214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25902] ppid=25898 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25900/task/25902/stat : 25902 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253860289168 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25903] ppid=25898 vsize=25999808 memory=140092386432640 CPUtime=0 cores=0-7
/proc/25900/task/25903/stat : 25903 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087263 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253859236368 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25904] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25904/stat : 25904 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087263 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253858183568 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25905] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25905/stat : 25905 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253857130768 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25906] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25906/stat : 25906 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253856078992 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25907] ppid=25898 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25900/task/25907/stat : 25907 (java) S 25898 25898 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151087263 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253855026192 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25908] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25908/stat : 25908 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087263 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253853973392 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25909] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25909/stat : 25909 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253852920592 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25910] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25910/stat : 25910 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087264 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253169265008 140253907679874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25911] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25911/stat : 25911 (java) S 25898 25898 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151087265 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253168210976 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25912] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25912/stat : 25912 (java) S 25898 25898 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151087265 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253167158128 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25913] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25913/stat : 25913 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087267 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253166106448 140253907687323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25914] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25914/stat : 25914 (java) R 25898 25898 13260 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 151087267 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253165054832 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25915] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25915/stat : 25915 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087267 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253096569584 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25916] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25916/stat : 25916 (java) S 25898 25898 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151087267 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253095516784 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25917] ppid=25898 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/25900/task/25917/stat : 25917 (java) R 25898 25898 13260 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 151087267 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253094463984 140253907690074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25918] ppid=25898 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25918/stat : 25918 (java) S 25898 25898 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151087268 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253093411424 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25919] ppid=25898 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25900/task/25919/stat : 25919 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087268 26623803392 6706 33554432000 4194304 4196468 140737458079552 140253092358704 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28208 KiB

[startup+0.210163 s]*
/proc/loadavg: 7.91 8.13 8.15 2/199 25919
/proc/meminfo: memFree=26173264/32770624 swapFree=67108860/67108860
[pid=25898] ppid=25895 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25898/stat : 25898 (xcsp3-exec) S 25895 25898 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151087261 9740288 346 33554432000 4194304 5098028 140721417968128 140721417966232 140027534578300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37916672 140721417974890 140721417975100 140721417975100 140721417977835 0
/proc/25898/statm: 2378 346 289 221 0 87 0
[pid=25900] ppid=25898 vsize=26004064 memory=39168 CPUtime=0.33 cores=0-7
/proc/25900/stat : 25900 (java) S 25898 25898 13260 0 -1 1077944320 8395 0 0 0 31 2 0 0 20 0 20 0 151087262 26628161536 9792 33554432000 4194304 4196468 140737458079552 140737458062096 140253907668727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
/proc/25900/statm: 6501016 9792 3030 1 0 6488269 0
[pid=25900/tid=25901] ppid=25898 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/25900/task/25901/stat : 25901 (java) R 25898 25898 13260 0 -1 4202560 5480 0 0 0 18 1 0 0 20 0 20 0 151087262 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253911882704 140253516141215 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25902] ppid=25898 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/25900/task/25902/stat : 25902 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253860289168 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25903] ppid=25898 vsize=26004064 memory=3472469505336268448 CPUtime=0 cores=0-7
/proc/25900/task/25903/stat : 25903 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253859236368 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25904] ppid=25898 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25900/task/25904/stat : 25904 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253858183568 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25905] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25905/stat : 25905 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253857130768 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25906] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25906/stat : 25906 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253856078992 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25907] ppid=25898 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25900/task/25907/stat : 25907 (java) S 25898 25898 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253855026192 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25908] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25908/stat : 25908 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253853973392 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25909] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25909/stat : 25909 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253852920592 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25910] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25910/stat : 25910 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087264 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253169265008 140253907679874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25911] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25911/stat : 25911 (java) S 25898 25898 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151087265 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253168210976 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25912] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25912/stat : 25912 (java) S 25898 25898 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151087265 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253167158128 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25913] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25913/stat : 25913 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087267 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253166106448 140253907687323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25914] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25914/stat : 25914 (java) S 25898 25898 13260 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 20 0 151087267 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253165054832 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25915] ppid=25898 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/25900/task/25915/stat : 25915 (java) S 25898 25898 13260 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 20 0 151087267 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253096569584 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25916] ppid=25898 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/25900/task/25916/stat : 25916 (java) S 25898 25898 13260 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 151087267 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253095516784 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25917] ppid=25898 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/25900/task/25917/stat : 25917 (java) R 25898 25898 13260 0 -1 4202560 696 0 0 0 8 0 0 0 20 0 20 0 151087267 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253094463984 140253885687121 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25918] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25918/stat : 25918 (java) S 25898 25898 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151087268 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253093411424 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25919] ppid=25898 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25900/task/25919/stat : 25919 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087268 26628161536 9792 33554432000 4194304 4196468 140737458079552 140253092358704 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40552 KiB

[startup+0.309467 s]*
/proc/loadavg: 7.91 8.13 8.15 3/199 25919
/proc/meminfo: memFree=26168612/32770624 swapFree=67108860/67108860
[pid=25898] ppid=25895 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25898/stat : 25898 (xcsp3-exec) S 25895 25898 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151087261 9740288 346 33554432000 4194304 5098028 140721417968128 140721417966232 140027534578300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37916672 140721417974890 140721417975100 140721417975100 140721417977835 0
/proc/25898/statm: 2378 346 289 221 0 87 0
[pid=25900] ppid=25898 vsize=26004064 memory=45832 CPUtime=0.51 cores=0-7
/proc/25900/stat : 25900 (java) S 25898 25898 13260 0 -1 1077944320 9193 0 0 0 48 3 0 0 20 0 20 0 151087262 26628161536 11458 33554432000 4194304 4196468 140737458079552 140737458062096 140253907668727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
/proc/25900/statm: 6501016 11458 3046 1 0 6488269 0
[pid=25900/tid=25901] ppid=25898 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25900/task/25901/stat : 25901 (java) R 25898 25898 13260 0 -1 4202560 6143 0 0 0 27 2 0 0 20 0 20 0 151087262 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253911904816 140253907680662 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25902] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25902/stat : 25902 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253860289168 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25903] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25903/stat : 25903 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253859236368 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25904] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25904/stat : 25904 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253858183568 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25905] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25905/stat : 25905 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253857130768 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25906] ppid=25898 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/25900/task/25906/stat : 25906 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253856078992 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25907] ppid=25898 vsize=26004064 memory=140092236723119 CPUtime=0 cores=0-7
/proc/25900/task/25907/stat : 25907 (java) S 25898 25898 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253855026192 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25908] ppid=25898 vsize=26004064 memory=140092236725424 CPUtime=0 cores=0-7
/proc/25900/task/25908/stat : 25908 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253853973392 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25909] ppid=25898 vsize=26004064 memory=140092236727728 CPUtime=0 cores=0-7
/proc/25900/task/25909/stat : 25909 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253852920592 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25910] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25910/stat : 25910 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087264 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253169265008 140253907679874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25911] ppid=25898 vsize=26004064 memory=280184473462416 CPUtime=0 cores=0-7
/proc/25900/task/25911/stat : 25911 (java) S 25898 25898 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151087265 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253168210976 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25912] ppid=25898 vsize=26004064 memory=280184473469328 CPUtime=0 cores=0-7
/proc/25900/task/25912/stat : 25912 (java) S 25898 25898 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151087265 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253167158128 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25913] ppid=25898 vsize=26004064 memory=280184473410608 CPUtime=0 cores=0-7
/proc/25900/task/25913/stat : 25913 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087267 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253166106448 140253907687323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25914] ppid=25898 vsize=26004064 memory=280184473483152 CPUtime=0.01 cores=0-7
/proc/25900/task/25914/stat : 25914 (java) R 25898 25898 13260 0 -1 4202560 453 0 0 0 1 0 0 0 20 0 20 0 151087267 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253165054832 140253900653769 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25915] ppid=25898 vsize=26004064 memory=280184473490064 CPUtime=0.02 cores=0-7
/proc/25900/task/25915/stat : 25915 (java) R 25898 25898 13260 0 -1 1077944384 304 0 0 0 2 0 0 0 20 0 20 0 151087267 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253096569584 140253907679874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25916] ppid=25898 vsize=26004064 memory=280184473487760 CPUtime=0.03 cores=0-7
/proc/25900/task/25916/stat : 25916 (java) R 25898 25898 13260 0 -1 4202560 181 0 0 0 3 0 0 0 20 0 20 0 151087267 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253095506576 140253893350166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25917] ppid=25898 vsize=26004064 memory=280184473503920 CPUtime=0.13 cores=0-7
/proc/25900/task/25917/stat : 25917 (java) R 25898 25898 13260 0 -1 4202560 808 0 0 0 13 0 0 0 20 0 20 0 151087267 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253094460352 140253907680662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25918] ppid=25898 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25918/stat : 25918 (java) S 25898 25898 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151087268 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253093411424 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25919] ppid=25898 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25900/task/25919/stat : 25919 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087268 26628161536 11458 33554432000 4194304 4196468 140737458079552 140253092358704 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47216 KiB

[startup+0.700971 s]
/proc/loadavg: 7.91 8.13 8.15 6/199 25919
/proc/meminfo: memFree=26142184/32770624 swapFree=67108860/67108860
[pid=25898] ppid=25895 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25898/stat : 25898 (xcsp3-exec) S 25895 25898 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151087261 9740288 346 33554432000 4194304 5098028 140721417968128 140721417966232 140027534578300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37916672 140721417974890 140721417975100 140721417975100 140721417977835 0
/proc/25898/statm: 2378 346 289 221 0 87 0
[pid=25900] ppid=25898 vsize=26006188 memory=84208 CPUtime=1.91 cores=0-7
/proc/25900/stat : 25900 (java) S 25898 25898 13260 0 -1 1077944320 12645 0 0 0 186 5 0 0 20 0 20 0 151087262 26630336512 21052 33554432000 4194304 4196468 140737458079552 140737458062096 140253907668727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
/proc/25900/statm: 6501547 21052 3198 1 0 6488781 0
[pid=25900/tid=25901] ppid=25898 vsize=26006188 memory=280184473861808 CPUtime=0.67 cores=0-7
/proc/25900/task/25901/stat : 25901 (java) R 25898 25898 13260 0 -1 4202560 6674 0 0 0 65 2 0 0 20 0 20 0 151087262 26630336512 21052 33554432000 4194304 4196468 140737458079552 140253911904448 140253520541035 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25902] ppid=25898 vsize=26006188 memory=140092236931952 CPUtime=0 cores=0-7
/proc/25900/task/25902/stat : 25902 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151087263 26630336512 21052 33554432000 4194304 4196468 140737458079552 140253860289168 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25903] ppid=25898 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/25900/task/25903/stat : 25903 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087263 26630336512 21052 33554432000 4194304 4196468 140737458079552 140253859236368 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25904] ppid=25898 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/25900/task/25904/stat : 25904 (java) S 25898 25898 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151087263 26630336512 21052 33554432000 4194304 4196468 140737458079552 140253858183568 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0

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

[pid=25900/tid=28730] ppid=25898 vsize=26741468 memory=7593892 CPUtime=148.83 cores=0-7
/proc/25900/task/28730/stat : 28730 (java) R 25898 25898 13260 0 -1 4202560 2353 0 0 0 14874 9 0 0 20 0 28 0 151088415 27383263232 1898473 33554432000 4194304 4196468 140737458079552 140253072776952 140253525352170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
Current children cumulated CPU time: 1267.58 s
Current children cumulated vsize: 26750980 KiB
Current children cumulated memory: 7595276 KiB

[startup+222.302 s]
/proc/loadavg: 8.32 8.34 8.24 9/207 28738
/proc/meminfo: memFree=18641680/32770624 swapFree=67108860/67108860
[pid=25898] ppid=25895 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25898/stat : 25898 (xcsp3-exec) S 25895 25898 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151087261 9740288 346 33554432000 4194304 5098028 140721417968128 140721417966232 140027534578300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37916672 140721417974890 140721417975100 140721417975100 140721417977835 0
/proc/25898/statm: 2378 346 289 221 0 87 0
[pid=25900] ppid=25898 vsize=26741468 memory=7557656 CPUtime=1745.96 cores=0-7
/proc/25900/stat : 25900 (java) S 25898 25898 13260 0 -1 1077944320 171065 0 0 0 174218 378 0 0 20 0 28 0 151087262 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140737458062096 140253907668727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
/proc/25900/statm: 6685367 1889414 3286 1 0 6672601 0
[pid=25900/tid=25901] ppid=25898 vsize=26741468 memory=1384 CPUtime=2.91 cores=0-7
/proc/25900/task/25901/stat : 25901 (java) S 25898 25898 13260 0 -1 1077944384 10046 0 0 0 284 7 0 0 20 0 28 0 151087262 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253911909424 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25902] ppid=25898 vsize=26741468 memory=7557656 CPUtime=0.2 cores=0-7
/proc/25900/task/25902/stat : 25902 (java) S 25898 25898 13260 0 -1 1077944384 959 0 0 0 13 7 0 0 20 0 28 0 151087263 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253860289168 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25903] ppid=25898 vsize=26741468 memory=7558168 CPUtime=0.2 cores=0-7
/proc/25900/task/25903/stat : 25903 (java) S 25898 25898 13260 0 -1 1077944384 499 0 0 0 13 7 0 0 20 0 28 0 151087263 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253859236368 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25904] ppid=25898 vsize=26741468 memory=7557656 CPUtime=0.19 cores=0-7
/proc/25900/task/25904/stat : 25904 (java) S 25898 25898 13260 0 -1 1077944384 647 0 0 0 12 7 0 0 20 0 28 0 151087263 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253858183568 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25905] ppid=25898 vsize=26741468 memory=1384 CPUtime=0.17 cores=0-7
/proc/25900/task/25905/stat : 25905 (java) S 25898 25898 13260 0 -1 1077944384 856 0 0 0 11 6 0 0 20 0 28 0 151087263 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253857130768 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25906] ppid=25898 vsize=26741468 memory=0 CPUtime=0.17 cores=0-7
/proc/25900/task/25906/stat : 25906 (java) S 25898 25898 13260 0 -1 1077944384 1085 0 0 0 12 5 0 0 20 0 28 0 151087263 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253856078992 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25907] ppid=25898 vsize=26741468 memory=1384 CPUtime=0.18 cores=0-7
/proc/25900/task/25907/stat : 25907 (java) S 25898 25898 13260 0 -1 1077944384 724 0 0 0 13 5 0 0 20 0 28 0 151087263 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253855026192 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25908] ppid=25898 vsize=26741468 memory=1384 CPUtime=0.17 cores=0-7
/proc/25900/task/25908/stat : 25908 (java) S 25898 25898 13260 0 -1 1077944384 786 0 0 0 12 5 0 0 20 0 28 0 151087263 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253853973392 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25909] ppid=25898 vsize=26741468 memory=1384 CPUtime=0.17 cores=0-7
/proc/25900/task/25909/stat : 25909 (java) S 25898 25898 13260 0 -1 1077944384 411 0 0 0 12 5 0 0 20 0 28 0 151087263 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253852920592 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25910] ppid=25898 vsize=26741468 memory=7595120 CPUtime=0.05 cores=0-7
/proc/25900/task/25910/stat : 25910 (java) S 25898 25898 13260 0 -1 1077944384 5323 0 0 0 4 1 0 0 20 0 28 0 151087264 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253169265008 140253907679874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25911] ppid=25898 vsize=26741468 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25900/task/25911/stat : 25911 (java) S 25898 25898 13260 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 151087265 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253168211040 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25912] ppid=25898 vsize=26741468 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/25900/task/25912/stat : 25912 (java) S 25898 25898 13260 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 151087265 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253167158144 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25913] ppid=25898 vsize=26741468 memory=1384 CPUtime=0 cores=0-7
/proc/25900/task/25913/stat : 25913 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151087267 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253166106448 140253907687323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25914] ppid=25898 vsize=26741468 memory=7558168 CPUtime=3.89 cores=0-7
/proc/25900/task/25914/stat : 25914 (java) S 25898 25898 13260 0 -1 1077944384 17688 0 0 0 387 2 0 0 20 0 28 0 151087267 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253165054832 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25915] ppid=25898 vsize=26741468 memory=1200 CPUtime=3.92 cores=0-7
/proc/25900/task/25915/stat : 25915 (java) S 25898 25898 13260 0 -1 1077944384 14323 0 0 0 389 3 0 0 20 0 28 0 151087267 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253096569584 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25916] ppid=25898 vsize=26741468 memory=7558168 CPUtime=4.14 cores=0-7
/proc/25900/task/25916/stat : 25916 (java) S 25898 25898 13260 0 -1 1077944384 15230 0 0 0 411 3 0 0 20 0 28 0 151087267 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253095516784 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25917] ppid=25898 vsize=26741468 memory=3190196 CPUtime=1.21 cores=0-7
/proc/25900/task/25917/stat : 25917 (java) S 25898 25898 13260 0 -1 1077944384 11701 0 0 0 118 3 0 0 20 0 28 0 151087267 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253094463984 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25918] ppid=25898 vsize=26741468 memory=1072572 CPUtime=0 cores=0-7
/proc/25900/task/25918/stat : 25918 (java) S 25898 25898 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151087268 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253093411424 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25919] ppid=25898 vsize=26741468 memory=0 CPUtime=0.1 cores=0-7
/proc/25900/task/25919/stat : 25919 (java) S 25898 25898 13260 0 -1 1077944384 1327 0 0 0 5 5 0 0 20 0 28 0 151087268 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253092358704 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28731] ppid=25898 vsize=26741468 memory=38126 CPUtime=48.76 cores=0-7
/proc/25900/task/28731/stat : 28731 (java) R 25898 25898 13260 0 -1 4202560 1026 0 0 0 4875 1 0 0 20 0 28 0 151104563 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253078031608 140253525352170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28732] ppid=25898 vsize=26741468 memory=7557656 CPUtime=49.26 cores=0-7
/proc/25900/task/28732/stat : 28732 (java) R 25898 25898 13260 0 -1 4202560 785 0 0 0 4926 0 0 0 20 0 28 0 151104563 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253079085560 140253526279248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28733] ppid=25898 vsize=26741468 memory=1384 CPUtime=49.26 cores=0-7
/proc/25900/task/28733/stat : 28733 (java) R 25898 25898 13260 0 -1 4202560 736 0 0 0 4925 1 0 0 20 0 28 0 151104563 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253081189976 140253525622562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28734] ppid=25898 vsize=26741468 memory=7557656 CPUtime=49.26 cores=0-7
/proc/25900/task/28734/stat : 28734 (java) R 25898 25898 13260 0 -1 4202560 13632 0 0 0 4907 19 0 0 20 0 28 0 151104563 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253083299280 140253521170304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28735] ppid=25898 vsize=26741468 memory=2332 CPUtime=48.7 cores=0-7
/proc/25900/task/28735/stat : 28735 (java) R 25898 25898 13260 0 -1 4202560 1173 0 0 0 4866 4 0 0 20 0 28 0 151104563 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253072777456 140253525352017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28736] ppid=25898 vsize=26741468 memory=1292 CPUtime=49.26 cores=0-7
/proc/25900/task/28736/stat : 28736 (java) R 25898 25898 13260 0 -1 4202560 651 0 0 0 4926 0 0 0 20 0 28 0 151104563 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253070672152 140253526278987 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28737] ppid=25898 vsize=26741468 memory=42152 CPUtime=49.25 cores=0-7
/proc/25900/task/28737/stat : 28737 (java) R 25898 25898 13260 0 -1 4202560 649 0 0 0 4925 0 0 0 20 0 28 0 151104563 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253080137960 140253525539930 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28738] ppid=25898 vsize=26741468 memory=1384 CPUtime=49.23 cores=0-7
/proc/25900/task/28738/stat : 28738 (java) R 25898 25898 13260 0 -1 4202560 2197 0 0 0 4916 7 0 0 20 0 28 0 151104563 27383263232 1889414 33554432000 4194304 4196468 140737458079552 140253073829928 140253526320082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
Current children cumulated CPU time: 1745.96 s
Current children cumulated vsize: 26750980 KiB
Current children cumulated memory: 7559040 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.26 8.33 8.24 9/207 28738
/proc/meminfo: memFree=18681892/32770624 swapFree=67108860/67108860
[pid=25898] ppid=25895 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25898/stat : 25898 (xcsp3-exec) S 25895 25898 13260 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151087261 9740288 346 33554432000 4194304 5098028 140721417968128 140721417966232 140027534578300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37916672 140721417974890 140721417975100 140721417975100 140721417977835 0
/proc/25898/statm: 2378 346 289 221 0 87 0
[pid=25900] ppid=25898 vsize=26741468 memory=7516676 CPUtime=1982.96 cores=0-7
/proc/25900/stat : 25900 (java) S 25898 25898 13260 0 -1 1077944320 188658 0 0 0 197898 398 0 0 20 0 28 0 151087262 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140737458062096 140253907668727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
/proc/25900/statm: 6685367 1879169 3286 1 0 6672601 0
[pid=25900/tid=25901] ppid=25898 vsize=26741468 memory=6791534058613427641 CPUtime=2.91 cores=0-7
/proc/25900/task/25901/stat : 25901 (java) S 25898 25898 13260 0 -1 1077944384 10046 0 0 0 284 7 0 0 20 0 28 0 151087262 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253911909424 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25902] ppid=25898 vsize=26741468 memory=4872558044660077418 CPUtime=0.2 cores=0-7
/proc/25900/task/25902/stat : 25902 (java) S 25898 25898 13260 0 -1 1077944384 1031 0 0 0 13 7 0 0 20 0 28 0 151087263 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253860289168 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25903] ppid=25898 vsize=26741468 memory=1948 CPUtime=0.2 cores=0-7
/proc/25900/task/25903/stat : 25903 (java) S 25898 25898 13260 0 -1 1077944384 894 0 0 0 13 7 0 0 20 0 28 0 151087263 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253859236368 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25904] ppid=25898 vsize=26741468 memory=8580 CPUtime=0.2 cores=0-7
/proc/25900/task/25904/stat : 25904 (java) S 25898 25898 13260 0 -1 1077944384 1091 0 0 0 13 7 0 0 20 0 28 0 151087263 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253858183568 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25905] ppid=25898 vsize=26741468 memory=4616 CPUtime=0.18 cores=0-7
/proc/25900/task/25905/stat : 25905 (java) S 25898 25898 13260 0 -1 1077944384 903 0 0 0 12 6 0 0 20 0 28 0 151087263 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253857130768 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25906] ppid=25898 vsize=26741468 memory=1720 CPUtime=0.17 cores=0-7
/proc/25900/task/25906/stat : 25906 (java) S 25898 25898 13260 0 -1 1077944384 1108 0 0 0 12 5 0 0 20 0 28 0 151087263 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253856078992 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25907] ppid=25898 vsize=26741468 memory=1004 CPUtime=0.19 cores=0-7
/proc/25900/task/25907/stat : 25907 (java) S 25898 25898 13260 0 -1 1077944384 759 0 0 0 14 5 0 0 20 0 28 0 151087263 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253855026192 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25908] ppid=25898 vsize=26741468 memory=1436 CPUtime=0.18 cores=0-7
/proc/25900/task/25908/stat : 25908 (java) S 25898 25898 13260 0 -1 1077944384 938 0 0 0 13 5 0 0 20 0 28 0 151087263 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253853973392 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25909] ppid=25898 vsize=26741468 memory=1200 CPUtime=0.17 cores=0-7
/proc/25900/task/25909/stat : 25909 (java) S 25898 25898 13260 0 -1 1077944384 473 0 0 0 12 5 0 0 20 0 28 0 151087263 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253852920592 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25910] ppid=25898 vsize=26741468 memory=15876 CPUtime=0.05 cores=0-7
/proc/25900/task/25910/stat : 25910 (java) S 25898 25898 13260 0 -1 1077944384 5903 0 0 0 4 1 0 0 20 0 28 0 151087264 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253169265008 140253907679874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25911] ppid=25898 vsize=26741468 memory=1384 CPUtime=0 cores=0-7
/proc/25900/task/25911/stat : 25911 (java) S 25898 25898 13260 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 151087265 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253168211040 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25912] ppid=25898 vsize=26741468 memory=1384 CPUtime=0 cores=0-7
/proc/25900/task/25912/stat : 25912 (java) S 25898 25898 13260 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 151087265 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253167158144 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25913] ppid=25898 vsize=26741468 memory=7516676 CPUtime=0 cores=0-7
/proc/25900/task/25913/stat : 25913 (java) S 25898 25898 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151087267 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253166106448 140253907687323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25914] ppid=25898 vsize=26741468 memory=1160 CPUtime=3.89 cores=0-7
/proc/25900/task/25914/stat : 25914 (java) S 25898 25898 13260 0 -1 1077944384 17702 0 0 0 387 2 0 0 20 0 28 0 151087267 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253165054832 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25915] ppid=25898 vsize=26741468 memory=3800 CPUtime=3.92 cores=0-7
/proc/25900/task/25915/stat : 25915 (java) S 25898 25898 13260 0 -1 1077944384 15087 0 0 0 389 3 0 0 20 0 28 0 151087267 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253096569584 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25916] ppid=25898 vsize=26741468 memory=1384 CPUtime=4.14 cores=0-7
/proc/25900/task/25916/stat : 25916 (java) S 25898 25898 13260 0 -1 1077944384 15244 0 0 0 411 3 0 0 20 0 28 0 151087267 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253095516784 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25917] ppid=25898 vsize=26741468 memory=7517188 CPUtime=1.21 cores=0-7
/proc/25900/task/25917/stat : 25917 (java) S 25898 25898 13260 0 -1 1077944384 11731 0 0 0 118 3 0 0 20 0 28 0 151087267 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253094463984 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25918] ppid=25898 vsize=26741468 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/25900/task/25918/stat : 25918 (java) S 25898 25898 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151087268 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253093411424 140253907678933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=25919] ppid=25898 vsize=26741468 memory=4872558044660077418 CPUtime=0.1 cores=0-7
/proc/25900/task/25919/stat : 25919 (java) S 25898 25898 13260 0 -1 1077944384 1482 0 0 0 5 5 0 0 20 0 28 0 151087268 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253092358704 140253907679874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28731] ppid=25898 vsize=26741468 memory=2200 CPUtime=78.22 cores=0-7
/proc/25900/task/28731/stat : 28731 (java) R 25898 25898 13260 0 -1 4202560 1776 0 0 0 7820 2 0 0 20 0 28 0 151104563 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253078033984 140253525351792 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28732] ppid=25898 vsize=26741468 memory=8048 CPUtime=78.95 cores=0-7
/proc/25900/task/28732/stat : 28732 (java) R 25898 25898 13260 0 -1 4202560 1310 0 0 0 7895 0 0 0 20 0 28 0 151104563 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253079085560 140253525352146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28733] ppid=25898 vsize=26741468 memory=836 CPUtime=78.58 cores=0-7
/proc/25900/task/28733/stat : 28733 (java) R 25898 25898 13260 0 -1 4202560 1328 0 0 0 7857 1 0 0 20 0 28 0 151104563 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253081190264 140253525947733 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28734] ppid=25898 vsize=26741468 memory=1692 CPUtime=78.96 cores=0-7
/proc/25900/task/28734/stat : 28734 (java) R 25898 25898 13260 0 -1 4202560 22432 0 0 0 7866 30 0 0 20 0 28 0 151104563 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253083296264 140253527727554 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28735] ppid=25898 vsize=26741468 memory=916 CPUtime=78.38 cores=0-7
/proc/25900/task/28735/stat : 28735 (java) R 25898 25898 13260 0 -1 4202560 1970 0 0 0 7833 5 0 0 20 0 28 0 151104563 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253072777552 140253526147338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28736] ppid=25898 vsize=26741468 memory=4616 CPUtime=78.96 cores=0-7
/proc/25900/task/28736/stat : 28736 (java) R 25898 25898 13260 0 -1 4202560 1227 0 0 0 7895 1 0 0 20 0 28 0 151104563 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253070672216 140253526095948 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28737] ppid=25898 vsize=26741468 memory=1720 CPUtime=78.95 cores=0-7
/proc/25900/task/28737/stat : 28737 (java) R 25898 25898 13260 0 -1 4202560 1961 0 0 0 7894 1 0 0 20 0 28 0 151104563 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253080137736 140253525078498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
[pid=25900/tid=28738] ppid=25898 vsize=26741468 memory=1004 CPUtime=78.92 cores=0-7
/proc/25900/task/28738/stat : 28738 (java) R 25898 25898 13260 0 -1 4202560 3651 0 0 0 7881 11 0 0 20 0 28 0 151104563 27383263232 1879169 33554432000 4194304 4196468 140737458079552 140253073829816 140253525079466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15114240 140737458082968 140737458083144 140737458083144 140737458085839 0
Current children cumulated CPU time: 1982.96 s
Current children cumulated vsize: 26750980 KiB
Current children cumulated memory: 7518060 KiB

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

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

[startup+252.136 s]
# the end of solver process 25900 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1979.66 s, system=4.02901 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.136
CPU time (s): 1983.69
CPU user time (s): 1979.66
CPU system time (s): 4.02901
CPU usage (%): 786.754
Max. virtual memory (cumulated for all children) (KiB): 26750980
Max. memory (cumulated for all children) (KiB): 7598956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1979.66
system time used= 4.02901
maximum resident set size= 7600644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33809
involuntary context switches= 21017


# summary of solver processes directly reported to runsolver:
#   pid: 25898,25900
#   total CPU time (s): 1983.69
#   total CPU user time (s): 1979.66
#   total CPU system time (s): 4.02901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.30384 second user time and 2.92123 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-19 23:45:36
IDJOB=4281603
IDBENCH=115904
IDSOLVER=2676
FILE ID=node112/4281603-1503179996
RUNJOBID= node112-1503169099-13287
PBS_JOBID= 20630837
Free space on /tmp= 61856 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-4281603-1503179996/watcher-4281603-1503179996 -o /tmp/evaluation-result-4281603-1503179996/solver-4281603-1503179996 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1495287405 HOME/instance-4281603-1503179996.xml

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

MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1
RANDOM SEED=1495287405

node112.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.24
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.24
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.24
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.24
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:        26200096 kB
MemAvailable:   31973060 kB
Buffers:          251952 kB
Cached:          5811232 kB
SwapCached:            0 kB
Active:          1101484 kB
Inactive:        5014632 kB
Active(anon):       4652 kB
Inactive(anon):    84388 kB
Active(file):    1096832 kB
Inactive(file):  4930244 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:             0 kB
AnonPages:         74340 kB
Mapped:            51024 kB
Shmem:             33416 kB
Slab:             150060 kB
SReclaimable:     123448 kB
SUnreclaim:        26612 kB
KernelStack:        3520 kB
PageTables:         5604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61848 MiB
End job on node112 at 2017-08-19 23:49:48