Trace number 4310522

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
OscaR - Hybrid 2018-08-14SAT (TO)365470 252.084 232.352

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-09-opt_c18.xml
MD5SUM19bcf73076031218e5fd4b7208c9a15e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19049
Best CPU time to get the best result obtained on this benchmark252.18
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4410
Number of domains9
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity2
Maximum constraint arity280
Distribution of constraint arities[{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}]
Number of extensional constraints0
Number of intensional constraints4409
Distribution of constraint types[{"type":"intension","count":4409},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 1030256816
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
9.82/5.46	c Parsing done, starting first complete search...
95.01/87.88	o 423098
95.01/87.89	c First complete search done, starting ALNS search...
98.14/89.60	o 422998
98.82/89.93	o 421998
98.82/89.94	o 421988
98.82/89.95	o 421978
98.82/89.96	o 421968
98.82/89.98	o 421958
98.82/89.99	o 421898
98.82/90.00	o 421888
98.82/90.00	o 421878
98.82/90.01	o 421868
99.03/90.02	o 421858
99.03/90.03	o 421788
99.03/90.03	o 421778
99.03/90.04	o 421768
99.03/90.05	o 421758
99.03/90.06	o 421748
99.03/90.07	o 421688
99.03/90.08	o 421678
99.03/90.08	o 421668
99.03/90.09	o 421658
99.03/90.10	o 421648
99.30/90.11	o 421578
99.30/90.11	o 421568
99.30/90.12	o 421558
99.30/90.13	o 421548
99.30/90.16	o 420998
99.30/90.16	o 419998
99.30/90.17	o 419898
99.30/90.17	o 419888
99.30/90.18	o 419878
99.30/90.18	o 419788
99.30/90.19	o 419778
99.30/90.19	o 419688
99.30/90.19	o 419678
99.48/90.20	o 419668
99.48/90.20	o 419578
99.48/90.21	o 419568
99.48/90.21	o 419558
99.48/90.22	o 419548
99.48/90.24	o 418898
99.48/90.24	o 418888
99.48/90.25	o 418798
99.48/90.25	o 418788
99.48/90.25	o 418778
99.48/90.26	o 418688
99.48/90.26	o 418678
99.48/90.27	o 418668
99.48/90.27	o 418578
99.48/90.28	o 418568
99.48/90.29	o 418558
99.48/90.29	o 418548
99.59/90.35	o 418097
99.59/90.36	o 418087
99.59/90.36	o 417997
99.59/90.36	o 417987
99.59/90.37	o 416997
99.59/90.37	o 416987
99.59/90.38	o 416887
99.59/90.39	o 416787
99.59/90.39	o 416777
99.72/90.40	o 416677
99.72/90.40	o 416577
99.72/90.41	o 416567
99.72/90.42	o 416557
99.72/90.42	o 416547
99.72/90.49	o 416537
99.86/90.54	o 416536
100.03/90.61	o 416528
100.03/90.62	o 416518
100.88/91.42	o 416517
101.14/91.52	o 415517
101.14/91.53	o 415508
101.14/91.53	o 414517
101.14/91.53	o 414508
101.14/91.53	o 414428
101.14/91.54	o 414417
101.14/91.54	o 414408
101.14/91.54	o 414406
101.14/91.55	o 414397
101.14/91.55	o 413618
101.14/91.55	o 413518
101.14/91.55	o 413507
101.14/91.56	o 413496
101.14/91.56	o 413487
101.14/91.56	o 413407
101.14/91.57	o 413307
101.14/91.57	o 413298
101.14/91.58	o 413296
101.14/91.58	o 413287
106.27/96.07	o 413276
107.59/97.13	o 413267
107.59/97.19	o 413266
107.77/97.24	o 413265
107.93/97.39	o 413177
108.23/97.43	o 413176
108.23/97.48	o 413167
108.33/97.52	o 413166
108.33/97.59	o 413157
108.43/97.63	o 413156
108.43/97.70	o 413077
108.53/97.74	o 413076
108.64/97.80	o 413067
108.64/97.84	o 413066
108.74/97.90	o 413057
108.74/97.94	o 413056
108.85/98.04	o 412386
108.85/98.08	o 412286
108.95/98.12	o 412276
108.95/98.19	o 412266
109.05/98.25	o 412265
109.15/98.31	o 412186
109.15/98.33	o 412176
109.15/98.39	o 412166
109.25/98.45	o 412086
109.35/98.51	o 412076
109.35/98.57	o 412066
109.45/98.64	o 412065
109.55/98.70	o 412064
109.55/98.76	o 411378
109.66/98.81	o 411278
109.66/98.86	o 411268
110.12/99.26	o 411168
110.22/99.32	o 411167
110.22/99.37	o 411166
110.32/99.44	o 411165
110.42/99.50	o 411164
110.42/99.56	o 411163
110.53/99.64	o 411162
110.63/99.71	o 411161
110.83/99.94	o 410482
110.83/99.96	o 410472
110.83/99.98	o 410382
110.95/100.01	o 410372
110.95/100.04	o 410282
110.95/100.06	o 410272
111.05/100.12	o 409482
111.05/100.15	o 409382
111.05/100.18	o 409372
111.15/100.22	o 409282
111.15/100.24	o 409272
111.36/100.43	o 408483
111.36/100.45	o 408383
111.36/100.49	o 408283
111.46/100.53	o 408273
112.23/100.92	o 408183
112.23/100.95	o 408173
112.64/101.39	o 408163
113.15/101.88	o 406272
113.25/101.91	o 406262
113.37/102.02	o 406260
126.61/113.75	o 406250
126.61/113.79	o 406160
126.73/113.82	o 406150
126.84/113.92	o 406050
127.14/114.20	o 405240
127.14/114.22	o 405140
127.14/114.26	o 405050
127.25/114.39	o 404240
127.37/114.41	o 404140
127.37/114.46	o 404050
127.47/114.57	o 403240
127.57/114.61	o 403140
127.67/114.76	o 402240
128.08/115.11	o 401354
128.08/115.17	o 401353
128.17/115.24	o 401254
128.17/115.30	o 401253
129.87/116.95	o 401252
129.98/117.07	o 401243
132.78/119.54	o 401153
132.78/119.57	o 401143
132.88/119.61	o 401142
132.88/119.67	o 401133
132.98/119.71	o 401132
133.78/120.56	o 401072
133.88/120.60	o 401062
133.88/120.66	o 400972
133.98/120.71	o 400962
134.08/120.82	o 400952
134.08/120.87	o 400951
134.18/120.91	o 400862
134.18/120.96	o 400852
134.29/121.05	o 400072
134.29/121.10	o 399962
134.40/121.16	o 399961
134.49/121.21	o 399862
134.49/121.27	o 399852
134.59/121.36	o 399851
134.79/121.52	o 399850
134.89/121.69	o 399842
134.99/121.74	o 399841
135.09/121.84	o 399831
135.09/121.90	o 399830
135.30/122.03	o 399720
135.99/122.78	o 398820
138.29/124.67	o 398041
138.39/124.76	o 397941
138.49/124.88	o 397841
138.70/125.01	o 397831
138.89/125.25	o 397041
138.99/125.34	o 397031
139.09/125.45	o 396941
139.19/125.55	o 396931
139.29/125.67	o 396930
139.59/125.94	o 396841
139.90/126.26	o 396836
140.20/126.52	o 396835
140.40/126.79	o 395836
140.50/126.89	o 395835
140.71/127.04	o 394836
140.81/127.16	o 394835
141.00/127.30	o 393836
141.10/127.41	o 393835
141.20/127.53	o 392836
141.30/127.63	o 392835
141.40/127.75	o 391836
141.88/128.12	o 391835
141.88/128.17	o 390835
141.98/128.22	o 390735
142.23/128.49	o 390725
142.33/128.56	o 390635
142.43/128.62	o 390625
142.43/128.68	o 390035
142.53/128.73	o 390025
142.53/128.79	o 389935
142.63/128.86	o 389925
142.84/129.03	o 389924
142.94/129.12	o 389835
143.26/129.24	o 389834
143.38/129.30	o 389825
143.38/129.36	o 389824
143.48/129.41	o 389735
143.48/129.46	o 389734
143.58/129.51	o 389725
143.58/129.55	o 389724
143.99/129.95	o 388724
144.10/130.02	o 387724
144.10/130.09	o 387714
144.20/130.19	o 387713
145.81/131.75	o 387712
145.91/131.84	o 387703
146.12/132.03	o 386713
146.22/132.15	o 386703
148.12/134.01	o 386702
148.12/134.10	o 386701
148.62/134.53	o 385691
148.81/134.72	o 385681
148.92/134.86	o 384681
149.73/135.31	o 384671
149.73/135.37	o 384661
149.93/135.54	o 384660
150.23/135.85	o 384560
150.44/136.06	o 383771
150.54/136.16	o 383671
150.63/136.27	o 383661
150.73/136.39	o 383571
150.83/136.49	o 383561
151.03/136.64	o 383471
151.13/136.74	o 383461
152.03/137.63	o 383460
152.23/137.86	o 383371
152.33/137.97	o 383361
152.94/138.56	o 383351
153.84/139.48	o 382971
154.14/139.78	o 382970
154.34/139.92	o 382969
154.45/140.02	o 382968
154.55/140.16	o 382951
154.64/140.23	o 382950
154.74/140.30	o 382949
154.74/140.38	o 382948
156.13/141.47	o 382938
157.54/142.84	o 382937
157.64/142.96	o 382936
157.85/143.15	o 382935
158.04/143.35	o 382934
158.24/143.56	o 382932
158.34/143.63	o 382931
158.54/143.84	o 382930
158.75/144.08	o 382929
159.04/144.33	o 382928
159.04/144.38	o 382927
160.24/145.56	o 382923
160.34/145.61	o 382922
160.44/145.74	o 382921
160.64/145.92	o 382920
160.85/146.14	o 382919
161.68/146.57	o 381929
161.78/146.62	o 381919
161.78/146.67	o 381918
161.88/146.71	o 380928
161.88/146.74	o 380918
161.88/146.80	o 379928
161.98/146.83	o 379918
162.89/147.77	o 379828
162.99/147.86	o 379827
163.30/148.13	o 379729
163.39/148.20	o 379727
163.49/148.32	o 379719
163.49/148.38	o 379717
163.99/148.84	o 379707
164.20/149.01	o 379705
165.22/150.03	o 379631
165.22/150.10	o 379630
165.32/150.18	o 379621
165.41/150.25	o 379620
166.54/151.37	o 379611
166.94/151.72	o 379610
173.28/156.21	o 379600
173.38/156.35	o 379510
173.48/156.48	o 379500
178.06/160.90	o 378619
178.06/160.95	o 378519
178.06/160.99	o 378509
178.17/161.06	o 378500
187.03/169.63	o 377500
187.13/169.70	o 377490
188.54/171.15	o 377483
188.73/171.30	o 377482
189.13/171.76	o 377481
191.23/173.89	o 377391
191.45/174.03	o 377390
191.55/174.19	o 376591
192.19/174.58	o 376501
192.99/175.39	o 376401
194.89/177.27	o 376400
195.09/177.49	o 375431
195.29/177.65	o 375421
195.49/177.81	o 375411
195.59/177.99	o 375410
195.80/178.18	o 375401
195.99/178.32	o 375400
196.19/178.57	o 375391
196.39/178.78	o 375390
200.55/182.62	o 374499
200.75/182.80	o 374489
200.96/183.02	o 373699
201.06/183.17	o 373609
202.06/184.17	o 373608
203.35/185.48	o 373517
203.55/185.62	o 372517
203.87/185.91	o 372427
204.27/186.39	o 372417
204.57/186.60	o 372327
204.67/186.76	o 372317
205.09/187.11	o 372307
205.28/187.38	o 371427
205.48/187.56	o 371417
205.68/187.75	o 371327
205.88/187.98	o 371326
206.59/188.64	o 371318
206.79/188.88	o 371316
207.38/189.44	o 371247
207.68/189.73	o 371246
209.81/191.89	o 370356
209.91/192.00	o 370346
210.12/192.11	o 369356
210.21/192.23	o 369346
211.14/193.15	o 369345
212.23/194.29	o 369336
214.34/196.36	o 369335
214.54/196.54	o 369325
215.05/197.02	o 369315
222.25/204.02	o 368639
222.25/204.10	o 368638
222.44/204.21	o 368637
222.64/204.46	o 368629
222.95/204.78	o 368628
223.26/205.08	o 368627
226.36/208.12	o 368626
227.74/209.27	o 368617
228.65/210.11	o 368616
228.84/210.30	o 368615
230.35/211.82	o 367726
230.56/212.07	o 366737
232.66/214.12	o 366658
232.85/214.37	o 366657
234.94/216.17	o 366557
235.33/216.52	o 366547
242.52/223.42	o 366481
243.32/224.20	o 366471
243.52/224.49	o 365472
247.94/228.56	o 365471
248.24/228.86	o 365470
252.01/232.30	s SATISFIABLE
252.01/232.31	v <instantiation>
252.01/232.31	v 	<list>
252.01/232.31	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055]
252.01/232.31	v 	</list>
252.01/232.31	v 	<values>
252.01/232.31	v 		442 680 554 792 694 456 414 652 554 792 282 44 778 540 680 442 310 72 554 792 16 254 16 254 16 254 324 86 736 498 414 652 484 722 414 652 540 778 310 72 442 680 792 554 554 792 380 142 554 792 722 484 44 282 338 100 16 254 722 484 338 100 100 338 44 282 394 156 324 86 750 512 58 296 792 554 750 512 142 380 156 394 380 142 44 282 554 792 86 324 366 128 128 366 470 708 694 456 526 764 254 16 44 282 428 666 414 652 394 156 750 512 750 512 352 114 456 694 44 282 30 268 16 254 554 792 512 750 352 114 428 666 296 58 694 456 442 680 156 394 442 680 442 680 58 296 100 338 394 156 352 114 750 512 792 554 792 554 170 408 526 764 428 666 296 58 268 30 254 16 282 44 792 554 352 114 156 394 156 394 554 792 156 394 296 58 540 778 526 764 380 142 142 380 778 540 792 554 352 114 708 470 156 394 366 128 296 58 100 338 142 380 526 764 680 442 778 540 282 44 722 484 142 380 310 72 778 540 456 694 310 72 268 30 554 792 86 324 470 708 428 666 128 366 540 778 778 540 268 30 456 694 778 540 764 526 778 540 58 296 792 554 282 44 30 268 778 540 380 142 778 540 142 380 442 680 778 540 44 282 694 456 30 268 86 324 708 470 282 44 456 694 540 778 722 484 428 666 268 30 352 114 142 380 778 540 778 540 428 666 366 128 540 778 540 778 512 750 268 30 708 470 456 694 44 282 666 428 142 380 100 338 338 100 100 338 428 666 540 778 44 282 540 778 540 778 142 380 296 58 254 16 456 694 750 512 764 526 72 310 142 380 792 554 792 554 470 708 512 750 526 764 380 142 310 72 456 694 282 44 142 380 428 666 540 778 338 100 666 428 254 16 282 44 792 554 44 282 736 498 414 652 380 142 680 442 142 380 666 428 282 44 750 512 540 778 736 498 736 498 428 666 722 484 44 282 72 310 526 764 142 380 58 296 680 442 352 114 540 778 708 470 142 380 86 324 778 540 778 540 296 58 736 498 498 736 442 680 142 380 156 394 268 30 352 114 414 652 254 16 16 254 156 394 750 512 128 366 778 540 338 100 456 694 268 30 540 778 380 142 484 722 352 114 792 554 380 142 442 680 414 652 156 394 526 764 554 792 540 778 394 156 142 380 142 380 778 540 268 30 526 764 142 380 428 666 296 58 268 30 352 114 268 30 268 30 540 778 694 456 456 694 456 694 366 128 114 352 778 540 456 694 128 366 380 142 764 526 156 394 540 778 778 540 114 352 142 380 268 30 366 128 352 114 708 470 540 778 442 680 58 296 666 428 764 526 380 142 554 792 352 114 296 58 778 540 338 100 296 58 680 442 366 128 764 526 554 792 792 554 666 428 338 100 380 142 310 72 694 456 114 352 736 498 114 352 156 394 526 764 380 142 394 156 778 540 58 296 792 554 72 310 708 470 694 456 540 778 100 338 778 540 142 380 310 72 778 540 764 526 296 58 72 310 142 380 380 142 44 282 736 498 792 554 750 512 114 352 100 338 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 0 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 1000 1000 1000 0 0 0 1000 1000 0 0 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 1000 0 1000 1000 1000 0 0 1000 0 0 0 0 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 1000 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 0 1000 1000 1000 1000 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 0 1000 1000 1000 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 1000 0 0 1000 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 1000 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 1000 1000 1000 0 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 0 1000 0 1000 1000 0 1000 0 0 0 0 1000 0 0 1000 0 0 0 1000 1000 1000 0 1000 0 0 0 0 1000 0 1000 0 100 0 0 100 0 0 0 0 0 0 100 100 0 100 100 100 0 0 0 100 0 0 0 100 100 0 100 100 100 0 100 0 0 0 0 0 0 0 100 100 0 100 0 100 100 100 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 100 100 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 0 100 0 100 100 100 0 0 0 0 100 100 0 100 100 100 0 0 0 100 100 0 0 100 100 0 100 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 100 0 100 0 100 0 100 0 100 100 100 100 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 100 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 100 100 100 100 100 100 0 0 0 0 100 0 0 100 100 100 0 100 100 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 100 100 0 100 100 0 0 100 0 0 100 0 100 0 0 100 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 100 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 0 100 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 100 100 100 0 0 0 100 100 100 100 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 100 100 100 100 100 100 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 100 0 0 100 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 100 0 0 0 100 100 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 100 100 0 100 0 0 0 100 100 100 0 0 100 100 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 10 10 10 10 0 0 10 10 10 0 0 0 0 0 0 10 0 0 10 10 0 10 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 10 10 0 0 0 10 10 10 10 0 0 10 10 0 0 0 10 0 10 0 0 0 10 0 10 0 0 0 10 0 0 0 0 10 10 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 10 10 10 10 0 10 0 10 0 10 10 10 0 0 10 0 10 0 10 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 10 10 0 0 0 0 10 0 10 0 0 0 0 0 0 10 10 0 0 0 0 10 0 10 0 0 0 0 10 10 0 0 0 10 0 0 10 0 10 10 10 0 10 10 10 0 0 0 0 0 10 0 10 10 10 10 0 0 10 10 10 0 0 10 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 10 0 10 10 10 10 10 10 10 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 10 0 10 0 10 0 10 10 10 0 10 0 0 10 0 10 10 0 0 10 0 10 0 10 10 0 0 0 0 0 0 10 10 10 10 0 10 10 0 10 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 10 10 10 0 0 10 0 10 10 10 0 0 10 0 10 0 0 0 10 10 10 10 10 0 0 10 10 0 0 0 10 0 0 10 0 10 10 10 10 10 10 10 10 0 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 10 0 0 0 10 10 10 10 0 0 0 0 10 0 0 0 0 10 10 10 0 0 0 0 10 10 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 10 0 10 10 10 0 10 10 10 0 10 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 10 10 0 0 0 10 10 0 0 10 0 0 10 0 0 10 0 0 10 0 0 10 10 0 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 10 0 0 0 10 0 10 10 10 0 10 0 10 0 10 0 0 0 10 10 0 0 0 10 10 10 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 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 1 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 1 1 1 0 1 0 1 1 1 0 0 1 1 0 0 0 
252.01/232.31	v 	</values>
252.01/232.31	v </instantiation>

Verifier Data 

OK	365470

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310522-1534329203/watcher-4310522-1534329203 -o /tmp/evaluation-result-4310522-1534329203/solver-4310522-1534329203 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534323825-25434 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1030256816 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310522-1534329203.xml 

running on 4 cores: 1,3,5,7

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

solver pid=29406, runsolver pid=29403

[startup+0.100059 s]*
/proc/loadavg: 1.50 1.64 1.74 5/215 29421
/proc/meminfo: memFree=22179208/32770624 swapFree=67108172/67108860
[pid=29406] ppid=29403 vsize=14082736 memory=32676 CPUtime=0.12 cores=1,3,5,7
/proc/29406/stat : 29406 (java) S 29403 29406 21905 0 -1 1077944320 7104 0 0 0 11 1 0 0 20 0 15 0 250483468 14420721664 8169 33554432000 4194304 4196468 140729582147728 140729582130272 140315485564663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
/proc/29406/statm: 3520684 8169 3138 1 0 3482761 0
[pid=29406/tid=29408] ppid=29403 vsize=14082736 memory=-8629632960754126461 CPUtime=0.08 cores=1,3,5,7
/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 21905 0 -1 4202560 5178 0 0 0 8 0 0 0 20 0 15 0 250483469 14420721664 8169 33554432000 4194304 4196468 140729582147728 140315489758752 140315485586589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29409] ppid=29403 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 8169 33554432000 4194304 4196468 140729582147728 140315442117008 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29410] ppid=29403 vsize=14082736 memory=139968099640960 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 8169 33554432000 4194304 4196468 140729582147728 140315080452368 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29411] ppid=29403 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 8169 33554432000 4194304 4196468 140729582147728 140315079400080 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29412] ppid=29403 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 8169 33554432000 4194304 4196468 140729582147728 140315078347280 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29413] ppid=29403 vsize=14082736 memory=139968099640960 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250483471 14420721664 8169 33554432000 4194304 4196468 140729582147728 140314465749616 140315485575810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29414] ppid=29403 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250483471 14420721664 8169 33554432000 4194304 4196468 140729582147728 140314464695584 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29415] ppid=29403 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250483472 14420721664 8169 33554432000 4194304 4196468 140729582147728 140314463643248 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29416] ppid=29403 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14420721664 8169 33554432000 4194304 4196468 140729582147728 140314462591568 140315485583259 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29417] ppid=29403 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29417/stat : 29417 (java) S 29403 29406 21905 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 250483474 14420721664 8169 33554432000 4194304 4196468 140729582147728 140314461538416 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29418] ppid=29403 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29418/stat : 29418 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14420721664 8169 33554432000 4194304 4196468 140729582147728 140314460485616 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29419] ppid=29403 vsize=14082736 memory=139968099640960 CPUtime=0.01 cores=1,3,5,7
/proc/29406/task/29419/stat : 29419 (java) R 29403 29406 21905 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 15 0 250483474 14420721664 8169 33554432000 4194304 4196468 140729582147728 140314459433328 140315464264864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29420] ppid=29403 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14420721664 8169 33554432000 4194304 4196468 140729582147728 140314458380768 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29421] ppid=29403 vsize=14082736 memory=139968099640960 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29421/stat : 29421 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483474 14420721664 8169 33554432000 4194304 4196468 140729582147728 140314457328560 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32676 KiB

[startup+0.210477 s]*
/proc/loadavg: 1.50 1.64 1.74 5/215 29421
/proc/meminfo: memFree=22163840/32770624 swapFree=67108172/67108860
[pid=29406] ppid=29403 vsize=14082736 memory=46824 CPUtime=0.3 cores=1,3,5,7
/proc/29406/stat : 29406 (java) S 29403 29406 21905 0 -1 1077944320 10315 0 0 0 28 2 0 0 20 0 15 0 250483468 14420721664 11706 33554432000 4194304 4196468 140729582147728 140729582130272 140315485564663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
/proc/29406/statm: 3520684 11706 3371 1 0 3482761 0
[pid=29406/tid=29408] ppid=29403 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 21905 0 -1 4202560 8018 0 0 0 18 1 0 0 20 0 15 0 250483469 14420721664 11706 33554432000 4194304 4196468 140729582147728 140315489789744 140315485576598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29409] ppid=29403 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 11706 33554432000 4194304 4196468 140729582147728 140315442117008 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29410] ppid=29403 vsize=14082736 memory=139968099664469 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 11706 33554432000 4194304 4196468 140729582147728 140315080452368 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29411] ppid=29403 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 11706 33554432000 4194304 4196468 140729582147728 140315079400080 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29412] ppid=29403 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 11706 33554432000 4194304 4196468 140729582147728 140315078347280 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29413] ppid=29403 vsize=14082736 memory=139968099640960 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250483471 14420721664 11706 33554432000 4194304 4196468 140729582147728 140314465749616 140315485575810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29414] ppid=29403 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250483471 14420721664 11706 33554432000 4194304 4196468 140729582147728 140314464695584 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29415] ppid=29403 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250483472 14420721664 11706 33554432000 4194304 4196468 140729582147728 140314463643248 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29416] ppid=29403 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14420721664 11706 33554432000 4194304 4196468 140729582147728 140314462591568 140315485583259 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29417] ppid=29403 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29406/task/29417/stat : 29417 (java) R 29403 29406 21905 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 15 0 250483474 14420721664 11706 33554432000 4194304 4196468 140729582147728 140314461538416 140315485575810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29418] ppid=29403 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29406/task/29418/stat : 29418 (java) R 29403 29406 21905 0 -1 4202560 226 0 0 0 2 0 0 0 20 0 15 0 250483474 14420721664 11706 33554432000 4194304 4196468 140729582147728 140314460485616 140315466934976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29419] ppid=29403 vsize=14082736 memory=139968099640960 CPUtime=0.05 cores=1,3,5,7
/proc/29406/task/29419/stat : 29419 (java) R 29403 29406 21905 0 -1 4202560 312 0 0 0 5 0 0 0 20 0 15 0 250483474 14420721664 11706 33554432000 4194304 4196468 140729582147728 140314459433328 140315485576598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29420] ppid=29403 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14420721664 11706 33554432000 4194304 4196468 140729582147728 140314458380768 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29421] ppid=29403 vsize=14082736 memory=139968099640960 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29421/stat : 29421 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483474 14420721664 11706 33554432000 4194304 4196468 140729582147728 140314457328560 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46824 KiB

[startup+0.310445 s]*
/proc/loadavg: 1.50 1.64 1.74 5/215 29421
/proc/meminfo: memFree=22160676/32770624 swapFree=67108172/67108860
[pid=29406] ppid=29403 vsize=14082736 memory=50300 CPUtime=0.42 cores=1,3,5,7
/proc/29406/stat : 29406 (java) S 29403 29406 21905 0 -1 1077944320 10705 0 0 0 40 2 0 0 20 0 15 0 250483468 14420721664 12575 33554432000 4194304 4196468 140729582147728 140729582130272 140315485564663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
/proc/29406/statm: 3520684 12575 3377 1 0 3482761 0
[pid=29406/tid=29408] ppid=29403 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 21905 0 -1 4202560 8384 0 0 0 27 2 0 0 20 0 15 0 250483469 14420721664 12575 33554432000 4194304 4196468 140729582147728 140315489746960 140315468751472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29409] ppid=29403 vsize=14082736 memory=4294977828 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 12575 33554432000 4194304 4196468 140729582147728 140315442117008 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29410] ppid=29403 vsize=14082736 memory=139968099664299 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 12575 33554432000 4194304 4196468 140729582147728 140315080452368 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29411] ppid=29403 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 12575 33554432000 4194304 4196468 140729582147728 140315079400080 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29412] ppid=29403 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250483470 14420721664 12575 33554432000 4194304 4196468 140729582147728 140315078347280 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29413] ppid=29403 vsize=14082736 memory=139968099640960 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250483471 14420721664 12575 33554432000 4194304 4196468 140729582147728 140314465749616 140315485575810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29414] ppid=29403 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250483471 14420721664 12575 33554432000 4194304 4196468 140729582147728 140314464695584 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29415] ppid=29403 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250483472 14420721664 12575 33554432000 4194304 4196468 140729582147728 140314463643248 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29416] ppid=29403 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14420721664 12575 33554432000 4194304 4196468 140729582147728 140314462591568 140315485583259 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29417] ppid=29403 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29406/task/29417/stat : 29417 (java) R 29403 29406 21905 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 250483474 14420721664 12575 33554432000 4194304 4196468 140729582147728 140314461538416 140315485575810 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29418] ppid=29403 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29406/task/29418/stat : 29418 (java) S 29403 29406 21905 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 15 0 250483474 14420721664 12575 33554432000 4194304 4196468 140729582147728 140314460485616 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29419] ppid=29403 vsize=14082736 memory=139968099640960 CPUtime=0.07 cores=1,3,5,7
/proc/29406/task/29419/stat : 29419 (java) S 29403 29406 21905 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 15 0 250483474 14420721664 12575 33554432000 4194304 4196468 140729582147728 140314459433328 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29420] ppid=29403 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14420721664 12575 33554432000 4194304 4196468 140729582147728 140314458380768 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29421] ppid=29403 vsize=14082736 memory=139968099640960 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29421/stat : 29421 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483474 14420721664 12575 33554432000 4194304 4196468 140729582147728 140314457328560 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50300 KiB

[startup+0.700704 s]
/proc/loadavg: 1.50 1.64 1.74 3/215 29421
/proc/meminfo: memFree=22138548/32770624 swapFree=67108172/67108860
[pid=29406] ppid=29403 vsize=14084804 memory=88660 CPUtime=0.98 cores=1,3,5,7
/proc/29406/stat : 29406 (java) S 29403 29406 21905 0 -1 1077944320 17552 0 0 0 94 4 0 0 20 0 15 0 250483468 14422839296 22165 33554432000 4194304 4196468 140729582147728 140729582130272 140315485564663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
/proc/29406/statm: 3521201 22165 3499 1 0 3483273 0
[pid=29406/tid=29408] ppid=29403 vsize=14084804 memory=266295824123460 CPUtime=0.66 cores=1,3,5,7
/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 21905 0 -1 4202560 14818 0 0 0 63 3 0 0 20 0 15 0 250483469 14422839296 22165 33554432000 4194304 4196468 140729582147728 140315489800144 140315469645150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29409] ppid=29403 vsize=14084804 memory=288230376153010010 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14422839296 22165 33554432000 4194304 4196468 140729582147728 140315442117008 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29410] ppid=29403 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14422839296 22165 33554432000 4194304 4196468 140729582147728 140315080452368 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29411] ppid=29403 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483470 14422839296 22165 33554432000 4194304 4196468 140729582147728 140315079400080 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29412] ppid=29403 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250483470 14422839296 22165 33554432000 4194304 4196468 140729582147728 140315078347280 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29413] ppid=29403 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250483471 14422839296 22165 33554432000 4194304 4196468 140729582147728 140314465749616 140315485575810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29414] ppid=29403 vsize=14084804 memory=-3535359994705172066 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250483471 14422839296 22165 33554432000 4194304 4196468 140729582147728 140314464695584 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29415] ppid=29403 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250483472 14422839296 22165 33554432000 4194304 4196468 140729582147728 140314463643248 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29416] ppid=29403 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14422839296 22165 33554432000 4194304 4196468 140729582147728 140314462591568 140315485583259 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29417] ppid=29403 vsize=14084804 memory=6944656592455359580 CPUtime=0.06 cores=1,3,5,7
/proc/29406/task/29417/stat : 29417 (java) S 29403 29406 21905 0 -1 1077944384 540 0 0 0 6 0 0 0 20 0 15 0 250483474 14422839296 22165 33554432000 4194304 4196468 140729582147728 140314461538416 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29418] ppid=29403 vsize=14084804 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29406/task/29418/stat : 29418 (java) S 29403 29406 21905 0 -1 1077944384 375 0 0 0 8 0 0 0 20 0 15 0 250483474 14422839296 22165 33554432000 4194304 4196468 140729582147728 140314460485616 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29419] ppid=29403 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/29406/task/29419/stat : 29419 (java) R 29403 29406 21905 0 -1 4202560 439 0 0 0 15 0 0 0 20 0 15 0 250483474 14422839296 22165 33554432000 4194304 4196468 140729582147728 140314459433328 140315485586010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29420] ppid=29403 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14422839296 22165 33554432000 4194304 4196468 140729582147728 140314458380768 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29421] ppid=29403 vsize=14084804 memory=12552 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29421/stat : 29421 (java) S 29403 29406 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250483474 14422839296 22165 33554432000 4194304 4196468 140729582147728 140314457328560 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88660 KiB

[startup+1.50338 s]
/proc/loadavg: 1.50 1.64 1.74 8/215 29421
/proc/meminfo: memFree=22072588/32770624 swapFree=67108172/67108860
[pid=29406] ppid=29403 vsize=14086852 memory=227048 CPUtime=3.42 cores=1,3,5,7
/proc/29406/stat : 29406 (java) S 29403 29406 21905 0 -1 1077944320 22919 0 0 0 332 10 0 0 20 0 15 0 250483468 14424936448 56762 33554432000 4194304 4196468 140729582147728 140729582130272 140315485564663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
/proc/29406/statm: 3521713 56762 3545 1 0 3483785 0
[pid=29406/tid=29408] ppid=29403 vsize=14086852 memory=10759 CPUtime=1.44 cores=1,3,5,7
/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 21905 0 -1 4202560 16049 0 0 0 139 5 0 0 20 0 15 0 250483469 14424936448 56762 33554432000 4194304 4196468 140729582147728 140315489800352 140315127666591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29409] ppid=29403 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250483470 14424936448 56762 33554432000 4194304 4196468 140729582147728 140315442117008 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29410] ppid=29403 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 21905 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 250483470 14424936448 56762 33554432000 4194304 4196468 140729582147728 140315080452368 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29411] ppid=29403 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250483470 14424936448 56762 33554432000 4194304 4196468 140729582147728 140315079400080 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29412] ppid=29403 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 21905 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 250483470 14424936448 56762 33554432000 4194304 4196468 140729582147728 140315078347280 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29413] ppid=29403 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 21905 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 250483471 14424936448 56762 33554432000 4194304 4196468 140729582147728 140314465749616 140315485575810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0

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

/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 21905 0 -1 4202560 32848 0 0 0 15904 52 0 0 20 0 15 0 250483469 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140315489799328 140315129379798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29409] ppid=29403 vsize=14092996 memory=4594792 CPUtime=2.37 cores=1,3,5,7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 21905 0 -1 1077944384 3941 0 0 0 199 38 0 0 20 0 15 0 250483470 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140315442117008 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29410] ppid=29403 vsize=14092996 memory=4594792 CPUtime=2.37 cores=1,3,5,7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 21905 0 -1 1077944384 1939 0 0 0 199 38 0 0 20 0 15 0 250483470 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140315080452368 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29411] ppid=29403 vsize=14092996 memory=4594792 CPUtime=2.36 cores=1,3,5,7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 21905 0 -1 1077944384 4258 0 0 0 198 38 0 0 20 0 15 0 250483470 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140315079400080 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29412] ppid=29403 vsize=14092996 memory=2672 CPUtime=2.35 cores=1,3,5,7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 21905 0 -1 1077944384 2687 0 0 0 198 37 0 0 20 0 15 0 250483470 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140315078347280 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29413] ppid=29403 vsize=14092996 memory=4594792 CPUtime=0.29 cores=1,3,5,7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 21905 0 -1 1077944384 4885 0 0 0 28 1 0 0 20 0 15 0 250483471 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140314465749616 140315485575810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29414] ppid=29403 vsize=14092996 memory=4594792 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 21905 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 250483471 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140314464695648 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29415] ppid=29403 vsize=14092996 memory=3752 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 21905 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 250483472 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140314463643264 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29416] ppid=29403 vsize=14092996 memory=4594792 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140314462591568 140315485583259 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29417] ppid=29403 vsize=14092996 memory=4594792 CPUtime=4.13 cores=1,3,5,7
/proc/29406/task/29417/stat : 29417 (java) S 29403 29406 21905 0 -1 1077944384 7726 0 0 0 411 2 0 0 20 0 15 0 250483474 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140314461538416 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29418] ppid=29403 vsize=14092996 memory=2063392 CPUtime=4.41 cores=1,3,5,7
/proc/29406/task/29418/stat : 29418 (java) S 29403 29406 21905 0 -1 1077944384 13750 0 0 0 439 2 0 0 20 0 15 0 250483474 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140314460485616 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29419] ppid=29403 vsize=14092996 memory=4594792 CPUtime=1.48 cores=1,3,5,7
/proc/29406/task/29419/stat : 29419 (java) S 29403 29406 21905 0 -1 1077944384 9447 0 0 0 145 3 0 0 20 0 15 0 250483474 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140314459433328 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29420] ppid=29403 vsize=14092996 memory=4594792 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140314458380768 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29421] ppid=29403 vsize=14092996 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/29406/task/29421/stat : 29421 (java) S 29403 29406 21905 0 -1 1077944384 539 0 0 0 3 4 0 0 20 0 15 0 250483474 14431227904 1148698 33554432000 4194304 4196468 140729582147728 140314457328560 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
Current children cumulated CPU time: 179.46 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4594792 KiB

[startup+222.301 s]
/proc/loadavg: 1.83 1.66 1.72 3/215 29501
/proc/meminfo: memFree=18687804/32770624 swapFree=67108172/67108860
[pid=29406] ppid=29403 vsize=14092996 memory=4609004 CPUtime=241.42 cores=1,3,5,7
/proc/29406/stat : 29406 (java) S 29403 29406 21905 0 -1 1077944320 96460 0 0 0 23919 223 0 0 20 0 15 0 250483468 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140729582130272 140315485564663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
/proc/29406/statm: 3523249 1152251 3623 1 0 3485321 0
[pid=29406/tid=29408] ppid=29403 vsize=14092996 memory=4609004 CPUtime=218.98 cores=1,3,5,7
/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 21905 0 -1 4202560 36898 0 0 0 21845 53 0 0 20 0 15 0 250483469 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140315489799424 140315129380104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29409] ppid=29403 vsize=14092996 memory=4595584 CPUtime=2.93 cores=1,3,5,7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 21905 0 -1 1077944384 5147 0 0 0 254 39 0 0 20 0 15 0 250483470 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140315442117008 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29410] ppid=29403 vsize=14092996 memory=4609004 CPUtime=2.92 cores=1,3,5,7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 21905 0 -1 1077944384 4042 0 0 0 254 38 0 0 20 0 15 0 250483470 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140315080452368 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29411] ppid=29403 vsize=14092996 memory=4609004 CPUtime=2.92 cores=1,3,5,7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 21905 0 -1 1077944384 4510 0 0 0 254 38 0 0 20 0 15 0 250483470 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140315079400080 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29412] ppid=29403 vsize=14092996 memory=4609004 CPUtime=2.9 cores=1,3,5,7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 21905 0 -1 1077944384 3770 0 0 0 253 37 0 0 20 0 15 0 250483470 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140315078347280 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29413] ppid=29403 vsize=14092996 memory=279935903086048 CPUtime=0.3 cores=1,3,5,7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 21905 0 -1 1077944384 5116 0 0 0 29 1 0 0 20 0 15 0 250483471 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140314465749616 140315485575810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29414] ppid=29403 vsize=14092996 memory=4609004 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 21905 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 250483471 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140314464695648 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29415] ppid=29403 vsize=14092996 memory=4608352 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 21905 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 250483472 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140314463643264 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29416] ppid=29403 vsize=14092996 memory=4609004 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140314462591568 140315485583259 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29417] ppid=29403 vsize=14092996 memory=1600 CPUtime=4.26 cores=1,3,5,7
/proc/29406/task/29417/stat : 29417 (java) S 29403 29406 21905 0 -1 1077944384 9122 0 0 0 424 2 0 0 20 0 15 0 250483474 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140314461538416 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29418] ppid=29403 vsize=14092996 memory=3752 CPUtime=4.49 cores=1,3,5,7
/proc/29406/task/29418/stat : 29418 (java) S 29403 29406 21905 0 -1 1077944384 15005 0 0 0 447 2 0 0 20 0 15 0 250483474 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140314460485616 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29419] ppid=29403 vsize=14092996 memory=3752 CPUtime=1.5 cores=1,3,5,7
/proc/29406/task/29419/stat : 29419 (java) S 29403 29406 21905 0 -1 1077944384 10776 0 0 0 147 3 0 0 20 0 15 0 250483474 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140314459433328 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29420] ppid=29403 vsize=14092996 memory=4609004 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140314458380768 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29421] ppid=29403 vsize=14092996 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/29406/task/29421/stat : 29421 (java) S 29403 29406 21905 0 -1 1077944384 613 0 0 0 4 6 0 0 20 0 15 0 250483474 14431227904 1152251 33554432000 4194304 4196468 140729582147728 140314457328560 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
Current children cumulated CPU time: 241.42 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4609004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+232.301 s]
/proc/loadavg: 1.85 1.67 1.72 3/215 29501
/proc/meminfo: memFree=17708616/32770624 swapFree=67108172/67108860
[pid=29406] ppid=29403 vsize=14092996 memory=4609016 CPUtime=252.01 cores=1,3,5,7
/proc/29406/stat : 29406 (java) S 29403 29406 21905 0 -1 1077944320 97769 0 0 0 24978 223 0 0 20 0 15 0 250483468 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140729582130272 140315485564663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
/proc/29406/statm: 3523249 1152254 3623 1 0 3485321 0
[pid=29406/tid=29408] ppid=29403 vsize=14092996 memory=4609016 CPUtime=228.81 cores=1,3,5,7
/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 21905 0 -1 4202560 37829 0 0 0 22828 53 0 0 20 0 15 0 250483469 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140315489802416 140315133097000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29409] ppid=29403 vsize=14092996 memory=4609016 CPUtime=3.11 cores=1,3,5,7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 21905 0 -1 1077944384 5161 0 0 0 272 39 0 0 20 0 15 0 250483470 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140315442117008 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29410] ppid=29403 vsize=14092996 memory=4595584 CPUtime=3.1 cores=1,3,5,7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 21905 0 -1 1077944384 4051 0 0 0 272 38 0 0 20 0 15 0 250483470 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140315080452368 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29411] ppid=29403 vsize=14092996 memory=4609004 CPUtime=3.09 cores=1,3,5,7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 21905 0 -1 1077944384 4521 0 0 0 271 38 0 0 20 0 15 0 250483470 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140315079400080 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29412] ppid=29403 vsize=14092996 memory=4609004 CPUtime=3.07 cores=1,3,5,7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 21905 0 -1 1077944384 3828 0 0 0 270 37 0 0 20 0 15 0 250483470 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140315078347280 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29413] ppid=29403 vsize=14092996 memory=4609016 CPUtime=0.3 cores=1,3,5,7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 21905 0 -1 1077944384 5116 0 0 0 29 1 0 0 20 0 15 0 250483471 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314465749616 140315485575810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29414] ppid=29403 vsize=14092996 memory=3752 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 21905 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 250483471 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314464695648 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29415] ppid=29403 vsize=14092996 memory=4609016 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 21905 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 250483472 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314463643264 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29416] ppid=29403 vsize=14092996 memory=56 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314462591568 140315485583259 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29417] ppid=29403 vsize=14092996 memory=3752 CPUtime=4.3 cores=1,3,5,7
/proc/29406/task/29417/stat : 29417 (java) S 29403 29406 21905 0 -1 1077944384 9131 0 0 0 428 2 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314461538416 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29418] ppid=29403 vsize=14092996 memory=4609004 CPUtime=4.51 cores=1,3,5,7
/proc/29406/task/29418/stat : 29418 (java) S 29403 29406 21905 0 -1 1077944384 15047 0 0 0 449 2 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314460485616 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29419] ppid=29403 vsize=14092996 memory=4609012 CPUtime=1.52 cores=1,3,5,7
/proc/29406/task/29419/stat : 29419 (java) S 29403 29406 21905 0 -1 1077944384 11011 0 0 0 149 3 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314459433328 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29420] ppid=29403 vsize=14092996 memory=37492 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314458380768 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29421] ppid=29403 vsize=14092996 memory=2324 CPUtime=0.11 cores=1,3,5,7
/proc/29406/task/29421/stat : 29421 (java) S 29403 29406 21905 0 -1 1077944384 613 0 0 0 5 6 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314457328560 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4609016 KiB

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

[startup+232.352 s]
# the end of solver process 29406 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.817 s, system=2.26734 s

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

[startup+232.301 s]
/proc/loadavg: 1.85 1.67 1.72 3/215 29501
/proc/meminfo: memFree=17708616/32770624 swapFree=67108172/67108860
[pid=29406] ppid=29403 vsize=14092996 memory=4609016 CPUtime=252.01 cores=1,3,5,7
/proc/29406/stat : 29406 (java) S 29403 29406 21905 0 -1 1077944320 97769 0 0 0 24978 223 0 0 20 0 15 0 250483468 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140729582130272 140315485564663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
/proc/29406/statm: 3523249 1152254 3623 1 0 3485321 0
[pid=29406/tid=29408] ppid=29403 vsize=14092996 memory=4609016 CPUtime=228.81 cores=1,3,5,7
/proc/29406/task/29408/stat : 29408 (java) R 29403 29406 21905 0 -1 4202560 37829 0 0 0 22828 53 0 0 20 0 15 0 250483469 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140315489802416 140315133097000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29409] ppid=29403 vsize=14092996 memory=4609016 CPUtime=3.11 cores=1,3,5,7
/proc/29406/task/29409/stat : 29409 (java) S 29403 29406 21905 0 -1 1077944384 5161 0 0 0 272 39 0 0 20 0 15 0 250483470 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140315442117008 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29410] ppid=29403 vsize=14092996 memory=4595584 CPUtime=3.1 cores=1,3,5,7
/proc/29406/task/29410/stat : 29410 (java) S 29403 29406 21905 0 -1 1077944384 4051 0 0 0 272 38 0 0 20 0 15 0 250483470 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140315080452368 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29411] ppid=29403 vsize=14092996 memory=4609004 CPUtime=3.09 cores=1,3,5,7
/proc/29406/task/29411/stat : 29411 (java) S 29403 29406 21905 0 -1 1077944384 4521 0 0 0 271 38 0 0 20 0 15 0 250483470 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140315079400080 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29412] ppid=29403 vsize=14092996 memory=4609004 CPUtime=3.07 cores=1,3,5,7
/proc/29406/task/29412/stat : 29412 (java) S 29403 29406 21905 0 -1 1077944384 3828 0 0 0 270 37 0 0 20 0 15 0 250483470 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140315078347280 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29413] ppid=29403 vsize=14092996 memory=4609016 CPUtime=0.3 cores=1,3,5,7
/proc/29406/task/29413/stat : 29413 (java) S 29403 29406 21905 0 -1 1077944384 5116 0 0 0 29 1 0 0 20 0 15 0 250483471 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314465749616 140315485575810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29414] ppid=29403 vsize=14092996 memory=3752 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29414/stat : 29414 (java) S 29403 29406 21905 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 250483471 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314464695648 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29415] ppid=29403 vsize=14092996 memory=4609016 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29415/stat : 29415 (java) S 29403 29406 21905 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 250483472 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314463643264 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29416] ppid=29403 vsize=14092996 memory=56 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29416/stat : 29416 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314462591568 140315485583259 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29417] ppid=29403 vsize=14092996 memory=3752 CPUtime=4.3 cores=1,3,5,7
/proc/29406/task/29417/stat : 29417 (java) S 29403 29406 21905 0 -1 1077944384 9131 0 0 0 428 2 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314461538416 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29418] ppid=29403 vsize=14092996 memory=4609004 CPUtime=4.51 cores=1,3,5,7
/proc/29406/task/29418/stat : 29418 (java) S 29403 29406 21905 0 -1 1077944384 15047 0 0 0 449 2 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314460485616 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29419] ppid=29403 vsize=14092996 memory=4609012 CPUtime=1.52 cores=1,3,5,7
/proc/29406/task/29419/stat : 29419 (java) S 29403 29406 21905 0 -1 1077944384 11011 0 0 0 149 3 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314459433328 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29420] ppid=29403 vsize=14092996 memory=37492 CPUtime=0 cores=1,3,5,7
/proc/29406/task/29420/stat : 29420 (java) S 29403 29406 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314458380768 140315485574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
[pid=29406/tid=29421] ppid=29403 vsize=14092996 memory=2324 CPUtime=0.11 cores=1,3,5,7
/proc/29406/task/29421/stat : 29421 (java) S 29403 29406 21905 0 -1 1077944384 613 0 0 0 5 6 0 0 20 0 15 0 250483474 14431227904 1152254 33554432000 4194304 4196468 140729582147728 140314457328560 140315485575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 17420288 140729582154842 140729582155022 140729582155022 140729582157775 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4609016 KiB

Child status: 143
Real time (s): 232.352
CPU time (s): 252.084
CPU user time (s): 249.817
CPU system time (s): 2.26734
CPU usage (%): 108.492
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4609016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.817
system time used= 2.26734
maximum resident set size= 4609312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98190
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11524
involuntary context switches= 329


# summary of solver processes directly reported to runsolver:
#   pid: 29406
#   total CPU time (s): 252.084
#   total CPU user time (s): 249.817
#   total CPU system time (s): 2.26734

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35161 second user time and 2.29647 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-15 12:33:23
IDJOB=4310522
IDBENCH=141188
IDSOLVER=2796
FILE ID=node136/4310522-1534329203
RUNJOBID= node136-1534323825-25434
PBS_JOBID= 21038144
Free space on /tmp= 38992 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310522-1534329203/watcher-4310522-1534329203 -o /tmp/evaluation-result-4310522-1534329203/solver-4310522-1534329203 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534323825-25434 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1030256816 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310522-1534329203.xml

TIME LIMIT= 252 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e
RANDOM SEED=1030256816

node136.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.50
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.50
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.50
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.50
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:        22197440 kB
MemAvailable:   29531496 kB
Buffers:          131324 kB
Cached:          7431392 kB
SwapCached:           16 kB
Active:          6240980 kB
Inactive:        3738164 kB
Active(anon):    2367816 kB
Inactive(anon):   109076 kB
Active(file):    3873164 kB
Inactive(file):  3629088 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108860 kB
SwapFree:       67108172 kB
Dirty:             35856 kB
Writeback:             0 kB
AnonPages:       2552632 kB
Mapped:            68232 kB
Shmem:             57768 kB
Slab:             288832 kB
SReclaimable:     260264 kB
SUnreclaim:        28568 kB
KernelStack:        3744 kB
PageTables:        10428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3406148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2406400 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= 38956 MiB
End job on node136 at 2018-08-15 12:37:15