Trace number 4281429

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)64 1992.1801 252.099

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-10-360-120.xml
MD5SUM76b33169874d58bfc9aedd730e623c3c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark251.91
Satisfiable
(Un)Satisfiability was proved
Number of variables3601
Number of constraints56
Number of domains2
Minimum domain size2
Maximum domain size329
Distribution of domain sizes[{"size":2,"count":3600},{"size":329,"count":1}]
Minimum variable degree11
Maximum variable degree46
Distribution of variable degrees[{"degree":11,"count":3600},{"degree":46,"count":1}]
Minimum constraint arity360
Maximum constraint arity3600
Distribution of constraint arities[{"arity":360,"count":10},{"arity":721,"count":45},{"arity":3600,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":55}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281429-1503184749.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281429-1503184749.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
4.52/1.35	c solve instance...
19.11/3.32	o 360 
19.11/3.35	o 359 
19.11/3.37	o 358 
19.76/3.40	o 357 
19.76/3.43	o 356 
19.76/3.44	o 355 
19.76/3.47	o 354 
19.76/3.49	o 353 
20.40/3.51	o 352 
20.40/3.54	o 351 
20.40/3.57	o 350 
20.40/3.59	o 349 
21.00/3.61	o 348 
21.00/3.63	o 347 
21.00/3.65	o 346 
21.00/3.68	o 345 
21.00/3.70	o 344 
21.55/3.72	o 343 
21.55/3.74	o 342 
21.55/3.76	o 341 
21.55/3.78	o 340 
22.17/3.80	o 339 
22.17/3.82	o 338 
22.17/3.85	o 337 
22.17/3.87	o 336 
22.17/3.89	o 335 
22.81/3.91	o 334 
22.81/3.93	o 333 
22.81/3.95	o 332 
22.81/3.97	o 331 
22.81/3.99	o 330 
22.81/4.01	o 329 
23.46/4.03	o 328 
23.46/4.05	o 327 
23.46/4.07	o 326 
23.46/4.09	o 325 
24.03/4.11	o 324 
24.03/4.13	o 323 
24.03/4.15	o 322 
24.03/4.17	o 321 
24.03/4.19	o 320 
24.53/4.21	o 319 
24.53/4.23	o 318 
24.53/4.25	o 317 
24.53/4.27	o 316 
25.11/4.30	o 315 
25.11/4.33	o 314 
25.11/4.35	o 313 
25.11/4.37	o 312 
25.11/4.39	o 311 
25.70/4.41	o 310 
25.70/4.43	o 309 
25.70/4.45	o 308 
25.70/4.47	o 307 
25.70/4.48	o 306 
26.26/4.50	o 305 
26.26/4.53	o 304 
26.26/4.55	o 303 
26.26/4.57	o 302 
26.26/4.59	o 301 
26.87/4.61	o 300 
26.87/4.63	o 299 
26.87/4.64	o 298 
26.87/4.66	o 297 
26.87/4.68	o 296 
26.87/4.70	o 295 
27.45/4.72	o 294 
27.45/4.74	o 293 
27.45/4.76	o 292 
27.45/4.78	o 291 
28.02/4.80	o 290 
28.02/4.82	o 289 
28.02/4.84	o 288 
28.02/4.86	o 287 
28.02/4.88	o 286 
28.59/4.90	o 285 
28.59/4.92	o 284 
28.59/4.94	o 283 
28.59/4.96	o 282 
28.59/4.98	o 281 
28.59/5.00	o 280 
29.18/5.02	o 279 
29.18/5.05	o 278 
29.18/5.07	o 277 
29.18/5.09	o 276 
29.79/5.11	o 275 
29.79/5.13	o 274 
29.79/5.14	o 273 
29.79/5.16	o 272 
29.79/5.18	o 271 
30.35/5.20	o 270 
30.35/5.22	o 269 
30.35/5.24	o 268 
30.35/5.26	o 267 
30.35/5.27	o 266 
30.35/5.29	o 265 
31.04/5.31	o 264 
31.04/5.33	o 263 
31.04/5.35	o 262 
31.04/5.37	o 261 
31.04/5.39	o 260 
31.59/5.40	o 259 
31.59/5.42	o 258 
31.59/5.44	o 257 
31.59/5.45	o 256 
31.59/5.47	o 255 
32.18/5.50	o 254 
32.18/5.52	o 253 
32.18/5.54	o 252 
32.18/5.56	o 251 
32.18/5.57	o 250 
32.18/5.59	o 249 
32.86/5.62	o 248 
32.86/5.64	o 247 
32.86/5.66	o 246 
32.86/5.68	o 245 
32.86/5.69	o 244 
33.50/5.71	o 243 
33.50/5.73	o 242 
33.50/5.75	o 241 
33.50/5.77	o 240 
33.50/5.79	o 239 
34.06/5.81	o 238 
34.06/5.83	o 237 
34.06/5.85	o 236 
34.06/5.86	o 235 
34.06/5.88	o 234 
34.06/5.90	o 233 
34.70/5.91	o 232 
34.70/5.93	o 231 
34.70/5.95	o 230 
34.70/5.97	o 229 
34.70/5.98	o 228 
34.70/6.00	o 227 
35.40/6.02	o 226 
35.40/6.04	o 225 
35.40/6.06	o 224 
35.40/6.08	o 223 
35.40/6.09	o 222 
36.00/6.11	o 221 
36.00/6.13	o 220 
36.00/6.15	o 219 
36.00/6.17	o 218 
36.00/6.19	o 217 
36.56/6.20	o 216 
36.56/6.22	o 215 
36.56/6.24	o 214 
36.56/6.27	o 213 
36.56/6.29	o 212 
37.14/6.30	o 211 
37.14/6.32	o 210 
37.14/6.34	o 209 
37.14/6.36	o 208 
37.14/6.38	o 207 
37.14/6.39	o 206 
37.79/6.41	o 205 
37.79/6.43	o 204 
37.79/6.45	o 203 
37.79/6.46	o 202 
37.79/6.48	o 201 
38.42/6.50	o 200 
38.42/6.52	o 199 
38.42/6.54	o 198 
38.42/6.56	o 197 
38.42/6.57	o 196 
38.42/6.59	o 195 
39.10/6.61	o 194 
39.10/6.64	o 193 
39.10/6.66	o 192 
39.10/6.67	o 191 
39.10/6.69	o 190 
39.70/6.71	o 189 
39.70/6.72	o 188 
39.70/6.74	o 187 
39.70/6.76	o 186 
39.70/6.77	o 185 
39.70/6.79	o 184 
40.29/6.80	o 183 
40.29/6.82	o 182 
40.29/6.84	o 181 
40.29/6.86	o 180 
40.29/6.88	o 179 
40.91/6.90	o 178 
40.91/6.92	o 177 
40.91/6.93	o 176 
40.91/6.95	o 175 
40.91/6.97	o 174 
40.91/6.98	o 173 
41.58/7.01	o 172 
41.58/7.03	o 171 
41.58/7.05	o 170 
41.58/7.07	o 169 
41.58/7.09	o 168 
42.22/7.11	o 167 
42.22/7.13	o 166 
42.22/7.14	o 165 
42.22/7.16	o 164 
42.22/7.18	o 163 
42.81/7.20	o 162 
42.81/7.22	o 161 
42.81/7.24	o 160 
42.81/7.26	o 159 
42.81/7.28	o 158 
42.81/7.29	o 157 
43.49/7.31	o 156 
43.49/7.33	o 155 
43.49/7.36	o 154 
43.49/7.37	o 153 
43.49/7.39	o 152 
44.08/7.41	o 151 
44.08/7.45	o 150 
44.08/7.47	o 149 
44.08/7.48	o 148 
44.69/7.50	o 147 
44.69/7.52	o 146 
44.69/7.54	o 145 
44.69/7.56	o 144 
44.69/7.58	o 143 
45.32/7.61	o 142 
45.32/7.62	o 141 
45.32/7.64	o 140 
45.32/7.66	o 139 
45.32/7.68	o 138 
45.32/7.69	o 137 
45.96/7.71	o 136 
45.96/7.73	o 135 
45.96/7.75	o 134 
45.96/7.77	o 133 
45.96/7.78	o 132 
46.56/7.82	o 131 
46.56/7.84	o 130 
46.56/7.85	o 129 
46.56/7.87	o 128 
46.56/7.89	o 127 
47.21/7.91	o 126 
47.21/7.93	o 125 
47.21/7.95	o 124 
47.21/7.96	o 123 
47.21/7.98	o 122 
47.21/8.00	o 121 
47.86/8.01	o 120 
51.75/8.53	o 119 
55.79/9.03	o 118 
61.27/9.73	o 117 
66.82/10.44	o 116 
72.45/11.18	o 115 
77.93/11.85	o 114 
83.47/12.53	o 113 
88.30/13.18	o 112 
93.79/13.83	o 111 
98.52/14.46	o 110 
103.34/15.07	o 109 
107.99/15.66	o 108 
113.55/16.30	o 107 
118.27/16.92	o 106 
122.23/17.44	o 105 
127.07/18.04	o 104 
130.94/18.55	o 103 
135.00/19.03	o 102 
138.85/19.51	o 101 
142.02/20.00	o 100 
145.93/20.45	o 99 
149.90/20.90	o 98 
153.06/21.37	o 97 
157.02/21.83	o 96 
160.14/22.24	o 95 
163.29/22.67	o 94 
166.53/23.08	o 93 
170.39/23.51	o 92 
173.56/23.95	o 91 
177.52/24.42	o 90 
179.90/24.79	o 89 
183.83/25.24	o 88 
186.99/25.65	o 87 
190.18/26.06	o 86 
193.30/26.48	o 85 
196.43/26.88	o 84 
200.37/27.31	o 83 
204.33/27.85	o 82 
209.06/28.48	o 81 
213.85/29.09	o 80 
216.95/29.47	o 79 
221.79/30.10	o 78 
227.29/30.71	o 77 
231.21/31.23	o 76 
235.16/31.72	o 75 
239.08/32.26	o 74 
243.03/32.77	o 73 
246.98/33.29	o 72 
250.96/33.77	o 71 
254.92/34.29	o 70 
259.65/34.82	o 69 
264.31/35.43	o 68 
269.12/36.04	o 67 
274.60/36.70	o 66 
279.33/37.34	o 65 
795.34/102.06	o 64 
1991.58/252.07	s SATISFIABLE
1991.58/252.07	v <instantiation>
1991.58/252.07	v 	<list>z 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[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[0][350] x[0][351] x[0][352] x[0][353] x[0][354] x[0][355] x[0][356] x[0][357] x[0][358] x[0][359] 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[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349] x[1][350] x[1][351] x[1][352] x[1][353] x[1][354] x[1][355] x[1][356] x[1][357] x[1][358] x[1][359] 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[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[2][325] x[2][326] x[2][327] x[2][328] x[2][329] x[2][330] x[2][331] x[2][332] x[2][333] x[2][334] x[2][335] x[2][336] x[2][337] x[2][338] x[2][339] x[2][340] x[2][341] x[2][342] x[2][343] x[2][344] x[2][345] x[2][346] x[2][347] x[2][348] x[2][349] x[2][350] x[2][351] x[2][352] x[2][353] x[2][354] x[2][355] x[2][356] x[2][357] x[2][358] x[2][359] 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[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[3][325] x[3][326] x[3][327] x[3][328] x[3][329] x[3][330] x[3][331] x[3][332] x[3][333] x[3][334] x[3][335] x[3][336] x[3][337] x[3][338] x[3][339] x[3][340] x[3][341] x[3][342] x[3][343] x[3][344] x[3][345] x[3][346] x[3][347] x[3][348] x[3][349] x[3][350] x[3][351] x[3][352] x[3][353] x[3][354] x[3][355] x[3][356] x[3][357] x[3][358] x[3][359] 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[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[4][120] x[4][121] x[4][122] x[4][123] x[4][124] x[4][125] x[4][126] x[4][127] x[4][128] x[4][129] x[4][130] x[4][131] x[4][132] x[4][133] x[4][134] x[4][135] x[4][136] x[4][137] x[4][138] x[4][139] x[4][140] x[4][141] x[4][142] x[4][143] x[4][144] x[4][145] x[4][146] x[4][147] x[4][148] x[4][149] x[4][150] x[4][151] x[4][152] x[4][153] x[4][154] x[4][155] x[4][156] x[4][157] x[4][158] x[4][159] x[4][160] x[4][161] x[4][162] x[4][163] x[4][164] x[4][165] x[4][166] x[4][167] x[4][168] x[4][169] x[4][170] x[4][171] x[4][172] x[4][173] x[4][174] x[4][175] x[4][176] x[4][177] x[4][178] x[4][179] x[4][180] x[4][181] x[4][182] x[4][183] x[4][184] x[4][185] x[4][186] x[4][187] x[4][188] x[4][189] x[4][190] x[4][191] x[4][192] x[4][193] x[4][194] x[4][195] x[4][196] x[4][197] x[4][198] x[4][199] x[4][200] x[4][201] x[4][202] x[4][203] x[4][204] x[4][205] x[4][206] x[4][207] x[4][208] x[4][209] x[4][210] x[4][211] x[4][212] x[4][213] x[4][214] x[4][215] x[4][216] x[4][217] x[4][218] x[4][219] x[4][220] x[4][221] x[4][222] x[4][223] x[4][224] x[4][225] x[4][226] x[4][227] x[4][228] x[4][229] x[4][230] x[4][231] x[4][232] x[4][233] x[4][234] x[4][235] x[4][236] x[4][237] x[4][238] x[4][239] x[4][240] x[4][241] x[4][242] x[4][243] x[4][244] x[4][245] x[4][246] x[4][247] x[4][248] x[4][249] x[4][250] x[4][251] x[4][252] x[4][253] x[4][254] x[4][255] x[4][256] x[4][257] x[4][258] x[4][259] x[4][260] x[4][261] x[4][262] x[4][263] x[4][264] x[4][265] x[4][266] x[4][267] x[4][268] x[4][269] x[4][270] x[4][271] x[4][272] x[4][273] x[4][274] x[4][275] x[4][276] x[4][277] x[4][278] x[4][279] x[4][280] x[4][281] x[4][282] x[4][283] x[4][284] x[4][285] x[4][286] x[4][287] x[4][288] x[4][289] x[4][290] x[4][291] x[4][292] x[4][293] x[4][294] x[4][295] x[4][296] x[4][297] x[4][298] x[4][299] x[4][300] x[4][301] x[4][302] x[4][303] x[4][304] x[4][305] x[4][306] x[4][307] x[4][308] x[4][309] x[4][310] x[4][311] x[4][312] x[4][313] x[4][314] x[4][315] x[4][316] x[4][317] x[4][318] x[4][319] x[4][320] x[4][321] x[4][322] x[4][323] x[4][324] x[4][325] x[4][326] x[4][327] x[4][328] x[4][329] x[4][330] x[4][331] x[4][332] x[4][333] x[4][334] x[4][335] x[4][336] x[4][337] x[4][338] x[4][339] x[4][340] x[4][341] x[4][342] x[4][343] x[4][344] x[4][345] x[4][346] x[4][347] x[4][348] x[4][349] x[4][350] x[4][351] x[4][352] x[4][353] x[4][354] x[4][355] x[4][356] x[4][357] x[4][358] x[4][359] 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[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[5][120] x[5][121] x[5][122] x[5][123] x[5][124] x[5][125] x[5][126] x[5][127] x[5][128] x[5][129] x[5][130] x[5][131] x[5][132] x[5][133] x[5][134] x[5][135] x[5][136] x[5][137] x[5][138] x[5][139] x[5][140] x[5][141] x[5][142] x[5][143] x[5][144] x[5][145] x[5][146] x[5][147] x[5][148] x[5][149] x[5][150] x[5][151] x[5][152] x[5][153] x[5][154] x[5][155] x[5][156] x[5][157] x[5][158] x[5][159] x[5][160] x[5][161] x[5][162] x[5][163] x[5][164] x[5][165] x[5][166] x[5][167] x[5][168] x[5][169] x[5][170] x[5][171] x[5][172] x[5][173] x[5][174] x[5][175] x[5][176] x[5][177] x[5][178] x[5][179] x[5][180] x[5][181] x[5][182] x[5][183] x[5][184] x[5][185] x[5][186] x[5][187] x[5][188] x[5][189] x[5][190] x[5][191] x[5][192] x[5][193] x[5][194] x[5][195] x[5][196] x[5][197] x[5][198] x[5][199] x[5][200] x[5][201] x[5][202] x[5][203] x[5][204] x[5][205] x[5][206] x[5][207] x[5][208] x[5][209] x[5][210] x[5][211] x[5][212] x[5][213] x[5][214] x[5][215] x[5][216] x[5][217] x[5][218] x[5][219] x[5][220] x[5][221] x[5][222] x[5][223] x[5][224] x[5][225] x[5][226] x[5][227] x[5][228] x[5][229] x[5][230] x[5][231] x[5][232] x[5][233] x[5][234] x[5][235] x[5][236] x[5][237] x[5][238] x[5][239] x[5][240] x[5][241] x[5][242] x[5][243] x[5][244] x[5][245] x[5][246] x[5][247] x[5][248] x[5][249] x[5][250] x[5][251] x[5][252] x[5][253] x[5][254] x[5][255] x[5][256] x[5][257] x[5][258] x[5][259] x[5][260] x[5][261] x[5][262] x[5][263] x[5][264] x[5][265] x[5][266] x[5][267] x[5][268] x[5][269] x[5][270] x[5][271] x[5][272] x[5][273] x[5][274] x[5][275] x[5][276] x[5][277] x[5][278] x[5][279] x[5][280] x[5][281] x[5][282] x[5][283] x[5][284] x[5][285] x[5][286] x[5][287] x[5][288] x[5][289] x[5][290] x[5][291] x[5][292] x[5][293] x[5][294] x[5][295] x[5][296] x[5][297] x[5][298] x[5][299] x[5][300] x[5][301] x[5][302] x[5][303] x[5][304] x[5][305] x[5][306] x[5][307] x[5][308] x[5][309] x[5][310] x[5][311] x[5][312] x[5][313] x[5][314] x[5][315] x[5][316] x[5][317] x[5][318] x[5][319] x[5][320] x[5][321] x[5][322] x[5][323] x[5][324] x[5][325] x[5][326] x[5][327] x[5][328] x[5][329] x[5][330] x[5][331] x[5][332] x[5][333] x[5][334] x[5][335] x[5][336] x[5][337] x[5][338] x[5][339] x[5][340] x[5][341] x[5][342] x[5][343] x[5][344] x[5][345] x[5][346] x[5][347] x[5][348] x[5][349] x[5][350] x[5][351] x[5][352] x[5][353] x[5][354] x[5][355] x[5][356] x[5][357] x[5][358] x[5][359] 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[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[6][120] x[6][121] x[6][122] x[6][123] x[6][124] x[6][125] x[6][126] x[6][127] x[6][128] x[6][129] x[6][130] x[6][131] x[6][132] x[6][133] x[6][134] x[6][135] x[6][136] x[6][137] x[6][138] x[6][139] x[6][140] x[6][141] x[6][142] x[6][143] x[6][144] x[6][145] x[6][146] x[6][147] x[6][148] x[6][149] x[6][150] x[6][151] x[6][152] x[6][153] x[6][154] x[6][155] x[6][156] x[6][157] x[6][158] x[6][159] x[6][160] x[6][161] x[6][162] x[6][163] x[6][164] x[6][165] x[6][166] x[6][167] x[6][168] x[6][169] x[6][170] x[6][171] x[6][172] x[6][173] x[6][174] x[6][175] x[6][176] x[6][177] x[6][178] x[6][179] x[6][180] x[6][181] x[6][182] x[6][183] x[6][184] x[6][185] x[6][186] x[6][187] x[6][188] x[6][189] x[6][190] x[6][191] x[6][192] x[6][193] x[6][194] x[6][195] x[6][196] x[6][197] x[6][198] x[6][199] x[6][200] x[6][201] x[6][202] x[6][203] x[6][204] x[6][205] x[6][206] x[6][207] x[6][208] x[6][209] x[6][210] x[6][211] x[6][212] x[6][213] x[6][214] x[6][215] x[6][216] x[6][217] x[6][218] x[6][219] x[6][220] x[6][221] x[6][222] x[6][223] x[6][224] x[6][225] x[6][226] x[6][227] x[6][228] x[6][229] x[6][230] x[6][231] x[6][232] x[6][233] x[6][234] x[6][235] x[6][236] x[6][237] x[6][238] x[6][239] x[6][240] x[6][241] x[6][242] x[6][243] x[6][244] x[6][245] x[6][246] x[6][247] x[6][248] x[6][249] x[6][250] x[6][251] x[6][252] x[6][253] x[6][254] x[6][255] x[6][256] x[6][257] x[6][258] x[6][259] x[6][260] x[6][261] x[6][262] x[6][263] x[6][264] x[6][265] x[6][266] x[6][267] x[6][268] x[6][269] x[6][270] x[6][271] x[6][272] x[6][273] x[6][274] x[6][275] x[6][276] x[6][277] x[6][278] x[6][279] x[6][280] x[6][281] x[6][282] x[6][283] x[6][284] x[6][285] x[6][286] x[6][287] x[6][288] x[6][289] x[6][290] x[6][291] x[6][292] x[6][293] x[6][294] x[6][295] x[6][296] x[6][297] x[6][298] x[6][299] x[6][300] x[6][301] x[6][302] x[6][303] x[6][304] x[6][305] x[6][306] x[6][307] x[6][308] x[6][309] x[6][310] x[6][311] x[6][312] x[6][313] x[6][314] x[6][315] x[6][316] x[6][317] x[6][318] x[6][319] x[6][320] x[6][321] x[6][322] x[6][323] x[6][324] x[6][325] x[6][326] x[6][327] x[6][328] x[6][329] x[6][330] x[6][331] x[6][332] x[6][333] x[6][334] x[6][335] x[6][336] x[6][337] x[6][338] x[6][339] x[6][340] x[6][341] x[6][342] x[6][343] x[6][344] x[6][345] x[6][346] x[6][347] x[6][348] x[6][349] x[6][350] x[6][351] x[6][352] x[6][353] x[6][354] x[6][355] x[6][356] x[6][357] x[6][358] x[6][359] 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[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[7][120] x[7][121] x[7][122] x[7][123] x[7][124] x[7][125] x[7][126] x[7][127] x[7][128] x[7][129] x[7][130] x[7][131] x[7][132] x[7][133] x[7][134] x[7][135] x[7][136] x[7][137] x[7][138] x[7][139] x[7][140] x[7][141] x[7][142] x[7][143] x[7][144] x[7][145] x[7][146] x[7][147] x[7][148] x[7][149] x[7][150] x[7][151] x[7][152] x[7][153] x[7][154] x[7][155] x[7][156] x[7][157] x[7][158] x[7][159] x[7][160] x[7][161] x[7][162] x[7][163] x[7][164] x[7][165] x[7][166] x[7][167] x[7][168] x[7][169] x[7][170] x[7][171] x[7][172] x[7][173] x[7][174] x[7][175] x[7][176] x[7][177] x[7][178] x[7][179] x[7][180] x[7][181] x[7][182] x[7][183] x[7][184] x[7][185] x[7][186] x[7][187] x[7][188] x[7][189] x[7][190] x[7][191] x[7][192] x[7][193] x[7][194] x[7][195] x[7][196] x[7][197] x[7][198] x[7][199] x[7][200] x[7][201] x[7][202] x[7][203] x[7][204] x[7][205] x[7][206] x[7][207] x[7][208] x[7][209] x[7][210] x[7][211] x[7][212] x[7][213] x[7][214] x[7][215] x[7][216] x[7][217] x[7][218] x[7][219] x[7][220] x[7][221] x[7][222] x[7][223] x[7][224] x[7][225] x[7][226] x[7][227] x[7][228] x[7][229] x[7][230] x[7][231] x[7][232] x[7][233] x[7][234] x[7][235] x[7][236] x[7][237] x[7][238] x[7][239] x[7][240] x[7][241] x[7][242] x[7][243] x[7][244] x[7][245] x[7][246] x[7][247] x[7][248] x[7][249] x[7][250] x[7][251] x[7][252] x[7][253] x[7][254] x[7][255] x[7][256] x[7][257] x[7][258] x[7][259] x[7][260] x[7][261] x[7][262] x[7][263] x[7][264] x[7][265] x[7][266] x[7][267] x[7][268] x[7][269] x[7][270] x[7][271] x[7][272] x[7][273] x[7][274] x[7][275] x[7][276] x[7][277] x[7][278] x[7][279] x[7][280] x[7][281] x[7][282] x[7][283] x[7][284] x[7][285] x[7][286] x[7][287] x[7][288] x[7][289] x[7][290] x[7][291] x[7][292] x[7][293] x[7][294] x[7][295] x[7][296] x[7][297] x[7][298] x[7][299] x[7][300] x[7][301] x[7][302] x[7][303] x[7][304] x[7][305] x[7][306] x[7][307] x[7][308] x[7][309] x[7][310] x[7][311] x[7][312] x[7][313] x[7][314] x[7][315] x[7][316] x[7][317] x[7][318] x[7][319] x[7][320] x[7][321] x[7][322] x[7][323] x[7][324] x[7][325] x[7][326] x[7][327] x[7][328] x[7][329] x[7][330] x[7][331] x[7][332] x[7][333] x[7][334] x[7][335] x[7][336] x[7][337] x[7][338] x[7][339] x[7][340] x[7][341] x[7][342] x[7][343] x[7][344] x[7][345] x[7][346] x[7][347] x[7][348] x[7][349] x[7][350] x[7][351] x[7][352] x[7][353] x[7][354] x[7][355] x[7][356] x[7][357] x[7][358] x[7][359] 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[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[8][120] x[8][121] x[8][122] x[8][123] x[8][124] x[8][125] x[8][126] x[8][127] x[8][128] x[8][129] x[8][130] x[8][131] x[8][132] x[8][133] x[8][134] x[8][135] x[8][136] x[8][137] x[8][138] x[8][139] x[8][140] x[8][141] x[8][142] x[8][143] x[8][144] x[8][145] x[8][146] x[8][147] x[8][148] x[8][149] x[8][150] x[8][151] x[8][152] x[8][153] x[8][154] x[8][155] x[8][156] x[8][157] x[8][158] x[8][159] x[8][160] x[8][161] x[8][162] x[8][163] x[8][164] x[8][165] x[8][166] x[8][167] x[8][168] x[8][169] x[8][170] x[8][171] x[8][172] x[8][173] x[8][174] x[8][175] x[8][176] x[8][177] x[8][178] x[8][179] x[8][180] x[8][181] x[8][182] x[8][183] x[8][184] x[8][185] x[8][186] x[8][187] x[8][188] x[8][189] x[8][190] x[8][191] x[8][192] x[8][193] x[8][194] x[8][195] x[8][196] x[8][197] x[8][198] x[8][199] x[8][200] x[8][201] x[8][202] x[8][203] x[8][204] x[8][205] x[8][206] x[8][207] x[8][208] x[8][209] x[8][210] x[8][211] x[8][212] x[8][213] x[8][214] x[8][215] x[8][216] x[8][217] x[8][218] x[8][219] x[8][220] x[8][221] x[8][222] x[8][223] x[8][224] x[8][225] x[8][226] x[8][227] x[8][228] x[8][229] x[8][230] x[8][231] x[8][232] x[8][233] x[8][234] x[8][235] x[8][236] x[8][237] x[8][238] x[8][239] x[8][240] x[8][241] x[8][242] x[8][243] x[8][244] x[8][245] x[8][246] x[8][247] x[8][248] x[8][249] x[8][250] x[8][251] x[8][252] x[8][253] x[8][254] x[8][255] x[8][256] x[8][257] x[8][258] x[8][259] x[8][260] x[8][261] x[8][262] x[8][263] x[8][264] x[8][265] x[8][266] x[8][267] x[8][268] x[8][269] x[8][270] x[8][271] x[8][272] x[8][273] x[8][274] x[8][275] x[8][276] x[8][277] x[8][278] x[8][279] x[8][280] x[8][281] x[8][282] x[8][283] x[8][284] x[8][285] x[8][286] x[8][287] x[8][288] x[8][289] x[8][290] x[8][291] x[8][292] x[8][293] x[8][294] x[8][295] x[8][296] x[8][297] x[8][298] x[8][299] x[8][300] x[8][301] x[8][302] x[8][303] x[8][304] x[8][305] x[8][306] x[8][307] x[8][308] x[8][309] x[8][310] x[8][311] x[8][312] x[8][313] x[8][314] x[8][315] x[8][316] x[8][317] x[8][318] x[8][319] x[8][320] x[8][321] x[8][322] x[8][323] x[8][324] x[8][325] x[8][326] x[8][327] x[8][328] x[8][329] x[8][330] x[8][331] x[8][332] x[8][333] x[8][334] x[8][335] x[8][336] x[8][337] x[8][338] x[8][339] x[8][340] x[8][341] x[8][342] x[8][343] x[8][344] x[8][345] x[8][346] x[8][347] x[8][348] x[8][349] x[8][350] x[8][351] x[8][352] x[8][353] x[8][354] x[8][355] x[8][356] x[8][357] x[8][358] x[8][359] 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[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119] x[9][120] x[9][121] x[9][122] x[9][123] x[9][124] x[9][125] x[9][126] x[9][127] x[9][128] x[9][129] x[9][130] x[9][131] x[9][132] x[9][133] x[9][134] x[9][135] x[9][136] x[9][137] x[9][138] x[9][139] x[9][140] x[9][141] x[9][142] x[9][143] x[9][144] x[9][145] x[9][146] x[9][147] x[9][148] x[9][149] x[9][150] x[9][151] x[9][152] x[9][153] x[9][154] x[9][155] x[9][156] x[9][157] x[9][158] x[9][159] x[9][160] x[9][161] x[9][162] x[9][163] x[9][164] x[9][165] x[9][166] x[9][167] x[9][168] x[9][169] x[9][170] x[9][171] x[9][172] x[9][173] x[9][174] x[9][175] x[9][176] x[9][177] x[9][178] x[9][179] x[9][180] x[9][181] x[9][182] x[9][183] x[9][184] x[9][185] x[9][186] x[9][187] x[9][188] x[9][189] x[9][190] x[9][191] x[9][192] x[9][193] x[9][194] x[9][195] x[9][196] x[9][197] x[9][198] x[9][199] x[9][200] x[9][201] x[9][202] x[9][203] x[9][204] x[9][205] x[9][206] x[9][207] x[9][208] x[9][209] x[9][210] x[9][211] x[9][212] x[9][213] x[9][214] x[9][215] x[9][216] x[9][217] x[9][218] x[9][219] x[9][220] x[9][221] x[9][222] x[9][223] x[9][224] x[9][225] x[9][226] x[9][227] x[9][228] x[9][229] x[9][230] x[9][231] x[9][232] x[9][233] x[9][234] x[9][235] x[9][236] x[9][237] x[9][238] x[9][239] x[9][240] x[9][241] x[9][242] x[9][243] x[9][244] x[9][245] x[9][246] x[9][247] x[9][248] x[9][249] x[9][250] x[9][251] x[9][252] x[9][253] x[9][254] x[9][255] x[9][256] x[9][257] x[9][258] x[9][259] x[9][260] x[9][261] x[9][262] x[9][263] x[9][264] x[9][265] x[9][266] x[9][267] x[9][268] x[9][269] x[9][270] x[9][271] x[9][272] x[9][273] x[9][274] x[9][275] x[9][276] x[9][277] x[9][278] x[9][279] x[9][280] x[9][281] x[9][282] x[9][283] x[9][284] x[9][285] x[9][286] x[9][287] x[9][288] x[9][289] x[9][290] x[9][291] x[9][292] x[9][293] x[9][294] x[9][295] x[9][296] x[9][297] x[9][298] x[9][299] x[9][300] x[9][301] x[9][302] x[9][303] x[9][304] x[9][305] x[9][306] x[9][307] x[9][308] x[9][309] x[9][310] x[9][311] x[9][312] x[9][313] x[9][314] x[9][315] x[9][316] x[9][317] x[9][318] x[9][319] x[9][320] x[9][321] x[9][322] x[9][323] x[9][324] x[9][325] x[9][326] x[9][327] x[9][328] x[9][329] x[9][330] x[9][331] x[9][332] x[9][333] x[9][334] x[9][335] x[9][336] x[9][337] x[9][338] x[9][339] x[9][340] x[9][341] x[9][342] x[9][343] x[9][344] x[9][345] x[9][346] x[9][347] x[9][348] x[9][349] x[9][350] x[9][351] x[9][352] x[9][353] x[9][354] x[9][355] x[9][356] x[9][357] x[9][358] x[9][359] </list>
1991.58/252.07	v 	<values>64 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 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 0 0 0 0 0 0 0 0 0 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
1991.58/252.07	v </instantiation>
1991.58/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	64

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281429-1503184749/watcher-4281429-1503184749 -o /tmp/evaluation-result-4281429-1503184749/solver-4281429-1503184749 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503183633-29141 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1275720406 HOME/instance-4281429-1503184749.xml 

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

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

solver pid=29383, runsolver pid=29380

[startup+0.100111 s]*
/proc/loadavg: 8.38 8.21 7.96 2/200 29404
/proc/meminfo: memFree=23309220/32770624 swapFree=67108860/67108860
[pid=29383] ppid=29380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29383/stat : 29383 (xcsp3-exec) S 29380 29383 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151555910 9740288 346 33554432000 4194304 5098028 140726966099344 140726966097448 140391281660540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140726966105194 140726966105404 140726966105404 140726966108139 0
/proc/29383/statm: 2378 346 289 221 0 87 0
[pid=29385] ppid=29383 vsize=25999808 memory=26340 CPUtime=0.12 cores=0-7
/proc/29385/stat : 29385 (java) S 29383 29383 29114 0 -1 1077944320 5479 0 0 0 11 1 0 0 20 0 20 0 151555910 26623803392 6585 33554432000 4194304 4196468 140734547977280 140734547959824 140689719385847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
/proc/29385/statm: 6499952 6585 2839 1 0 6488269 0
[pid=29385/tid=29386] ppid=29383 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/29385/task/29386/stat : 29386 (java) R 29383 29383 29114 0 -1 4202560 3482 0 0 0 8 0 0 0 20 0 20 0 151555911 26623803392 6585 33554432000 4194304 4196468 140734547977280 140689723609296 140689703466334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29387] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29387/stat : 29387 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26623803392 6585 33554432000 4194304 4196468 140734547977280 140689641966608 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29388] ppid=29383 vsize=25999808 memory=139657314563712 CPUtime=0 cores=0-7
/proc/29385/task/29388/stat : 29388 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26623803392 6585 33554432000 4194304 4196468 140734547977280 140689640914064 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29389] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29389/stat : 29389 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26623803392 6585 33554432000 4194304 4196468 140734547977280 140689275902736 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29390] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29390/stat : 29390 (java) S 29383 29383 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151555911 26623803392 6585 33554432000 4194304 4196468 140734547977280 140689274850192 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29391] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29391/stat : 29391 (java) S 29383 29383 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151555911 26623803392 6585 33554432000 4194304 4196468 140734547977280 140689273797136 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29392] ppid=29383 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29392/stat : 29392 (java) S 29383 29383 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151555911 26623803392 6585 33554432000 4194304 4196468 140734547977280 140689272744592 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29393] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29393/stat : 29393 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26623803392 6585 33554432000 4194304 4196468 140734547977280 140689271691536 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29394] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29394/stat : 29394 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26623803392 6585 33554432000 4194304 4196468 140734547977280 140689270638992 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29395] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29395/stat : 29395 (java) S 29383 29383 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151555913 26623803392 6585 33554432000 4194304 4196468 140734547977280 140687923727088 140689719396994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29396] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29396/stat : 29396 (java) S 29383 29383 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151555913 26623803392 6585 33554432000 4194304 4196468 140734547977280 140687922673312 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29397] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29397/stat : 29397 (java) S 29383 29383 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151555913 26623803392 6585 33554432000 4194304 4196468 140734547977280 140687921620208 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29398] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29398/stat : 29398 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555916 26623803392 6585 33554432000 4194304 4196468 140734547977280 140687920568784 140689719404443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29399] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29399/stat : 29399 (java) S 29383 29383 29114 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 151555916 26623803392 6585 33554432000 4194304 4196468 140734547977280 140687919515888 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29400] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29400/stat : 29400 (java) S 29383 29383 29114 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151555916 26623803392 6585 33554432000 4194304 4196468 140734547977280 140687918463344 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29401] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29401/stat : 29401 (java) S 29383 29383 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151555916 26623803392 6585 33554432000 4194304 4196468 140734547977280 140687917410288 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29402] ppid=29383 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/29385/task/29402/stat : 29402 (java) S 29383 29383 29114 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 151555916 26623803392 6585 33554432000 4194304 4196468 140734547977280 140687916357744 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29403] ppid=29383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29403/stat : 29403 (java) S 29383 29383 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151555916 26623803392 6585 33554432000 4194304 4196468 140734547977280 140687915305952 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29404] ppid=29383 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29404/stat : 29404 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555916 26623803392 6585 33554432000 4194304 4196468 140734547977280 140687914253488 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27724 KiB

[startup+0.210025 s]*
/proc/loadavg: 8.38 8.21 7.96 2/200 29404
/proc/meminfo: memFree=23297392/32770624 swapFree=67108860/67108860
[pid=29383] ppid=29380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29383/stat : 29383 (xcsp3-exec) S 29380 29383 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151555910 9740288 346 33554432000 4194304 5098028 140726966099344 140726966097448 140391281660540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140726966105194 140726966105404 140726966105404 140726966108139 0
/proc/29383/statm: 2378 346 289 221 0 87 0
[pid=29385] ppid=29383 vsize=26004064 memory=38812 CPUtime=0.33 cores=0-7
/proc/29385/stat : 29385 (java) S 29383 29383 29114 0 -1 1077944320 8291 0 0 0 31 2 0 0 20 0 20 0 151555910 26628161536 9703 33554432000 4194304 4196468 140734547977280 140734547959824 140689719385847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
/proc/29385/statm: 6501016 9703 3062 1 0 6488269 0
[pid=29385/tid=29386] ppid=29383 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/29385/task/29386/stat : 29386 (java) R 29383 29383 29114 0 -1 4202560 5384 0 0 0 19 1 0 0 20 0 20 0 151555911 26628161536 9703 33554432000 4194304 4196468 140734547977280 140689723606840 140689719407773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29387] ppid=29383 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/29385/task/29387/stat : 29387 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 9703 33554432000 4194304 4196468 140734547977280 140689641966608 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29388] ppid=29383 vsize=26004064 memory=3618836071038842528 CPUtime=0 cores=0-7
/proc/29385/task/29388/stat : 29388 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 9703 33554432000 4194304 4196468 140734547977280 140689640914064 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29389] ppid=29383 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29389/stat : 29389 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 9703 33554432000 4194304 4196468 140734547977280 140689275902736 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29390] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29390/stat : 29390 (java) S 29383 29383 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 9703 33554432000 4194304 4196468 140734547977280 140689274850192 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29391] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29391/stat : 29391 (java) S 29383 29383 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 9703 33554432000 4194304 4196468 140734547977280 140689273797136 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29392] ppid=29383 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29392/stat : 29392 (java) S 29383 29383 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 9703 33554432000 4194304 4196468 140734547977280 140689272744592 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29393] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29393/stat : 29393 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 9703 33554432000 4194304 4196468 140734547977280 140689271691536 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29394] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29394/stat : 29394 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 9703 33554432000 4194304 4196468 140734547977280 140689270638992 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29395] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29395/stat : 29395 (java) S 29383 29383 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151555913 26628161536 9703 33554432000 4194304 4196468 140734547977280 140687923727088 140689719396994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29396] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29396/stat : 29396 (java) S 29383 29383 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151555913 26628161536 9703 33554432000 4194304 4196468 140734547977280 140687922673312 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29397] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29397/stat : 29397 (java) S 29383 29383 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151555913 26628161536 9703 33554432000 4194304 4196468 140734547977280 140687921620208 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29398] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29398/stat : 29398 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555916 26628161536 9703 33554432000 4194304 4196468 140734547977280 140687920568784 140689719404443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29399] ppid=29383 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/29385/task/29399/stat : 29399 (java) S 29383 29383 29114 0 -1 1077944384 536 0 0 0 1 0 0 0 20 0 20 0 151555916 26628161536 9703 33554432000 4194304 4196468 140734547977280 140687919515888 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29400] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29400/stat : 29400 (java) S 29383 29383 29114 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 20 0 151555916 26628161536 9703 33554432000 4194304 4196468 140734547977280 140687918463344 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29401] ppid=29383 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/29385/task/29401/stat : 29401 (java) S 29383 29383 29114 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 151555916 26628161536 9703 33554432000 4194304 4196468 140734547977280 140687917410288 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29402] ppid=29383 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/29385/task/29402/stat : 29402 (java) R 29383 29383 29114 0 -1 4202560 767 0 0 0 7 0 0 0 20 0 20 0 151555916 26628161536 9703 33554432000 4194304 4196468 140734547977280 140687916357744 140689703466334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29403] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29403/stat : 29403 (java) S 29383 29383 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151555916 26628161536 9703 33554432000 4194304 4196468 140734547977280 140687915305952 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29404] ppid=29383 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29404/stat : 29404 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555916 26628161536 9703 33554432000 4194304 4196468 140734547977280 140687914253488 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40196 KiB

[startup+0.309517 s]*
/proc/loadavg: 8.38 8.21 7.96 5/200 29404
/proc/meminfo: memFree=23290984/32770624 swapFree=67108860/67108860
[pid=29383] ppid=29380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29383/stat : 29383 (xcsp3-exec) S 29380 29383 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151555910 9740288 346 33554432000 4194304 5098028 140726966099344 140726966097448 140391281660540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140726966105194 140726966105404 140726966105404 140726966108139 0
/proc/29383/statm: 2378 346 289 221 0 87 0
[pid=29385] ppid=29383 vsize=26004064 memory=46036 CPUtime=0.49 cores=0-7
/proc/29385/stat : 29385 (java) S 29383 29383 29114 0 -1 1077944320 9252 0 0 0 46 3 0 0 20 0 20 0 151555910 26628161536 11509 33554432000 4194304 4196468 140734547977280 140734547959824 140689719385847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
/proc/29385/statm: 6501016 11509 3083 1 0 6488269 0
[pid=29385/tid=29386] ppid=29383 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29385/task/29386/stat : 29386 (java) R 29383 29383 29114 0 -1 4202560 6107 0 0 0 28 1 0 0 20 0 20 0 151555911 26628161536 11509 33554432000 4194304 4196468 140734547977280 140689723623584 140689321001192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29387] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29387/stat : 29387 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 11509 33554432000 4194304 4196468 140734547977280 140689641966608 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29388] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29388/stat : 29388 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 11509 33554432000 4194304 4196468 140734547977280 140689640914064 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29389] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29389/stat : 29389 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 11574 33554432000 4194304 4196468 140734547977280 140689275902736 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29390] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29390/stat : 29390 (java) S 29383 29383 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 11574 33554432000 4194304 4196468 140734547977280 140689274850192 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29391] ppid=29383 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/29385/task/29391/stat : 29391 (java) S 29383 29383 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 11574 33554432000 4194304 4196468 140734547977280 140689273797136 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29392] ppid=29383 vsize=26004064 memory=139657169957807 CPUtime=0 cores=0-7
/proc/29385/task/29392/stat : 29392 (java) S 29383 29383 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 11574 33554432000 4194304 4196468 140734547977280 140689272744592 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29393] ppid=29383 vsize=26004064 memory=139657169960112 CPUtime=0 cores=0-7
/proc/29385/task/29393/stat : 29393 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 11574 33554432000 4194304 4196468 140734547977280 140689271691536 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29394] ppid=29383 vsize=26004064 memory=139657169962416 CPUtime=0 cores=0-7
/proc/29385/task/29394/stat : 29394 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26628161536 11574 33554432000 4194304 4196468 140734547977280 140689270638992 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29395] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29395/stat : 29395 (java) S 29383 29383 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151555913 26628161536 11574 33554432000 4194304 4196468 140734547977280 140687923727088 140689719396994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29396] ppid=29383 vsize=26004064 memory=279314339931792 CPUtime=0 cores=0-7
/proc/29385/task/29396/stat : 29396 (java) S 29383 29383 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151555913 26628161536 11574 33554432000 4194304 4196468 140734547977280 140687922673312 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29397] ppid=29383 vsize=26004064 memory=279314339938704 CPUtime=0 cores=0-7
/proc/29385/task/29397/stat : 29397 (java) S 29383 29383 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151555913 26628161536 11574 33554432000 4194304 4196468 140734547977280 140687921620208 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29398] ppid=29383 vsize=26004064 memory=279314339879984 CPUtime=0 cores=0-7
/proc/29385/task/29398/stat : 29398 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555916 26628161536 11574 33554432000 4194304 4196468 140734547977280 140687920568784 140689719404443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29399] ppid=29383 vsize=26004064 memory=279314339952528 CPUtime=0.01 cores=0-7
/proc/29385/task/29399/stat : 29399 (java) S 29383 29383 29114 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 20 0 151555916 26628161536 11574 33554432000 4194304 4196468 140734547977280 140687919515888 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29400] ppid=29383 vsize=26004064 memory=279314339959440 CPUtime=0.01 cores=0-7
/proc/29385/task/29400/stat : 29400 (java) S 29383 29383 29114 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 20 0 151555916 26628161536 11574 33554432000 4194304 4196468 140734547977280 140687918463344 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29401] ppid=29383 vsize=26004064 memory=279314339957136 CPUtime=0.03 cores=0-7
/proc/29385/task/29401/stat : 29401 (java) S 29383 29383 29114 0 -1 1077944384 122 0 0 0 3 0 0 0 20 0 20 0 151555916 26628161536 11574 33554432000 4194304 4196468 140734547977280 140687917410288 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29402] ppid=29383 vsize=26004064 memory=279314339973296 CPUtime=0.11 cores=0-7
/proc/29385/task/29402/stat : 29402 (java) R 29383 29383 29114 0 -1 4202560 897 0 0 0 11 0 0 0 20 0 20 0 151555916 26628161536 11574 33554432000 4194304 4196468 140734547977280 140687916357744 140689698403699 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29403] ppid=29383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29403/stat : 29403 (java) S 29383 29383 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151555916 26628161536 11574 33554432000 4194304 4196468 140734547977280 140687915305952 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29404] ppid=29383 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29385/task/29404/stat : 29404 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555916 26628161536 11574 33554432000 4194304 4196468 140734547977280 140687914253488 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47420 KiB

[startup+0.700891 s]
/proc/loadavg: 8.38 8.21 7.96 3/200 29404
/proc/meminfo: memFree=23272868/32770624 swapFree=67108860/67108860
[pid=29383] ppid=29380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29383/stat : 29383 (xcsp3-exec) S 29380 29383 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151555910 9740288 346 33554432000 4194304 5098028 140726966099344 140726966097448 140391281660540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140726966105194 140726966105404 140726966105404 140726966108139 0
/proc/29383/statm: 2378 346 289 221 0 87 0
[pid=29385] ppid=29383 vsize=26006188 memory=118656 CPUtime=1.79 cores=0-7
/proc/29385/stat : 29385 (java) S 29383 29383 29114 0 -1 1077944320 12181 0 0 0 174 5 0 0 20 0 20 0 151555910 26630336512 29664 33554432000 4194304 4196468 140734547977280 140734547959824 140689719385847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
/proc/29385/statm: 6501547 29664 3208 1 0 6488781 0
[pid=29385/tid=29386] ppid=29383 vsize=26006188 memory=279314340331184 CPUtime=0.67 cores=0-7
/proc/29385/task/29386/stat : 29386 (java) R 29383 29383 29114 0 -1 4202560 6803 0 0 0 64 3 0 0 20 0 20 0 151555911 26630336512 29664 33554432000 4194304 4196468 140734547977280 140689723623024 140689719397782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29387] ppid=29383 vsize=26006188 memory=139657170166640 CPUtime=0 cores=0-7
/proc/29385/task/29387/stat : 29387 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26630336512 29664 33554432000 4194304 4196468 140734547977280 140689641966608 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29388] ppid=29383 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/29385/task/29388/stat : 29388 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26630336512 29664 33554432000 4194304 4196468 140734547977280 140689640914064 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29389] ppid=29383 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/29385/task/29389/stat : 29389 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151555911 26630336512 29664 33554432000 4194304 4196468 140734547977280 140689275902736 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0

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

[pid=29385/tid=31788] ppid=29383 vsize=26539728 memory=1384 CPUtime=60.06 cores=0-7
/proc/29385/task/31788/stat : 31788 (java) R 29383 29383 29114 0 -1 4202560 1064 0 0 0 6004 2 0 0 20 0 28 0 151566116 27176681472 284098 33554432000 4194304 4196468 140734547977280 140687903580656 140689328504448 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
Current children cumulated CPU time: 1275.87 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1137776 KiB

[startup+222.302 s]
/proc/loadavg: 8.08 8.15 7.98 9/207 31788
/proc/meminfo: memFree=22205176/32770624 swapFree=67108860/67108860
[pid=29383] ppid=29380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29383/stat : 29383 (xcsp3-exec) S 29380 29383 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151555910 9740288 346 33554432000 4194304 5098028 140726966099344 140726966097448 140391281660540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140726966105194 140726966105404 140726966105404 140726966108139 0
/proc/29383/statm: 2378 346 289 221 0 87 0
[pid=29385] ppid=29383 vsize=26539728 memory=1132476 CPUtime=1754.55 cores=0-7
/proc/29385/stat : 29385 (java) S 29383 29383 29114 0 -1 1077944320 165508 0 0 0 175177 278 0 0 20 0 28 0 151555910 27176681472 283119 33554432000 4194304 4196468 140734547977280 140734547959824 140689719385847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
/proc/29385/statm: 6634932 283119 3302 1 0 6622166 0
[pid=29385/tid=29386] ppid=29383 vsize=26539728 memory=1384 CPUtime=1.6 cores=0-7
/proc/29385/task/29386/stat : 29386 (java) S 29383 29383 29114 0 -1 1077944384 7560 0 0 0 152 8 0 0 20 0 28 0 151555911 27176681472 283119 33554432000 4194304 4196468 140734547977280 140689723626544 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29387] ppid=29383 vsize=26539728 memory=1133500 CPUtime=1.36 cores=0-7
/proc/29385/task/29387/stat : 29387 (java) S 29383 29383 29114 0 -1 1077944384 2697 0 0 0 121 15 0 0 20 0 28 0 151555911 27176681472 283119 33554432000 4194304 4196468 140734547977280 140689641966608 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29388] ppid=29383 vsize=26539728 memory=1131972 CPUtime=1.33 cores=0-7
/proc/29385/task/29388/stat : 29388 (java) S 29383 29383 29114 0 -1 1077944384 1279 0 0 0 118 15 0 0 20 0 28 0 151555911 27176681472 283119 33554432000 4194304 4196468 140734547977280 140689640914064 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29389] ppid=29383 vsize=26539728 memory=1132992 CPUtime=1.36 cores=0-7
/proc/29385/task/29389/stat : 29389 (java) S 29383 29383 29114 0 -1 1077944384 2288 0 0 0 121 15 0 0 20 0 28 0 151555911 27176681472 283119 33554432000 4194304 4196468 140734547977280 140689275902736 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29390] ppid=29383 vsize=26539728 memory=1133500 CPUtime=1.34 cores=0-7
/proc/29385/task/29390/stat : 29390 (java) S 29383 29383 29114 0 -1 1077944384 3040 0 0 0 120 14 0 0 20 0 28 0 151555911 27176681472 283119 33554432000 4194304 4196468 140734547977280 140689274850192 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29391] ppid=29383 vsize=26539728 memory=1384 CPUtime=1.38 cores=0-7
/proc/29385/task/29391/stat : 29391 (java) S 29383 29383 29114 0 -1 1077944384 2437 0 0 0 123 15 0 0 20 0 28 0 151555911 27176681472 283119 33554432000 4194304 4196468 140734547977280 140689273797136 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29392] ppid=29383 vsize=26539728 memory=1133500 CPUtime=1.37 cores=0-7
/proc/29385/task/29392/stat : 29392 (java) S 29383 29383 29114 0 -1 1077944384 1407 0 0 0 121 16 0 0 20 0 28 0 151555911 27176681472 283119 33554432000 4194304 4196468 140734547977280 140689272744592 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29393] ppid=29383 vsize=26539728 memory=1137360 CPUtime=1.34 cores=0-7
/proc/29385/task/29393/stat : 29393 (java) S 29383 29383 29114 0 -1 1077944384 2658 0 0 0 119 15 0 0 20 0 28 0 151555911 27176681472 283119 33554432000 4194304 4196468 140734547977280 140689271691536 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29394] ppid=29383 vsize=26539728 memory=1384 CPUtime=1.38 cores=0-7
/proc/29385/task/29394/stat : 29394 (java) S 29383 29383 29114 0 -1 1077944384 2817 0 0 0 122 16 0 0 20 0 28 0 151555911 27176681472 283119 33554432000 4194304 4196468 140734547977280 140689270638992 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29395] ppid=29383 vsize=26539728 memory=1384 CPUtime=0.14 cores=0-7
/proc/29385/task/29395/stat : 29395 (java) S 29383 29383 29114 0 -1 1077944384 7012 0 0 0 12 2 0 0 20 0 28 0 151555913 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687923727088 140689719396994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29396] ppid=29383 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/29385/task/29396/stat : 29396 (java) S 29383 29383 29114 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 151555913 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687922673376 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29397] ppid=29383 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/29385/task/29397/stat : 29397 (java) S 29383 29383 29114 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 151555913 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687921620224 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29398] ppid=29383 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/29385/task/29398/stat : 29398 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151555916 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687920568784 140689719404443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29399] ppid=29383 vsize=26539728 memory=1133500 CPUtime=2.14 cores=0-7
/proc/29385/task/29399/stat : 29399 (java) S 29383 29383 29114 0 -1 1077944384 12018 0 0 0 211 3 0 0 20 0 28 0 151555916 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687919515888 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29400] ppid=29383 vsize=26539728 memory=1796 CPUtime=1.74 cores=0-7
/proc/29385/task/29400/stat : 29400 (java) S 29383 29383 29114 0 -1 1077944384 11581 0 0 0 172 2 0 0 20 0 28 0 151555916 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687918463344 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29401] ppid=29383 vsize=26539728 memory=636 CPUtime=1.91 cores=0-7
/proc/29385/task/29401/stat : 29401 (java) S 29383 29383 29114 0 -1 1077944384 11154 0 0 0 189 2 0 0 20 0 28 0 151555916 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687917410288 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29402] ppid=29383 vsize=26539728 memory=1384 CPUtime=0.94 cores=0-7
/proc/29385/task/29402/stat : 29402 (java) S 29383 29383 29114 0 -1 1077944384 10826 0 0 0 92 2 0 0 20 0 28 0 151555916 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687916357744 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29403] ppid=29383 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/29385/task/29403/stat : 29403 (java) S 29383 29383 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151555916 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687915305952 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29404] ppid=29383 vsize=26539728 memory=1384 CPUtime=0.12 cores=0-7
/proc/29385/task/29404/stat : 29404 (java) S 29383 29383 29114 0 -1 1077944384 1875 0 0 0 4 8 0 0 20 0 28 0 151555916 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687914253488 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31781] ppid=29383 vsize=26539728 memory=1384 CPUtime=119.94 cores=0-7
/proc/29385/task/31781/stat : 31781 (java) R 29383 29383 29114 0 -1 4202560 1509 0 0 0 11991 3 0 0 20 0 28 0 151566116 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687899368336 140689327623256 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31782] ppid=29383 vsize=26539728 memory=6791534058613427641 CPUtime=119.92 cores=0-7
/proc/29385/task/31782/stat : 31782 (java) R 29383 29383 29114 0 -1 4202560 1356 0 0 0 11991 1 0 0 20 0 28 0 151566116 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687898316968 140689328504552 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31783] ppid=29383 vsize=26539728 memory=10636 CPUtime=118.74 cores=0-7
/proc/29385/task/31783/stat : 31783 (java) R 29383 29383 29114 0 -1 4202560 1885 0 0 0 11872 2 0 0 20 0 28 0 151566116 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687901474936 140689329027889 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31784] ppid=29383 vsize=26539728 memory=1384 CPUtime=120.02 cores=0-7
/proc/29385/task/31784/stat : 31784 (java) R 29383 29383 29114 0 -1 4202560 22332 0 0 0 11973 29 0 0 20 0 28 0 151566116 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687906741248 140689328127063 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31785] ppid=29383 vsize=26539728 memory=303430223234596890 CPUtime=119.68 cores=0-7
/proc/29385/task/31785/stat : 31785 (java) R 29383 29383 29114 0 -1 4202560 3371 0 0 0 11964 4 0 0 20 0 28 0 151566116 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687905685032 140689328217035 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31786] ppid=29383 vsize=26539728 memory=6791534058613427641 CPUtime=119.13 cores=0-7
/proc/29385/task/31786/stat : 31786 (java) R 29383 29383 29114 0 -1 4202560 2009 0 0 0 11910 3 0 0 20 0 28 0 151566116 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687902527224 140689327562293 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31787] ppid=29383 vsize=26539728 memory=1133500 CPUtime=119.92 cores=0-7
/proc/29385/task/31787/stat : 31787 (java) R 29383 29383 29114 0 -1 4202560 1107 0 0 0 11989 3 0 0 20 0 28 0 151566116 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687904633336 140689328206419 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31788] ppid=29383 vsize=26539728 memory=1132476 CPUtime=120.01 cores=0-7
/proc/29385/task/31788/stat : 31788 (java) R 29383 29383 29114 0 -1 4202560 1138 0 0 0 11999 2 0 0 20 0 28 0 151566116 27176681472 283119 33554432000 4194304 4196468 140734547977280 140687903580792 140689328216651 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
Current children cumulated CPU time: 1754.55 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1133860 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.05 8.13 7.98 9/207 31788
/proc/meminfo: memFree=22207260/32770624 swapFree=67108860/67108860
[pid=29383] ppid=29380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29383/stat : 29383 (xcsp3-exec) S 29380 29383 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151555910 9740288 346 33554432000 4194304 5098028 140726966099344 140726966097448 140391281660540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23486464 140726966105194 140726966105404 140726966105404 140726966108139 0
/proc/29383/statm: 2378 346 289 221 0 87 0
[pid=29385] ppid=29383 vsize=26539728 memory=1131380 CPUtime=1991.58 cores=0-7
/proc/29385/stat : 29385 (java) S 29383 29383 29114 0 -1 1077944320 169016 0 0 0 198878 280 0 0 20 0 28 0 151555910 27176681472 282845 33554432000 4194304 4196468 140734547977280 140734547959824 140689719385847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
/proc/29385/statm: 6634932 282845 3302 1 0 6622166 0
[pid=29385/tid=29386] ppid=29383 vsize=26539728 memory=6791534058613427641 CPUtime=1.6 cores=0-7
/proc/29385/task/29386/stat : 29386 (java) S 29383 29383 29114 0 -1 1077944384 7560 0 0 0 152 8 0 0 20 0 28 0 151555911 27176681472 282845 33554432000 4194304 4196468 140734547977280 140689723626544 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29387] ppid=29383 vsize=26539728 memory=1936 CPUtime=1.38 cores=0-7
/proc/29385/task/29387/stat : 29387 (java) S 29383 29383 29114 0 -1 1077944384 2723 0 0 0 123 15 0 0 20 0 28 0 151555911 27176681472 282845 33554432000 4194304 4196468 140734547977280 140689641966608 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29388] ppid=29383 vsize=26539728 memory=1224 CPUtime=1.35 cores=0-7
/proc/29385/task/29388/stat : 29388 (java) S 29383 29383 29114 0 -1 1077944384 1404 0 0 0 120 15 0 0 20 0 28 0 151555911 27176681472 282845 33554432000 4194304 4196468 140734547977280 140689640914064 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29389] ppid=29383 vsize=26539728 memory=1716 CPUtime=1.38 cores=0-7
/proc/29385/task/29389/stat : 29389 (java) S 29383 29383 29114 0 -1 1077944384 2342 0 0 0 123 15 0 0 20 0 28 0 151555911 27176681472 282845 33554432000 4194304 4196468 140734547977280 140689275902736 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29390] ppid=29383 vsize=26539728 memory=10636 CPUtime=1.36 cores=0-7
/proc/29385/task/29390/stat : 29390 (java) S 29383 29383 29114 0 -1 1077944384 3107 0 0 0 122 14 0 0 20 0 28 0 151555911 27176681472 282845 33554432000 4194304 4196468 140734547977280 140689274850192 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29391] ppid=29383 vsize=26539728 memory=2464 CPUtime=1.41 cores=0-7
/proc/29385/task/29391/stat : 29391 (java) S 29383 29383 29114 0 -1 1077944384 2734 0 0 0 125 16 0 0 20 0 28 0 151555911 27176681472 282845 33554432000 4194304 4196468 140734547977280 140689273797136 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29392] ppid=29383 vsize=26539728 memory=1580 CPUtime=1.38 cores=0-7
/proc/29385/task/29392/stat : 29392 (java) S 29383 29383 29114 0 -1 1077944384 1518 0 0 0 122 16 0 0 20 0 28 0 151555911 27176681472 282845 33554432000 4194304 4196468 140734547977280 140689272744592 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29393] ppid=29383 vsize=26539728 memory=6791534058613427641 CPUtime=1.36 cores=0-7
/proc/29385/task/29393/stat : 29393 (java) S 29383 29383 29114 0 -1 1077944384 2692 0 0 0 121 15 0 0 20 0 28 0 151555911 27176681472 282845 33554432000 4194304 4196468 140734547977280 140689271691536 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29394] ppid=29383 vsize=26539728 memory=2396 CPUtime=1.4 cores=0-7
/proc/29385/task/29394/stat : 29394 (java) S 29383 29383 29114 0 -1 1077944384 2955 0 0 0 123 17 0 0 20 0 28 0 151555911 27176681472 282845 33554432000 4194304 4196468 140734547977280 140689270638992 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29395] ppid=29383 vsize=26539728 memory=1728 CPUtime=0.14 cores=0-7
/proc/29385/task/29395/stat : 29395 (java) S 29383 29383 29114 0 -1 1077944384 7328 0 0 0 12 2 0 0 20 0 28 0 151555913 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687923727088 140689719396994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29396] ppid=29383 vsize=26539728 memory=1004 CPUtime=0 cores=0-7
/proc/29385/task/29396/stat : 29396 (java) S 29383 29383 29114 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 151555913 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687922673376 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29397] ppid=29383 vsize=26539728 memory=11112 CPUtime=0 cores=0-7
/proc/29385/task/29397/stat : 29397 (java) S 29383 29383 29114 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 151555913 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687921620224 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29398] ppid=29383 vsize=26539728 memory=5776 CPUtime=0 cores=0-7
/proc/29385/task/29398/stat : 29398 (java) S 29383 29383 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151555916 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687920568784 140689719404443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29399] ppid=29383 vsize=26539728 memory=4616 CPUtime=2.14 cores=0-7
/proc/29385/task/29399/stat : 29399 (java) S 29383 29383 29114 0 -1 1077944384 12020 0 0 0 211 3 0 0 20 0 28 0 151555916 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687919515888 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29400] ppid=29383 vsize=26539728 memory=1384 CPUtime=1.77 cores=0-7
/proc/29385/task/29400/stat : 29400 (java) S 29383 29383 29114 0 -1 1077944384 12463 0 0 0 175 2 0 0 20 0 28 0 151555916 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687918463344 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29401] ppid=29383 vsize=26539728 memory=1131760 CPUtime=1.92 cores=0-7
/proc/29385/task/29401/stat : 29401 (java) S 29383 29383 29114 0 -1 1077944384 11300 0 0 0 190 2 0 0 20 0 28 0 151555916 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687917410288 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29402] ppid=29383 vsize=26539728 memory=1936 CPUtime=0.94 cores=0-7
/proc/29385/task/29402/stat : 29402 (java) S 29383 29383 29114 0 -1 1077944384 10828 0 0 0 92 2 0 0 20 0 28 0 151555916 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687916357744 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29403] ppid=29383 vsize=26539728 memory=1224 CPUtime=0 cores=0-7
/proc/29385/task/29403/stat : 29403 (java) S 29383 29383 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151555916 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687915305952 140689719396053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=29404] ppid=29383 vsize=26539728 memory=1716 CPUtime=0.12 cores=0-7
/proc/29385/task/29404/stat : 29404 (java) S 29383 29383 29114 0 -1 1077944384 1909 0 0 0 4 8 0 0 20 0 28 0 151555916 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687914253488 140689719396994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31781] ppid=29383 vsize=26539728 memory=10636 CPUtime=149.61 cores=0-7
/proc/29385/task/31781/stat : 31781 (java) R 29383 29383 29114 0 -1 4202560 1558 0 0 0 14958 3 0 0 20 0 28 0 151566116 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687899368328 140689328169202 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31782] ppid=29383 vsize=26539728 memory=792 CPUtime=149.61 cores=0-7
/proc/29385/task/31782/stat : 31782 (java) R 29383 29383 29114 0 -1 4202560 1459 0 0 0 14960 1 0 0 20 0 28 0 151566116 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687898317040 140689327562138 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31783] ppid=29383 vsize=26539728 memory=1424 CPUtime=147.94 cores=0-7
/proc/29385/task/31783/stat : 31783 (java) R 29383 29383 29114 0 -1 4202560 1958 0 0 0 14792 2 0 0 20 0 28 0 151566116 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687901474984 140689328504505 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31784] ppid=29383 vsize=26539728 memory=1936 CPUtime=149.71 cores=0-7
/proc/29385/task/31784/stat : 31784 (java) R 29383 29383 29114 0 -1 4202560 23133 0 0 0 14942 29 0 0 20 0 28 0 151566116 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687906741248 140689322105084 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31785] ppid=29383 vsize=26539728 memory=1224 CPUtime=149.36 cores=0-7
/proc/29385/task/31785/stat : 31785 (java) R 29383 29383 29114 0 -1 4202560 3432 0 0 0 14932 4 0 0 20 0 28 0 151566116 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687905685448 140689329027816 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31786] ppid=29383 vsize=26539728 memory=1716 CPUtime=148.79 cores=0-7
/proc/29385/task/31786/stat : 31786 (java) R 29383 29383 29114 0 -1 4202560 2070 0 0 0 14876 3 0 0 20 0 28 0 151566116 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687902526888 140689329849527 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31787] ppid=29383 vsize=26539728 memory=10636 CPUtime=149.5 cores=0-7
/proc/29385/task/31787/stat : 31787 (java) R 29383 29383 29114 0 -1 4202560 1164 0 0 0 14947 3 0 0 20 0 28 0 151566116 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687904633304 140689327562398 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
[pid=29385/tid=31788] ppid=29383 vsize=26539728 memory=1200 CPUtime=149.7 cores=0-7
/proc/29385/task/31788/stat : 31788 (java) R 29383 29383 29114 0 -1 4202560 1207 0 0 0 14968 2 0 0 20 0 28 0 151566116 27176681472 282845 33554432000 4194304 4196468 140734547977280 140687903580672 140689327622745 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 19468288 140734547985560 140734547985736 140734547985736 140734547988431 0
Current children cumulated CPU time: 1991.58 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1132764 KiB

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

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

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

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

Child status: 143
Real time (s): 252.099
CPU time (s): 1992.18
CPU user time (s): 1989.36
CPU system time (s): 2.81918
CPU usage (%): 790.239
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 1151404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1989.36
system time used= 2.81918
maximum resident set size= 1154124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31567
involuntary context switches= 21381


# summary of solver processes directly reported to runsolver:
#   pid: 29383,29385
#   total CPU time (s): 1992.18
#   total CPU user time (s): 1989.36
#   total CPU system time (s): 2.81918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.14362 second user time and 2.97162 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-20 01:04:49
IDJOB=4281429
IDBENCH=122969
IDSOLVER=2676
FILE ID=node150/4281429-1503184749
RUNJOBID= node150-1503183633-29141
PBS_JOBID= 20630853
Free space on /tmp= 61904 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-10-360-120.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-4281429-1503184749/watcher-4281429-1503184749 -o /tmp/evaluation-result-4281429-1503184749/solver-4281429-1503184749 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503183633-29141 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1275720406 HOME/instance-4281429-1503184749.xml

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

MD5SUM BENCH= 76b33169874d58bfc9aedd730e623c3c
RANDOM SEED=1275720406

node150.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	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        23324904 kB
MemAvailable:   31961004 kB
Buffers:          300312 kB
Cached:          8615456 kB
SwapCached:            0 kB
Active:          2716356 kB
Inactive:        6252208 kB
Active(anon):       3140 kB
Inactive(anon):    85948 kB
Active(file):    2713216 kB
Inactive(file):  6166260 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7872 kB
Writeback:             0 kB
AnonPages:         60388 kB
Mapped:            51668 kB
Shmem:             33416 kB
Slab:             171052 kB
SReclaimable:     144916 kB
SUnreclaim:        26136 kB
KernelStack:        3152 kB
PageTables:         4732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61896 MiB
End job on node150 at 2017-08-20 01:09:01