Trace number 4281430

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)56 1987.23 252.121

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 benchmark56
Best CPU time to get the best result obtained on this benchmark1987.23
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-4281430-1503184549.xml"  -tl '2016s' -p 8 -x 0
0.11/0.15	c [HOME/instance-4281430-1503184549.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
10.80/2.33	c solve instance...
22.80/3.90	o 350 
22.80/3.94	o 349 
22.80/3.98	o 348 
23.48/4.01	o 347 
23.48/4.04	o 346 
23.48/4.07	o 345 
23.48/4.10	o 344 
24.09/4.12	o 343 
24.09/4.15	o 342 
24.09/4.18	o 341 
24.62/4.21	o 340 
24.62/4.24	o 339 
24.62/4.26	o 338 
24.62/4.29	o 337 
25.22/4.31	o 336 
25.22/4.34	o 335 
25.22/4.37	o 334 
25.22/4.39	o 333 
25.89/4.42	o 332 
25.89/4.45	o 331 
25.89/4.48	o 330 
26.46/4.51	o 329 
26.46/4.53	o 328 
26.46/4.56	o 327 
26.46/4.59	o 326 
27.06/4.62	o 325 
27.06/4.64	o 324 
27.68/4.70	o 323 
27.68/4.73	o 322 
27.68/4.75	o 321 
27.68/4.78	o 320 
28.30/4.81	o 319 
28.30/4.83	o 318 
28.30/4.86	o 317 
28.30/4.89	o 316 
28.93/4.91	o 315 
28.93/4.94	o 314 
28.93/4.96	o 313 
28.93/4.99	o 312 
29.59/5.01	o 311 
29.59/5.04	o 310 
29.59/5.07	o 309 
29.59/5.10	o 308 
30.21/5.12	o 307 
30.21/5.15	o 306 
30.21/5.17	o 305 
30.73/5.20	o 304 
30.73/5.23	o 303 
30.73/5.26	o 302 
30.73/5.29	o 301 
31.30/5.32	o 300 
31.30/5.34	o 299 
31.30/5.37	o 298 
31.30/5.39	o 297 
31.92/5.42	o 296 
31.92/5.44	o 295 
31.92/5.47	o 294 
32.45/5.52	o 293 
32.45/5.54	o 292 
32.45/5.56	o 291 
32.45/5.59	o 290 
33.06/5.62	o 289 
33.06/5.64	o 288 
33.06/5.67	o 287 
33.06/5.69	o 286 
33.70/5.72	o 285 
33.70/5.74	o 284 
33.70/5.77	o 283 
33.70/5.79	o 282 
34.32/5.82	o 281 
34.32/5.84	o 280 
34.32/5.87	o 279 
34.32/5.89	o 278 
34.85/5.92	o 277 
34.85/5.94	o 276 
34.85/5.97	o 275 
34.85/5.99	o 274 
35.54/6.03	o 273 
35.54/6.06	o 272 
35.54/6.08	o 271 
35.54/6.11	o 270 
36.13/6.13	o 269 
36.13/6.16	o 268 
36.13/6.18	o 267 
36.70/6.22	o 266 
36.70/6.24	o 265 
36.70/6.27	o 264 
37.27/6.31	o 263 
37.27/6.33	o 262 
37.27/6.36	o 261 
37.27/6.38	o 260 
37.90/6.41	o 259 
37.90/6.43	o 258 
37.90/6.46	o 257 
37.90/6.48	o 256 
38.54/6.51	o 255 
38.54/6.53	o 254 
38.54/6.56	o 253 
38.54/6.58	o 252 
39.16/6.61	o 251 
39.16/6.63	o 250 
39.16/6.66	o 249 
39.16/6.68	o 248 
39.78/6.71	o 247 
39.78/6.73	o 246 
39.78/6.76	o 245 
39.78/6.79	o 244 
40.40/6.81	o 243 
40.40/6.84	o 242 
40.40/6.87	o 241 
40.40/6.89	o 240 
41.05/6.91	o 239 
41.05/6.94	o 238 
41.05/6.97	o 237 
41.05/7.00	o 236 
41.64/7.02	o 235 
41.64/7.05	o 234 
41.64/7.08	o 233 
41.64/7.10	o 232 
42.24/7.13	o 231 
42.24/7.15	o 230 
42.24/7.18	o 229 
42.74/7.21	o 228 
42.74/7.26	o 227 
42.74/7.28	o 226 
43.38/7.31	o 225 
43.38/7.33	o 224 
43.38/7.36	o 223 
43.38/7.38	o 222 
43.99/7.41	o 221 
43.99/7.44	o 220 
43.99/7.46	o 219 
43.99/7.49	o 218 
44.63/7.51	o 217 
44.63/7.53	o 216 
44.63/7.56	o 215 
44.63/7.59	o 214 
45.27/7.61	o 213 
45.27/7.64	o 212 
45.27/7.67	o 211 
45.27/7.69	o 210 
45.83/7.72	o 209 
45.83/7.75	o 208 
45.83/7.77	o 207 
45.83/7.80	o 206 
46.46/7.82	o 205 
46.46/7.85	o 204 
46.46/7.87	o 203 
46.46/7.90	o 202 
47.10/7.92	o 201 
47.10/7.94	o 200 
47.10/7.97	o 199 
47.10/7.99	o 198 
47.92/8.03	o 197 
47.92/8.05	o 196 
47.92/8.08	o 195 
47.92/8.10	o 194 
48.55/8.13	o 193 
48.55/8.16	o 192 
48.55/8.19	o 191 
49.01/8.21	o 190 
49.01/8.24	o 189 
49.01/8.27	o 188 
49.01/8.29	o 187 
49.56/8.32	o 186 
49.56/8.37	o 185 
49.56/8.40	o 184 
50.21/8.42	o 183 
50.21/8.45	o 182 
50.21/8.47	o 181 
50.85/8.50	o 180 
50.85/8.52	o 179 
50.85/8.55	o 178 
50.85/8.57	o 177 
51.50/8.60	o 176 
51.50/8.62	o 175 
51.50/8.65	o 174 
51.50/8.67	o 173 
51.50/8.70	o 172 
52.16/8.72	o 171 
52.16/8.74	o 170 
52.16/8.76	o 169 
52.16/8.79	o 168 
52.83/8.81	o 167 
52.83/8.84	o 166 
52.83/8.86	o 165 
52.83/8.88	o 164 
53.47/8.91	o 163 
53.47/8.93	o 162 
53.47/8.95	o 161 
53.47/8.98	o 160 
53.47/9.00	o 159 
54.14/9.03	o 158 
54.14/9.06	o 157 
54.14/9.08	o 156 
54.75/9.11	o 155 
54.75/9.13	o 154 
54.75/9.16	o 153 
54.75/9.19	o 152 
55.34/9.21	o 151 
55.34/9.23	o 150 
55.34/9.25	o 149 
55.34/9.28	o 148 
55.96/9.30	o 147 
55.96/9.34	o 146 
55.96/9.37	o 145 
55.96/9.39	o 144 
56.53/9.42	o 143 
56.53/9.45	o 142 
56.53/9.47	o 141 
57.11/9.50	o 140 
57.11/9.53	o 139 
57.11/9.56	o 138 
57.76/9.61	o 137 
57.76/9.64	o 136 
57.76/9.67	o 135 
58.32/9.70	o 134 
58.32/9.73	o 133 
58.32/9.76	o 132 
58.32/9.78	o 131 
58.93/9.81	o 130 
58.93/9.84	o 129 
58.93/9.86	o 128 
58.93/9.89	o 127 
59.52/9.91	o 126 
59.52/9.94	o 125 
59.52/9.97	o 124 
60.13/10.01	o 123 
60.13/10.03	o 122 
60.13/10.06	o 121 
60.13/10.08	o 120 
60.79/10.12	o 119 
60.79/10.14	o 118 
60.79/10.17	o 117 
60.79/10.19	o 116 
61.27/10.24	o 115 
61.27/10.26	o 114 
61.77/10.30	o 113 
61.77/10.35	o 112 
61.77/10.39	o 111 
62.25/10.42	o 110 
62.25/10.45	o 109 
62.25/10.49	o 108 
62.68/10.55	o 107 
62.68/10.57	o 106 
63.32/10.60	o 105 
63.32/10.62	o 104 
63.32/10.65	o 103 
63.32/10.68	o 102 
63.94/10.70	o 101 
63.94/10.73	o 100 
67.11/11.11	o 99 
69.35/11.46	o 98 
73.27/11.90	o 97 
76.41/12.32	o 96 
79.57/12.72	o 95 
82.00/13.09	o 94 
85.09/13.45	o 93 
87.46/13.78	o 92 
89.84/14.09	o 91 
92.90/14.41	o 90 
94.44/14.69	o 89 
96.79/14.99	o 88 
99.15/15.26	o 87 
101.45/15.56	o 86 
103.80/15.84	o 85 
106.96/16.23	o 84 
110.13/16.67	o 83 
114.14/17.12	o 82 
117.20/17.52	o 81 
120.35/17.95	o 80 
123.50/18.36	o 79 
127.47/18.88	o 78 
132.19/19.47	o 77 
136.98/20.05	o 76 
140.07/20.49	o 75 
144.02/20.95	o 74 
149.58/21.65	o 73 
155.14/22.36	o 72 
160.72/23.05	o 71 
166.21/23.70	o 70 
170.17/24.28	o 69 
174.91/24.86	o 68 
180.46/25.58	o 67 
184.42/26.08	o 66 
189.11/26.63	o 65 
193.87/27.26	o 64 
199.41/27.93	o 63 
204.94/28.63	o 62 
209.69/29.23	o 61 
215.20/29.98	o 60 
221.54/30.73	o 59 
228.67/31.62	o 58 
235.82/32.54	o 57 
243.75/33.56	o 56 
1986.44/252.08	s SATISFIABLE
1986.44/252.08	v <instantiation>
1986.44/252.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>
1986.44/252.08	v 	<values>56 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
1986.44/252.08	v </instantiation>
1986.44/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	56

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281430-1503184549/watcher-4281430-1503184549 -o /tmp/evaluation-result-4281430-1503184549/solver-4281430-1503184549 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503174863-20898 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2086493337 HOME/instance-4281430-1503184549.xml 

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

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


[startup+0.100132 s]*
/proc/loadavg: 7.23 8.15 8.14 2/201 22494
/proc/meminfo: memFree=24027132/32770624 swapFree=67108860/67108860
[pid=22473] ppid=22470 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22473/stat : 22473 (xcsp3-exec) S 22470 22473 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151542610 9740288 346 33554432000 4194304 5098028 140728944432816 140728944430920 139674128437884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15237120 140728944440426 140728944440636 140728944440636 140728944443371 0
/proc/22473/statm: 2378 346 289 221 0 87 0
[pid=22475] ppid=22473 vsize=25999808 memory=26120 CPUtime=0.11 cores=0-7
/proc/22475/stat : 22475 (java) S 22473 22473 20871 0 -1 1077944320 5470 0 0 0 10 1 0 0 20 0 20 0 151542610 26623803392 6530 33554432000 4194304 4196468 140733279463136 140733279445680 140417738079991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
/proc/22475/statm: 6499952 6530 2846 1 0 6488269 0
[pid=22475/tid=22476] ppid=22473 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/22475/task/22476/stat : 22476 (java) R 22473 22473 20871 0 -1 4202560 3475 0 0 0 8 0 0 0 20 0 20 0 151542611 26623803392 6530 33554432000 4194304 4196468 140733279463136 140417742304048 140417724148110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22477] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22477/stat : 22477 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542612 26623803392 6530 33554432000 4194304 4196468 140733279463136 140417660660496 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22478] ppid=22473 vsize=25999808 memory=139665197307520 CPUtime=0 cores=0-7
/proc/22475/task/22478/stat : 22478 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26623803392 6530 33554432000 4194304 4196468 140733279463136 140417659607952 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22479] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22479/stat : 22479 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26623803392 6530 33554432000 4194304 4196468 140733279463136 140417658555408 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22480] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22480/stat : 22480 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26623803392 6530 33554432000 4194304 4196468 140733279463136 140417657502864 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22481] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22481/stat : 22481 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542612 26623803392 6530 33554432000 4194304 4196468 140733279463136 140417656449296 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22482] ppid=22473 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22475/task/22482/stat : 22482 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542612 26623803392 6530 33554432000 4194304 4196468 140733279463136 140417655396752 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22483] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22483/stat : 22483 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26623803392 6530 33554432000 4194304 4196468 140733279463136 140417654344208 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22484] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22484/stat : 22484 (java) S 22473 22473 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151542612 26623803392 6530 33554432000 4194304 4196468 140733279463136 140417653291664 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22485] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22485/stat : 22485 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542613 26623803392 6530 33554432000 4194304 4196468 140733279463136 140417246190064 140417738091138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22486] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22486/stat : 22486 (java) S 22473 22473 20871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151542614 26623803392 6530 33554432000 4194304 4196468 140733279463136 140416730031520 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22487] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22487/stat : 22487 (java) S 22473 22473 20871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151542614 26623803392 6530 33554432000 4194304 4196468 140733279463136 140416728978928 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22488] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22488/stat : 22488 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542616 26623803392 6530 33554432000 4194304 4196468 140733279463136 140416727927504 140417738098587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22489] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22489/stat : 22489 (java) S 22473 22473 20871 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 151542616 26623803392 6530 33554432000 4194304 4196468 140733279463136 140416726874096 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22490] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22490/stat : 22490 (java) R 22473 22473 20871 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 151542616 26623803392 6530 33554432000 4194304 4196468 140733279463136 140416725821552 140417738091138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22491] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22491/stat : 22491 (java) S 22473 22473 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151542616 26623803392 6530 33554432000 4194304 4196468 140733279463136 140416724769008 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22492] ppid=22473 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22475/task/22492/stat : 22492 (java) R 22473 22473 20871 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 20 0 151542616 26623803392 6530 33554432000 4194304 4196468 140733279463136 140416723716464 140417723761786 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22493] ppid=22473 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22493/stat : 22493 (java) S 22473 22473 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151542616 26623803392 6530 33554432000 4194304 4196468 140733279463136 140416722664160 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22494] ppid=22473 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22475/task/22494/stat : 22494 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542617 26623803392 6530 33554432000 4194304 4196468 140733279463136 140416721611696 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27504 KiB

[startup+0.210473 s]*
/proc/loadavg: 7.23 8.15 8.14 2/201 22494
/proc/meminfo: memFree=24015116/32770624 swapFree=67108860/67108860
[pid=22473] ppid=22470 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22473/stat : 22473 (xcsp3-exec) S 22470 22473 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151542610 9740288 346 33554432000 4194304 5098028 140728944432816 140728944430920 139674128437884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15237120 140728944440426 140728944440636 140728944440636 140728944443371 0
/proc/22473/statm: 2378 346 289 221 0 87 0
[pid=22475] ppid=22473 vsize=26004064 memory=38836 CPUtime=0.33 cores=0-7
/proc/22475/stat : 22475 (java) S 22473 22473 20871 0 -1 1077944320 8302 0 0 0 31 2 0 0 20 0 20 0 151542610 26628161536 9709 33554432000 4194304 4196468 140733279463136 140733279445680 140417738079991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
/proc/22475/statm: 6501016 9709 3048 1 0 6488269 0
[pid=22475/tid=22476] ppid=22473 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22475/task/22476/stat : 22476 (java) R 22473 22473 20871 0 -1 4202560 5391 0 0 0 18 1 0 0 20 0 20 0 151542611 26628161536 9709 33554432000 4194304 4196468 140733279463136 140417742300984 140417730758005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22477] ppid=22473 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/22475/task/22477/stat : 22477 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 9709 33554432000 4194304 4196468 140733279463136 140417660660496 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22478] ppid=22473 vsize=26004064 memory=139665197327976 CPUtime=0 cores=0-7
/proc/22475/task/22478/stat : 22478 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 9709 33554432000 4194304 4196468 140733279463136 140417659607952 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22479] ppid=22473 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22475/task/22479/stat : 22479 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 9709 33554432000 4194304 4196468 140733279463136 140417658555408 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22480] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22480/stat : 22480 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 9709 33554432000 4194304 4196468 140733279463136 140417657502864 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22481] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22481/stat : 22481 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 9709 33554432000 4194304 4196468 140733279463136 140417656449296 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22482] ppid=22473 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22475/task/22482/stat : 22482 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 9709 33554432000 4194304 4196468 140733279463136 140417655396752 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22483] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22483/stat : 22483 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 9709 33554432000 4194304 4196468 140733279463136 140417654344208 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22484] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22484/stat : 22484 (java) S 22473 22473 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 9709 33554432000 4194304 4196468 140733279463136 140417653291664 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22485] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22485/stat : 22485 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542613 26628161536 9709 33554432000 4194304 4196468 140733279463136 140417246190064 140417738091138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22486] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22486/stat : 22486 (java) S 22473 22473 20871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151542614 26628161536 9709 33554432000 4194304 4196468 140733279463136 140416730031520 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22487] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22487/stat : 22487 (java) S 22473 22473 20871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151542614 26628161536 9709 33554432000 4194304 4196468 140733279463136 140416728978928 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22488] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22488/stat : 22488 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542616 26628161536 9709 33554432000 4194304 4196468 140733279463136 140416727927504 140417738098587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22489] ppid=22473 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22475/task/22489/stat : 22489 (java) R 22473 22473 20871 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 20 0 151542616 26628161536 9709 33554432000 4194304 4196468 140733279463136 140416726874096 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22490] ppid=22473 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22475/task/22490/stat : 22490 (java) S 22473 22473 20871 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 151542616 26628161536 9709 33554432000 4194304 4196468 140733279463136 140416725821552 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22491] ppid=22473 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/22475/task/22491/stat : 22491 (java) R 22473 22473 20871 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 151542616 26628161536 9709 33554432000 4194304 4196468 140733279463136 140416724769008 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22492] ppid=22473 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/22475/task/22492/stat : 22492 (java) R 22473 22473 20871 0 -1 4202560 765 0 0 0 7 0 0 0 20 0 20 0 151542616 26628161536 9709 33554432000 4194304 4196468 140733279463136 140416723716464 140417738091926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22493] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22493/stat : 22493 (java) S 22473 22473 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151542616 26628161536 9709 33554432000 4194304 4196468 140733279463136 140416722664160 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22494] ppid=22473 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22475/task/22494/stat : 22494 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542617 26628161536 9709 33554432000 4194304 4196468 140733279463136 140416721611696 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40220 KiB

[startup+0.31056 s]*
/proc/loadavg: 7.23 8.15 8.14 3/201 22494
/proc/meminfo: memFree=24008540/32770624 swapFree=67108860/67108860
[pid=22473] ppid=22470 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22473/stat : 22473 (xcsp3-exec) S 22470 22473 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151542610 9740288 346 33554432000 4194304 5098028 140728944432816 140728944430920 139674128437884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15237120 140728944440426 140728944440636 140728944440636 140728944443371 0
/proc/22473/statm: 2378 346 289 221 0 87 0
[pid=22475] ppid=22473 vsize=26004064 memory=45748 CPUtime=0.5 cores=0-7
/proc/22475/stat : 22475 (java) S 22473 22473 20871 0 -1 1077944320 9213 0 0 0 47 3 0 0 20 0 20 0 151542610 26628161536 11437 33554432000 4194304 4196468 140733279463136 140733279445680 140417738079991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
/proc/22475/statm: 6501016 11437 3064 1 0 6488269 0
[pid=22475/tid=22476] ppid=22473 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22475/task/22476/stat : 22476 (java) R 22473 22473 20871 0 -1 4202560 6122 0 0 0 27 2 0 0 20 0 20 0 151542611 26628161536 11437 33554432000 4194304 4196468 140733279463136 140417742316400 140417738091926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22477] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22477/stat : 22477 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 11437 33554432000 4194304 4196468 140733279463136 140417660660496 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22478] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22478/stat : 22478 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 11437 33554432000 4194304 4196468 140733279463136 140417659607952 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22479] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22479/stat : 22479 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 11437 33554432000 4194304 4196468 140733279463136 140417658555408 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22480] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22480/stat : 22480 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 11437 33554432000 4194304 4196468 140733279463136 140417657502864 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22481] ppid=22473 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22475/task/22481/stat : 22481 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 11437 33554432000 4194304 4196468 140733279463136 140417656449296 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22482] ppid=22473 vsize=26004064 memory=139665088803759 CPUtime=0 cores=0-7
/proc/22475/task/22482/stat : 22482 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 11437 33554432000 4194304 4196468 140733279463136 140417655396752 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22483] ppid=22473 vsize=26004064 memory=139665088806064 CPUtime=0 cores=0-7
/proc/22475/task/22483/stat : 22483 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 11437 33554432000 4194304 4196468 140733279463136 140417654344208 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22484] ppid=22473 vsize=26004064 memory=139665088808368 CPUtime=0 cores=0-7
/proc/22475/task/22484/stat : 22484 (java) S 22473 22473 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151542612 26628161536 11437 33554432000 4194304 4196468 140733279463136 140417653291664 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22485] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22485/stat : 22485 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542613 26628161536 11437 33554432000 4194304 4196468 140733279463136 140417246190064 140417738091138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22486] ppid=22473 vsize=26004064 memory=279330177623696 CPUtime=0 cores=0-7
/proc/22475/task/22486/stat : 22486 (java) S 22473 22473 20871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151542614 26628161536 11437 33554432000 4194304 4196468 140733279463136 140416730031520 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22487] ppid=22473 vsize=26004064 memory=279330177630608 CPUtime=0 cores=0-7
/proc/22475/task/22487/stat : 22487 (java) S 22473 22473 20871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151542614 26628161536 11437 33554432000 4194304 4196468 140733279463136 140416728978928 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22488] ppid=22473 vsize=26004064 memory=279330177571888 CPUtime=0 cores=0-7
/proc/22475/task/22488/stat : 22488 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542616 26628161536 11437 33554432000 4194304 4196468 140733279463136 140416727927504 140417738098587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22489] ppid=22473 vsize=26004064 memory=279330177644432 CPUtime=0.02 cores=0-7
/proc/22475/task/22489/stat : 22489 (java) S 22473 22473 20871 0 -1 1077944384 592 0 0 0 2 0 0 0 20 0 20 0 151542616 26628161536 11437 33554432000 4194304 4196468 140733279463136 140416726874096 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22490] ppid=22473 vsize=26004064 memory=279330177651344 CPUtime=0.01 cores=0-7
/proc/22475/task/22490/stat : 22490 (java) S 22473 22473 20871 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 20 0 151542616 26628161536 11437 33554432000 4194304 4196468 140733279463136 140416725821552 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22491] ppid=22473 vsize=26004064 memory=279330177649040 CPUtime=0.03 cores=0-7
/proc/22475/task/22491/stat : 22491 (java) S 22473 22473 20871 0 -1 1077944384 121 0 0 0 3 0 0 0 20 0 20 0 151542616 26628161536 11437 33554432000 4194304 4196468 140733279463136 140416724769008 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22492] ppid=22473 vsize=26004064 memory=279330177665200 CPUtime=0.12 cores=0-7
/proc/22475/task/22492/stat : 22492 (java) R 22473 22473 20871 0 -1 4202560 879 0 0 0 12 0 0 0 20 0 20 0 151542616 26628161536 11437 33554432000 4194304 4196468 140733279463136 140416723716464 140417738101338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22493] ppid=22473 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22493/stat : 22493 (java) S 22473 22473 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151542616 26628161536 11437 33554432000 4194304 4196468 140733279463136 140416722664160 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22494] ppid=22473 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22475/task/22494/stat : 22494 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542617 26628161536 11437 33554432000 4194304 4196468 140733279463136 140416721611696 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47132 KiB

[startup+0.701059 s]
/proc/loadavg: 7.23 8.15 8.14 4/201 22494
/proc/meminfo: memFree=23990484/32770624 swapFree=67108860/67108860
[pid=22473] ppid=22470 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22473/stat : 22473 (xcsp3-exec) S 22470 22473 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151542610 9740288 346 33554432000 4194304 5098028 140728944432816 140728944430920 139674128437884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15237120 140728944440426 140728944440636 140728944440636 140728944443371 0
/proc/22473/statm: 2378 346 289 221 0 87 0
[pid=22475] ppid=22473 vsize=26006188 memory=137436 CPUtime=1.76 cores=0-7
/proc/22475/stat : 22475 (java) S 22473 22473 20871 0 -1 1077944320 12742 0 0 0 171 5 0 0 20 0 20 0 151542610 26630336512 34359 33554432000 4194304 4196468 140733279463136 140733279445680 140417738079991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
/proc/22475/statm: 6501547 34359 3210 1 0 6488781 0
[pid=22475/tid=22476] ppid=22473 vsize=26006188 memory=279330178023088 CPUtime=0.67 cores=0-7
/proc/22475/task/22476/stat : 22476 (java) R 22473 22473 20871 0 -1 4202560 6743 0 0 0 64 3 0 0 20 0 20 0 151542611 26630336512 34359 33554432000 4194304 4196468 140733279463136 140417742316352 140417328846224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22477] ppid=22473 vsize=26006188 memory=139665089012592 CPUtime=0 cores=0-7
/proc/22475/task/22477/stat : 22477 (java) S 22473 22473 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151542612 26630336512 34359 33554432000 4194304 4196468 140733279463136 140417660660496 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22478] ppid=22473 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/22475/task/22478/stat : 22478 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26630336512 34359 33554432000 4194304 4196468 140733279463136 140417659607952 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22479] ppid=22473 vsize=26006188 memory=11112 CPUtime=0 cores=0-7
/proc/22475/task/22479/stat : 22479 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151542612 26630336512 34359 33554432000 4194304 4196468 140733279463136 140417658555408 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0

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

[pid=22475/tid=24862] ppid=22473 vsize=26538700 memory=1384 CPUtime=128.34 cores=0-7
/proc/22475/task/24862/stat : 24862 (java) R 22473 22473 20871 0 -1 4202560 1300 0 0 0 12833 1 0 0 20 0 28 0 151545967 27175628800 378559 33554432000 4194304 4196468 140733279463136 140416709390680 140417335838782 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
Current children cumulated CPU time: 1270.81 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1515620 KiB

[startup+222.301 s]
/proc/loadavg: 8.02 8.12 8.13 9/208 24862
/proc/meminfo: memFree=22544120/32770624 swapFree=67108860/67108860
[pid=22473] ppid=22470 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22473/stat : 22473 (xcsp3-exec) S 22470 22473 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151542610 9740288 346 33554432000 4194304 5098028 140728944432816 140728944430920 139674128437884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15237120 140728944440426 140728944440636 140728944440636 140728944443371 0
/proc/22473/statm: 2378 346 289 221 0 87 0
[pid=22475] ppid=22473 vsize=26538700 memory=1514216 CPUtime=1749.43 cores=0-7
/proc/22475/stat : 22475 (java) S 22473 22473 20871 0 -1 1077944320 125016 0 0 0 174659 284 0 0 20 0 28 0 151542610 27175628800 378554 33554432000 4194304 4196468 140733279463136 140733279445680 140417738079991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
/proc/22475/statm: 6634675 378554 3304 1 0 6621909 0
[pid=22475/tid=22476] ppid=22473 vsize=26538700 memory=1514216 CPUtime=1.92 cores=0-7
/proc/22475/task/22476/stat : 22476 (java) S 22473 22473 20871 0 -1 1077944384 7234 0 0 0 184 8 0 0 20 0 28 0 151542611 27175628800 378554 33554432000 4194304 4196468 140733279463136 140417742320688 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22477] ppid=22473 vsize=26538700 memory=1505676 CPUtime=1.53 cores=0-7
/proc/22475/task/22477/stat : 22477 (java) S 22473 22473 20871 0 -1 1077944384 2844 0 0 0 131 22 0 0 20 0 28 0 151542612 27175628800 378554 33554432000 4194304 4196468 140733279463136 140417660660496 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22478] ppid=22473 vsize=26538700 memory=1514148 CPUtime=1.56 cores=0-7
/proc/22475/task/22478/stat : 22478 (java) S 22473 22473 20871 0 -1 1077944384 2125 0 0 0 132 24 0 0 20 0 28 0 151542612 27175628800 378554 33554432000 4194304 4196468 140733279463136 140417659607952 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22479] ppid=22473 vsize=26538700 memory=1516460 CPUtime=1.55 cores=0-7
/proc/22475/task/22479/stat : 22479 (java) S 22473 22473 20871 0 -1 1077944384 2381 0 0 0 133 22 0 0 20 0 28 0 151542612 27175628800 378554 33554432000 4194304 4196468 140733279463136 140417658555408 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22480] ppid=22473 vsize=26538700 memory=1518500 CPUtime=1.5 cores=0-7
/proc/22475/task/22480/stat : 22480 (java) S 22473 22473 20871 0 -1 1077944384 2019 0 0 0 128 22 0 0 20 0 28 0 151542612 27175628800 378554 33554432000 4194304 4196468 140733279463136 140417657502864 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22481] ppid=22473 vsize=26538700 memory=1518556 CPUtime=1.54 cores=0-7
/proc/22475/task/22481/stat : 22481 (java) S 22473 22473 20871 0 -1 1077944384 2707 0 0 0 132 22 0 0 20 0 28 0 151542612 27175628800 378554 33554432000 4194304 4196468 140733279463136 140417656449296 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22482] ppid=22473 vsize=26538700 memory=1516228 CPUtime=1.55 cores=0-7
/proc/22475/task/22482/stat : 22482 (java) S 22473 22473 20871 0 -1 1077944384 1531 0 0 0 132 23 0 0 20 0 28 0 151542612 27175628800 378554 33554432000 4194304 4196468 140733279463136 140417655396752 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22483] ppid=22473 vsize=26538700 memory=1514216 CPUtime=1.54 cores=0-7
/proc/22475/task/22483/stat : 22483 (java) S 22473 22473 20871 0 -1 1077944384 1551 0 0 0 130 24 0 0 20 0 28 0 151542612 27175628800 378554 33554432000 4194304 4196468 140733279463136 140417654344208 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22484] ppid=22473 vsize=26538700 memory=1514216 CPUtime=1.55 cores=0-7
/proc/22475/task/22484/stat : 22484 (java) S 22473 22473 20871 0 -1 1077944384 2779 0 0 0 134 21 0 0 20 0 28 0 151542612 27175628800 378554 33554432000 4194304 4196468 140733279463136 140417653291664 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22485] ppid=22473 vsize=26538700 memory=1384 CPUtime=0.09 cores=0-7
/proc/22475/task/22485/stat : 22485 (java) S 22473 22473 20871 0 -1 1077944384 5150 0 0 0 7 2 0 0 20 0 28 0 151542613 27175628800 378554 33554432000 4194304 4196468 140733279463136 140417246190064 140417738091138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22486] ppid=22473 vsize=26538700 memory=2257 CPUtime=0 cores=0-7
/proc/22475/task/22486/stat : 22486 (java) S 22473 22473 20871 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151542614 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416730031584 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22487] ppid=22473 vsize=26538700 memory=1865357985025 CPUtime=0 cores=0-7
/proc/22475/task/22487/stat : 22487 (java) S 22473 22473 20871 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151542614 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416728978944 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22488] ppid=22473 vsize=26538700 memory=1518500 CPUtime=0 cores=0-7
/proc/22475/task/22488/stat : 22488 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151542616 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416727927504 140417738098587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22489] ppid=22473 vsize=26538700 memory=1514216 CPUtime=1.81 cores=0-7
/proc/22475/task/22489/stat : 22489 (java) S 22473 22473 20871 0 -1 1077944384 6789 0 0 0 180 1 0 0 20 0 28 0 151542616 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416726874096 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22490] ppid=22473 vsize=26538700 memory=1384 CPUtime=1.57 cores=0-7
/proc/22475/task/22490/stat : 22490 (java) S 22473 22473 20871 0 -1 1077944384 5796 0 0 0 155 2 0 0 20 0 28 0 151542616 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416725821552 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22491] ppid=22473 vsize=26538700 memory=1384 CPUtime=2.08 cores=0-7
/proc/22475/task/22491/stat : 22491 (java) S 22473 22473 20871 0 -1 1077944384 8604 0 0 0 207 1 0 0 20 0 28 0 151542616 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416724769008 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22492] ppid=22473 vsize=26538700 memory=1384 CPUtime=0.91 cores=0-7
/proc/22475/task/22492/stat : 22492 (java) S 22473 22473 20871 0 -1 1077944384 8851 0 0 0 90 1 0 0 20 0 28 0 151542616 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416723716464 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22493] ppid=22473 vsize=26538700 memory=1516228 CPUtime=0 cores=0-7
/proc/22475/task/22493/stat : 22493 (java) S 22473 22473 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151542616 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416722664160 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22494] ppid=22473 vsize=26538700 memory=1384 CPUtime=0.08 cores=0-7
/proc/22475/task/22494/stat : 22494 (java) S 22473 22473 20871 0 -1 1077944384 877 0 0 0 8 0 0 0 20 0 28 0 151542617 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416721611696 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24855] ppid=22473 vsize=26538700 memory=1384 CPUtime=186.15 cores=0-7
/proc/22475/task/24855/stat : 24855 (java) R 22473 22473 20871 0 -1 4202560 1720 0 0 0 18613 2 0 0 20 0 28 0 151545967 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416711494984 140417335450455 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24856] ppid=22473 vsize=26538700 memory=1518728 CPUtime=186.9 cores=0-7
/proc/22475/task/24856/stat : 24856 (java) R 22473 22473 20871 0 -1 4202560 1660 0 0 0 18690 0 0 0 20 0 28 0 151545967 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416712549048 140417335450014 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24857] ppid=22473 vsize=26538700 memory=42160 CPUtime=188.28 cores=0-7
/proc/22475/task/24857/stat : 24857 (java) R 22473 22473 20871 0 -1 4202560 2128 0 0 0 18827 1 0 0 20 0 28 0 151545967 27175628800 378554 33554432000 4194304 4196468 140733279463136 140415917862568 140417332631383 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24858] ppid=22473 vsize=26538700 memory=1384 CPUtime=188.31 cores=0-7
/proc/22475/task/24858/stat : 24858 (java) R 22473 22473 20871 0 -1 4202560 19348 0 0 0 18811 20 0 0 20 0 28 0 151545967 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416713601128 140417335848871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24859] ppid=22473 vsize=26538700 memory=4140 CPUtime=187.96 cores=0-7
/proc/22475/task/24859/stat : 24859 (java) R 22473 22473 20871 0 -1 4202560 3071 0 0 0 18795 1 0 0 20 0 28 0 151545967 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416710442816 140417337647144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24860] ppid=22473 vsize=26538700 memory=0 CPUtime=188.22 cores=0-7
/proc/22475/task/24860/stat : 24860 (java) R 22473 22473 20871 0 -1 4202560 3891 0 0 0 18819 3 0 0 20 0 28 0 151545967 27175628800 378554 33554432000 4194304 4196468 140733279463136 140415919971248 140417336248263 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24861] ppid=22473 vsize=26538700 memory=1200 CPUtime=188.18 cores=0-7
/proc/22475/task/24861/stat : 24861 (java) R 22473 22473 20871 0 -1 4202560 1492 0 0 0 18816 2 0 0 20 0 28 0 151545967 27175628800 378554 33554432000 4194304 4196468 140733279463136 140415918915768 140417336332216 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24862] ppid=22473 vsize=26538700 memory=1514216 CPUtime=188.1 cores=0-7
/proc/22475/task/24862/stat : 24862 (java) R 22473 22473 20871 0 -1 4202560 1440 0 0 0 18809 1 0 0 20 0 28 0 151545967 27175628800 378554 33554432000 4194304 4196468 140733279463136 140416709390680 140417336248165 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
Current children cumulated CPU time: 1749.43 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1515600 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.01 8.10 8.13 9/208 24862
/proc/meminfo: memFree=22555604/32770624 swapFree=67108860/67108860
[pid=22473] ppid=22470 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22473/stat : 22473 (xcsp3-exec) S 22470 22473 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151542610 9740288 346 33554432000 4194304 5098028 140728944432816 140728944430920 139674128437884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15237120 140728944440426 140728944440636 140728944440636 140728944443371 0
/proc/22473/statm: 2378 346 289 221 0 87 0
[pid=22475] ppid=22473 vsize=26538700 memory=1501900 CPUtime=1986.44 cores=0-7
/proc/22475/stat : 22475 (java) S 22473 22473 20871 0 -1 1077944320 125821 0 0 0 198359 285 0 0 20 0 28 0 151542610 27175628800 375475 33554432000 4194304 4196468 140733279463136 140733279445680 140417738079991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
/proc/22475/statm: 6634675 375475 3304 1 0 6621909 0
[pid=22475/tid=22476] ppid=22473 vsize=26538700 memory=42160 CPUtime=1.92 cores=0-7
/proc/22475/task/22476/stat : 22476 (java) S 22473 22473 20871 0 -1 1077944384 7234 0 0 0 184 8 0 0 20 0 28 0 151542611 27175628800 375475 33554432000 4194304 4196468 140733279463136 140417742320688 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22477] ppid=22473 vsize=26538700 memory=1384 CPUtime=1.55 cores=0-7
/proc/22475/task/22477/stat : 22477 (java) S 22473 22473 20871 0 -1 1077944384 2856 0 0 0 133 22 0 0 20 0 28 0 151542612 27175628800 375475 33554432000 4194304 4196468 140733279463136 140417660660496 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22478] ppid=22473 vsize=26538700 memory=1504984 CPUtime=1.57 cores=0-7
/proc/22475/task/22478/stat : 22478 (java) S 22473 22473 20871 0 -1 1077944384 2131 0 0 0 133 24 0 0 20 0 28 0 151542612 27175628800 375475 33554432000 4194304 4196468 140733279463136 140417659607952 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22479] ppid=22473 vsize=26538700 memory=6791534058613427641 CPUtime=1.56 cores=0-7
/proc/22475/task/22479/stat : 22479 (java) S 22473 22473 20871 0 -1 1077944384 2388 0 0 0 134 22 0 0 20 0 28 0 151542612 27175628800 375475 33554432000 4194304 4196468 140733279463136 140417658555408 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22480] ppid=22473 vsize=26538700 memory=8612 CPUtime=1.52 cores=0-7
/proc/22475/task/22480/stat : 22480 (java) S 22473 22473 20871 0 -1 1077944384 2026 0 0 0 130 22 0 0 20 0 28 0 151542612 27175628800 375475 33554432000 4194304 4196468 140733279463136 140417657502864 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22481] ppid=22473 vsize=26538700 memory=1384 CPUtime=1.55 cores=0-7
/proc/22475/task/22481/stat : 22481 (java) S 22473 22473 20871 0 -1 1077944384 2709 0 0 0 133 22 0 0 20 0 28 0 151542612 27175628800 375475 33554432000 4194304 4196468 140733279463136 140417656449296 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22482] ppid=22473 vsize=26538700 memory=1501900 CPUtime=1.56 cores=0-7
/proc/22475/task/22482/stat : 22482 (java) S 22473 22473 20871 0 -1 1077944384 1536 0 0 0 133 23 0 0 20 0 28 0 151542612 27175628800 375475 33554432000 4194304 4196468 140733279463136 140417655396752 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22483] ppid=22473 vsize=26538700 memory=1008 CPUtime=1.56 cores=0-7
/proc/22475/task/22483/stat : 22483 (java) S 22473 22473 20871 0 -1 1077944384 1569 0 0 0 132 24 0 0 20 0 28 0 151542612 27175628800 375475 33554432000 4194304 4196468 140733279463136 140417654344208 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22484] ppid=22473 vsize=26538700 memory=11112 CPUtime=1.57 cores=0-7
/proc/22475/task/22484/stat : 22484 (java) S 22473 22473 20871 0 -1 1077944384 2799 0 0 0 136 21 0 0 20 0 28 0 151542612 27175628800 375475 33554432000 4194304 4196468 140733279463136 140417653291664 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22485] ppid=22473 vsize=26538700 memory=1228 CPUtime=0.09 cores=0-7
/proc/22475/task/22485/stat : 22485 (java) S 22473 22473 20871 0 -1 1077944384 5155 0 0 0 7 2 0 0 20 0 28 0 151542613 27175628800 375475 33554432000 4194304 4196468 140733279463136 140417246190064 140417738091138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22486] ppid=22473 vsize=26538700 memory=1420 CPUtime=0 cores=0-7
/proc/22475/task/22486/stat : 22486 (java) S 22473 22473 20871 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 151542614 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416730031584 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22487] ppid=22473 vsize=26538700 memory=15876 CPUtime=0 cores=0-7
/proc/22475/task/22487/stat : 22487 (java) S 22473 22473 20871 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151542614 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416728978944 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22488] ppid=22473 vsize=26538700 memory=16448 CPUtime=0 cores=0-7
/proc/22475/task/22488/stat : 22488 (java) S 22473 22473 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151542616 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416727927504 140417738098587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22489] ppid=22473 vsize=26538700 memory=1501900 CPUtime=1.82 cores=0-7
/proc/22475/task/22489/stat : 22489 (java) S 22473 22473 20871 0 -1 1077944384 7152 0 0 0 181 1 0 0 20 0 28 0 151542616 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416726874096 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22490] ppid=22473 vsize=26538700 memory=1692 CPUtime=1.57 cores=0-7
/proc/22475/task/22490/stat : 22490 (java) S 22473 22473 20871 0 -1 1077944384 5796 0 0 0 155 2 0 0 20 0 28 0 151542616 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416725821552 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22491] ppid=22473 vsize=26538700 memory=916 CPUtime=2.08 cores=0-7
/proc/22475/task/22491/stat : 22491 (java) S 22473 22473 20871 0 -1 1077944384 8604 0 0 0 207 1 0 0 20 0 28 0 151542616 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416724769008 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22492] ppid=22473 vsize=26538700 memory=4416 CPUtime=0.91 cores=0-7
/proc/22475/task/22492/stat : 22492 (java) S 22473 22473 20871 0 -1 1077944384 8851 0 0 0 90 1 0 0 20 0 28 0 151542616 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416723716464 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22493] ppid=22473 vsize=26538700 memory=4100 CPUtime=0 cores=0-7
/proc/22475/task/22493/stat : 22493 (java) S 22473 22473 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151542616 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416722664160 140417738090197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=22494] ppid=22473 vsize=26538700 memory=1156 CPUtime=0.09 cores=0-7
/proc/22475/task/22494/stat : 22494 (java) S 22473 22473 20871 0 -1 1077944384 879 0 0 0 9 0 0 0 20 0 28 0 151542617 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416721611696 140417738091138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24855] ppid=22473 vsize=26538700 memory=4188 CPUtime=215.84 cores=0-7
/proc/22475/task/24855/stat : 24855 (java) R 22473 22473 20871 0 -1 4202560 1720 0 0 0 21582 2 0 0 20 0 28 0 151545967 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416711494984 140417336273340 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24856] ppid=22473 vsize=26538700 memory=1384 CPUtime=215.98 cores=0-7
/proc/22475/task/24856/stat : 24856 (java) R 22473 22473 20871 0 -1 4202560 1661 0 0 0 21598 0 0 0 20 0 28 0 151545967 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416712548920 140417335450014 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24857] ppid=22473 vsize=26538700 memory=1501900 CPUtime=217.97 cores=0-7
/proc/22475/task/24857/stat : 24857 (java) R 22473 22473 20871 0 -1 4202560 2128 0 0 0 21796 1 0 0 20 0 28 0 151545967 27175628800 375475 33554432000 4194304 4196468 140733279463136 140415917862584 140417336273461 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24858] ppid=22473 vsize=26538700 memory=7378702019091195712 CPUtime=217.99 cores=0-7
/proc/22475/task/24858/stat : 24858 (java) R 22473 22473 20871 0 -1 4202560 19645 0 0 0 21779 20 0 0 20 0 28 0 151545967 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416713603824 140417335848892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24859] ppid=22473 vsize=26538700 memory=1384 CPUtime=217.65 cores=0-7
/proc/22475/task/24859/stat : 24859 (java) R 22473 22473 20871 0 -1 4202560 3090 0 0 0 21764 1 0 0 20 0 28 0 151545967 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416710442944 140417337647159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24860] ppid=22473 vsize=26538700 memory=1504984 CPUtime=217.91 cores=0-7
/proc/22475/task/24860/stat : 24860 (java) R 22473 22473 20871 0 -1 4202560 3910 0 0 0 21787 4 0 0 20 0 28 0 151545967 27175628800 375475 33554432000 4194304 4196468 140733279463136 140415919968440 140417335622639 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24861] ppid=22473 vsize=26538700 memory=0 CPUtime=217.86 cores=0-7
/proc/22475/task/24861/stat : 24861 (java) R 22473 22473 20871 0 -1 4202560 1514 0 0 0 21784 2 0 0 20 0 28 0 151545967 27175628800 375475 33554432000 4194304 4196468 140733279463136 140415918915768 140417335620827 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
[pid=22475/tid=24862] ppid=22473 vsize=26538700 memory=-8253362762722141311 CPUtime=217.79 cores=0-7
/proc/22475/task/24862/stat : 24862 (java) R 22473 22473 20871 0 -1 4202560 1440 0 0 0 21778 1 0 0 20 0 28 0 151545967 27175628800 375475 33554432000 4194304 4196468 140733279463136 140416709390680 140417336273585 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11608064 140733279470744 140733279470920 140733279470920 140733279473615 0
Current children cumulated CPU time: 1986.44 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1503284 KiB

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

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

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

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

Child status: 143
Real time (s): 252.121
CPU time (s): 1987.23
CPU user time (s): 1984.36
CPU system time (s): 2.86814
CPU usage (%): 788.205
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1520112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1984.36
system time used= 2.86814
maximum resident set size= 1520848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126990
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30027
involuntary context switches= 21293


# summary of solver processes directly reported to runsolver:
#   pid: 22473,22475
#   total CPU time (s): 1987.23
#   total CPU user time (s): 1984.36
#   total CPU system time (s): 2.86814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.14086 second user time and 3.08851 second system time

The end

Launcher Data 

Begin job on node104 at 2017-08-20 01:01:29
IDJOB=4281430
IDBENCH=122943
IDSOLVER=2676
FILE ID=node104/4281430-1503184549
RUNJOBID= node104-1503174863-20898
PBS_JOBID= 20630844
Free space on /tmp= 61784 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-4281430-1503184549/watcher-4281430-1503184549 -o /tmp/evaluation-result-4281430-1503184549/solver-4281430-1503184549 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503174863-20898 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2086493337 HOME/instance-4281430-1503184549.xml

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

MD5SUM BENCH= 498e8e69e2f573dee371e4fc9819ce0a
RANDOM SEED=2086493337

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24042960 kB
MemAvailable:   31962892 kB
Buffers:          278080 kB
Cached:          7921644 kB
SwapCached:            0 kB
Active:          3260656 kB
Inactive:        4989660 kB
Active(anon):      53692 kB
Inactive(anon):    33192 kB
Active(file):    3206964 kB
Inactive(file):  4956468 kB
Unevictable:        7828 kB
Mlocked:            7828 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7968 kB
Writeback:             0 kB
AnonPages:         54612 kB
Mapped:            51320 kB
Shmem:             33420 kB
Slab:             170664 kB
SReclaimable:     144672 kB
SUnreclaim:        25992 kB
KernelStack:        2976 kB
PageTables:         4660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61776 MiB
End job on node104 at 2017-08-20 01:05:41