Trace number 4280440

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)47 20062 2520.1001

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-12-350-100.xml
MD5SUM498e8e69e2f573dee371e4fc9819ce0a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark2400.1
Satisfiable
(Un)Satisfiability was proved
Number of variables4201
Number of constraints79
Number of domains2
Minimum domain size2
Maximum domain size328
Distribution of domain sizes[{"size":2,"count":4200},{"size":328,"count":1}]
Minimum variable degree13
Maximum variable degree67
Distribution of variable degrees[{"degree":13,"count":4200},{"degree":67,"count":1}]
Minimum constraint arity350
Maximum constraint arity4200
Distribution of constraint arities[{"arity":350,"count":12},{"arity":701,"count":66},{"arity":4200,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":78}]
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-4280440-1503124466.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280440-1503124466.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.34/0.27	c parse instance...
10.64/2.36	c solve instance...
24.93/4.29	o 350 
25.67/4.34	o 349 
25.67/4.38	o 348 
26.33/4.42	o 347 
26.33/4.45	o 346 
26.33/4.48	o 345 
26.85/4.51	o 344 
26.85/4.54	o 343 
26.85/4.57	o 342 
27.43/4.60	o 341 
27.43/4.63	o 340 
27.43/4.66	o 339 
27.43/4.68	o 338 
28.07/4.71	o 337 
28.07/4.74	o 336 
28.07/4.77	o 335 
28.07/4.79	o 334 
28.62/4.82	o 333 
28.62/4.85	o 332 
28.62/4.88	o 331 
29.27/4.91	o 330 
29.27/4.93	o 329 
29.27/4.96	o 328 
29.27/4.99	o 327 
29.91/5.02	o 326 
29.91/5.05	o 325 
29.91/5.07	o 324 
29.91/5.09	o 323 
30.48/5.12	o 322 
30.48/5.17	o 321 
30.99/5.20	o 320 
30.99/5.23	o 319 
30.99/5.25	o 318 
30.99/5.28	o 317 
31.62/5.31	o 316 
31.62/5.33	o 315 
31.62/5.36	o 314 
31.62/5.38	o 313 
32.20/5.41	o 312 
32.20/5.44	o 311 
32.20/5.47	o 310 
32.20/5.49	o 309 
32.86/5.52	o 308 
32.86/5.54	o 307 
32.86/5.58	o 306 
33.40/5.60	o 305 
33.40/5.63	o 304 
33.40/5.66	o 303 
33.40/5.68	o 302 
34.00/5.71	o 301 
34.00/5.74	o 300 
34.00/5.77	o 299 
34.00/5.80	o 298 
34.53/5.85	o 297 
34.53/5.87	o 296 
35.18/5.90	o 295 
35.18/5.92	o 294 
35.18/5.95	o 293 
35.18/5.98	o 292 
35.18/6.00	o 291 
35.82/6.03	o 290 
35.82/6.05	o 289 
35.82/6.08	o 288 
35.82/6.11	o 287 
36.48/6.13	o 286 
36.48/6.16	o 285 
36.48/6.18	o 284 
37.04/6.21	o 283 
37.04/6.23	o 282 
37.04/6.26	o 281 
37.04/6.29	o 280 
37.68/6.31	o 279 
37.68/6.34	o 278 
37.68/6.36	o 277 
37.68/6.40	o 276 
38.29/6.42	o 275 
38.29/6.45	o 274 
38.29/6.48	o 273 
38.92/6.50	o 272 
38.92/6.53	o 271 
38.92/6.55	o 270 
38.92/6.58	o 269 
39.53/6.61	o 268 
39.53/6.66	o 267 
39.53/6.68	o 266 
40.16/6.71	o 265 
40.16/6.73	o 264 
40.16/6.76	o 263 
40.16/6.78	o 262 
40.84/6.81	o 261 
40.84/6.84	o 260 
40.84/6.86	o 259 
40.84/6.89	o 258 
41.41/6.92	o 257 
41.41/6.94	o 256 
41.41/6.97	o 255 
41.41/7.00	o 254 
42.02/7.02	o 253 
42.02/7.05	o 252 
42.02/7.07	o 251 
42.02/7.10	o 250 
42.67/7.12	o 249 
42.67/7.15	o 248 
42.67/7.18	o 247 
43.18/7.21	o 246 
43.18/7.23	o 245 
43.18/7.26	o 244 
43.18/7.29	o 243 
43.82/7.31	o 242 
43.82/7.34	o 241 
43.82/7.36	o 240 
43.82/7.39	o 239 
44.47/7.41	o 238 
44.47/7.44	o 237 
44.47/7.46	o 236 
44.47/7.49	o 235 
45.11/7.51	o 234 
45.11/7.54	o 233 
45.11/7.56	o 232 
45.11/7.59	o 231 
45.78/7.61	o 230 
45.78/7.64	o 229 
45.78/7.67	o 228 
45.78/7.69	o 227 
46.29/7.74	o 226 
46.29/7.77	o 225 
46.90/7.80	o 224 
46.90/7.83	o 223 
46.90/7.85	o 222 
46.90/7.88	o 221 
47.51/7.90	o 220 
47.51/7.93	o 219 
47.51/7.95	o 218 
47.51/7.98	o 217 
47.51/8.01	o 216 
48.18/8.03	o 215 
48.18/8.06	o 214 
48.18/8.08	o 213 
48.18/8.10	o 212 
48.79/8.13	o 211 
48.79/8.16	o 210 
48.79/8.18	o 209 
49.35/8.21	o 208 
49.35/8.24	o 207 
49.35/8.26	o 206 
49.35/8.29	o 205 
50.04/8.31	o 204 
50.04/8.34	o 203 
50.04/8.36	o 202 
50.04/8.39	o 201 
50.67/8.42	o 200 
50.67/8.45	o 199 
50.67/8.47	o 198 
51.23/8.50	o 197 
51.23/8.52	o 196 
51.23/8.55	o 195 
51.23/8.58	o 194 
51.86/8.60	o 193 
51.86/8.64	o 192 
51.86/8.66	o 191 
52.39/8.70	o 190 
52.39/8.73	o 189 
52.39/8.75	o 188 
52.39/8.78	o 187 
52.98/8.80	o 186 
52.98/8.83	o 185 
52.98/8.88	o 184 
53.59/8.91	o 183 
53.59/8.93	o 182 
53.59/8.95	o 181 
53.59/8.98	o 180 
53.59/9.00	o 179 
54.21/9.03	o 178 
54.21/9.05	o 177 
54.21/9.09	o 176 
54.82/9.12	o 175 
54.82/9.15	o 174 
54.82/9.17	o 173 
54.82/9.20	o 172 
55.33/9.22	o 171 
55.33/9.25	o 170 
55.33/9.27	o 169 
55.96/9.30	o 168 
55.96/9.33	o 167 
55.96/9.35	o 166 
55.96/9.38	o 165 
56.58/9.40	o 164 
56.58/9.43	o 163 
56.58/9.45	o 162 
56.58/9.48	o 161 
57.22/9.50	o 160 
57.22/9.53	o 159 
57.22/9.56	o 158 
57.22/9.58	o 157 
57.81/9.61	o 156 
57.81/9.63	o 155 
57.81/9.66	o 154 
57.81/9.69	o 153 
58.44/9.71	o 152 
58.44/9.74	o 151 
58.44/9.76	o 150 
58.44/9.79	o 149 
59.04/9.81	o 148 
59.04/9.84	o 147 
59.04/9.86	o 146 
59.67/9.91	o 145 
59.67/9.93	o 144 
59.67/9.96	o 143 
60.33/10.01	o 142 
60.33/10.04	o 141 
60.33/10.06	o 140 
60.33/10.09	o 139 
60.93/10.12	o 138 
60.93/10.15	o 137 
60.93/10.18	o 136 
61.49/10.22	o 135 
61.49/10.24	o 134 
61.49/10.27	o 133 
62.11/10.30	o 132 
62.11/10.33	o 131 
62.11/10.36	o 130 
62.11/10.39	o 129 
62.75/10.41	o 128 
62.75/10.44	o 127 
62.75/10.47	o 126 
63.38/10.50	o 125 
63.38/10.53	o 124 
63.38/10.55	o 123 
63.38/10.58	o 122 
64.03/10.61	o 121 
64.03/10.64	o 120 
64.03/10.67	o 119 
64.03/10.70	o 118 
64.61/10.73	o 117 
64.61/10.76	o 116 
64.61/10.78	o 115 
65.26/10.81	o 114 
65.26/10.85	o 113 
65.26/10.88	o 112 
65.91/10.91	o 111 
65.91/10.94	o 110 
65.91/10.97	o 109 
66.46/11.01	o 108 
66.46/11.04	o 107 
66.46/11.11	o 106 
67.02/11.13	o 105 
67.02/11.17	o 104 
67.60/11.21	o 103 
67.60/11.24	o 102 
67.60/11.29	o 101 
68.07/11.34	o 100 
71.06/11.73	o 99 
73.45/12.08	o 98 
77.35/12.51	o 97 
80.51/12.94	o 96 
83.66/13.36	o 95 
86.80/13.75	o 94 
90.00/14.13	o 93 
93.04/14.52	o 92 
95.31/14.85	o 91 
97.70/15.19	o 90 
99.99/15.48	o 89 
102.32/15.78	o 88 
104.74/16.06	o 87 
107.04/16.37	o 86 
109.40/16.66	o 85 
113.39/17.15	o 84 
116.43/17.55	o 83 
119.57/18.01	o 82 
123.54/18.41	o 81 
126.67/18.83	o 80 
129.79/19.28	o 79 
134.52/19.81	o 78 
139.22/20.46	o 77 
144.02/21.04	o 76 
147.87/21.50	o 75 
151.03/21.97	o 74 
156.58/22.66	o 73 
162.89/23.41	o 72 
168.51/24.11	o 71 
173.18/24.76	o 70 
178.73/25.44	o 69 
183.56/26.02	o 68 
188.99/26.76	o 67 
192.94/27.26	o 66 
197.70/27.83	o 65 
202.46/28.45	o 64 
208.06/29.12	o 63 
213.54/29.81	o 62 
217.48/30.40	o 61 
223.90/31.14	o 60 
229.36/31.89	o 59 
236.50/32.75	o 58 
243.65/33.65	o 57 
251.59/34.68	o 56 
653.24/85.03	o 52 
6438.80/810.48	o 51 
6449.93/811.89	o 50 
13354.07/1679.26	o 49 
13628.34/1713.65	o 48 
15624.85/1963.95	o 47 
20061.31/2520.08	s SATISFIABLE
20061.31/2520.08	v <instantiation>
20061.31/2520.08	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[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[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[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[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[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[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[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[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[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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[10][68] x[10][69] x[10][70] x[10][71] x[10][72] x[10][73] x[10][74] x[10][75] x[10][76] x[10][77] x[10][78] x[10][79] x[10][80] x[10][81] x[10][82] x[10][83] x[10][84] x[10][85] x[10][86] x[10][87] x[10][88] x[10][89] x[10][90] x[10][91] x[10][92] x[10][93] x[10][94] x[10][95] x[10][96] x[10][97] x[10][98] x[10][99] x[10][100] x[10][101] x[10][102] x[10][103] x[10][104] x[10][105] x[10][106] x[10][107] x[10][108] x[10][109] x[10][110] x[10][111] x[10][112] x[10][113] x[10][114] x[10][115] x[10][116] x[10][117] x[10][118] x[10][119] x[10][120] x[10][121] x[10][122] x[10][123] x[10][124] x[10][125] x[10][126] x[10][127] x[10][128] x[10][129] x[10][130] x[10][131] x[10][132] x[10][133] x[10][134] x[10][135] x[10][136] x[10][137] x[10][138] x[10][139] x[10][140] x[10][141] x[10][142] x[10][143] x[10][144] x[10][145] x[10][146] x[10][147] x[10][148] x[10][149] x[10][150] x[10][151] x[10][152] x[10][153] x[10][154] x[10][155] x[10][156] x[10][157] x[10][158] x[10][159] x[10][160] x[10][161] x[10][162] x[10][163] x[10][164] x[10][165] x[10][166] x[10][167] x[10][168] x[10][169] x[10][170] x[10][171] x[10][172] x[10][173] x[10][174] x[10][175] x[10][176] x[10][177] x[10][178] x[10][179] x[10][180] x[10][181] x[10][182] x[10][183] x[10][184] x[10][185] x[10][186] x[10][187] x[10][188] x[10][189] x[10][190] x[10][191] x[10][192] x[10][193] x[10][194] x[10][195] x[10][196] x[10][197] x[10][198] x[10][199] x[10][200] x[10][201] x[10][202] x[10][203] x[10][204] x[10][205] x[10][206] x[10][207] x[10][208] x[10][209] x[10][210] x[10][211] x[10][212] x[10][213] x[10][214] x[10][215] x[10][216] x[10][217] x[10][218] x[10][219] x[10][220] x[10][221] x[10][222] x[10][223] x[10][224] x[10][225] x[10][226] x[10][227] x[10][228] x[10][229] x[10][230] x[10][231] x[10][232] x[10][233] x[10][234] x[10][235] x[10][236] x[10][237] x[10][238] x[10][239] x[10][240] x[10][241] x[10][242] x[10][243] x[10][244] x[10][245] x[10][246] x[10][247] x[10][248] x[10][249] x[10][250] x[10][251] x[10][252] x[10][253] x[10][254] x[10][255] x[10][256] x[10][257] x[10][258] x[10][259] x[10][260] x[10][261] x[10][262] x[10][263] x[10][264] x[10][265] x[10][266] x[10][267] x[10][268] x[10][269] x[10][270] x[10][271] x[10][272] x[10][273] x[10][274] x[10][275] x[10][276] x[10][277] x[10][278] x[10][279] x[10][280] x[10][281] x[10][282] x[10][283] x[10][284] x[10][285] x[10][286] x[10][287] x[10][288] x[10][289] x[10][290] x[10][291] x[10][292] x[10][293] x[10][294] x[10][295] x[10][296] x[10][297] x[10][298] x[10][299] x[10][300] x[10][301] x[10][302] x[10][303] x[10][304] x[10][305] x[10][306] x[10][307] x[10][308] x[10][309] x[10][310] x[10][311] x[10][312] x[10][313] x[10][314] x[10][315] x[10][316] x[10][317] x[10][318] x[10][319] x[10][320] x[10][321] x[10][322] x[10][323] x[10][324] x[10][325] x[10][326] x[10][327] x[10][328] x[10][329] x[10][330] x[10][331] x[10][332] x[10][333] x[10][334] x[10][335] x[10][336] x[10][337] x[10][338] x[10][339] x[10][340] x[10][341] x[10][342] x[10][343] x[10][344] x[10][345] x[10][346] x[10][347] x[10][348] x[10][349] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[11][68] x[11][69] x[11][70] x[11][71] x[11][72] x[11][73] x[11][74] x[11][75] x[11][76] x[11][77] x[11][78] x[11][79] x[11][80] x[11][81] x[11][82] x[11][83] x[11][84] x[11][85] x[11][86] x[11][87] x[11][88] x[11][89] x[11][90] x[11][91] x[11][92] x[11][93] x[11][94] x[11][95] x[11][96] x[11][97] x[11][98] x[11][99] x[11][100] x[11][101] x[11][102] x[11][103] x[11][104] x[11][105] x[11][106] x[11][107] x[11][108] x[11][109] x[11][110] x[11][111] x[11][112] x[11][113] x[11][114] x[11][115] x[11][116] x[11][117] x[11][118] x[11][119] x[11][120] x[11][121] x[11][122] x[11][123] x[11][124] x[11][125] x[11][126] x[11][127] x[11][128] x[11][129] x[11][130] x[11][131] x[11][132] x[11][133] x[11][134] x[11][135] x[11][136] x[11][137] x[11][138] x[11][139] x[11][140] x[11][141] x[11][142] x[11][143] x[11][144] x[11][145] x[11][146] x[11][147] x[11][148] x[11][149] x[11][150] x[11][151] x[11][152] x[11][153] x[11][154] x[11][155] x[11][156] x[11][157] x[11][158] x[11][159] x[11][160] x[11][161] x[11][162] x[11][163] x[11][164] x[11][165] x[11][166] x[11][167] x[11][168] x[11][169] x[11][170] x[11][171] x[11][172] x[11][173] x[11][174] x[11][175] x[11][176] x[11][177] x[11][178] x[11][179] x[11][180] x[11][181] x[11][182] x[11][183] x[11][184] x[11][185] x[11][186] x[11][187] x[11][188] x[11][189] x[11][190] x[11][191] x[11][192] x[11][193] x[11][194] x[11][195] x[11][196] x[11][197] x[11][198] x[11][199] x[11][200] x[11][201] x[11][202] x[11][203] x[11][204] x[11][205] x[11][206] x[11][207] x[11][208] x[11][209] x[11][210] x[11][211] x[11][212] x[11][213] x[11][214] x[11][215] x[11][216] x[11][217] x[11][218] x[11][219] x[11][220] x[11][221] x[11][222] x[11][223] x[11][224] x[11][225] x[11][226] x[11][227] x[11][228] x[11][229] x[11][230] x[11][231] x[11][232] x[11][233] x[11][234] x[11][235] x[11][236] x[11][237] x[11][238] x[11][239] x[11][240] x[11][241] x[11][242] x[11][243] x[11][244] x[11][245] x[11][246] x[11][247] x[11][248] x[11][249] x[11][250] x[11][251] x[11][252] x[11][253] x[11][254] x[11][255] x[11][256] x[11][257] x[11][258] x[11][259] x[11][260] x[11][261] x[11][262] x[11][263] x[11][264] x[11][265] x[11][266] x[11][267] x[11][268] x[11][269] x[11][270] x[11][271] x[11][272] x[11][273] x[11][274] x[11][275] x[11][276] x[11][277] x[11][278] x[11][279] x[11][280] x[11][281] x[11][282] x[11][283] x[11][284] x[11][285] x[11][286] x[11][287] x[11][288] x[11][289] x[11][290] x[11][291] x[11][292] x[11][293] x[11][294] x[11][295] x[11][296] x[11][297] x[11][298] x[11][299] x[11][300] x[11][301] x[11][302] x[11][303] x[11][304] x[11][305] x[11][306] x[11][307] x[11][308] x[11][309] x[11][310] x[11][311] x[11][312] x[11][313] x[11][314] x[11][315] x[11][316] x[11][317] x[11][318] x[11][319] x[11][320] x[11][321] x[11][322] x[11][323] x[11][324] x[11][325] x[11][326] x[11][327] x[11][328] x[11][329] x[11][330] x[11][331] x[11][332] x[11][333] x[11][334] x[11][335] x[11][336] x[11][337] x[11][338] x[11][339] x[11][340] x[11][341] x[11][342] x[11][343] x[11][344] x[11][345] x[11][346] x[11][347] x[11][348] x[11][349] </list>
20061.31/2520.08	v 	<values>47 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 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 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 1 1 1 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 0 0 0 0 0 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 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 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 1 1 1 0 0 0 0 0 1 1 0 0 1 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 0 0 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 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 1 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 1 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 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 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 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 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 1 1 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 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 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 1 1 1 1 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 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 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 1 1 0 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 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 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 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 </values>
20061.31/2520.08	v </instantiation>
20061.31/2520.08	c Unexpected resolution interruption!

Verifier Data 

OK	47

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280440-1503124466/watcher-4280440-1503124466 -o /tmp/evaluation-result-4280440-1503124466/solver-4280440-1503124466 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503120994-1795 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2068188455 HOME/instance-4280440-1503124466.xml 

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

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

solver pid=2729, runsolver pid=2726

[startup+0.100142 s]*
/proc/loadavg: 3.26 6.79 7.76 2/200 2750
/proc/meminfo: memFree=27191348/32770624 swapFree=67108860/67108860
[pid=2729] ppid=2726 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2729/stat : 2729 (xcsp3-exec) S 2726 2729 1768 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145534135 9740288 346 33554432000 4194304 5098028 140726047331344 140726047329448 140086674707068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140726047335524 140726047335735 140726047335735 140726047338475 0
/proc/2729/statm: 2378 346 289 221 0 87 0
[pid=2731] ppid=2729 vsize=25999808 memory=26792 CPUtime=0.11 cores=0-7
/proc/2731/stat : 2731 (java) S 2729 2729 1768 0 -1 1077944320 5634 0 0 0 10 1 0 0 20 0 20 0 145534135 26623803392 6698 33554432000 4194304 4196468 140735475391600 140735475374144 139953861566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
/proc/2731/statm: 6499952 6698 2848 1 0 6488269 0
[pid=2731/tid=2732] ppid=2729 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/2731/task/2732/stat : 2732 (java) R 2729 2729 1768 0 -1 4202560 3644 0 0 0 8 1 0 0 20 0 20 0 145534135 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953865799472 139953861578134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2733] ppid=2729 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2731/task/2733/stat : 2733 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953814186768 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2734] ppid=2729 vsize=25999808 memory=140169804527232 CPUtime=0 cores=0-7
/proc/2731/task/2734/stat : 2734 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953813134224 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2735] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2735/stat : 2735 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534136 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953812081680 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2736] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2736/stat : 2736 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534136 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953811029136 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2737] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2737/stat : 2737 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953809975568 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2738] ppid=2729 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2731/task/2738/stat : 2738 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953808923024 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2739] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2739/stat : 2739 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534136 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953807870480 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2740] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2740/stat : 2740 (java) S 2729 2729 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145534136 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953806817936 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2741] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2741/stat : 2741 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534137 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953257376240 139953861577346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2742] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2742/stat : 2742 (java) S 2729 2729 1768 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145534138 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953256322464 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2743] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2743/stat : 2743 (java) S 2729 2729 1768 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145534138 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953255269872 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2744] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2744/stat : 2744 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534141 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953187056336 139953861584795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2745] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2745/stat : 2745 (java) S 2729 2729 1768 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 145534141 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953186002928 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2746] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2746/stat : 2746 (java) S 2729 2729 1768 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145534141 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953184950384 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2747] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2747/stat : 2747 (java) R 2729 2729 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145534141 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953183897840 139953861577346 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2748] ppid=2729 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/2731/task/2748/stat : 2748 (java) R 2729 2729 1768 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 20 0 145534141 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953182845296 139953861587546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2749] ppid=2729 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2749/stat : 2749 (java) S 2729 2729 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145534141 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953181792992 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2750] ppid=2729 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2731/task/2750/stat : 2750 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534141 26623803392 6698 33554432000 4194304 4196468 140735475391600 139953180740528 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28176 KiB

[startup+0.210569 s]*
/proc/loadavg: 3.26 6.79 7.76 3/200 2750
/proc/meminfo: memFree=27179812/32770624 swapFree=67108860/67108860
[pid=2729] ppid=2726 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2729/stat : 2729 (xcsp3-exec) S 2726 2729 1768 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145534135 9740288 346 33554432000 4194304 5098028 140726047331344 140726047329448 140086674707068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140726047335524 140726047335735 140726047335735 140726047338475 0
/proc/2729/statm: 2378 346 289 221 0 87 0
[pid=2731] ppid=2729 vsize=26004064 memory=38980 CPUtime=0.34 cores=0-7
/proc/2731/stat : 2731 (java) S 2729 2729 1768 0 -1 1077944320 8341 0 0 0 31 3 0 0 20 0 20 0 145534135 26628161536 9745 33554432000 4194304 4196468 140735475391600 140735475374144 139953861566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
/proc/2731/statm: 6501016 9745 3015 1 0 6488269 0
[pid=2731/tid=2732] ppid=2729 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/2731/task/2732/stat : 2732 (java) R 2729 2729 1768 0 -1 4202560 5434 0 0 0 18 2 0 0 20 0 20 0 145534135 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953865787024 139953845646686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2733] ppid=2729 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/2731/task/2733/stat : 2733 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953814186768 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2734] ppid=2729 vsize=26004064 memory=140169804541748 CPUtime=0 cores=0-7
/proc/2731/task/2734/stat : 2734 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953813134224 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2735] ppid=2729 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2731/task/2735/stat : 2735 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953812081680 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2736] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2736/stat : 2736 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953811029136 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2737] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2737/stat : 2737 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953809975568 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2738] ppid=2729 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2731/task/2738/stat : 2738 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953808923024 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2739] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2739/stat : 2739 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953807870480 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2740] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2740/stat : 2740 (java) S 2729 2729 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953806817936 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2741] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2741/stat : 2741 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534137 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953257376240 139953861577346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2742] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2742/stat : 2742 (java) S 2729 2729 1768 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145534138 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953256322464 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2743] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2743/stat : 2743 (java) S 2729 2729 1768 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145534138 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953255269872 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2744] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2744/stat : 2744 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534141 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953187056336 139953861584795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2745] ppid=2729 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/2731/task/2745/stat : 2745 (java) S 2729 2729 1768 0 -1 1077944384 618 0 0 0 2 0 0 0 20 0 20 0 145534141 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953186002928 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2746] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2746/stat : 2746 (java) S 2729 2729 1768 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145534141 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953184950384 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2747] ppid=2729 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/2731/task/2747/stat : 2747 (java) S 2729 2729 1768 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 145534141 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953183897840 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2748] ppid=2729 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/2731/task/2748/stat : 2748 (java) R 2729 2729 1768 0 -1 4202560 696 0 0 0 7 0 0 0 20 0 20 0 145534141 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953182845296 139953861578134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2749] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2749/stat : 2749 (java) S 2729 2729 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145534141 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953181792992 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2750] ppid=2729 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2731/task/2750/stat : 2750 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534141 26628161536 9745 33554432000 4194304 4196468 140735475391600 139953180740528 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40364 KiB

[startup+0.310364 s]*
/proc/loadavg: 3.26 6.79 7.76 3/200 2750
/proc/meminfo: memFree=27175516/32770624 swapFree=67108860/67108860
[pid=2729] ppid=2726 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2729/stat : 2729 (xcsp3-exec) S 2726 2729 1768 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145534135 9740288 346 33554432000 4194304 5098028 140726047331344 140726047329448 140086674707068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140726047335524 140726047335735 140726047335735 140726047338475 0
/proc/2729/statm: 2378 346 289 221 0 87 0
[pid=2731] ppid=2729 vsize=26004064 memory=45932 CPUtime=0.49 cores=0-7
/proc/2731/stat : 2731 (java) S 2729 2729 1768 0 -1 1077944320 9194 0 0 0 46 3 0 0 20 0 20 0 145534135 26628161536 11483 33554432000 4194304 4196468 140735475391600 140735475374144 139953861566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
/proc/2731/statm: 6501016 11483 3102 1 0 6488269 0
[pid=2731/tid=2732] ppid=2729 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/2731/task/2732/stat : 2732 (java) R 2729 2729 1768 0 -1 4202560 6147 0 0 0 27 2 0 0 20 0 20 0 145534135 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953865803520 139953845646686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2733] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2733/stat : 2733 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953814186768 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2734] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2734/stat : 2734 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953813134224 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2735] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2735/stat : 2735 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953812081680 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2736] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2736/stat : 2736 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953811029136 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2737] ppid=2729 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/2731/task/2737/stat : 2737 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953809975568 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2738] ppid=2729 vsize=26004064 memory=140169680352175 CPUtime=0 cores=0-7
/proc/2731/task/2738/stat : 2738 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953808923024 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2739] ppid=2729 vsize=26004064 memory=140169680354480 CPUtime=0 cores=0-7
/proc/2731/task/2739/stat : 2739 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953807870480 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2740] ppid=2729 vsize=26004064 memory=3472464067861525984 CPUtime=0 cores=0-7
/proc/2731/task/2740/stat : 2740 (java) S 2729 2729 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145534136 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953806817936 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2741] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2741/stat : 2741 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534137 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953257376240 139953861577346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2742] ppid=2729 vsize=26004064 memory=280339360720528 CPUtime=0 cores=0-7
/proc/2731/task/2742/stat : 2742 (java) S 2729 2729 1768 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145534138 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953256322464 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2743] ppid=2729 vsize=26004064 memory=280339360727440 CPUtime=0 cores=0-7
/proc/2731/task/2743/stat : 2743 (java) S 2729 2729 1768 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145534138 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953255269872 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2744] ppid=2729 vsize=26004064 memory=280339360668592 CPUtime=0 cores=0-7
/proc/2731/task/2744/stat : 2744 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534141 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953187056336 139953861584795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2745] ppid=2729 vsize=26004064 memory=280339360741264 CPUtime=0.02 cores=0-7
/proc/2731/task/2745/stat : 2745 (java) S 2729 2729 1768 0 -1 1077944384 628 0 0 0 2 0 0 0 20 0 20 0 145534141 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953186002928 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2746] ppid=2729 vsize=26004064 memory=280339360748176 CPUtime=0.01 cores=0-7
/proc/2731/task/2746/stat : 2746 (java) S 2729 2729 1768 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 20 0 145534141 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953184950384 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2747] ppid=2729 vsize=26004064 memory=280339360745872 CPUtime=0.02 cores=0-7
/proc/2731/task/2747/stat : 2747 (java) S 2729 2729 1768 0 -1 1077944384 200 0 0 0 2 0 0 0 20 0 20 0 145534141 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953183897840 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2748] ppid=2729 vsize=26004064 memory=280339360762032 CPUtime=0.12 cores=0-7
/proc/2731/task/2748/stat : 2748 (java) S 2729 2729 1768 0 -1 1077944384 794 0 0 0 12 0 0 0 20 0 20 0 145534141 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953182845296 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2749] ppid=2729 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2749/stat : 2749 (java) S 2729 2729 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145534141 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953181792992 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2750] ppid=2729 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2731/task/2750/stat : 2750 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534141 26628161536 11549 33554432000 4194304 4196468 140735475391600 139953180740528 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47316 KiB

[startup+0.701064 s]
/proc/loadavg: 3.26 6.79 7.76 3/200 2750
/proc/meminfo: memFree=27155452/32770624 swapFree=67108860/67108860
[pid=2729] ppid=2726 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2729/stat : 2729 (xcsp3-exec) S 2726 2729 1768 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145534135 9740288 346 33554432000 4194304 5098028 140726047331344 140726047329448 140086674707068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140726047335524 140726047335735 140726047335735 140726047338475 0
/proc/2729/statm: 2378 346 289 221 0 87 0
[pid=2731] ppid=2729 vsize=26006188 memory=137192 CPUtime=1.77 cores=0-7
/proc/2731/stat : 2731 (java) S 2729 2729 1768 0 -1 1077944320 12646 0 0 0 171 6 0 0 20 0 20 0 145534135 26630336512 34298 33554432000 4194304 4196468 140735475391600 140735475374144 139953861566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
/proc/2731/statm: 6501547 34298 3210 1 0 6488781 0
[pid=2731/tid=2732] ppid=2729 vsize=26006188 memory=280339361119920 CPUtime=0.67 cores=0-7
/proc/2731/task/2732/stat : 2732 (java) R 2729 2729 1768 0 -1 4202560 6790 0 0 0 63 4 0 0 20 0 20 0 145534135 26630336512 34298 33554432000 4194304 4196468 140735475391600 139953865800832 139953472563835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2733] ppid=2729 vsize=26006188 memory=140169680561008 CPUtime=0 cores=0-7
/proc/2731/task/2733/stat : 2733 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26630336512 34298 33554432000 4194304 4196468 140735475391600 139953814186768 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2734] ppid=2729 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/2731/task/2734/stat : 2734 (java) S 2729 2729 1768 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145534136 26630336512 34298 33554432000 4194304 4196468 140735475391600 139953813134224 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2735] ppid=2729 vsize=26006188 memory=11108 CPUtime=0 cores=0-7
/proc/2731/task/2735/stat : 2735 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145534136 26630336512 34298 33554432000 4194304 4196468 140735475391600 139953812081680 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0

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

[pid=2731/tid=5192] ppid=2729 vsize=26539728 memory=1384 CPUtime=478.11 cores=0-7
/proc/2731/task/5192/stat : 5192 (java) R 2729 2729 1768 0 -1 4202560 840 0 0 0 47810 1 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953169572200 139953479099611 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
Current children cumulated CPU time: 19441.4 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 869940 KiB

[startup+2502.3 s]
/proc/loadavg: 8.35 8.39 8.31 10/209 5225
/proc/meminfo: memFree=26350256/32770624 swapFree=67108860/67108860
[pid=2729] ppid=2726 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2729/stat : 2729 (xcsp3-exec) S 2726 2729 1768 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145534135 9740288 346 33554432000 4194304 5098028 140726047331344 140726047329448 140086674707068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140726047335524 140726047335735 140726047335735 140726047338475 0
/proc/2729/statm: 2378 346 289 221 0 87 0
[pid=2731] ppid=2729 vsize=26539728 memory=868556 CPUtime=19920.1 cores=0-7
/proc/2731/stat : 2731 (java) S 2729 2729 1768 0 -1 1077944320 707458 0 0 0 1991398 607 0 0 20 0 28 0 145534135 27176681472 217139 33554432000 4194304 4196468 140735475391600 140735475374144 139953861566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
/proc/2731/statm: 6634932 217139 3303 1 0 6622166 0
[pid=2731/tid=2732] ppid=2729 vsize=26539728 memory=868556 CPUtime=1.91 cores=0-7
/proc/2731/task/2732/stat : 2732 (java) S 2729 2729 1768 0 -1 1077944384 8381 0 0 0 183 8 0 0 20 0 28 0 145534135 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953865806864 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2733] ppid=2729 vsize=26539728 memory=1384 CPUtime=4.13 cores=0-7
/proc/2731/task/2733/stat : 2733 (java) S 2729 2729 1768 0 -1 1077944384 22285 0 0 0 383 30 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953814186768 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2734] ppid=2729 vsize=26539728 memory=1384 CPUtime=4.11 cores=0-7
/proc/2731/task/2734/stat : 2734 (java) S 2729 2729 1768 0 -1 1077944384 21098 0 0 0 381 30 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953813134224 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2735] ppid=2729 vsize=26539728 memory=868556 CPUtime=4.09 cores=0-7
/proc/2731/task/2735/stat : 2735 (java) S 2729 2729 1768 0 -1 1077944384 24777 0 0 0 378 31 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953812081680 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2736] ppid=2729 vsize=26539728 memory=868556 CPUtime=4.09 cores=0-7
/proc/2731/task/2736/stat : 2736 (java) S 2729 2729 1768 0 -1 1077944384 23140 0 0 0 378 31 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953811029136 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2737] ppid=2729 vsize=26539728 memory=868556 CPUtime=4.13 cores=0-7
/proc/2731/task/2737/stat : 2737 (java) S 2729 2729 1768 0 -1 1077944384 25528 0 0 0 384 29 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953809975568 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2738] ppid=2729 vsize=26539728 memory=868556 CPUtime=4.08 cores=0-7
/proc/2731/task/2738/stat : 2738 (java) S 2729 2729 1768 0 -1 1077944384 23458 0 0 0 379 29 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953808923024 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2739] ppid=2729 vsize=26539728 memory=868556 CPUtime=4.16 cores=0-7
/proc/2731/task/2739/stat : 2739 (java) S 2729 2729 1768 0 -1 1077944384 23555 0 0 0 385 31 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953807870480 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2740] ppid=2729 vsize=26539728 memory=1384 CPUtime=4.13 cores=0-7
/proc/2731/task/2740/stat : 2740 (java) S 2729 2729 1768 0 -1 1077944384 22695 0 0 0 383 30 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953806817936 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2741] ppid=2729 vsize=26539728 memory=868556 CPUtime=1.13 cores=0-7
/proc/2731/task/2741/stat : 2741 (java) S 2729 2729 1768 0 -1 1077944384 27826 0 0 0 84 29 0 0 20 0 28 0 145534137 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953257376240 139953861577346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2742] ppid=2729 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/2731/task/2742/stat : 2742 (java) S 2729 2729 1768 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 145534138 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953256322592 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2743] ppid=2729 vsize=26539728 memory=868556 CPUtime=0 cores=0-7
/proc/2731/task/2743/stat : 2743 (java) S 2729 2729 1768 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 145534138 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953255269888 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2744] ppid=2729 vsize=26539728 memory=868556 CPUtime=0 cores=0-7
/proc/2731/task/2744/stat : 2744 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953187056336 139953861584795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2745] ppid=2729 vsize=26539728 memory=868556 CPUtime=2.37 cores=0-7
/proc/2731/task/2745/stat : 2745 (java) S 2729 2729 1768 0 -1 1077944384 14297 0 0 0 234 3 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953186002928 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2746] ppid=2729 vsize=26539728 memory=1384 CPUtime=2.35 cores=0-7
/proc/2731/task/2746/stat : 2746 (java) S 2729 2729 1768 0 -1 1077944384 19027 0 0 0 232 3 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953184950384 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2747] ppid=2729 vsize=26539728 memory=280339362151312 CPUtime=2.53 cores=0-7
/proc/2731/task/2747/stat : 2747 (java) S 2729 2729 1768 0 -1 1077944384 16889 0 0 0 249 4 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953183897840 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2748] ppid=2729 vsize=26539728 memory=868556 CPUtime=1.01 cores=0-7
/proc/2731/task/2748/stat : 2748 (java) S 2729 2729 1768 0 -1 1077944384 13011 0 0 0 96 5 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953182845296 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2749] ppid=2729 vsize=26539728 memory=868556 CPUtime=0 cores=0-7
/proc/2731/task/2749/stat : 2749 (java) S 2729 2729 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953181792992 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2750] ppid=2729 vsize=26539728 memory=1384 CPUtime=0.88 cores=0-7
/proc/2731/task/2750/stat : 2750 (java) S 2729 2729 1768 0 -1 1077944384 4586 0 0 0 88 0 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953180740528 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5185] ppid=2729 vsize=26539728 memory=4132 CPUtime=538.13 cores=0-7
/proc/2731/task/5185/stat : 5185 (java) R 2729 2729 1768 0 -1 4202560 1231 0 0 0 53810 3 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953171676568 139953479798863 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5186] ppid=2729 vsize=26539728 memory=40380 CPUtime=535.71 cores=0-7
/proc/2731/task/5186/stat : 5186 (java) R 2729 2729 1768 0 -1 4202560 1082 0 0 0 53569 2 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953168519784 139953479546603 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5187] ppid=2729 vsize=26539728 memory=1384 CPUtime=538.15 cores=0-7
/proc/2731/task/5187/stat : 5187 (java) R 2729 2729 1768 0 -1 4202560 1164 0 0 0 53813 2 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953170624024 139953475698477 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5188] ppid=2729 vsize=26539728 memory=868556 CPUtime=532.86 cores=0-7
/proc/2731/task/5188/stat : 5188 (java) R 2729 2729 1768 0 -1 4202560 10536 0 0 0 53280 6 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953165360544 139953474540153 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5189] ppid=2729 vsize=26539728 memory=1384 CPUtime=538.01 cores=0-7
/proc/2731/task/5189/stat : 5189 (java) R 2729 2729 1768 0 -1 4202560 2723 0 0 0 53795 6 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953166416672 139953479099578 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5190] ppid=2729 vsize=26539728 memory=1384 CPUtime=537.06 cores=0-7
/proc/2731/task/5190/stat : 5190 (java) R 2729 2729 1768 0 -1 4202560 985 0 0 0 53705 1 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953164308584 139953479546634 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5191] ppid=2729 vsize=26539728 memory=868556 CPUtime=536 cores=0-7
/proc/2731/task/5191/stat : 5191 (java) R 2729 2729 1768 0 -1 4202560 6574 0 0 0 53596 4 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953167466920 139953479546669 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5192] ppid=2729 vsize=26539728 memory=1384 CPUtime=538.09 cores=0-7
/proc/2731/task/5192/stat : 5192 (java) R 2729 2729 1768 0 -1 4202560 883 0 0 0 53808 1 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953169572232 139953479546664 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
Current children cumulated CPU time: 19920.1 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 869940 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.28 8.37 8.30 9/209 5225
/proc/meminfo: memFree=26350328/32770624 swapFree=67108860/67108860
[pid=2729] ppid=2726 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2729/stat : 2729 (xcsp3-exec) S 2726 2729 1768 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145534135 9740288 346 33554432000 4194304 5098028 140726047331344 140726047329448 140086674707068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25804800 140726047335524 140726047335735 140726047335735 140726047338475 0
/proc/2729/statm: 2378 346 289 221 0 87 0
[pid=2731] ppid=2729 vsize=26539728 memory=868556 CPUtime=20061.3 cores=0-7
/proc/2731/stat : 2731 (java) S 2729 2729 1768 0 -1 1077944320 708233 0 0 0 2005524 607 0 0 20 0 28 0 145534135 27176681472 217139 33554432000 4194304 4196468 140735475391600 140735475374144 139953861566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
/proc/2731/statm: 6634932 217139 3303 1 0 6622166 0
[pid=2731/tid=2732] ppid=2729 vsize=26539728 memory=8112282956445269571 CPUtime=1.91 cores=0-7
/proc/2731/task/2732/stat : 2732 (java) S 2729 2729 1768 0 -1 1077944384 8381 0 0 0 183 8 0 0 20 0 28 0 145534135 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953865806864 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2733] ppid=2729 vsize=26539728 memory=4872558044660077418 CPUtime=4.13 cores=0-7
/proc/2731/task/2733/stat : 2733 (java) S 2729 2729 1768 0 -1 1077944384 22294 0 0 0 383 30 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953814186768 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2734] ppid=2729 vsize=26539728 memory=23388 CPUtime=4.11 cores=0-7
/proc/2731/task/2734/stat : 2734 (java) S 2729 2729 1768 0 -1 1077944384 21100 0 0 0 381 30 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953813134224 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2735] ppid=2729 vsize=26539728 memory=18444 CPUtime=4.1 cores=0-7
/proc/2731/task/2735/stat : 2735 (java) S 2729 2729 1768 0 -1 1077944384 24779 0 0 0 379 31 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953812081680 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2736] ppid=2729 vsize=26539728 memory=1788 CPUtime=4.09 cores=0-7
/proc/2731/task/2736/stat : 2736 (java) S 2729 2729 1768 0 -1 1077944384 23142 0 0 0 378 31 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953811029136 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2737] ppid=2729 vsize=26539728 memory=640 CPUtime=4.13 cores=0-7
/proc/2731/task/2737/stat : 2737 (java) S 2729 2729 1768 0 -1 1077944384 25530 0 0 0 384 29 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953809975568 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2738] ppid=2729 vsize=26539728 memory=1384 CPUtime=4.08 cores=0-7
/proc/2731/task/2738/stat : 2738 (java) S 2729 2729 1768 0 -1 1077944384 23460 0 0 0 379 29 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953808923024 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2739] ppid=2729 vsize=26539728 memory=868556 CPUtime=4.17 cores=0-7
/proc/2731/task/2739/stat : 2739 (java) S 2729 2729 1768 0 -1 1077944384 23562 0 0 0 386 31 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953807870480 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2740] ppid=2729 vsize=26539728 memory=640 CPUtime=4.14 cores=0-7
/proc/2731/task/2740/stat : 2740 (java) S 2729 2729 1768 0 -1 1077944384 22697 0 0 0 384 30 0 0 20 0 28 0 145534136 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953806817936 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2741] ppid=2729 vsize=26539728 memory=8112282956445269571 CPUtime=1.13 cores=0-7
/proc/2731/task/2741/stat : 2741 (java) S 2729 2729 1768 0 -1 1077944384 27891 0 0 0 84 29 0 0 20 0 28 0 145534137 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953257376240 139953861577346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2742] ppid=2729 vsize=26539728 memory=4052 CPUtime=0 cores=0-7
/proc/2731/task/2742/stat : 2742 (java) S 2729 2729 1768 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 145534138 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953256322592 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2743] ppid=2729 vsize=26539728 memory=23388 CPUtime=0 cores=0-7
/proc/2731/task/2743/stat : 2743 (java) S 2729 2729 1768 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 145534138 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953255269888 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2744] ppid=2729 vsize=26539728 memory=18444 CPUtime=0 cores=0-7
/proc/2731/task/2744/stat : 2744 (java) S 2729 2729 1768 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953187056336 139953861584795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2745] ppid=2729 vsize=26539728 memory=1788 CPUtime=2.37 cores=0-7
/proc/2731/task/2745/stat : 2745 (java) S 2729 2729 1768 0 -1 1077944384 14297 0 0 0 234 3 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953186002928 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2746] ppid=2729 vsize=26539728 memory=640 CPUtime=2.35 cores=0-7
/proc/2731/task/2746/stat : 2746 (java) S 2729 2729 1768 0 -1 1077944384 19027 0 0 0 232 3 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953184950384 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2747] ppid=2729 vsize=26539728 memory=952 CPUtime=2.53 cores=0-7
/proc/2731/task/2747/stat : 2747 (java) S 2729 2729 1768 0 -1 1077944384 16889 0 0 0 249 4 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953183897840 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2748] ppid=2729 vsize=26539728 memory=1236 CPUtime=1.01 cores=0-7
/proc/2731/task/2748/stat : 2748 (java) S 2729 2729 1768 0 -1 1077944384 13011 0 0 0 96 5 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953182845296 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2749] ppid=2729 vsize=26539728 memory=4384 CPUtime=0 cores=0-7
/proc/2731/task/2749/stat : 2749 (java) S 2729 2729 1768 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953181792992 139953861576405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=2750] ppid=2729 vsize=26539728 memory=1692 CPUtime=0.88 cores=0-7
/proc/2731/task/2750/stat : 2750 (java) S 2729 2729 1768 0 -1 1077944384 4590 0 0 0 88 0 0 0 20 0 28 0 145534141 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953180740528 139953861577346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5185] ppid=2729 vsize=26539728 memory=916 CPUtime=555.83 cores=0-7
/proc/2731/task/5185/stat : 5185 (java) R 2729 2729 1768 0 -1 4202560 1262 0 0 0 55580 3 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953171676536 139953479099957 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5186] ppid=2729 vsize=26539728 memory=1384 CPUtime=553.42 cores=0-7
/proc/2731/task/5186/stat : 5186 (java) R 2729 2729 1768 0 -1 4202560 1101 0 0 0 55340 2 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953168519896 139953479099548 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5187] ppid=2729 vsize=26539728 memory=868556 CPUtime=555.84 cores=0-7
/proc/2731/task/5187/stat : 5187 (java) R 2729 2729 1768 0 -1 4202560 1167 0 0 0 55582 2 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953170624360 139953479099569 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5188] ppid=2729 vsize=26539728 memory=1728 CPUtime=550.56 cores=0-7
/proc/2731/task/5188/stat : 5188 (java) R 2729 2729 1768 0 -1 4202560 11040 0 0 0 55050 6 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953165360528 139953478809983 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5189] ppid=2729 vsize=26539728 memory=1720 CPUtime=555.71 cores=0-7
/proc/2731/task/5189/stat : 5189 (java) R 2729 2729 1768 0 -1 4202560 2782 0 0 0 55565 6 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953166416672 139953478477288 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5190] ppid=2729 vsize=26539728 memory=1008 CPUtime=554.76 cores=0-7
/proc/2731/task/5190/stat : 5190 (java) R 2729 2729 1768 0 -1 4202560 1001 0 0 0 55475 1 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953164308712 139953479798882 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5191] ppid=2729 vsize=26539728 memory=1928 CPUtime=553.34 cores=0-7
/proc/2731/task/5191/stat : 5191 (java) R 2729 2729 1768 0 -1 4202560 6612 0 0 0 55330 4 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953167466920 139953479099358 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
[pid=2731/tid=5192] ppid=2729 vsize=26539728 memory=1200 CPUtime=555.79 cores=0-7
/proc/2731/task/5192/stat : 5192 (java) R 2729 2729 1768 0 -1 4202560 891 0 0 0 55578 1 0 0 20 0 28 0 145730531 27176681472 217139 33554432000 4194304 4196468 140735475391600 139953169572328 139953479621689 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 16662528 140735475393682 140735475393859 140735475393859 140735475396559 0
Current children cumulated CPU time: 20061.3 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 869940 KiB

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

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

[startup+2520.1 s]
# the end of solver process 2731 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20055.9 s, system=6.08562 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): 2520.1
CPU time (s): 20062
CPU user time (s): 20055.9
CPU system time (s): 6.08562
CPU usage (%): 796.079
Max. virtual memory (cumulated for all children) (KiB): 26549972
Max. memory (cumulated for all children) (KiB): 1500988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20055.9
system time used= 6.08562
maximum resident set size= 1499612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 708957
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142834
involuntary context switches= 207102


# summary of solver processes directly reported to runsolver:
#   pid: 2729,2731
#   total CPU time (s): 20062
#   total CPU user time (s): 20055.9
#   total CPU system time (s): 6.08562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9128 second user time and 31.4617 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-19 08:20:06
IDJOB=4280440
IDBENCH=122943
IDSOLVER=2675
FILE ID=node115/4280440-1503124466
RUNJOBID= node115-1503120994-1795
PBS_JOBID= 20630771
Free space on /tmp= 61868 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-12-350-100.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-4280440-1503124466/watcher-4280440-1503124466 -o /tmp/evaluation-result-4280440-1503124466/solver-4280440-1503124466 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503120994-1795 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2068188455 HOME/instance-4280440-1503124466.xml

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

MD5SUM BENCH= 498e8e69e2f573dee371e4fc9819ce0a
RANDOM SEED=2068188455

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
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:        27207472 kB
MemAvailable:   31972496 kB
Buffers:          237924 kB
Cached:          4820156 kB
SwapCached:            0 kB
Active:           889488 kB
Inactive:        4224552 kB
Active(anon):       6696 kB
Inactive(anon):    85176 kB
Active(file):     882792 kB
Inactive(file):  4139376 kB
Unevictable:        7056 kB
Mlocked:            7056 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7648 kB
Writeback:             0 kB
AnonPages:         71160 kB
Mapped:            50436 kB
Shmem:             33416 kB
Slab:             144424 kB
SReclaimable:     117384 kB
SUnreclaim:        27040 kB
KernelStack:        3536 kB
PageTables:         4400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61860 MiB
End job on node115 at 2017-08-19 09:02:06