Trace number 4262218

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)1805 2520.1001 2475.05

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n57-k9.xml
MD5SUM205feda53d99710fee13d320d9c474df
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1663
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables3306
Number of constraints3248
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":57},{"size":2,"count":3192},{"size":101,"count":56}]
Minimum variable degree0
Maximum variable degree111
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":57},{"degree":2,"count":112},{"degree":4,"count":3080},{"degree":111,"count":56}]
Minimum constraint arity1
Maximum constraint arity56
Distribution of constraint arities[{"arity":1,"count":56},{"arity":3,"count":3080},{"arity":56,"count":112}]
Number of extensional constraints0
Number of intensional constraints56
Distribution of constraint types[{"type":"intension","count":56},{"type":"sum","count":3080},{"type":"count","count":112}]
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.36/2.31	c Concrete v3.4 running
16.03/6.55	o 3737
16.93/6.87	o 3736
17.85/7.16	o 3702
18.66/7.50	o 3633
19.27/7.76	o 3587
19.64/7.98	o 3553
20.45/8.21	o 3481
20.69/8.40	o 3463
20.91/8.60	o 3421
21.33/8.99	o 3389
21.57/9.14	o 3347
21.67/9.28	o 3346
21.87/9.44	o 3327
21.97/9.59	o 3216
22.39/9.94	o 3213
22.62/10.11	o 3204
22.71/10.26	o 3156
23.15/10.64	o 3100
23.58/11.02	o 3086
23.98/11.41	o 3061
24.96/12.27	o 3015
25.37/12.64	o 2977
25.77/13.02	o 2923
27.63/14.60	o 2878
28.93/15.74	o 2876
29.13/15.93	o 2875
29.37/16.11	o 2836
29.89/16.68	o 2777
30.31/17.02	o 2746
30.51/17.20	o 2733
30.82/17.56	o 2732
31.26/17.92	o 2685
31.57/18.27	o 2605
32.03/18.63	o 2603
32.24/18.81	o 2574
33.18/19.77	o 2542
33.80/20.33	o 2508
34.01/20.50	o 2507
34.95/21.42	o 2501
35.73/22.12	o 2494
36.43/22.84	o 2464
37.15/23.53	o 2462
37.88/24.25	o 2457
38.11/24.44	o 2438
39.34/25.67	o 2436
39.54/25.85	o 2429
39.96/26.24	o 2426
40.57/26.83	o 2424
41.44/27.70	o 2378
42.22/28.34	o 2373
42.88/28.96	o 2332
43.49/29.54	o 2327
45.22/31.29	o 2325
45.87/31.86	o 2320
47.31/33.20	o 2314
47.62/33.52	o 2301
48.94/34.85	o 2277
49.36/35.24	o 2236
49.56/35.42	o 2230
50.00/35.81	o 2223
50.11/35.99	o 2193
50.41/36.20	o 2180
51.84/37.67	o 2157
52.26/38.05	o 2156
53.59/39.34	o 2153
53.78/39.53	o 2129
54.23/39.91	o 2127
54.83/40.50	o 2117
55.14/40.88	o 2079
56.76/42.46	o 2067
56.96/42.64	o 2032
58.10/43.70	o 2029
60.39/45.82	o 2026
61.49/46.97	o 2025
63.11/48.57	o 2020
63.30/48.74	o 1991
65.67/51.03	o 1990
66.40/51.80	o 1989
67.40/52.77	o 1982
68.76/54.04	o 1981
75.50/60.61	o 1980
82.76/67.80	o 1978
83.46/68.45	o 1974
84.78/69.76	o 1973
84.98/69.93	o 1959
86.09/71.09	o 1955
86.70/71.62	o 1947
90.47/75.39	o 1937
93.25/78.09	o 1920
106.71/91.24	o 1919
121.46/105.76	o 1915
141.12/125.02	o 1914
141.82/125.73	o 1911
142.33/126.25	o 1908
185.36/168.43	o 1878
185.67/168.70	o 1873
202.72/185.34	o 1871
205.48/188.04	o 1869
250.72/232.16	o 1866
290.53/270.89	o 1865
308.17/287.82	o 1862
351.95/330.46	o 1861
368.35/346.22	o 1860
370.93/348.75	o 1849
396.69/373.72	o 1842
398.73/375.74	o 1834
399.47/376.48	o 1831
413.18/389.70	o 1828
418.29/394.74	o 1823
420.05/396.45	o 1822
535.07/507.76	o 1819
628.29/598.08	o 1818
630.37/600.10	o 1817
643.88/612.95	o 1816
648.93/617.82	o 1811
649.04/617.96	o 1808
719.89/686.54	o 1805
2520.03/2475.01	java.util.concurrent.TimeoutException
2520.03/2475.01		at concrete.MAC.mac(MAC.scala:74)
2520.03/2475.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.03/2475.01		at scala.util.Try$.apply(Try.scala:209)
2520.03/2475.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2475.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2475.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2475.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2475.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.03/2475.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2475.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2475.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2475.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2475.01		at concrete.MAC.oneRun(MAC.scala:146)
2520.03/2475.01		at concrete.MAC.nextSolution(MAC.scala:166)
2520.03/2475.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.03/2475.01		at concrete.ProblemState.map(ProblemState.scala:203)
2520.03/2475.01		at concrete.ProblemState.map(ProblemState.scala:188)
2520.03/2475.01		at concrete.MAC.nextSolution(MAC.scala:195)
2520.03/2475.01		at concrete.Solver.hasNext(Solver.scala:202)
2520.03/2475.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.03/2475.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.03/2475.01		at concrete.Solver.toStream(Solver.scala:73)
2520.03/2475.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.03/2475.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.03/2475.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.03/2475.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.03/2475.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.03/2475.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2475.01		at scala.util.Success.map(Try.scala:209)
2520.03/2475.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.03/2475.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.03/2475.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.03/2475.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.03/2475.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.03/2475.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2475.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2475.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2475.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2475.01		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2475.01		at scala.App.main(App.scala:76)
2520.03/2475.01		at scala.App.main$(App.scala:74)
2520.03/2475.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.03/2475.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2475.02	v <instantiation cost="1805">
2520.03/2475.02	v       <list>
2520.03/2475.02	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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]
2520.03/2475.02	v       </list>
2520.03/2475.02	v       <values>
2520.03/2475.02	v         0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 20 40 24 100 100 2 83 40 42 56 67 38 30 79 48 14 62 53 74 3 81 40 62 96 70 57 73 74 100 55 17 67 27 27 100 22 9 59 10 98 89 90 87 82 98 82 46 31 17 100 77 100 100 39 24
2520.03/2475.02	v       </values>
2520.03/2475.02	v     </instantiation>
2520.03/2475.02	s SATISFIABLE

Verifier Data 

OK	1805

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-4262218-1502439985/watcher-4262218-1502439985 -o /tmp/evaluation-result-4262218-1502439985/solver-4262218-1502439985 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580 bin/concrete HOME/instance-4262218-1502439985.xml 

pid=12224
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.73 1.73 1.68 2/199 12227
/proc/meminfo: memFree=26787200/32770624 swapFree=0/433816
[pid=12227] ppid=12224 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12227/stat : 12227 (runsolver) D 12224 12227 4821 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 91813696 24240128 106 18446744073709551615 4194304 4338465 140733650666928 140733650664568 139869082522327 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 35758080 140733650669777 140733650670153 140733650670153 140733650673610 0
/proc/12227/statm: 5918 106 53 36 0 2156 0

[startup+0.100837 s]
/proc/loadavg: 1.73 1.73 1.68 2/199 12227
/proc/meminfo: memFree=26787200/32770624 swapFree=0/433816
[pid=12227] ppid=12224 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/12227/stat : 12227 (bash) S 12224 12227 4821 0 -1 4202496 897 6476 0 0 0 0 0 1 20 0 1 0 91813696 9867264 377 18446744073709551615 4194304 5098028 140730333857632 140730333851640 139714648603648 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 7 0 0 7196144 7232144 34570240 140730333860372 140730333860457 140730333860457 140730333863914 0
/proc/12227/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200312 s]
/proc/loadavg: 1.73 1.73 1.68 2/199 12227
/proc/meminfo: memFree=26787200/32770624 swapFree=0/433816
[pid=12227] ppid=12224 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/12227/stat : 12227 (bash) S 12224 12227 4821 0 -1 4202496 897 6476 0 0 0 0 0 1 20 0 1 0 91813696 9867264 377 18446744073709551615 4194304 5098028 140730333857632 140730333851640 139714648603648 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 7 0 0 7196144 7232144 34570240 140730333860372 140730333860457 140730333860457 140730333863914 0
/proc/12227/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.30035 s]
/proc/loadavg: 1.73 1.73 1.68 2/199 12227
/proc/meminfo: memFree=26787200/32770624 swapFree=0/433816
[pid=12227] ppid=12224 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/12227/stat : 12227 (bash) S 12224 12227 4821 0 -1 4202496 897 6476 0 0 0 0 0 1 20 0 1 0 91813696 9867264 377 18446744073709551615 4194304 5098028 140730333857632 140730333851640 139714648603648 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 7 0 0 7196144 7232144 34570240 140730333860372 140730333860457 140730333860457 140730333863914 0
/proc/12227/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.700785 s]
/proc/loadavg: 1.73 1.73 1.68 2/199 12227
/proc/meminfo: memFree=26787200/32770624 swapFree=0/433816
[pid=12227] ppid=12224 vsize=13974784 CPUtime=0.5 cores=1,3,5,7
/proc/12227/stat : 12227 (java) S 12224 12227 4821 0 -1 1077944320 13150 12602 0 0 40 3 5 2 20 0 15 0 91813696 14310178816 13435 18446744073709551615 4194304 4196468 140721217137584 140721217120128 140414767185655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
/proc/12227/statm: 3493696 13435 3057 1 0 3482965 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13974784

[startup+1.5019 s]
/proc/loadavg: 1.73 1.73 1.68 3/214 12290
/proc/meminfo: memFree=26707368/32770624 swapFree=0/434136
[pid=12227] ppid=12224 vsize=13985408 CPUtime=1.69 cores=1,3,5,7
/proc/12227/stat : 12227 (java) S 12224 12227 4821 0 -1 1077944320 26765 12602 0 0 154 8 5 2 20 0 15 0 91813696 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140721217120128 140414767185655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
/proc/12227/statm: 3496352 33110 3336 1 0 3485525 0
[pid=12227/tid=12277] ppid=12224 vsize=13985408 CPUtime=1.19 cores=1,3,5,7
/proc/12227/task/12277/stat : 12277 (java) R 12224 12227 4821 0 -1 4202560 21512 12602 0 0 106 6 5 2 20 0 15 0 91813729 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414771408000 140414751229285 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12278] ppid=12224 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12278/stat : 12278 (java) S 12224 12227 4821 0 -1 1077944384 1 12602 0 0 0 0 5 2 20 0 15 0 91813729 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414701619984 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12279] ppid=12224 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12279/stat : 12279 (java) S 12224 12227 4821 0 -1 1077944384 2 12602 0 0 0 0 5 2 20 0 15 0 91813729 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414700567440 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12280] ppid=12224 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12280/stat : 12280 (java) S 12224 12227 4821 0 -1 1077944384 1 12602 0 0 0 0 5 2 20 0 15 0 91813729 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414699514896 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12281] ppid=12224 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12281/stat : 12281 (java) S 12224 12227 4821 0 -1 1077944384 1 12602 0 0 0 0 5 2 20 0 15 0 91813729 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414698462352 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12282] ppid=12224 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12282/stat : 12282 (java) S 12224 12227 4821 0 -1 1077944384 6 12602 0 0 0 0 5 2 20 0 15 0 91813731 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414245521392 140414767196802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12283] ppid=12224 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12283/stat : 12283 (java) S 12224 12227 4821 0 -1 1077944384 33 12602 0 0 0 0 5 2 20 0 15 0 91813731 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414244467616 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12284] ppid=12224 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12284/stat : 12284 (java) S 12224 12227 4821 0 -1 1077944384 21 12602 0 0 0 0 5 2 20 0 15 0 91813731 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414243415024 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12285] ppid=12224 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12285/stat : 12285 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414242363600 140414767204251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12286] ppid=12224 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/12227/task/12286/stat : 12286 (java) S 12224 12227 4821 0 -1 1077944384 1193 12602 0 0 14 0 5 2 20 0 15 0 91813734 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414241311216 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12287] ppid=12224 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/12227/task/12287/stat : 12287 (java) R 12224 12227 4821 0 -1 4202560 596 12602 0 0 12 0 5 2 20 0 15 0 91813734 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414240250128 140414753241051 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12288] ppid=12224 vsize=13985408 CPUtime=0.27 cores=1,3,5,7
/proc/12227/task/12288/stat : 12288 (java) S 12224 12227 4821 0 -1 1077944384 1230 12602 0 0 20 0 5 2 20 0 15 0 91813734 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414239206128 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12289] ppid=12224 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12289/stat : 12289 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414238153824 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12290] ppid=12224 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12290/stat : 12290 (java) S 12224 12227 4821 0 -1 1077944384 10 12602 0 0 0 0 5 2 20 0 15 0 91813738 14321057792 33110 18446744073709551615 4194304 4196468 140721217137584 140414237100336 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 13985408

[startup+3.10079 s]
/proc/loadavg: 1.75 1.73 1.68 5/214 12290
/proc/meminfo: memFree=26620692/32770624 swapFree=0/434132
[pid=12227] ppid=12224 vsize=13995836 CPUtime=5.58 cores=1,3,5,7
/proc/12227/stat : 12227 (java) S 12224 12227 4821 0 -1 1077944320 40352 12602 0 0 537 14 5 2 20 0 15 0 91813696 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140721217120128 140414767185655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
/proc/12227/statm: 3498959 55692 3445 1 0 3487573 0
[pid=12227/tid=12277] ppid=12224 vsize=13995836 CPUtime=2.75 cores=1,3,5,7
/proc/12227/task/12277/stat : 12277 (java) R 12224 12227 4821 0 -1 4202560 27778 12602 0 0 259 9 5 2 20 0 15 0 91813729 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414771419904 140414748591954 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12278] ppid=12224 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12278/stat : 12278 (java) S 12224 12227 4821 0 -1 1077944384 204 12602 0 0 0 0 5 2 20 0 15 0 91813729 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414701619984 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12279] ppid=12224 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/12227/task/12279/stat : 12279 (java) S 12224 12227 4821 0 -1 1077944384 47 12602 0 0 1 0 5 2 20 0 15 0 91813729 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414700567440 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12280] ppid=12224 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/12227/task/12280/stat : 12280 (java) S 12224 12227 4821 0 -1 1077944384 52 12602 0 0 1 0 5 2 20 0 15 0 91813729 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414699514896 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12281] ppid=12224 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/12227/task/12281/stat : 12281 (java) S 12224 12227 4821 0 -1 1077944384 50 12602 0 0 1 0 5 2 20 0 15 0 91813729 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414698462352 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12282] ppid=12224 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/12227/task/12282/stat : 12282 (java) S 12224 12227 4821 0 -1 1077944384 1547 12602 0 0 1 0 5 2 20 0 15 0 91813731 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414245521392 140414767196802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12283] ppid=12224 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12283/stat : 12283 (java) S 12224 12227 4821 0 -1 1077944384 55 12602 0 0 0 0 5 2 20 0 15 0 91813731 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414244467680 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12284] ppid=12224 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12284/stat : 12284 (java) S 12224 12227 4821 0 -1 1077944384 44 12602 0 0 0 0 5 2 20 0 15 0 91813731 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414243415040 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12285] ppid=12224 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12285/stat : 12285 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414242363600 140414767204251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12286] ppid=12224 vsize=13995836 CPUtime=0.92 cores=1,3,5,7
/proc/12227/task/12286/stat : 12286 (java) R 12224 12227 4821 0 -1 4202560 2378 12602 0 0 85 0 5 2 20 0 15 0 91813734 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414241297296 140414746902791 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12287] ppid=12224 vsize=13995836 CPUtime=0.93 cores=1,3,5,7
/proc/12227/task/12287/stat : 12287 (java) R 12224 12227 4821 0 -1 4202560 1793 12602 0 0 86 0 5 2 20 0 15 0 91813734 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414240245136 140414748703537 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12288] ppid=12224 vsize=13995836 CPUtime=1.07 cores=1,3,5,7
/proc/12227/task/12288/stat : 12288 (java) S 12224 12227 4821 0 -1 1077944384 4232 12602 0 0 99 1 5 2 20 0 15 0 91813734 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414239206128 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12289] ppid=12224 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12289/stat : 12289 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414238153824 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12290] ppid=12224 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12290/stat : 12290 (java) S 12224 12227 4821 0 -1 1077944384 13 12602 0 0 0 0 5 2 20 0 15 0 91813738 14331736064 55692 18446744073709551615 4194304 4196468 140721217137584 140414237100336 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 13995836

[startup+6.30975 s]
/proc/loadavg: 1.75 1.73 1.68 3/214 12290
/proc/meminfo: memFree=26455868/32770624 swapFree=0/434132
[pid=12227] ppid=12224 vsize=14069564 CPUtime=15.47 cores=1,3,5,7
/proc/12227/stat : 12227 (java) S 12224 12227 4821 0 -1 1077944320 81561 12602 0 0 1513 27 5 2 20 0 15 0 91813696 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140721217120128 140414767185655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
/proc/12227/statm: 3517391 100656 3477 1 0 3506005 0
[pid=12227/tid=12277] ppid=12224 vsize=14069564 CPUtime=5.51 cores=1,3,5,7
/proc/12227/task/12277/stat : 12277 (java) S 12224 12227 4821 0 -1 1077944384 42528 12602 0 0 531 13 5 2 20 0 15 0 91813729 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414771423376 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12278] ppid=12224 vsize=14069564 CPUtime=0.39 cores=1,3,5,7
/proc/12227/task/12278/stat : 12278 (java) R 12224 12227 4821 0 -1 4202560 666 12602 0 0 31 1 5 2 20 0 15 0 91813729 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414701620184 140414751639602 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12279] ppid=12224 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/12227/task/12279/stat : 12279 (java) R 12224 12227 4821 0 -1 4202560 766 12602 0 0 32 1 5 2 20 0 15 0 91813729 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414700567440 140414759813863 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12280] ppid=12224 vsize=14069564 CPUtime=0.41 cores=1,3,5,7
/proc/12227/task/12280/stat : 12280 (java) R 12224 12227 4821 0 -1 4202560 464 12602 0 0 33 1 5 2 20 0 15 0 91813729 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414699514896 140414752136782 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12281] ppid=12224 vsize=14069564 CPUtime=0.39 cores=1,3,5,7
/proc/12227/task/12281/stat : 12281 (java) R 12224 12227 4821 0 -1 4202560 245 12602 0 0 31 1 5 2 20 0 15 0 91813729 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414698462352 140414751883407 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12282] ppid=12224 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/12227/task/12282/stat : 12282 (java) S 12224 12227 4821 0 -1 1077944384 9519 12602 0 0 9 0 5 2 20 0 15 0 91813731 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414245519792 140414767195861 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12283] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12283/stat : 12283 (java) S 12224 12227 4821 0 -1 1077944384 58 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414244467584 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12284] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12284/stat : 12284 (java) S 12224 12227 4821 0 -1 1077944384 47 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414243415040 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12285] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12285/stat : 12285 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414242363600 140414767204251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12286] ppid=12224 vsize=14069564 CPUtime=3.41 cores=1,3,5,7
/proc/12227/task/12286/stat : 12286 (java) S 12224 12227 4821 0 -1 1077944384 8888 12602 0 0 332 2 5 2 20 0 15 0 91813734 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414241303952 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12287] ppid=12224 vsize=14069564 CPUtime=3.19 cores=1,3,5,7
/proc/12227/task/12287/stat : 12287 (java) S 12224 12227 4821 0 -1 1077944384 5541 12602 0 0 311 1 5 2 20 0 15 0 91813734 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414240239312 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12288] ppid=12224 vsize=14069564 CPUtime=2.08 cores=1,3,5,7
/proc/12227/task/12288/stat : 12288 (java) S 12224 12227 4821 0 -1 1077944384 10531 12602 0 0 198 3 5 2 20 0 15 0 91813734 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414239206128 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12289] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12289/stat : 12289 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414238153824 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12290] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12290/stat : 12290 (java) S 12224 12227 4821 0 -1 1077944384 148 12602 0 0 0 0 5 2 20 0 15 0 91813738 14407233536 100656 18446744073709551615 4194304 4196468 140721217137584 140414237100336 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
Current children cumulated CPU time (s) 15.47
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 2.18 1.82 1.71 3/214 12291
/proc/meminfo: memFree=26111124/32770624 swapFree=0/434128
[pid=12227] ppid=12224 vsize=14069564 CPUtime=25.47 cores=1,3,5,7
/proc/12227/stat : 12227 (java) S 12224 12227 4821 0 -1 1077944320 91879 12602 0 0 2498 42 5 2 20 0 15 0 91813696 14407233536 171626 18446744073709551615 4194304 4196468 140721217137584 140721217120128 140414767185655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
/proc/12227/statm: 3517391 171626 3482 1 0 3506005 0
[pid=12227/tid=12277] ppid=12224 vsize=14069564 CPUtime=11.68 cores=1,3,5,7
/proc/12227/task/12277/stat : 12277 (java) R 12224 12227 4821 0 -1 4202560 43866 12602 0 0 1145 16 5 2 20 0 15 0 91813729 14407233536 171626 18446744073709551615 4194304 4196468 140721217137584 140414771418496 140414385858385 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12278] ppid=12224 vsize=14069564 CPUtime=0.55 cores=1,3,5,7
/proc/12227/task/12278/stat : 12278 (java) S 12224 12227 4821 0 -1 1077944384 741 12602 0 0 44 4 5 2 20 0 15 0 91813729 14407233536 171626 18446744073709551615 4194304 4196468 140721217137584 140414701619984 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12279] ppid=12224 vsize=14069564 CPUtime=0.56 cores=1,3,5,7
/proc/12227/task/12279/stat : 12279 (java) S 12224 12227 4821 0 -1 1077944384 863 12602 0 0 45 4 5 2 20 0 15 0 91813729 14407233536 171626 18446744073709551615 4194304 4196468 140721217137584 140414700567440 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12280] ppid=12224 vsize=14069564 CPUtime=0.57 cores=1,3,5,7
/proc/12227/task/12280/stat : 12280 (java) S 12224 12227 4821 0 -1 1077944384 533 12602 0 0 46 4 5 2 20 0 15 0 91813729 14407233536 171626 18446744073709551615 4194304 4196468 140721217137584 140414699514896 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12281] ppid=12224 vsize=14069564 CPUtime=0.54 cores=1,3,5,7
/proc/12227/task/12281/stat : 12281 (java) S 12224 12227 4821 0 -1 1077944384 1070 12602 0 0 44 3 5 2 20 0 15 0 91813729 14407233536 171626 18446744073709551615 4194304 4196468 140721217137584 140414698462352 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12282] ppid=12224 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/12227/task/12282/stat : 12282 (java) S 12224 12227 4821 0 -1 1077944384 9739 12602 0 0 15 0 5 2 20 0 15 0 91813731 14407233536 171626 18446744073709551615 4194304 4196468 140721217137584 140414245521392 140414767196802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12283] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12283/stat : 12283 (java) S 12224 12227 4821 0 -1 1077944384 60 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 171626 18446744073709551615 4194304 4196468 140721217137584 140414244467680 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12284] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12284/stat : 12284 (java) S 12224 12227 4821 0 -1 1077944384 50 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 171626 18446744073709551615 4194304 4196468 140721217137584 140414243415040 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12285] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12285/stat : 12285 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14407233536 171626 18446744073709551615 4194304 4196468 140721217137584 140414242363600 140414767204251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0

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

[pid=12227/tid=12290] ppid=12224 vsize=14069564 CPUtime=1.18 cores=1,3,5,7
/proc/12227/task/12290/stat : 12290 (java) S 12224 12227 4821 0 -1 1077944384 2880 12602 0 0 49 62 5 2 20 0 15 0 91813738 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414237100336 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
Current children cumulated CPU time (s) 2307.01
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 1.93 1.83 1.79 3/217 12693
/proc/meminfo: memFree=25456264/32770624 swapFree=0/434568
[pid=12227] ppid=12224 vsize=14069564 CPUtime=2367.09 cores=1,3,5,7
/proc/12227/stat : 12227 (java) S 12224 12227 4821 0 -1 1077944320 607258 12602 0 0 235899 803 5 2 20 0 15 0 91813696 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140721217120128 140414767185655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
/proc/12227/statm: 3517391 1075465 3493 1 0 3506005 0
[pid=12227/tid=12277] ppid=12224 vsize=14069564 CPUtime=2313.41 cores=1,3,5,7
/proc/12227/task/12277/stat : 12277 (java) R 12224 12227 4821 0 -1 4202560 388526 12602 0 0 231266 68 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414771419184 140414385895056 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12278] ppid=12224 vsize=14069564 CPUtime=7.22 cores=1,3,5,7
/proc/12227/task/12278/stat : 12278 (java) S 12224 12227 4821 0 -1 1077944384 16144 12602 0 0 551 164 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414701619984 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12279] ppid=12224 vsize=14069564 CPUtime=7.23 cores=1,3,5,7
/proc/12227/task/12279/stat : 12279 (java) S 12224 12227 4821 0 -1 1077944384 17710 12602 0 0 553 163 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414700567440 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12280] ppid=12224 vsize=14069564 CPUtime=7.24 cores=1,3,5,7
/proc/12227/task/12280/stat : 12280 (java) S 12224 12227 4821 0 -1 1077944384 12435 12602 0 0 553 164 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414699514896 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12281] ppid=12224 vsize=14069564 CPUtime=7.22 cores=1,3,5,7
/proc/12227/task/12281/stat : 12281 (java) S 12224 12227 4821 0 -1 1077944384 16192 12602 0 0 553 162 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414698462352 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12282] ppid=12224 vsize=14069564 CPUtime=1.15 cores=1,3,5,7
/proc/12227/task/12282/stat : 12282 (java) S 12224 12227 4821 0 -1 1077944384 27581 12602 0 0 90 18 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414245521392 140414767196802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12283] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12283/stat : 12283 (java) S 12224 12227 4821 0 -1 1077944384 118 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414244467680 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12284] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12284/stat : 12284 (java) S 12224 12227 4821 0 -1 1077944384 50 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414243415040 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12285] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12285/stat : 12285 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414242363600 140414767204251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12286] ppid=12224 vsize=14069564 CPUtime=9.49 cores=1,3,5,7
/proc/12227/task/12286/stat : 12286 (java) S 12224 12227 4821 0 -1 1077944384 38858 12602 0 0 936 6 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414241311216 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12287] ppid=12224 vsize=14069564 CPUtime=9.36 cores=1,3,5,7
/proc/12227/task/12287/stat : 12287 (java) S 12224 12227 4821 0 -1 1077944384 36118 12602 0 0 923 6 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414240258672 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12288] ppid=12224 vsize=14069564 CPUtime=4.08 cores=1,3,5,7
/proc/12227/task/12288/stat : 12288 (java) S 12224 12227 4821 0 -1 1077944384 48468 12602 0 0 392 9 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414239206128 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12289] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12289/stat : 12289 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414238153824 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12290] ppid=12224 vsize=14069564 CPUtime=1.21 cores=1,3,5,7
/proc/12227/task/12290/stat : 12290 (java) S 12224 12227 4821 0 -1 1077944384 2898 12602 0 0 50 64 5 2 20 0 15 0 91813738 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414237100336 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
Current children cumulated CPU time (s) 2367.09
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.78 1.81 1.78 3/214 12695
/proc/meminfo: memFree=25543948/32770624 swapFree=0/434584
[pid=12227] ppid=12224 vsize=14069564 CPUtime=2427.15 cores=1,3,5,7
/proc/12227/stat : 12227 (java) S 12224 12227 4821 0 -1 1077944320 623754 12602 0 0 241903 805 5 2 20 0 15 0 91813696 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140721217120128 140414767185655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
/proc/12227/statm: 3517391 1075465 3493 1 0 3506005 0
[pid=12227/tid=12277] ppid=12224 vsize=14069564 CPUtime=2373.4 cores=1,3,5,7
/proc/12227/task/12277/stat : 12277 (java) R 12224 12227 4821 0 -1 4202560 404344 12602 0 0 237264 69 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414771420128 140414396561581 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12278] ppid=12224 vsize=14069564 CPUtime=7.22 cores=1,3,5,7
/proc/12227/task/12278/stat : 12278 (java) S 12224 12227 4821 0 -1 1077944384 16191 12602 0 0 551 164 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414701619984 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12279] ppid=12224 vsize=14069564 CPUtime=7.24 cores=1,3,5,7
/proc/12227/task/12279/stat : 12279 (java) S 12224 12227 4821 0 -1 1077944384 17939 12602 0 0 554 163 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414700567440 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12280] ppid=12224 vsize=14069564 CPUtime=7.25 cores=1,3,5,7
/proc/12227/task/12280/stat : 12280 (java) S 12224 12227 4821 0 -1 1077944384 12448 12602 0 0 554 164 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414699514896 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12281] ppid=12224 vsize=14069564 CPUtime=7.23 cores=1,3,5,7
/proc/12227/task/12281/stat : 12281 (java) S 12224 12227 4821 0 -1 1077944384 16355 12602 0 0 554 162 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414698462352 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12282] ppid=12224 vsize=14069564 CPUtime=1.16 cores=1,3,5,7
/proc/12227/task/12282/stat : 12282 (java) S 12224 12227 4821 0 -1 1077944384 27783 12602 0 0 91 18 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414245521392 140414767196802 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12283] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12283/stat : 12283 (java) S 12224 12227 4821 0 -1 1077944384 118 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414244467680 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12284] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12284/stat : 12284 (java) S 12224 12227 4821 0 -1 1077944384 50 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414243415040 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12285] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12285/stat : 12285 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414242363600 140414767204251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12286] ppid=12224 vsize=14069564 CPUtime=9.49 cores=1,3,5,7
/proc/12227/task/12286/stat : 12286 (java) S 12224 12227 4821 0 -1 1077944384 38860 12602 0 0 936 6 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414241311216 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12287] ppid=12224 vsize=14069564 CPUtime=9.36 cores=1,3,5,7
/proc/12227/task/12287/stat : 12287 (java) S 12224 12227 4821 0 -1 1077944384 36120 12602 0 0 923 6 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414240258672 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12288] ppid=12224 vsize=14069564 CPUtime=4.08 cores=1,3,5,7
/proc/12227/task/12288/stat : 12288 (java) S 12224 12227 4821 0 -1 1077944384 48470 12602 0 0 392 9 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414239206128 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12289] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12289/stat : 12289 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414238153824 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12290] ppid=12224 vsize=14069564 CPUtime=1.25 cores=1,3,5,7
/proc/12227/task/12290/stat : 12290 (java) S 12224 12227 4821 0 -1 1077944384 2916 12602 0 0 52 66 5 2 20 0 15 0 91813738 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414237100336 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
Current children cumulated CPU time (s) 2427.15
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.79 1.80 1.78 3/214 12697
/proc/meminfo: memFree=25664924/32770624 swapFree=0/434604
[pid=12227] ppid=12224 vsize=14069564 CPUtime=2487.27 cores=1,3,5,7
/proc/12227/stat : 12227 (java) S 12224 12227 4821 0 -1 1077944320 640213 12602 0 0 247912 808 5 2 20 0 15 0 91813696 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140721217120128 140414767185655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
/proc/12227/statm: 3517391 1075465 3493 1 0 3506005 0
[pid=12227/tid=12277] ppid=12224 vsize=14069564 CPUtime=2433.37 cores=1,3,5,7
/proc/12227/task/12277/stat : 12277 (java) R 12224 12227 4821 0 -1 4202560 420084 12602 0 0 243260 70 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414771419072 140414395785875 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12278] ppid=12224 vsize=14069564 CPUtime=7.25 cores=1,3,5,7
/proc/12227/task/12278/stat : 12278 (java) S 12224 12227 4821 0 -1 1077944384 16427 12602 0 0 554 164 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414701619984 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12279] ppid=12224 vsize=14069564 CPUtime=7.26 cores=1,3,5,7
/proc/12227/task/12279/stat : 12279 (java) S 12224 12227 4821 0 -1 1077944384 18053 12602 0 0 556 163 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414700567440 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12280] ppid=12224 vsize=14069564 CPUtime=7.28 cores=1,3,5,7
/proc/12227/task/12280/stat : 12280 (java) S 12224 12227 4821 0 -1 1077944384 12535 12602 0 0 557 164 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414699514896 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12281] ppid=12224 vsize=14069564 CPUtime=7.25 cores=1,3,5,7
/proc/12227/task/12281/stat : 12281 (java) S 12224 12227 4821 0 -1 1077944384 16412 12602 0 0 556 162 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414698462352 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12282] ppid=12224 vsize=14069564 CPUtime=1.16 cores=1,3,5,7
/proc/12227/task/12282/stat : 12282 (java) S 12224 12227 4821 0 -1 1077944384 27984 12602 0 0 91 18 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414245521392 140414767196802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12283] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12283/stat : 12283 (java) S 12224 12227 4821 0 -1 1077944384 118 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414244467680 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12284] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12284/stat : 12284 (java) S 12224 12227 4821 0 -1 1077944384 50 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414243415040 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12285] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12285/stat : 12285 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414242363600 140414767204251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12286] ppid=12224 vsize=14069564 CPUtime=9.49 cores=1,3,5,7
/proc/12227/task/12286/stat : 12286 (java) S 12224 12227 4821 0 -1 1077944384 38862 12602 0 0 936 6 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414241311216 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12287] ppid=12224 vsize=14069564 CPUtime=9.36 cores=1,3,5,7
/proc/12227/task/12287/stat : 12287 (java) S 12224 12227 4821 0 -1 1077944384 36122 12602 0 0 923 6 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414240258672 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12288] ppid=12224 vsize=14069564 CPUtime=4.08 cores=1,3,5,7
/proc/12227/task/12288/stat : 12288 (java) S 12224 12227 4821 0 -1 1077944384 48472 12602 0 0 392 9 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414239206128 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12289] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12289/stat : 12289 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414238153824 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12290] ppid=12224 vsize=14069564 CPUtime=1.27 cores=1,3,5,7
/proc/12227/task/12290/stat : 12290 (java) S 12224 12227 4821 0 -1 1077944384 2934 12602 0 0 53 67 5 2 20 0 15 0 91813738 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414237100336 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
Current children cumulated CPU time (s) 2487.27
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2475 s]
/proc/loadavg: 1.76 1.79 1.78 3/214 12698
/proc/meminfo: memFree=25705656/32770624 swapFree=0/434620
[pid=12227] ppid=12224 vsize=14069564 CPUtime=2520.03 cores=1,3,5,7
/proc/12227/stat : 12227 (java) S 12224 12227 4821 0 -1 1077944320 649574 12602 0 0 251187 809 5 2 20 0 15 0 91813696 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140721217120128 140414767185655 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
/proc/12227/statm: 3517391 1075465 3493 1 0 3506005 0
[pid=12227/tid=12277] ppid=12224 vsize=14069564 CPUtime=2466.06 cores=1,3,5,7
/proc/12227/task/12277/stat : 12277 (java) R 12224 12227 4821 0 -1 4202560 429396 12602 0 0 246528 71 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414771419392 140414381142911 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12278] ppid=12224 vsize=14069564 CPUtime=7.26 cores=1,3,5,7
/proc/12227/task/12278/stat : 12278 (java) S 12224 12227 4821 0 -1 1077944384 16428 12602 0 0 555 164 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414701619984 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12279] ppid=12224 vsize=14069564 CPUtime=7.28 cores=1,3,5,7
/proc/12227/task/12279/stat : 12279 (java) S 12224 12227 4821 0 -1 1077944384 18086 12602 0 0 558 163 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414700567440 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12280] ppid=12224 vsize=14069564 CPUtime=7.29 cores=1,3,5,7
/proc/12227/task/12280/stat : 12280 (java) S 12224 12227 4821 0 -1 1077944384 12539 12602 0 0 558 164 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414699514896 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12281] ppid=12224 vsize=14069564 CPUtime=7.27 cores=1,3,5,7
/proc/12227/task/12281/stat : 12281 (java) S 12224 12227 4821 0 -1 1077944384 16415 12602 0 0 558 162 5 2 20 0 15 0 91813729 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414698462352 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12282] ppid=12224 vsize=14069564 CPUtime=1.16 cores=1,3,5,7
/proc/12227/task/12282/stat : 12282 (java) S 12224 12227 4821 0 -1 1077944384 27990 12602 0 0 91 18 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414245521392 140414767196802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12283] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12283/stat : 12283 (java) S 12224 12227 4821 0 -1 1077944384 118 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414244467680 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12284] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12284/stat : 12284 (java) S 12224 12227 4821 0 -1 1077944384 50 12602 0 0 0 0 5 2 20 0 15 0 91813731 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414243415040 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12285] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12285/stat : 12285 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414242363600 140414767204251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12286] ppid=12224 vsize=14069564 CPUtime=9.49 cores=1,3,5,7
/proc/12227/task/12286/stat : 12286 (java) S 12224 12227 4821 0 -1 1077944384 38862 12602 0 0 936 6 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414241311216 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12287] ppid=12224 vsize=14069564 CPUtime=9.36 cores=1,3,5,7
/proc/12227/task/12287/stat : 12287 (java) S 12224 12227 4821 0 -1 1077944384 36122 12602 0 0 923 6 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414240258672 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12288] ppid=12224 vsize=14069564 CPUtime=4.08 cores=1,3,5,7
/proc/12227/task/12288/stat : 12288 (java) S 12224 12227 4821 0 -1 1077944384 48472 12602 0 0 392 9 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414239206128 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12289] ppid=12224 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12227/task/12289/stat : 12289 (java) S 12224 12227 4821 0 -1 1077944384 3 12602 0 0 0 0 5 2 20 0 15 0 91813734 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414238153824 140414767195861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
[pid=12227/tid=12290] ppid=12224 vsize=14069564 CPUtime=1.29 cores=1,3,5,7
/proc/12227/task/12290/stat : 12290 (java) S 12224 12227 4821 0 -1 1077944384 2936 12602 0 0 54 68 5 2 20 0 15 0 91813738 14407233536 1075465 18446744073709551615 4194304 4196468 140721217137584 140414237100336 140414767196802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140721217144784 140721217147569 140721217147569 140721217150927 0
Current children cumulated CPU time (s) 2520.03
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 12227 sig 9
??? kill -12227 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2475.05
CPU time (s): 2520.1
CPU user time (s): 2511.95
CPU system time (s): 8.15135
CPU usage (%): 101.82
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.95
system time used= 8.15135
maximum resident set size= 4302404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 663738
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86617
involuntary context switches= 3290

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.91097 second user time and 18.8772 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-11 10:12:17
IDJOB=4262218
IDBENCH=124460
IDSOLVER=2650
FILE ID=node133/4262218-1502439985
RUNJOBID= node133-1502411423-4885
PBS_JOBID= 
Free space on /tmp= 62008 MiB

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

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

MD5SUM BENCH= 205feda53d99710fee13d320d9c474df
RANDOM SEED=1978324694

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26787584 kB
MemAvailable:   27653752 kB
Buffers:          289252 kB
Cached:           871228 kB
SwapCached:            0 kB
Active:          5074668 kB
Inactive:         466928 kB
Active(anon):    4381208 kB
Inactive(anon):    33112 kB
Active(file):     693460 kB
Inactive(file):   433816 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24552 kB
Writeback:            12 kB
AnonPages:       4380592 kB
Mapped:            63872 kB
Shmem:             33468 kB
Slab:             136328 kB
SReclaimable:     109452 kB
SUnreclaim:        26876 kB
KernelStack:        3504 kB
PageTables:        13532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5114088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4143104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

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