Trace number 4259843

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)1717 260.47699 240.04401

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n60-k9.xml
MD5SUM204525c81941dcb64589d695195e220f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1567
Best CPU time to get the best result obtained on this benchmark251.97501
Satisfiable
(Un)Satisfiability was proved
Number of variables3660
Number of constraints3599
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":60},{"size":2,"count":3540},{"size":101,"count":59}]
Minimum variable degree0
Maximum variable degree117
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":60},{"degree":2,"count":118},{"degree":4,"count":3422},{"degree":117,"count":59}]
Minimum constraint arity1
Maximum constraint arity59
Distribution of constraint arities[{"arity":1,"count":59},{"arity":3,"count":3422},{"arity":59,"count":118}]
Number of extensional constraints0
Number of intensional constraints59
Distribution of constraint types[{"type":"intension","count":59},{"type":"sum","count":3422},{"type":"count","count":118}]
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.19/2.20	c Concrete v3.4 running
17.28/6.73	o 3700
18.17/7.08	o 3667
19.40/7.45	o 3599
20.43/8.02	o 3544
20.81/8.25	o 3495
21.55/8.55	o 3492
22.16/8.77	o 3483
22.56/8.97	o 3475
22.81/9.18	o 3458
23.05/9.39	o 3451
23.25/9.59	o 3447
23.45/9.78	o 3427
23.70/10.00	o 3348
24.02/10.24	o 3312
24.24/10.43	o 3279
24.44/10.62	o 3260
24.64/10.85	o 3257
24.85/11.07	o 3189
25.08/11.28	o 3168
25.51/11.68	o 3166
25.72/11.90	o 3145
26.06/12.11	o 3141
26.25/12.33	o 3122
26.50/12.59	o 3077
26.83/12.81	o 3071
27.34/13.30	o 3035
27.94/13.82	o 3007
28.17/14.05	o 2994
28.74/14.59	o 2968
29.98/15.78	o 2964
30.28/16.08	o 2950
30.61/16.38	o 2942
30.91/16.68	o 2941
31.20/16.99	o 2909
31.60/17.28	o 2903
31.92/17.56	o 2900
32.22/17.85	o 2887
32.53/18.14	o 2882
32.89/18.40	o 2868
33.09/18.68	o 2859
34.05/19.57	o 2837
34.36/19.87	o 2822
35.29/20.72	o 2816
35.60/21.05	o 2809
35.93/21.34	o 2783
36.54/21.99	o 2779
37.95/23.25	o 2768
38.27/23.54	o 2752
38.87/24.18	o 2744
39.33/24.52	o 2743
39.97/24.84	o 2718
40.28/25.17	o 2709
40.74/25.54	o 2706
41.05/25.86	o 2700
41.68/26.50	o 2688
41.98/26.79	o 2678
42.80/27.51	o 2659
44.28/28.91	o 2644
47.63/32.14	o 2637
48.67/33.02	o 2633
50.25/34.57	o 2632
51.47/35.77	o 2630
51.77/36.05	o 2625
52.39/36.67	o 2613
54.82/38.94	o 2611
55.73/39.83	o 2595
56.64/40.75	o 2552
56.95/41.03	o 2533
58.66/42.66	o 2532
59.58/43.55	o 2531
64.34/48.10	o 2512
66.17/49.93	o 2472
66.77/50.52	o 2408
69.63/53.26	o 2407
70.94/54.55	o 2401
73.07/56.67	o 2398
77.18/60.66	o 2391
81.39/64.74	o 2388
82.28/65.66	o 2387
83.29/66.61	o 2381
83.59/66.95	o 2366
88.75/71.93	o 2358
89.87/73.06	o 2352
90.17/73.31	o 2337
92.48/75.63	o 2336
95.00/78.06	o 2306
99.64/82.61	o 2305
100.69/83.69	o 2294
101.39/84.30	o 2293
101.90/84.85	o 2286
103.10/86.06	o 2273
107.61/90.41	o 2265
107.81/90.62	o 2261
108.21/91.08	o 2249
109.52/92.40	o 2230
110.13/92.94	o 2227
110.63/93.47	o 2220
112.50/95.20	o 2194
117.24/99.93	o 2192
117.44/100.14	o 2183
118.17/100.89	o 2165
121.09/103.71	o 2123
121.29/103.98	o 2118
123.21/105.85	o 2091
125.25/107.88	o 2086
126.36/108.95	o 2082
126.55/109.20	o 2073
134.06/116.50	o 2065
139.45/121.82	o 2062
141.47/123.88	o 2059
143.13/125.43	o 2052
143.42/125.72	o 2015
143.63/125.97	o 2007
143.93/126.26	o 2005
144.24/126.57	o 2000
144.53/126.88	o 1993
148.60/130.90	o 1989
151.23/133.41	o 1960
152.98/135.18	o 1958
153.59/135.78	o 1956
154.19/136.35	o 1949
155.09/137.27	o 1941
162.73/144.74	o 1938
167.10/149.10	o 1907
167.40/149.34	o 1906
169.55/151.48	o 1899
174.13/155.91	o 1887
174.44/156.23	o 1881
177.51/159.26	o 1868
180.78/162.43	o 1857
184.33/165.91	o 1856
186.15/167.71	o 1834
191.57/173.05	o 1821
194.43/175.83	o 1817
198.71/180.03	o 1815
201.57/182.88	o 1814
211.15/192.13	o 1796
212.76/193.79	o 1787
214.70/195.63	o 1775
228.51/209.06	o 1768
229.30/209.81	o 1747
246.75/226.72	o 1745
255.92/235.64	o 1717
260.43/240.00	java.util.concurrent.TimeoutException
260.43/240.00		at concrete.MAC.mac(MAC.scala:74)
260.43/240.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
260.43/240.00		at scala.util.Try$.apply(Try.scala:209)
260.43/240.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
260.43/240.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
260.43/240.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
260.43/240.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
260.43/240.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
260.43/240.00		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
260.43/240.00		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
260.43/240.00		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
260.43/240.00		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
260.43/240.00		at concrete.MAC.oneRun(MAC.scala:146)
260.43/240.00		at concrete.MAC.nextSolution(MAC.scala:166)
260.43/240.00		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
260.43/240.00		at concrete.ProblemState.map(ProblemState.scala:203)
260.43/240.00		at concrete.ProblemState.map(ProblemState.scala:188)
260.43/240.00		at concrete.MAC.nextSolution(MAC.scala:195)
260.43/240.00		at concrete.Solver.hasNext(Solver.scala:202)
260.43/240.00		at scala.collection.Iterator.toStream(Iterator.scala:1403)
260.43/240.00		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
260.43/240.00		at concrete.Solver.toStream(Solver.scala:73)
260.43/240.00		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
260.43/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
260.43/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
260.43/240.00		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
260.43/240.00		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
260.43/240.00		at scala.util.Success.$anonfun$map$1(Try.scala:251)
260.43/240.00		at scala.util.Success.map(Try.scala:209)
260.43/240.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
260.43/240.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
260.43/240.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
260.43/240.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
260.43/240.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
260.43/240.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
260.43/240.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
260.43/240.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
260.43/240.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
260.43/240.01		at scala.collection.immutable.List.foreach(List.scala:389)
260.43/240.01		at scala.App.main(App.scala:76)
260.43/240.01		at scala.App.main$(App.scala:74)
260.43/240.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
260.43/240.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
260.43/240.01	v <instantiation cost="1717">
260.43/240.01	v       <list>
260.43/240.01	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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]
260.43/240.01	v       </list>
260.43/240.01	v       <values>
260.43/240.01	v         0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 56 38 88 62 63 19 94 36 56 69 81 68 56 13 73 100 54 2 100 89 7 100 100 100 18 77 56 36 73 65 76 58 100 37 30 16 75 16 26 13 23 89 47 40 54 2 77 80 36 7 82 50 34 100 25 100 97 46 100
260.43/240.01	v       </values>
260.43/240.01	v     </instantiation>
260.43/240.01	s SATISFIABLE

Verifier Data 

OK	1717

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259843-1501650279/watcher-4259843-1501650279 -o /tmp/evaluation-result-4259843-1501650279/solver-4259843-1501650279 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259843-1501650279.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.72 1.54 1.63 2/199 8525
/proc/meminfo: memFree=30950320/32770624 swapFree=0/246452
[pid=8525] ppid=8522 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8525/stat : 8525 (runsolver) D 8522 8525 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 6938498 24240128 107 18446744073709551615 4194304 4338465 140733545419312 140733545416952 140336579842775 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 10088448 140733545423057 140733545423431 140733545423431 140733545426890 0
/proc/8525/statm: 5918 107 54 36 0 2156 0

[startup+0.100151 s]
/proc/loadavg: 1.72 1.54 1.63 2/199 8525
/proc/meminfo: memFree=30950320/32770624 swapFree=0/246452
[pid=8525] ppid=8522 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8525/stat : 8525 (runsolver) D 8522 8525 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 6938498 24240128 107 18446744073709551615 4194304 4338465 140733545419312 140733545416952 140336579842775 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 10088448 140733545423057 140733545423431 140733545423431 140733545426890 0
/proc/8525/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200294 s]
/proc/loadavg: 1.72 1.54 1.63 2/199 8525
/proc/meminfo: memFree=30950320/32770624 swapFree=0/246452
[pid=8525] ppid=8522 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/8525/stat : 8525 (bash) S 8522 8525 3187 0 -1 4202496 890 6491 0 0 0 0 0 1 20 0 1 0 6938498 9867264 376 18446744073709551615 4194304 5098028 140721004371408 140721004365416 140223730473984 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 10 0 0 7196144 7232144 13152256 140721004372498 140721004372583 140721004372583 140721004376042 0
/proc/8525/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300318 s]
/proc/loadavg: 1.72 1.54 1.63 2/199 8525
/proc/meminfo: memFree=30950320/32770624 swapFree=0/246452
[pid=8525] ppid=8522 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/8525/stat : 8525 (java) S 8522 8525 3187 0 -1 1077944320 5738 12659 0 0 5 1 5 3 20 0 14 0 6938498 14241083392 5409 18446744073709551615 4194304 4196468 140728115215216 140728115197760 140491866857207 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
/proc/8525/statm: 3476827 5409 2552 1 0 3466332 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700665 s]
/proc/loadavg: 1.72 1.54 1.63 2/199 8525
/proc/meminfo: memFree=30950320/32770624 swapFree=0/246452
[pid=8525] ppid=8522 vsize=13974784 CPUtime=0.69 cores=0,2,4,6
/proc/8525/stat : 8525 (java) S 8522 8525 3187 0 -1 1077944320 13908 12659 0 0 56 5 5 3 20 0 15 0 6938498 14310178816 14334 18446744073709551615 4194304 4196468 140728115215216 140728115197760 140491866857207 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
/proc/8525/statm: 3493696 14334 3079 1 0 3482973 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784

[startup+1.50063 s]
/proc/loadavg: 1.72 1.54 1.63 3/214 8588
/proc/meminfo: memFree=30833024/32770624 swapFree=0/246524
[pid=8525] ppid=8522 vsize=13985408 CPUtime=1.9 cores=0,2,4,6
/proc/8525/stat : 8525 (java) S 8522 8525 3187 0 -1 1077944320 29421 12659 0 0 171 11 5 3 20 0 15 0 6938498 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140728115197760 140491866857207 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
/proc/8525/statm: 3496352 40249 3360 1 0 3485533 0
[pid=8525/tid=8575] ppid=8522 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/8525/task/8575/stat : 8575 (java) S 8522 8525 3187 0 -1 1077944384 22565 12659 0 0 114 7 5 3 20 0 15 0 6938521 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491871076208 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8576] ppid=8522 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8576/stat : 8576 (java) S 8522 8525 3187 0 -1 1077944384 56 12659 0 0 0 0 5 3 20 0 15 0 6938522 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491808803344 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8577] ppid=8522 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8577/stat : 8577 (java) S 8522 8525 3187 0 -1 1077944384 53 12659 0 0 0 0 5 3 20 0 15 0 6938522 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491807750800 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8578] ppid=8522 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8578/stat : 8578 (java) S 8522 8525 3187 0 -1 1077944384 37 12659 0 0 0 0 5 3 20 0 15 0 6938522 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491806697744 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8579] ppid=8522 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8579/stat : 8579 (java) S 8522 8525 3187 0 -1 1077944384 220 12659 0 0 0 0 5 3 20 0 15 0 6938522 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491805645200 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8580] ppid=8522 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/8525/task/8580/stat : 8580 (java) R 8522 8525 3187 0 -1 4202560 1558 12659 0 0 1 0 5 3 20 0 15 0 6938523 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491412583488 140491851557611 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8581] ppid=8522 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8581/stat : 8581 (java) S 8522 8525 3187 0 -1 1077944384 33 12659 0 0 0 0 5 3 20 0 15 0 6938523 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491411531424 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8582] ppid=8522 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8582/stat : 8582 (java) S 8522 8525 3187 0 -1 1077944384 21 12659 0 0 0 0 5 3 20 0 15 0 6938524 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491410478320 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8583] ppid=8522 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8583/stat : 8583 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938526 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491409426896 140491866875803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8584] ppid=8522 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/8525/task/8584/stat : 8584 (java) S 8522 8525 3187 0 -1 1077944384 871 12659 0 0 12 0 5 3 20 0 15 0 6938526 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491408374000 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8585] ppid=8522 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/8525/task/8585/stat : 8585 (java) S 8522 8525 3187 0 -1 1077944384 812 12659 0 0 17 0 5 3 20 0 15 0 6938526 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491407321456 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8586] ppid=8522 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/8525/task/8586/stat : 8586 (java) S 8522 8525 3187 0 -1 1077944384 1029 12659 0 0 23 0 5 3 20 0 15 0 6938526 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491406263776 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8587] ppid=8522 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8587/stat : 8587 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938527 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491405216096 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8588] ppid=8522 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8588/stat : 8588 (java) S 8522 8525 3187 0 -1 1077944384 10 12659 0 0 0 0 5 3 20 0 15 0 6938529 14321057792 40249 18446744073709551615 4194304 4196468 140728115215216 140491404164144 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13985408

[startup+3.1047 s]
/proc/loadavg: 1.72 1.54 1.63 4/214 8588
/proc/meminfo: memFree=30755148/32770624 swapFree=0/246532
[pid=8525] ppid=8522 vsize=13995836 CPUtime=6.19 cores=0,2,4,6
/proc/8525/stat : 8525 (java) S 8522 8525 3187 0 -1 1077944320 43418 12659 0 0 595 16 5 3 20 0 15 0 6938498 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140728115197760 140491866857207 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
/proc/8525/statm: 3498959 58751 3439 1 0 3487581 0
[pid=8525/tid=8575] ppid=8522 vsize=13995836 CPUtime=2.87 cores=0,2,4,6
/proc/8525/task/8575/stat : 8575 (java) R 8522 8525 3187 0 -1 4202560 28339 12659 0 0 270 9 5 3 20 0 15 0 6938521 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491871085952 140491493807063 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8576] ppid=8522 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/8525/task/8576/stat : 8576 (java) S 8522 8525 3187 0 -1 1077944384 61 12659 0 0 1 0 5 3 20 0 15 0 6938522 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491808803344 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8577] ppid=8522 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/8525/task/8577/stat : 8577 (java) S 8522 8525 3187 0 -1 1077944384 53 12659 0 0 1 0 5 3 20 0 15 0 6938522 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491807750800 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8578] ppid=8522 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/8525/task/8578/stat : 8578 (java) S 8522 8525 3187 0 -1 1077944384 39 12659 0 0 1 0 5 3 20 0 15 0 6938522 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491806697744 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8579] ppid=8522 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8579/stat : 8579 (java) S 8522 8525 3187 0 -1 1077944384 223 12659 0 0 0 0 5 3 20 0 15 0 6938522 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491805645200 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8580] ppid=8522 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/8525/task/8580/stat : 8580 (java) S 8522 8525 3187 0 -1 1077944384 1764 12659 0 0 1 0 5 3 20 0 15 0 6938523 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491412585200 140491866868354 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8581] ppid=8522 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8581/stat : 8581 (java) S 8522 8525 3187 0 -1 1077944384 56 12659 0 0 0 0 5 3 20 0 15 0 6938523 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491411531424 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8582] ppid=8522 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8582/stat : 8582 (java) S 8522 8525 3187 0 -1 1077944384 43 12659 0 0 0 0 5 3 20 0 15 0 6938524 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491410478320 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8583] ppid=8522 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8583/stat : 8583 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938526 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491409426896 140491866875803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8584] ppid=8522 vsize=13995836 CPUtime=1.21 cores=0,2,4,6
/proc/8525/task/8584/stat : 8584 (java) R 8522 8525 3187 0 -1 4202560 4390 12659 0 0 112 1 5 3 20 0 15 0 6938526 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491408352528 140491850354041 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8585] ppid=8522 vsize=13995836 CPUtime=1.11 cores=0,2,4,6
/proc/8525/task/8585/stat : 8585 (java) R 8522 8525 3187 0 -1 4202560 2441 12659 0 0 102 1 5 3 20 0 15 0 6938526 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491407303568 140491851762635 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8586] ppid=8522 vsize=13995836 CPUtime=1.12 cores=0,2,4,6
/proc/8525/task/8586/stat : 8586 (java) S 8522 8525 3187 0 -1 1077944384 3840 12659 0 0 103 1 5 3 20 0 15 0 6938526 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491406268400 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8587] ppid=8522 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8587/stat : 8587 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938527 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491405216096 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8588] ppid=8522 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8588/stat : 8588 (java) S 8522 8525 3187 0 -1 1077944384 13 12659 0 0 0 0 5 3 20 0 15 0 6938529 14331736064 58751 18446744073709551615 4194304 4196468 140728115215216 140491404164144 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 13995836

[startup+6.3006 s]
/proc/loadavg: 1.98 1.59 1.64 6/214 8588
/proc/meminfo: memFree=30486036/32770624 swapFree=0/246532
[pid=8525] ppid=8522 vsize=14069564 CPUtime=16 cores=0,2,4,6
/proc/8525/stat : 8525 (java) S 8522 8525 3187 0 -1 1077944320 97026 12659 0 0 1562 30 5 3 20 0 15 0 6938498 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140728115197760 140491866857207 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
/proc/8525/statm: 3517391 105024 3470 1 0 3506013 0
[pid=8525/tid=8575] ppid=8522 vsize=14069564 CPUtime=5.8 cores=0,2,4,6
/proc/8525/task/8575/stat : 8575 (java) S 8522 8525 3187 0 -1 1077944384 55042 12659 0 0 557 15 5 3 20 0 15 0 6938521 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491871094880 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8576] ppid=8522 vsize=14069564 CPUtime=0.28 cores=0,2,4,6
/proc/8525/task/8576/stat : 8576 (java) R 8522 8525 3187 0 -1 4202560 220 12659 0 0 19 1 5 3 20 0 15 0 6938522 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491808803152 140491859485415 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8577] ppid=8522 vsize=14069564 CPUtime=0.28 cores=0,2,4,6
/proc/8525/task/8577/stat : 8577 (java) S 8522 8525 3187 0 -1 1077944384 369 12659 0 0 19 1 5 3 20 0 15 0 6938522 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491807750608 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8578] ppid=8522 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/8525/task/8578/stat : 8578 (java) R 8522 8525 3187 0 -1 4202560 352 12659 0 0 16 1 5 3 20 0 15 0 6938522 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491806697632 140491851853704 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8579] ppid=8522 vsize=14069564 CPUtime=0.24 cores=0,2,4,6
/proc/8525/task/8579/stat : 8579 (java) R 8522 8525 3187 0 -1 4202560 418 12659 0 0 15 1 5 3 20 0 15 0 6938522 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491805645320 140491859485415 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8580] ppid=8522 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/8525/task/8580/stat : 8580 (java) S 8522 8525 3187 0 -1 1077944384 10789 12659 0 0 7 1 5 3 20 0 15 0 6938523 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491412583824 140491866867413 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8581] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8581/stat : 8581 (java) S 8522 8525 3187 0 -1 1077944384 57 12659 0 0 0 0 5 3 20 0 15 0 6938523 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491411531488 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8582] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8582/stat : 8582 (java) S 8522 8525 3187 0 -1 1077944384 43 12659 0 0 0 0 5 3 20 0 15 0 6938524 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491410478336 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8583] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8583/stat : 8583 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938526 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491409426896 140491866875803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8584] ppid=8522 vsize=14069564 CPUtime=3.6 cores=0,2,4,6
/proc/8525/task/8584/stat : 8584 (java) S 8522 8525 3187 0 -1 1077944384 9233 12659 0 0 350 2 5 3 20 0 15 0 6938526 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491408358096 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8585] ppid=8522 vsize=14069564 CPUtime=3.81 cores=0,2,4,6
/proc/8525/task/8585/stat : 8585 (java) R 8522 8525 3187 0 -1 4202560 10562 12659 0 0 371 2 5 3 20 0 15 0 6938526 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491407306800 140491848378389 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8586] ppid=8522 vsize=14069564 CPUtime=2.14 cores=0,2,4,6
/proc/8525/task/8586/stat : 8586 (java) S 8522 8525 3187 0 -1 1077944384 7636 12659 0 0 203 3 5 3 20 0 15 0 6938526 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491406268400 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8587] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8587/stat : 8587 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938527 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491405216096 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8588] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8588/stat : 8588 (java) S 8522 8525 3187 0 -1 1077944384 149 12659 0 0 0 0 5 3 20 0 15 0 6938529 14407233536 105024 18446744073709551615 4194304 4196468 140728115215216 140491404164144 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
Current children cumulated CPU time (s) 16
Current children cumulated vsize (KiB) 14069564

[startup+12.7006 s]
/proc/loadavg: 1.99 1.60 1.65 3/214 8589
/proc/meminfo: memFree=30118152/32770624 swapFree=0/246520
[pid=8525] ppid=8522 vsize=14069564 CPUtime=26.72 cores=0,2,4,6
/proc/8525/stat : 8525 (java) S 8522 8525 3187 0 -1 1077944320 102968 12659 0 0 2618 46 5 3 20 0 15 0 6938498 14407233536 160560 18446744073709551615 4194304 4196468 140728115215216 140728115197760 140491866857207 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
/proc/8525/statm: 3517391 160560 3475 1 0 3506013 0
[pid=8525/tid=8575] ppid=8522 vsize=14069564 CPUtime=11.78 cores=0,2,4,6
/proc/8525/task/8575/stat : 8575 (java) R 8522 8525 3187 0 -1 4202560 55977 12659 0 0 1154 16 5 3 20 0 15 0 6938521 14407233536 160560 18446744073709551615 4194304 4196468 140728115215216 140491871091424 140491504139736 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8576] ppid=8522 vsize=14069564 CPUtime=0.53 cores=0,2,4,6
/proc/8525/task/8576/stat : 8576 (java) S 8522 8525 3187 0 -1 1077944384 330 12659 0 0 41 4 5 3 20 0 15 0 6938522 14407233536 160560 18446744073709551615 4194304 4196468 140728115215216 140491808803344 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8577] ppid=8522 vsize=14069564 CPUtime=0.56 cores=0,2,4,6
/proc/8525/task/8577/stat : 8577 (java) S 8522 8525 3187 0 -1 1077944384 488 12659 0 0 44 4 5 3 20 0 15 0 6938522 14407233536 160560 18446744073709551615 4194304 4196468 140728115215216 140491807750800 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8578] ppid=8522 vsize=14069564 CPUtime=0.53 cores=0,2,4,6
/proc/8525/task/8578/stat : 8578 (java) S 8522 8525 3187 0 -1 1077944384 443 12659 0 0 41 4 5 3 20 0 15 0 6938522 14407233536 160560 18446744073709551615 4194304 4196468 140728115215216 140491806697744 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8579] ppid=8522 vsize=14069564 CPUtime=0.54 cores=0,2,4,6
/proc/8525/task/8579/stat : 8579 (java) S 8522 8525 3187 0 -1 1077944384 1340 12659 0 0 42 4 5 3 20 0 15 0 6938522 14407233536 160560 18446744073709551615 4194304 4196468 140728115215216 140491805645200 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8580] ppid=8522 vsize=14069564 CPUtime=0.24 cores=0,2,4,6
/proc/8525/task/8580/stat : 8580 (java) S 8522 8525 3187 0 -1 1077944384 11128 12659 0 0 15 1 5 3 20 0 15 0 6938523 14407233536 160560 18446744073709551615 4194304 4196468 140728115215216 140491412585200 140491866868354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8581] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8581/stat : 8581 (java) S 8522 8525 3187 0 -1 1077944384 61 12659 0 0 0 0 5 3 20 0 15 0 6938523 14407233536 160560 18446744073709551615 4194304 4196468 140728115215216 140491411531552 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8582] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8582/stat : 8582 (java) S 8522 8525 3187 0 -1 1077944384 47 12659 0 0 0 0 5 3 20 0 15 0 6938524 14407233536 160560 18446744073709551615 4194304 4196468 140728115215216 140491410478336 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8583] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8583/stat : 8583 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938526 14407233536 160560 18446744073709551615 4194304 4196468 140728115215216 140491409426896 140491866875803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0

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

/proc/8525/task/8587/stat : 8587 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938527 14407233536 312342 18446744073709551615 4194304 4196468 140728115215216 140491405216096 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8588] ppid=8522 vsize=14069564 CPUtime=0.1 cores=0,2,4,6
/proc/8525/task/8588/stat : 8588 (java) S 8522 8525 3187 0 -1 1077944384 198 12659 0 0 1 1 5 3 20 0 15 0 6938529 14407233536 312342 18446744073709551615 4194304 4196468 140728115215216 140491404164144 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
Current children cumulated CPU time (s) 67.37
Current children cumulated vsize (KiB) 14069564

[startup+102.301 s]
/proc/loadavg: 1.70 1.63 1.66 3/213 8591
/proc/meminfo: memFree=29017508/32770624 swapFree=0/246620
[pid=8525] ppid=8522 vsize=14069564 CPUtime=119.68 cores=0,2,4,6
/proc/8525/stat : 8525 (java) S 8522 8525 3187 0 -1 1077944320 134770 12659 0 0 11826 134 5 3 20 0 15 0 6938498 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140728115197760 140491866857207 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
/proc/8525/statm: 3517391 364541 3484 1 0 3506013 0
[pid=8525/tid=8575] ppid=8522 vsize=14069564 CPUtime=100.94 cores=0,2,4,6
/proc/8525/task/8575/stat : 8575 (java) R 8522 8525 3187 0 -1 4202560 63171 12659 0 0 10063 23 5 3 20 0 15 0 6938521 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491871090808 140491504140057 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8576] ppid=8522 vsize=14069564 CPUtime=0.96 cores=0,2,4,6
/proc/8525/task/8576/stat : 8576 (java) S 8522 8525 3187 0 -1 1077944384 1609 12659 0 0 64 24 5 3 20 0 15 0 6938522 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491808803344 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8577] ppid=8522 vsize=14069564 CPUtime=0.99 cores=0,2,4,6
/proc/8525/task/8577/stat : 8577 (java) S 8522 8525 3187 0 -1 1077944384 2209 12659 0 0 68 23 5 3 20 0 15 0 6938522 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491807750800 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8578] ppid=8522 vsize=14069564 CPUtime=0.96 cores=0,2,4,6
/proc/8525/task/8578/stat : 8578 (java) S 8522 8525 3187 0 -1 1077944384 966 12659 0 0 64 24 5 3 20 0 15 0 6938522 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491806697744 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8579] ppid=8522 vsize=14069564 CPUtime=0.96 cores=0,2,4,6
/proc/8525/task/8579/stat : 8579 (java) S 8522 8525 3187 0 -1 1077944384 2283 12659 0 0 65 23 5 3 20 0 15 0 6938522 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491805645200 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8580] ppid=8522 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/8525/task/8580/stat : 8580 (java) S 8522 8525 3187 0 -1 1077944384 12072 12659 0 0 17 1 5 3 20 0 15 0 6938523 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491412585200 140491866868354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8581] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8581/stat : 8581 (java) S 8522 8525 3187 0 -1 1077944384 69 12659 0 0 0 0 5 3 20 0 15 0 6938523 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491411531552 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8582] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8582/stat : 8582 (java) S 8522 8525 3187 0 -1 1077944384 47 12659 0 0 0 0 5 3 20 0 15 0 6938524 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491410478336 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8583] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8583/stat : 8583 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938526 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491409426896 140491866875803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8584] ppid=8522 vsize=14069564 CPUtime=6.24 cores=0,2,4,6
/proc/8525/task/8584/stat : 8584 (java) S 8522 8525 3187 0 -1 1077944384 17079 12659 0 0 613 3 5 3 20 0 15 0 6938526 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491408374000 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8585] ppid=8522 vsize=14069564 CPUtime=6.4 cores=0,2,4,6
/proc/8525/task/8585/stat : 8585 (java) S 8522 8525 3187 0 -1 1077944384 18174 12659 0 0 628 4 5 3 20 0 15 0 6938526 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491407321456 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8586] ppid=8522 vsize=14069564 CPUtime=2.49 cores=0,2,4,6
/proc/8525/task/8586/stat : 8586 (java) S 8522 8525 3187 0 -1 1077944384 14734 12659 0 0 237 4 5 3 20 0 15 0 6938526 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491406268400 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8587] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8587/stat : 8587 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938527 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491405216096 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8588] ppid=8522 vsize=14069564 CPUtime=0.12 cores=0,2,4,6
/proc/8525/task/8588/stat : 8588 (java) S 8522 8525 3187 0 -1 1077944384 201 12659 0 0 1 3 5 3 20 0 15 0 6938529 14407233536 364541 18446744073709551615 4194304 4196468 140728115215216 140491404164144 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
Current children cumulated CPU time (s) 119.68
Current children cumulated vsize (KiB) 14069564

[startup+162.301 s]
/proc/loadavg: 1.80 1.67 1.67 3/212 8593
/proc/meminfo: memFree=29919020/32770624 swapFree=0/246696
[pid=8525] ppid=8522 vsize=14069564 CPUtime=180.68 cores=0,2,4,6
/proc/8525/stat : 8525 (java) S 8522 8525 3187 0 -1 1077944320 150477 12659 0 0 17922 138 5 3 20 0 15 0 6938498 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140728115197760 140491866857207 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
/proc/8525/statm: 3517391 258503 3484 1 0 3506013 0
[pid=8525/tid=8575] ppid=8522 vsize=14069564 CPUtime=160.73 cores=0,2,4,6
/proc/8525/task/8575/stat : 8575 (java) R 8522 8525 3187 0 -1 4202560 67647 12659 0 0 16042 23 5 3 20 0 15 0 6938521 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491871090776 140491504140129 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8576] ppid=8522 vsize=14069564 CPUtime=1.13 cores=0,2,4,6
/proc/8525/task/8576/stat : 8576 (java) S 8522 8525 3187 0 -1 1077944384 1786 12659 0 0 81 24 5 3 20 0 15 0 6938522 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491808803344 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8577] ppid=8522 vsize=14069564 CPUtime=1.16 cores=0,2,4,6
/proc/8525/task/8577/stat : 8577 (java) S 8522 8525 3187 0 -1 1077944384 2369 12659 0 0 85 23 5 3 20 0 15 0 6938522 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491807750800 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8578] ppid=8522 vsize=14069564 CPUtime=1.13 cores=0,2,4,6
/proc/8525/task/8578/stat : 8578 (java) S 8522 8525 3187 0 -1 1077944384 2735 12659 0 0 81 24 5 3 20 0 15 0 6938522 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491806697744 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8579] ppid=8522 vsize=14069564 CPUtime=1.13 cores=0,2,4,6
/proc/8525/task/8579/stat : 8579 (java) S 8522 8525 3187 0 -1 1077944384 2475 12659 0 0 82 23 5 3 20 0 15 0 6938522 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491805645200 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8580] ppid=8522 vsize=14069564 CPUtime=0.28 cores=0,2,4,6
/proc/8525/task/8580/stat : 8580 (java) S 8522 8525 3187 0 -1 1077944384 12455 12659 0 0 18 2 5 3 20 0 15 0 6938523 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491412585200 140491866868354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8581] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8581/stat : 8581 (java) S 8522 8525 3187 0 -1 1077944384 76 12659 0 0 0 0 5 3 20 0 15 0 6938523 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491411531552 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8582] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8582/stat : 8582 (java) S 8522 8525 3187 0 -1 1077944384 47 12659 0 0 0 0 5 3 20 0 15 0 6938524 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491410478336 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8583] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8583/stat : 8583 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938526 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491409426896 140491866875803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8584] ppid=8522 vsize=14069564 CPUtime=6.43 cores=0,2,4,6
/proc/8525/task/8584/stat : 8584 (java) S 8522 8525 3187 0 -1 1077944384 19831 12659 0 0 632 3 5 3 20 0 15 0 6938526 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491408374000 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8585] ppid=8522 vsize=14069564 CPUtime=6.6 cores=0,2,4,6
/proc/8525/task/8585/stat : 8585 (java) S 8522 8525 3187 0 -1 1077944384 20598 12659 0 0 648 4 5 3 20 0 15 0 6938526 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491407321456 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8586] ppid=8522 vsize=14069564 CPUtime=2.55 cores=0,2,4,6
/proc/8525/task/8586/stat : 8586 (java) S 8522 8525 3187 0 -1 1077944384 18052 12659 0 0 242 5 5 3 20 0 15 0 6938526 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491406268400 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8587] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8587/stat : 8587 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938527 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491405216096 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8588] ppid=8522 vsize=14069564 CPUtime=0.15 cores=0,2,4,6
/proc/8525/task/8588/stat : 8588 (java) S 8522 8525 3187 0 -1 1077944384 250 12659 0 0 3 4 5 3 20 0 15 0 6938529 14407233536 258503 18446744073709551615 4194304 4196468 140728115215216 140491404164144 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
Current children cumulated CPU time (s) 180.68
Current children cumulated vsize (KiB) 14069564

[startup+222.307 s]
/proc/loadavg: 1.26 1.54 1.63 4/213 8721
/proc/meminfo: memFree=30892244/32770624 swapFree=0/246748
[pid=8525] ppid=8522 vsize=14069564 CPUtime=242.17 cores=0,2,4,6
/proc/8525/stat : 8525 (java) S 8522 8525 3187 0 -1 1077944320 158405 12659 0 0 24067 142 5 3 20 0 15 0 6938498 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140728115197760 140491866857207 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
/proc/8525/statm: 3517391 176111 3484 1 0 3506013 0
[pid=8525/tid=8575] ppid=8522 vsize=14069564 CPUtime=220.35 cores=0,2,4,6
/proc/8525/task/8575/stat : 8575 (java) R 8522 8525 3187 0 -1 4202560 68242 12659 0 0 22004 23 5 3 20 0 15 0 6938521 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491871091336 140491504140164 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8576] ppid=8522 vsize=14069564 CPUtime=1.47 cores=0,2,4,6
/proc/8525/task/8576/stat : 8576 (java) S 8522 8525 3187 0 -1 1077944384 1954 12659 0 0 115 24 5 3 20 0 15 0 6938522 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491808803344 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8577] ppid=8522 vsize=14069564 CPUtime=1.51 cores=0,2,4,6
/proc/8525/task/8577/stat : 8577 (java) S 8522 8525 3187 0 -1 1077944384 2530 12659 0 0 119 24 5 3 20 0 15 0 6938522 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491807750800 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8578] ppid=8522 vsize=14069564 CPUtime=1.47 cores=0,2,4,6
/proc/8525/task/8578/stat : 8578 (java) S 8522 8525 3187 0 -1 1077944384 2969 12659 0 0 115 24 5 3 20 0 15 0 6938522 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491806697744 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8579] ppid=8522 vsize=14069564 CPUtime=1.48 cores=0,2,4,6
/proc/8525/task/8579/stat : 8579 (java) S 8522 8525 3187 0 -1 1077944384 3565 12659 0 0 116 24 5 3 20 0 15 0 6938522 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491805645200 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8580] ppid=8522 vsize=14069564 CPUtime=0.31 cores=0,2,4,6
/proc/8525/task/8580/stat : 8580 (java) S 8522 8525 3187 0 -1 1077944384 12626 12659 0 0 20 3 5 3 20 0 15 0 6938523 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491412585200 140491866868354 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8581] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8581/stat : 8581 (java) S 8522 8525 3187 0 -1 1077944384 76 12659 0 0 0 0 5 3 20 0 15 0 6938523 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491411531552 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8582] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8582/stat : 8582 (java) S 8522 8525 3187 0 -1 1077944384 47 12659 0 0 0 0 5 3 20 0 15 0 6938524 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491410478336 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8583] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8583/stat : 8583 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938526 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491409426896 140491866875803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8584] ppid=8522 vsize=14069564 CPUtime=6.61 cores=0,2,4,6
/proc/8525/task/8584/stat : 8584 (java) S 8522 8525 3187 0 -1 1077944384 21317 12659 0 0 650 3 5 3 20 0 15 0 6938526 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491408374000 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8585] ppid=8522 vsize=14069564 CPUtime=6.81 cores=0,2,4,6
/proc/8525/task/8585/stat : 8585 (java) S 8522 8525 3187 0 -1 1077944384 22416 12659 0 0 669 4 5 3 20 0 15 0 6938526 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491407321456 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8586] ppid=8522 vsize=14069564 CPUtime=2.59 cores=0,2,4,6
/proc/8525/task/8586/stat : 8586 (java) S 8522 8525 3187 0 -1 1077944384 20247 12659 0 0 246 5 5 3 20 0 15 0 6938526 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491406268400 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8587] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8587/stat : 8587 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938527 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491405216096 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8588] ppid=8522 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/8525/task/8588/stat : 8588 (java) S 8522 8525 3187 0 -1 1077944384 260 12659 0 0 5 5 5 3 20 0 15 0 6938529 14407233536 176111 18446744073709551615 4194304 4196468 140728115215216 140491404164144 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
Current children cumulated CPU time (s) 242.17
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.38 1.56 1.63 3/213 8721
/proc/meminfo: memFree=30114584/32770624 swapFree=0/246760
[pid=8525] ppid=8522 vsize=14069564 CPUtime=260.43 cores=0,2,4,6
/proc/8525/stat : 8525 (java) S 8522 8525 3187 0 -1 1077944320 168055 12659 0 0 25876 159 5 3 20 0 15 0 6938498 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140728115197760 140491866857207 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
/proc/8525/statm: 3517391 198627 3484 1 0 3506013 0
[pid=8525/tid=8575] ppid=8522 vsize=14069564 CPUtime=237.87 cores=0,2,4,6
/proc/8525/task/8575/stat : 8575 (java) R 8522 8525 3187 0 -1 4202560 69861 12659 0 0 23756 23 5 3 20 0 15 0 6938521 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491871092056 140491497035238 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8576] ppid=8522 vsize=14069564 CPUtime=1.62 cores=0,2,4,6
/proc/8525/task/8576/stat : 8576 (java) S 8522 8525 3187 0 -1 1077944384 2172 12659 0 0 126 28 5 3 20 0 15 0 6938522 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491808803344 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8577] ppid=8522 vsize=14069564 CPUtime=1.66 cores=0,2,4,6
/proc/8525/task/8577/stat : 8577 (java) S 8522 8525 3187 0 -1 1077944384 2796 12659 0 0 130 28 5 3 20 0 15 0 6938522 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491807750800 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8578] ppid=8522 vsize=14069564 CPUtime=1.62 cores=0,2,4,6
/proc/8525/task/8578/stat : 8578 (java) S 8522 8525 3187 0 -1 1077944384 3616 12659 0 0 126 28 5 3 20 0 15 0 6938522 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491806697744 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8579] ppid=8522 vsize=14069564 CPUtime=1.62 cores=0,2,4,6
/proc/8525/task/8579/stat : 8579 (java) S 8522 8525 3187 0 -1 1077944384 3819 12659 0 0 126 28 5 3 20 0 15 0 6938522 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491805645200 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8580] ppid=8522 vsize=14069564 CPUtime=0.32 cores=0,2,4,6
/proc/8525/task/8580/stat : 8580 (java) S 8522 8525 3187 0 -1 1077944384 12959 12659 0 0 21 3 5 3 20 0 15 0 6938523 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491412585200 140491866868354 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8581] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8581/stat : 8581 (java) S 8522 8525 3187 0 -1 1077944384 79 12659 0 0 0 0 5 3 20 0 15 0 6938523 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491411531552 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8582] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8582/stat : 8582 (java) S 8522 8525 3187 0 -1 1077944384 47 12659 0 0 0 0 5 3 20 0 15 0 6938524 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491410478336 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8583] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8583/stat : 8583 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938526 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491409426896 140491866875803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8584] ppid=8522 vsize=14069564 CPUtime=6.66 cores=0,2,4,6
/proc/8525/task/8584/stat : 8584 (java) S 8522 8525 3187 0 -1 1077944384 23810 12659 0 0 655 3 5 3 20 0 15 0 6938526 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491408374000 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8585] ppid=8522 vsize=14069564 CPUtime=6.86 cores=0,2,4,6
/proc/8525/task/8585/stat : 8585 (java) S 8522 8525 3187 0 -1 1077944384 23584 12659 0 0 674 4 5 3 20 0 15 0 6938526 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491407321456 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8586] ppid=8522 vsize=14069564 CPUtime=2.61 cores=0,2,4,6
/proc/8525/task/8586/stat : 8586 (java) S 8522 8525 3187 0 -1 1077944384 22814 12659 0 0 248 5 5 3 20 0 15 0 6938526 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491406268400 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8587] ppid=8522 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8525/task/8587/stat : 8587 (java) S 8522 8525 3187 0 -1 1077944384 3 12659 0 0 0 0 5 3 20 0 15 0 6938527 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491405216096 140491866867413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
[pid=8525/tid=8588] ppid=8522 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/8525/task/8588/stat : 8588 (java) S 8522 8525 3187 0 -1 1077944384 342 12659 0 0 6 6 5 3 20 0 15 0 6938529 14407233536 198627 18446744073709551615 4194304 4196468 140728115215216 140491404164144 140491866868354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37879808 140728115218382 140728115221167 140728115221167 140728115224527 0
Current children cumulated CPU time (s) 260.43
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 8525 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.044
CPU time (s): 260.477
CPU user time (s): 258.835
CPU system time (s): 1.64118
CPU usage (%): 108.512
Max. virtual memory (cumulated for all children) (KiB): 14072100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.835
system time used= 1.64118
maximum resident set size= 1514096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181944
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16824
involuntary context switches= 844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33108 second user time and 1.24399 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 06:50:38
IDJOB=4259843
IDBENCH=124430
IDSOLVER=2646
FILE ID=node135/4259843-1501650279
RUNJOBID= node135-1501639717-27966
PBS_JOBID= 
Free space on /tmp= 61816 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n60-k9.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259843-1501650279/watcher-4259843-1501650279 -o /tmp/evaluation-result-4259843-1501650279/solver-4259843-1501650279 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300  bin/concrete HOME/instance-4259843-1501650279.xml

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

MD5SUM BENCH= 204525c81941dcb64589d695195e220f
RANDOM SEED=1425173514

node135.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.21
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.21
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.21
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.21
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:        30951760 kB
MemAvailable:   31222120 kB
Buffers:          125652 kB
Cached:           422060 kB
SwapCached:            0 kB
Active:          1144960 kB
Inactive:         255044 kB
Active(anon):     853072 kB
Inactive(anon):     8592 kB
Active(file):     291888 kB
Inactive(file):   246452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24864 kB
Writeback:             4 kB
AnonPages:        852676 kB
Mapped:            42376 kB
Shmem:              8960 kB
Slab:             122376 kB
SReclaimable:      95712 kB
SUnreclaim:        26664 kB
KernelStack:        3504 kB
PageTables:         6236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1879728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    638976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61792 MiB
End job on node135 at 2017-08-02 06:54:38