Trace number 4246392

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)1805 2400.16 2328.86

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.69/2.26	c Concrete v3.4 running
22.05/6.73	o 3737
23.14/7.06	o 3736
23.99/7.35	o 3702
24.57/7.68	o 3633
25.50/7.95	o 3587
26.01/8.16	o 3553
26.70/8.40	o 3481
26.80/8.59	o 3463
27.00/8.79	o 3421
27.79/9.21	o 3389
27.90/9.36	o 3347
28.11/9.51	o 3346
28.21/9.67	o 3327
28.41/9.82	o 3216
28.86/10.19	o 3213
29.05/10.36	o 3204
29.27/10.52	o 3156
29.57/10.89	o 3100
30.10/11.32	o 3086
30.68/11.75	o 3061
31.73/12.65	o 3015
32.15/13.03	o 2977
32.56/13.44	o 2923
34.99/15.16	o 2878
36.93/16.44	o 2876
37.13/16.62	o 2875
37.24/16.79	o 2836
37.84/17.38	o 2777
38.28/17.73	o 2746
38.49/17.92	o 2733
38.78/18.29	o 2732
39.39/18.69	o 2685
39.84/19.05	o 2605
40.24/19.40	o 2603
40.34/19.58	o 2574
41.39/20.57	o 2542
42.03/21.14	o 2508
42.23/21.33	o 2507
43.26/22.26	o 2501
44.02/22.99	o 2494
44.83/23.73	o 2464
45.70/24.46	o 2462
46.52/25.20	o 2457
46.62/25.39	o 2438
47.95/26.65	o 2436
48.15/26.82	o 2429
48.57/27.23	o 2426
49.41/27.91	o 2424
50.25/28.79	o 2378
50.97/29.41	o 2373
51.64/30.05	o 2332
52.24/30.64	o 2327
54.41/32.53	o 2325
55.03/33.10	o 2320
56.35/34.48	o 2314
56.75/34.81	o 2301
58.30/36.20	o 2277
58.61/36.60	o 2236
58.81/36.78	o 2230
59.21/37.16	o 2223
59.43/37.35	o 2193
59.63/37.56	o 2180
61.16/39.07	o 2157
61.58/39.46	o 2156
63.12/40.79	o 2153
63.33/40.97	o 2129
63.73/41.36	o 2127
64.34/41.96	o 2117
64.75/42.34	o 2079
66.36/43.97	o 2067
66.56/44.16	o 2032
67.93/45.28	o 2029
70.25/47.45	o 2026
71.46/48.63	o 2025
73.38/50.33	o 2020
73.48/50.49	o 1991
75.92/52.87	o 1990
76.73/53.66	o 1989
77.74/54.66	o 1982
79.25/55.98	o 1981
86.54/62.99	o 1980
94.66/70.75	o 1978
95.53/71.44	o 1974
96.86/72.79	o 1973
97.07/72.97	o 1959
98.27/74.16	o 1955
98.88/74.70	o 1947
103.12/78.70	o 1937
105.84/81.48	o 1920
120.86/95.70	o 1919
137.24/111.61	o 1915
158.83/132.65	o 1914
159.54/133.39	o 1911
160.14/133.91	o 1908
207.54/180.36	o 1878
207.85/180.64	o 1873
226.73/199.00	o 1871
229.58/201.85	o 1869
279.94/250.82	o 1866
325.66/294.54	o 1865
345.34/313.25	o 1862
395.23/360.85	o 1861
413.82/378.32	o 1860
416.78/381.01	o 1849
446.45/408.86	o 1842
448.72/411.00	o 1834
449.54/411.75	o 1831
464.57/426.26	o 1828
470.25/431.64	o 1823
472.19/433.43	o 1822
604.34/558.09	o 1819
712.18/660.11	o 1818
714.48/662.25	o 1817
729.91/676.31	o 1816
735.41/681.59	o 1811
735.62/681.75	o 1808
815.92/758.29	o 1805
2400.08/2328.81	java.util.concurrent.TimeoutException
2400.08/2328.81		at concrete.MAC.mac(MAC.scala:74)
2400.08/2328.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.08/2328.81		at scala.util.Try$.apply(Try.scala:209)
2400.08/2328.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.08/2328.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.08/2328.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.08/2328.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.08/2328.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.08/2328.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.08/2328.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.08/2328.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.08/2328.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.08/2328.81		at concrete.MAC.oneRun(MAC.scala:146)
2400.08/2328.81		at concrete.MAC.nextSolution(MAC.scala:166)
2400.08/2328.81		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.08/2328.81		at concrete.ProblemState.map(ProblemState.scala:203)
2400.08/2328.81		at concrete.ProblemState.map(ProblemState.scala:188)
2400.08/2328.81		at concrete.MAC.nextSolution(MAC.scala:195)
2400.08/2328.81		at concrete.Solver.hasNext(Solver.scala:202)
2400.08/2328.81		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.08/2328.81		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.08/2328.81		at concrete.Solver.toStream(Solver.scala:73)
2400.08/2328.81		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.08/2328.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.08/2328.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.08/2328.81		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.08/2328.81		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.08/2328.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.08/2328.81		at scala.util.Success.map(Try.scala:209)
2400.08/2328.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.08/2328.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.08/2328.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.08/2328.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.08/2328.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.08/2328.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.08/2328.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.08/2328.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.08/2328.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.08/2328.81		at scala.collection.immutable.List.foreach(List.scala:389)
2400.08/2328.81		at scala.App.main(App.scala:76)
2400.08/2328.81		at scala.App.main$(App.scala:74)
2400.08/2328.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.08/2328.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.08/2328.81	v <instantiation cost="1805">
2400.08/2328.81	v       <list>
2400.08/2328.81	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]
2400.08/2328.82	v       </list>
2400.08/2328.82	v       <values>
2400.08/2328.82	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
2400.08/2328.82	v       </values>
2400.08/2328.82	v     </instantiation>
2400.08/2328.82	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-4246392-1500714764/watcher-4246392-1500714764 -o /tmp/evaluation-result-4246392-1500714764/solver-4246392-1500714764 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500714764-19778 --watchdog 2560 bin/concrete HOME/instance-4246392-1500714764.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.61 1.92 2.05 2/240 19804
/proc/meminfo: memFree=31810696/32770624 swapFree=5920/130104
[pid=19804] ppid=19800 vsize=168 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19804/stat : 19804 (concrete) D 19800 19804 19746 0 -1 4194304 121 0 0 0 0 0 0 0 20 0 1 0 6746119 172032 1 33554432000 0 0 140732887233790 140728284499224 139663902988791 0 0 4096 0 18446744071580431491 0 0 17 9 0 0 0 0 0 0 0 6320128 140732887233790 0 0 0 0
/proc/19804/statm: 42 1 0 0 0 34 0

[startup+0.100062 s]
/proc/loadavg: 1.61 1.92 2.05 2/240 19804
/proc/meminfo: memFree=31810696/32770624 swapFree=5920/130104
[pid=19804] ppid=19800 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/19804/stat : 19804 (bash) S 19800 19804 19746 0 -1 4202496 879 6416 1 1 0 0 0 1 20 0 1 0 6746119 9871360 378 33554432000 4194304 5098028 140720909697552 140720909691560 139621339458560 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 1 0 0 7196144 7232144 18759680 140720909702414 140720909702499 140720909702499 140720909705198 0
/proc/19804/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200375 s]
/proc/loadavg: 1.61 1.92 2.05 2/240 19804
/proc/meminfo: memFree=31810696/32770624 swapFree=5920/130104
[pid=19804] ppid=19800 vsize=10435860 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/19804/stat : 19804 (java) S 19800 19804 19746 0 -1 1077944320 4957 12282 1 1 4 1 7 4 20 0 13 0 6746119 10686320640 4779 33554432000 4194304 4196468 140722529970032 140722529952576 140611700121335 0 0 0 16784584 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
/proc/19804/statm: 2608965 4779 2117 1 0 2597403 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10435860

[startup+0.300328 s]
/proc/loadavg: 1.61 1.92 2.05 2/240 19804
/proc/meminfo: memFree=31810696/32770624 swapFree=5920/130104
[pid=19804] ppid=19800 vsize=10902292 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/19804/stat : 19804 (java) S 19800 19804 19746 0 -1 1077944320 6831 12282 1 1 20 2 7 4 20 0 20 0 6746119 11163947008 7537 33554432000 4194304 4196468 140722529970032 140722529952576 140611700121335 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
/proc/19804/statm: 2725573 7537 2930 1 0 2713890 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10902292

[startup+0.700148 s]
/proc/loadavg: 1.61 1.92 2.05 2/240 19804
/proc/meminfo: memFree=31810696/32770624 swapFree=5920/130104
[pid=19804] ppid=19800 vsize=10902720 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/19804/stat : 19804 (java) S 19800 19804 19746 0 -1 1077944320 11939 12282 1 1 69 6 7 4 20 0 20 0 6746119 11164385280 14688 33554432000 4194304 4196468 140722529970032 140722529952576 140611700121335 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
/proc/19804/statm: 2725680 14688 3092 1 0 2713890 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10902720

[startup+1.50081 s]
/proc/loadavg: 1.61 1.92 2.05 4/284 19954
/proc/meminfo: memFree=31575584/32770624 swapFree=5920/131376
[pid=19804] ppid=19800 vsize=10913344 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/19804/stat : 19804 (java) S 19800 19804 19746 0 -1 1077944320 24101 12282 1 1 189 9 7 4 20 0 20 0 6746119 11175264256 33972 33554432000 4194304 4196468 140722529970032 140722529952576 140611700121335 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
/proc/19804/statm: 2728336 33972 3374 1 0 2716450 0
[pid=19804/tid=19914] ppid=19800 vsize=10913344 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19914/stat : 19914 (java) R 19800 19804 19746 0 -1 4202560 19204 12282 0 1 127 6 7 4 20 0 20 0 6746134 11175264256 33972 33554432000 4194304 4196468 140722529970032 140611704343008 140611684201822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19919] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19919/stat : 19919 (java) S 19800 19804 19746 0 -1 1077944384 2 12282 0 1 0 0 7 4 20 0 20 0 6746135 11175264256 33972 33554432000 4194304 4196468 140722529970032 140611661081232 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19920] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19920/stat : 19920 (java) S 19800 19804 19746 0 -1 1077944384 3 12282 0 1 0 0 7 4 20 0 20 0 6746135 11175264256 33972 33554432000 4194304 4196468 140722529970032 140611305576976 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19921] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19921/stat : 19921 (java) S 19800 19804 19746 0 -1 1077944384 1 12282 0 1 0 0 7 4 20 0 20 0 6746135 11175264256 33972 33554432000 4194304 4196468 140722529970032 140611304524176 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19922] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19922/stat : 19922 (java) S 19800 19804 19746 0 -1 1077944384 2 12282 0 1 0 0 7 4 20 0 20 0 6746135 11175264256 33972 33554432000 4194304 4196468 140722529970032 140611303471376 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19923] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19923/stat : 19923 (java) S 19800 19804 19746 0 -1 1077944384 1 12282 0 1 0 0 7 4 20 0 20 0 6746135 11175264256 33972 33554432000 4194304 4196468 140722529970032 140611302419600 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19924] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19924/stat : 19924 (java) S 19800 19804 19746 0 -1 1077944384 1 12282 0 1 0 0 7 4 20 0 20 0 6746135 11175264256 33972 33554432000 4194304 4196468 140722529970032 140611301366800 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19925] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19925/stat : 19925 (java) S 19800 19804 19746 0 -1 1077944384 2 12282 0 1 0 0 7 4 20 0 20 0 6746135 11175264256 33972 33554432000 4194304 4196468 140722529970032 140611300314000 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19926] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19926/stat : 19926 (java) S 19800 19804 19746 0 -1 1077944384 2 12282 0 1 0 0 7 4 20 0 20 0 6746135 11175264256 33972 33554432000 4194304 4196468 140722529970032 140611299261200 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19935] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19935/stat : 19935 (java) S 19800 19804 19746 0 -1 1077944384 5 12282 0 1 0 0 7 4 20 0 20 0 6746137 11175264256 33972 33554432000 4194304 4196468 140722529970032 140611040377200 140611700132482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19937] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19937/stat : 19937 (java) S 19800 19804 19746 0 -1 1077944384 33 12282 0 1 0 0 7 4 20 0 20 0 6746138 11175264256 33972 33554432000 4194304 4196468 140722529970032 140611039323168 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19939] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19939/stat : 19939 (java) S 19800 19804 19746 0 -1 1077944384 21 12282 0 1 0 0 7 4 20 0 20 0 6746138 11175264256 34012 33554432000 4194304 4196468 140722529970032 140611038270320 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19948] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19948/stat : 19948 (java) S 19800 19804 19746 0 -1 1077944384 1 12282 0 1 0 0 7 4 20 0 20 0 6746143 11175264256 34012 33554432000 4194304 4196468 140722529970032 140611037218640 140611700139931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19949] ppid=19800 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19949/stat : 19949 (java) S 19800 19804 19746 0 -1 1077944384 419 12282 0 1 11 0 7 4 20 0 20 0 6746143 11175264256 34012 33554432000 4194304 4196468 140722529970032 140611036167024 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19950] ppid=19800 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19950/stat : 19950 (java) S 19800 19804 19746 0 -1 1077944384 523 12282 0 1 10 0 7 4 20 0 20 0 6746143 11175264256 34012 33554432000 4194304 4196468 140722529970032 140611035114224 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19951] ppid=19800 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19951/stat : 19951 (java) S 19800 19804 19746 0 -1 1077944384 966 12282 0 1 14 0 7 4 20 0 20 0 6746143 11175264256 34012 33554432000 4194304 4196468 140722529970032 140611034061424 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19952] ppid=19800 vsize=10913344 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19952/stat : 19952 (java) S 19800 19804 19746 0 -1 1077944384 777 12282 0 1 24 0 7 4 20 0 20 0 6746143 11175264256 34012 33554432000 4194304 4196468 140722529970032 140611033008624 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19953] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19953/stat : 19953 (java) S 19800 19804 19746 0 -1 1077944384 3 12282 0 1 0 0 7 4 20 0 20 0 6746143 11175264256 34012 33554432000 4194304 4196468 140722529970032 140611031956064 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19954] ppid=19800 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19954/stat : 19954 (java) S 19800 19804 19746 0 -1 1077944384 7 12282 0 1 0 0 7 4 20 0 20 0 6746143 11175264256 34012 33554432000 4194304 4196468 140722529970032 140611030903344 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10913344

[startup+3.10079 s]
/proc/loadavg: 1.80 1.96 2.06 7/284 19954
/proc/meminfo: memFree=31453284/32770624 swapFree=5920/132704
[pid=19804] ppid=19800 vsize=10923772 CPUtime=6.64 cores=1,3,5,7,9,11,13,15
/proc/19804/stat : 19804 (java) S 19800 19804 19746 0 -1 1077944320 37619 12282 1 1 631 22 7 4 20 0 20 0 6746119 11185942528 58057 33554432000 4194304 4196468 140722529970032 140722529952576 140611700121335 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
/proc/19804/statm: 2730943 58057 3483 1 0 2718498 0
[pid=19804/tid=19914] ppid=19800 vsize=10923772 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19914/stat : 19914 (java) R 19800 19804 19746 0 -1 4202560 24084 12282 0 1 278 9 7 4 20 0 20 0 6746134 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611704353480 140611700133270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19919] ppid=19800 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19919/stat : 19919 (java) S 19800 19804 19746 0 -1 1077944384 139 12282 0 1 1 0 7 4 20 0 20 0 6746135 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611661081232 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19920] ppid=19800 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19920/stat : 19920 (java) S 19800 19804 19746 0 -1 1077944384 16 12282 0 1 0 0 7 4 20 0 20 0 6746135 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611305576976 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19921] ppid=19800 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19921/stat : 19921 (java) S 19800 19804 19746 0 -1 1077944384 28 12282 0 1 1 0 7 4 20 0 20 0 6746135 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611304524176 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19922] ppid=19800 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19922/stat : 19922 (java) S 19800 19804 19746 0 -1 1077944384 47 12282 0 1 1 0 7 4 20 0 20 0 6746135 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611303471376 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19923] ppid=19800 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19923/stat : 19923 (java) S 19800 19804 19746 0 -1 1077944384 24 12282 0 1 1 0 7 4 20 0 20 0 6746135 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611302419600 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19924] ppid=19800 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19924/stat : 19924 (java) S 19800 19804 19746 0 -1 1077944384 40 12282 0 1 0 0 7 4 20 0 20 0 6746135 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611301366800 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19925] ppid=19800 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19925/stat : 19925 (java) S 19800 19804 19746 0 -1 1077944384 19 12282 0 1 0 0 7 4 20 0 20 0 6746135 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611300314000 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19926] ppid=19800 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19926/stat : 19926 (java) S 19800 19804 19746 0 -1 1077944384 23 12282 0 1 1 0 7 4 20 0 20 0 6746135 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611299261200 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19935] ppid=19800 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19935/stat : 19935 (java) S 19800 19804 19746 0 -1 1077944384 1582 12282 0 1 1 0 7 4 20 0 20 0 6746137 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611040377200 140611700132482 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19937] ppid=19800 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19937/stat : 19937 (java) S 19800 19804 19746 0 -1 1077944384 56 12282 0 1 0 0 7 4 20 0 20 0 6746138 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611039323232 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19939] ppid=19800 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19939/stat : 19939 (java) S 19800 19804 19746 0 -1 1077944384 45 12282 0 1 0 0 7 4 20 0 20 0 6746138 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611038270320 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19948] ppid=19800 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19948/stat : 19948 (java) S 19800 19804 19746 0 -1 1077944384 1 12282 0 1 0 0 7 4 20 0 20 0 6746143 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611037218640 140611700139931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19949] ppid=19800 vsize=10923772 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19949/stat : 19949 (java) S 19800 19804 19746 0 -1 1077944384 1311 12282 0 1 79 1 7 4 20 0 20 0 6746143 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611036167024 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19950] ppid=19800 vsize=10923772 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19950/stat : 19950 (java) R 19800 19804 19746 0 -1 4202560 1920 12282 0 1 73 1 7 4 20 0 20 0 6746143 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611035100768 140611681665058 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19951] ppid=19800 vsize=10923772 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19951/stat : 19951 (java) S 19800 19804 19746 0 -1 1077944384 2265 12282 0 1 80 1 7 4 20 0 20 0 6746143 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611034061424 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19952] ppid=19800 vsize=10923772 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19952/stat : 19952 (java) S 19800 19804 19746 0 -1 1077944384 3885 12282 0 1 107 1 7 4 20 0 20 0 6746143 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611033008624 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19953] ppid=19800 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19953/stat : 19953 (java) S 19800 19804 19746 0 -1 1077944384 3 12282 0 1 0 0 7 4 20 0 20 0 6746143 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611031956064 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19954] ppid=19800 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19954/stat : 19954 (java) S 19800 19804 19746 0 -1 1077944384 8 12282 0 1 0 0 7 4 20 0 20 0 6746143 11185942528 58057 33554432000 4194304 4196468 140722529970032 140611030903344 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (KiB) 10923772

[startup+6.3009 s]
/proc/loadavg: 1.80 1.96 2.06 9/284 19954
/proc/meminfo: memFree=31058428/32770624 swapFree=5920/132804
[pid=19804] ppid=19800 vsize=10934676 CPUtime=19.7 cores=1,3,5,7,9,11,13,15
/proc/19804/stat : 19804 (java) S 19800 19804 19746 0 -1 1077944320 73393 12282 1 1 1913 46 7 4 20 0 20 0 6746119 11197108224 106691 33554432000 4194304 4196468 140722529970032 140722529952576 140611700121335 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
/proc/19804/statm: 2733669 106691 3514 1 0 2721224 0
[pid=19804/tid=19914] ppid=19800 vsize=10934676 CPUtime=5.82 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19914/stat : 19914 (java) S 19800 19804 19746 0 -1 1077944384 35414 12282 0 1 559 12 7 4 20 0 20 0 6746134 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611704359056 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19919] ppid=19800 vsize=10934676 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19919/stat : 19919 (java) R 19800 19804 19746 0 -1 4202560 204 12282 0 1 26 2 7 4 20 0 20 0 6746135 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611661081352 140611692749543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19920] ppid=19800 vsize=10934676 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19920/stat : 19920 (java) R 19800 19804 19746 0 -1 4202560 155 12282 0 1 25 1 7 4 20 0 20 0 6746135 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611305577176 140611684822326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19921] ppid=19800 vsize=10934676 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19921/stat : 19921 (java) R 19800 19804 19746 0 -1 4202560 79 12282 0 1 23 2 7 4 20 0 20 0 6746135 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611304523984 140611692749543 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19922] ppid=19800 vsize=10934676 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19922/stat : 19922 (java) R 19800 19804 19746 0 -1 4202560 103 12282 0 1 23 3 7 4 20 0 20 0 6746135 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611303471496 140611683504368 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19923] ppid=19800 vsize=10934676 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19923/stat : 19923 (java) R 19800 19804 19746 0 -1 4202560 52 12282 0 1 26 1 7 4 20 0 20 0 6746135 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611302419408 140611692749543 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19924] ppid=19800 vsize=10934676 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19924/stat : 19924 (java) R 19800 19804 19746 0 -1 4202560 97 12282 0 1 25 2 7 4 20 0 20 0 6746135 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611301366608 140611692749543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19925] ppid=19800 vsize=10934676 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19925/stat : 19925 (java) R 19800 19804 19746 0 -1 4202560 53 12282 0 1 19 2 7 4 20 0 20 0 6746135 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611300314120 140611692749543 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19926] ppid=19800 vsize=10934676 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19926/stat : 19926 (java) R 19800 19804 19746 0 -1 4202560 640 12282 0 1 20 2 7 4 20 0 20 0 6746135 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611299261320 140611692749543 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19935] ppid=19800 vsize=10934676 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19935/stat : 19935 (java) S 19800 19804 19746 0 -1 1077944384 2402 12282 0 1 7 1 7 4 20 0 20 0 6746137 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611040375824 140611700131541 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19937] ppid=19800 vsize=10934676 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19937/stat : 19937 (java) S 19800 19804 19746 0 -1 1077944384 56 12282 0 1 0 0 7 4 20 0 20 0 6746138 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611039323232 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19939] ppid=19800 vsize=10934676 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19939/stat : 19939 (java) S 19800 19804 19746 0 -1 1077944384 45 12282 0 1 0 0 7 4 20 0 20 0 6746138 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611038270336 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19948] ppid=19800 vsize=10934676 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19948/stat : 19948 (java) S 19800 19804 19746 0 -1 1077944384 1 12282 0 1 0 0 7 4 20 0 20 0 6746143 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611037218640 140611700139931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19949] ppid=19800 vsize=10934676 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19949/stat : 19949 (java) S 19800 19804 19746 0 -1 1077944384 8059 12282 0 1 302 2 7 4 20 0 20 0 6746143 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611036146064 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19950] ppid=19800 vsize=10934676 CPUtime=3.3 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19950/stat : 19950 (java) R 19800 19804 19746 0 -1 4202560 11799 12282 0 1 316 3 7 4 20 0 20 0 6746143 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611035100248 140611683677695 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19951] ppid=19800 vsize=10934676 CPUtime=3.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19951/stat : 19951 (java) S 19800 19804 19746 0 -1 1077944384 4370 12282 0 1 298 2 7 4 20 0 20 0 6746143 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611034045504 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19952] ppid=19800 vsize=10934676 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19952/stat : 19952 (java) S 19800 19804 19746 0 -1 1077944384 7643 12282 0 1 235 3 7 4 20 0 20 0 6746143 11197108224 106691 33554432000 4194304 4196468 140722529970032 140611033008624 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19953] ppid=19800 vsize=10934676 CPUtime=0.11 cores=1,3,5,7,9,11,13,15

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

[pid=19804/tid=19950] ppid=19800 vsize=10931964 CPUtime=8.31 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19950/stat : 19950 (java) S 19800 19804 19746 0 -1 1077944384 47761 12282 0 1 809 11 7 4 20 0 20 0 6746143 11194331136 807511 33554432000 4194304 4196468 140722529970032 140611035114224 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19951] ppid=19800 vsize=10931964 CPUtime=7.79 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19951/stat : 19951 (java) S 19800 19804 19746 0 -1 1077944384 39142 12282 0 1 759 9 7 4 20 0 20 0 6746143 11194331136 807511 33554432000 4194304 4196468 140722529970032 140611034061424 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19952] ppid=19800 vsize=10931964 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19952/stat : 19952 (java) S 19800 19804 19746 0 -1 1077944384 58079 12282 0 1 437 11 7 4 20 0 20 0 6746143 11194331136 807511 33554432000 4194304 4196468 140722529970032 140611033008624 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19953] ppid=19800 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19953/stat : 19953 (java) S 19800 19804 19746 0 -1 1077944384 3 12282 0 1 0 0 7 4 20 0 20 0 6746143 11194331136 807511 33554432000 4194304 4196468 140722529970032 140611031956064 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19954] ppid=19800 vsize=10931964 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19954/stat : 19954 (java) S 19800 19804 19746 0 -1 1077944384 2317 12282 0 1 50 51 7 4 20 0 20 0 6746143 11194331136 807511 33554432000 4194304 4196468 140722529970032 140611030903344 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
Current children cumulated CPU time (s) 2273.27
Current children cumulated vsize (KiB) 10931964

[startup+2262.3 s]
/proc/loadavg: 1.75 1.76 1.75 3/281 20024
/proc/meminfo: memFree=27884124/32770624 swapFree=5920/134944
[pid=19804] ppid=19800 vsize=10931964 CPUtime=2333.38 cores=1,3,5,7,9,11,13,15
/proc/19804/stat : 19804 (java) S 19800 19804 19746 0 -1 1077944320 490025 12282 1 1 231511 1816 7 4 20 0 20 0 6746119 11194331136 807510 33554432000 4194304 4196468 140722529970032 140722529952576 140611700121335 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
/proc/19804/statm: 2732991 807510 3529 1 0 2720546 0
[pid=19804/tid=19914] ppid=19800 vsize=10931964 CPUtime=2253.81 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19914/stat : 19914 (java) R 19800 19804 19746 0 -1 4202560 181928 12282 0 1 225308 62 7 4 20 0 20 0 6746134 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611704355712 140611347758519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19919] ppid=19800 vsize=10931964 CPUtime=6.3 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19919/stat : 19919 (java) S 19800 19804 19746 0 -1 1077944384 10619 12282 0 1 405 214 7 4 20 0 20 0 6746135 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611661081232 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19920] ppid=19800 vsize=10931964 CPUtime=6.36 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19920/stat : 19920 (java) S 19800 19804 19746 0 -1 1077944384 13512 12282 0 1 414 211 7 4 20 0 20 0 6746135 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611305576976 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19921] ppid=19800 vsize=10931964 CPUtime=6.31 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19921/stat : 19921 (java) S 19800 19804 19746 0 -1 1077944384 12643 12282 0 1 414 206 7 4 20 0 20 0 6746135 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611304524176 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19922] ppid=19800 vsize=10931964 CPUtime=6.31 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19922/stat : 19922 (java) S 19800 19804 19746 0 -1 1077944384 13798 12282 0 1 408 212 7 4 20 0 20 0 6746135 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611303471376 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19923] ppid=19800 vsize=10931964 CPUtime=6.31 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19923/stat : 19923 (java) S 19800 19804 19746 0 -1 1077944384 8810 12282 0 1 417 203 7 4 20 0 20 0 6746135 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611302419600 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19924] ppid=19800 vsize=10931964 CPUtime=6.24 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19924/stat : 19924 (java) S 19800 19804 19746 0 -1 1077944384 10559 12282 0 1 403 210 7 4 20 0 20 0 6746135 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611301366800 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19925] ppid=19800 vsize=10931964 CPUtime=6.26 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19925/stat : 19925 (java) S 19800 19804 19746 0 -1 1077944384 9922 12282 0 1 407 208 7 4 20 0 20 0 6746135 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611300314000 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19926] ppid=19800 vsize=10931964 CPUtime=6.24 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19926/stat : 19926 (java) S 19800 19804 19746 0 -1 1077944384 7467 12282 0 1 400 213 7 4 20 0 20 0 6746135 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611299261200 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19935] ppid=19800 vsize=10931964 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19935/stat : 19935 (java) S 19800 19804 19746 0 -1 1077944384 33774 12282 0 1 87 18 7 4 20 0 20 0 6746137 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611040377200 140611700132482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19937] ppid=19800 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19937/stat : 19937 (java) S 19800 19804 19746 0 -1 1077944384 96 12282 0 1 1 0 7 4 20 0 20 0 6746138 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611039323296 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19939] ppid=19800 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19939/stat : 19939 (java) S 19800 19804 19746 0 -1 1077944384 53 12282 0 1 0 0 7 4 20 0 20 0 6746138 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611038270336 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19948] ppid=19800 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19948/stat : 19948 (java) S 19800 19804 19746 0 -1 1077944384 1 12282 0 1 0 0 7 4 20 0 20 0 6746143 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611037218640 140611700139931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19949] ppid=19800 vsize=10931964 CPUtime=7.64 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19949/stat : 19949 (java) S 19800 19804 19746 0 -1 1077944384 37383 12282 0 1 746 7 7 4 20 0 20 0 6746143 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611036167024 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19950] ppid=19800 vsize=10931964 CPUtime=8.31 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19950/stat : 19950 (java) S 19800 19804 19746 0 -1 1077944384 47763 12282 0 1 809 11 7 4 20 0 20 0 6746143 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611035114224 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19951] ppid=19800 vsize=10931964 CPUtime=7.79 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19951/stat : 19951 (java) S 19800 19804 19746 0 -1 1077944384 39144 12282 0 1 759 9 7 4 20 0 20 0 6746143 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611034061424 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19952] ppid=19800 vsize=10931964 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19952/stat : 19952 (java) S 19800 19804 19746 0 -1 1077944384 58081 12282 0 1 437 11 7 4 20 0 20 0 6746143 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611033008624 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19953] ppid=19800 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19953/stat : 19953 (java) S 19800 19804 19746 0 -1 1077944384 3 12282 0 1 0 0 7 4 20 0 20 0 6746143 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611031956064 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19954] ppid=19800 vsize=10931964 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19954/stat : 19954 (java) S 19800 19804 19746 0 -1 1077944384 2341 12282 0 1 51 53 7 4 20 0 20 0 6746143 11194331136 807510 33554432000 4194304 4196468 140722529970032 140611030903344 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
Current children cumulated CPU time (s) 2333.38
Current children cumulated vsize (KiB) 10931964

[startup+2322.3 s]
/proc/loadavg: 1.94 1.80 1.77 3/281 20165
/proc/meminfo: memFree=28129304/32770624 swapFree=5920/135044
[pid=19804] ppid=19800 vsize=10931964 CPUtime=2393.56 cores=1,3,5,7,9,11,13,15
/proc/19804/stat : 19804 (java) S 19800 19804 19746 0 -1 1077944320 495720 12282 1 1 237527 1818 7 4 20 0 20 0 6746119 11194331136 807383 33554432000 4194304 4196468 140722529970032 140722529952576 140611700121335 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
/proc/19804/statm: 2732991 807383 3529 1 0 2720546 0
[pid=19804/tid=19914] ppid=19800 vsize=10931964 CPUtime=2313.77 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19914/stat : 19914 (java) R 19800 19804 19746 0 -1 4202560 185178 12282 0 1 231304 62 7 4 20 0 20 0 6746134 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611704355552 140611347705232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19919] ppid=19800 vsize=10931964 CPUtime=6.32 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19919/stat : 19919 (java) S 19800 19804 19746 0 -1 1077944384 10770 12282 0 1 407 214 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611661081232 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19920] ppid=19800 vsize=10931964 CPUtime=6.38 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19920/stat : 19920 (java) S 19800 19804 19746 0 -1 1077944384 13518 12282 0 1 416 211 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611305576976 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19921] ppid=19800 vsize=10931964 CPUtime=6.34 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19921/stat : 19921 (java) S 19800 19804 19746 0 -1 1077944384 12752 12282 0 1 416 207 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611304524176 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19922] ppid=19800 vsize=10931964 CPUtime=6.33 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19922/stat : 19922 (java) S 19800 19804 19746 0 -1 1077944384 13952 12282 0 1 410 212 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611303471376 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19923] ppid=19800 vsize=10931964 CPUtime=6.33 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19923/stat : 19923 (java) S 19800 19804 19746 0 -1 1077944384 8881 12282 0 1 419 203 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611302419600 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19924] ppid=19800 vsize=10931964 CPUtime=6.26 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19924/stat : 19924 (java) S 19800 19804 19746 0 -1 1077944384 10575 12282 0 1 405 210 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611301366800 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19925] ppid=19800 vsize=10931964 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19925/stat : 19925 (java) S 19800 19804 19746 0 -1 1077944384 9990 12282 0 1 409 208 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611300314000 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19926] ppid=19800 vsize=10931964 CPUtime=6.26 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19926/stat : 19926 (java) S 19800 19804 19746 0 -1 1077944384 8956 12282 0 1 402 213 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611299261200 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19935] ppid=19800 vsize=10931964 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19935/stat : 19935 (java) S 19800 19804 19746 0 -1 1077944384 34110 12282 0 1 88 18 7 4 20 0 20 0 6746137 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611040377200 140611700132482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19937] ppid=19800 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19937/stat : 19937 (java) S 19800 19804 19746 0 -1 1077944384 96 12282 0 1 1 0 7 4 20 0 20 0 6746138 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611039323296 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19939] ppid=19800 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19939/stat : 19939 (java) S 19800 19804 19746 0 -1 1077944384 53 12282 0 1 0 0 7 4 20 0 20 0 6746138 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611038270336 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19948] ppid=19800 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19948/stat : 19948 (java) S 19800 19804 19746 0 -1 1077944384 1 12282 0 1 0 0 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611037218640 140611700139931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19949] ppid=19800 vsize=10931964 CPUtime=7.64 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19949/stat : 19949 (java) S 19800 19804 19746 0 -1 1077944384 37393 12282 0 1 746 7 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611036167024 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19950] ppid=19800 vsize=10931964 CPUtime=8.31 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19950/stat : 19950 (java) S 19800 19804 19746 0 -1 1077944384 47766 12282 0 1 809 11 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611035114224 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19951] ppid=19800 vsize=10931964 CPUtime=7.79 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19951/stat : 19951 (java) S 19800 19804 19746 0 -1 1077944384 39147 12282 0 1 759 9 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611034061424 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19952] ppid=19800 vsize=10931964 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19952/stat : 19952 (java) S 19800 19804 19746 0 -1 1077944384 58085 12282 0 1 437 11 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611033008624 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19953] ppid=19800 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19953/stat : 19953 (java) S 19800 19804 19746 0 -1 1077944384 3 12282 0 1 0 0 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611031956064 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19954] ppid=19800 vsize=10931964 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19954/stat : 19954 (java) S 19800 19804 19746 0 -1 1077944384 2366 12282 0 1 53 54 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611030903344 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
Current children cumulated CPU time (s) 2393.56
Current children cumulated vsize (KiB) 10931964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2328.8 s]
/proc/loadavg: 2.02 1.82 1.77 3/281 20165
/proc/meminfo: memFree=27814596/32770624 swapFree=5920/135052
[pid=19804] ppid=19800 vsize=10931964 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/19804/stat : 19804 (java) S 19800 19804 19746 0 -1 1077944320 495774 12282 1 1 238179 1818 7 4 20 0 20 0 6746119 11194331136 807383 33554432000 4194304 4196468 140722529970032 140722529952576 140611700121335 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 1 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
/proc/19804/statm: 2732991 807383 3529 1 0 2720546 0
[pid=19804/tid=19914] ppid=19800 vsize=10931964 CPUtime=2320.26 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19914/stat : 19914 (java) R 19800 19804 19746 0 -1 4202560 185215 12282 0 1 231953 62 7 4 20 0 20 0 6746134 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611704355040 140611347758393 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19919] ppid=19800 vsize=10931964 CPUtime=6.32 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19919/stat : 19919 (java) S 19800 19804 19746 0 -1 1077944384 10770 12282 0 1 407 214 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611661081232 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19920] ppid=19800 vsize=10931964 CPUtime=6.38 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19920/stat : 19920 (java) S 19800 19804 19746 0 -1 1077944384 13519 12282 0 1 416 211 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611305576976 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19921] ppid=19800 vsize=10931964 CPUtime=6.34 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19921/stat : 19921 (java) S 19800 19804 19746 0 -1 1077944384 12753 12282 0 1 416 207 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611304524176 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19922] ppid=19800 vsize=10931964 CPUtime=6.34 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19922/stat : 19922 (java) S 19800 19804 19746 0 -1 1077944384 13953 12282 0 1 411 212 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611303471376 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19923] ppid=19800 vsize=10931964 CPUtime=6.33 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19923/stat : 19923 (java) S 19800 19804 19746 0 -1 1077944384 8882 12282 0 1 419 203 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611302419600 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19924] ppid=19800 vsize=10931964 CPUtime=6.26 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19924/stat : 19924 (java) S 19800 19804 19746 0 -1 1077944384 10576 12282 0 1 405 210 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611301366800 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19925] ppid=19800 vsize=10931964 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19925/stat : 19925 (java) S 19800 19804 19746 0 -1 1077944384 9993 12282 0 1 409 208 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611300314000 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19926] ppid=19800 vsize=10931964 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19926/stat : 19926 (java) S 19800 19804 19746 0 -1 1077944384 8957 12282 0 1 403 213 7 4 20 0 20 0 6746135 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611299261200 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19935] ppid=19800 vsize=10931964 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19935/stat : 19935 (java) S 19800 19804 19746 0 -1 1077944384 34116 12282 0 1 88 18 7 4 20 0 20 0 6746137 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611040377200 140611700132482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19937] ppid=19800 vsize=10931964 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19937/stat : 19937 (java) S 19800 19804 19746 0 -1 1077944384 96 12282 0 1 1 0 7 4 20 0 20 0 6746138 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611039323296 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19939] ppid=19800 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19939/stat : 19939 (java) S 19800 19804 19746 0 -1 1077944384 53 12282 0 1 0 0 7 4 20 0 20 0 6746138 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611038270336 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19948] ppid=19800 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19948/stat : 19948 (java) S 19800 19804 19746 0 -1 1077944384 1 12282 0 1 0 0 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611037218640 140611700139931 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19949] ppid=19800 vsize=10931964 CPUtime=7.64 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19949/stat : 19949 (java) S 19800 19804 19746 0 -1 1077944384 37393 12282 0 1 746 7 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611036167024 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19950] ppid=19800 vsize=10931964 CPUtime=8.31 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19950/stat : 19950 (java) S 19800 19804 19746 0 -1 1077944384 47766 12282 0 1 809 11 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611035114224 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19951] ppid=19800 vsize=10931964 CPUtime=7.79 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19951/stat : 19951 (java) S 19800 19804 19746 0 -1 1077944384 39147 12282 0 1 759 9 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611034061424 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19952] ppid=19800 vsize=10931964 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19952/stat : 19952 (java) S 19800 19804 19746 0 -1 1077944384 58085 12282 0 1 437 11 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611033008624 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19953] ppid=19800 vsize=10931964 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19953/stat : 19953 (java) S 19800 19804 19746 0 -1 1077944384 3 12282 0 1 0 0 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611031956064 140611700131541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
[pid=19804/tid=19954] ppid=19800 vsize=10931964 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/19804/task/19954/stat : 19954 (java) S 19800 19804 19746 0 -1 1077944384 2368 12282 0 1 53 54 7 4 20 0 20 0 6746143 11194331136 807383 33554432000 4194304 4196468 140722529970032 140611030903344 140611700132482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19562496 140722529979073 140722529981847 140722529981847 140722529984463 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10931964

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

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

Child status: 143
Real time (s): 2328.86
CPU time (s): 2400.16
CPU user time (s): 2381.88
CPU system time (s): 18.2726
CPU usage (%): 103.062
Max. virtual memory (cumulated for all children) (KiB): 10934676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2381.88
system time used= 18.2726
maximum resident set size= 3232604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513579
page faults= 2
swaps= 0
block input operations= 840
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97787
involuntary context switches= 131155

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3749 second user time and 18.8397 second system time

The end

Launcher Data 

Begin job on node106 at 2017-07-22 11:12:44
IDJOB=4246392
IDBENCH=124460
IDSOLVER=2630
FILE ID=node106/4246392-1500714764
RUNJOBID= node106-1500714764-19778
PBS_JOBID= 20623356
Free space on /tmp= 61960 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-4246392-1500714764/watcher-4246392-1500714764 -o /tmp/evaluation-result-4246392-1500714764/solver-4246392-1500714764 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500714764-19778 --watchdog 2560  bin/concrete HOME/instance-4246392-1500714764.xml

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

MD5SUM BENCH= 205feda53d99710fee13d320d9c474df
RANDOM SEED=1585513460

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31811560 kB
MemAvailable:   31991372 kB
Buffers:          144656 kB
Cached:           307712 kB
SwapCached:            0 kB
Active:           319856 kB
Inactive:         185220 kB
Active(anon):      10176 kB
Inactive(anon):    54144 kB
Active(file):     309680 kB
Inactive(file):   131076 kB
Unevictable:        5920 kB
Mlocked:            5920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48296 kB
Writeback:             0 kB
AnonPages:         58552 kB
Mapped:            30636 kB
Shmem:              8852 kB
Slab:             143320 kB
SReclaimable:     109780 kB
SUnreclaim:        33540 kB
KernelStack:        4080 kB
PageTables:         4684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     308752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61912 MiB
End job on node106 at 2017-07-22 11:51:33