Trace number 4297940

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)SAT (TO)141207894 2859.92 2520.08

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test02-0250_c18.xml
MD5SUM2354d9b784d04df982f0d1b4068abd13
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark141207894
Best CPU time to get the best result obtained on this benchmark2859.92
Satisfiable
(Un)Satisfiability was proved
Number of variables3894
Number of constraints2462
Number of domains32
Minimum domain size1
Maximum domain size175
Distribution of domain sizes[{"size":1,"count":1},{"size":2,"count":1380},{"size":11,"count":1131},{"size":12,"count":1},{"size":23,"count":45},{"size":47,"count":70},{"size":57,"count":33},{"size":60,"count":11},{"size":69,"count":36},{"size":70,"count":19},{"size":79,"count":14},{"size":81,"count":2},{"size":84,"count":6},{"size":93,"count":2},{"size":94,"count":10},{"size":110,"count":4},{"size":113,"count":12},{"size":118,"count":77},{"size":127,"count":39},{"size":137,"count":13},{"size":151,"count":17},{"size":153,"count":16},{"size":154,"count":100},{"size":170,"count":27},{"size":175,"count":828}]
Minimum variable degree2
Maximum variable degree1132
Distribution of variable degrees[{"degree":2,"count":3396},{"degree":3,"count":10},{"degree":4,"count":16},{"degree":5,"count":23},{"degree":6,"count":38},{"degree":7,"count":47},{"degree":8,"count":26},{"degree":9,"count":44},{"degree":10,"count":59},{"degree":11,"count":73},{"degree":12,"count":68},{"degree":13,"count":29},{"degree":14,"count":29},{"degree":15,"count":16},{"degree":16,"count":13},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":1132,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":1131},{"arity":6,"count":1131}]
Number of extensional constraints1131
Number of intensional constraints1331
Distribution of constraint types[{"type":"extension","count":1131},{"type":"intension","count":1331}]
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.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297940-1532713348.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297940-1532713348.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
347.23/129.01	c solve instance...
376.22/133.10	o 148689609 
377.13/133.89	o 148678296 
377.37/134.10	o 148666989 
377.48/134.12	o 148666986 
378.30/134.98	o 148655673 
380.70/136.08	o 148644366 
380.70/136.10	o 148644363 
380.70/136.11	o 148633056 
381.68/136.95	o 148633041 
382.13/137.31	o 148633038 
382.13/137.32	o 148633037 
383.03/138.17	o 148633034 
383.03/138.18	o 148621727 
383.03/138.20	o 148621712 
383.03/138.20	o 148621709 
384.21/139.05	o 148610430 
385.18/139.96	o 148610427 
385.18/139.97	o 148599120 
385.18/139.98	o 148599105 
385.18/139.99	o 148599102 
386.39/141.03	o 148599101 
386.39/141.05	o 148599098 
388.72/142.10	o 148587791 
388.83/142.11	o 148587776 
388.83/142.16	o 148587773 
388.83/142.17	o 148576476 
388.83/142.17	o 148576461 
389.90/143.13	o 148576458 
389.90/143.15	o 148565185 
389.90/143.17	o 148565170 
389.90/143.18	o 148565167 
389.90/143.19	o 148565166 
390.09/143.20	o 148565163 
390.09/143.22	o 148553856 
391.04/144.17	o 148553841 
391.04/144.18	o 148553838 
392.10/145.14	o 148542541 
393.03/146.06	o 148542526 
393.03/146.06	o 148542523 
393.03/146.07	o 148542520 
393.03/146.08	o 148531227 
393.03/146.08	o 148531212 
393.03/146.09	o 148531209 
394.03/147.00	o 148519912 
394.85/147.74	o 148519897 
395.87/148.71	o 148519894 
395.87/148.72	o 148519891 
395.87/148.72	o 148508618 
397.02/149.81	o 148508603 
397.02/149.82	o 148508600 
398.12/150.78	o 148508599 
399.13/151.73	o 148508596 
399.45/152.03	o 148497289 
401.81/153.17	o 148497274 
402.73/154.10	o 148497271 
402.84/154.12	o 148485974 
402.84/154.13	o 148485959 
403.78/155.10	o 148485956 
404.80/156.05	o 148485953 
405.71/156.98	o 148474660 
406.62/157.89	o 148474645 
407.63/158.81	o 148474642 
407.63/158.83	o 148463345 
407.63/158.84	o 148463330 
407.63/158.85	o 148463327 
407.63/158.86	o 148463324 
408.69/159.77	o 148452032 
409.60/160.65	o 148452017 
409.60/160.66	o 148452014 
410.53/161.58	o 148452011 
411.45/162.46	o 148452005 
412.37/163.38	o 148452002 
412.49/163.40	o 148451999 
413.33/164.28	o 148440707 
414.34/165.21	o 148440692 
415.16/166.10	o 148440689 
416.08/166.97	o 148440686 
416.08/166.99	o 148440682 
418.39/167.93	o 148440679 
419.31/168.80	o 148440676 
419.75/169.25	o 148440675 
420.67/170.11	o 148440672 
421.59/171.01	o 148440669 
422.52/171.99	o 148440665 
423.44/172.87	o 148440662 
425.69/174.05	o 148440659 
426.50/174.85	o 148429377 
427.41/175.72	o 148429362 
427.74/176.07	o 148429359 
427.74/176.08	o 148429356 
427.90/176.12	o 148429352 
430.71/178.05	o 148429349 
430.92/178.13	o 148429346 
432.53/179.18	o 148429345 
433.53/180.09	o 148429342 
434.46/180.96	o 148429339 
435.42/181.18	o 148429336 
437.77/182.11	o 148429335 
438.86/183.00	o 148429332 
438.98/183.03	o 148429331 
439.82/183.88	o 148429328 
440.75/184.80	o 148429327 
440.85/184.80	o 148429324 
441.99/185.90	o 148418057 
441.99/185.91	o 148418042 
443.01/186.94	o 148418039 
443.92/187.84	o 148418036 
443.92/187.86	o 148418032 
443.92/187.88	o 148418029 
443.92/187.89	o 148418026 
444.91/188.80	o 148418025 
445.92/189.70	o 148418022 
446.86/190.61	o 148418019 
447.78/191.54	o 148418016 
448.80/192.51	o 148418015 
448.80/192.52	o 148418012 
449.62/193.39	o 148418011 
449.73/193.45	o 148418008 
450.75/194.44	o 148418007 
450.75/194.45	o 148418004 
450.75/194.47	o 148406744 
451.80/195.43	o 148406729 
452.72/196.32	o 148406726 
453.63/197.22	o 148406723 
454.57/198.13	o 148406719 
454.57/198.14	o 148406716 
455.64/199.11	o 148406713 
455.64/199.12	o 148406712 
455.64/199.13	o 148406709 
456.58/200.08	o 148406706 
460.28/203.38	o 148406703 
462.09/204.28	o 148406702 
463.07/204.48	o 148395396 
468.47/209.09	o 148395394 
468.89/209.46	o 148395393 
468.89/209.47	o 148395390 
469.81/210.36	o 148384086 
474.60/215.02	o 148384084 
475.84/215.95	o 148384080 
475.84/215.96	o 148384077 
476.88/216.91	o 148372776 
482.20/221.41	o 148372774 
483.33/222.16	o 148372771 
484.13/222.95	o 148372767 
485.15/223.92	o 148372764 
485.96/224.79	o 148361466 
486.13/224.81	o 148361465 
490.94/229.62	o 148361462 
491.41/230.05	o 148361459 
1372.08/1108.83	o 148361455 
1372.08/1108.89	o 148361452 
1372.22/1108.91	o 148361449 
1373.40/1109.84	o 148361448 
1373.91/1110.33	o 148361445 
1374.85/1111.27	o 148361442 
1375.69/1112.02	o 148361439 
1376.61/1112.92	o 148361438 
1377.42/1113.78	o 148361435 
1378.35/1114.63	o 148361434 
1378.35/1114.65	o 148361431 
1379.38/1115.60	o 148361430 
1379.38/1115.61	o 148361427 
1379.38/1115.63	o 148361424 
1380.32/1116.50	o 148361421 
1381.62/1117.47	o 148350170 
1381.62/1117.47	o 148350155 
1382.63/1118.36	o 148350152 
1384.19/1118.62	o 148350149 
1385.11/1119.55	o 148350145 
1385.11/1119.56	o 148350142 
1385.11/1119.60	o 148350139 
1386.06/1120.41	o 148350138 
1386.06/1120.42	o 148350135 
1386.06/1120.45	o 148350132 
1387.02/1121.32	o 148350129 
1387.84/1122.16	o 148350128 
1387.84/1122.17	o 148350125 
1387.84/1122.19	o 148350124 
1388.79/1123.07	o 148350121 
1389.88/1124.10	o 148350120 
1390.91/1125.08	o 148350117 
1391.85/1125.94	o 148350114 
1392.59/1126.67	o 148350111 
1393.63/1127.52	o 148350110 
1393.63/1127.53	o 148350107 
1393.63/1127.53	o 148350104 
1393.63/1127.55	o 148350101 
1394.54/1128.17	o 148350098 
1395.47/1129.04	o 148338847 
1395.47/1129.05	o 148338832 
1396.30/1129.86	o 148338829 
1396.30/1129.87	o 148338826 
1397.86/1130.79	o 148338822 
1398.87/1131.74	o 148338819 
1399.81/1132.61	o 148338816 
1399.81/1132.62	o 148338815 
1399.81/1132.65	o 148338812 
1399.81/1132.66	o 148338809 
1399.81/1132.67	o 148338806 
1400.75/1133.49	o 148338805 
1400.85/1133.50	o 148338802 
1401.79/1134.42	o 148338801 
1401.79/1134.44	o 148338798 
1401.79/1134.45	o 148338797 
1401.79/1134.46	o 148338794 
1402.66/1135.28	o 148338791 
1403.63/1136.17	o 148338788 
1404.69/1137.02	o 148327547 
1405.10/1137.46	o 148327532 
1406.03/1138.31	o 148327529 
1406.96/1139.22	o 148327526 
1407.77/1140.06	o 148327522 
1408.69/1140.96	o 148327519 
1408.69/1140.98	o 148327516 
1408.69/1140.98	o 148327515 
1408.69/1141.00	o 148327512 
1409.45/1141.69	o 148327511 
1411.79/1142.70	o 148327508 
1412.77/1143.63	o 148327507 
1413.79/1144.67	o 148327504 
1414.70/1145.56	o 148327503 
1414.70/1145.56	o 148327500 
1415.23/1146.03	o 148327499 
1416.03/1146.89	o 148327496 
1416.96/1147.76	o 148327493 
1418.72/1148.66	o 148327490 
1419.74/1149.52	o 148327487 
1419.99/1149.75	o 148327486 
1420.92/1150.60	o 148327483 
1421.75/1151.48	o 148327480 
1422.73/1152.34	o 148327477 
1422.73/1152.35	o 146482728 
1480.31/1159.90	o 146471418 
1498.25/1165.84	o 141207898 
2503.98/2168.84	o 141207897 
2505.96/2169.75	o 141207896 
2511.54/2173.13	o 141207894 
2859.84/2520.02	s SATISFIABLE
2859.84/2520.02	v <instantiation>
2859.84/2520.02	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] </list>
2859.84/2520.02	v 	<values>2220 2448 2912 2796 2644 2344 2460 2320 2908 2864 2324 2532 2616 2660 2304 2648 2644 2632 2544 2304 2220 2728 2236 2376 2768 2240 2456 2392 2496 2472 2444 2276 2280 2496 2280 2572 2876 2352 2916 2624 2684 2576 2688 2280 2260 2880 2344 2368 2276 2876 2260 2460 2796 2908 2600 2804 2296 2684 2220 2260 2580 2916 2700 2580 2432 2520 2904 2600 2916 2220 2504 2896 2552 2452 2336 2492 2876 2344 2916 2428 2628 2916 2688 2740 2640 2500 2612 2844 2912 2344 2360 2260 2832 2512 2912 2544 2560 2544 2544 2660 2260 2332 2812 2808 2572 2616 2504 2328 2644 2484 2388 2224 2504 2716 2524 2304 2844 2224 2604 2304 2904 2372 2840 2756 2792 2420 2832 2236 2884 2872 2856 2652 2632 2372 2588 2912 2356 2220 2400 2392 2344 2756 2404 2672 2292 2512 2736 2500 2872 2344 2448 2304 2316 2416 2524 2776 2872 2456 2864 2540 2340 2504 2520 2504 2648 2620 2336 2868 2240 2760 2644 2220 2588 2700 2532 2432 2656 2728 2876 2304 2540 2260 2852 2408 2316 2472 2304 2564 2800 2592 2848 2220 2304 2412 2604 2632 2628 2756 2572 2692 2332 2344 2364 2872 2356 2360 2560 2456 2868 2620 2540 2600 2484 2240 2416 2688 2688 2872 2400 2560 2224 2344 2380 2488 2584 2572 2264 2440 2864 2344 2804 2264 2764 2260 2456 2612 2524 2568 2904 2576 2616 2304 2608 2560 2672 2876 2648 2264 2660 2544 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 10 0 1 1 1 10 1 0 1 5 6 0 8 0 0 0 1 0 10 0 0 1 5 1 0 0 0 10 0 0 0 7 0 1 0 0 10 1 0 0 4 2 0 0 9 0 0 6 0 9 7 0 0 0 7 0 0 0 9 0 8 0 0 10 10 0 0 0 0 0 0 6 0 0 0 7 0 0 1 0 10 1 3 0 0 0 1 9 0 0 0 1 1 2 5 0 0 4 0 10 0 0 1 7 0 0 0 8 1 1 0 1 5 0 8 0 3 1 9 0 0 0 1 8 1 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 1 0 0 0 0 0 0 0 7 8 0 0 10 0 0 0 1 7 0 8 0 9 10 9 0 8 10 0 0 1 3 10 4 0 0 0 0 0 0 0 0 0 10 0 5 10 7 0 0 0 10 10 0 10 10 0 1 0 0 0 0 9 1 0 0 1 0 8 10 0 0 10 0 0 10 5 0 9 0 8 0 0 0 10 0 7 9 10 6 7 10 9 0 0 0 0 0 5 0 0 1 0 0 0 10 0 1 9 0 0 1 0 0 0 5 0 0 0 0 10 0 1 0 0 1 0 0 0 0 7 1 0 1 0 10 0 0 0 0 0 0 0 0 0 10 10 1 2 0 8 1 10 8 0 0 0 0 0 0 1 1 0 8 1 0 0 2 0 0 0 0 0 0 0 0 1 0 10 5 0 0 10 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 10 0 0 0 1 0 0 0 0 1 0 0 9 1 0 0 0 0 1 0 0 0 1 0 1 0 0 7 10 10 0 4 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 1 10 0 0 1 0 0 0 1 0 1 10 9 0 8 7 9 7 10 0 10 0 1 0 0 0 3 0 0 7 0 0 3 0 0 1 6 0 0 1 0 0 0 0 0 9 0 0 10 10 0 6 4 10 0 0 0 4 0 7 10 0 10 1 10 0 9 0 0 1 0 0 0 9 0 0 0 0 0 0 0 6 10 0 0 0 0 1 8 10 0 0 0 0 10 0 8 10 0 0 4 0 0 4 5 0 4 9 1 0 1 0 7 6 9 0 0 8 0 0 8 9 0 8 0 0 0 0 0 0 5 1 0 7 0 0 0 9 0 0 0 6 1 0 0 0 9 0 0 0 5 0 0 0 0 0 5 0 0 0 0 7 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 10 0 7 0 9 0 0 9 0 0 0 10 0 9 0 0 0 0 0 4 9 0 0 0 0 1 1 1 0 0 0 10 9 10 0 5 0 0 0 0 4 0 6 10 8 0 10 0 0 0 7 0 10 0 0 0 9 0 9 10 0 0 1 10 0 4 0 10 0 0 0 0 10 0 10 10 10 6 0 10 0 10 0 0 4 0 0 10 0 0 0 7 10 10 0 6 0 10 4 1 0 0 0 1 1 0 0 0 0 0 0 9 0 1 0 0 0 0 0 9 10 4 0 0 1 10 0 0 9 0 0 9 0 0 9 0 0 0 1 0 0 1 0 0 1 0 1 0 0 9 10 0 10 1 0 6 10 0 0 0 0 0 0 0 1 0 9 0 0 2 0 0 0 0 0 9 0 0 0 0 9 0 10 0 1 0 0 0 0 0 0 1 8 10 3 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 1 1 4 0 0 3 0 1 0 0 0 8 8 0 0 0 0 0 0 0 1 10 10 0 8 10 0 3 10 8 0 0 0 0 0 6 0 0 0 0 0 0 0 7 0 0 10 0 1 0 0 1 4 10 0 0 9 8 5 0 2 0 0 0 0 0 0 1 0 0 10 0 0 4 0 0 1 0 0 5 3 0 0 0 0 0 3 0 1 10 0 1 0 0 9 0 9 0 0 0 0 0 0 0 10 0 7 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 1 0 0 0 0 0 9 0 9 6 0 0 0 7 0 0 1 0 0 0 4 10 0 0 0 0 0 0 0 0 0 8 9 0 6 3 5 7 0 9 0 0 0 0 0 0 10 10 0 7 0 8 9 0 0 0 0 0 10 10 3 0 0 0 0 10 0 0 7 0 7 0 1 10 0 0 0 0 9 0 1 0 0 0 1 0 10 3 0 1 5 10 10 0 0 7 0 0 9 0 1 1 0 0 0 0 0 0 0 0 0 4 0 1 0 0 10 0 0 0 0 0 0 0 0 0 1 0 0 9 1 0 0 0 1 0 7 10 1 0 0 0 3 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 3 9 0 1 0 0 0 0 2 7 0 0 0 0 0 0 1 0 3 0 10 0 0 9 0 0 0 0 6 0 0 5 1 10 0 0 10 0 10 16 56 464 168 136 292 212 436 352 40 96 116 144 76 132 92 68 588 416 312 420 408 64 284 496 648 420 80 336 244 560 576 404 536 480 576 272 100 156 84 24 236 120 288 100 412 160 40 596 268 128 184 408 556 484 256 216 204 320 472 264 176 640 360 492 340 256 172 584 548 320 548 160 60 164 48 108 204 28 340 68 76 268 356 396 228 356 104 296 196 12 312 116 216 84 400 324 176 56 184 440 212 144 244 100 368 36 284 236 384 40 296 232 52 384 84 200 384 124 160 72 200 244 424 208 228 356 164 224 276 124 120 240 296 200 60 372 240 264 40 92 368 320 240 256 88 72 68 384 256 28 348 12 152 316 656 40 0 624 292 692 536 664 192 104 152 76 188 208 508 12 204 508 124 396 144 176 40 560 448 264 120 108 352 24 500 100 84 52 416 140 116 96 236 144 312 208 504 40 420 180 432 280 560 216 332 460 88 416 104 208 48 416 260 480 88 212 24 132 192 144 192 104 232 192 28 100 444 252 12 244 372 72 252 380 140 396 400 188 128 180 132 360 184 472 76 184 44 224 408 428 520 628 224 112 580 80 236 296 340 72 460 324 64 176 412 420 204 480 284 568 280 264 232 312 52 236 312 88 172 300 600 416 72 20 324 260 84 640 656 484 616 404 120 520 264 204 564 336 308 236 320 148 408 208 256 232 12 572 412 528 560 500 656 300 48 364 292 104 404 364 92 220 404 280 232 72 52 96 124 228 316 340 56 240 92 140 176 244 328 84 108 144 240 232 380 136 420 40 536 424 644 240 572 652 96 612 76 328 172 376 240 336 220 308 376 576 236 424 616 296 496 540 64 536 544 220 128 24 620 276 152 340 556 56 116 588 196 300 396 656 176 64 352 272 120 8 584 256 344 40 0 552 264 624 360 504 92 332 68 404 144 12 152 116 212 108 36 408 60 40 284 76 460 140 536 404 604 384 500 308 424 420 56 376 152 96 544 112 584 544 88 48 472 68 548 216 516 228 460 588 108 392 288 144 568 468 184 296 72 188 348 144 424 480 624 40 292 692 340 384 72 468 220 260 40 140 592 72 644 400 264 196 112 108 180 200 316 396 696 580 696 44 112 12 440 188 140 112 96 408 80 168 12 116 260 64 296 60 208 292 124 148 224 472 400 424 76 324 440 224 160 172 184 184 324 120 300 332 188 284 384 164 48 148 568 56 268 360 28 424 344 588 544 76 392 268 460 116 264 180 652 440 372 336 368 160 48 252 148 96 124 344 468 280 252 64 676 636 580 284 92 240 332 160 312 236 80 452 176 92 148 108 76 116 536 324 420 148 96 44 252 208 36 504 460 496 344 468 500 460 44 188 364 404 208 436 112 44 208 184 244 288 284 84 208 124 240 212 68 264 556 164 324 368 48 516 132 136 96 336 60 336 284 32 112 356 196 156 240 268 72 108 256 264 584 332 68 240 40 440 552 224 312 156 260 404 20 80 568 608 152 268 456 244 40 180 56 228 532 136 488 56 40 96 300 552 344 496 624 144 32 272 604 4 476 76 40 292 260 452 528 48 92 176 352 252 352 100 388 620 292 116 240 100 256 60 104 36 196 60 216 204 240 216 200 328 60 200 228 240 304 132 244 204 224 456 584 592 644 400 172 108 28 28 108 56 72 192 280 228 52 504 176 108 176 156 204 164 60 28 28 176 216 380 396 248 300 56 200 240 24 304 172 316 236 264 212 160 148 408 252 220 328 172 112 32 68 28 360 84 368 320 420 176 368 124 44 228 420 652 468 232 84 160 160 496 156 88 232 120 232 168 164 240 328 64 96 76 572 240 444 512 28 184 648 644 192 176 232 312 16 72 20 260 160 128 0 388 60 316 560 340 56 684 212 540 360 316 504 336 356 268 384 128 352 464 136 224 316 108 556 400 72 532 572 216 120 28 100 308 116 380 140 196 596 80 440 572 612 528 16 268 236 16 480 196 20 120 280 348 264 100 520 424 240 348 148 252 84 128 88 328 244 84 12 20 456 408 388 516 20 492 40 252 0 392 356 452 180 452 472 504 472 76 80 184 456 80 116 100 184 196 112 216 284 460 172 148 132 368 80 68 132 204 240 328 292 148 360 176 144 60 252 104 288 432 280 324 68 92 84 236 144 24 384 532 40 20 72 84 112 104 60 40 240 28 556 224 244 92 112 176 40 108 432 28 536 300 256 304 108 152 604 548 644 252 288 192 176 180 264 16 20 144 40 80 176 100 48 64 88 36 180 244 144 280 468 220 608 216 332 304 104 112 652 584 684 28 244 288 292 216 140 156 52 332 224 140 172 256 396 40 424 240 336 76 336 216 544 312 128 60 124 196 212 496 316 520 220 96 440 296 260 284 140 200 180 64 112 236 324 68 180 280 236 624 356 388 96 344 344 280 148 84 44 116 260 80 148 288 64 144 212 60 248 84 216 144 180 216 312 468 572 328 112 256 216 40 504 60 132 204 128 216 56 112 152 204 308 196 264 260 140 16 636 192 248 424 176 424 36 144 180 308 612 324 100 296 220 96 </values>
2859.84/2520.02	v </instantiation>
2859.84/2520.02	c Unexpected resolution interruption!

Verifier Data 

OK	141207894

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297940-1532713348/watcher-4297940-1532713348 -o /tmp/evaluation-result-4297940-1532713348/solver-4297940-1532713348 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532710827-19234 --watchdog 2580 HOME/xcsp3-exec -seed 1804976259 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297940-1532713348.xml 

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

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

solver pid=19494, runsolver pid=19491

[startup+0.100142 s]*
/proc/loadavg: 8.13 8.38 8.34 3/199 19515
/proc/meminfo: memFree=28098004/32770624 swapFree=67108860/67108860
[pid=19494] ppid=19491 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19494/stat : 19494 (xcsp3-exec) S 19491 19494 19207 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88898048 115843072 364 33554432000 4194304 5098028 140726388038144 140726388036248 139673948820092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28020736 140726388040757 140726388040960 140726388040960 140726388043722 0
/proc/19494/statm: 28282 364 306 221 0 87 0
[pid=19496] ppid=19494 vsize=26104152 memory=27480 CPUtime=0.11 cores=0-7
/proc/19496/stat : 19496 (java) S 19494 19494 19207 0 -1 1077944320 5650 0 0 0 10 1 0 0 20 0 20 0 88898048 26730651648 6870 33554432000 4194304 4196468 140732883995712 140732883978256 140513882234615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
/proc/19496/statm: 6526038 6870 3062 1 0 6488315 0
[pid=19496/tid=19497] ppid=19494 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/19496/task/19497/stat : 19497 (java) R 19494 19494 19207 0 -1 4202560 3663 0 0 0 8 1 0 0 20 0 20 0 88898049 26730651648 6870 33554432000 4194304 4196468 140732883995712 140513886459088 140513882246550 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19498] ppid=19494 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19496/task/19498/stat : 19498 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 6870 33554432000 4194304 4196468 140732883995712 140513834855568 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19499] ppid=19494 vsize=26104152 memory=139970336659072 CPUtime=0 cores=0-7
/proc/19496/task/19499/stat : 19499 (java) S 19494 19494 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 6870 33554432000 4194304 4196468 140732883995712 140513833802768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19500] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19500/stat : 19500 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 6870 33554432000 4194304 4196468 140732883995712 140513832749968 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19501] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19501/stat : 19501 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 6870 33554432000 4194304 4196468 140732883995712 140513831697168 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19502] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19502/stat : 19502 (java) S 19494 19494 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 6870 33554432000 4194304 4196468 140732883995712 140513830644368 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19503] ppid=19494 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19496/task/19503/stat : 19503 (java) S 19494 19494 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 6870 33554432000 4194304 4196468 140732883995712 140513829591568 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19504] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19504/stat : 19504 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 6870 33554432000 4194304 4196468 140732883995712 140513828538768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19505] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19505/stat : 19505 (java) S 19494 19494 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 6870 33554432000 4194304 4196468 140732883995712 140513827485968 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19506] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19506/stat : 19506 (java) S 19494 19494 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88898051 26730651648 6870 33554432000 4194304 4196468 140732883995712 140512942091120 140513882245762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19507] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19507/stat : 19507 (java) S 19494 19494 19207 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88898051 26730651648 6870 33554432000 4194304 4196468 140732883995712 140512941037088 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19508] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19508/stat : 19508 (java) S 19494 19494 19207 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88898052 26730651648 6870 33554432000 4194304 4196468 140732883995712 140512939984240 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19509] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19509/stat : 19509 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898054 26730651648 6870 33554432000 4194304 4196468 140732883995712 140512938932560 140513882253211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19510] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19510/stat : 19510 (java) S 19494 19494 19207 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 20 0 88898054 26730651648 6870 33554432000 4194304 4196468 140732883995712 140512937879920 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19511] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19511/stat : 19511 (java) S 19494 19494 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88898054 26730651648 6870 33554432000 4194304 4196468 140732883995712 140512936827120 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19512] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19512/stat : 19512 (java) S 19494 19494 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88898054 26730651648 6870 33554432000 4194304 4196468 140732883995712 140512935774320 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19513] ppid=19494 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/19496/task/19513/stat : 19513 (java) R 19494 19494 19207 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 88898054 26730651648 6870 33554432000 4194304 4196468 140732883995712 140512934721520 140513882246550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19514] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19514/stat : 19514 (java) S 19494 19494 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88898054 26730651648 6870 33554432000 4194304 4196468 140732883995712 140512933669984 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19515] ppid=19494 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19496/task/19515/stat : 19515 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898054 26730651648 6870 33554432000 4194304 4196468 140732883995712 140512932617264 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28936 KiB

[startup+0.209808 s]*
/proc/loadavg: 8.13 8.38 8.34 3/199 19515
/proc/meminfo: memFree=28085332/32770624 swapFree=67108860/67108860
[pid=19494] ppid=19491 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19494/stat : 19494 (xcsp3-exec) S 19491 19494 19207 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88898048 115843072 364 33554432000 4194304 5098028 140726388038144 140726388036248 139673948820092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28020736 140726388040757 140726388040960 140726388040960 140726388043722 0
/proc/19494/statm: 28282 364 306 221 0 87 0
[pid=19496] ppid=19494 vsize=26104152 memory=39500 CPUtime=0.33 cores=0-7
/proc/19496/stat : 19496 (java) S 19494 19494 19207 0 -1 1077944320 8516 0 0 0 31 2 0 0 20 0 20 0 88898048 26730651648 9875 33554432000 4194304 4196468 140732883995712 140732883978256 140513882234615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
/proc/19496/statm: 6526038 9875 3189 1 0 6488315 0
[pid=19496/tid=19497] ppid=19494 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/19496/task/19497/stat : 19497 (java) R 19494 19494 19207 0 -1 4202560 5561 0 0 0 18 1 0 0 20 0 20 0 88898049 26730651648 9875 33554432000 4194304 4196468 140732883995712 140513886468560 140513866315102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19498] ppid=19494 vsize=26104152 memory=327 CPUtime=0 cores=0-7
/proc/19496/task/19498/stat : 19498 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 9875 33554432000 4194304 4196468 140732883995712 140513834855568 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19499] ppid=19494 vsize=26104152 memory=139970336999312 CPUtime=0 cores=0-7
/proc/19496/task/19499/stat : 19499 (java) S 19494 19494 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 9875 33554432000 4194304 4196468 140732883995712 140513833802768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19500] ppid=19494 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19496/task/19500/stat : 19500 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 9875 33554432000 4194304 4196468 140732883995712 140513832749968 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19501] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19501/stat : 19501 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 9875 33554432000 4194304 4196468 140732883995712 140513831697168 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19502] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19502/stat : 19502 (java) S 19494 19494 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 9875 33554432000 4194304 4196468 140732883995712 140513830644368 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19503] ppid=19494 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19496/task/19503/stat : 19503 (java) S 19494 19494 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 9875 33554432000 4194304 4196468 140732883995712 140513829591568 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19504] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19504/stat : 19504 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 9875 33554432000 4194304 4196468 140732883995712 140513828538768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19505] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19505/stat : 19505 (java) S 19494 19494 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88898049 26730651648 9875 33554432000 4194304 4196468 140732883995712 140513827485968 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19506] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19506/stat : 19506 (java) S 19494 19494 19207 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88898051 26730651648 9875 33554432000 4194304 4196468 140732883995712 140512942091120 140513882245762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19507] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19507/stat : 19507 (java) S 19494 19494 19207 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88898051 26730651648 9875 33554432000 4194304 4196468 140732883995712 140512941037088 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19508] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19508/stat : 19508 (java) S 19494 19494 19207 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88898052 26730651648 9875 33554432000 4194304 4196468 140732883995712 140512939984240 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19509] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19509/stat : 19509 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898054 26730651648 9875 33554432000 4194304 4196468 140732883995712 140512938932560 140513882253211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19510] ppid=19494 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/19496/task/19510/stat : 19510 (java) S 19494 19494 19207 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 20 0 88898054 26730651648 9875 33554432000 4194304 4196468 140732883995712 140512937879920 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19511] ppid=19494 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/19496/task/19511/stat : 19511 (java) S 19494 19494 19207 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 20 0 88898054 26730651648 9875 33554432000 4194304 4196468 140732883995712 140512936827120 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19512] ppid=19494 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/19496/task/19512/stat : 19512 (java) S 19494 19494 19207 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 88898054 26730651648 9875 33554432000 4194304 4196468 140732883995712 140512935774320 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19513] ppid=19494 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7
/proc/19496/task/19513/stat : 19513 (java) R 19494 19494 19207 0 -1 4202560 766 0 0 0 8 0 0 0 20 0 20 0 88898054 26730651648 9875 33554432000 4194304 4196468 140732883995712 140512934721520 140513882255962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19514] ppid=19494 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19514/stat : 19514 (java) S 19494 19494 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88898054 26730651648 9875 33554432000 4194304 4196468 140732883995712 140512933669984 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19515] ppid=19494 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19496/task/19515/stat : 19515 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898054 26730651648 9875 33554432000 4194304 4196468 140732883995712 140512932617264 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40956 KiB

[startup+0.309624 s]*
/proc/loadavg: 8.13 8.38 8.34 4/199 19515
/proc/meminfo: memFree=28079456/32770624 swapFree=67108860/67108860
[pid=19494] ppid=19491 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19494/stat : 19494 (xcsp3-exec) S 19491 19494 19207 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88898048 115843072 364 33554432000 4194304 5098028 140726388038144 140726388036248 139673948820092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28020736 140726388040757 140726388040960 140726388040960 140726388043722 0
/proc/19494/statm: 28282 364 306 221 0 87 0
[pid=19496] ppid=19494 vsize=26108408 memory=46196 CPUtime=0.51 cores=0-7
/proc/19496/stat : 19496 (java) S 19494 19494 19207 0 -1 1077944320 9307 0 0 0 48 3 0 0 20 0 20 0 88898048 26735009792 11549 33554432000 4194304 4196468 140732883995712 140732883978256 140513882234615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
/proc/19496/statm: 6527102 11549 3231 1 0 6488315 0
[pid=19496/tid=19497] ppid=19494 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19496/task/19497/stat : 19497 (java) R 19494 19494 19207 0 -1 4202560 6257 0 0 0 27 2 0 0 20 0 20 0 88898049 26735009792 11549 33554432000 4194304 4196468 140732883995712 140513886465728 140513866315102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19498] ppid=19494 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19498/stat : 19498 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26735009792 11549 33554432000 4194304 4196468 140732883995712 140513834855568 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19499] ppid=19494 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19499/stat : 19499 (java) S 19494 19494 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88898049 26735009792 11562 33554432000 4194304 4196468 140732883995712 140513833802768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19500] ppid=19494 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19500/stat : 19500 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26735009792 11562 33554432000 4194304 4196468 140732883995712 140513832749968 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19501] ppid=19494 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19501/stat : 19501 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26735009792 11562 33554432000 4194304 4196468 140732883995712 140513831697168 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19502] ppid=19494 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/19496/task/19502/stat : 19502 (java) S 19494 19494 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88898049 26735009792 11562 33554432000 4194304 4196468 140732883995712 140513830644368 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19503] ppid=19494 vsize=26108408 memory=139970232808367 CPUtime=0 cores=0-7
/proc/19496/task/19503/stat : 19503 (java) S 19494 19494 19207 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88898049 26735009792 11562 33554432000 4194304 4196468 140732883995712 140513829591568 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19504] ppid=19494 vsize=26108408 memory=139970232810672 CPUtime=0 cores=0-7
/proc/19496/task/19504/stat : 19504 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898049 26735009792 11562 33554432000 4194304 4196468 140732883995712 140513828538768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19505] ppid=19494 vsize=26108408 memory=139970232812976 CPUtime=0 cores=0-7
/proc/19496/task/19505/stat : 19505 (java) S 19494 19494 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88898049 26735009792 11562 33554432000 4194304 4196468 140732883995712 140513827485968 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19506] ppid=19494 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19506/stat : 19506 (java) S 19494 19494 19207 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88898051 26735009792 11562 33554432000 4194304 4196468 140732883995712 140512942091120 140513882245762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19507] ppid=19494 vsize=26108408 memory=279940465632912 CPUtime=0 cores=0-7
/proc/19496/task/19507/stat : 19507 (java) S 19494 19494 19207 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88898051 26735009792 11562 33554432000 4194304 4196468 140732883995712 140512941037088 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19508] ppid=19494 vsize=26108408 memory=279940465639824 CPUtime=0 cores=0-7
/proc/19496/task/19508/stat : 19508 (java) S 19494 19494 19207 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88898052 26735009792 11562 33554432000 4194304 4196468 140732883995712 140512939984240 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19509] ppid=19494 vsize=26108408 memory=279940465581072 CPUtime=0 cores=0-7
/proc/19496/task/19509/stat : 19509 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898054 26735009792 11562 33554432000 4194304 4196468 140732883995712 140512938932560 140513882253211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19510] ppid=19494 vsize=26108408 memory=279940465653648 CPUtime=0.02 cores=0-7
/proc/19496/task/19510/stat : 19510 (java) S 19494 19494 19207 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 20 0 88898054 26735009792 11562 33554432000 4194304 4196468 140732883995712 140512937879920 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19511] ppid=19494 vsize=26108408 memory=279940465660560 CPUtime=0.03 cores=0-7
/proc/19496/task/19511/stat : 19511 (java) S 19494 19494 19207 0 -1 1077944384 351 0 0 0 3 0 0 0 20 0 20 0 88898054 26735009792 11562 33554432000 4194304 4196468 140732883995712 140512936827120 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19512] ppid=19494 vsize=26108408 memory=279940465658256 CPUtime=0.02 cores=0-7
/proc/19496/task/19512/stat : 19512 (java) S 19494 19494 19207 0 -1 1077944384 59 0 0 0 2 0 0 0 20 0 20 0 88898054 26735009792 11562 33554432000 4194304 4196468 140732883995712 140512935774320 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19513] ppid=19494 vsize=26108408 memory=279940465674416 CPUtime=0.12 cores=0-7
/proc/19496/task/19513/stat : 19513 (java) S 19494 19494 19207 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 20 0 88898054 26735009792 11562 33554432000 4194304 4196468 140732883995712 140512934721520 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19514] ppid=19494 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19496/task/19514/stat : 19514 (java) S 19494 19494 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88898054 26735009792 11562 33554432000 4194304 4196468 140732883995712 140512933669984 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19515] ppid=19494 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/19496/task/19515/stat : 19515 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88898054 26735009792 11562 33554432000 4194304 4196468 140732883995712 140512932617264 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47652 KiB

[startup+0.701233 s]
/proc/loadavg: 8.13 8.38 8.34 2/199 19515
/proc/meminfo: memFree=27991216/32770624 swapFree=67108860/67108860
[pid=19494] ppid=19491 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19494/stat : 19494 (xcsp3-exec) S 19491 19494 19207 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88898048 115843072 364 33554432000 4194304 5098028 140726388038144 140726388036248 139673948820092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28020736 140726388040757 140726388040960 140726388040960 140726388043722 0
/proc/19494/statm: 28282 364 306 221 0 87 0
[pid=19496] ppid=19494 vsize=26108408 memory=292860 CPUtime=1.76 cores=0-7
/proc/19496/stat : 19496 (java) S 19494 19494 19207 0 -1 1077944320 12532 0 0 0 131 45 0 0 20 0 20 0 88898048 26735009792 73215 33554432000 4194304 4196468 140732883995712 140732883978256 140513882234615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
/proc/19496/statm: 6527102 73215 3318 1 0 6488315 0
[pid=19496/tid=19497] ppid=19494 vsize=26108408 memory=279940466032304 CPUtime=0.6 cores=0-7
/proc/19496/task/19497/stat : 19497 (java) R 19494 19494 19207 0 -1 4202560 6487 0 0 0 54 6 0 0 20 0 20 0 88898049 26735009792 73215 33554432000 4194304 4196468 140732883995712 140513886473744 140513882256541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19498] ppid=19494 vsize=26108408 memory=139970233017200 CPUtime=0.05 cores=0-7
/proc/19496/task/19498/stat : 19498 (java) S 19494 19494 19207 0 -1 1077944384 56 0 0 0 1 4 0 0 20 0 20 0 88898049 26735009792 73215 33554432000 4194304 4196468 140732883995712 140513834855568 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19499] ppid=19494 vsize=26108408 memory=0 CPUtime=0.05 cores=0-7
/proc/19496/task/19499/stat : 19499 (java) S 19494 19494 19207 0 -1 1077944384 60 0 0 0 1 4 0 0 20 0 20 0 88898049 26735009792 73215 33554432000 4194304 4196468 140732883995712 140513833802768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19500] ppid=19494 vsize=26108408 memory=1020 CPUtime=0.05 cores=0-7
/proc/19496/task/19500/stat : 19500 (java) S 19494 19494 19207 0 -1 1077944384 56 0 0 0 1 4 0 0 20 0 20 0 88898049 26735009792 73215 33554432000 4194304 4196468 140732883995712 140513832749968 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0

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

[pid=19496/tid=21465] ppid=19494 vsize=26645092 memory=1456 CPUtime=1.17 cores=0-7
/proc/19496/task/21465/stat : 21465 (java) S 19494 19494 19207 0 -1 1077944384 400 0 0 0 117 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512914560592 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
Current children cumulated CPU time: 2782.1 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 12964376 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.02 1.56 2/207 21472
/proc/meminfo: memFree=15135188/32770624 swapFree=67108860/67108860
[pid=19494] ppid=19491 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19494/stat : 19494 (xcsp3-exec) S 19491 19494 19207 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88898048 115843072 364 33554432000 4194304 5098028 140726388038144 140726388036248 139673948820092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28020736 140726388040757 140726388040960 140726388040960 140726388043722 0
/proc/19494/statm: 28282 364 306 221 0 87 0
[pid=19496] ppid=19494 vsize=26645092 memory=12962920 CPUtime=2842.12 cores=0-7
/proc/19496/stat : 19496 (java) S 19494 19494 19207 0 -1 1077944320 938168 0 0 0 281237 2975 0 0 20 0 28 0 88898048 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140732883978256 140513882234615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
/proc/19496/statm: 6661273 3240730 3469 1 0 6622467 0
[pid=19496/tid=19497] ppid=19494 vsize=26645092 memory=12962920 CPUtime=97.57 cores=0-7
/proc/19496/task/19497/stat : 19497 (java) S 19494 19494 19207 0 -1 1077944384 48631 0 0 0 9626 131 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513886475424 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19498] ppid=19494 vsize=26645092 memory=12962920 CPUtime=31.34 cores=0-7
/proc/19496/task/19498/stat : 19498 (java) S 19494 19494 19207 0 -1 1077944384 66422 0 0 0 2839 295 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513834855568 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19499] ppid=19494 vsize=26645092 memory=12962920 CPUtime=31.43 cores=0-7
/proc/19496/task/19499/stat : 19499 (java) S 19494 19494 19207 0 -1 1077944384 61693 0 0 0 2838 305 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513833802768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19500] ppid=19494 vsize=26645092 memory=12962920 CPUtime=31.4 cores=0-7
/proc/19496/task/19500/stat : 19500 (java) S 19494 19494 19207 0 -1 1077944384 37910 0 0 0 2850 290 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513832749968 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19501] ppid=19494 vsize=26645092 memory=12962788 CPUtime=31.7 cores=0-7
/proc/19496/task/19501/stat : 19501 (java) S 19494 19494 19207 0 -1 1077944384 40253 0 0 0 2864 306 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513831697168 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19502] ppid=19494 vsize=26645092 memory=1572 CPUtime=31.7 cores=0-7
/proc/19496/task/19502/stat : 19502 (java) S 19494 19494 19207 0 -1 1077944384 104638 0 0 0 2785 385 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513830644368 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19503] ppid=19494 vsize=26645092 memory=12962080 CPUtime=31.66 cores=0-7
/proc/19496/task/19503/stat : 19503 (java) S 19494 19494 19207 0 -1 1077944384 43674 0 0 0 2856 310 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513829591568 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19504] ppid=19494 vsize=26645092 memory=12962080 CPUtime=31.55 cores=0-7
/proc/19496/task/19504/stat : 19504 (java) S 19494 19494 19207 0 -1 1077944384 85569 0 0 0 2841 314 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513828538768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19505] ppid=19494 vsize=26645092 memory=13081056 CPUtime=31.7 cores=0-7
/proc/19496/task/19505/stat : 19505 (java) S 19494 19494 19207 0 -1 1077944384 80866 0 0 0 2861 309 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513827485968 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19506] ppid=19494 vsize=26645092 memory=1456 CPUtime=1.45 cores=0-7
/proc/19496/task/19506/stat : 19506 (java) S 19494 19494 19207 0 -1 1077944384 40408 0 0 0 133 12 0 0 20 0 28 0 88898051 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512942091120 140513882245762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19507] ppid=19494 vsize=26645092 memory=13081052 CPUtime=0 cores=0-7
/proc/19496/task/19507/stat : 19507 (java) S 19494 19494 19207 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 88898051 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512941037216 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19508] ppid=19494 vsize=26645092 memory=13273512 CPUtime=0 cores=0-7
/proc/19496/task/19508/stat : 19508 (java) S 19494 19494 19207 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 28 0 88898052 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512939984256 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19509] ppid=19494 vsize=26645092 memory=13273512 CPUtime=0 cores=0-7
/proc/19496/task/19509/stat : 19509 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512938932560 140513882253211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19510] ppid=19494 vsize=26645092 memory=12962940 CPUtime=4.7 cores=0-7
/proc/19496/task/19510/stat : 19510 (java) S 19494 19494 19207 0 -1 1077944384 26485 0 0 0 465 5 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512937879920 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19511] ppid=19494 vsize=26645092 memory=12962940 CPUtime=5.66 cores=0-7
/proc/19496/task/19511/stat : 19511 (java) S 19494 19494 19207 0 -1 1077944384 35338 0 0 0 560 6 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512936827120 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19512] ppid=19494 vsize=26645092 memory=1456 CPUtime=5.5 cores=0-7
/proc/19496/task/19512/stat : 19512 (java) S 19494 19494 19207 0 -1 1077944384 36876 0 0 0 544 6 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512935774320 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19513] ppid=19494 vsize=26645092 memory=12962940 CPUtime=1.35 cores=0-7
/proc/19496/task/19513/stat : 19513 (java) S 19494 19494 19207 0 -1 1077944384 19959 0 0 0 131 4 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512934721520 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19514] ppid=19494 vsize=26645092 memory=12962920 CPUtime=0 cores=0-7
/proc/19496/task/19514/stat : 19514 (java) S 19494 19494 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512933669984 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19515] ppid=19494 vsize=26645092 memory=12962920 CPUtime=1.22 cores=0-7
/proc/19496/task/19515/stat : 19515 (java) S 19494 19494 19207 0 -1 1077944384 6477 0 0 0 56 66 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512932617264 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21458] ppid=19494 vsize=26645092 memory=12962920 CPUtime=0.05 cores=0-7
/proc/19496/task/21458/stat : 21458 (java) S 19494 19494 19207 0 -1 1077944384 142 0 0 0 5 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512919822352 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21459] ppid=19494 vsize=26645092 memory=12962920 CPUtime=0 cores=0-7
/proc/19496/task/21459/stat : 21459 (java) S 19494 19494 19207 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512921929040 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21460] ppid=19494 vsize=26645092 memory=12962920 CPUtime=0.01 cores=0-7
/proc/19496/task/21460/stat : 21460 (java) S 19494 19494 19207 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512915612880 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21461] ppid=19494 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/19496/task/21461/stat : 21461 (java) S 19494 19494 19207 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512918770768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21462] ppid=19494 vsize=26645092 memory=4140 CPUtime=0 cores=0-7
/proc/19496/task/21462/stat : 21462 (java) S 19494 19494 19207 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512916665296 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21463] ppid=19494 vsize=26645092 memory=12962920 CPUtime=0 cores=0-7
/proc/19496/task/21463/stat : 21463 (java) S 19494 19494 19207 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512917717840 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21464] ppid=19494 vsize=26645092 memory=25828 CPUtime=329.15 cores=0-7
/proc/19496/task/21464/stat : 21464 (java) R 19494 19494 19207 0 -1 4202560 14993 0 0 0 32893 22 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512920871024 140513500985470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21465] ppid=19494 vsize=26645092 memory=12962920 CPUtime=1.17 cores=0-7
/proc/19496/task/21465/stat : 21465 (java) S 19494 19494 19207 0 -1 1077944384 400 0 0 0 117 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512914560592 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
Current children cumulated CPU time: 2842.12 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 12964376 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 1.02 1.55 2/207 21472
/proc/meminfo: memFree=15135188/32770624 swapFree=67108860/67108860
[pid=19494] ppid=19491 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/19494/stat : 19494 (xcsp3-exec) S 19491 19494 19207 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88898048 115843072 364 33554432000 4194304 5098028 140726388038144 140726388036248 139673948820092 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28020736 140726388040757 140726388040960 140726388040960 140726388043722 0
/proc/19494/statm: 28282 364 306 221 0 87 0
[pid=19496] ppid=19494 vsize=26645092 memory=12962920 CPUtime=2859.84 cores=0-7
/proc/19496/stat : 19496 (java) S 19494 19494 19207 0 -1 1077944320 938581 0 0 0 283008 2976 0 0 20 0 28 0 88898048 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140732883978256 140513882234615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
/proc/19496/statm: 6661273 3240730 3469 1 0 6622467 0
[pid=19496/tid=19497] ppid=19494 vsize=26645092 memory=6791534058613427641 CPUtime=97.57 cores=0-7
/proc/19496/task/19497/stat : 19497 (java) S 19494 19494 19207 0 -1 1077944384 48631 0 0 0 9626 131 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513886475424 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19498] ppid=19494 vsize=26645092 memory=4872558044660077418 CPUtime=31.34 cores=0-7
/proc/19496/task/19498/stat : 19498 (java) S 19494 19494 19207 0 -1 1077944384 66422 0 0 0 2839 295 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513834855568 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19499] ppid=19494 vsize=26645092 memory=12962920 CPUtime=31.43 cores=0-7
/proc/19496/task/19499/stat : 19499 (java) S 19494 19494 19207 0 -1 1077944384 61693 0 0 0 2838 305 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513833802768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19500] ppid=19494 vsize=26645092 memory=12962920 CPUtime=31.4 cores=0-7
/proc/19496/task/19500/stat : 19500 (java) S 19494 19494 19207 0 -1 1077944384 37910 0 0 0 2850 290 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513832749968 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19501] ppid=19494 vsize=26645092 memory=1240 CPUtime=31.7 cores=0-7
/proc/19496/task/19501/stat : 19501 (java) S 19494 19494 19207 0 -1 1077944384 40253 0 0 0 2864 306 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513831697168 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19502] ppid=19494 vsize=26645092 memory=1520 CPUtime=31.7 cores=0-7
/proc/19496/task/19502/stat : 19502 (java) S 19494 19494 19207 0 -1 1077944384 104638 0 0 0 2785 385 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513830644368 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19503] ppid=19494 vsize=26645092 memory=1456 CPUtime=31.66 cores=0-7
/proc/19496/task/19503/stat : 19503 (java) S 19494 19494 19207 0 -1 1077944384 43674 0 0 0 2856 310 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513829591568 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19504] ppid=19494 vsize=26645092 memory=4872558044660077418 CPUtime=31.55 cores=0-7
/proc/19496/task/19504/stat : 19504 (java) S 19494 19494 19207 0 -1 1077944384 85569 0 0 0 2841 314 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513828538768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19505] ppid=19494 vsize=26645092 memory=6791534058613427641 CPUtime=31.7 cores=0-7
/proc/19496/task/19505/stat : 19505 (java) S 19494 19494 19207 0 -1 1077944384 80866 0 0 0 2861 309 0 0 20 0 28 0 88898049 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140513827485968 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19506] ppid=19494 vsize=26645092 memory=4872558044660077418 CPUtime=1.45 cores=0-7
/proc/19496/task/19506/stat : 19506 (java) S 19494 19494 19207 0 -1 1077944384 40408 0 0 0 133 12 0 0 20 0 28 0 88898051 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512942091120 140513882245762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19507] ppid=19494 vsize=26645092 memory=1572 CPUtime=0 cores=0-7
/proc/19496/task/19507/stat : 19507 (java) S 19494 19494 19207 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 88898051 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512941037216 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19508] ppid=19494 vsize=26645092 memory=924 CPUtime=0 cores=0-7
/proc/19496/task/19508/stat : 19508 (java) S 19494 19494 19207 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 28 0 88898052 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512939984256 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19509] ppid=19494 vsize=26645092 memory=1020 CPUtime=0 cores=0-7
/proc/19496/task/19509/stat : 19509 (java) S 19494 19494 19207 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512938932560 140513882253211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19510] ppid=19494 vsize=26645092 memory=5444 CPUtime=4.7 cores=0-7
/proc/19496/task/19510/stat : 19510 (java) S 19494 19494 19207 0 -1 1077944384 26495 0 0 0 465 5 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512937879920 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19511] ppid=19494 vsize=26645092 memory=1456 CPUtime=5.66 cores=0-7
/proc/19496/task/19511/stat : 19511 (java) S 19494 19494 19207 0 -1 1077944384 35341 0 0 0 560 6 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512936827120 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19512] ppid=19494 vsize=26645092 memory=12962920 CPUtime=5.5 cores=0-7
/proc/19496/task/19512/stat : 19512 (java) S 19494 19494 19207 0 -1 1077944384 36881 0 0 0 544 6 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512935774320 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19513] ppid=19494 vsize=26645092 memory=2724 CPUtime=1.35 cores=0-7
/proc/19496/task/19513/stat : 19513 (java) S 19494 19494 19207 0 -1 1077944384 19965 0 0 0 131 4 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512934721520 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19514] ppid=19494 vsize=26645092 memory=1256 CPUtime=0 cores=0-7
/proc/19496/task/19514/stat : 19514 (java) S 19494 19494 19207 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512933669984 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=19515] ppid=19494 vsize=26645092 memory=10368 CPUtime=1.24 cores=0-7
/proc/19496/task/19515/stat : 19515 (java) S 19494 19494 19207 0 -1 1077944384 6483 0 0 0 57 67 0 0 20 0 28 0 88898054 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512932617264 140513882245762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21458] ppid=19494 vsize=26645092 memory=1696 CPUtime=0.05 cores=0-7
/proc/19496/task/21458/stat : 21458 (java) S 19494 19494 19207 0 -1 1077944384 142 0 0 0 5 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512919822352 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21459] ppid=19494 vsize=26645092 memory=1172 CPUtime=0 cores=0-7
/proc/19496/task/21459/stat : 21459 (java) S 19494 19494 19207 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512921929040 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21460] ppid=19494 vsize=26645092 memory=1812 CPUtime=0.01 cores=0-7
/proc/19496/task/21460/stat : 21460 (java) S 19494 19494 19207 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512915612880 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21461] ppid=19494 vsize=26645092 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/19496/task/21461/stat : 21461 (java) S 19494 19494 19207 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512918770768 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21462] ppid=19494 vsize=26645092 memory=12962920 CPUtime=0 cores=0-7
/proc/19496/task/21462/stat : 21462 (java) S 19494 19494 19207 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512916665296 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21463] ppid=19494 vsize=26645092 memory=288230613214036277 CPUtime=0 cores=0-7
/proc/19496/task/21463/stat : 21463 (java) S 19494 19494 19207 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512917717840 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21464] ppid=19494 vsize=26645092 memory=6791534058613427641 CPUtime=346.85 cores=0-7
/proc/19496/task/21464/stat : 21464 (java) R 19494 19494 19207 0 -1 4202560 15376 0 0 0 34663 22 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512920871024 140513498090841 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
[pid=19496/tid=21465] ppid=19494 vsize=26645092 memory=928 CPUtime=1.17 cores=0-7
/proc/19496/task/21465/stat : 21465 (java) S 19494 19494 19207 0 -1 1077944384 400 0 0 0 117 0 0 0 20 0 28 0 89115362 27284574208 3240730 33554432000 4194304 4196468 140732883995712 140512914560592 140513882244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15720448 140732883997825 140732883997997 140732883997997 140732884000719 0
Current children cumulated CPU time: 2859.84 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 12964376 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.08
CPU time (s): 2859.92
CPU user time (s): 2830.1
CPU system time (s): 29.8227
CPU usage (%): 113.485
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 14355508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2830.1
system time used= 29.8227
maximum resident set size= 14354052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940110
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88773
involuntary context switches= 8155


# summary of solver processes directly reported to runsolver:
#   pid: 19494,19496
#   total CPU time (s): 2859.92
#   total CPU user time (s): 2830.1
#   total CPU system time (s): 29.8227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 31.0749 second user time and 17.3365 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-27 19:42:29
IDJOB=4297940
IDBENCH=141267
IDSOLVER=2760
FILE ID=node136/4297940-1532713348
RUNJOBID= node136-1532710827-19234
PBS_JOBID= 21022316
Free space on /tmp= 55704 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test02-0250_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297940-1532713348/watcher-4297940-1532713348 -o /tmp/evaluation-result-4297940-1532713348/solver-4297940-1532713348 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532710827-19234 --watchdog 2580  HOME/xcsp3-exec -seed 1804976259 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297940-1532713348.xml

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

MD5SUM BENCH= 2354d9b784d04df982f0d1b4068abd13
RANDOM SEED=1804976259

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:        28113760 kB
MemAvailable:   31962748 kB
Buffers:          165712 kB
Cached:          3944112 kB
SwapCached:            0 kB
Active:          1816036 kB
Inactive:        2347112 kB
Active(anon):       3988 kB
Inactive(anon):    76476 kB
Active(file):    1812048 kB
Inactive(file):  2270636 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            117436 kB
Writeback:             0 kB
AnonPages:         58976 kB
Mapped:            32240 kB
Shmem:             25228 kB
Slab:             191040 kB
SReclaimable:     164276 kB
SUnreclaim:        26764 kB
KernelStack:        3168 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55684 MiB
End job on node136 at 2018-07-27 20:24:29