Trace number 4262219

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
Concrete 3.4SAT (TO)1287 2520.0701 2464.95

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

3.39/2.21	c Concrete v3.4 running
17.84/7.24	o 3326
19.35/7.76	o 3291
20.54/8.22	o 3289
21.40/8.66	o 3242
22.06/9.01	o 3197
23.09/9.42	o 3148
23.72/9.83	o 3140
24.06/10.17	o 3096
24.48/10.51	o 3071
24.99/10.91	o 3066
25.21/11.20	o 2929
25.62/11.52	o 2918
26.07/11.90	o 2911
26.37/12.26	o 2908
26.86/12.62	o 2904
27.16/12.97	o 2867
27.57/13.32	o 2836
27.86/13.64	o 2803
28.34/14.01	o 2776
29.06/14.72	o 2773
29.36/15.06	o 2770
30.26/15.80	o 2756
30.56/16.16	o 2724
31.03/16.56	o 2698
31.45/16.93	o 2668
31.76/17.28	o 2667
32.17/17.65	o 2661
32.59/18.03	o 2599
33.96/19.25	o 2597
34.38/19.64	o 2588
34.79/20.04	o 2572
35.20/20.41	o 2522
35.97/21.17	o 2518
36.78/21.93	o 2517
37.23/22.34	o 2494
37.65/22.72	o 2492
37.96/23.09	o 2471
38.78/23.87	o 2466
39.70/24.75	o 2463
41.73/26.54	o 2454
42.13/26.91	o 2452
42.53/27.32	o 2426
43.37/28.18	o 2416
43.78/28.58	o 2410
44.18/28.96	o 2406
44.70/29.40	o 2393
45.18/29.82	o 2388
45.57/30.20	o 2297
45.99/30.60	o 2280
46.41/31.03	o 2257
47.22/31.88	o 2229
47.73/32.31	o 2228
48.14/32.70	o 2214
48.45/33.09	o 2211
49.04/33.52	o 2201
49.84/34.33	o 2199
50.71/35.17	o 2179
51.62/36.09	o 2161
52.03/36.48	o 2159
52.46/36.87	o 2157
53.79/38.13	o 2149
55.32/39.54	o 2112
55.82/40.00	o 2107
56.23/40.47	o 2075
56.74/40.95	o 2074
57.24/41.40	o 2067
59.83/43.90	o 2037
61.26/45.38	o 2034
62.58/46.63	o 2022
64.89/48.96	o 2018
65.30/49.38	o 2014
66.38/50.31	o 2012
67.28/51.20	o 2000
68.19/52.10	o 1995
71.02/54.77	o 1992
71.82/55.59	o 1985
73.13/56.88	o 1984
73.62/57.30	o 1970
74.11/57.73	o 1963
76.43/60.09	o 1958
77.45/61.00	o 1956
79.16/62.73	o 1940
81.57/65.03	o 1932
82.47/65.95	o 1905
87.28/70.54	o 1898
88.30/71.43	o 1873
92.73/75.88	o 1870
94.54/77.62	o 1827
95.35/78.48	o 1741
96.89/79.89	o 1737
99.42/82.37	o 1734
105.39/88.12	o 1732
108.20/90.91	o 1729
114.25/96.84	o 1727
122.09/104.52	o 1726
122.49/104.94	o 1722
123.30/105.74	o 1714
123.69/106.16	o 1711
125.00/107.43	o 1682
125.91/108.32	o 1681
129.91/112.23	o 1672
135.44/117.73	o 1670
138.09/120.28	o 1669
141.91/124.02	o 1668
158.60/140.41	o 1666
172.05/153.65	o 1660
172.86/154.44	o 1640
173.16/154.79	o 1639
173.57/155.18	o 1634
173.96/155.57	o 1632
178.96/160.49	o 1626
181.69/163.10	o 1625
194.34/175.54	o 1601
195.64/176.83	o 1591
198.83/179.99	o 1588
199.74/180.83	o 1586
207.08/188.09	o 1583
209.09/190.00	o 1578
211.67/192.51	o 1577
212.58/193.48	o 1576
215.19/196.05	o 1571
216.86/197.63	o 1566
221.56/202.23	o 1561
241.04/221.15	o 1555
258.02/237.56	o 1553
258.93/238.42	o 1550
264.04/243.42	o 1545
270.93/250.18	o 1530
273.02/252.14	o 1521
274.43/253.56	o 1517
286.07/264.89	o 1514
295.36/273.99	o 1513
308.55/286.89	o 1512
309.06/287.36	o 1497
336.56/313.98	o 1491
337.16/314.42	o 1490
344.47/321.69	o 1486
346.52/323.52	o 1482
355.92/332.73	o 1474
361.63/338.30	o 1467
363.72/340.31	o 1454
454.35/428.42	o 1453
467.73/441.33	o 1450
494.36/466.99	o 1430
499.80/472.20	o 1396
509.41/481.52	o 1395
521.49/493.34	o 1375
564.73/535.08	o 1371
568.99/539.23	o 1368
582.81/552.52	o 1365
785.54/748.51	o 1364
823.85/785.97	o 1362
1005.01/963.56	o 1355
1172.93/1128.30	o 1354
1204.11/1159.04	o 1340
1206.93/1161.81	o 1339
1219.24/1174.05	o 1334
1415.97/1368.11	o 1324
1417.58/1369.75	o 1322
1427.31/1379.40	o 1321
1549.79/1500.28	o 1314
1651.74/1601.47	o 1313
1693.28/1642.77	o 1311
1698.09/1647.54	o 1310
2045.56/1993.13	o 1304
2046.77/1994.36	o 1303
2050.96/1998.51	o 1302
2055.06/2002.63	o 1300
2055.47/2003.02	o 1298
2109.07/2056.35	o 1297
2182.72/2129.50	o 1296
2199.31/2146.10	o 1291
2235.73/2182.24	o 1290
2249.03/2195.57	o 1289
2263.39/2209.84	o 1288
2263.89/2210.33	o 1287
2520.00/2464.90	java.util.concurrent.TimeoutException
2520.00/2464.91		at concrete.MAC.mac(MAC.scala:74)
2520.00/2464.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.00/2464.91		at scala.util.Try$.apply(Try.scala:209)
2520.00/2464.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2464.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2464.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2464.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2464.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.00/2464.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2464.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2464.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2464.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2464.91		at concrete.MAC.oneRun(MAC.scala:146)
2520.00/2464.91		at concrete.MAC.nextSolution(MAC.scala:166)
2520.00/2464.91		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.00/2464.91		at concrete.ProblemState.map(ProblemState.scala:203)
2520.00/2464.91		at concrete.ProblemState.map(ProblemState.scala:188)
2520.00/2464.91		at concrete.MAC.nextSolution(MAC.scala:195)
2520.00/2464.91		at concrete.Solver.hasNext(Solver.scala:202)
2520.00/2464.91		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.00/2464.91		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.00/2464.91		at concrete.Solver.toStream(Solver.scala:73)
2520.00/2464.91		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.00/2464.91		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.00/2464.91		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.00/2464.91		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.00/2464.91		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.00/2464.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2464.91		at scala.util.Success.map(Try.scala:209)
2520.00/2464.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.00/2464.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.00/2464.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.00/2464.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.00/2464.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.00/2464.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2464.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2464.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2464.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2464.91		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2464.91		at scala.App.main(App.scala:76)
2520.00/2464.91		at scala.App.main$(App.scala:74)
2520.00/2464.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.00/2464.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2464.91	v <instantiation cost="1287">
2520.00/2464.91	v       <list>
2520.00/2464.91	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66]
2520.00/2464.91	v       </list>
2520.00/2464.91	v       <values>
2520.00/2464.91	v         0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 60 33 84 39 32 54 24 72 100 46 100 10 82 5 31 100 24 82 48 84 64 83 39 88 71 21 16 100 75 74 100 20 80 75 59 65 68 100 100 100 18 97 92 79 100 37 26 88 74 24 57 79 100 56 60 47 40 64 67 16 54 98 100 1 48 8
2520.00/2464.91	v       </values>
2520.00/2464.91	v     </instantiation>
2520.00/2464.91	s SATISFIABLE

Verifier Data 

OK	1287

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262219-1502437609/watcher-4262219-1502437609 -o /tmp/evaluation-result-4262219-1502437609/solver-4262219-1502437609 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580 bin/concrete HOME/instance-4262219-1502437609.xml 

pid=11924
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.58 1.52 1.50 4/199 11927
/proc/meminfo: memFree=30022980/32770624 swapFree=0/433372
[pid=11927] ppid=11924 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11927/stat : 11927 (runsolver) D 11924 11927 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 91576160 24240128 108 18446744073709551615 4194304 4338465 140726733885104 140726733882744 140142752674519 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 10674176 140726733889745 140726733890121 140726733890121 140726733893578 0
/proc/11927/statm: 5918 108 54 36 0 2156 0

[startup+0.100141 s]
/proc/loadavg: 1.58 1.52 1.50 4/199 11927
/proc/meminfo: memFree=30022980/32770624 swapFree=0/433372
[pid=11927] ppid=11924 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/11927/stat : 11927 (bash) R 11924 11927 4821 0 -1 4202496 705 3536 0 0 0 0 0 0 20 0 1 0 91576160 9736192 355 18446744073709551615 4194304 5098028 140729810287136 140729810284776 4573792 0 0 5 65536 0 0 0 17 2 0 0 8 0 0 7196144 7232144 24535040 140729810289172 140729810289257 140729810289257 140729810292714 0
/proc/11927/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200257 s]
/proc/loadavg: 1.58 1.52 1.50 4/199 11927
/proc/meminfo: memFree=30022980/32770624 swapFree=0/433372
[pid=11927] ppid=11924 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/11927/stat : 11927 (bash) S 11924 11927 4821 0 -1 4202496 893 6487 0 0 0 0 0 1 20 0 1 0 91576160 9867264 377 18446744073709551615 4194304 5098028 140729810287136 140729810281144 140542023887872 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 8 0 0 7196144 7232144 24535040 140729810289172 140729810289257 140729810289257 140729810292714 0
/proc/11927/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300322 s]
/proc/loadavg: 1.58 1.52 1.50 4/199 11927
/proc/meminfo: memFree=30022980/32770624 swapFree=0/433372
[pid=11927] ppid=11924 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/11927/stat : 11927 (java) S 11924 11927 4821 0 -1 1077944320 5817 12669 0 0 6 0 5 3 20 0 14 0 91576160 14241083392 6012 18446744073709551615 4194304 4196468 140737106057040 140737106039584 139900491910903 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
/proc/11927/statm: 3476827 6012 2563 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700835 s]
/proc/loadavg: 1.58 1.52 1.50 4/199 11927
/proc/meminfo: memFree=30022980/32770624 swapFree=0/433372
[pid=11927] ppid=11924 vsize=13974784 CPUtime=0.67 cores=0,2,4,6
/proc/11927/stat : 11927 (java) S 11924 11927 4821 0 -1 1077944320 13877 12669 0 0 56 3 5 3 20 0 15 0 91576160 14310178816 14798 18446744073709551615 4194304 4196468 140737106057040 140737106039584 139900491910903 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
/proc/11927/statm: 3493696 14798 3093 1 0 3482965 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13974784

[startup+1.50266 s]
/proc/loadavg: 1.58 1.52 1.50 3/214 11990
/proc/meminfo: memFree=29928668/32770624 swapFree=0/433580
[pid=11927] ppid=11924 vsize=13985408 CPUtime=1.87 cores=0,2,4,6
/proc/11927/stat : 11927 (java) S 11924 11927 4821 0 -1 1077944320 25808 12669 0 0 171 8 5 3 20 0 15 0 91576160 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 140737106039584 139900491910903 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
/proc/11927/statm: 3496352 36614 3345 1 0 3485525 0
[pid=11927/tid=11977] ppid=11924 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/11927/task/11977/stat : 11977 (java) S 11924 11927 4821 0 -1 1077944384 20397 12669 0 0 115 6 5 3 20 0 15 0 91576181 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139900496129552 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11978] ppid=11924 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11978/stat : 11978 (java) S 11924 11927 4821 0 -1 1077944384 27 12669 0 0 0 0 5 3 20 0 15 0 91576182 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139900448876816 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11979] ppid=11924 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11979/stat : 11979 (java) S 11924 11927 4821 0 -1 1077944384 183 12669 0 0 0 0 5 3 20 0 15 0 91576182 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139900447824272 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11980] ppid=11924 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11980/stat : 11980 (java) S 11924 11927 4821 0 -1 1077944384 4 12669 0 0 0 0 5 3 20 0 15 0 91576182 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139900446771728 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11981] ppid=11924 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11981/stat : 11981 (java) S 11924 11927 4821 0 -1 1077944384 35 12669 0 0 0 0 5 3 20 0 15 0 91576182 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139900445719184 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11982] ppid=11924 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11982/stat : 11982 (java) R 11924 11927 4821 0 -1 4202560 23 12669 0 0 0 0 5 3 20 0 15 0 91576183 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139899407950848 139900476975648 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11983] ppid=11924 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11983/stat : 11983 (java) S 11924 11927 4821 0 -1 1077944384 33 12669 0 0 0 0 5 3 20 0 15 0 91576184 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139899406898592 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11984] ppid=11924 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11984/stat : 11984 (java) S 11924 11927 4821 0 -1 1077944384 21 12669 0 0 0 0 5 3 20 0 15 0 91576184 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139899405846000 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11985] ppid=11924 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11985/stat : 11985 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139899404794576 139900491929499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11986] ppid=11924 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/11927/task/11986/stat : 11986 (java) S 11924 11927 4821 0 -1 1077944384 852 12669 0 0 12 0 5 3 20 0 15 0 91576187 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139899403741168 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11987] ppid=11924 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/11927/task/11987/stat : 11987 (java) S 11924 11927 4821 0 -1 1077944384 801 12669 0 0 17 0 5 3 20 0 15 0 91576187 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139899402688624 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11988] ppid=11924 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/11927/task/11988/stat : 11988 (java) S 11924 11927 4821 0 -1 1077944384 1272 12669 0 0 23 0 5 3 20 0 15 0 91576187 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139899401631456 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11989] ppid=11924 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11989/stat : 11989 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139899400583776 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11990] ppid=11924 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11990/stat : 11990 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576192 14321057792 36614 18446744073709551615 4194304 4196468 140737106057040 139899399531312 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 13985408

[startup+3.10056 s]
/proc/loadavg: 1.78 1.56 1.52 3/214 11990
/proc/meminfo: memFree=29853408/32770624 swapFree=0/433580
[pid=11927] ppid=11924 vsize=13995836 CPUtime=6.06 cores=0,2,4,6
/proc/11927/stat : 11927 (java) S 11924 11927 4821 0 -1 1077944320 34333 12669 0 0 584 14 5 3 20 0 15 0 91576160 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 140737106039584 139900491910903 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
/proc/11927/statm: 3498959 60352 3450 1 0 3487573 0
[pid=11927/tid=11977] ppid=11924 vsize=13995836 CPUtime=2.87 cores=0,2,4,6
/proc/11927/task/11977/stat : 11977 (java) R 11924 11927 4821 0 -1 4202560 23818 12669 0 0 270 9 5 3 20 0 15 0 91576181 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139900496140832 139900477281883 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11978] ppid=11924 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/11927/task/11978/stat : 11978 (java) S 11924 11927 4821 0 -1 1077944384 46 12669 0 0 1 0 5 3 20 0 15 0 91576182 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139900448876816 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11979] ppid=11924 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/11927/task/11979/stat : 11979 (java) S 11924 11927 4821 0 -1 1077944384 189 12669 0 0 1 0 5 3 20 0 15 0 91576182 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139900447824272 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11980] ppid=11924 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/11927/task/11980/stat : 11980 (java) S 11924 11927 4821 0 -1 1077944384 17 12669 0 0 1 0 5 3 20 0 15 0 91576182 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139900446771728 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11981] ppid=11924 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/11927/task/11981/stat : 11981 (java) S 11924 11927 4821 0 -1 1077944384 41 12669 0 0 1 0 5 3 20 0 15 0 91576182 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139900445719184 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11982] ppid=11924 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/11927/task/11982/stat : 11982 (java) S 11924 11927 4821 0 -1 1077944384 644 12669 0 0 1 0 5 3 20 0 15 0 91576183 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139899407952368 139900491922050 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11983] ppid=11924 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11983/stat : 11983 (java) S 11924 11927 4821 0 -1 1077944384 55 12669 0 0 0 0 5 3 20 0 15 0 91576184 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139899406898592 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11984] ppid=11924 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11984/stat : 11984 (java) S 11924 11927 4821 0 -1 1077944384 43 12669 0 0 0 0 5 3 20 0 15 0 91576184 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139899405846000 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11985] ppid=11924 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11985/stat : 11985 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139899404794576 139900491929499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11986] ppid=11924 vsize=13995836 CPUtime=1.04 cores=0,2,4,6
/proc/11927/task/11986/stat : 11986 (java) R 11924 11927 4821 0 -1 4202560 1840 12669 0 0 96 0 5 3 20 0 15 0 91576187 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139899403727712 139900477020973 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11987] ppid=11924 vsize=13995836 CPUtime=1.17 cores=0,2,4,6
/proc/11927/task/11987/stat : 11987 (java) R 11924 11927 4821 0 -1 1077944384 2365 12669 0 0 109 0 5 3 20 0 15 0 91576187 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139899402669440 139900491921109 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11988] ppid=11924 vsize=13995836 CPUtime=1.09 cores=0,2,4,6
/proc/11927/task/11988/stat : 11988 (java) S 11924 11927 4821 0 -1 1077944384 3114 12669 0 0 100 1 5 3 20 0 15 0 91576187 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139899401636080 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11989] ppid=11924 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11989/stat : 11989 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139899400583776 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11990] ppid=11924 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11990/stat : 11990 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576192 14331736064 60352 18446744073709551615 4194304 4196468 140737106057040 139899399531312 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 13995836

[startup+6.30084 s]
/proc/loadavg: 1.78 1.56 1.52 6/214 11990
/proc/meminfo: memFree=29701736/32770624 swapFree=0/433580
[pid=11927] ppid=11924 vsize=14067516 CPUtime=14.85 cores=0,2,4,6
/proc/11927/stat : 11927 (java) S 11924 11927 4821 0 -1 1077944320 68128 12669 0 0 1452 25 5 3 20 0 15 0 91576160 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 140737106039584 139900491910903 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
/proc/11927/statm: 3516879 103193 3478 1 0 3505493 0
[pid=11927/tid=11977] ppid=11924 vsize=14067516 CPUtime=5.68 cores=0,2,4,6
/proc/11927/task/11977/stat : 11977 (java) R 11924 11927 4821 0 -1 4202560 38917 12669 0 0 549 11 5 3 20 0 15 0 91576181 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139900496143952 139900121848446 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11978] ppid=11924 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/11927/task/11978/stat : 11978 (java) S 11924 11927 4821 0 -1 1077944384 124 12669 0 0 10 1 5 3 20 0 15 0 91576182 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139900448876816 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11979] ppid=11924 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/11927/task/11979/stat : 11979 (java) S 11924 11927 4821 0 -1 1077944384 311 12669 0 0 10 1 5 3 20 0 15 0 91576182 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139900447824272 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11980] ppid=11924 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/11927/task/11980/stat : 11980 (java) S 11924 11927 4821 0 -1 1077944384 57 12669 0 0 10 1 5 3 20 0 15 0 91576182 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139900446771728 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11981] ppid=11924 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/11927/task/11981/stat : 11981 (java) S 11924 11927 4821 0 -1 1077944384 234 12669 0 0 10 1 5 3 20 0 15 0 91576182 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139900445719184 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11982] ppid=11924 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/11927/task/11982/stat : 11982 (java) S 11924 11927 4821 0 -1 1077944384 2011 12669 0 0 4 0 5 3 20 0 15 0 91576183 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139899407952368 139900491922050 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11983] ppid=11924 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11983/stat : 11983 (java) S 11924 11927 4821 0 -1 1077944384 56 12669 0 0 0 0 5 3 20 0 15 0 91576184 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139899406898656 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11984] ppid=11924 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11984/stat : 11984 (java) S 11924 11927 4821 0 -1 1077944384 48 12669 0 0 0 0 5 3 20 0 15 0 91576184 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139899405846016 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11985] ppid=11924 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11985/stat : 11985 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139899404794576 139900491929499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11986] ppid=11924 vsize=14067516 CPUtime=3.33 cores=0,2,4,6
/proc/11927/task/11986/stat : 11986 (java) R 11924 11927 4821 0 -1 4202560 7839 12669 0 0 324 1 5 3 20 0 15 0 91576187 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139899403722184 139900475816908 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11987] ppid=11924 vsize=14067516 CPUtime=3.53 cores=0,2,4,6
/proc/11927/task/11987/stat : 11987 (java) R 11924 11927 4821 0 -1 4202560 8137 12669 0 0 344 1 5 3 20 0 15 0 91576187 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139899402673584 139900477018375 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11988] ppid=11924 vsize=14067516 CPUtime=1.97 cores=0,2,4,6
/proc/11927/task/11988/stat : 11988 (java) S 11924 11927 4821 0 -1 1077944384 8055 12669 0 0 186 3 5 3 20 0 15 0 91576187 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139899401636080 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11989] ppid=11924 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11989/stat : 11989 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139899400583776 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11990] ppid=11924 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11990/stat : 11990 (java) S 11924 11927 4821 0 -1 1077944384 182 12669 0 0 0 0 5 3 20 0 15 0 91576192 14405136384 103193 18446744073709551615 4194304 4196468 140737106057040 139899399531312 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
Current children cumulated CPU time (s) 14.85
Current children cumulated vsize (KiB) 14067516

[startup+12.7008 s]
/proc/loadavg: 1.89 1.59 1.53 4/214 11990
/proc/meminfo: memFree=29438296/32770624 swapFree=0/433580
[pid=11927] ppid=11924 vsize=14069564 CPUtime=26.96 cores=0,2,4,6
/proc/11927/stat : 11927 (java) S 11924 11927 4821 0 -1 1077944320 77196 12669 0 0 2639 49 5 3 20 0 15 0 91576160 14407233536 182201 18446744073709551615 4194304 4196468 140737106057040 140737106039584 139900491910903 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
/proc/11927/statm: 3517391 182201 3488 1 0 3506005 0
[pid=11927/tid=11977] ppid=11924 vsize=14069564 CPUtime=11.51 cores=0,2,4,6
/proc/11927/task/11977/stat : 11977 (java) R 11924 11927 4821 0 -1 4202560 40957 12669 0 0 1129 14 5 3 20 0 15 0 91576181 14407233536 182201 18446744073709551615 4194304 4196468 140737106057040 139900496147616 139900141889776 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11978] ppid=11924 vsize=14069564 CPUtime=0.66 cores=0,2,4,6
/proc/11927/task/11978/stat : 11978 (java) S 11924 11927 4821 0 -1 1077944384 256 12669 0 0 51 7 5 3 20 0 15 0 91576182 14407233536 182201 18446744073709551615 4194304 4196468 140737106057040 139900448876816 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11979] ppid=11924 vsize=14069564 CPUtime=0.64 cores=0,2,4,6
/proc/11927/task/11979/stat : 11979 (java) S 11924 11927 4821 0 -1 1077944384 1319 12669 0 0 50 6 5 3 20 0 15 0 91576182 14407233536 182201 18446744073709551615 4194304 4196468 140737106057040 139900447824272 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11980] ppid=11924 vsize=14069564 CPUtime=0.65 cores=0,2,4,6
/proc/11927/task/11980/stat : 11980 (java) S 11924 11927 4821 0 -1 1077944384 224 12669 0 0 51 6 5 3 20 0 15 0 91576182 14407233536 182201 18446744073709551615 4194304 4196468 140737106057040 139900446771728 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11981] ppid=11924 vsize=14069564 CPUtime=0.65 cores=0,2,4,6
/proc/11927/task/11981/stat : 11981 (java) S 11924 11927 4821 0 -1 1077944384 419 12669 0 0 51 6 5 3 20 0 15 0 91576182 14407233536 182201 18446744073709551615 4194304 4196468 140737106057040 139900445719184 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11982] ppid=11924 vsize=14069564 CPUtime=0.23 cores=0,2,4,6
/proc/11927/task/11982/stat : 11982 (java) S 11924 11927 4821 0 -1 1077944384 2286 12669 0 0 15 0 5 3 20 0 15 0 91576183 14407233536 182201 18446744073709551615 4194304 4196468 140737106057040 139899407952368 139900491922050 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11983] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11983/stat : 11983 (java) S 11924 11927 4821 0 -1 1077944384 60 12669 0 0 0 0 5 3 20 0 15 0 91576184 14407233536 182201 18446744073709551615 4194304 4196468 140737106057040 139899406898656 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11984] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11984/stat : 11984 (java) S 11924 11927 4821 0 -1 1077944384 49 12669 0 0 0 0 5 3 20 0 15 0 91576184 14407233536 182201 18446744073709551615 4194304 4196468 140737106057040 139899405846016 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11985] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11985/stat : 11985 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14407233536 182201 18446744073709551615 4194304 4196468 140737106057040 139899404794576 139900491929499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0

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

/proc/11927/task/11989/stat : 11989 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899400583776 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11990] ppid=11924 vsize=14069564 CPUtime=1.23 cores=0,2,4,6
/proc/11927/task/11990/stat : 11990 (java) S 11924 11927 4821 0 -1 1077944384 2295 12669 0 0 57 58 5 3 20 0 15 0 91576192 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899399531312 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
Current children cumulated CPU time (s) 2376.61
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.75 1.73 1.68 6/214 12290
/proc/meminfo: memFree=26397716/32770624 swapFree=0/434128
[pid=11927] ppid=11924 vsize=14069564 CPUtime=2437.09 cores=0,2,4,6
/proc/11927/stat : 11927 (java) S 11924 11927 4821 0 -1 1077944320 555082 12669 0 0 242873 828 5 3 20 0 15 0 91576160 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 140737106039584 139900491910903 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
/proc/11927/statm: 3517391 1082364 3499 1 0 3506005 0
[pid=11927/tid=11977] ppid=11924 vsize=14069564 CPUtime=2371.19 cores=0,2,4,6
/proc/11927/task/11977/stat : 11977 (java) R 11924 11927 4821 0 -1 4202560 226048 12669 0 0 237052 59 5 3 20 0 15 0 91576181 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900496144368 139900141758727 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11978] ppid=11924 vsize=14069564 CPUtime=9.87 cores=0,2,4,6
/proc/11927/task/11978/stat : 11978 (java) S 11924 11927 4821 0 -1 1077944384 30648 12669 0 0 807 172 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900448876816 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11979] ppid=11924 vsize=14069564 CPUtime=9.86 cores=0,2,4,6
/proc/11927/task/11979/stat : 11979 (java) S 11924 11927 4821 0 -1 1077944384 21969 12669 0 0 805 173 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900447824272 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11980] ppid=11924 vsize=14069564 CPUtime=9.87 cores=0,2,4,6
/proc/11927/task/11980/stat : 11980 (java) S 11924 11927 4821 0 -1 1077944384 22792 12669 0 0 809 170 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900446771728 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11981] ppid=11924 vsize=14069564 CPUtime=9.85 cores=0,2,4,6
/proc/11927/task/11981/stat : 11981 (java) S 11924 11927 4821 0 -1 1077944384 23009 12669 0 0 806 171 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900445719184 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11982] ppid=11924 vsize=14069564 CPUtime=0.74 cores=0,2,4,6
/proc/11927/task/11982/stat : 11982 (java) S 11924 11927 4821 0 -1 1077944384 28458 12669 0 0 56 10 5 3 20 0 15 0 91576183 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899407952368 139900491922050 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11983] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11983/stat : 11983 (java) S 11924 11927 4821 0 -1 1077944384 160 12669 0 0 0 0 5 3 20 0 15 0 91576184 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899406898656 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11984] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11984/stat : 11984 (java) S 11924 11927 4821 0 -1 1077944384 49 12669 0 0 0 0 5 3 20 0 15 0 91576184 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899405846016 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11985] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11985/stat : 11985 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899404794576 139900491929499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11986] ppid=11924 vsize=14069564 CPUtime=10.41 cores=0,2,4,6
/proc/11927/task/11986/stat : 11986 (java) S 11924 11927 4821 0 -1 1077944384 65317 12669 0 0 1026 7 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899403741168 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11987] ppid=11924 vsize=14069564 CPUtime=10.39 cores=0,2,4,6
/proc/11927/task/11987/stat : 11987 (java) S 11924 11927 4821 0 -1 1077944384 63673 12669 0 0 1022 9 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899402688624 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11988] ppid=11924 vsize=14069564 CPUtime=4.24 cores=0,2,4,6
/proc/11927/task/11988/stat : 11988 (java) S 11924 11927 4821 0 -1 1077944384 68481 12669 0 0 406 10 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899401636080 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11989] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11989/stat : 11989 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899400583776 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11990] ppid=11924 vsize=14069564 CPUtime=1.27 cores=0,2,4,6
/proc/11927/task/11990/stat : 11990 (java) S 11924 11927 4821 0 -1 1077944384 2320 12669 0 0 59 60 5 3 20 0 15 0 91576192 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899399531312 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
Current children cumulated CPU time (s) 2437.09
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.69 1.75 1.70 3/214 12292
/proc/meminfo: memFree=25354296/32770624 swapFree=0/434152
[pid=11927] ppid=11924 vsize=14069564 CPUtime=2497.32 cores=0,2,4,6
/proc/11927/stat : 11927 (java) S 11924 11927 4821 0 -1 1077944320 562536 12669 0 0 248893 831 5 3 20 0 15 0 91576160 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 140737106039584 139900491910903 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
/proc/11927/statm: 3517391 1082365 3499 1 0 3506005 0
[pid=11927/tid=11977] ppid=11924 vsize=14069564 CPUtime=2431.12 cores=0,2,4,6
/proc/11927/task/11977/stat : 11977 (java) R 11924 11927 4821 0 -1 4202560 230450 12669 0 0 243044 60 5 3 20 0 15 0 91576181 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139900496144560 139900130364972 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11978] ppid=11924 vsize=14069564 CPUtime=9.93 cores=0,2,4,6
/proc/11927/task/11978/stat : 11978 (java) S 11924 11927 4821 0 -1 1077944384 30785 12669 0 0 813 172 5 3 20 0 15 0 91576182 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139900448876816 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11979] ppid=11924 vsize=14069564 CPUtime=9.93 cores=0,2,4,6
/proc/11927/task/11979/stat : 11979 (java) S 11924 11927 4821 0 -1 1077944384 23673 12669 0 0 812 173 5 3 20 0 15 0 91576182 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139900447824272 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11980] ppid=11924 vsize=14069564 CPUtime=9.94 cores=0,2,4,6
/proc/11927/task/11980/stat : 11980 (java) S 11924 11927 4821 0 -1 1077944384 23164 12669 0 0 816 170 5 3 20 0 15 0 91576182 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139900446771728 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11981] ppid=11924 vsize=14069564 CPUtime=9.92 cores=0,2,4,6
/proc/11927/task/11981/stat : 11981 (java) S 11924 11927 4821 0 -1 1077944384 23467 12669 0 0 813 171 5 3 20 0 15 0 91576182 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139900445719184 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11982] ppid=11924 vsize=14069564 CPUtime=0.75 cores=0,2,4,6
/proc/11927/task/11982/stat : 11982 (java) S 11924 11927 4821 0 -1 1077944384 28801 12669 0 0 57 10 5 3 20 0 15 0 91576183 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139899407952368 139900491922050 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11983] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11983/stat : 11983 (java) S 11924 11927 4821 0 -1 1077944384 160 12669 0 0 0 0 5 3 20 0 15 0 91576184 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139899406898656 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11984] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11984/stat : 11984 (java) S 11924 11927 4821 0 -1 1077944384 49 12669 0 0 0 0 5 3 20 0 15 0 91576184 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139899405846016 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11985] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11985/stat : 11985 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139899404794576 139900491929499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11986] ppid=11924 vsize=14069564 CPUtime=10.41 cores=0,2,4,6
/proc/11927/task/11986/stat : 11986 (java) S 11924 11927 4821 0 -1 1077944384 65325 12669 0 0 1026 7 5 3 20 0 15 0 91576187 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139899403741168 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11987] ppid=11924 vsize=14069564 CPUtime=10.39 cores=0,2,4,6
/proc/11927/task/11987/stat : 11987 (java) S 11924 11927 4821 0 -1 1077944384 63676 12669 0 0 1022 9 5 3 20 0 15 0 91576187 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139899402688624 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11988] ppid=11924 vsize=14069564 CPUtime=4.24 cores=0,2,4,6
/proc/11927/task/11988/stat : 11988 (java) S 11924 11927 4821 0 -1 1077944384 68485 12669 0 0 406 10 5 3 20 0 15 0 91576187 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139899401636080 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11989] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11989/stat : 11989 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139899400583776 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11990] ppid=11924 vsize=14069564 CPUtime=1.3 cores=0,2,4,6
/proc/11927/task/11990/stat : 11990 (java) S 11924 11927 4821 0 -1 1077944384 2343 12669 0 0 60 62 5 3 20 0 15 0 91576192 14407233536 1082365 18446744073709551615 4194304 4196468 140737106057040 139899399531312 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
Current children cumulated CPU time (s) 2497.32
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2464.9 s]
/proc/loadavg: 1.80 1.77 1.70 3/216 12295
/proc/meminfo: memFree=25214096/32770624 swapFree=0/434148
[pid=11927] ppid=11924 vsize=14069564 CPUtime=2520 cores=0,2,4,6
/proc/11927/stat : 11927 (java) S 11924 11927 4821 0 -1 1077944320 568036 12669 0 0 251160 832 5 3 20 0 15 0 91576160 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 140737106039584 139900491910903 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
/proc/11927/statm: 3517391 1082364 3499 1 0 3506005 0
[pid=11927/tid=11977] ppid=11924 vsize=14069564 CPUtime=2453.7 cores=0,2,4,6
/proc/11927/task/11977/stat : 11977 (java) R 11924 11927 4821 0 -1 4202560 232989 12669 0 0 245301 61 5 3 20 0 15 0 91576181 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900496144880 139900124716344 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11978] ppid=11924 vsize=14069564 CPUtime=9.96 cores=0,2,4,6
/proc/11927/task/11978/stat : 11978 (java) S 11924 11927 4821 0 -1 1077944384 31193 12669 0 0 816 172 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900448876816 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11979] ppid=11924 vsize=14069564 CPUtime=9.95 cores=0,2,4,6
/proc/11927/task/11979/stat : 11979 (java) S 11924 11927 4821 0 -1 1077944384 23988 12669 0 0 814 173 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900447824272 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11980] ppid=11924 vsize=14069564 CPUtime=9.96 cores=0,2,4,6
/proc/11927/task/11980/stat : 11980 (java) S 11924 11927 4821 0 -1 1077944384 23823 12669 0 0 818 170 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900446771728 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11981] ppid=11924 vsize=14069564 CPUtime=9.95 cores=0,2,4,6
/proc/11927/task/11981/stat : 11981 (java) S 11924 11927 4821 0 -1 1077944384 24681 12669 0 0 815 172 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900445719184 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11982] ppid=11924 vsize=14069564 CPUtime=0.75 cores=0,2,4,6
/proc/11927/task/11982/stat : 11982 (java) S 11924 11927 4821 0 -1 1077944384 29128 12669 0 0 57 10 5 3 20 0 15 0 91576183 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899407952368 139900491922050 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11983] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11983/stat : 11983 (java) S 11924 11927 4821 0 -1 1077944384 160 12669 0 0 0 0 5 3 20 0 15 0 91576184 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899406898656 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11984] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11984/stat : 11984 (java) S 11924 11927 4821 0 -1 1077944384 49 12669 0 0 0 0 5 3 20 0 15 0 91576184 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899405846016 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11985] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11985/stat : 11985 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899404794576 139900491929499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11986] ppid=11924 vsize=14069564 CPUtime=10.41 cores=0,2,4,6
/proc/11927/task/11986/stat : 11986 (java) S 11924 11927 4821 0 -1 1077944384 65332 12669 0 0 1026 7 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899403741168 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11987] ppid=11924 vsize=14069564 CPUtime=10.39 cores=0,2,4,6
/proc/11927/task/11987/stat : 11987 (java) S 11924 11927 4821 0 -1 1077944384 63679 12669 0 0 1022 9 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899402688624 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11988] ppid=11924 vsize=14069564 CPUtime=4.24 cores=0,2,4,6
/proc/11927/task/11988/stat : 11988 (java) S 11924 11927 4821 0 -1 1077944384 68490 12669 0 0 406 10 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899401636080 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11989] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11989/stat : 11989 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899400583776 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11990] ppid=11924 vsize=14069564 CPUtime=1.31 cores=0,2,4,6
/proc/11927/task/11990/stat : 11990 (java) S 11924 11927 4821 0 -1 1077944384 2366 12669 0 0 60 63 5 3 20 0 15 0 91576192 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899399531312 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
Current children cumulated CPU time (s) 2520
Current children cumulated vsize (KiB) 14069564

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

[startup+2464.9 s]
/proc/loadavg: 1.80 1.77 1.70 3/216 12295
/proc/meminfo: memFree=25214096/32770624 swapFree=0/434148
[pid=11927] ppid=11924 vsize=14069564 CPUtime=2520 cores=0,2,4,6
/proc/11927/stat : 11927 (java) S 11924 11927 4821 0 -1 1077944320 568036 12669 0 0 251160 832 5 3 20 0 15 0 91576160 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 140737106039584 139900491910903 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
/proc/11927/statm: 3517391 1082364 3499 1 0 3506005 0
[pid=11927/tid=11977] ppid=11924 vsize=14069564 CPUtime=2453.7 cores=0,2,4,6
/proc/11927/task/11977/stat : 11977 (java) R 11924 11927 4821 0 -1 4202560 232989 12669 0 0 245301 61 5 3 20 0 15 0 91576181 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900496144880 139900124716344 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11978] ppid=11924 vsize=14069564 CPUtime=9.96 cores=0,2,4,6
/proc/11927/task/11978/stat : 11978 (java) S 11924 11927 4821 0 -1 1077944384 31193 12669 0 0 816 172 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900448876816 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11979] ppid=11924 vsize=14069564 CPUtime=9.95 cores=0,2,4,6
/proc/11927/task/11979/stat : 11979 (java) S 11924 11927 4821 0 -1 1077944384 23988 12669 0 0 814 173 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900447824272 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11980] ppid=11924 vsize=14069564 CPUtime=9.96 cores=0,2,4,6
/proc/11927/task/11980/stat : 11980 (java) S 11924 11927 4821 0 -1 1077944384 23823 12669 0 0 818 170 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900446771728 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11981] ppid=11924 vsize=14069564 CPUtime=9.95 cores=0,2,4,6
/proc/11927/task/11981/stat : 11981 (java) S 11924 11927 4821 0 -1 1077944384 24681 12669 0 0 815 172 5 3 20 0 15 0 91576182 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139900445719184 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11982] ppid=11924 vsize=14069564 CPUtime=0.75 cores=0,2,4,6
/proc/11927/task/11982/stat : 11982 (java) S 11924 11927 4821 0 -1 1077944384 29128 12669 0 0 57 10 5 3 20 0 15 0 91576183 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899407952368 139900491922050 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11983] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11983/stat : 11983 (java) S 11924 11927 4821 0 -1 1077944384 160 12669 0 0 0 0 5 3 20 0 15 0 91576184 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899406898656 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11984] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11984/stat : 11984 (java) S 11924 11927 4821 0 -1 1077944384 49 12669 0 0 0 0 5 3 20 0 15 0 91576184 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899405846016 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11985] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11985/stat : 11985 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899404794576 139900491929499 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11986] ppid=11924 vsize=14069564 CPUtime=10.41 cores=0,2,4,6
/proc/11927/task/11986/stat : 11986 (java) S 11924 11927 4821 0 -1 1077944384 65332 12669 0 0 1026 7 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899403741168 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11987] ppid=11924 vsize=14069564 CPUtime=10.39 cores=0,2,4,6
/proc/11927/task/11987/stat : 11987 (java) S 11924 11927 4821 0 -1 1077944384 63679 12669 0 0 1022 9 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899402688624 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11988] ppid=11924 vsize=14069564 CPUtime=4.24 cores=0,2,4,6
/proc/11927/task/11988/stat : 11988 (java) S 11924 11927 4821 0 -1 1077944384 68490 12669 0 0 406 10 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899401636080 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11989] ppid=11924 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/11927/task/11989/stat : 11989 (java) S 11924 11927 4821 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 91576187 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899400583776 139900491921109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
[pid=11927/tid=11990] ppid=11924 vsize=14069564 CPUtime=1.31 cores=0,2,4,6
/proc/11927/task/11990/stat : 11990 (java) S 11924 11927 4821 0 -1 1077944384 2366 12669 0 0 60 63 5 3 20 0 15 0 91576192 14407233536 1082364 18446744073709551615 4194304 4196468 140737106057040 139899399531312 139900491922050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140737106061264 140737106064049 140737106064049 140737106067407 0
Current children cumulated CPU time (s) 2520
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2464.95
CPU time (s): 2520.07
CPU user time (s): 2511.68
CPU system time (s): 8.3886
CPU usage (%): 102.236
Max. virtual memory (cumulated for all children) (KiB): 14071684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.68
system time used= 8.3886
maximum resident set size= 4333464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77821
involuntary context switches= 4832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.92602 second user time and 16.73 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-11 09:32:42
IDJOB=4262219
IDBENCH=124400
IDSOLVER=2650
FILE ID=node133/4262219-1502437609
RUNJOBID= node133-1502411423-4884
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n67-k10.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262219-1502437609/watcher-4262219-1502437609 -o /tmp/evaluation-result-4262219-1502437609/solver-4262219-1502437609 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580  bin/concrete HOME/instance-4262219-1502437609.xml

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

MD5SUM BENCH= 22a404b8d6219eda7de384223800de36
RANDOM SEED=1233147967

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30023588 kB
MemAvailable:   30888100 kB
Buffers:          288880 kB
Cached:           870088 kB
SwapCached:            0 kB
Active:          1845864 kB
Inactive:         466484 kB
Active(anon):    1153604 kB
Inactive(anon):    33112 kB
Active(file):     692260 kB
Inactive(file):   433372 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24340 kB
Writeback:             4 kB
AnonPages:       1169248 kB
Mapped:            63796 kB
Shmem:             33468 kB
Slab:             136472 kB
SReclaimable:     109432 kB
SUnreclaim:        27040 kB
KernelStack:        3520 kB
PageTables:         7356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2054028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    948224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-11 10:13:47