Trace number 4259844

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)1418 260.22601 240.05901

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n61-k9.xml
MD5SUM4ab7546591ba88ff6acec2aa7538cbc2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1295
Best CPU time to get the best result obtained on this benchmark251.894
Satisfiable
(Un)Satisfiability was proved
Number of variables3782
Number of constraints3720
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":61},{"size":2,"count":3660},{"size":101,"count":60}]
Minimum variable degree0
Maximum variable degree119
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":61},{"degree":2,"count":120},{"degree":4,"count":3540},{"degree":119,"count":60}]
Minimum constraint arity1
Maximum constraint arity60
Distribution of constraint arities[{"arity":1,"count":60},{"arity":3,"count":3540},{"arity":60,"count":120}]
Number of extensional constraints0
Number of intensional constraints60
Distribution of constraint types[{"type":"intension","count":60},{"type":"sum","count":3540},{"type":"count","count":120}]
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.17/2.27	c Concrete v3.4 running
16.97/6.74	o 3256
18.09/7.12	o 3240
18.78/7.49	o 3204
19.80/7.84	o 3154
20.48/8.20	o 3085
21.12/8.54	o 3029
22.03/8.87	o 3010
22.53/9.15	o 2998
22.91/9.48	o 2980
23.21/9.76	o 2964
23.52/10.07	o 2944
23.84/10.32	o 2906
24.09/10.57	o 2887
24.70/11.12	o 2842
25.00/11.42	o 2840
25.21/11.69	o 2751
25.54/11.98	o 2742
25.93/12.29	o 2700
26.22/12.56	o 2686
26.53/12.84	o 2679
26.86/13.13	o 2645
27.48/13.72	o 2622
27.83/14.01	o 2600
28.17/14.34	o 2595
28.48/14.63	o 2589
28.78/14.97	o 2583
29.48/15.59	o 2546
30.26/16.26	o 2543
30.57/16.58	o 2533
30.99/16.90	o 2502
31.29/17.24	o 2449
31.59/17.53	o 2437
31.90/17.85	o 2403
33.43/19.23	o 2398
33.76/19.55	o 2396
34.46/20.24	o 2355
34.76/20.59	o 2315
36.57/22.12	o 2303
37.71/23.23	o 2289
38.00/23.57	o 2274
38.41/23.98	o 2268
39.64/25.13	o 2257
40.11/25.53	o 2246
40.42/25.90	o 2243
42.06/27.02	o 2229
42.36/27.35	o 2210
44.36/29.25	o 2202
45.24/30.03	o 2198
46.77/31.54	o 2190
47.13/31.90	o 2182
48.35/33.04	o 2171
49.24/33.81	o 2063
50.48/35.00	o 2035
52.81/37.33	o 2034
53.12/37.67	o 2024
53.44/37.99	o 2015
54.74/39.14	o 2007
55.14/39.52	o 1986
55.44/39.88	o 1970
55.86/40.24	o 1968
56.16/40.56	o 1963
56.57/40.95	o 1950
56.97/41.32	o 1917
59.31/43.66	o 1916
61.00/45.24	o 1909
63.02/47.25	o 1877
64.14/48.37	o 1873
64.55/48.73	o 1852
64.95/49.16	o 1839
66.30/50.37	o 1834
68.72/52.74	o 1821
69.33/53.38	o 1795
70.85/54.84	o 1790
71.15/55.14	o 1776
71.94/55.82	o 1774
72.95/56.87	o 1755
76.22/60.02	o 1728
76.52/60.39	o 1714
76.92/60.72	o 1712
77.29/61.06	o 1700
77.76/61.45	o 1695
78.36/62.09	o 1689
82.00/65.63	o 1688
83.31/66.96	o 1686
85.51/69.05	o 1677
86.43/69.93	o 1675
87.63/71.17	o 1671
88.34/71.80	o 1669
89.25/72.78	o 1666
89.95/73.45	o 1662
91.89/75.34	o 1658
92.19/75.68	o 1657
92.50/75.99	o 1655
92.90/76.33	o 1654
93.90/77.36	o 1651
94.30/77.72	o 1646
94.60/78.05	o 1637
96.53/79.95	o 1636
109.46/92.58	o 1622
110.16/93.28	o 1617
110.37/93.49	o 1608
110.87/93.93	o 1603
111.07/94.17	o 1602
111.78/94.87	o 1600
112.38/95.40	o 1596
115.95/98.95	o 1592
119.54/102.42	o 1574
126.64/109.42	o 1558
126.84/109.66	o 1544
132.42/115.14	o 1539
133.73/116.46	o 1534
134.34/117.06	o 1520
134.64/117.37	o 1504
144.70/127.28	o 1499
145.24/127.80	o 1494
145.53/128.05	o 1490
150.08/132.52	o 1489
160.22/142.59	o 1486
160.52/142.88	o 1472
168.04/150.25	o 1462
170.40/152.60	o 1459
184.59/166.49	o 1455
186.24/168.01	o 1452
186.54/168.32	o 1441
196.16/177.76	o 1434
203.43/184.86	o 1418
260.11/240.00	java.util.concurrent.TimeoutException
260.11/240.00		at concrete.MAC.mac(MAC.scala:74)
260.11/240.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
260.11/240.00		at scala.util.Try$.apply(Try.scala:209)
260.11/240.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
260.11/240.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
260.11/240.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
260.11/240.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
260.11/240.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
260.11/240.00		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
260.11/240.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
260.11/240.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
260.11/240.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
260.11/240.01		at concrete.MAC.oneRun(MAC.scala:146)
260.11/240.01		at concrete.MAC.nextSolution(MAC.scala:166)
260.11/240.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
260.11/240.01		at concrete.ProblemState.map(ProblemState.scala:203)
260.11/240.01		at concrete.ProblemState.map(ProblemState.scala:188)
260.11/240.01		at concrete.MAC.nextSolution(MAC.scala:195)
260.11/240.01		at concrete.Solver.hasNext(Solver.scala:202)
260.11/240.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
260.11/240.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
260.11/240.01		at concrete.Solver.toStream(Solver.scala:73)
260.11/240.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
260.11/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
260.11/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
260.11/240.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
260.11/240.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
260.11/240.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
260.11/240.01		at scala.util.Success.map(Try.scala:209)
260.11/240.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
260.11/240.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
260.11/240.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
260.11/240.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
260.11/240.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
260.11/240.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
260.11/240.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
260.11/240.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
260.11/240.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
260.11/240.01		at scala.collection.immutable.List.foreach(List.scala:389)
260.11/240.01		at scala.App.main(App.scala:76)
260.11/240.01		at scala.App.main$(App.scala:74)
260.11/240.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
260.11/240.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
260.11/240.02	v <instantiation cost="1418">
260.11/240.02	v       <list>
260.11/240.02	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60]
260.11/240.02	v       </list>
260.11/240.02	v       <values>
260.11/240.02	v         0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 24 100 96 7 55 8 80 83 87 7 36 8 100 100 91 66 58 86 43 36 34 41 56 100 100 59 4 38 45 50 54 74 100 50 44 24 75 79 5 5 22 18 93 36 96 33 58 76 63 100 100 86 59 77 31 64 70 91 30 20
260.11/240.02	v       </values>
260.11/240.02	v     </instantiation>
260.11/240.02	s SATISFIABLE

Verifier Data 

OK	1418

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-4259844-1501649822/watcher-4259844-1501649822 -o /tmp/evaluation-result-4259844-1501649822/solver-4259844-1501649822 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29417 --watchdog 300 bin/concrete HOME/instance-4259844-1501649822.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.83 1.75 1.75 3/195 5748
/proc/meminfo: memFree=29074004/32770624 swapFree=0/942488
[pid=5748] ppid=5745 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5748/stat : 5748 (runsolver) D 5745 5748 5678 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13606932 24240128 106 18446744073709551615 4194304 4338465 140733607397440 140733607395080 140660183753431 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 22638592 140733607399632 140733607400006 140733607400006 140733607403466 0
/proc/5748/statm: 5918 106 53 36 0 2156 0

[startup+0.100203 s]
/proc/loadavg: 1.83 1.75 1.75 3/195 5748
/proc/meminfo: memFree=29074004/32770624 swapFree=0/942488
[pid=5748] ppid=5745 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/5748/stat : 5748 (bash) R 5745 5748 5678 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 13606932 9736192 223 18446744073709551615 4194304 5098028 140736599879216 140736599879216 4636041 0 0 1 0 0 0 0 17 4 0 0 9 0 0 7196144 7232144 25989120 140736599884305 140736599884390 140736599884390 140736599887850 0
/proc/5748/statm: 2377 223 186 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.20024 s]
/proc/loadavg: 1.83 1.75 1.75 3/195 5748
/proc/meminfo: memFree=29074004/32770624 swapFree=0/942488
[pid=5748] ppid=5745 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/5748/stat : 5748 (bash) S 5745 5748 5678 0 -1 4202496 892 6491 0 0 0 0 0 1 20 0 1 0 13606932 9867264 377 18446744073709551615 4194304 5098028 140736599879216 140736599873224 139889678633984 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 25989120 140736599884305 140736599884390 140736599884390 140736599887850 0
/proc/5748/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300305 s]
/proc/loadavg: 1.83 1.75 1.75 3/195 5748
/proc/meminfo: memFree=29074004/32770624 swapFree=0/942488
[pid=5748] ppid=5745 vsize=13574488 CPUtime=0.12 cores=0,2,4,6
/proc/5748/stat : 5748 (java) S 5745 5748 5678 0 -1 1077944320 4937 12369 0 0 4 1 5 2 20 0 9 0 13606932 13900275712 4648 18446744073709551615 4194304 4196468 140730658852592 140730658835136 140700556365559 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
/proc/5748/statm: 3393622 4648 2129 1 0 3383127 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13574488

[startup+0.700211 s]
/proc/loadavg: 1.83 1.75 1.75 3/195 5748
/proc/meminfo: memFree=29074004/32770624 swapFree=0/942488
[pid=5748] ppid=5745 vsize=13974784 CPUtime=0.57 cores=0,2,4,6
/proc/5748/stat : 5748 (java) S 5745 5748 5678 0 -1 1077944320 13127 12369 0 0 46 4 5 2 20 0 15 0 13606932 14310178816 13933 18446744073709551615 4194304 4196468 140730658852592 140730658835136 140700556365559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
/proc/5748/statm: 3493696 13933 3062 1 0 3482973 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 13974784

[startup+1.50057 s]
/proc/loadavg: 1.83 1.75 1.75 4/210 5811
/proc/meminfo: memFree=28982876/32770624 swapFree=0/942752
[pid=5748] ppid=5745 vsize=13985408 CPUtime=1.77 cores=0,2,4,6
/proc/5748/stat : 5748 (java) S 5745 5748 5678 0 -1 1077944320 27253 12369 0 0 162 8 5 2 20 0 15 0 13606932 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140730658835136 140700556365559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
/proc/5748/statm: 3496352 33267 3331 1 0 3485533 0
[pid=5748/tid=5798] ppid=5745 vsize=13985408 CPUtime=1.24 cores=0,2,4,6
/proc/5748/task/5798/stat : 5798 (java) R 5745 5748 5678 0 -1 4202560 22088 12369 0 0 110 7 5 2 20 0 15 0 13606957 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700560599872 140700539724214 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5799] ppid=5745 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5799/stat : 5799 (java) S 5745 5748 5678 0 -1 1077944384 1 12369 0 0 0 0 5 2 20 0 15 0 13606957 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700513331856 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5800] ppid=5745 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5800/stat : 5800 (java) S 5745 5748 5678 0 -1 1077944384 1 12369 0 0 0 0 5 2 20 0 15 0 13606957 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700155046416 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5801] ppid=5745 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5801/stat : 5801 (java) S 5745 5748 5678 0 -1 1077944384 1 12369 0 0 0 0 5 2 20 0 15 0 13606957 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700153993616 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5802] ppid=5745 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5802/stat : 5802 (java) S 5745 5748 5678 0 -1 1077944384 2 12369 0 0 0 0 5 2 20 0 15 0 13606957 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700152940816 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5803] ppid=5745 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5803/stat : 5803 (java) S 5745 5748 5678 0 -1 1077944384 5 12369 0 0 0 0 5 2 20 0 15 0 13606959 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700034235248 140700556376706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5804] ppid=5745 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5804/stat : 5804 (java) S 5745 5748 5678 0 -1 1077944384 33 12369 0 0 0 0 5 2 20 0 15 0 13606959 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700033181216 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5805] ppid=5745 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5805/stat : 5805 (java) S 5745 5748 5678 0 -1 1077944384 21 12369 0 0 0 0 5 2 20 0 15 0 13606959 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700032128368 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5806] ppid=5745 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5806/stat : 5806 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700031076688 140700556384155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5807] ppid=5745 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/5748/task/5807/stat : 5807 (java) S 5745 5748 5678 0 -1 1077944384 917 12369 0 0 15 0 5 2 20 0 15 0 13606962 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700030024048 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5808] ppid=5745 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/5748/task/5808/stat : 5808 (java) S 5745 5748 5678 0 -1 1077944384 693 12369 0 0 14 0 5 2 20 0 15 0 13606962 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700028971248 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5809] ppid=5745 vsize=13985408 CPUtime=0.28 cores=0,2,4,6
/proc/5748/task/5809/stat : 5809 (java) S 5745 5748 5678 0 -1 1077944384 1328 12369 0 0 21 0 5 2 20 0 15 0 13606962 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700027918448 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5810] ppid=5745 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5810/stat : 5810 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700026865888 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5811] ppid=5745 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5811/stat : 5811 (java) S 5745 5748 5678 0 -1 1077944384 5 12369 0 0 0 0 5 2 20 0 15 0 13606968 14321057792 33267 18446744073709551615 4194304 4196468 140730658852592 140700025814192 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 13985408

[startup+3.10065 s]
/proc/loadavg: 1.83 1.75 1.75 4/210 5811
/proc/meminfo: memFree=28904388/32770624 swapFree=0/942752
[pid=5748] ppid=5745 vsize=13995836 CPUtime=5.66 cores=0,2,4,6
/proc/5748/stat : 5748 (java) S 5745 5748 5678 0 -1 1077944320 39950 12369 0 0 545 14 5 2 20 0 15 0 13606932 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140730658835136 140700556365559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
/proc/5748/statm: 3498959 57247 3442 1 0 3487581 0
[pid=5748/tid=5798] ppid=5745 vsize=13995836 CPUtime=2.8 cores=0,2,4,6
/proc/5748/task/5798/stat : 5798 (java) R 5745 5748 5678 0 -1 4202560 27299 12369 0 0 264 9 5 2 20 0 15 0 13606957 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700560595840 140700192752417 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5799] ppid=5745 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5799/stat : 5799 (java) S 5745 5748 5678 0 -1 1077944384 70 12369 0 0 0 0 5 2 20 0 15 0 13606957 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700513331856 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5800] ppid=5745 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/5748/task/5800/stat : 5800 (java) S 5745 5748 5678 0 -1 1077944384 185 12369 0 0 1 0 5 2 20 0 15 0 13606957 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700155046416 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5801] ppid=5745 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/5748/task/5801/stat : 5801 (java) S 5745 5748 5678 0 -1 1077944384 48 12369 0 0 1 0 5 2 20 0 15 0 13606957 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700153993616 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5802] ppid=5745 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/5748/task/5802/stat : 5802 (java) S 5745 5748 5678 0 -1 1077944384 52 12369 0 0 1 0 5 2 20 0 15 0 13606957 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700152940816 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5803] ppid=5745 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/5748/task/5803/stat : 5803 (java) S 5745 5748 5678 0 -1 1077944384 1632 12369 0 0 1 0 5 2 20 0 15 0 13606959 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700034235248 140700556376706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5804] ppid=5745 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5804/stat : 5804 (java) S 5745 5748 5678 0 -1 1077944384 54 12369 0 0 0 0 5 2 20 0 15 0 13606959 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700033181216 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5805] ppid=5745 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5805/stat : 5805 (java) S 5745 5748 5678 0 -1 1077944384 44 12369 0 0 0 0 5 2 20 0 15 0 13606959 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700032128384 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5806] ppid=5745 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5806/stat : 5806 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700031076688 140700556384155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5807] ppid=5745 vsize=13995836 CPUtime=0.95 cores=0,2,4,6
/proc/5748/task/5807/stat : 5807 (java) R 5745 5748 5678 0 -1 4202560 1904 12369 0 0 88 0 5 2 20 0 15 0 13606962 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700030011728 140700541491646 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5808] ppid=5745 vsize=13995836 CPUtime=0.93 cores=0,2,4,6
/proc/5748/task/5808/stat : 5808 (java) R 5745 5748 5678 0 -1 4202560 2343 12369 0 0 85 1 5 2 20 0 15 0 13606962 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700028958032 140700541490944 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5809] ppid=5745 vsize=13995836 CPUtime=1.07 cores=0,2,4,6
/proc/5748/task/5809/stat : 5809 (java) S 5745 5748 5678 0 -1 1077944384 4154 12369 0 0 99 1 5 2 20 0 15 0 13606962 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700027918448 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5810] ppid=5745 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5810/stat : 5810 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700026865888 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5811] ppid=5745 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5811/stat : 5811 (java) S 5745 5748 5678 0 -1 1077944384 7 12369 0 0 0 0 5 2 20 0 15 0 13606968 14331736064 57247 18446744073709551615 4194304 4196468 140730658852592 140700025814192 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 13995836

[startup+6.30061 s]
/proc/loadavg: 1.92 1.77 1.75 6/210 5811
/proc/meminfo: memFree=28680644/32770624 swapFree=0/942760
[pid=5748] ppid=5745 vsize=14069564 CPUtime=15.7 cores=0,2,4,6
/proc/5748/stat : 5748 (java) S 5745 5748 5678 0 -1 1077944320 87559 12369 0 0 1532 31 5 2 20 0 15 0 13606932 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140730658835136 140700556365559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
/proc/5748/statm: 3517391 106974 3469 1 0 3506013 0
[pid=5748/tid=5798] ppid=5745 vsize=14069564 CPUtime=5.83 cores=0,2,4,6
/proc/5748/task/5798/stat : 5798 (java) S 5745 5748 5678 0 -1 1077944384 51774 12369 0 0 562 14 5 2 20 0 15 0 13606957 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700560603136 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5799] ppid=5745 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/5748/task/5799/stat : 5799 (java) R 5745 5748 5678 0 -1 4202560 391 12369 0 0 11 2 5 2 20 0 15 0 13606957 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700513331856 140700541316164 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5800] ppid=5745 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/5748/task/5800/stat : 5800 (java) R 5745 5748 5678 0 -1 4202560 433 12369 0 0 11 1 5 2 20 0 15 0 13606957 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700155046616 140700541063198 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5801] ppid=5745 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/5748/task/5801/stat : 5801 (java) R 5745 5748 5678 0 -1 4202560 411 12369 0 0 12 1 5 2 20 0 15 0 13606957 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700153993512 140700548993767 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5802] ppid=5745 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/5748/task/5802/stat : 5802 (java) R 5745 5748 5678 0 -1 4202560 126 12369 0 0 10 2 5 2 20 0 15 0 13606957 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700152940816 140700541316164 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5803] ppid=5745 vsize=14069564 CPUtime=0.11 cores=0,2,4,6
/proc/5748/task/5803/stat : 5803 (java) S 5745 5748 5678 0 -1 1077944384 2552 12369 0 0 4 0 5 2 20 0 15 0 13606959 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700034233648 140700556375765 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5804] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5804/stat : 5804 (java) S 5745 5748 5678 0 -1 1077944384 54 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700033181280 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5805] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5805/stat : 5805 (java) S 5745 5748 5678 0 -1 1077944384 44 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700032128384 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5806] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5806/stat : 5806 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700031076688 140700556384155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5807] ppid=5745 vsize=14069564 CPUtime=3.67 cores=0,2,4,6
/proc/5748/task/5807/stat : 5807 (java) R 5745 5748 5678 0 -1 4202560 11219 12369 0 0 358 2 5 2 20 0 15 0 13606962 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700030005064 140700537885619 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5808] ppid=5745 vsize=14069564 CPUtime=3.67 cores=0,2,4,6
/proc/5748/task/5808/stat : 5808 (java) S 5745 5748 5678 0 -1 1077944384 9064 12369 0 0 358 2 5 2 20 0 15 0 13606962 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700028959200 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5809] ppid=5745 vsize=14069564 CPUtime=2.09 cores=0,2,4,6
/proc/5748/task/5809/stat : 5809 (java) S 5745 5748 5678 0 -1 1077944384 9182 12369 0 0 200 2 5 2 20 0 15 0 13606962 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700027918448 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5810] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5810/stat : 5810 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700026865888 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5811] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5811/stat : 5811 (java) S 5745 5748 5678 0 -1 1077944384 151 12369 0 0 0 0 5 2 20 0 15 0 13606968 14407233536 106974 18446744073709551615 4194304 4196468 140730658852592 140700025814192 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
Current children cumulated CPU time (s) 15.7
Current children cumulated vsize (KiB) 14069564

[startup+12.7008 s]
/proc/loadavg: 2.09 1.80 1.77 3/210 5811
/proc/meminfo: memFree=28283824/32770624 swapFree=0/942768
[pid=5748] ppid=5745 vsize=14069564 CPUtime=26.43 cores=0,2,4,6
/proc/5748/stat : 5748 (java) S 5745 5748 5678 0 -1 1077944320 103275 12369 0 0 2586 50 5 2 20 0 15 0 13606932 14407233536 170396 18446744073709551615 4194304 4196468 140730658852592 140730658835136 140700556365559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
/proc/5748/statm: 3517391 170396 3476 1 0 3506013 0
[pid=5748/tid=5798] ppid=5745 vsize=14069564 CPUtime=11.79 cores=0,2,4,6
/proc/5748/task/5798/stat : 5798 (java) R 5745 5748 5678 0 -1 4202560 54168 12369 0 0 1155 17 5 2 20 0 15 0 13606957 14407233536 170396 18446744073709551615 4194304 4196468 140730658852592 140700560594128 140700211802890 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5799] ppid=5745 vsize=14069564 CPUtime=0.51 cores=0,2,4,6
/proc/5748/task/5799/stat : 5799 (java) S 5745 5748 5678 0 -1 1077944384 541 12369 0 0 39 5 5 2 20 0 15 0 13606957 14407233536 170396 18446744073709551615 4194304 4196468 140730658852592 140700513331856 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5800] ppid=5745 vsize=14069564 CPUtime=0.51 cores=0,2,4,6
/proc/5748/task/5800/stat : 5800 (java) S 5745 5748 5678 0 -1 1077944384 1417 12369 0 0 39 5 5 2 20 0 15 0 13606957 14407233536 170396 18446744073709551615 4194304 4196468 140730658852592 140700155046416 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5801] ppid=5745 vsize=14069564 CPUtime=0.53 cores=0,2,4,6
/proc/5748/task/5801/stat : 5801 (java) S 5745 5748 5678 0 -1 1077944384 580 12369 0 0 41 5 5 2 20 0 15 0 13606957 14407233536 170396 18446744073709551615 4194304 4196468 140730658852592 140700153993616 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5802] ppid=5745 vsize=14069564 CPUtime=0.51 cores=0,2,4,6
/proc/5748/task/5802/stat : 5802 (java) S 5745 5748 5678 0 -1 1077944384 320 12369 0 0 38 6 5 2 20 0 15 0 13606957 14407233536 170396 18446744073709551615 4194304 4196468 140730658852592 140700152940816 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5803] ppid=5745 vsize=14069564 CPUtime=0.23 cores=0,2,4,6
/proc/5748/task/5803/stat : 5803 (java) S 5745 5748 5678 0 -1 1077944384 10649 12369 0 0 15 1 5 2 20 0 15 0 13606959 14407233536 170396 18446744073709551615 4194304 4196468 140730658852592 140700034235248 140700556376706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5804] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5804/stat : 5804 (java) S 5745 5748 5678 0 -1 1077944384 57 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 170396 18446744073709551615 4194304 4196468 140730658852592 140700033181280 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5805] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5805/stat : 5805 (java) S 5745 5748 5678 0 -1 1077944384 47 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 170396 18446744073709551615 4194304 4196468 140730658852592 140700032128384 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5806] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5806/stat : 5806 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 170396 18446744073709551615 4194304 4196468 140730658852592 140700031076688 140700556384155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0

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

/proc/5748/task/5810/stat : 5810 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 329249 18446744073709551615 4194304 4196468 140730658852592 140700026865888 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5811] ppid=5745 vsize=14069564 CPUtime=0.09 cores=0,2,4,6
/proc/5748/task/5811/stat : 5811 (java) S 5745 5748 5678 0 -1 1077944384 1262 12369 0 0 1 1 5 2 20 0 15 0 13606968 14407233536 329249 18446744073709551615 4194304 4196468 140730658852592 140700025814192 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
Current children cumulated CPU time (s) 67.11
Current children cumulated vsize (KiB) 14069564

[startup+102.301 s]
/proc/loadavg: 1.90 1.79 1.76 3/210 5813
/proc/meminfo: memFree=27302128/32770624 swapFree=0/942892
[pid=5748] ppid=5745 vsize=14069564 CPUtime=119.4 cores=0,2,4,6
/proc/5748/stat : 5748 (java) S 5745 5748 5678 0 -1 1077944320 139961 12369 0 0 11789 144 5 2 20 0 15 0 13606932 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140730658835136 140700556365559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
/proc/5748/statm: 3517391 379917 3479 1 0 3506013 0
[pid=5748/tid=5798] ppid=5745 vsize=14069564 CPUtime=100.92 cores=0,2,4,6
/proc/5748/task/5798/stat : 5798 (java) R 5745 5748 5678 0 -1 4202560 66122 12369 0 0 10062 23 5 2 20 0 15 0 13606957 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700560601928 140700211803185 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5799] ppid=5745 vsize=14069564 CPUtime=0.97 cores=0,2,4,6
/proc/5748/task/5799/stat : 5799 (java) S 5745 5748 5678 0 -1 1077944384 1542 12369 0 0 64 26 5 2 20 0 15 0 13606957 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700513331856 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5800] ppid=5745 vsize=14069564 CPUtime=0.96 cores=0,2,4,6
/proc/5748/task/5800/stat : 5800 (java) S 5745 5748 5678 0 -1 1077944384 2842 12369 0 0 63 26 5 2 20 0 15 0 13606957 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700155046416 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5801] ppid=5745 vsize=14069564 CPUtime=0.97 cores=0,2,4,6
/proc/5748/task/5801/stat : 5801 (java) S 5745 5748 5678 0 -1 1077944384 2382 12369 0 0 64 26 5 2 20 0 15 0 13606957 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700153993616 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5802] ppid=5745 vsize=14069564 CPUtime=0.95 cores=0,2,4,6
/proc/5748/task/5802/stat : 5802 (java) S 5745 5748 5678 0 -1 1077944384 924 12369 0 0 61 27 5 2 20 0 15 0 13606957 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700152940816 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5803] ppid=5745 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/5748/task/5803/stat : 5803 (java) S 5745 5748 5678 0 -1 1077944384 11564 12369 0 0 17 1 5 2 20 0 15 0 13606959 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700034235248 140700556376706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5804] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5804/stat : 5804 (java) S 5745 5748 5678 0 -1 1077944384 67 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700033181280 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5805] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5805/stat : 5805 (java) S 5745 5748 5678 0 -1 1077944384 47 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700032128384 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5806] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5806/stat : 5806 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700031076688 140700556384155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5807] ppid=5745 vsize=14069564 CPUtime=6.3 cores=0,2,4,6
/proc/5748/task/5807/stat : 5807 (java) S 5745 5748 5678 0 -1 1077944384 19817 12369 0 0 620 3 5 2 20 0 15 0 13606962 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700030024048 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5808] ppid=5745 vsize=14069564 CPUtime=5.97 cores=0,2,4,6
/proc/5748/task/5808/stat : 5808 (java) S 5745 5748 5678 0 -1 1077944384 15105 12369 0 0 588 2 5 2 20 0 15 0 13606962 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700028971248 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5809] ppid=5745 vsize=14069564 CPUtime=2.5 cores=0,2,4,6
/proc/5748/task/5809/stat : 5809 (java) S 5745 5748 5678 0 -1 1077944384 16126 12369 0 0 240 3 5 2 20 0 15 0 13606962 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700027918448 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5810] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5810/stat : 5810 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700026865888 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5811] ppid=5745 vsize=14069564 CPUtime=0.11 cores=0,2,4,6
/proc/5748/task/5811/stat : 5811 (java) S 5745 5748 5678 0 -1 1077944384 1265 12369 0 0 2 2 5 2 20 0 15 0 13606968 14407233536 379917 18446744073709551615 4194304 4196468 140730658852592 140700025814192 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
Current children cumulated CPU time (s) 119.4
Current children cumulated vsize (KiB) 14069564

[startup+162.301 s]
/proc/loadavg: 1.72 1.75 1.76 3/209 5815
/proc/meminfo: memFree=27814408/32770624 swapFree=0/942972
[pid=5748] ppid=5745 vsize=14069564 CPUtime=180.41 cores=0,2,4,6
/proc/5748/stat : 5748 (java) S 5745 5748 5678 0 -1 1077944320 159171 12369 0 0 17886 148 5 2 20 0 15 0 13606932 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140730658835136 140700556365559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
/proc/5748/statm: 3517391 273517 3484 1 0 3506013 0
[pid=5748/tid=5798] ppid=5745 vsize=14069564 CPUtime=160.7 cores=0,2,4,6
/proc/5748/task/5798/stat : 5798 (java) R 5745 5748 5678 0 -1 4202560 71710 12369 0 0 16039 24 5 2 20 0 15 0 13606957 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700560599104 140700206642796 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5799] ppid=5745 vsize=14069564 CPUtime=1.16 cores=0,2,4,6
/proc/5748/task/5799/stat : 5799 (java) S 5745 5748 5678 0 -1 1077944384 1716 12369 0 0 83 26 5 2 20 0 15 0 13606957 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700513331856 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5800] ppid=5745 vsize=14069564 CPUtime=1.16 cores=0,2,4,6
/proc/5748/task/5800/stat : 5800 (java) S 5745 5748 5678 0 -1 1077944384 3086 12369 0 0 83 26 5 2 20 0 15 0 13606957 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700155046416 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5801] ppid=5745 vsize=14069564 CPUtime=1.18 cores=0,2,4,6
/proc/5748/task/5801/stat : 5801 (java) S 5745 5748 5678 0 -1 1077944384 3007 12369 0 0 84 27 5 2 20 0 15 0 13606957 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700153993616 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5802] ppid=5745 vsize=14069564 CPUtime=1.16 cores=0,2,4,6
/proc/5748/task/5802/stat : 5802 (java) S 5745 5748 5678 0 -1 1077944384 2366 12369 0 0 81 28 5 2 20 0 15 0 13606957 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700152940816 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5803] ppid=5745 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/5748/task/5803/stat : 5803 (java) S 5745 5748 5678 0 -1 1077944384 12085 12369 0 0 18 1 5 2 20 0 15 0 13606959 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700034235248 140700556376706 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5804] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5804/stat : 5804 (java) S 5745 5748 5678 0 -1 1077944384 76 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700033181280 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5805] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5805/stat : 5805 (java) S 5745 5748 5678 0 -1 1077944384 47 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700032128384 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5806] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5806/stat : 5806 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700031076688 140700556384155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5807] ppid=5745 vsize=14069564 CPUtime=6.49 cores=0,2,4,6
/proc/5748/task/5807/stat : 5807 (java) S 5745 5748 5678 0 -1 1077944384 22993 12369 0 0 638 4 5 2 20 0 15 0 13606962 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700030024048 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5808] ppid=5745 vsize=14069564 CPUtime=6.14 cores=0,2,4,6
/proc/5748/task/5808/stat : 5808 (java) S 5745 5748 5678 0 -1 1077944384 16367 12369 0 0 604 3 5 2 20 0 15 0 13606962 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700028971248 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5809] ppid=5745 vsize=14069564 CPUtime=2.55 cores=0,2,4,6
/proc/5748/task/5809/stat : 5809 (java) S 5745 5748 5678 0 -1 1077944384 22212 12369 0 0 245 3 5 2 20 0 15 0 13606962 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700027918448 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5810] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5810/stat : 5810 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700026865888 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5811] ppid=5745 vsize=14069564 CPUtime=0.15 cores=0,2,4,6
/proc/5748/task/5811/stat : 5811 (java) S 5745 5748 5678 0 -1 1077944384 1348 12369 0 0 4 4 5 2 20 0 15 0 13606968 14407233536 273517 18446744073709551615 4194304 4196468 140730658852592 140700025814192 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
Current children cumulated CPU time (s) 180.41
Current children cumulated vsize (KiB) 14069564

[startup+222.306 s]
/proc/loadavg: 1.60 1.71 1.74 3/209 5942
/proc/meminfo: memFree=29008396/32770624 swapFree=0/943080
[pid=5748] ppid=5745 vsize=14069564 CPUtime=242.12 cores=0,2,4,6
/proc/5748/stat : 5748 (java) S 5745 5748 5678 0 -1 1077944320 166434 12369 0 0 24034 171 5 2 20 0 15 0 13606932 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140730658835136 140700556365559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
/proc/5748/statm: 3517391 260265 3486 1 0 3506013 0
[pid=5748/tid=5798] ppid=5745 vsize=14069564 CPUtime=220.26 cores=0,2,4,6
/proc/5748/task/5798/stat : 5798 (java) R 5745 5748 5678 0 -1 4202560 73664 12369 0 0 21993 26 5 2 20 0 15 0 13606957 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700560596232 140700213210780 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5799] ppid=5745 vsize=14069564 CPUtime=1.58 cores=0,2,4,6
/proc/5748/task/5799/stat : 5799 (java) S 5745 5748 5678 0 -1 1077944384 2101 12369 0 0 120 31 5 2 20 0 15 0 13606957 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700513331856 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5800] ppid=5745 vsize=14069564 CPUtime=1.57 cores=0,2,4,6
/proc/5748/task/5800/stat : 5800 (java) S 5745 5748 5678 0 -1 1077944384 3482 12369 0 0 119 31 5 2 20 0 15 0 13606957 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700155046416 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5801] ppid=5745 vsize=14069564 CPUtime=1.6 cores=0,2,4,6
/proc/5748/task/5801/stat : 5801 (java) S 5745 5748 5678 0 -1 1077944384 3415 12369 0 0 121 32 5 2 20 0 15 0 13606957 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700153993616 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5802] ppid=5745 vsize=14069564 CPUtime=1.56 cores=0,2,4,6
/proc/5748/task/5802/stat : 5802 (java) S 5745 5748 5678 0 -1 1077944384 3671 12369 0 0 117 32 5 2 20 0 15 0 13606957 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700152940816 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5803] ppid=5745 vsize=14069564 CPUtime=0.28 cores=0,2,4,6
/proc/5748/task/5803/stat : 5803 (java) S 5745 5748 5678 0 -1 1077944384 12251 12369 0 0 20 1 5 2 20 0 15 0 13606959 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700034235248 140700556376706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5804] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5804/stat : 5804 (java) S 5745 5748 5678 0 -1 1077944384 76 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700033181280 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5805] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5805/stat : 5805 (java) S 5745 5748 5678 0 -1 1077944384 47 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700032128384 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5806] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5806/stat : 5806 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700031076688 140700556384155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5807] ppid=5745 vsize=14069564 CPUtime=6.7 cores=0,2,4,6
/proc/5748/task/5807/stat : 5807 (java) S 5745 5748 5678 0 -1 1077944384 24173 12369 0 0 659 4 5 2 20 0 15 0 13606962 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700030024048 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5808] ppid=5745 vsize=14069564 CPUtime=6.33 cores=0,2,4,6
/proc/5748/task/5808/stat : 5808 (java) S 5745 5748 5678 0 -1 1077944384 17683 12369 0 0 623 3 5 2 20 0 15 0 13606962 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700028971248 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5809] ppid=5745 vsize=14069564 CPUtime=2.58 cores=0,2,4,6
/proc/5748/task/5809/stat : 5809 (java) S 5745 5748 5678 0 -1 1077944384 22345 12369 0 0 248 3 5 2 20 0 15 0 13606962 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700027918448 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5810] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5810/stat : 5810 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700026865888 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5811] ppid=5745 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/5748/task/5811/stat : 5811 (java) S 5745 5748 5678 0 -1 1077944384 1368 12369 0 0 5 5 5 2 20 0 15 0 13606968 14407233536 260265 18446744073709551615 4194304 4196468 140730658852592 140700025814192 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
Current children cumulated CPU time (s) 242.12
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.57 1.69 1.74 3/209 5943
/proc/meminfo: memFree=28982636/32770624 swapFree=0/943092
[pid=5748] ppid=5745 vsize=14069564 CPUtime=260.11 cores=0,2,4,6
/proc/5748/stat : 5748 (java) S 5745 5748 5678 0 -1 1077944320 173474 12369 0 0 25831 173 5 2 20 0 15 0 13606932 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140730658835136 140700556365559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
/proc/5748/statm: 3517391 236597 3486 1 0 3506013 0
[pid=5748/tid=5798] ppid=5745 vsize=14069564 CPUtime=237.87 cores=0,2,4,6
/proc/5748/task/5798/stat : 5798 (java) R 5745 5748 5678 0 -1 4202560 74887 12369 0 0 23754 26 5 2 20 0 15 0 13606957 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700560598936 140700208446630 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5799] ppid=5745 vsize=14069564 CPUtime=1.65 cores=0,2,4,6
/proc/5748/task/5799/stat : 5799 (java) S 5745 5748 5678 0 -1 1077944384 2269 12369 0 0 127 31 5 2 20 0 15 0 13606957 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700513331856 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5800] ppid=5745 vsize=14069564 CPUtime=1.63 cores=0,2,4,6
/proc/5748/task/5800/stat : 5800 (java) S 5745 5748 5678 0 -1 1077944384 3975 12369 0 0 125 31 5 2 20 0 15 0 13606957 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700155046416 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5801] ppid=5745 vsize=14069564 CPUtime=1.66 cores=0,2,4,6
/proc/5748/task/5801/stat : 5801 (java) S 5745 5748 5678 0 -1 1077944384 3575 12369 0 0 127 32 5 2 20 0 15 0 13606957 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700153993616 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5802] ppid=5745 vsize=14069564 CPUtime=1.63 cores=0,2,4,6
/proc/5748/task/5802/stat : 5802 (java) S 5745 5748 5678 0 -1 1077944384 3736 12369 0 0 123 33 5 2 20 0 15 0 13606957 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700152940816 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5803] ppid=5745 vsize=14069564 CPUtime=0.3 cores=0,2,4,6
/proc/5748/task/5803/stat : 5803 (java) S 5745 5748 5678 0 -1 1077944384 12494 12369 0 0 21 2 5 2 20 0 15 0 13606959 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700034235248 140700556376706 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5804] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5804/stat : 5804 (java) S 5745 5748 5678 0 -1 1077944384 76 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700033181280 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5805] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5805/stat : 5805 (java) S 5745 5748 5678 0 -1 1077944384 47 12369 0 0 0 0 5 2 20 0 15 0 13606959 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700032128384 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5806] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5806/stat : 5806 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700031076688 140700556384155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5807] ppid=5745 vsize=14069564 CPUtime=6.74 cores=0,2,4,6
/proc/5748/task/5807/stat : 5807 (java) R 5745 5748 5678 0 -1 4202560 24826 12369 0 0 663 4 5 2 20 0 15 0 13606962 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700030024048 140700535633027 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5808] ppid=5745 vsize=14069564 CPUtime=6.38 cores=0,2,4,6
/proc/5748/task/5808/stat : 5808 (java) S 5745 5748 5678 0 -1 1077944384 19926 12369 0 0 628 3 5 2 20 0 15 0 13606962 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700028971248 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5809] ppid=5745 vsize=14069564 CPUtime=2.59 cores=0,2,4,6
/proc/5748/task/5809/stat : 5809 (java) S 5745 5748 5678 0 -1 1077944384 24118 12369 0 0 249 3 5 2 20 0 15 0 13606962 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700027918448 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5810] ppid=5745 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5748/task/5810/stat : 5810 (java) S 5745 5748 5678 0 -1 1077944384 3 12369 0 0 0 0 5 2 20 0 15 0 13606962 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700026865888 140700556375765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
[pid=5748/tid=5811] ppid=5745 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/5748/task/5811/stat : 5811 (java) S 5745 5748 5678 0 -1 1077944384 1387 12369 0 0 6 6 5 2 20 0 15 0 13606968 14407233536 236597 18446744073709551615 4194304 4196468 140730658852592 140700025814192 140700556376706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140730658858957 140730658861742 140730658861742 140730658865103 0
Current children cumulated CPU time (s) 260.11
Current children cumulated vsize (KiB) 14069564

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

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

Child status: 143
Real time (s): 240.059
CPU time (s): 260.226
CPU user time (s): 258.442
CPU system time (s): 1.784
CPU usage (%): 108.401
Max. virtual memory (cumulated for all children) (KiB): 14071684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.442
system time used= 1.784
maximum resident set size= 1603304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17008
involuntary context switches= 480

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0726 second user time and 1.49259 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 06:43:04
IDJOB=4259844
IDBENCH=124394
IDSOLVER=2646
FILE ID=node128/4259844-1501649822
RUNJOBID= node128-1501642693-29417
PBS_JOBID= 
Free space on /tmp= 61828 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n61-k9.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259844-1501649822/watcher-4259844-1501649822 -o /tmp/evaluation-result-4259844-1501649822/solver-4259844-1501649822 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29417 --watchdog 300  bin/concrete HOME/instance-4259844-1501649822.xml

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

MD5SUM BENCH= 4ab7546591ba88ff6acec2aa7538cbc2
RANDOM SEED=1765324170

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29074780 kB
MemAvailable:   30017340 kB
Buffers:          119984 kB
Cached:          1103016 kB
SwapCached:            0 kB
Active:          2334244 kB
Inactive:         951020 kB
Active(anon):    2062824 kB
Inactive(anon):     8532 kB
Active(file):     271420 kB
Inactive(file):   942488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24228 kB
Writeback:             0 kB
AnonPages:       2062292 kB
Mapped:            43684 kB
Shmem:              8872 kB
Slab:             114760 kB
SReclaimable:      88976 kB
SUnreclaim:        25784 kB
KernelStack:        3440 kB
PageTables:         9508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2993600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1820672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61804 MiB
End job on node128 at 2017-08-02 06:47:04