Trace number 4246357

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)1717 2400.11 2313.54

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n68-k9.xml
MD5SUMd46243a0c717d56f47be278be902a17a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1300
Best CPU time to get the best result obtained on this benchmark2400.1
Satisfiable
(Un)Satisfiability was proved
Number of variables4692
Number of constraints4623
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":68},{"size":2,"count":4556},{"size":101,"count":67}]
Minimum variable degree0
Maximum variable degree133
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":68},{"degree":2,"count":134},{"degree":4,"count":4422},{"degree":133,"count":67}]
Minimum constraint arity1
Maximum constraint arity67
Distribution of constraint arities[{"arity":1,"count":67},{"arity":3,"count":4422},{"arity":67,"count":134}]
Number of extensional constraints0
Number of intensional constraints67
Distribution of constraint types[{"type":"intension","count":67},{"type":"sum","count":4422},{"type":"count","count":134}]
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.74/2.16	c Concrete v3.4 running
24.93/7.32	o 4285
26.57/7.82	o 4161
27.25/8.17	o 4071
27.82/8.54	o 3992
28.43/8.96	o 3965
29.21/9.31	o 3915
29.63/9.67	o 3868
30.43/10.04	o 3848
30.69/10.38	o 3843
31.14/10.75	o 3769
31.45/11.08	o 3763
31.85/11.42	o 3741
32.16/11.76	o 3715
32.84/12.11	o 3700
33.14/12.43	o 3669
33.44/12.74	o 3567
33.75/13.04	o 3515
34.06/13.36	o 3485
34.46/13.70	o 3483
35.29/14.35	o 3480
35.59/14.65	o 3469
35.89/14.94	o 3405
36.53/15.54	o 3284
36.83/15.85	o 3252
37.13/16.17	o 3216
37.74/16.53	o 3190
38.02/16.84	o 3188
38.72/17.51	o 3185
39.02/17.87	o 3118
39.45/18.23	o 3114
39.75/18.54	o 3046
40.05/18.90	o 3011
40.45/19.23	o 2897
40.86/19.61	o 2875
41.46/19.99	o 2874
42.26/20.70	o 2871
43.38/21.83	o 2867
44.10/22.57	o 2855
44.50/22.94	o 2852
44.90/23.33	o 2820
45.72/24.21	o 2805
47.51/25.50	o 2794
47.81/25.90	o 2711
48.32/26.31	o 2708
48.74/26.74	o 2700
49.14/27.19	o 2671
50.96/28.90	o 2667
51.62/29.33	o 2649
52.14/29.81	o 2621
52.54/30.24	o 2606
54.39/32.09	o 2525
54.79/32.49	o 2511
56.26/33.81	o 2480
56.67/34.22	o 2477
57.06/34.63	o 2464
57.98/35.13	o 2418
59.27/36.36	o 2412
60.17/37.21	o 2410
62.45/39.44	o 2408
63.47/40.19	o 2403
66.25/42.49	o 2357
69.60/45.71	o 2312
70.92/47.01	o 2308
71.72/47.85	o 2294
74.65/50.26	o 2290
76.56/52.15	o 2260
80.30/55.81	o 2254
81.72/57.21	o 2251
82.94/58.22	o 2204
87.47/62.66	o 2199
88.98/64.19	o 2190
89.59/64.75	o 2185
90.70/65.80	o 2184
91.70/66.85	o 2183
93.22/68.01	o 2160
99.92/74.63	o 2126
113.45/87.36	o 2099
113.75/87.68	o 2098
114.16/88.01	o 2072
114.46/88.37	o 2029
115.16/89.06	o 2027
115.87/89.78	o 2025
119.10/92.97	o 2020
122.54/95.97	o 2019
123.04/96.40	o 2005
141.24/113.84	o 1984
142.93/115.43	o 1982
148.58/121.01	o 1981
151.78/124.28	o 1979
157.10/129.07	o 1976
161.93/133.82	o 1964
164.56/136.42	o 1961
169.46/140.87	o 1959
172.88/144.21	o 1957
176.10/147.43	o 1956
176.59/147.91	o 1947
196.44/166.53	o 1935
196.94/167.04	o 1912
219.38/188.64	o 1911
222.40/191.61	o 1910
230.06/199.14	o 1904
244.05/212.89	o 1901
245.06/213.82	o 1898
257.54/226.13	o 1894
263.95/232.31	o 1888
290.19/258.03	o 1880
296.95/264.78	o 1879
299.58/267.27	o 1861
299.99/267.69	o 1842
300.50/268.14	o 1838
332.89/299.55	o 1823
333.40/300.04	o 1822
341.69/308.14	o 1821
382.60/347.56	o 1815
384.02/348.97	o 1813
388.18/352.91	o 1807
1061.86/1003.06	o 1793
1063.19/1004.32	o 1777
1066.57/1007.47	o 1730
1071.11/1011.95	o 1726
1458.19/1388.32	o 1725
1487.74/1417.09	o 1722
1490.36/1419.65	o 1720
1995.11/1914.98	o 1717
2400.04/2313.51	java.util.concurrent.TimeoutException
2400.04/2313.51		at concrete.MAC.mac(MAC.scala:74)
2400.04/2313.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.04/2313.51		at scala.util.Try$.apply(Try.scala:209)
2400.04/2313.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.04/2313.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.04/2313.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.04/2313.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.04/2313.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.04/2313.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.04/2313.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.04/2313.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.04/2313.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.04/2313.51		at concrete.MAC.oneRun(MAC.scala:146)
2400.04/2313.51		at concrete.MAC.nextSolution(MAC.scala:166)
2400.04/2313.51		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.04/2313.51		at concrete.ProblemState.map(ProblemState.scala:203)
2400.04/2313.51		at concrete.ProblemState.map(ProblemState.scala:188)
2400.04/2313.51		at concrete.MAC.nextSolution(MAC.scala:195)
2400.04/2313.51		at concrete.Solver.hasNext(Solver.scala:202)
2400.04/2313.51		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.04/2313.51		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.04/2313.51		at concrete.Solver.toStream(Solver.scala:73)
2400.04/2313.51		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.04/2313.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.04/2313.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.04/2313.51		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.04/2313.51		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.04/2313.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.04/2313.51		at scala.util.Success.map(Try.scala:209)
2400.04/2313.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.04/2313.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.04/2313.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.04/2313.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.04/2313.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.04/2313.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.04/2313.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.04/2313.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.04/2313.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.04/2313.51		at scala.collection.immutable.List.foreach(List.scala:389)
2400.04/2313.51		at scala.App.main(App.scala:76)
2400.04/2313.51		at scala.App.main$(App.scala:74)
2400.04/2313.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.04/2313.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.04/2313.51	v <instantiation cost="1717">
2400.04/2313.51	v       <list>
2400.04/2313.51	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[0][67] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[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[12][67] 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[13][67] 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[14][67] 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[15][67] 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[16][67] 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[17][67] 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[18][67] 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[19][67] 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[20][67] 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[21][67] 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[22][67] 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[23][67] 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[24][67] 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[25][67] 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[26][67] 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[27][67] 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[28][67] 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[29][67] 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[30][67] 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[31][67] 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[32][67] 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[33][67] 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[34][67] 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[35][67] 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[36][67] 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[37][67] 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[38][67] 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[39][67] 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[40][67] 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[41][67] 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[42][67] 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[43][67] 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[44][67] 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[45][67] 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[46][67] 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[47][67] 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[48][67] 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[49][67] 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[50][67] 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[51][67] 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[52][67] 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[53][67] 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[54][67] 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[55][67] 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[56][67] 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[57][67] 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[58][67] 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[59][67] 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[60][67] 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[61][67] 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[62][67] 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[63][67] 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[64][67] 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[65][67] 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] x[66][67] x[67][0] x[67][1] x[67][2] x[67][3] x[67][4] x[67][5] x[67][6] x[67][7] x[67][8] x[67][9] x[67][10] x[67][11] x[67][12] x[67][13] x[67][14] x[67][15] x[67][16] x[67][17] x[67][18] x[67][19] x[67][20] x[67][21] x[67][22] x[67][23] x[67][24] x[67][25] x[67][26] x[67][27] x[67][28] x[67][29] x[67][30] x[67][31] x[67][32] x[67][33] x[67][34] x[67][35] x[67][36] x[67][37] x[67][38] x[67][39] x[67][40] x[67][41] x[67][42] x[67][43] x[67][44] x[67][45] x[67][46] x[67][47] x[67][48] x[67][49] x[67][50] x[67][51] x[67][52] x[67][53] x[67][54] x[67][55] x[67][56] x[67][57] x[67][58] x[67][59] x[67][60] x[67][61] x[67][62] x[67][63] x[67][64] x[67][65] x[67][66] x[67][67] 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] u[67]
2400.04/2313.51	v       </list>
2400.04/2313.51	v       <values>
2400.04/2313.51	v         0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 19 73 31 21 46 73 23 9 40 71 43 68 39 44 6 66 86 100 100 100 48 19 58 49 35 93 81 31 24 54 36 36 95 68 22 83 45 80 69 85 62 78 18 46 77 35 100 31 67 97 77 100 90 42 65 100 89 41 55 94 94 48 100 100 83 74 100
2400.04/2313.52	v       </values>
2400.04/2313.52	v     </instantiation>
2400.04/2313.52	s SATISFIABLE

Verifier Data 

OK	1717

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-4246357-1500713626/watcher-4246357-1500713626 -o /tmp/evaluation-result-4246357-1500713626/solver-4246357-1500713626 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500684099-14650 --watchdog 2560 bin/concrete HOME/instance-4246357-1500713626.xml 

pid=23464
running on 8 cores: 1,3,5,7,9,11,13,15

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.38 1.42 1.47 2/261 23467
/proc/meminfo: memFree=30932864/32770624 swapFree=5940/274944
[pid=23467] ppid=23464 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23467/stat : 23467 (bash) S 23464 23467 14618 0 -1 4202496 685 1533 0 0 0 0 0 0 20 0 1 0 6629458 9736192 350 33554432000 4194304 5098028 140737100943520 140737100941160 140444086270976 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 27852800 140737100944654 140737100944739 140737100944739 140737100947438 0
/proc/23467/statm: 2377 350 278 221 0 86 0

[startup+0.100059 s]
/proc/loadavg: 1.38 1.42 1.47 2/261 23467
/proc/meminfo: memFree=30932864/32770624 swapFree=5940/274944
[pid=23467] ppid=23464 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23467/stat : 23467 (bash) S 23464 23467 14618 0 -1 4202496 879 6423 0 0 0 0 0 1 20 0 1 0 6629458 9871360 377 33554432000 4194304 5098028 140737100943520 140737100937528 140444086270976 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 27852800 140737100944654 140737100944739 140737100944739 140737100947438 0
/proc/23467/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200323 s]
/proc/loadavg: 1.38 1.42 1.47 2/261 23467
/proc/meminfo: memFree=30932864/32770624 swapFree=5940/274944
[pid=23467] ppid=23464 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/23467/stat : 23467 (java) S 23464 23467 14618 0 -1 1077944320 5177 12642 0 0 7 1 7 3 20 0 13 0 6629458 10686320640 5512 33554432000 4194304 4196468 140726080361440 140726080343984 139891083210487 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
/proc/23467/statm: 2608965 5512 2170 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300317 s]
/proc/loadavg: 1.38 1.42 1.47 2/261 23467
/proc/meminfo: memFree=30932864/32770624 swapFree=5940/274944
[pid=23467] ppid=23464 vsize=10902392 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/23467/stat : 23467 (java) S 23464 23467 14618 0 -1 1077944320 7446 12642 0 0 25 2 7 3 20 0 20 0 6629458 11164049408 9170 33554432000 4194304 4196468 140726080361440 140726080343984 139891083210487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
/proc/23467/statm: 2725598 9170 2977 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392

[startup+0.700275 s]
/proc/loadavg: 1.38 1.42 1.47 2/261 23467
/proc/meminfo: memFree=30932864/32770624 swapFree=5940/274944
[pid=23467] ppid=23464 vsize=10902720 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/23467/stat : 23467 (java) S 23464 23467 14618 0 -1 1077944320 12182 12642 0 0 76 3 7 3 20 0 20 0 6629458 11164385280 14982 33554432000 4194304 4196468 140726080361440 140726080343984 139891083210487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
/proc/23467/statm: 2725680 14982 3152 1 0 2713890 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10902720

[startup+1.50087 s]
/proc/loadavg: 1.38 1.42 1.47 4/281 23540
/proc/meminfo: memFree=30831144/32770624 swapFree=5940/275008
[pid=23467] ppid=23464 vsize=10913344 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/23467/stat : 23467 (java) S 23464 23467 14618 0 -1 1077944320 27102 12642 0 0 205 12 7 3 20 0 20 0 6629458 11175264256 44046 33554432000 4194304 4196468 140726080361440 140726080343984 139891083210487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
/proc/23467/statm: 2728336 44046 3408 1 0 2716450 0
[pid=23467/tid=23522] ppid=23464 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23522/stat : 23522 (java) R 23464 23467 14618 0 -1 4202560 19272 12642 0 0 126 6 7 3 20 0 20 0 6629470 11175264256 44046 33554432000 4194304 4196468 140726080361440 139891087423744 139891083222422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23523] ppid=23464 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23523/stat : 23523 (java) S 23464 23467 14618 0 -1 1077944384 128 12642 0 0 1 0 7 3 20 0 20 0 6629471 11175264256 44046 33554432000 4194304 4196468 140726080361440 139891046316816 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23524] ppid=23464 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23524/stat : 23524 (java) S 23464 23467 14618 0 -1 1077944384 29 12642 0 0 1 0 7 3 20 0 20 0 6629471 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890688449424 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23525] ppid=23464 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23525/stat : 23525 (java) S 23464 23467 14618 0 -1 1077944384 22 12642 0 0 1 0 7 3 20 0 20 0 6629471 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890687396880 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23526] ppid=23464 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23526/stat : 23526 (java) S 23464 23467 14618 0 -1 1077944384 24 12642 0 0 1 0 7 3 20 0 20 0 6629471 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890686344336 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23527] ppid=23464 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23527/stat : 23527 (java) S 23464 23467 14618 0 -1 1077944384 53 12642 0 0 1 0 7 3 20 0 20 0 6629471 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890685290768 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23528] ppid=23464 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23528/stat : 23528 (java) S 23464 23467 14618 0 -1 1077944384 17 12642 0 0 0 0 7 3 20 0 20 0 6629471 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890684238224 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23529] ppid=23464 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23529/stat : 23529 (java) S 23464 23467 14618 0 -1 1077944384 11 12642 0 0 1 0 7 3 20 0 20 0 6629471 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890683185680 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23530] ppid=23464 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23530/stat : 23530 (java) S 23464 23467 14618 0 -1 1077944384 27 12642 0 0 0 0 7 3 20 0 20 0 6629471 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890682133136 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23531] ppid=23464 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23531/stat : 23531 (java) S 23464 23467 14618 0 -1 1077944384 1534 12642 0 0 1 0 7 3 20 0 20 0 6629473 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890289449456 139891083221634 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23532] ppid=23464 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23532/stat : 23532 (java) S 23464 23467 14618 0 -1 1077944384 54 12642 0 0 0 0 7 3 20 0 20 0 6629474 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890288395744 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23533] ppid=23464 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23533/stat : 23533 (java) S 23464 23467 14618 0 -1 1077944384 44 12642 0 0 0 0 7 3 20 0 20 0 6629474 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890287343104 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23534] ppid=23464 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23534/stat : 23534 (java) S 23464 23467 14618 0 -1 1077944384 1 12642 0 0 0 0 7 3 20 0 20 0 6629479 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890286291664 139891083229083 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23535] ppid=23464 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23535/stat : 23535 (java) S 23464 23467 14618 0 -1 1077944384 1546 12642 0 0 14 0 7 3 20 0 20 0 6629479 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890285238256 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23536] ppid=23464 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23536/stat : 23536 (java) R 23464 23467 14618 0 -1 4202560 639 12642 0 0 13 0 7 3 20 0 20 0 6629479 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890284172256 139891064736996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23537] ppid=23464 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23537/stat : 23537 (java) R 23464 23467 14618 0 -1 4202560 440 12642 0 0 11 0 7 3 20 0 20 0 6629479 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890283114576 139891067121202 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23538] ppid=23464 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23538/stat : 23538 (java) R 23464 23467 14618 0 -1 4202560 1126 12642 0 0 26 0 7 3 20 0 20 0 6629479 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890282080624 139891083222422 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23539] ppid=23464 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23539/stat : 23539 (java) S 23464 23467 14618 0 -1 1077944384 3 12642 0 0 0 0 7 3 20 0 20 0 6629479 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890281028320 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23540] ppid=23464 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23540/stat : 23540 (java) S 23464 23467 14618 0 -1 1077944384 3 12642 0 0 0 0 7 3 20 0 20 0 6629479 11175264256 44046 33554432000 4194304 4196468 140726080361440 139890279975856 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10913344

[startup+3.10079 s]
/proc/loadavg: 1.38 1.42 1.47 4/281 23540
/proc/meminfo: memFree=30754708/32770624 swapFree=5940/275008
[pid=23467] ppid=23464 vsize=10923772 CPUtime=7.58 cores=1,3,5,7,9,11,13,15
/proc/23467/stat : 23467 (java) S 23464 23467 14618 0 -1 1077944320 42478 12642 0 0 730 18 7 3 20 0 20 0 6629458 11185942528 61722 33554432000 4194304 4196468 140726080361440 140726080343984 139891083210487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
/proc/23467/statm: 2730943 61722 3482 1 0 2718498 0
[pid=23467/tid=23522] ppid=23464 vsize=10923772 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23522/stat : 23522 (java) R 23464 23467 14618 0 -1 4202560 24890 12642 0 0 283 8 7 3 20 0 20 0 6629470 11185942528 61722 33554432000 4194304 4196468 140726080361440 139891087442728 139890726890695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23523] ppid=23464 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23523/stat : 23523 (java) S 23464 23467 14618 0 -1 1077944384 128 12642 0 0 1 0 7 3 20 0 20 0 6629471 11185942528 61722 33554432000 4194304 4196468 140726080361440 139891046316816 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23524] ppid=23464 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23524/stat : 23524 (java) S 23464 23467 14618 0 -1 1077944384 29 12642 0 0 1 0 7 3 20 0 20 0 6629471 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890688449424 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23525] ppid=23464 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23525/stat : 23525 (java) S 23464 23467 14618 0 -1 1077944384 22 12642 0 0 1 0 7 3 20 0 20 0 6629471 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890687396880 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23526] ppid=23464 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23526/stat : 23526 (java) S 23464 23467 14618 0 -1 1077944384 24 12642 0 0 1 0 7 3 20 0 20 0 6629471 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890686344336 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23527] ppid=23464 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23527/stat : 23527 (java) S 23464 23467 14618 0 -1 1077944384 53 12642 0 0 1 0 7 3 20 0 20 0 6629471 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890685290768 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23528] ppid=23464 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23528/stat : 23528 (java) S 23464 23467 14618 0 -1 1077944384 17 12642 0 0 0 0 7 3 20 0 20 0 6629471 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890684238224 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23529] ppid=23464 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23529/stat : 23529 (java) S 23464 23467 14618 0 -1 1077944384 11 12642 0 0 1 0 7 3 20 0 20 0 6629471 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890683185680 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23530] ppid=23464 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23530/stat : 23530 (java) S 23464 23467 14618 0 -1 1077944384 27 12642 0 0 0 0 7 3 20 0 20 0 6629471 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890682133136 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23531] ppid=23464 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23531/stat : 23531 (java) S 23464 23467 14618 0 -1 1077944384 1894 12642 0 0 1 0 7 3 20 0 20 0 6629473 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890289449456 139891083221634 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23532] ppid=23464 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23532/stat : 23532 (java) S 23464 23467 14618 0 -1 1077944384 54 12642 0 0 0 0 7 3 20 0 20 0 6629474 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890288395744 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23533] ppid=23464 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23533/stat : 23533 (java) S 23464 23467 14618 0 -1 1077944384 44 12642 0 0 0 0 7 3 20 0 20 0 6629474 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890287343104 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23534] ppid=23464 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23534/stat : 23534 (java) S 23464 23467 14618 0 -1 1077944384 1 12642 0 0 0 0 7 3 20 0 20 0 6629479 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890286291664 139891083229083 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23535] ppid=23464 vsize=10923772 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23535/stat : 23535 (java) R 23464 23467 14618 0 -1 4202560 2833 12642 0 0 96 0 7 3 20 0 20 0 6629479 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890285222096 139891067607632 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23536] ppid=23464 vsize=10923772 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23536/stat : 23536 (java) R 23464 23467 14618 0 -1 4202560 4545 12642 0 0 122 0 7 3 20 0 20 0 6629479 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890284161808 139891063911138 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23537] ppid=23464 vsize=10923772 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23537/stat : 23537 (java) R 23464 23467 14618 0 -1 4202560 1883 12642 0 0 102 1 7 3 20 0 20 0 6629479 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890283118672 139891068132269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23538] ppid=23464 vsize=10923772 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23538/stat : 23538 (java) R 23464 23467 14618 0 -1 4202560 3886 12642 0 0 114 1 7 3 20 0 20 0 6629479 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890282077560 139891061831888 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23539] ppid=23464 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23539/stat : 23539 (java) S 23464 23467 14618 0 -1 1077944384 3 12642 0 0 0 0 7 3 20 0 20 0 6629479 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890281028320 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23540] ppid=23464 vsize=10923772 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23540/stat : 23540 (java) S 23464 23467 14618 0 -1 1077944384 5 12642 0 0 0 0 7 3 20 0 20 0 6629479 11185942528 61722 33554432000 4194304 4196468 140726080361440 139890279975856 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 10923772

[startup+6.30112 s]
/proc/loadavg: 1.59 1.47 1.48 10/281 23540
/proc/meminfo: memFree=30582740/32770624 swapFree=5940/275012
[pid=23467] ppid=23464 vsize=10929916 CPUtime=19.22 cores=1,3,5,7,9,11,13,15
/proc/23467/stat : 23467 (java) S 23464 23467 14618 0 -1 1077944320 86193 12642 0 0 1857 55 7 3 20 0 20 0 6629458 11192233984 107680 33554432000 4194304 4196468 140726080361440 140726080343984 139891083210487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
/proc/23467/statm: 2732479 107680 3513 1 0 2720034 0
[pid=23467/tid=23522] ppid=23464 vsize=10929916 CPUtime=6.01 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23522/stat : 23522 (java) R 23464 23467 14618 0 -1 4202560 42924 12642 0 0 579 12 7 3 20 0 20 0 6629470 11192233984 107680 33554432000 4194304 4196468 140726080361440 139891087444736 139890719075510 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23523] ppid=23464 vsize=10929916 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23523/stat : 23523 (java) S 23464 23467 14618 0 -1 1077944384 244 12642 0 0 10 3 7 3 20 0 20 0 6629471 11192233984 107680 33554432000 4194304 4196468 140726080361440 139891046316816 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23524] ppid=23464 vsize=10929916 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23524/stat : 23524 (java) S 23464 23467 14618 0 -1 1077944384 192 12642 0 0 10 4 7 3 20 0 20 0 6629471 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890688449424 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23525] ppid=23464 vsize=10929916 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23525/stat : 23525 (java) S 23464 23467 14618 0 -1 1077944384 94 12642 0 0 10 3 7 3 20 0 20 0 6629471 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890687396880 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23526] ppid=23464 vsize=10929916 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23526/stat : 23526 (java) S 23464 23467 14618 0 -1 1077944384 69 12642 0 0 10 4 7 3 20 0 20 0 6629471 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890686344336 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23527] ppid=23464 vsize=10929916 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23527/stat : 23527 (java) S 23464 23467 14618 0 -1 1077944384 566 12642 0 0 10 3 7 3 20 0 20 0 6629471 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890685290768 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23528] ppid=23464 vsize=10929916 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23528/stat : 23528 (java) S 23464 23467 14618 0 -1 1077944384 124 12642 0 0 11 4 7 3 20 0 20 0 6629471 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890684238224 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23529] ppid=23464 vsize=10929916 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23529/stat : 23529 (java) S 23464 23467 14618 0 -1 1077944384 71 12642 0 0 11 4 7 3 20 0 20 0 6629471 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890683185680 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23530] ppid=23464 vsize=10929916 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23530/stat : 23530 (java) S 23464 23467 14618 0 -1 1077944384 117 12642 0 0 11 4 7 3 20 0 20 0 6629471 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890682133136 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23531] ppid=23464 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23531/stat : 23531 (java) S 23464 23467 14618 0 -1 1077944384 5108 12642 0 0 5 0 7 3 20 0 20 0 6629473 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890289449456 139891083221634 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23532] ppid=23464 vsize=10929916 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23532/stat : 23532 (java) S 23464 23467 14618 0 -1 1077944384 64 12642 0 0 0 0 7 3 20 0 20 0 6629474 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890288395808 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23533] ppid=23464 vsize=10929916 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23533/stat : 23533 (java) S 23464 23467 14618 0 -1 1077944384 49 12642 0 0 0 0 7 3 20 0 20 0 6629474 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890287343104 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23534] ppid=23464 vsize=10929916 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23534/stat : 23534 (java) S 23464 23467 14618 0 -1 1077944384 1 12642 0 0 0 0 7 3 20 0 20 0 6629479 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890286291664 139891083229083 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23535] ppid=23464 vsize=10929916 CPUtime=3.18 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23535/stat : 23535 (java) R 23464 23467 14618 0 -1 4202560 6459 12642 0 0 307 1 7 3 20 0 20 0 6629479 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890285225008 139891062434409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23536] ppid=23464 vsize=10929916 CPUtime=3.33 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23536/stat : 23536 (java) R 23464 23467 14618 0 -1 4202560 9331 12642 0 0 322 1 7 3 20 0 20 0 6629479 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890284173152 139891069265792 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23537] ppid=23464 vsize=10929916 CPUtime=3.36 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23537/stat : 23537 (java) R 23464 23467 14618 0 -1 4202560 7905 12642 0 0 324 2 7 3 20 0 20 0 6629479 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890283118960 139891062457273 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23538] ppid=23464 vsize=10929916 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23538/stat : 23538 (java) R 23464 23467 14618 0 -1 4202560 10625 12642 0 0 229 2 7 3 20 0 20 0 6629479 11192233984 107680 33554432000 4194304 4196468 140726080361440 139890282080624 139891083231834 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23539] ppid=23464 vsize=10929916 CPUtime=0.1 cores=1,3,5,7,9,11,13,15

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

[pid=23467/tid=23536] ppid=23464 vsize=10931964 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23536/stat : 23536 (java) S 23464 23467 14618 0 -1 1077944384 38149 12642 0 0 774 6 7 3 20 0 20 0 6629479 11194331136 843756 33554432000 4194304 4196468 140726080361440 139890284185712 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23537] ppid=23464 vsize=10931964 CPUtime=8.09 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23537/stat : 23537 (java) S 23464 23467 14618 0 -1 1077944384 39118 12642 0 0 791 8 7 3 20 0 20 0 6629479 11194331136 843756 33554432000 4194304 4196468 140726080361440 139890283133168 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23538] ppid=23464 vsize=10931964 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23538/stat : 23538 (java) S 23464 23467 14618 0 -1 1077944384 60407 12642 0 0 452 8 7 3 20 0 20 0 6629479 11194331136 843756 33554432000 4194304 4196468 140726080361440 139890282080624 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23539] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23539/stat : 23539 (java) S 23464 23467 14618 0 -1 1077944384 3 12642 0 0 0 0 7 3 20 0 20 0 6629479 11194331136 843756 33554432000 4194304 4196468 140726080361440 139890281028320 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23540] ppid=23464 vsize=10931964 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23540/stat : 23540 (java) S 23464 23467 14618 0 -1 1077944384 1582 12642 0 0 53 49 7 3 20 0 20 0 6629479 11194331136 843756 33554432000 4194304 4196468 140726080361440 139890279975856 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
Current children cumulated CPU time (s) 2287.7
Current children cumulated vsize (KiB) 10931964

[startup+2262.3 s]
/proc/loadavg: 2.11 1.92 1.77 3/281 23773
/proc/meminfo: memFree=25145060/32770624 swapFree=5940/277712
[pid=23467] ppid=23464 vsize=10931964 CPUtime=2348.31 cores=1,3,5,7,9,11,13,15
/proc/23467/stat : 23467 (java) S 23464 23467 14618 0 -1 1077944320 475612 12642 0 0 232846 1975 7 3 20 0 20 0 6629458 11194331136 843757 33554432000 4194304 4196468 140726080361440 140726080343984 139891083210487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
/proc/23467/statm: 2732991 843757 3530 1 0 2720546 0
[pid=23467/tid=23522] ppid=23464 vsize=10931964 CPUtime=2251.83 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23522/stat : 23522 (java) R 23464 23467 14618 0 -1 4202560 202448 12642 0 0 225111 62 7 3 20 0 20 0 6629470 11194331136 843757 33554432000 4194304 4196468 140726080361440 139891087443632 139890739250176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23523] ppid=23464 vsize=10931964 CPUtime=8.38 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23523/stat : 23523 (java) S 23464 23467 14618 0 -1 1077944384 7883 12642 0 0 601 227 7 3 20 0 20 0 6629471 11194331136 843757 33554432000 4194304 4196468 140726080361440 139891046316816 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23524] ppid=23464 vsize=10931964 CPUtime=8.56 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23524/stat : 23524 (java) S 23464 23467 14618 0 -1 1077944384 9349 12642 0 0 612 234 7 3 20 0 20 0 6629471 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890688449424 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23525] ppid=23464 vsize=10931964 CPUtime=8.25 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23525/stat : 23525 (java) S 23464 23467 14618 0 -1 1077944384 11519 12642 0 0 586 229 7 3 20 0 20 0 6629471 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890687396880 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23526] ppid=23464 vsize=10931964 CPUtime=8.29 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23526/stat : 23526 (java) S 23464 23467 14618 0 -1 1077944384 7512 12642 0 0 589 230 7 3 20 0 20 0 6629471 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890686344336 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23527] ppid=23464 vsize=10931964 CPUtime=8.44 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23527/stat : 23527 (java) S 23464 23467 14618 0 -1 1077944384 10090 12642 0 0 601 233 7 3 20 0 20 0 6629471 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890685290768 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23528] ppid=23464 vsize=10931964 CPUtime=8.44 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23528/stat : 23528 (java) S 23464 23467 14618 0 -1 1077944384 7429 12642 0 0 607 227 7 3 20 0 20 0 6629471 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890684238224 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23529] ppid=23464 vsize=10931964 CPUtime=8.23 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23529/stat : 23529 (java) S 23464 23467 14618 0 -1 1077944384 9475 12642 0 0 586 227 7 3 20 0 20 0 6629471 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890683185680 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23530] ppid=23464 vsize=10931964 CPUtime=8.42 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23530/stat : 23530 (java) S 23464 23467 14618 0 -1 1077944384 7089 12642 0 0 602 230 7 3 20 0 20 0 6629471 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890682133136 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23531] ppid=23464 vsize=10931964 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23531/stat : 23531 (java) S 23464 23467 14618 0 -1 1077944384 31504 12642 0 0 75 14 7 3 20 0 20 0 6629473 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890289449456 139891083221634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23532] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23532/stat : 23532 (java) S 23464 23467 14618 0 -1 1077944384 110 12642 0 0 0 0 7 3 20 0 20 0 6629474 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890288395808 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23533] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23533/stat : 23533 (java) S 23464 23467 14618 0 -1 1077944384 51 12642 0 0 0 0 7 3 20 0 20 0 6629474 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890287343104 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23534] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23534/stat : 23534 (java) S 23464 23467 14618 0 -1 1077944384 1 12642 0 0 0 0 7 3 20 0 20 0 6629479 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890286291664 139891083229083 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23535] ppid=23464 vsize=10931964 CPUtime=7.89 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23535/stat : 23535 (java) S 23464 23467 14618 0 -1 1077944384 29737 12642 0 0 774 5 7 3 20 0 20 0 6629479 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890285238256 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23536] ppid=23464 vsize=10931964 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23536/stat : 23536 (java) S 23464 23467 14618 0 -1 1077944384 38151 12642 0 0 774 6 7 3 20 0 20 0 6629479 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890284185712 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23537] ppid=23464 vsize=10931964 CPUtime=8.09 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23537/stat : 23537 (java) S 23464 23467 14618 0 -1 1077944384 39121 12642 0 0 791 8 7 3 20 0 20 0 6629479 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890283133168 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23538] ppid=23464 vsize=10931964 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23538/stat : 23538 (java) S 23464 23467 14618 0 -1 1077944384 60409 12642 0 0 452 8 7 3 20 0 20 0 6629479 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890282080624 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23539] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23539/stat : 23539 (java) S 23464 23467 14618 0 -1 1077944384 3 12642 0 0 0 0 7 3 20 0 20 0 6629479 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890281028320 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23540] ppid=23464 vsize=10931964 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23540/stat : 23540 (java) S 23464 23467 14618 0 -1 1077944384 1602 12642 0 0 55 50 7 3 20 0 20 0 6629479 11194331136 843757 33554432000 4194304 4196468 140726080361440 139890279975856 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
Current children cumulated CPU time (s) 2348.31
Current children cumulated vsize (KiB) 10931964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2313.5 s]
/proc/loadavg: 2.07 1.93 1.78 3/281 23774
/proc/meminfo: memFree=25145164/32770624 swapFree=5940/277776
[pid=23467] ppid=23464 vsize=10931964 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/23467/stat : 23467 (java) S 23464 23467 14618 0 -1 1077944320 481535 12642 0 0 238017 1977 7 3 20 0 20 0 6629458 11194331136 843758 33554432000 4194304 4196468 140726080361440 140726080343984 139891083210487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
/proc/23467/statm: 2732991 843758 3530 1 0 2720546 0
[pid=23467/tid=23522] ppid=23464 vsize=10931964 CPUtime=2302.92 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23522/stat : 23522 (java) R 23464 23467 14618 0 -1 4202560 207348 12642 0 0 230220 62 7 3 20 0 20 0 6629470 11194331136 843758 33554432000 4194304 4196468 140726080361440 139891087443632 139890740299321 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23523] ppid=23464 vsize=10931964 CPUtime=8.45 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23523/stat : 23523 (java) S 23464 23467 14618 0 -1 1077944384 7910 12642 0 0 608 227 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139891046316816 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23524] ppid=23464 vsize=10931964 CPUtime=8.63 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23524/stat : 23524 (java) S 23464 23467 14618 0 -1 1077944384 9464 12642 0 0 619 234 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890688449424 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23525] ppid=23464 vsize=10931964 CPUtime=8.33 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23525/stat : 23525 (java) S 23464 23467 14618 0 -1 1077944384 11553 12642 0 0 594 229 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890687396880 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23526] ppid=23464 vsize=10931964 CPUtime=8.37 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23526/stat : 23526 (java) S 23464 23467 14618 0 -1 1077944384 7637 12642 0 0 597 230 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890686344336 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23527] ppid=23464 vsize=10931964 CPUtime=8.51 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23527/stat : 23527 (java) S 23464 23467 14618 0 -1 1077944384 10107 12642 0 0 608 233 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890685290768 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23528] ppid=23464 vsize=10931964 CPUtime=8.51 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23528/stat : 23528 (java) S 23464 23467 14618 0 -1 1077944384 7504 12642 0 0 614 227 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890684238224 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23529] ppid=23464 vsize=10931964 CPUtime=8.31 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23529/stat : 23529 (java) S 23464 23467 14618 0 -1 1077944384 9506 12642 0 0 594 227 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890683185680 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23530] ppid=23464 vsize=10931964 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23530/stat : 23530 (java) S 23464 23467 14618 0 -1 1077944384 7455 12642 0 0 610 230 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890682133136 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23531] ppid=23464 vsize=10931964 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23531/stat : 23531 (java) S 23464 23467 14618 0 -1 1077944384 31711 12642 0 0 75 14 7 3 20 0 20 0 6629473 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890289449456 139891083221634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23532] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23532/stat : 23532 (java) S 23464 23467 14618 0 -1 1077944384 110 12642 0 0 0 0 7 3 20 0 20 0 6629474 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890288395808 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23533] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23533/stat : 23533 (java) S 23464 23467 14618 0 -1 1077944384 51 12642 0 0 0 0 7 3 20 0 20 0 6629474 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890287343104 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23534] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23534/stat : 23534 (java) S 23464 23467 14618 0 -1 1077944384 1 12642 0 0 0 0 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890286291664 139891083229083 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23535] ppid=23464 vsize=10931964 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23535/stat : 23535 (java) S 23464 23467 14618 0 -1 1077944384 29739 12642 0 0 775 5 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890285238256 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23536] ppid=23464 vsize=10931964 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23536/stat : 23536 (java) S 23464 23467 14618 0 -1 1077944384 38153 12642 0 0 774 6 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890284185712 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23537] ppid=23464 vsize=10931964 CPUtime=8.09 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23537/stat : 23537 (java) S 23464 23467 14618 0 -1 1077944384 39123 12642 0 0 791 8 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890283133168 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23538] ppid=23464 vsize=10931964 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23538/stat : 23538 (java) S 23464 23467 14618 0 -1 1077944384 60411 12642 0 0 452 8 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890282080624 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23539] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23539/stat : 23539 (java) S 23464 23467 14618 0 -1 1077944384 3 12642 0 0 0 0 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890281028320 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23540] ppid=23464 vsize=10931964 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23540/stat : 23540 (java) S 23464 23467 14618 0 -1 1077944384 1620 12642 0 0 56 51 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890279975856 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10931964

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 23467 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2313.5 s]
/proc/loadavg: 2.07 1.93 1.78 3/281 23774
/proc/meminfo: memFree=25145164/32770624 swapFree=5940/277776
[pid=23467] ppid=23464 vsize=10931964 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/23467/stat : 23467 (java) S 23464 23467 14618 0 -1 1077944320 481535 12642 0 0 238017 1977 7 3 20 0 20 0 6629458 11194331136 843758 33554432000 4194304 4196468 140726080361440 140726080343984 139891083210487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
/proc/23467/statm: 2732991 843758 3530 1 0 2720546 0
[pid=23467/tid=23522] ppid=23464 vsize=10931964 CPUtime=2302.92 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23522/stat : 23522 (java) R 23464 23467 14618 0 -1 4202560 207348 12642 0 0 230220 62 7 3 20 0 20 0 6629470 11194331136 843758 33554432000 4194304 4196468 140726080361440 139891087443632 139890740299321 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23523] ppid=23464 vsize=10931964 CPUtime=8.45 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23523/stat : 23523 (java) S 23464 23467 14618 0 -1 1077944384 7910 12642 0 0 608 227 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139891046316816 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23524] ppid=23464 vsize=10931964 CPUtime=8.63 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23524/stat : 23524 (java) S 23464 23467 14618 0 -1 1077944384 9464 12642 0 0 619 234 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890688449424 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23525] ppid=23464 vsize=10931964 CPUtime=8.33 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23525/stat : 23525 (java) S 23464 23467 14618 0 -1 1077944384 11553 12642 0 0 594 229 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890687396880 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23526] ppid=23464 vsize=10931964 CPUtime=8.37 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23526/stat : 23526 (java) S 23464 23467 14618 0 -1 1077944384 7637 12642 0 0 597 230 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890686344336 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23527] ppid=23464 vsize=10931964 CPUtime=8.51 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23527/stat : 23527 (java) S 23464 23467 14618 0 -1 1077944384 10107 12642 0 0 608 233 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890685290768 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23528] ppid=23464 vsize=10931964 CPUtime=8.51 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23528/stat : 23528 (java) S 23464 23467 14618 0 -1 1077944384 7504 12642 0 0 614 227 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890684238224 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23529] ppid=23464 vsize=10931964 CPUtime=8.31 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23529/stat : 23529 (java) S 23464 23467 14618 0 -1 1077944384 9506 12642 0 0 594 227 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890683185680 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23530] ppid=23464 vsize=10931964 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23530/stat : 23530 (java) S 23464 23467 14618 0 -1 1077944384 7455 12642 0 0 610 230 7 3 20 0 20 0 6629471 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890682133136 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23531] ppid=23464 vsize=10931964 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23531/stat : 23531 (java) S 23464 23467 14618 0 -1 1077944384 31711 12642 0 0 75 14 7 3 20 0 20 0 6629473 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890289449456 139891083221634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23532] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23532/stat : 23532 (java) S 23464 23467 14618 0 -1 1077944384 110 12642 0 0 0 0 7 3 20 0 20 0 6629474 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890288395808 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23533] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23533/stat : 23533 (java) S 23464 23467 14618 0 -1 1077944384 51 12642 0 0 0 0 7 3 20 0 20 0 6629474 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890287343104 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23534] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23534/stat : 23534 (java) S 23464 23467 14618 0 -1 1077944384 1 12642 0 0 0 0 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890286291664 139891083229083 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23535] ppid=23464 vsize=10931964 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23535/stat : 23535 (java) S 23464 23467 14618 0 -1 1077944384 29739 12642 0 0 775 5 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890285238256 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23536] ppid=23464 vsize=10931964 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23536/stat : 23536 (java) S 23464 23467 14618 0 -1 1077944384 38153 12642 0 0 774 6 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890284185712 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23537] ppid=23464 vsize=10931964 CPUtime=8.09 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23537/stat : 23537 (java) S 23464 23467 14618 0 -1 1077944384 39123 12642 0 0 791 8 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890283133168 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23538] ppid=23464 vsize=10931964 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23538/stat : 23538 (java) S 23464 23467 14618 0 -1 1077944384 60411 12642 0 0 452 8 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890282080624 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23539] ppid=23464 vsize=10931964 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23539/stat : 23539 (java) S 23464 23467 14618 0 -1 1077944384 3 12642 0 0 0 0 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890281028320 139891083220693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
[pid=23467/tid=23540] ppid=23464 vsize=10931964 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/23467/task/23540/stat : 23540 (java) S 23464 23467 14618 0 -1 1077944384 1620 12642 0 0 56 51 7 3 20 0 20 0 6629479 11194331136 843758 33554432000 4194304 4196468 140726080361440 139890279975856 139891083221634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28348416 140726080363201 140726080365975 140726080365975 140726080368591 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10931964

Child status: 143
Real time (s): 2313.54
CPU time (s): 2400.11
CPU user time (s): 2380.27
CPU system time (s): 19.8343
CPU usage (%): 103.742
Max. virtual memory (cumulated for all children) (KiB): 10934748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2380.27
system time used= 19.8343
maximum resident set size= 3381464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495535
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89765
involuntary context switches= 128939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2434 second user time and 18.9495 second system time

The end

Launcher Data 

Begin job on node138 at 2017-07-22 10:53:46
IDJOB=4246357
IDBENCH=124439
IDSOLVER=2630
FILE ID=node138/4246357-1500713626
RUNJOBID= node138-1500684099-14650
PBS_JOBID= 20623345
Free space on /tmp= 61968 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n68-k9.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246357-1500713626/watcher-4246357-1500713626 -o /tmp/evaluation-result-4246357-1500713626/solver-4246357-1500713626 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500684099-14650 --watchdog 2560  bin/concrete HOME/instance-4246357-1500713626.xml

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

MD5SUM BENCH= d46243a0c717d56f47be278be902a17a
RANDOM SEED=878549192

node138.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		: 1733.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.44
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		: 1600.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		: 1733.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.44
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		: 1600.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		: 2668.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.44
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		: 2000.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		: 2667.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.44
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		: 1600.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		: 1733.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.44
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		: 1733.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.44
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		: 1867.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		: 1733.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.44
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		: 2400.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		: 1600.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.44
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:        30932864 kB
MemAvailable:   31165168 kB
Buffers:          128432 kB
Cached:           383960 kB
SwapCached:            0 kB
Active:          1114304 kB
Inactive:         283552 kB
Active(anon):     888732 kB
Inactive(anon):     8608 kB
Active(file):     225572 kB
Inactive(file):   274944 kB
Unevictable:        5940 kB
Mlocked:            5940 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24296 kB
Writeback:             0 kB
AnonPages:        877892 kB
Mapped:            44288 kB
Shmem:              8852 kB
Slab:             129460 kB
SReclaimable:      95244 kB
SUnreclaim:        34216 kB
KernelStack:        4480 kB
PageTables:         6380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1687424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    698368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61944 MiB
End job on node138 at 2017-07-22 11:32:20