Trace number 4246308

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
R1: Concrete 3.4SAT (TO)1287 2400.12 2303.46

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n67-k10.xml
MD5SUM22a404b8d6219eda7de384223800de36
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1093
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables4556
Number of constraints4488
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":67},{"size":2,"count":4422},{"size":101,"count":66}]
Minimum variable degree0
Maximum variable degree131
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":67},{"degree":2,"count":132},{"degree":4,"count":4290},{"degree":131,"count":66}]
Minimum constraint arity1
Maximum constraint arity66
Distribution of constraint arities[{"arity":1,"count":66},{"arity":3,"count":4290},{"arity":66,"count":132}]
Number of extensional constraints0
Number of intensional constraints66
Distribution of constraint types[{"type":"intension","count":66},{"type":"sum","count":4290},{"type":"count","count":132}]
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 

3.82/2.13	c Concrete v3.4 running
25.99/7.41	o 3326
27.41/7.90	o 3291
28.24/8.32	o 3289
28.99/8.73	o 3242
29.82/9.14	o 3197
30.65/9.53	o 3148
30.95/9.90	o 3140
31.36/10.23	o 3096
32.10/10.62	o 3071
32.40/10.98	o 3066
32.72/11.27	o 2929
33.02/11.59	o 2918
33.43/11.97	o 2911
33.85/12.33	o 2908
34.15/12.68	o 2904
34.86/13.07	o 2867
35.26/13.42	o 2836
35.57/13.74	o 2803
35.87/14.09	o 2776
36.59/14.79	o 2773
37.01/15.12	o 2770
38.24/15.92	o 2756
38.54/16.27	o 2724
38.95/16.64	o 2698
39.35/17.01	o 2668
39.65/17.37	o 2667
40.06/17.73	o 2661
40.49/18.11	o 2599
41.72/19.32	o 2597
42.44/19.75	o 2588
42.84/20.15	o 2572
43.24/20.52	o 2522
43.95/21.28	o 2518
44.77/22.03	o 2517
45.16/22.42	o 2494
45.46/22.79	o 2492
45.87/23.16	o 2471
46.67/23.95	o 2466
48.20/24.91	o 2463
49.95/26.65	o 2454
50.35/27.03	o 2452
50.76/27.43	o 2426
51.56/28.29	o 2416
51.97/28.69	o 2410
52.37/29.07	o 2406
52.77/29.49	o 2393
53.18/29.89	o 2388
53.92/30.31	o 2297
54.32/30.73	o 2280
54.73/31.16	o 2257
55.56/32.01	o 2229
56.04/32.44	o 2228
56.45/32.82	o 2214
56.86/33.21	o 2211
57.26/33.61	o 2201
58.08/34.41	o 2199
58.96/35.25	o 2179
60.32/36.25	o 2161
60.84/36.64	o 2159
61.29/37.03	o 2157
62.49/38.29	o 2149
63.95/39.68	o 2112
64.45/40.13	o 2107
64.95/40.60	o 2075
65.36/41.09	o 2074
65.86/41.54	o 2067
68.40/44.05	o 2037
70.48/45.62	o 2034
71.70/46.89	o 2022
74.12/49.23	o 2018
74.53/49.65	o 2014
75.43/50.55	o 2012
76.33/51.44	o 2000
77.24/52.35	o 1995
80.61/55.09	o 1992
81.52/55.92	o 1985
82.73/57.17	o 1984
83.13/57.59	o 1970
83.63/58.02	o 1963
85.95/60.37	o 1958
86.86/61.28	o 1956
88.67/63.02	o 1940
91.52/65.39	o 1932
92.53/66.31	o 1905
97.11/70.89	o 1898
98.02/71.74	o 1873
103.06/76.26	o 1870
104.87/78.01	o 1827
105.68/78.88	o 1741
107.09/80.25	o 1737
109.61/82.77	o 1734
115.35/88.44	o 1732
118.66/91.27	o 1729
124.59/97.12	o 1727
132.86/104.85	o 1726
133.26/105.26	o 1722
134.06/106.07	o 1714
134.47/106.49	o 1711
135.77/107.77	o 1682
136.67/108.66	o 1681
140.60/112.57	o 1672
146.61/118.15	o 1670
149.12/120.66	o 1669
152.86/124.40	o 1668
169.48/140.77	o 1666
182.96/154.00	o 1660
183.77/154.79	o 1640
184.17/155.15	o 1639
184.57/155.55	o 1634
184.97/155.93	o 1632
189.90/160.87	o 1626
192.71/163.53	o 1625
205.41/176.04	o 1601
206.71/177.34	o 1591
209.94/180.51	o 1588
210.73/181.36	o 1586
218.20/188.68	o 1583
220.20/190.61	o 1578
222.72/193.12	o 1577
223.63/194.09	o 1576
226.41/196.69	o 1571
228.02/198.26	o 1566
232.65/202.88	o 1561
252.19/221.78	o 1555
269.08/238.12	o 1553
269.89/238.98	o 1550
275.03/243.95	o 1545
281.77/250.68	o 1530
283.90/252.64	o 1521
285.30/254.06	o 1517
296.76/265.28	o 1514
306.46/274.42	o 1513
319.67/287.21	o 1512
320.06/287.69	o 1497
347.91/314.32	o 1491
348.40/314.75	o 1490
355.90/322.02	o 1486
357.94/323.86	o 1482
367.58/333.17	o 1474
373.38/338.79	o 1467
375.59/340.80	o 1454
468.78/428.81	o 1453
482.06/441.58	o 1450
509.34/467.25	o 1430
514.77/472.44	o 1396
525.07/481.85	o 1395
537.89/493.65	o 1375
583.28/535.24	o 1371
587.84/539.37	o 1368
601.99/552.67	o 1365
806.80/747.26	o 1364
847.08/784.67	o 1362
1033.61/962.07	o 1355
1201.86/1126.40	o 1354
1232.53/1156.37	o 1340
1235.25/1159.10	o 1339
1247.55/1171.16	o 1334
1442.52/1361.84	o 1324
1444.12/1363.45	o 1322
1453.85/1372.92	o 1321
1575.64/1491.90	o 1314
1677.12/1591.27	o 1313
1718.11/1631.67	o 1311
1722.81/1636.34	o 1310
2066.32/1975.37	o 1304
2067.52/1976.58	o 1303
2071.85/1980.75	o 1302
2075.95/1984.86	o 1300
2076.35/1985.25	o 1298
2130.03/2038.00	o 1297
2202.93/2109.75	o 1296
2219.56/2126.01	o 1291
2255.42/2161.44	o 1290
2268.55/2174.50	o 1289
2282.85/2188.46	o 1288
2283.35/2188.94	o 1287
2400.04/2303.41	java.util.concurrent.TimeoutException
2400.04/2303.41		at concrete.MAC.mac(MAC.scala:74)
2400.04/2303.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.04/2303.41		at scala.util.Try$.apply(Try.scala:209)
2400.04/2303.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.04/2303.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.04/2303.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.04/2303.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.04/2303.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.04/2303.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.04/2303.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.04/2303.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.04/2303.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.04/2303.41		at concrete.MAC.oneRun(MAC.scala:146)
2400.04/2303.41		at concrete.MAC.nextSolution(MAC.scala:166)
2400.04/2303.41		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.04/2303.41		at concrete.ProblemState.map(ProblemState.scala:203)
2400.04/2303.41		at concrete.ProblemState.map(ProblemState.scala:188)
2400.04/2303.41		at concrete.MAC.nextSolution(MAC.scala:195)
2400.04/2303.41		at concrete.Solver.hasNext(Solver.scala:202)
2400.04/2303.41		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.04/2303.41		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.04/2303.41		at concrete.Solver.toStream(Solver.scala:73)
2400.04/2303.41		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.04/2303.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.04/2303.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.04/2303.41		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.04/2303.41		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.04/2303.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.04/2303.41		at scala.util.Success.map(Try.scala:209)
2400.04/2303.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.04/2303.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.04/2303.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.04/2303.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.04/2303.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.04/2303.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.04/2303.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.04/2303.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.04/2303.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.04/2303.41		at scala.collection.immutable.List.foreach(List.scala:389)
2400.04/2303.41		at scala.App.main(App.scala:76)
2400.04/2303.41		at scala.App.main$(App.scala:74)
2400.04/2303.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.04/2303.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.04/2303.42	v <instantiation cost="1287">
2400.04/2303.42	v       <list>
2400.04/2303.42	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66]
2400.04/2303.42	v       </list>
2400.04/2303.42	v       <values>
2400.04/2303.42	v         0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 60 33 84 39 32 54 24 72 100 46 100 10 82 5 31 100 24 82 48 84 64 83 39 88 71 21 16 100 75 74 100 20 80 75 59 65 68 100 100 100 18 97 92 79 100 37 26 88 74 24 57 79 100 56 60 47 40 64 67 16 54 98 100 1 48 8
2400.04/2303.42	v       </values>
2400.04/2303.42	v     </instantiation>
2400.04/2303.42	s SATISFIABLE

Verifier Data 

OK	1287

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246308-1500713302/watcher-4246308-1500713302 -o /tmp/evaluation-result-4246308-1500713302/solver-4246308-1500713302 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500697238-13813 --watchdog 2560 bin/concrete HOME/instance-4246308-1500713302.xml 

pid=17334
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.51 1.46 1.47 3/261 17337
/proc/meminfo: memFree=31079184/32770624 swapFree=5784/154796
[pid=17337] ppid=17334 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17337/stat : 17337 (bash) S 17334 17337 15196 0 -1 4202496 684 1534 0 0 0 0 0 0 20 0 1 0 6595307 9736192 350 33554432000 4194304 5098028 140729784294304 140729784291944 139965210520576 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 25231360 140729784296718 140729784296803 140729784296803 140729784299502 0
/proc/17337/statm: 2377 350 278 221 0 86 0

[startup+0.100133 s]
/proc/loadavg: 1.51 1.46 1.47 3/261 17337
/proc/meminfo: memFree=31079184/32770624 swapFree=5784/154796
[pid=17337] ppid=17334 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17337/stat : 17337 (bash) S 17334 17337 15196 0 -1 4202496 877 6422 0 0 0 0 0 1 20 0 1 0 6595307 9871360 377 33554432000 4194304 5098028 140729784294304 140729784288312 139965210520576 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 25231360 140729784296718 140729784296803 140729784296803 140729784299502 0
/proc/17337/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200343 s]
/proc/loadavg: 1.51 1.46 1.47 3/261 17337
/proc/meminfo: memFree=31079184/32770624 swapFree=5784/154796
[pid=17337] ppid=17334 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17337/stat : 17337 (java) S 17334 17337 15196 0 -1 1077944320 5054 12301 0 0 6 1 9 3 20 0 13 0 6595307 10686320640 5413 33554432000 4194304 4196468 140729189707200 140729189689744 140589380079351 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
/proc/17337/statm: 2608965 5413 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860

[startup+0.300262 s]
/proc/loadavg: 1.51 1.46 1.47 3/261 17337
/proc/meminfo: memFree=31079184/32770624 swapFree=5784/154796
[pid=17337] ppid=17334 vsize=10902392 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/17337/stat : 17337 (java) S 17334 17337 15196 0 -1 1077944320 9558 12301 0 0 22 2 9 3 20 0 20 0 6595307 11164049408 10563 33554432000 4194304 4196468 140729189707200 140729189689744 140589380079351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
/proc/17337/statm: 2725598 10563 2977 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.700172 s]
/proc/loadavg: 1.51 1.46 1.47 3/261 17337
/proc/meminfo: memFree=31079184/32770624 swapFree=5784/154796
[pid=17337] ppid=17334 vsize=10902720 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/17337/stat : 17337 (java) S 17334 17337 15196 0 -1 1077944320 12909 12301 0 0 82 4 9 3 20 0 20 0 6595307 11164385280 16229 33554432000 4194304 4196468 140729189707200 140729189689744 140589380079351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
/proc/17337/statm: 2725680 16229 3229 1 0 2713890 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10902720

[startup+1.50073 s]
/proc/loadavg: 1.55 1.47 1.48 3/281 17410
/proc/meminfo: memFree=30973792/32770624 swapFree=5784/154828
[pid=17337] ppid=17334 vsize=10913344 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/17337/stat : 17337 (java) S 17334 17337 15196 0 -1 1077944320 27774 12301 0 0 206 13 9 3 20 0 20 0 6595307 11175264256 44138 33554432000 4194304 4196468 140729189707200 140729189689744 140589380079351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
/proc/17337/statm: 2728336 44138 3409 1 0 2716450 0
[pid=17337/tid=17392] ppid=17334 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17392/stat : 17392 (java) R 17334 17337 15196 0 -1 4202560 19591 12301 0 0 126 5 9 3 20 0 20 0 6595320 11175264256 44138 33554432000 4194304 4196468 140729189707200 140589384309256 140589380091286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17393] ppid=17334 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17393/stat : 17393 (java) S 17334 17337 15196 0 -1 1077944384 51 12301 0 0 1 0 9 3 20 0 20 0 6595321 11175264256 44138 33554432000 4194304 4196468 140729189707200 140589316770832 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17394] ppid=17334 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17394/stat : 17394 (java) S 17334 17337 15196 0 -1 1077944384 34 12301 0 0 1 0 9 3 20 0 20 0 6595321 11175264256 44138 33554432000 4194304 4196468 140729189707200 140589315718288 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17395] ppid=17334 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17395/stat : 17395 (java) S 17334 17337 15196 0 -1 1077944384 13 12301 0 0 0 0 9 3 20 0 20 0 6595321 11175264256 44138 33554432000 4194304 4196468 140729189707200 140589314665232 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17396] ppid=17334 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17396/stat : 17396 (java) S 17334 17337 15196 0 -1 1077944384 142 12301 0 0 1 0 9 3 20 0 20 0 6595321 11175264256 44138 33554432000 4194304 4196468 140729189707200 140589313612688 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17397] ppid=17334 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17397/stat : 17397 (java) S 17334 17337 15196 0 -1 1077944384 22 12301 0 0 0 0 9 3 20 0 20 0 6595321 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588982594064 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17398] ppid=17334 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17398/stat : 17398 (java) S 17334 17337 15196 0 -1 1077944384 31 12301 0 0 0 0 9 3 20 0 20 0 6595321 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588981541520 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17399] ppid=17334 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17399/stat : 17399 (java) S 17334 17337 15196 0 -1 1077944384 17 12301 0 0 0 0 9 3 20 0 20 0 6595321 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588980488464 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17400] ppid=17334 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17400/stat : 17400 (java) S 17334 17337 15196 0 -1 1077944384 21 12301 0 0 1 0 9 3 20 0 20 0 6595321 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588979435920 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17401] ppid=17334 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17401/stat : 17401 (java) S 17334 17337 15196 0 -1 1077944384 1455 12301 0 0 1 0 9 3 20 0 20 0 6595323 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588854622960 140589380090498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17402] ppid=17334 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17402/stat : 17402 (java) S 17334 17337 15196 0 -1 1077944384 55 12301 0 0 0 0 9 3 20 0 20 0 6595323 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588853569248 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17403] ppid=17334 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17403/stat : 17403 (java) S 17334 17337 15196 0 -1 1077944384 44 12301 0 0 0 0 9 3 20 0 20 0 6595324 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588852516096 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17404] ppid=17334 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17404/stat : 17404 (java) S 17334 17337 15196 0 -1 1077944384 1 12301 0 0 0 0 9 3 20 0 20 0 6595327 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588851464656 140589380097947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17405] ppid=17334 vsize=10913344 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17405/stat : 17405 (java) S 17334 17337 15196 0 -1 1077944384 1563 12301 0 0 16 0 9 3 20 0 20 0 6595327 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588850411760 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17406] ppid=17334 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17406/stat : 17406 (java) S 17334 17337 15196 0 -1 1077944384 605 12301 0 0 12 0 9 3 20 0 20 0 6595327 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588849359216 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17407] ppid=17334 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17407/stat : 17407 (java) S 17334 17337 15196 0 -1 1077944384 616 12301 0 0 12 0 9 3 20 0 20 0 6595327 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588848306160 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17408] ppid=17334 vsize=10913344 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17408/stat : 17408 (java) S 17334 17337 15196 0 -1 1077944384 1377 12301 0 0 27 0 9 3 20 0 20 0 6595327 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588847253616 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17409] ppid=17334 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17409/stat : 17409 (java) S 17334 17337 15196 0 -1 1077944384 3 12301 0 0 0 0 9 3 20 0 20 0 6595328 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588846201824 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17410] ppid=17334 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17410/stat : 17410 (java) S 17334 17337 15196 0 -1 1077944384 6 12301 0 0 0 0 9 3 20 0 20 0 6595328 11175264256 44138 33554432000 4194304 4196468 140729189707200 140588845149360 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10913344

[startup+3.1011 s]
/proc/loadavg: 1.55 1.47 1.48 5/281 17410
/proc/meminfo: memFree=30901576/32770624 swapFree=5784/154828
[pid=17337] ppid=17334 vsize=10923772 CPUtime=7.69 cores=0,2,4,6,8,10,12,14
/proc/17337/stat : 17337 (java) S 17334 17337 15196 0 -1 1077944320 41798 12301 0 0 738 19 9 3 20 0 20 0 6595307 11185942528 61775 33554432000 4194304 4196468 140729189707200 140729189689744 140589380079351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
/proc/17337/statm: 2730943 61775 3483 1 0 2718498 0
[pid=17337/tid=17392] ppid=17334 vsize=10923772 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17392/stat : 17392 (java) R 17334 17337 15196 0 -1 4202560 24542 12301 0 0 283 8 9 3 20 0 20 0 6595320 11185942528 61775 33554432000 4194304 4196468 140729189707200 140589384307376 140589380091286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17393] ppid=17334 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17393/stat : 17393 (java) S 17334 17337 15196 0 -1 1077944384 51 12301 0 0 1 0 9 3 20 0 20 0 6595321 11185942528 61775 33554432000 4194304 4196468 140729189707200 140589316770832 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17394] ppid=17334 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17394/stat : 17394 (java) S 17334 17337 15196 0 -1 1077944384 34 12301 0 0 1 0 9 3 20 0 20 0 6595321 11185942528 61775 33554432000 4194304 4196468 140729189707200 140589315718288 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17395] ppid=17334 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17395/stat : 17395 (java) S 17334 17337 15196 0 -1 1077944384 13 12301 0 0 0 0 9 3 20 0 20 0 6595321 11185942528 61775 33554432000 4194304 4196468 140729189707200 140589314665232 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17396] ppid=17334 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17396/stat : 17396 (java) S 17334 17337 15196 0 -1 1077944384 142 12301 0 0 1 0 9 3 20 0 20 0 6595321 11185942528 61775 33554432000 4194304 4196468 140729189707200 140589313612688 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17397] ppid=17334 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17397/stat : 17397 (java) S 17334 17337 15196 0 -1 1077944384 22 12301 0 0 0 0 9 3 20 0 20 0 6595321 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588982594064 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17398] ppid=17334 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17398/stat : 17398 (java) S 17334 17337 15196 0 -1 1077944384 31 12301 0 0 0 0 9 3 20 0 20 0 6595321 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588981541520 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17399] ppid=17334 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17399/stat : 17399 (java) S 17334 17337 15196 0 -1 1077944384 17 12301 0 0 0 0 9 3 20 0 20 0 6595321 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588980488464 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17400] ppid=17334 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17400/stat : 17400 (java) S 17334 17337 15196 0 -1 1077944384 21 12301 0 0 1 0 9 3 20 0 20 0 6595321 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588979435920 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17401] ppid=17334 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17401/stat : 17401 (java) S 17334 17337 15196 0 -1 1077944384 1477 12301 0 0 1 0 9 3 20 0 20 0 6595323 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588854622960 140589380090498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17402] ppid=17334 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17402/stat : 17402 (java) S 17334 17337 15196 0 -1 1077944384 55 12301 0 0 0 0 9 3 20 0 20 0 6595323 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588853569248 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17403] ppid=17334 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17403/stat : 17403 (java) S 17334 17337 15196 0 -1 1077944384 44 12301 0 0 0 0 9 3 20 0 20 0 6595324 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588852516096 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17404] ppid=17334 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17404/stat : 17404 (java) S 17334 17337 15196 0 -1 1077944384 1 12301 0 0 0 0 9 3 20 0 20 0 6595327 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588851464656 140589380097947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17405] ppid=17334 vsize=10923772 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17405/stat : 17405 (java) R 17334 17337 15196 0 -1 4202560 3190 12301 0 0 110 1 9 3 20 0 20 0 6595327 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588850393168 140589357674512 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17406] ppid=17334 vsize=10923772 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17406/stat : 17406 (java) R 17334 17337 15196 0 -1 4202560 1945 12301 0 0 98 1 9 3 20 0 20 0 6595327 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588849345784 140589366095435 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17407] ppid=17334 vsize=10923772 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17407/stat : 17407 (java) R 17334 17337 15196 0 -1 4202560 4192 12301 0 0 115 1 9 3 20 0 20 0 6595327 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588848292704 140589361624016 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17408] ppid=17334 vsize=10923772 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17408/stat : 17408 (java) S 17334 17337 15196 0 -1 1077944384 3884 12301 0 0 117 2 9 3 20 0 20 0 6595327 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588847253616 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17409] ppid=17334 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17409/stat : 17409 (java) S 17334 17337 15196 0 -1 1077944384 3 12301 0 0 0 0 9 3 20 0 20 0 6595328 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588846201824 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17410] ppid=17334 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17410/stat : 17410 (java) S 17334 17337 15196 0 -1 1077944384 7 12301 0 0 0 0 9 3 20 0 20 0 6595328 11185942528 61775 33554432000 4194304 4196468 140729189707200 140588845149360 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 10923772

[startup+6.30124 s]
/proc/loadavg: 1.82 1.53 1.50 4/281 17410
/proc/meminfo: memFree=30729400/32770624 swapFree=5784/154840
[pid=17337] ppid=17334 vsize=10995452 CPUtime=19.51 cores=0,2,4,6,8,10,12,14
/proc/17337/stat : 17337 (java) S 17334 17337 15196 0 -1 1077944320 85887 12301 0 0 1877 62 9 3 20 0 20 0 6595307 11259342848 108363 33554432000 4194304 4196468 140729189707200 140729189689744 140589380079351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
/proc/17337/statm: 2748863 108363 3515 1 0 2736418 0
[pid=17337/tid=17392] ppid=17334 vsize=10995452 CPUtime=6.01 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17392/stat : 17392 (java) R 17334 17337 15196 0 -1 4202560 43597 12301 0 0 576 13 9 3 20 0 20 0 6595320 11259342848 108363 33554432000 4194304 4196468 140729189707200 140589384313448 140589380091286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17393] ppid=17334 vsize=10995452 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17393/stat : 17393 (java) S 17334 17337 15196 0 -1 1077944384 180 12301 0 0 11 4 9 3 20 0 20 0 6595321 11259342848 108363 33554432000 4194304 4196468 140729189707200 140589316770832 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17394] ppid=17334 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17394/stat : 17394 (java) S 17334 17337 15196 0 -1 1077944384 110 12301 0 0 10 4 9 3 20 0 20 0 6595321 11259342848 108363 33554432000 4194304 4196468 140729189707200 140589315718288 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17395] ppid=17334 vsize=10995452 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17395/stat : 17395 (java) S 17334 17337 15196 0 -1 1077944384 162 12301 0 0 12 4 9 3 20 0 20 0 6595321 11259342848 108363 33554432000 4194304 4196468 140729189707200 140589314665232 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17396] ppid=17334 vsize=10995452 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17396/stat : 17396 (java) S 17334 17337 15196 0 -1 1077944384 196 12301 0 0 11 4 9 3 20 0 20 0 6595321 11259342848 108363 33554432000 4194304 4196468 140729189707200 140589313612688 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17397] ppid=17334 vsize=10995452 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17397/stat : 17397 (java) S 17334 17337 15196 0 -1 1077944384 152 12301 0 0 9 4 9 3 20 0 20 0 6595321 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588982594064 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17398] ppid=17334 vsize=10995452 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17398/stat : 17398 (java) S 17334 17337 15196 0 -1 1077944384 157 12301 0 0 11 4 9 3 20 0 20 0 6595321 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588981541520 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17399] ppid=17334 vsize=10995452 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17399/stat : 17399 (java) S 17334 17337 15196 0 -1 1077944384 151 12301 0 0 9 4 9 3 20 0 20 0 6595321 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588980488464 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17400] ppid=17334 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17400/stat : 17400 (java) S 17334 17337 15196 0 -1 1077944384 574 12301 0 0 10 4 9 3 20 0 20 0 6595321 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588979435920 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17401] ppid=17334 vsize=10995452 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17401/stat : 17401 (java) S 17334 17337 15196 0 -1 1077944384 6638 12301 0 0 5 0 9 3 20 0 20 0 6595323 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588854622960 140589380090498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17402] ppid=17334 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17402/stat : 17402 (java) S 17334 17337 15196 0 -1 1077944384 64 12301 0 0 0 0 9 3 20 0 20 0 6595323 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588853569312 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17403] ppid=17334 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17403/stat : 17403 (java) S 17334 17337 15196 0 -1 1077944384 51 12301 0 0 0 0 9 3 20 0 20 0 6595324 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588852516096 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17404] ppid=17334 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17404/stat : 17404 (java) S 17334 17337 15196 0 -1 1077944384 1 12301 0 0 0 0 9 3 20 0 20 0 6595327 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588851464656 140589380097947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17405] ppid=17334 vsize=10995452 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17405/stat : 17405 (java) R 17334 17337 15196 0 -1 4202560 6833 12301 0 0 320 2 9 3 20 0 20 0 6595327 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588850397856 140589359335944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17406] ppid=17334 vsize=10995452 CPUtime=3.24 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17406/stat : 17406 (java) R 17334 17337 15196 0 -1 4202560 5330 12301 0 0 310 2 9 3 20 0 20 0 6595327 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588849350192 140589359292337 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17407] ppid=17334 vsize=10995452 CPUtime=3.63 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17407/stat : 17407 (java) R 17334 17337 15196 0 -1 4202560 10381 12301 0 0 349 2 9 3 20 0 20 0 6595327 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588848292416 140589359326537 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17408] ppid=17334 vsize=10995452 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17408/stat : 17408 (java) R 17334 17337 15196 0 -1 4202560 9052 12301 0 0 225 3 9 3 20 0 20 0 6595327 11259342848 108363 33554432000 4194304 4196468 140729189707200 140588847253616 140589380100698 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17409] ppid=17334 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14

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

/proc/17337/task/17406/stat : 17406 (java) S 17334 17337 15196 0 -1 1077944384 49611 12301 0 0 762 8 9 3 20 0 20 0 6595327 11261440000 790373 33554432000 4194304 4196468 140729189707200 140588849359216 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17407] ppid=17334 vsize=10997500 CPUtime=8.4 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17407/stat : 17407 (java) S 17334 17337 15196 0 -1 1077944384 52033 12301 0 0 821 7 9 3 20 0 20 0 6595327 11261440000 790373 33554432000 4194304 4196468 140729189707200 140588848306160 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17408] ppid=17334 vsize=10997500 CPUtime=4.62 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17408/stat : 17408 (java) S 17334 17337 15196 0 -1 1077944384 71838 12301 0 0 440 10 9 3 20 0 20 0 6595327 11261440000 790373 33554432000 4194304 4196468 140729189707200 140588847253616 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17409] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17409/stat : 17409 (java) S 17334 17337 15196 0 -1 1077944384 3 12301 0 0 0 0 9 3 20 0 20 0 6595328 11261440000 790373 33554432000 4194304 4196468 140729189707200 140588846201824 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17410] ppid=17334 vsize=10997500 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17410/stat : 17410 (java) S 17334 17337 15196 0 -1 1077944384 1376 12301 0 0 62 44 9 3 20 0 20 0 6595328 11261440000 790373 33554432000 4194304 4196468 140729189707200 140588845149360 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
Current children cumulated CPU time (s) 2236.02
Current children cumulated vsize (KiB) 10997500

[startup+2202.31 s]
/proc/loadavg: 2.01 1.90 1.85 3/281 17642
/proc/meminfo: memFree=25374648/32770624 swapFree=5784/157652
[pid=17337] ppid=17334 vsize=10997500 CPUtime=2296.92 cores=0,2,4,6,8,10,12,14
/proc/17337/stat : 17337 (java) S 17334 17337 15196 0 -1 1077944320 528094 12301 0 0 227478 2202 9 3 20 0 20 0 6595307 11261440000 789604 33554432000 4194304 4196468 140729189707200 140729189689744 140589380079351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
/proc/17337/statm: 2749375 789604 3533 1 0 2736930 0
[pid=17337/tid=17392] ppid=17334 vsize=10997500 CPUtime=2190.97 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17392/stat : 17392 (java) R 17334 17337 15196 0 -1 4202560 177307 12301 0 0 219018 67 9 3 20 0 20 0 6595320 11261440000 789604 33554432000 4194304 4196468 140729189707200 140589384313624 140589014713639 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17393] ppid=17334 vsize=10997500 CPUtime=9.53 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17393/stat : 17393 (java) S 17334 17337 15196 0 -1 1077944384 11625 12301 0 0 685 256 9 3 20 0 20 0 6595321 11261440000 789604 33554432000 4194304 4196468 140729189707200 140589316770832 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17394] ppid=17334 vsize=10997500 CPUtime=9.57 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17394/stat : 17394 (java) S 17334 17337 15196 0 -1 1077944384 14321 12301 0 0 684 261 9 3 20 0 20 0 6595321 11261440000 789604 33554432000 4194304 4196468 140729189707200 140589315718288 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17395] ppid=17334 vsize=10997500 CPUtime=9.65 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17395/stat : 17395 (java) S 17334 17337 15196 0 -1 1077944384 13706 12301 0 0 695 258 9 3 20 0 20 0 6595321 11261440000 789604 33554432000 4194304 4196468 140729189707200 140589314665232 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17396] ppid=17334 vsize=10997500 CPUtime=9.57 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17396/stat : 17396 (java) S 17334 17337 15196 0 -1 1077944384 10027 12301 0 0 687 258 9 3 20 0 20 0 6595321 11261440000 789604 33554432000 4194304 4196468 140729189707200 140589313612688 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17397] ppid=17334 vsize=10997500 CPUtime=9.53 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17397/stat : 17397 (java) S 17334 17337 15196 0 -1 1077944384 17117 12301 0 0 680 261 9 3 20 0 20 0 6595321 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588982594064 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17398] ppid=17334 vsize=10997500 CPUtime=9.59 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17398/stat : 17398 (java) S 17334 17337 15196 0 -1 1077944384 12863 12301 0 0 689 258 9 3 20 0 20 0 6595321 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588981541520 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17399] ppid=17334 vsize=10997500 CPUtime=9.48 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17399/stat : 17399 (java) S 17334 17337 15196 0 -1 1077944384 9229 12301 0 0 681 255 9 3 20 0 20 0 6595321 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588980488464 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17400] ppid=17334 vsize=10997500 CPUtime=9.65 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17400/stat : 17400 (java) S 17334 17337 15196 0 -1 1077944384 10822 12301 0 0 694 259 9 3 20 0 20 0 6595321 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588979435920 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17401] ppid=17334 vsize=10997500 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17401/stat : 17401 (java) S 17334 17337 15196 0 -1 1077944384 29369 12301 0 0 60 10 9 3 20 0 20 0 6595323 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588854622960 140589380090498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17402] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17402/stat : 17402 (java) S 17334 17337 15196 0 -1 1077944384 139 12301 0 0 0 0 9 3 20 0 20 0 6595323 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588853569312 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17403] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17403/stat : 17403 (java) S 17334 17337 15196 0 -1 1077944384 52 12301 0 0 0 0 9 3 20 0 20 0 6595324 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588852516096 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17404] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17404/stat : 17404 (java) S 17334 17337 15196 0 -1 1077944384 1 12301 0 0 0 0 9 3 20 0 20 0 6595327 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588851464656 140589380097947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17405] ppid=17334 vsize=10997500 CPUtime=8.03 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17405/stat : 17405 (java) S 17334 17337 15196 0 -1 1077944384 44497 12301 0 0 784 7 9 3 20 0 20 0 6595327 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588850411760 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17406] ppid=17334 vsize=10997500 CPUtime=7.82 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17406/stat : 17406 (java) S 17334 17337 15196 0 -1 1077944384 49613 12301 0 0 762 8 9 3 20 0 20 0 6595327 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588849359216 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17407] ppid=17334 vsize=10997500 CPUtime=8.4 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17407/stat : 17407 (java) S 17334 17337 15196 0 -1 1077944384 52035 12301 0 0 821 7 9 3 20 0 20 0 6595327 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588848306160 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17408] ppid=17334 vsize=10997500 CPUtime=4.62 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17408/stat : 17408 (java) S 17334 17337 15196 0 -1 1077944384 71840 12301 0 0 440 10 9 3 20 0 20 0 6595327 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588847253616 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17409] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17409/stat : 17409 (java) S 17334 17337 15196 0 -1 1077944384 3 12301 0 0 0 0 9 3 20 0 20 0 6595328 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588846201824 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17410] ppid=17334 vsize=10997500 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17410/stat : 17410 (java) S 17334 17337 15196 0 -1 1077944384 1401 12301 0 0 64 45 9 3 20 0 20 0 6595328 11261440000 789604 33554432000 4194304 4196468 140729189707200 140588845149360 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
Current children cumulated CPU time (s) 2296.92
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 1.94 1.90 1.85 4/281 17643
/proc/meminfo: memFree=25375684/32770624 swapFree=5784/157708
[pid=17337] ppid=17334 vsize=10997500 CPUtime=2357.99 cores=0,2,4,6,8,10,12,14
/proc/17337/stat : 17337 (java) S 17334 17337 15196 0 -1 1077944320 533451 12301 0 0 233582 2205 9 3 20 0 20 0 6595307 11261440000 789606 33554432000 4194304 4196468 140729189707200 140729189689744 140589380079351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
/proc/17337/statm: 2749375 789606 3533 1 0 2736930 0
[pid=17337/tid=17392] ppid=17334 vsize=10997500 CPUtime=2250.78 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17392/stat : 17392 (java) R 17334 17337 15196 0 -1 4202560 180413 12301 0 0 224998 68 9 3 20 0 20 0 6595320 11261440000 789606 33554432000 4194304 4196468 140729189707200 140589384313456 140589003139194 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17393] ppid=17334 vsize=10997500 CPUtime=9.69 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17393/stat : 17393 (java) S 17334 17337 15196 0 -1 1077944384 11696 12301 0 0 701 256 9 3 20 0 20 0 6595321 11261440000 789606 33554432000 4194304 4196468 140729189707200 140589316770832 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17394] ppid=17334 vsize=10997500 CPUtime=9.72 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17394/stat : 17394 (java) S 17334 17337 15196 0 -1 1077944384 14468 12301 0 0 699 261 9 3 20 0 20 0 6595321 11261440000 789606 33554432000 4194304 4196468 140729189707200 140589315718288 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17395] ppid=17334 vsize=10997500 CPUtime=9.8 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17395/stat : 17395 (java) S 17334 17337 15196 0 -1 1077944384 13838 12301 0 0 710 258 9 3 20 0 20 0 6595321 11261440000 789606 33554432000 4194304 4196468 140729189707200 140589314665232 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17396] ppid=17334 vsize=10997500 CPUtime=9.71 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17396/stat : 17396 (java) S 17334 17337 15196 0 -1 1077944384 10174 12301 0 0 701 258 9 3 20 0 20 0 6595321 11261440000 789606 33554432000 4194304 4196468 140729189707200 140589313612688 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17397] ppid=17334 vsize=10997500 CPUtime=9.69 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17397/stat : 17397 (java) S 17334 17337 15196 0 -1 1077944384 17258 12301 0 0 696 261 9 3 20 0 20 0 6595321 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588982594064 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17398] ppid=17334 vsize=10997500 CPUtime=9.75 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17398/stat : 17398 (java) S 17334 17337 15196 0 -1 1077944384 13138 12301 0 0 705 258 9 3 20 0 20 0 6595321 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588981541520 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17399] ppid=17334 vsize=10997500 CPUtime=9.64 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17399/stat : 17399 (java) S 17334 17337 15196 0 -1 1077944384 10087 12301 0 0 697 255 9 3 20 0 20 0 6595321 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588980488464 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17400] ppid=17334 vsize=10997500 CPUtime=9.81 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17400/stat : 17400 (java) S 17334 17337 15196 0 -1 1077944384 10948 12301 0 0 710 259 9 3 20 0 20 0 6595321 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588979435920 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17401] ppid=17334 vsize=10997500 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17401/stat : 17401 (java) S 17334 17337 15196 0 -1 1077944384 29681 12301 0 0 61 10 9 3 20 0 20 0 6595323 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588854622960 140589380090498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17402] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17402/stat : 17402 (java) S 17334 17337 15196 0 -1 1077944384 139 12301 0 0 0 0 9 3 20 0 20 0 6595323 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588853569312 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17403] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17403/stat : 17403 (java) S 17334 17337 15196 0 -1 1077944384 52 12301 0 0 0 0 9 3 20 0 20 0 6595324 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588852516096 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17404] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17404/stat : 17404 (java) S 17334 17337 15196 0 -1 1077944384 1 12301 0 0 0 0 9 3 20 0 20 0 6595327 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588851464656 140589380097947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17405] ppid=17334 vsize=10997500 CPUtime=8.03 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17405/stat : 17405 (java) S 17334 17337 15196 0 -1 1077944384 44501 12301 0 0 784 7 9 3 20 0 20 0 6595327 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588850411760 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17406] ppid=17334 vsize=10997500 CPUtime=7.82 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17406/stat : 17406 (java) S 17334 17337 15196 0 -1 1077944384 49616 12301 0 0 762 8 9 3 20 0 20 0 6595327 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588849359216 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17407] ppid=17334 vsize=10997500 CPUtime=8.4 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17407/stat : 17407 (java) S 17334 17337 15196 0 -1 1077944384 52044 12301 0 0 821 7 9 3 20 0 20 0 6595327 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588848306160 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17408] ppid=17334 vsize=10997500 CPUtime=4.62 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17408/stat : 17408 (java) S 17334 17337 15196 0 -1 1077944384 71843 12301 0 0 440 10 9 3 20 0 20 0 6595327 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588847253616 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17409] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17409/stat : 17409 (java) S 17334 17337 15196 0 -1 1077944384 3 12301 0 0 0 0 9 3 20 0 20 0 6595328 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588846201824 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17410] ppid=17334 vsize=10997500 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17410/stat : 17410 (java) S 17334 17337 15196 0 -1 1077944384 1424 12301 0 0 65 47 9 3 20 0 20 0 6595328 11261440000 789606 33554432000 4194304 4196468 140729189707200 140588845149360 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
Current children cumulated CPU time (s) 2357.99
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2303.4 s]
/proc/loadavg: 1.84 1.88 1.85 3/281 17644
/proc/meminfo: memFree=25353224/32770624 swapFree=5784/157756
[pid=17337] ppid=17334 vsize=10997500 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/17337/stat : 17337 (java) S 17334 17337 15196 0 -1 1077944320 536981 12301 0 0 237785 2207 9 3 20 0 20 0 6595307 11261440000 794203 33554432000 4194304 4196468 140729189707200 140729189689744 140589380079351 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
/proc/17337/statm: 2749375 794203 3533 1 0 2736930 0
[pid=17337/tid=17392] ppid=17334 vsize=10997500 CPUtime=2291.71 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17392/stat : 17392 (java) R 17334 17337 15196 0 -1 4202560 182320 12301 0 0 229091 68 9 3 20 0 20 0 6595320 11261440000 794203 33554432000 4194304 4196468 140729189707200 140589384313456 140589013563578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17393] ppid=17334 vsize=10997500 CPUtime=9.82 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17393/stat : 17393 (java) S 17334 17337 15196 0 -1 1077944384 11751 12301 0 0 714 256 9 3 20 0 20 0 6595321 11261440000 794203 33554432000 4194304 4196468 140729189707200 140589316770832 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17394] ppid=17334 vsize=10997500 CPUtime=9.86 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17394/stat : 17394 (java) S 17334 17337 15196 0 -1 1077944384 15228 12301 0 0 712 262 9 3 20 0 20 0 6595321 11261440000 794203 33554432000 4194304 4196468 140729189707200 140589315718288 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17395] ppid=17334 vsize=10997500 CPUtime=9.95 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17395/stat : 17395 (java) S 17334 17337 15196 0 -1 1077944384 13867 12301 0 0 725 258 9 3 20 0 20 0 6595321 11261440000 794203 33554432000 4194304 4196468 140729189707200 140589314665232 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17396] ppid=17334 vsize=10997500 CPUtime=9.83 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17396/stat : 17396 (java) S 17334 17337 15196 0 -1 1077944384 10256 12301 0 0 713 258 9 3 20 0 20 0 6595321 11261440000 794203 33554432000 4194304 4196468 140729189707200 140589313612688 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17397] ppid=17334 vsize=10997500 CPUtime=9.83 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17397/stat : 17397 (java) S 17334 17337 15196 0 -1 1077944384 17280 12301 0 0 710 261 9 3 20 0 20 0 6595321 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588982594064 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17398] ppid=17334 vsize=10997500 CPUtime=9.89 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17398/stat : 17398 (java) S 17334 17337 15196 0 -1 1077944384 13163 12301 0 0 719 258 9 3 20 0 20 0 6595321 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588981541520 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17399] ppid=17334 vsize=10997500 CPUtime=9.78 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17399/stat : 17399 (java) S 17334 17337 15196 0 -1 1077944384 10350 12301 0 0 711 255 9 3 20 0 20 0 6595321 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588980488464 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17400] ppid=17334 vsize=10997500 CPUtime=9.93 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17400/stat : 17400 (java) S 17334 17337 15196 0 -1 1077944384 10975 12301 0 0 722 259 9 3 20 0 20 0 6595321 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588979435920 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17401] ppid=17334 vsize=10997500 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17401/stat : 17401 (java) S 17334 17337 15196 0 -1 1077944384 29999 12301 0 0 61 10 9 3 20 0 20 0 6595323 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588854622960 140589380090498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17402] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17402/stat : 17402 (java) S 17334 17337 15196 0 -1 1077944384 139 12301 0 0 0 0 9 3 20 0 20 0 6595323 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588853569312 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17403] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17403/stat : 17403 (java) S 17334 17337 15196 0 -1 1077944384 52 12301 0 0 0 0 9 3 20 0 20 0 6595324 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588852516096 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17404] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17404/stat : 17404 (java) S 17334 17337 15196 0 -1 1077944384 1 12301 0 0 0 0 9 3 20 0 20 0 6595327 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588851464656 140589380097947 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17405] ppid=17334 vsize=10997500 CPUtime=8.03 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17405/stat : 17405 (java) S 17334 17337 15196 0 -1 1077944384 44505 12301 0 0 784 7 9 3 20 0 20 0 6595327 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588850411760 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17406] ppid=17334 vsize=10997500 CPUtime=7.82 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17406/stat : 17406 (java) S 17334 17337 15196 0 -1 1077944384 49619 12301 0 0 762 8 9 3 20 0 20 0 6595327 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588849359216 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17407] ppid=17334 vsize=10997500 CPUtime=8.4 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17407/stat : 17407 (java) S 17334 17337 15196 0 -1 1077944384 52053 12301 0 0 821 7 9 3 20 0 20 0 6595327 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588848306160 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17408] ppid=17334 vsize=10997500 CPUtime=4.62 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17408/stat : 17408 (java) S 17334 17337 15196 0 -1 1077944384 71846 12301 0 0 440 10 9 3 20 0 20 0 6595327 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588847253616 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17409] ppid=17334 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17409/stat : 17409 (java) S 17334 17337 15196 0 -1 1077944384 3 12301 0 0 0 0 9 3 20 0 20 0 6595328 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588846201824 140589380089557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
[pid=17337/tid=17410] ppid=17334 vsize=10997500 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17337/task/17410/stat : 17410 (java) S 17334 17337 15196 0 -1 1077944384 1447 12301 0 0 66 49 9 3 20 0 20 0 6595328 11261440000 794203 33554432000 4194304 4196468 140729189707200 140588845149360 140589380090498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36827136 140729189714625 140729189717399 140729189717399 140729189720015 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10997500

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17337 sig 9
??? kill -17337 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2303.46
CPU time (s): 2400.12
CPU user time (s): 2377.99
CPU system time (s): 22.1319
CPU usage (%): 104.196
Max. virtual memory (cumulated for all children) (KiB): 11000284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2377.99
system time used= 22.1319
maximum resident set size= 3177356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 553870
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86507
involuntary context switches= 128595

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4961 second user time and 15.9389 second system time

The end

Launcher Data 

Begin job on node145 at 2017-07-22 10:48:22
IDJOB=4246308
IDBENCH=124400
IDSOLVER=2630
FILE ID=node145/4246308-1500713302
RUNJOBID= node145-1500697238-13813
PBS_JOBID= 20623333
Free space on /tmp= 61840 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n67-k10.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246308-1500713302/watcher-4246308-1500713302 -o /tmp/evaluation-result-4246308-1500713302/solver-4246308-1500713302 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500697238-13813 --watchdog 2560  bin/concrete HOME/instance-4246308-1500713302.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 22a404b8d6219eda7de384223800de36
RANDOM SEED=587070013

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

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

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

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

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

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31079572 kB
MemAvailable:   31250580 kB
Buffers:          153940 kB
Cached:           287884 kB
SwapCached:            0 kB
Active:          1013364 kB
Inactive:         222652 kB
Active(anon):     737196 kB
Inactive(anon):    67856 kB
Active(file):     276168 kB
Inactive(file):   154796 kB
Unevictable:        5784 kB
Mlocked:            5784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             23968 kB
Writeback:            16 kB
AnonPages:        798988 kB
Mapped:            44332 kB
Shmem:              8852 kB
Slab:             145732 kB
SReclaimable:     111756 kB
SUnreclaim:        33976 kB
KernelStack:        4496 kB
PageTables:         7228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1587432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    702464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61812 MiB
End job on node145 at 2017-07-22 11:26:46