Trace number 4254843

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-07-26)SAT (TO)364 1920.1899 244.24699

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.07	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254843-1501679301.xml"  -tl '1920s' -p 8 -x 0
0.00/0.26	c [HOME/instance-4254843-1501679301.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.32	c 8 solvers in parallel
0.00/0.39	c parse instance...
7.34/2.77	c solve instance...
12.31/3.48	o 0 
12.97/3.53	o 4 
12.97/3.55	o 6 
12.97/3.56	o 8 
13.61/3.68	o 10 
15.69/4.10	o 12 
15.69/4.12	o 14 
15.69/4.15	o 16 
15.69/4.18	o 18 
16.43/4.26	o 20 
17.21/4.37	o 21 
17.21/4.39	o 22 
18.70/4.51	o 24 
22.71/5.16	o 26 
23.14/5.29	o 27 
23.84/5.30	o 28 
23.84/5.31	o 29 
23.84/5.31	o 30 
23.84/5.32	o 31 
23.84/5.33	o 32 
23.84/5.33	o 33 
23.84/5.34	o 34 
23.84/5.34	o 35 
23.84/5.35	o 36 
23.84/5.35	o 37 
23.84/5.36	o 38 
23.84/5.36	o 39 
23.84/5.37	o 40 
23.84/5.37	o 41 
24.43/5.43	o 42 
24.43/5.43	o 43 
24.43/5.44	o 44 
24.43/5.46	o 45 
24.43/5.47	o 46 
24.43/5.47	o 47 
24.43/5.48	o 48 
24.43/5.48	o 49 
24.43/5.49	o 50 
24.43/5.49	o 51 
25.01/5.51	o 52 
25.01/5.51	o 53 
25.01/5.52	o 54 
25.01/5.52	o 55 
25.01/5.53	o 56 
25.01/5.53	o 57 
25.01/5.54	o 58 
25.01/5.54	o 59 
25.01/5.56	o 60 
25.01/5.56	o 61 
25.01/5.56	o 62 
25.01/5.57	o 63 
25.01/5.58	o 64 
25.01/5.58	o 65 
25.01/5.59	o 66 
25.01/5.59	o 67 
25.01/5.60	o 68 
25.01/5.60	o 69 
25.56/5.61	o 70 
25.56/5.61	o 71 
25.56/5.62	o 72 
25.56/5.63	o 73 
25.56/5.63	o 74 
25.56/5.64	o 75 
25.56/5.64	o 76 
25.56/5.65	o 77 
25.56/5.67	o 78 
25.56/5.68	o 79 
25.56/5.69	o 80 
25.56/5.69	o 81 
25.56/5.70	o 82 
26.05/5.70	o 83 
26.05/5.71	o 84 
26.05/5.71	o 85 
26.05/5.72	o 86 
26.05/5.72	o 87 
26.05/5.73	o 88 
26.05/5.74	o 89 
26.05/5.74	o 90 
26.05/5.75	o 91 
26.05/5.75	o 92 
26.05/5.76	o 93 
26.05/5.76	o 94 
26.05/5.77	o 95 
26.05/5.77	o 96 
26.05/5.78	o 97 
26.05/5.79	o 98 
26.05/5.79	o 99 
26.55/5.80	o 100 
26.55/5.80	o 101 
26.55/5.81	o 102 
26.55/5.81	o 103 
26.55/5.82	o 104 
26.55/5.83	o 105 
26.55/5.83	o 106 
26.55/5.84	o 107 
26.55/5.84	o 108 
26.55/5.85	o 109 
26.55/5.85	o 110 
26.55/5.86	o 111 
26.55/5.87	o 112 
26.55/5.87	o 113 
26.55/5.88	o 114 
26.55/5.88	o 115 
26.55/5.89	o 116 
26.55/5.89	o 117 
26.55/5.89	o 118 
27.07/5.90	o 119 
27.07/5.93	o 120 
27.07/5.93	o 121 
27.07/5.94	o 122 
27.07/5.94	o 123 
27.07/5.95	o 124 
27.07/5.95	o 125 
27.07/5.96	o 126 
27.07/5.96	o 127 
27.07/5.97	o 128 
27.07/5.97	o 129 
27.07/5.98	o 130 
27.07/5.99	o 131 
27.07/5.99	o 132 
27.07/6.00	o 133 
27.58/6.00	o 134 
27.58/6.01	o 135 
27.58/6.01	o 136 
27.58/6.02	o 137 
27.58/6.02	o 138 
27.58/6.03	o 139 
27.58/6.05	o 140 
27.58/6.05	o 141 
27.58/6.06	o 142 
27.58/6.06	o 143 
27.58/6.07	o 144 
27.58/6.08	o 145 
27.58/6.08	o 146 
27.58/6.09	o 147 
27.58/6.09	o 148 
28.09/6.10	o 149 
28.09/6.11	o 150 
28.09/6.11	o 151 
28.09/6.12	o 152 
28.09/6.12	o 153 
28.09/6.13	o 154 
28.09/6.13	o 155 
28.09/6.14	o 156 
28.09/6.14	o 157 
28.09/6.15	o 158 
28.09/6.16	o 159 
28.09/6.16	o 160 
28.09/6.17	o 161 
28.09/6.17	o 162 
28.58/6.21	o 163 
28.58/6.24	o 164 
29.02/6.47	o 165 
29.02/6.48	o 166 
29.02/6.48	o 167 
29.02/6.49	o 168 
29.02/6.49	o 169 
29.25/6.50	o 170 
29.25/6.51	o 171 
29.25/6.51	o 172 
29.25/6.52	o 173 
29.25/6.53	o 174 
29.25/6.53	o 175 
29.25/6.54	o 176 
29.25/6.54	o 177 
29.25/6.55	o 178 
29.25/6.56	o 179 
29.25/6.56	o 180 
29.25/6.57	o 181 
29.25/6.57	o 182 
29.25/6.58	o 183 
29.25/6.58	o 184 
29.25/6.59	o 185 
29.25/6.60	o 186 
29.79/6.61	o 187 
29.79/6.62	o 188 
29.79/6.62	o 189 
29.79/6.63	o 190 
29.79/6.63	o 191 
29.79/6.64	o 192 
29.79/6.66	o 193 
29.79/6.66	o 194 
29.79/6.67	o 195 
29.79/6.67	o 196 
29.79/6.68	o 197 
29.79/6.68	o 198 
29.79/6.69	o 199 
29.79/6.70	o 200 
29.79/6.70	o 201 
29.79/6.71	o 202 
30.42/6.72	o 203 
30.42/6.72	o 204 
30.42/6.73	o 205 
30.42/6.73	o 206 
30.42/6.74	o 207 
30.42/6.75	o 208 
30.42/6.76	o 209 
30.42/6.76	o 210 
30.42/6.77	o 211 
30.42/6.78	o 212 
30.42/6.79	o 213 
30.42/6.79	o 214 
30.88/6.80	o 215 
30.88/6.81	o 216 
30.88/6.81	o 217 
30.88/6.82	o 218 
30.88/6.83	o 219 
30.88/6.83	o 220 
30.88/6.84	o 221 
30.88/6.85	o 222 
30.88/6.85	o 223 
30.88/6.86	o 224 
30.88/6.87	o 225 
30.88/6.87	o 226 
30.88/6.88	o 227 
30.88/6.89	o 228 
30.88/6.89	o 229 
30.88/6.90	o 230 
31.39/6.90	o 231 
31.39/6.91	o 232 
31.39/6.92	o 233 
31.39/6.92	o 234 
31.39/6.93	o 235 
31.39/6.94	o 236 
31.39/6.95	o 237 
31.39/6.96	o 238 
31.39/6.96	o 239 
31.39/6.97	o 240 
31.39/6.97	o 241 
31.39/6.98	o 242 
31.39/6.99	o 243 
31.39/7.00	o 244 
31.90/7.00	o 245 
31.90/7.01	o 246 
31.90/7.02	o 247 
31.90/7.02	o 248 
31.90/7.03	o 249 
31.90/7.03	o 250 
31.90/7.04	o 251 
31.90/7.05	o 252 
31.90/7.05	o 253 
31.90/7.06	o 254 
31.90/7.07	o 255 
31.90/7.07	o 256 
31.90/7.08	o 257 
31.90/7.08	o 258 
31.90/7.09	o 259 
31.90/7.10	o 260 
32.45/7.10	o 261 
32.45/7.11	o 262 
32.45/7.11	o 263 
32.45/7.12	o 264 
32.45/7.13	o 265 
32.45/7.13	o 266 
32.45/7.14	o 267 
32.45/7.15	o 268 
32.45/7.15	o 269 
32.45/7.16	o 270 
32.45/7.17	o 271 
32.45/7.18	o 272 
32.45/7.18	o 273 
32.45/7.19	o 274 
32.45/7.19	o 275 
33.01/7.20	o 276 
33.01/7.21	o 277 
33.01/7.21	o 278 
33.01/7.22	o 279 
33.01/7.23	o 280 
33.01/7.24	o 281 
33.01/7.25	o 282 
33.01/7.25	o 283 
33.01/7.26	o 284 
33.01/7.26	o 285 
33.01/7.27	o 286 
33.01/7.28	o 287 
33.01/7.28	o 288 
33.01/7.29	o 289 
33.57/7.30	o 290 
33.57/7.31	o 291 
33.57/7.32	o 292 
33.57/7.32	o 293 
33.57/7.33	o 294 
33.57/7.34	o 295 
33.57/7.34	o 296 
33.57/7.35	o 297 
33.57/7.36	o 298 
33.57/7.37	o 299 
33.57/7.37	o 300 
33.57/7.38	o 301 
33.57/7.39	o 302 
33.57/7.39	o 303 
34.06/7.40	o 304 
34.06/7.41	o 305 
34.06/7.42	o 306 
34.06/7.42	o 307 
34.06/7.43	o 308 
34.06/7.44	o 309 
34.06/7.44	o 310 
34.06/7.45	o 311 
34.06/7.46	o 312 
34.06/7.47	o 313 
34.06/7.47	o 314 
34.06/7.48	o 315 
34.06/7.49	o 316 
34.53/7.50	o 317 
34.53/7.51	o 318 
34.53/7.51	o 319 
34.53/7.52	o 320 
34.53/7.53	o 321 
34.53/7.54	o 322 
34.53/7.55	o 323 
34.53/7.55	o 324 
34.53/7.56	o 325 
34.53/7.57	o 326 
34.53/7.57	o 327 
34.53/7.58	o 328 
34.53/7.59	o 329 
34.53/7.60	o 330 
35.06/7.61	o 331 
35.06/7.62	o 332 
35.06/7.63	o 333 
35.06/7.64	o 334 
35.06/7.64	o 335 
35.06/7.65	o 336 
35.06/7.66	o 337 
35.06/7.67	o 338 
35.06/7.68	o 339 
35.06/7.68	o 340 
35.06/7.69	o 341 
35.06/7.70	o 342 
35.59/7.71	o 343 
35.59/7.71	o 344 
35.59/7.72	o 345 
35.59/7.73	o 346 
35.59/7.73	o 347 
35.59/7.74	o 348 
35.59/7.75	o 349 
35.59/7.76	o 350 
35.59/7.76	o 351 
35.59/7.77	o 352 
35.59/7.78	o 353 
35.59/7.78	o 354 
35.59/7.79	o 355 
35.59/7.80	o 356 
36.13/7.81	o 357 
36.13/7.82	o 358 
36.13/7.83	o 359 
38.37/8.24	o 360 
38.37/8.26	o 361 
68.89/12.15	o 362 
70.39/12.41	o 363 
1328.11/170.03	o 364 
1920.19/244.28	s SATISFIABLE
1920.19/244.28	v <instantiation>
1920.19/244.28	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>
1920.19/244.28	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>
1920.19/244.28	v </instantiation>
1920.19/244.28	c Unexpected resolution interruption!

Verifier Data 

OK	364

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254843-1501679301/watcher-4254843-1501679301 -o /tmp/evaluation-result-4254843-1501679301/solver-4254843-1501679301 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node134-1501676576-1207 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 667787920 HOME/instance-4254843-1501679301.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.15 7.95 6.95 2/177 10249
/proc/meminfo: memFree=31660256/32770624 swapFree=0/350744
[pid=10249] ppid=10246 vsize=23672 CPUtime=0 cores=0-7
/proc/10249/stat : 10249 (runsolver) D 10246 10249 1143 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 15435892 24240128 108 18446744073709551615 4194304 4338465 140723676748976 140723676746616 140007924122327 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 19197952 140723676758100 140723676758595 140723676758595 140723676762058 0
/proc/10249/statm: 5918 108 54 36 0 2156 0

[startup+0.100135 s]
/proc/loadavg: 8.15 7.95 6.95 2/177 10249
/proc/meminfo: memFree=31660256/32770624 swapFree=0/350744
[pid=10249] ppid=10246 vsize=9512 CPUtime=0 cores=0-7
/proc/10249/stat : 10249 (xcsp3-exec) S 10246 10249 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 15435892 9740288 345 18446744073709551615 4194304 5098028 140722575877696 140722575875800 140383124689532 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13078528 140722575884691 140722575884900 140722575884900 140722575888363 0
/proc/10249/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200293 s]
/proc/loadavg: 8.15 7.95 6.95 2/177 10249
/proc/meminfo: memFree=31660256/32770624 swapFree=0/350744
[pid=10249] ppid=10246 vsize=9512 CPUtime=0 cores=0-7
/proc/10249/stat : 10249 (xcsp3-exec) S 10246 10249 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 15435892 9740288 345 18446744073709551615 4194304 5098028 140722575877696 140722575875800 140383124689532 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13078528 140722575884691 140722575884900 140722575884900 140722575888363 0
/proc/10249/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300273 s]
/proc/loadavg: 8.15 7.95 6.95 2/177 10249
/proc/meminfo: memFree=31660256/32770624 swapFree=0/350744
[pid=10249] ppid=10246 vsize=9512 CPUtime=0 cores=0-7
/proc/10249/stat : 10249 (xcsp3-exec) S 10246 10249 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 15435892 9740288 345 18446744073709551615 4194304 5098028 140722575877696 140722575875800 140383124689532 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13078528 140722575884691 140722575884900 140722575884900 140722575888363 0
/proc/10249/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700233 s]
/proc/loadavg: 8.15 7.95 6.95 2/177 10249
/proc/meminfo: memFree=31660256/32770624 swapFree=0/350744
[pid=10249] ppid=10246 vsize=9512 CPUtime=0 cores=0-7
/proc/10249/stat : 10249 (xcsp3-exec) S 10246 10249 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 15435892 9740288 345 18446744073709551615 4194304 5098028 140722575877696 140722575875800 140383124689532 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13078528 140722575884691 140722575884900 140722575884900 140722575888363 0
/proc/10249/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5008 s]
/proc/loadavg: 8.15 7.95 6.95 5/198 10270
/proc/meminfo: memFree=31571296/32770624 swapFree=0/350748
[pid=10249] ppid=10246 vsize=9512 CPUtime=0 cores=0-7
/proc/10249/stat : 10249 (xcsp3-exec) S 10246 10249 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 15435892 9740288 345 18446744073709551615 4194304 5098028 140722575877696 140722575875800 140383124689532 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13078528 140722575884691 140722575884900 140722575884900 140722575888363 0
/proc/10249/statm: 2378 345 289 221 0 87 0
[pid=10251] ppid=10249 vsize=26001944 CPUtime=3.79 cores=0-7
/proc/10251/stat : 10251 (java) S 10249 10249 1143 0 -1 1077944320 20398 0 0 0 369 10 0 0 20 0 20 0 15435899 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140736929211904 140152582954743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
/proc/10251/statm: 6500486 40029 3190 1 0 6488787 0
[pid=10251/tid=10252] ppid=10249 vsize=26001944 CPUtime=1.36 cores=0-7
/proc/10251/task/10252/stat : 10252 (java) R 10249 10249 1143 0 -1 4202560 9195 0 0 0 130 6 0 0 20 0 20 0 15435900 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140152587190640 140152185126400 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10253] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10253/stat : 10253 (java) S 10249 10249 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 15435900 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140152509881104 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10254] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10254/stat : 10254 (java) S 10249 10249 1143 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 15435900 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140152508828560 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10255] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10255/stat : 10255 (java) S 10249 10249 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 15435900 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140152507776016 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10256] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10256/stat : 10256 (java) S 10249 10249 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 15435900 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140152506723472 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10257] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10257/stat : 10257 (java) S 10249 10249 1143 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 15435900 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140152505669904 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10258] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10258/stat : 10258 (java) S 10249 10249 1143 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 15435900 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140152504617360 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10259] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10259/stat : 10259 (java) S 10249 10249 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 15435900 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140152503564816 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10260] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10260/stat : 10260 (java) S 10249 10249 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 15435901 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140152502512272 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10261] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10261/stat : 10261 (java) S 10249 10249 1143 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 15435902 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140151848188400 140152582965890 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10262] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10262/stat : 10262 (java) S 10249 10249 1143 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 15435902 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140151847134624 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10263] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10263/stat : 10263 (java) S 10249 10249 1143 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 15435903 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140151846082032 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10264] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10264/stat : 10264 (java) S 10249 10249 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 15435905 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140151845030608 140152582973339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10265] ppid=10249 vsize=26001944 CPUtime=0.69 cores=0-7
/proc/10251/task/10265/stat : 10265 (java) S 10249 10249 1143 0 -1 1077944384 2487 0 0 0 68 1 0 0 20 0 20 0 15435905 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140151843977200 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10266] ppid=10249 vsize=26001944 CPUtime=0.67 cores=0-7
/proc/10251/task/10266/stat : 10266 (java) R 10249 10249 1143 0 -1 4202560 3393 0 0 0 67 0 0 0 20 0 20 0 15435905 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140151842912736 140152562646479 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10267] ppid=10249 vsize=26001944 CPUtime=0.52 cores=0-7
/proc/10251/task/10267/stat : 10267 (java) R 10249 10249 1143 0 -1 4202560 1720 0 0 0 52 0 0 0 20 0 20 0 15435905 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140151841872112 140152563655346 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10268] ppid=10249 vsize=26001944 CPUtime=0.52 cores=0-7
/proc/10251/task/10268/stat : 10268 (java) S 10249 10249 1143 0 -1 1077944384 2276 0 0 0 51 1 0 0 20 0 20 0 15435905 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140151840819568 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10269] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10269/stat : 10269 (java) S 10249 10249 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 15435905 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140151839767264 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10270] ppid=10249 vsize=26001944 CPUtime=0 cores=0-7
/proc/10251/task/10270/stat : 10270 (java) S 10249 10249 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 15435910 26625990656 40029 18446744073709551615 4194304 4196468 140736929229360 140151838714800 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 26011456

[startup+3.10149 s]
/proc/loadavg: 7.58 7.83 6.92 4/198 10270
/proc/meminfo: memFree=31443152/32770624 swapFree=0/350748
[pid=10249] ppid=10246 vsize=9512 CPUtime=0 cores=0-7
/proc/10249/stat : 10249 (xcsp3-exec) S 10246 10249 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 15435892 9740288 345 18446744073709551615 4194304 5098028 140722575877696 140722575875800 140383124689532 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13078528 140722575884691 140722575884900 140722575884900 140722575888363 0
/proc/10249/statm: 2378 345 289 221 0 87 0
[pid=10251] ppid=10249 vsize=26534456 CPUtime=9.9 cores=0-7
/proc/10251/stat : 10251 (java) S 10249 10249 1143 0 -1 1077944320 28369 0 0 0 957 33 0 0 20 0 28 0 15435899 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140736929211904 140152582954743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
/proc/10251/statm: 6633614 72014 3225 1 0 6621915 0
[pid=10251/tid=10252] ppid=10249 vsize=26534456 CPUtime=2.57 cores=0-7
/proc/10251/task/10252/stat : 10252 (java) S 10249 10249 1143 0 -1 1077944384 11333 0 0 0 250 7 0 0 20 0 28 0 15435900 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140152587195520 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10253] ppid=10249 vsize=26534456 CPUtime=0.04 cores=0-7
/proc/10251/task/10253/stat : 10253 (java) S 10249 10249 1143 0 -1 1077944384 80 0 0 0 3 1 0 0 20 0 28 0 15435900 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140152509881104 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10254] ppid=10249 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/10251/task/10254/stat : 10254 (java) S 10249 10249 1143 0 -1 1077944384 159 0 0 0 4 2 0 0 20 0 28 0 15435900 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140152508828560 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10255] ppid=10249 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/10251/task/10255/stat : 10255 (java) S 10249 10249 1143 0 -1 1077944384 144 0 0 0 3 2 0 0 20 0 28 0 15435900 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140152507776016 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10256] ppid=10249 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/10251/task/10256/stat : 10256 (java) S 10249 10249 1143 0 -1 1077944384 109 0 0 0 3 2 0 0 20 0 28 0 15435900 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140152506723472 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10257] ppid=10249 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/10251/task/10257/stat : 10257 (java) S 10249 10249 1143 0 -1 1077944384 172 0 0 0 3 2 0 0 20 0 28 0 15435900 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140152505669904 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10258] ppid=10249 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/10251/task/10258/stat : 10258 (java) S 10249 10249 1143 0 -1 1077944384 86 0 0 0 3 2 0 0 20 0 28 0 15435900 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140152504617360 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10259] ppid=10249 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/10251/task/10259/stat : 10259 (java) S 10249 10249 1143 0 -1 1077944384 436 0 0 0 4 2 0 0 20 0 28 0 15435900 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140152503564816 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10260] ppid=10249 vsize=26534456 CPUtime=0.03 cores=0-7
/proc/10251/task/10260/stat : 10260 (java) S 10249 10249 1143 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 28 0 15435901 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140152502512272 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10261] ppid=10249 vsize=26534456 CPUtime=0 cores=0-7
/proc/10251/task/10261/stat : 10261 (java) S 10249 10249 1143 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 28 0 15435902 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140151848188400 140152582965890 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10262] ppid=10249 vsize=26534456 CPUtime=0 cores=0-7
/proc/10251/task/10262/stat : 10262 (java) S 10249 10249 1143 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 15435902 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140151847134688 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10263] ppid=10249 vsize=26534456 CPUtime=0 cores=0-7
/proc/10251/task/10263/stat : 10263 (java) S 10249 10249 1143 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 15435903 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140151846082048 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10264] ppid=10249 vsize=26534456 CPUtime=0 cores=0-7
/proc/10251/task/10264/stat : 10264 (java) S 10249 10249 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15435905 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140151845030608 140152582973339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10265] ppid=10249 vsize=26534456 CPUtime=1.36 cores=0-7
/proc/10251/task/10265/stat : 10265 (java) S 10249 10249 1143 0 -1 1077944384 3574 0 0 0 135 1 0 0 20 0 28 0 15435905 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140151843977200 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10266] ppid=10249 vsize=26534456 CPUtime=1.4 cores=0-7
/proc/10251/task/10266/stat : 10266 (java) S 10249 10249 1143 0 -1 1077944384 4436 0 0 0 139 1 0 0 20 0 28 0 15435905 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140151842924656 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10267] ppid=10249 vsize=26534456 CPUtime=1.19 cores=0-7
/proc/10251/task/10267/stat : 10267 (java) S 10249 10249 1143 0 -1 1077944384 2986 0 0 0 118 1 0 0 20 0 28 0 15435905 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140151841872112 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10268] ppid=10249 vsize=26534456 CPUtime=0.68 cores=0-7
/proc/10251/task/10268/stat : 10268 (java) R 10249 10249 1143 0 -1 1077944384 2797 0 0 0 67 1 0 0 20 0 28 0 15435905 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140151840815328 140152582964949 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10269] ppid=10249 vsize=26534456 CPUtime=0 cores=0-7
/proc/10251/task/10269/stat : 10269 (java) S 10249 10249 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15435905 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140151839767264 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10270] ppid=10249 vsize=26534456 CPUtime=0 cores=0-7
/proc/10251/task/10270/stat : 10270 (java) S 10249 10249 1143 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 15435910 27171282944 72014 18446744073709551615 4194304 4196468 140736929229360 140151838714800 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (KiB) 26543968

[startup+6.30152 s]
/proc/loadavg: 7.58 7.83 6.92 9/206 10588
/proc/meminfo: memFree=31180808/32770624 swapFree=0/350744
[pid=10249] ppid=10246 vsize=9512 CPUtime=0 cores=0-7
/proc/10249/stat : 10249 (xcsp3-exec) S 10246 10249 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 15435892 9740288 345 18446744073709551615 4194304 5098028 140722575877696 140722575875800 140383124689532 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13078528 140722575884691 140722575884900 140722575884900 140722575888363 0
/proc/10249/statm: 2378 345 289 221 0 87 0
[pid=10251] ppid=10249 vsize=26669632 CPUtime=28.85 cores=0-7
/proc/10251/stat : 10251 (java) S 10249 10249 1143 0 -1 1077944320 53326 0 0 0 2796 89 0 0 20 0 28 0 15435899 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140736929211904 140152582954743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
/proc/10251/statm: 6667408 276879 3250 1 0 6655709 0
[pid=10251/tid=10252] ppid=10249 vsize=26669632 CPUtime=2.71 cores=0-7
/proc/10251/task/10252/stat : 10252 (java) S 10249 10249 1143 0 -1 1077944384 11370 0 0 0 264 7 0 0 20 0 28 0 15435900 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140152587195520 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10253] ppid=10249 vsize=26669632 CPUtime=0.13 cores=0-7
/proc/10251/task/10253/stat : 10253 (java) S 10249 10249 1143 0 -1 1077944384 142 0 0 0 9 4 0 0 20 0 28 0 15435900 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140152509881104 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10254] ppid=10249 vsize=26669632 CPUtime=0.16 cores=0-7
/proc/10251/task/10254/stat : 10254 (java) S 10249 10249 1143 0 -1 1077944384 222 0 0 0 11 5 0 0 20 0 28 0 15435900 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140152508828560 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10255] ppid=10249 vsize=26669632 CPUtime=0.16 cores=0-7
/proc/10251/task/10255/stat : 10255 (java) S 10249 10249 1143 0 -1 1077944384 215 0 0 0 11 5 0 0 20 0 28 0 15435900 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140152507776016 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10256] ppid=10249 vsize=26669632 CPUtime=0.14 cores=0-7
/proc/10251/task/10256/stat : 10256 (java) S 10249 10249 1143 0 -1 1077944384 162 0 0 0 9 5 0 0 20 0 28 0 15435900 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140152506723472 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10257] ppid=10249 vsize=26669632 CPUtime=0.14 cores=0-7
/proc/10251/task/10257/stat : 10257 (java) S 10249 10249 1143 0 -1 1077944384 229 0 0 0 10 4 0 0 20 0 28 0 15435900 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140152505669904 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10258] ppid=10249 vsize=26669632 CPUtime=0.14 cores=0-7
/proc/10251/task/10258/stat : 10258 (java) S 10249 10249 1143 0 -1 1077944384 167 0 0 0 9 5 0 0 20 0 28 0 15435900 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140152504617360 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10259] ppid=10249 vsize=26669632 CPUtime=0.14 cores=0-7
/proc/10251/task/10259/stat : 10259 (java) S 10249 10249 1143 0 -1 1077944384 486 0 0 0 10 4 0 0 20 0 28 0 15435900 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140152503564816 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10260] ppid=10249 vsize=26669632 CPUtime=0.12 cores=0-7
/proc/10251/task/10260/stat : 10260 (java) S 10249 10249 1143 0 -1 1077944384 115 0 0 0 8 4 0 0 20 0 28 0 15435901 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140152502512272 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10261] ppid=10249 vsize=26669632 CPUtime=0.01 cores=0-7
/proc/10251/task/10261/stat : 10261 (java) S 10249 10249 1143 0 -1 1077944384 1121 0 0 0 1 0 0 0 20 0 28 0 15435902 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140151848188400 140152582965890 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10262] ppid=10249 vsize=26669632 CPUtime=0 cores=0-7
/proc/10251/task/10262/stat : 10262 (java) S 10249 10249 1143 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 15435902 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140151847134688 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10263] ppid=10249 vsize=26669632 CPUtime=0 cores=0-7
/proc/10251/task/10263/stat : 10263 (java) S 10249 10249 1143 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 15435903 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140151846082048 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10264] ppid=10249 vsize=26669632 CPUtime=0 cores=0-7
/proc/10251/task/10264/stat : 10264 (java) S 10249 10249 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15435905 27309703168 276879 18446744073709551615 4194304 4196468 140736929229360 140151845030608 140152582973339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0

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

/proc/10251/task/13083/stat : 13083 (java) R 10249 10249 1143 0 -1 4202560 5190 0 0 0 14937 9 0 0 20 0 28 0 15437133 27309703168 1888139 18446744073709551615 4194304 4196468 140736929229360 140151751663688 140152191691089 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13084] ppid=10249 vsize=26669632 CPUtime=149.39 cores=0-7
/proc/10251/task/13084/stat : 13084 (java) R 10249 10249 1143 0 -1 4202560 3088 0 0 0 14925 14 0 0 20 0 28 0 15437133 27309703168 1888139 18446744073709551615 4194304 4196468 140736929229360 140151759020360 140152191885568 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
Current children cumulated CPU time (s) 1266.64
Current children cumulated vsize (KiB) 26679144

[startup+222.307 s]
/proc/loadavg: 8.17 8.00 7.18 9/206 13099
/proc/meminfo: memFree=24169140/32770624 swapFree=0/350760
[pid=10249] ppid=10246 vsize=9512 CPUtime=0 cores=0-7
/proc/10249/stat : 10249 (xcsp3-exec) S 10246 10249 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 15435892 9740288 345 18446744073709551615 4194304 5098028 140722575877696 140722575875800 140383124689532 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13078528 140722575884691 140722575884900 140722575884900 140722575888363 0
/proc/10249/statm: 2378 345 289 221 0 87 0
[pid=10251] ppid=10249 vsize=26669632 CPUtime=1745.37 cores=0-7
/proc/10251/stat : 10251 (java) S 10249 10249 1143 0 -1 1077944320 183380 0 0 0 174157 380 0 0 20 0 28 0 15435899 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140736929211904 140152582954743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
/proc/10251/statm: 6667408 1872272 3253 1 0 6655709 0
[pid=10251/tid=10252] ppid=10249 vsize=26669632 CPUtime=2.87 cores=0-7
/proc/10251/task/10252/stat : 10252 (java) S 10249 10249 1143 0 -1 1077944384 11903 0 0 0 278 9 0 0 20 0 28 0 15435900 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140152587195408 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10253] ppid=10249 vsize=26669632 CPUtime=0.17 cores=0-7
/proc/10251/task/10253/stat : 10253 (java) S 10249 10249 1143 0 -1 1077944384 1013 0 0 0 12 5 0 0 20 0 28 0 15435900 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140152509881104 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10254] ppid=10249 vsize=26669632 CPUtime=0.2 cores=0-7
/proc/10251/task/10254/stat : 10254 (java) S 10249 10249 1143 0 -1 1077944384 733 0 0 0 14 6 0 0 20 0 28 0 15435900 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140152508828560 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10255] ppid=10249 vsize=26669632 CPUtime=0.21 cores=0-7
/proc/10251/task/10255/stat : 10255 (java) S 10249 10249 1143 0 -1 1077944384 827 0 0 0 15 6 0 0 20 0 28 0 15435900 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140152507776016 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10256] ppid=10249 vsize=26669632 CPUtime=0.19 cores=0-7
/proc/10251/task/10256/stat : 10256 (java) S 10249 10249 1143 0 -1 1077944384 450 0 0 0 13 6 0 0 20 0 28 0 15435900 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140152506723472 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10257] ppid=10249 vsize=26669632 CPUtime=0.18 cores=0-7
/proc/10251/task/10257/stat : 10257 (java) S 10249 10249 1143 0 -1 1077944384 998 0 0 0 13 5 0 0 20 0 28 0 15435900 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140152505669904 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10258] ppid=10249 vsize=26669632 CPUtime=0.19 cores=0-7
/proc/10251/task/10258/stat : 10258 (java) S 10249 10249 1143 0 -1 1077944384 885 0 0 0 13 6 0 0 20 0 28 0 15435900 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140152504617360 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10259] ppid=10249 vsize=26669632 CPUtime=0.19 cores=0-7
/proc/10251/task/10259/stat : 10259 (java) S 10249 10249 1143 0 -1 1077944384 1724 0 0 0 13 6 0 0 20 0 28 0 15435900 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140152503564816 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10260] ppid=10249 vsize=26669632 CPUtime=0.16 cores=0-7
/proc/10251/task/10260/stat : 10260 (java) S 10249 10249 1143 0 -1 1077944384 770 0 0 0 11 5 0 0 20 0 28 0 15435901 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140152502512272 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10261] ppid=10249 vsize=26669632 CPUtime=0.05 cores=0-7
/proc/10251/task/10261/stat : 10261 (java) S 10249 10249 1143 0 -1 1077944384 5868 0 0 0 3 2 0 0 20 0 28 0 15435902 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151848188400 140152582965890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10262] ppid=10249 vsize=26669632 CPUtime=0 cores=0-7
/proc/10251/task/10262/stat : 10262 (java) S 10249 10249 1143 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 15435902 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151847134688 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10263] ppid=10249 vsize=26669632 CPUtime=0 cores=0-7
/proc/10251/task/10263/stat : 10263 (java) S 10249 10249 1143 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 15435903 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151846082048 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10264] ppid=10249 vsize=26669632 CPUtime=0 cores=0-7
/proc/10251/task/10264/stat : 10264 (java) S 10249 10249 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15435905 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151845030608 140152582973339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10265] ppid=10249 vsize=26669632 CPUtime=3.56 cores=0-7
/proc/10251/task/10265/stat : 10265 (java) S 10249 10249 1143 0 -1 1077944384 15506 0 0 0 353 3 0 0 20 0 28 0 15435905 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151843977200 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10266] ppid=10249 vsize=26669632 CPUtime=4.16 cores=0-7
/proc/10251/task/10266/stat : 10266 (java) S 10249 10249 1143 0 -1 1077944384 12012 0 0 0 413 3 0 0 20 0 28 0 15435905 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151842924656 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10267] ppid=10249 vsize=26669632 CPUtime=3.45 cores=0-7
/proc/10251/task/10267/stat : 10267 (java) S 10249 10249 1143 0 -1 1077944384 17029 0 0 0 342 3 0 0 20 0 28 0 15435905 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151841872112 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10268] ppid=10249 vsize=26669632 CPUtime=1.17 cores=0-7
/proc/10251/task/10268/stat : 10268 (java) S 10249 10249 1143 0 -1 1077944384 9790 0 0 0 114 3 0 0 20 0 28 0 15435905 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151840819568 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10269] ppid=10249 vsize=26669632 CPUtime=0 cores=0-7
/proc/10251/task/10269/stat : 10269 (java) S 10249 10249 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15435905 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151839767264 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10270] ppid=10249 vsize=26669632 CPUtime=0.07 cores=0-7
/proc/10251/task/10270/stat : 10270 (java) S 10249 10249 1143 0 -1 1077944384 2097 0 0 0 2 5 0 0 20 0 28 0 15435910 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151838714800 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13090] ppid=10249 vsize=26669632 CPUtime=52.23 cores=0-7
/proc/10251/task/13090/stat : 13090 (java) R 10249 10249 1143 0 -1 4202560 1013 0 0 0 5223 0 0 0 20 0 28 0 15452896 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151755865184 140152191518872 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13091] ppid=10249 vsize=26669632 CPUtime=52.18 cores=0-7
/proc/10251/task/13091/stat : 13091 (java) R 10249 10249 1143 0 -1 4202560 1019 0 0 0 5218 0 0 0 20 0 28 0 15452896 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151762178200 140152191518723 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13092] ppid=10249 vsize=26669632 CPUtime=52.09 cores=0-7
/proc/10251/task/13092/stat : 13092 (java) R 10249 10249 1143 0 -1 4202560 886 0 0 0 5209 0 0 0 20 0 28 0 15452896 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151759020664 140152190773408 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13093] ppid=10249 vsize=26669632 CPUtime=52.24 cores=0-7
/proc/10251/task/13093/stat : 13093 (java) R 10249 10249 1143 0 -1 4202560 14011 0 0 0 5200 24 0 0 20 0 28 0 15452896 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151751664136 140152184366830 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13094] ppid=10249 vsize=26669632 CPUtime=51.51 cores=0-7
/proc/10251/task/13094/stat : 13094 (java) R 10249 10249 1143 0 -1 4202560 1257 0 0 0 5146 5 0 0 20 0 28 0 15452896 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151754813256 140152191518844 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13095] ppid=10249 vsize=26669632 CPUtime=52.19 cores=0-7
/proc/10251/task/13095/stat : 13095 (java) R 10249 10249 1143 0 -1 4202560 764 0 0 0 5219 0 0 0 20 0 28 0 15452896 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151760075696 140152190772966 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13096] ppid=10249 vsize=26669632 CPUtime=52.23 cores=0-7
/proc/10251/task/13096/stat : 13096 (java) R 10249 10249 1143 0 -1 4202560 963 0 0 0 5221 2 0 0 20 0 28 0 15452896 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151761125144 140152191518723 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13097] ppid=10249 vsize=26669632 CPUtime=52.23 cores=0-7
/proc/10251/task/13097/stat : 13097 (java) R 10249 10249 1143 0 -1 4202560 2537 0 0 0 5216 7 0 0 20 0 28 0 15452896 27309703168 1872272 18446744073709551615 4194304 4196468 140736929229360 140151750611160 140152192971252 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
Current children cumulated CPU time (s) 1745.37
Current children cumulated vsize (KiB) 26679144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+244.201 s]
/proc/loadavg: 8.12 8.00 7.19 9/205 13099
/proc/meminfo: memFree=24169960/32770624 swapFree=0/350768
[pid=10249] ppid=10246 vsize=9512 CPUtime=0 cores=0-7
/proc/10249/stat : 10249 (xcsp3-exec) S 10246 10249 1143 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 15435892 9740288 345 18446744073709551615 4194304 5098028 140722575877696 140722575875800 140383124689532 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 13078528 140722575884691 140722575884900 140722575884900 140722575888363 0
/proc/10249/statm: 2378 345 289 221 0 87 0
[pid=10251] ppid=10249 vsize=26669632 CPUtime=1920.19 cores=0-7
/proc/10251/stat : 10251 (java) S 10249 10249 1143 0 -1 1077944320 194453 0 0 0 191625 394 0 0 20 0 28 0 15435899 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140736929211904 140152582954743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
/proc/10251/statm: 6667408 1872287 3253 1 0 6655709 0
[pid=10251/tid=10252] ppid=10249 vsize=26669632 CPUtime=2.87 cores=0-7
/proc/10251/task/10252/stat : 10252 (java) S 10249 10249 1143 0 -1 1077944384 11903 0 0 0 278 9 0 0 20 0 28 0 15435900 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140152587195408 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10253] ppid=10249 vsize=26669632 CPUtime=0.18 cores=0-7
/proc/10251/task/10253/stat : 10253 (java) S 10249 10249 1143 0 -1 1077944384 1028 0 0 0 13 5 0 0 20 0 28 0 15435900 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140152509881104 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10254] ppid=10249 vsize=26669632 CPUtime=0.21 cores=0-7
/proc/10251/task/10254/stat : 10254 (java) S 10249 10249 1143 0 -1 1077944384 811 0 0 0 15 6 0 0 20 0 28 0 15435900 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140152508828560 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10255] ppid=10249 vsize=26669632 CPUtime=0.21 cores=0-7
/proc/10251/task/10255/stat : 10255 (java) S 10249 10249 1143 0 -1 1077944384 1186 0 0 0 15 6 0 0 20 0 28 0 15435900 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140152507776016 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10256] ppid=10249 vsize=26669632 CPUtime=0.19 cores=0-7
/proc/10251/task/10256/stat : 10256 (java) S 10249 10249 1143 0 -1 1077944384 466 0 0 0 13 6 0 0 20 0 28 0 15435900 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140152506723472 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10257] ppid=10249 vsize=26669632 CPUtime=0.18 cores=0-7
/proc/10251/task/10257/stat : 10257 (java) S 10249 10249 1143 0 -1 1077944384 1013 0 0 0 13 5 0 0 20 0 28 0 15435900 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140152505669904 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10258] ppid=10249 vsize=26669632 CPUtime=0.19 cores=0-7
/proc/10251/task/10258/stat : 10258 (java) S 10249 10249 1143 0 -1 1077944384 936 0 0 0 13 6 0 0 20 0 28 0 15435900 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140152504617360 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10259] ppid=10249 vsize=26669632 CPUtime=0.19 cores=0-7
/proc/10251/task/10259/stat : 10259 (java) S 10249 10249 1143 0 -1 1077944384 1737 0 0 0 13 6 0 0 20 0 28 0 15435900 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140152503564816 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10260] ppid=10249 vsize=26669632 CPUtime=0.16 cores=0-7
/proc/10251/task/10260/stat : 10260 (java) S 10249 10249 1143 0 -1 1077944384 778 0 0 0 11 5 0 0 20 0 28 0 15435901 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140152502512272 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10261] ppid=10249 vsize=26669632 CPUtime=0.05 cores=0-7
/proc/10251/task/10261/stat : 10261 (java) S 10249 10249 1143 0 -1 1077944384 6187 0 0 0 3 2 0 0 20 0 28 0 15435902 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151848188400 140152582965890 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10262] ppid=10249 vsize=26669632 CPUtime=0 cores=0-7
/proc/10251/task/10262/stat : 10262 (java) S 10249 10249 1143 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 15435902 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151847134688 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10263] ppid=10249 vsize=26669632 CPUtime=0 cores=0-7
/proc/10251/task/10263/stat : 10263 (java) S 10249 10249 1143 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 15435903 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151846082048 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10264] ppid=10249 vsize=26669632 CPUtime=0 cores=0-7
/proc/10251/task/10264/stat : 10264 (java) S 10249 10249 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 15435905 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151845030608 140152582973339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10265] ppid=10249 vsize=26669632 CPUtime=3.57 cores=0-7
/proc/10251/task/10265/stat : 10265 (java) S 10249 10249 1143 0 -1 1077944384 15981 0 0 0 354 3 0 0 20 0 28 0 15435905 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151843977200 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10266] ppid=10249 vsize=26669632 CPUtime=4.16 cores=0-7
/proc/10251/task/10266/stat : 10266 (java) S 10249 10249 1143 0 -1 1077944384 12813 0 0 0 413 3 0 0 20 0 28 0 15435905 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151842924656 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10267] ppid=10249 vsize=26669632 CPUtime=3.49 cores=0-7
/proc/10251/task/10267/stat : 10267 (java) S 10249 10249 1143 0 -1 1077944384 17795 0 0 0 345 4 0 0 20 0 28 0 15435905 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151841872112 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10268] ppid=10249 vsize=26669632 CPUtime=1.17 cores=0-7
/proc/10251/task/10268/stat : 10268 (java) S 10249 10249 1143 0 -1 1077944384 9809 0 0 0 114 3 0 0 20 0 28 0 15435905 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151840819568 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10269] ppid=10249 vsize=26669632 CPUtime=0 cores=0-7
/proc/10251/task/10269/stat : 10269 (java) S 10249 10249 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 15435905 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151839767264 140152582964949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=10270] ppid=10249 vsize=26669632 CPUtime=0.07 cores=0-7
/proc/10251/task/10270/stat : 10270 (java) S 10249 10249 1143 0 -1 1077944384 2155 0 0 0 2 5 0 0 20 0 28 0 15435910 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151838714800 140152582965890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13090] ppid=10249 vsize=26669632 CPUtime=74.13 cores=0-7
/proc/10251/task/13090/stat : 13090 (java) R 10249 10249 1143 0 -1 4202560 1322 0 0 0 7412 1 0 0 20 0 28 0 15452896 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151755865304 140152191518916 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13091] ppid=10249 vsize=26669632 CPUtime=74.06 cores=0-7
/proc/10251/task/13091/stat : 13091 (java) R 10249 10249 1143 0 -1 4202560 1455 0 0 0 7405 1 0 0 20 0 28 0 15452896 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151762181248 140152191518862 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13092] ppid=10249 vsize=26669632 CPUtime=73.66 cores=0-7
/proc/10251/task/13092/stat : 13092 (java) R 10249 10249 1143 0 -1 4202560 1071 0 0 0 7365 1 0 0 20 0 28 0 15452896 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151759020664 140152191691850 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13093] ppid=10249 vsize=26669632 CPUtime=74.12 cores=0-7
/proc/10251/task/13093/stat : 13093 (java) R 10249 10249 1143 0 -1 4202560 19679 0 0 0 7379 33 0 0 20 0 28 0 15452896 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151751664376 140152191044584 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13094] ppid=10249 vsize=26669632 CPUtime=73.4 cores=0-7
/proc/10251/task/13094/stat : 13094 (java) R 10249 10249 1143 0 -1 4202560 1672 0 0 0 7334 6 0 0 20 0 28 0 15452896 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151754813256 140152191691384 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13095] ppid=10249 vsize=26669632 CPUtime=74.08 cores=0-7
/proc/10251/task/13095/stat : 13095 (java) R 10249 10249 1143 0 -1 4202560 906 0 0 0 7408 0 0 0 20 0 28 0 15452896 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151760072728 140152191519027 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13096] ppid=10249 vsize=26669632 CPUtime=74.12 cores=0-7
/proc/10251/task/13096/stat : 13096 (java) R 10249 10249 1143 0 -1 4202560 1321 0 0 0 7409 3 0 0 20 0 28 0 15452896 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151761125200 140152191561650 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
[pid=10251/tid=13097] ppid=10249 vsize=26669632 CPUtime=74.13 cores=0-7
/proc/10251/task/13097/stat : 13097 (java) R 10249 10249 1143 0 -1 4202560 3104 0 0 0 7404 9 0 0 20 0 28 0 15452896 27309703168 1872287 18446744073709551615 4194304 4196468 140736929229360 140151750611224 140152186102532 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17072128 140736929235408 140736929235584 140736929235584 140736929238991 0
Current children cumulated CPU time (s) 1920.19
Current children cumulated vsize (KiB) 26679144

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 244.247
CPU time (s): 1920.19
CPU user time (s): 1916.25
CPU system time (s): 3.94
CPU usage (%): 786.169
Max. virtual memory (cumulated for all children) (KiB): 26679144

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.8815 second user time and 1.79449 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-02 14:54:20
IDJOB=4254843
IDBENCH=115904
IDSOLVER=2636
FILE ID=node134/4254843-1501679301
RUNJOBID= node134-1501676576-1207
PBS_JOBID= 
Free space on /tmp= 61900 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-4254843-1501679301/watcher-4254843-1501679301 -o /tmp/evaluation-result-4254843-1501679301/solver-4254843-1501679301 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node134-1501676576-1207 --watchdog 324  ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 667787920 HOME/instance-4254843-1501679301.xml

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

MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1
RANDOM SEED=667787920

node134.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.43
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.43
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.43
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.43
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:        31660180 kB
MemAvailable:   32017640 kB
Buffers:          135696 kB
Cached:           499252 kB
SwapCached:            0 kB
Active:           334560 kB
Inactive:         357400 kB
Active(anon):      59072 kB
Inactive(anon):     6652 kB
Active(file):     275488 kB
Inactive(file):   350748 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7580 kB
Writeback:             0 kB
AnonPages:         46312 kB
Mapped:            30640 kB
Shmem:              8892 kB
Slab:             119176 kB
SReclaimable:      94120 kB
SUnreclaim:        25056 kB
KernelStack:        3216 kB
PageTables:         4484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     277892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61892 MiB
End job on node134 at 2017-08-02 14:58:25