Trace number 4262213

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)1200 2520.1101 2469.8501

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 benchmark1147
Best CPU time to get the best result obtained on this benchmark2400.09
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.23/2.20	c Concrete v3.4 running
17.03/6.64	o 3256
17.88/6.98	o 3240
18.70/7.32	o 3204
19.39/7.65	o 3154
19.83/7.99	o 3085
20.61/8.31	o 3029
21.44/8.62	o 3010
21.74/8.88	o 2998
22.19/9.18	o 2980
22.50/9.44	o 2964
22.81/9.73	o 2944
23.02/9.96	o 2906
23.26/10.19	o 2887
23.77/10.69	o 2842
24.09/10.97	o 2840
24.39/11.23	o 2751
24.61/11.49	o 2742
24.95/11.78	o 2700
25.33/12.03	o 2686
25.54/12.29	o 2679
25.84/12.55	o 2645
26.53/13.11	o 2622
26.76/13.37	o 2600
27.05/13.68	o 2595
27.36/13.94	o 2589
27.66/14.26	o 2583
28.38/14.83	o 2546
29.06/15.46	o 2543
29.37/15.75	o 2533
29.67/16.05	o 2502
29.97/16.35	o 2449
30.28/16.62	o 2437
30.60/16.92	o 2403
31.89/18.18	o 2398
32.19/18.47	o 2396
32.91/19.11	o 2355
33.21/19.43	o 2315
34.79/20.85	o 2303
35.83/21.87	o 2289
36.14/22.18	o 2274
36.55/22.56	o 2268
37.67/23.63	o 2257
38.04/23.98	o 2246
38.45/24.31	o 2243
40.29/25.35	o 2229
40.59/25.65	o 2210
42.36/27.39	o 2202
43.27/28.10	o 2198
44.60/29.48	o 2190
45.06/29.80	o 2182
46.07/30.84	o 2171
46.82/31.52	o 2063
48.06/32.63	o 2035
50.19/34.76	o 2034
50.49/35.07	o 2024
50.79/35.36	o 2015
51.81/36.38	o 2007
52.32/36.77	o 1986
52.65/37.09	o 1970
53.06/37.42	o 1968
53.36/37.72	o 1963
53.68/38.07	o 1950
54.08/38.40	o 1917
56.25/40.52	o 1916
57.73/41.97	o 1909
59.55/43.79	o 1877
60.67/44.80	o 1873
60.97/45.12	o 1852
61.38/45.51	o 1839
62.39/46.57	o 1834
64.73/48.76	o 1821
65.36/49.34	o 1795
66.67/50.66	o 1790
66.97/50.94	o 1776
67.57/51.53	o 1774
68.64/52.50	o 1755
71.60/55.41	o 1728
71.91/55.75	o 1714
72.21/56.05	o 1712
72.56/56.35	o 1700
72.86/56.68	o 1695
73.48/57.26	o 1689
76.78/60.49	o 1688
78.00/61.69	o 1686
79.90/63.55	o 1677
80.71/64.37	o 1675
81.87/65.49	o 1671
82.49/66.06	o 1669
83.40/66.94	o 1666
84.00/67.54	o 1662
85.72/69.23	o 1658
86.02/69.53	o 1657
86.32/69.82	o 1655
86.62/70.12	o 1654
87.60/71.07	o 1651
87.90/71.39	o 1646
88.22/71.69	o 1637
89.93/73.39	o 1636
101.88/85.07	o 1622
102.62/85.71	o 1617
102.82/85.90	o 1608
103.21/86.31	o 1603
103.43/86.53	o 1602
104.03/87.17	o 1600
104.54/87.68	o 1596
107.91/90.94	o 1592
111.13/94.11	o 1574
117.65/100.55	o 1558
117.85/100.78	o 1544
122.92/105.77	o 1539
124.12/106.98	o 1534
124.76/107.53	o 1520
125.08/107.81	o 1504
134.28/116.90	o 1499
134.68/117.38	o 1494
134.98/117.61	o 1490
139.15/121.71	o 1489
148.52/130.98	o 1486
148.81/131.23	o 1472
155.70/138.02	o 1462
157.86/140.15	o 1459
170.90/152.97	o 1455
172.31/154.34	o 1452
172.61/154.63	o 1441
181.51/163.30	o 1434
187.98/169.71	o 1418
300.19/279.21	o 1414
314.13/292.64	o 1410
344.39/321.79	o 1398
361.05/337.87	o 1382
464.38/438.42	o 1352
478.05/451.71	o 1350
526.22/498.27	o 1348
526.56/498.57	o 1334
526.96/498.91	o 1330
544.88/516.37	o 1328
545.63/517.03	o 1314
546.33/517.73	o 1313
548.15/519.56	o 1303
568.83/539.30	o 1293
573.43/543.86	o 1291
872.76/835.19	o 1288
889.75/851.81	o 1270
913.68/875.29	o 1266
918.32/879.82	o 1259
959.21/919.76	o 1253
1054.95/1013.42	o 1244
1091.31/1049.19	o 1230
1102.39/1060.02	o 1217
1102.69/1060.37	o 1213
2359.22/2309.70	o 1204
2398.57/2348.91	o 1200
2520.03/2469.80	java.util.concurrent.TimeoutException
2520.03/2469.80		at concrete.MAC.mac(MAC.scala:74)
2520.03/2469.80		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.03/2469.80		at scala.util.Try$.apply(Try.scala:209)
2520.03/2469.80		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2469.80		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2469.80		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2469.80		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2469.80		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.03/2469.80		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2469.80		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2469.80		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2469.80		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2469.80		at concrete.MAC.oneRun(MAC.scala:146)
2520.03/2469.80		at concrete.MAC.nextSolution(MAC.scala:166)
2520.03/2469.80		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.03/2469.80		at concrete.ProblemState.map(ProblemState.scala:203)
2520.03/2469.80		at concrete.ProblemState.map(ProblemState.scala:188)
2520.03/2469.80		at concrete.MAC.nextSolution(MAC.scala:195)
2520.03/2469.80		at concrete.Solver.hasNext(Solver.scala:202)
2520.03/2469.80		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.03/2469.80		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.03/2469.80		at concrete.Solver.toStream(Solver.scala:73)
2520.03/2469.80		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.03/2469.80		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.03/2469.80		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.03/2469.80		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.03/2469.80		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.03/2469.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2469.81		at scala.util.Success.map(Try.scala:209)
2520.03/2469.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.03/2469.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.03/2469.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.03/2469.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.03/2469.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.03/2469.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2469.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2469.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2469.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2469.81		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2469.81		at scala.App.main(App.scala:76)
2520.03/2469.81		at scala.App.main$(App.scala:74)
2520.03/2469.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.03/2469.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2469.81	v <instantiation cost="1200">
2520.03/2469.81	v       <list>
2520.03/2469.81	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[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]
2520.03/2469.81	v       </list>
2520.03/2469.81	v       <values>
2520.03/2469.81	v         0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 84 81 44 8 82 83 100 7 36 22 82 100 100 50 22 77 36 36 53 41 58 87 73 59 25 100 64 20 52 74 100 89 68 43 32 72 5 5 22 96 100 21 85 22 17 60 68 14 100 68 59 66 100 23 34 100 19 82
2520.03/2469.81	v       </values>
2520.03/2469.81	v     </instantiation>
2520.03/2469.81	s SATISFIABLE

Verifier Data 

OK	1200

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-4262213-1502437567/watcher-4262213-1502437567 -o /tmp/evaluation-result-4262213-1502437567/solver-4262213-1502437567 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4262213-1502437567.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.41 1.42 1.41 2/199 12777
/proc/meminfo: memFree=30660512/32770624 swapFree=0/447992
[pid=12777] ppid=12774 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12777/stat : 12777 (runsolver) D 12774 12777 4896 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 143409554 24240128 108 18446744073709551615 4194304 4338465 140721568186672 140721568184312 139903125623511 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 19087360 140721568190673 140721568191049 140721568191049 140721568194506 0
/proc/12777/statm: 5918 108 54 36 0 2156 0

[startup+0.100231 s]
/proc/loadavg: 1.41 1.42 1.41 2/199 12777
/proc/meminfo: memFree=30660512/32770624 swapFree=0/447992
[pid=12777] ppid=12774 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/12777/stat : 12777 (bash) S 12774 12777 4896 0 -1 4202496 896 6474 0 0 0 0 0 1 20 0 1 0 143409554 9867264 377 18446744073709551615 4194304 5098028 140733382641040 140733382635048 140077845548032 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 34467840 140733382644244 140733382644329 140733382644329 140733382647786 0
/proc/12777/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.20022 s]
/proc/loadavg: 1.41 1.42 1.41 2/199 12777
/proc/meminfo: memFree=30660512/32770624 swapFree=0/447992
[pid=12777] ppid=12774 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/12777/stat : 12777 (bash) S 12774 12777 4896 0 -1 4202496 896 6474 0 0 0 0 0 1 20 0 1 0 143409554 9867264 377 18446744073709551615 4194304 5098028 140733382641040 140733382635048 140077845548032 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 34467840 140733382644244 140733382644329 140733382644329 140733382647786 0
/proc/12777/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300277 s]
/proc/loadavg: 1.41 1.42 1.41 2/199 12777
/proc/meminfo: memFree=30660512/32770624 swapFree=0/447992
[pid=12777] ppid=12774 vsize=13973872 CPUtime=0.14 cores=1,3,5,7
/proc/12777/stat : 12777 (java) S 12774 12777 4896 0 -1 1077944320 5525 12431 0 0 6 1 5 2 20 0 15 0 143409554 14309244928 5681 18446744073709551615 4194304 4196468 140734190703168 140734190685712 140094201495287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
/proc/12777/statm: 3493468 5681 2559 1 0 3482965 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13973872

[startup+0.700218 s]
/proc/loadavg: 1.41 1.42 1.41 2/199 12777
/proc/meminfo: memFree=30660512/32770624 swapFree=0/447992
[pid=12777] ppid=12774 vsize=13974784 CPUtime=0.69 cores=1,3,5,7
/proc/12777/stat : 12777 (java) S 12774 12777 4896 0 -1 1077944320 13648 12431 0 0 58 4 5 2 20 0 15 0 143409554 14310178816 15089 18446744073709551615 4194304 4196468 140734190703168 140734190685712 140094201495287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
/proc/12777/statm: 3493696 15089 3120 1 0 3482965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784

[startup+1.50309 s]
/proc/loadavg: 1.41 1.42 1.41 4/214 12840
/proc/meminfo: memFree=30565012/32770624 swapFree=0/448320
[pid=12777] ppid=12774 vsize=13985408 CPUtime=1.92 cores=1,3,5,7
/proc/12777/stat : 12777 (java) S 12774 12777 4896 0 -1 1077944320 28775 12431 0 0 176 9 5 2 20 0 15 0 143409554 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140734190685712 140094201495287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
/proc/12777/statm: 3496352 43203 3383 1 0 3485525 0
[pid=12777/tid=12827] ppid=12774 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/12777/task/12827/stat : 12827 (java) R 12774 12777 4896 0 -1 4202560 21992 12431 0 0 116 6 5 2 20 0 15 0 143409575 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140094205721680 140094185538917 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12828] ppid=12774 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12777/task/12828/stat : 12828 (java) S 12774 12777 4896 0 -1 1077944384 203 12431 0 0 1 0 5 2 20 0 15 0 143409576 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140094120909840 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12829] ppid=12774 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12777/task/12829/stat : 12829 (java) S 12774 12777 4896 0 -1 1077944384 53 12431 0 0 1 0 5 2 20 0 15 0 143409576 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140094119857296 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12830] ppid=12774 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12777/task/12830/stat : 12830 (java) S 12774 12777 4896 0 -1 1077944384 37 12431 0 0 1 0 5 2 20 0 15 0 143409576 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140094118804240 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12831] ppid=12774 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12777/task/12831/stat : 12831 (java) S 12774 12777 4896 0 -1 1077944384 71 12431 0 0 1 0 5 2 20 0 15 0 143409576 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140094117751696 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12832] ppid=12774 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/12777/task/12832/stat : 12832 (java) S 12774 12777 4896 0 -1 1077944384 1148 12431 0 0 1 0 5 2 20 0 15 0 143409577 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140093679962352 140094201506434 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12833] ppid=12774 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12833/stat : 12833 (java) S 12774 12777 4896 0 -1 1077944384 55 12431 0 0 0 0 5 2 20 0 15 0 143409578 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140093678908640 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12834] ppid=12774 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12834/stat : 12834 (java) S 12774 12777 4896 0 -1 1077944384 43 12431 0 0 0 0 5 2 20 0 15 0 143409578 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140093677855488 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12835] ppid=12774 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12835/stat : 12835 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409580 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140093676804048 140094201513883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12836] ppid=12774 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/12777/task/12836/stat : 12836 (java) R 12774 12777 4896 0 -1 1077944384 1020 12431 0 0 14 0 5 2 20 0 15 0 143409580 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140093675752176 140094201506434 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12837] ppid=12774 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/12777/task/12837/stat : 12837 (java) S 12774 12777 4896 0 -1 1077944384 642 12431 0 0 15 0 5 2 20 0 15 0 143409580 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140093674699632 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12838] ppid=12774 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/12777/task/12838/stat : 12838 (java) R 12774 12777 4896 0 -1 4202560 1347 12431 0 0 23 0 5 2 20 0 15 0 143409581 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140093673643232 140094183058843 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12839] ppid=12774 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12839/stat : 12839 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409581 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140093672594272 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12840] ppid=12774 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12840/stat : 12840 (java) S 12774 12777 4896 0 -1 1077944384 6 12431 0 0 0 0 5 2 20 0 15 0 143409584 14321057792 43203 18446744073709551615 4194304 4196468 140734190703168 140093671541296 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 13985408

[startup+3.10558 s]
/proc/loadavg: 1.37 1.42 1.41 5/214 12840
/proc/meminfo: memFree=30486204/32770624 swapFree=0/448320
[pid=12777] ppid=12774 vsize=13995836 CPUtime=6.41 cores=1,3,5,7
/proc/12777/stat : 12777 (java) S 12774 12777 4896 0 -1 1077944320 42995 12431 0 0 621 13 5 2 20 0 15 0 143409554 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140734190685712 140094201495287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
/proc/12777/statm: 3498959 59240 3458 1 0 3487573 0
[pid=12777/tid=12827] ppid=12774 vsize=13995836 CPUtime=2.88 cores=1,3,5,7
/proc/12777/task/12827/stat : 12827 (java) R 12774 12777 4896 0 -1 4202560 29056 12431 0 0 273 8 5 2 20 0 15 0 143409575 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140094205723744 140094186571376 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12828] ppid=12774 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/12777/task/12828/stat : 12828 (java) S 12774 12777 4896 0 -1 1077944384 203 12431 0 0 1 0 5 2 20 0 15 0 143409576 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140094120909840 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12829] ppid=12774 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/12777/task/12829/stat : 12829 (java) S 12774 12777 4896 0 -1 1077944384 53 12431 0 0 1 0 5 2 20 0 15 0 143409576 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140094119857296 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12830] ppid=12774 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/12777/task/12830/stat : 12830 (java) S 12774 12777 4896 0 -1 1077944384 37 12431 0 0 1 0 5 2 20 0 15 0 143409576 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140094118804240 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12831] ppid=12774 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/12777/task/12831/stat : 12831 (java) S 12774 12777 4896 0 -1 1077944384 71 12431 0 0 1 0 5 2 20 0 15 0 143409576 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140094117751696 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12832] ppid=12774 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/12777/task/12832/stat : 12832 (java) S 12774 12777 4896 0 -1 1077944384 1173 12431 0 0 1 0 5 2 20 0 15 0 143409577 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140093679962352 140094201506434 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12833] ppid=12774 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12833/stat : 12833 (java) S 12774 12777 4896 0 -1 1077944384 55 12431 0 0 0 0 5 2 20 0 15 0 143409578 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140093678908640 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12834] ppid=12774 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12834/stat : 12834 (java) S 12774 12777 4896 0 -1 1077944384 43 12431 0 0 0 0 5 2 20 0 15 0 143409578 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140093677855488 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12835] ppid=12774 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12835/stat : 12835 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409580 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140093676804048 140094201513883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12836] ppid=12774 vsize=13995836 CPUtime=1.27 cores=1,3,5,7
/proc/12777/task/12836/stat : 12836 (java) R 12774 12777 4896 0 -1 4202560 4116 12431 0 0 119 1 5 2 20 0 15 0 143409580 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140093675741888 140094179322672 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12837] ppid=12774 vsize=13995836 CPUtime=1.22 cores=1,3,5,7
/proc/12777/task/12837/stat : 12837 (java) R 12774 12777 4896 0 -1 1077944384 2389 12431 0 0 115 0 5 2 20 0 15 0 143409580 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140093674688000 140094201505493 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12838] ppid=12774 vsize=13995836 CPUtime=1.14 cores=1,3,5,7
/proc/12777/task/12838/stat : 12838 (java) R 12774 12777 4896 0 -1 4202560 3651 12431 0 0 106 1 5 2 20 0 15 0 143409581 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140093673640928 140094201507222 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12839] ppid=12774 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12839/stat : 12839 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409581 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140093672594272 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12840] ppid=12774 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12840/stat : 12840 (java) S 12774 12777 4896 0 -1 1077944384 8 12431 0 0 0 0 5 2 20 0 15 0 143409584 14331736064 59240 18446744073709551615 4194304 4196468 140734190703168 140093671541296 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 13995836

[startup+6.3006 s]
/proc/loadavg: 1.37 1.42 1.41 5/213 12840
/proc/meminfo: memFree=30324732/32770624 swapFree=0/448320
[pid=12777] ppid=12774 vsize=14069564 CPUtime=16.08 cores=1,3,5,7
/proc/12777/stat : 12777 (java) S 12774 12777 4896 0 -1 1077944320 82697 12431 0 0 1576 25 5 2 20 0 15 0 143409554 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140734190685712 140094201495287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
/proc/12777/statm: 3517391 100371 3480 1 0 3506005 0
[pid=12777/tid=12827] ppid=12774 vsize=14069564 CPUtime=5.73 cores=1,3,5,7
/proc/12777/task/12827/stat : 12827 (java) S 12774 12777 4896 0 -1 1077944384 48949 12431 0 0 555 11 5 2 20 0 15 0 143409575 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140094205732944 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12828] ppid=12774 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/12777/task/12828/stat : 12828 (java) R 12774 12777 4896 0 -1 4202560 289 12431 0 0 22 1 5 2 20 0 15 0 143409576 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140094120909960 140094194123495 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12829] ppid=12774 vsize=14069564 CPUtime=0.33 cores=1,3,5,7
/proc/12777/task/12829/stat : 12829 (java) R 12774 12777 4896 0 -1 4202560 327 12431 0 0 25 1 5 2 20 0 15 0 143409576 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140094119857104 140094194123495 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12830] ppid=12774 vsize=14069564 CPUtime=0.31 cores=1,3,5,7
/proc/12777/task/12830/stat : 12830 (java) R 12774 12777 4896 0 -1 4202560 213 12431 0 0 23 1 5 2 20 0 15 0 143409576 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140094118804440 140094186195949 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12831] ppid=12774 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/12777/task/12831/stat : 12831 (java) R 12774 12777 4896 0 -1 4202560 255 12431 0 0 24 1 5 2 20 0 15 0 143409576 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140094117751504 140094194123495 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12832] ppid=12774 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/12777/task/12832/stat : 12832 (java) S 12774 12777 4896 0 -1 1077944384 7459 12431 0 0 7 0 5 2 20 0 15 0 143409577 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140093679960976 140094201505493 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12833] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12833/stat : 12833 (java) S 12774 12777 4896 0 -1 1077944384 55 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140093678908640 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12834] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12834/stat : 12834 (java) S 12774 12777 4896 0 -1 1077944384 43 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140093677855488 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12835] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12835/stat : 12835 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409580 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140093676804048 140094201513883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12836] ppid=12774 vsize=14069564 CPUtime=3.71 cores=1,3,5,7
/proc/12777/task/12836/stat : 12836 (java) S 12774 12777 4896 0 -1 1077944384 8044 12431 0 0 362 2 5 2 20 0 15 0 143409580 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140093675737168 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12837] ppid=12774 vsize=14069564 CPUtime=3.58 cores=1,3,5,7
/proc/12777/task/12837/stat : 12837 (java) S 12774 12777 4896 0 -1 1077944384 6218 12431 0 0 349 2 5 2 20 0 15 0 143409580 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140093674679072 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12838] ppid=12774 vsize=14069564 CPUtime=2.12 cores=1,3,5,7
/proc/12777/task/12838/stat : 12838 (java) S 12774 12777 4896 0 -1 1077944384 8578 12431 0 0 203 2 5 2 20 0 15 0 143409581 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140093673646576 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12839] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12839/stat : 12839 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409581 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140093672594272 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12840] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12840/stat : 12840 (java) S 12774 12777 4896 0 -1 1077944384 107 12431 0 0 0 0 5 2 20 0 15 0 143409584 14407233536 100371 18446744073709551615 4194304 4196468 140734190703168 140093671541296 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
Current children cumulated CPU time (s) 16.08
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.69 1.48 1.43 3/213 12840
/proc/meminfo: memFree=30031612/32770624 swapFree=0/448320
[pid=12777] ppid=12774 vsize=14069564 CPUtime=26.04 cores=1,3,5,7
/proc/12777/stat : 12777 (java) S 12774 12777 4896 0 -1 1077944320 91424 12431 0 0 2556 41 5 2 20 0 15 0 143409554 14407233536 160858 18446744073709551615 4194304 4196468 140734190703168 140734190685712 140094201495287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
/proc/12777/statm: 3517391 160858 3485 1 0 3506005 0
[pid=12777/tid=12827] ppid=12774 vsize=14069564 CPUtime=11.8 cores=1,3,5,7
/proc/12777/task/12827/stat : 12827 (java) R 12774 12777 4896 0 -1 4202560 51641 12431 0 0 1160 13 5 2 20 0 15 0 143409575 14407233536 160858 18446744073709551615 4194304 4196468 140734190703168 140094205723856 140093810848144 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12828] ppid=12774 vsize=14069564 CPUtime=0.54 cores=1,3,5,7
/proc/12777/task/12828/stat : 12828 (java) S 12774 12777 4896 0 -1 1077944384 434 12431 0 0 43 4 5 2 20 0 15 0 143409576 14407233536 160858 18446744073709551615 4194304 4196468 140734190703168 140094120909840 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12829] ppid=12774 vsize=14069564 CPUtime=0.55 cores=1,3,5,7
/proc/12777/task/12829/stat : 12829 (java) S 12774 12777 4896 0 -1 1077944384 465 12431 0 0 44 4 5 2 20 0 15 0 143409576 14407233536 160858 18446744073709551615 4194304 4196468 140734190703168 140094119857296 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12830] ppid=12774 vsize=14069564 CPUtime=0.55 cores=1,3,5,7
/proc/12777/task/12830/stat : 12830 (java) S 12774 12777 4896 0 -1 1077944384 1119 12431 0 0 44 4 5 2 20 0 15 0 143409576 14407233536 160858 18446744073709551615 4194304 4196468 140734190703168 140094118804240 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12831] ppid=12774 vsize=14069564 CPUtime=0.57 cores=1,3,5,7
/proc/12777/task/12831/stat : 12831 (java) S 12774 12777 4896 0 -1 1077944384 452 12431 0 0 45 5 5 2 20 0 15 0 143409576 14407233536 160858 18446744073709551615 4194304 4196468 140734190703168 140094117751696 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12832] ppid=12774 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/12777/task/12832/stat : 12832 (java) S 12774 12777 4896 0 -1 1077944384 7806 12431 0 0 15 0 5 2 20 0 15 0 143409577 14407233536 160858 18446744073709551615 4194304 4196468 140734190703168 140093679962352 140094201506434 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12833] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12833/stat : 12833 (java) S 12774 12777 4896 0 -1 1077944384 59 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 160858 18446744073709551615 4194304 4196468 140734190703168 140093678908640 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12834] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12834/stat : 12834 (java) S 12774 12777 4896 0 -1 1077944384 46 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 160858 18446744073709551615 4194304 4196468 140734190703168 140093677855488 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12835] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12835/stat : 12835 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409580 14407233536 160858 18446744073709551615 4194304 4196468 140734190703168 140093676804048 140094201513883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0

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

/proc/12777/task/12839/stat : 12839 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409581 14407233536 1082665 18446744073709551615 4194304 4196468 140734190703168 140093672594272 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12840] ppid=12774 vsize=14069564 CPUtime=1.17 cores=1,3,5,7
/proc/12777/task/12840/stat : 12840 (java) S 12774 12777 4896 0 -1 1077944384 1872 12431 0 0 52 58 5 2 20 0 15 0 143409584 14407233536 1082665 18446744073709551615 4194304 4196468 140734190703168 140093671541296 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
Current children cumulated CPU time (s) 2311.71
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 1.70 1.66 1.60 3/215 13131
/proc/meminfo: memFree=26247788/32770624 swapFree=0/448840
[pid=12777] ppid=12774 vsize=14069564 CPUtime=2371.87 cores=1,3,5,7
/proc/12777/stat : 12777 (java) S 12774 12777 4896 0 -1 1077944320 510547 12431 0 0 236305 875 5 2 20 0 15 0 143409554 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140734190685712 140094201495287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
/proc/12777/statm: 3517391 1082774 3496 1 0 3506005 0
[pid=12777/tid=12827] ppid=12774 vsize=14069564 CPUtime=2312.59 cores=1,3,5,7
/proc/12777/task/12827/stat : 12827 (java) R 12774 12777 4896 0 -1 4202560 205491 12431 0 0 231202 50 5 2 20 0 15 0 143409575 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140094205729672 140093817164028 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12828] ppid=12774 vsize=14069564 CPUtime=8.28 cores=1,3,5,7
/proc/12777/task/12828/stat : 12828 (java) S 12774 12777 4896 0 -1 1077944384 26623 12431 0 0 635 186 5 2 20 0 15 0 143409576 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140094120909840 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12829] ppid=12774 vsize=14069564 CPUtime=8.32 cores=1,3,5,7
/proc/12777/task/12829/stat : 12829 (java) S 12774 12777 4896 0 -1 1077944384 20735 12431 0 0 637 188 5 2 20 0 15 0 143409576 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140094119857296 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12830] ppid=12774 vsize=14069564 CPUtime=8.3 cores=1,3,5,7
/proc/12777/task/12830/stat : 12830 (java) S 12774 12777 4896 0 -1 1077944384 25101 12431 0 0 638 185 5 2 20 0 15 0 143409576 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140094118804240 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12831] ppid=12774 vsize=14069564 CPUtime=8.32 cores=1,3,5,7
/proc/12777/task/12831/stat : 12831 (java) S 12774 12777 4896 0 -1 1077944384 26474 12431 0 0 637 188 5 2 20 0 15 0 143409576 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140094117751696 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12832] ppid=12774 vsize=14069564 CPUtime=0.9 cores=1,3,5,7
/proc/12777/task/12832/stat : 12832 (java) S 12774 12777 4896 0 -1 1077944384 29927 12431 0 0 71 12 5 2 20 0 15 0 143409577 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140093679962352 140094201506434 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12833] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12833/stat : 12833 (java) S 12774 12777 4896 0 -1 1077944384 93 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140093678908640 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12834] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12834/stat : 12834 (java) S 12774 12777 4896 0 -1 1077944384 46 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140093677855488 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12835] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12835/stat : 12835 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409580 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140093676804048 140094201513883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12836] ppid=12774 vsize=14069564 CPUtime=9.99 cores=1,3,5,7
/proc/12777/task/12836/stat : 12836 (java) S 12774 12777 4896 0 -1 1077944384 57842 12431 0 0 984 8 5 2 20 0 15 0 143409580 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140093675752176 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12837] ppid=12774 vsize=14069564 CPUtime=10.24 cores=1,3,5,7
/proc/12777/task/12837/stat : 12837 (java) S 12774 12777 4896 0 -1 1077944384 54162 12431 0 0 1010 7 5 2 20 0 15 0 143409580 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140093674699632 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12838] ppid=12774 vsize=14069564 CPUtime=4.23 cores=1,3,5,7
/proc/12777/task/12838/stat : 12838 (java) S 12774 12777 4896 0 -1 1077944384 59996 12431 0 0 407 9 5 2 20 0 15 0 143409581 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140093673646576 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12839] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12839/stat : 12839 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409581 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140093672594272 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12840] ppid=12774 vsize=14069564 CPUtime=1.21 cores=1,3,5,7
/proc/12777/task/12840/stat : 12840 (java) S 12774 12777 4896 0 -1 1077944384 1897 12431 0 0 54 60 5 2 20 0 15 0 143409584 14407233536 1082774 18446744073709551615 4194304 4196468 140734190703168 140093671541296 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
Current children cumulated CPU time (s) 2371.87
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.69 1.67 1.61 3/215 13133
/proc/meminfo: memFree=26256568/32770624 swapFree=0/448868
[pid=12777] ppid=12774 vsize=14069564 CPUtime=2432.09 cores=1,3,5,7
/proc/12777/stat : 12777 (java) S 12774 12777 4896 0 -1 1077944320 517021 12431 0 0 242324 878 5 2 20 0 15 0 143409554 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140734190685712 140094201495287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
/proc/12777/statm: 3517391 1082849 3496 1 0 3506005 0
[pid=12777/tid=12827] ppid=12774 vsize=14069564 CPUtime=2372.52 cores=1,3,5,7
/proc/12777/task/12827/stat : 12827 (java) R 12774 12777 4896 0 -1 4202560 210329 12431 0 0 237194 51 5 2 20 0 15 0 143409575 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140094205729280 140093817163987 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12828] ppid=12774 vsize=14069564 CPUtime=8.34 cores=1,3,5,7
/proc/12777/task/12828/stat : 12828 (java) S 12774 12777 4896 0 -1 1077944384 26828 12431 0 0 641 186 5 2 20 0 15 0 143409576 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140094120909840 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12829] ppid=12774 vsize=14069564 CPUtime=8.38 cores=1,3,5,7
/proc/12777/task/12829/stat : 12829 (java) S 12774 12777 4896 0 -1 1077944384 20754 12431 0 0 643 188 5 2 20 0 15 0 143409576 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140094119857296 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12830] ppid=12774 vsize=14069564 CPUtime=8.36 cores=1,3,5,7
/proc/12777/task/12830/stat : 12830 (java) S 12774 12777 4896 0 -1 1077944384 25141 12431 0 0 644 185 5 2 20 0 15 0 143409576 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140094118804240 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12831] ppid=12774 vsize=14069564 CPUtime=8.38 cores=1,3,5,7
/proc/12777/task/12831/stat : 12831 (java) S 12774 12777 4896 0 -1 1077944384 26639 12431 0 0 643 188 5 2 20 0 15 0 143409576 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140094117751696 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12832] ppid=12774 vsize=14069564 CPUtime=0.91 cores=1,3,5,7
/proc/12777/task/12832/stat : 12832 (java) S 12774 12777 4896 0 -1 1077944384 30110 12431 0 0 71 13 5 2 20 0 15 0 143409577 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140093679962352 140094201506434 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12833] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12833/stat : 12833 (java) S 12774 12777 4896 0 -1 1077944384 93 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140093678908640 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12834] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12834/stat : 12834 (java) S 12774 12777 4896 0 -1 1077944384 46 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140093677855488 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12835] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12835/stat : 12835 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409580 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140093676804048 140094201513883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12836] ppid=12774 vsize=14069564 CPUtime=10 cores=1,3,5,7
/proc/12777/task/12836/stat : 12836 (java) S 12774 12777 4896 0 -1 1077944384 58837 12431 0 0 985 8 5 2 20 0 15 0 143409580 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140093675752176 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12837] ppid=12774 vsize=14069564 CPUtime=10.24 cores=1,3,5,7
/proc/12777/task/12837/stat : 12837 (java) S 12774 12777 4896 0 -1 1077944384 54162 12431 0 0 1010 7 5 2 20 0 15 0 143409580 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140093674699632 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12838] ppid=12774 vsize=14069564 CPUtime=4.23 cores=1,3,5,7
/proc/12777/task/12838/stat : 12838 (java) S 12774 12777 4896 0 -1 1077944384 59996 12431 0 0 407 9 5 2 20 0 15 0 143409581 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140093673646576 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12839] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12839/stat : 12839 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409581 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140093672594272 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12840] ppid=12774 vsize=14069564 CPUtime=1.24 cores=1,3,5,7
/proc/12777/task/12840/stat : 12840 (java) S 12774 12777 4896 0 -1 1077944384 1926 12431 0 0 55 62 5 2 20 0 15 0 143409584 14407233536 1082849 18446744073709551615 4194304 4196468 140734190703168 140093671541296 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
Current children cumulated CPU time (s) 2432.09
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.71 1.66 1.60 3/212 13135
/proc/meminfo: memFree=26246788/32770624 swapFree=0/448888
[pid=12777] ppid=12774 vsize=14069564 CPUtime=2492.38 cores=1,3,5,7
/proc/12777/stat : 12777 (java) S 12774 12777 4896 0 -1 1077944320 525195 12431 0 0 248351 880 5 2 20 0 15 0 143409554 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140734190685712 140094201495287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
/proc/12777/statm: 3517391 1082866 3496 1 0 3506005 0
[pid=12777/tid=12827] ppid=12774 vsize=14069564 CPUtime=2432.43 cores=1,3,5,7
/proc/12777/task/12827/stat : 12827 (java) R 12774 12777 4896 0 -1 4202560 214477 12431 0 0 243184 52 5 2 20 0 15 0 143409575 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140094205729280 140093797246074 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12828] ppid=12774 vsize=14069564 CPUtime=8.42 cores=1,3,5,7
/proc/12777/task/12828/stat : 12828 (java) S 12774 12777 4896 0 -1 1077944384 26993 12431 0 0 649 186 5 2 20 0 15 0 143409576 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140094120909840 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12829] ppid=12774 vsize=14069564 CPUtime=8.46 cores=1,3,5,7
/proc/12777/task/12829/stat : 12829 (java) S 12774 12777 4896 0 -1 1077944384 20893 12431 0 0 651 188 5 2 20 0 15 0 143409576 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140094119857296 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12830] ppid=12774 vsize=14069564 CPUtime=8.44 cores=1,3,5,7
/proc/12777/task/12830/stat : 12830 (java) S 12774 12777 4896 0 -1 1077944384 26720 12431 0 0 652 185 5 2 20 0 15 0 143409576 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140094118804240 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12831] ppid=12774 vsize=14069564 CPUtime=8.46 cores=1,3,5,7
/proc/12777/task/12831/stat : 12831 (java) S 12774 12777 4896 0 -1 1077944384 26806 12431 0 0 651 188 5 2 20 0 15 0 143409576 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140094117751696 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12832] ppid=12774 vsize=14069564 CPUtime=0.92 cores=1,3,5,7
/proc/12777/task/12832/stat : 12832 (java) S 12774 12777 4896 0 -1 1077944384 30435 12431 0 0 72 13 5 2 20 0 15 0 143409577 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140093679962352 140094201506434 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12833] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12833/stat : 12833 (java) S 12774 12777 4896 0 -1 1077944384 93 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140093678908640 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12834] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12834/stat : 12834 (java) S 12774 12777 4896 0 -1 1077944384 46 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140093677855488 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12835] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12835/stat : 12835 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409580 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140093676804048 140094201513883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12836] ppid=12774 vsize=14069564 CPUtime=10 cores=1,3,5,7
/proc/12777/task/12836/stat : 12836 (java) S 12774 12777 4896 0 -1 1077944384 58844 12431 0 0 985 8 5 2 20 0 15 0 143409580 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140093675752176 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12837] ppid=12774 vsize=14069564 CPUtime=10.24 cores=1,3,5,7
/proc/12777/task/12837/stat : 12837 (java) S 12774 12777 4896 0 -1 1077944384 55766 12431 0 0 1010 7 5 2 20 0 15 0 143409580 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140093674699632 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12838] ppid=12774 vsize=14069564 CPUtime=4.23 cores=1,3,5,7
/proc/12777/task/12838/stat : 12838 (java) S 12774 12777 4896 0 -1 1077944384 60007 12431 0 0 407 9 5 2 20 0 15 0 143409581 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140093673646576 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12839] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12839/stat : 12839 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409581 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140093672594272 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12840] ppid=12774 vsize=14069564 CPUtime=1.27 cores=1,3,5,7
/proc/12777/task/12840/stat : 12840 (java) S 12774 12777 4896 0 -1 1077944384 1955 12431 0 0 57 63 5 2 20 0 15 0 143409584 14407233536 1082866 18446744073709551615 4194304 4196468 140734190703168 140093671541296 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
Current children cumulated CPU time (s) 2492.38
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2469.8 s]
/proc/loadavg: 1.52 1.62 1.59 3/212 13135
/proc/meminfo: memFree=26222340/32770624 swapFree=0/448880
[pid=12777] ppid=12774 vsize=14069564 CPUtime=2520.03 cores=1,3,5,7
/proc/12777/stat : 12777 (java) S 12774 12777 4896 0 -1 1077944320 530204 12431 0 0 251116 880 5 2 20 0 15 0 143409554 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140734190685712 140094201495287 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
/proc/12777/statm: 3517391 1082537 3496 1 0 3506005 0
[pid=12777/tid=12827] ppid=12774 vsize=14069564 CPUtime=2459.88 cores=1,3,5,7
/proc/12777/task/12827/stat : 12827 (java) R 12774 12777 4896 0 -1 4202560 217075 12431 0 0 245929 52 5 2 20 0 15 0 143409575 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140094205728656 140093818077598 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12828] ppid=12774 vsize=14069564 CPUtime=8.47 cores=1,3,5,7
/proc/12777/task/12828/stat : 12828 (java) S 12774 12777 4896 0 -1 1077944384 27145 12431 0 0 654 186 5 2 20 0 15 0 143409576 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140094120909840 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12829] ppid=12774 vsize=14069564 CPUtime=8.51 cores=1,3,5,7
/proc/12777/task/12829/stat : 12829 (java) S 12774 12777 4896 0 -1 1077944384 20997 12431 0 0 656 188 5 2 20 0 15 0 143409576 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140094119857296 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12830] ppid=12774 vsize=14069564 CPUtime=8.49 cores=1,3,5,7
/proc/12777/task/12830/stat : 12830 (java) S 12774 12777 4896 0 -1 1077944384 28277 12431 0 0 657 185 5 2 20 0 15 0 143409576 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140094118804240 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12831] ppid=12774 vsize=14069564 CPUtime=8.51 cores=1,3,5,7
/proc/12777/task/12831/stat : 12831 (java) S 12774 12777 4896 0 -1 1077944384 27065 12431 0 0 656 188 5 2 20 0 15 0 143409576 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140094117751696 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12832] ppid=12774 vsize=14069564 CPUtime=0.92 cores=1,3,5,7
/proc/12777/task/12832/stat : 12832 (java) S 12774 12777 4896 0 -1 1077944384 30757 12431 0 0 72 13 5 2 20 0 15 0 143409577 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140093679962352 140094201506434 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12833] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12833/stat : 12833 (java) S 12774 12777 4896 0 -1 1077944384 93 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140093678908640 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12834] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12834/stat : 12834 (java) S 12774 12777 4896 0 -1 1077944384 46 12431 0 0 0 0 5 2 20 0 15 0 143409578 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140093677855488 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12835] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12835/stat : 12835 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409580 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140093676804048 140094201513883 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12836] ppid=12774 vsize=14069564 CPUtime=10 cores=1,3,5,7
/proc/12777/task/12836/stat : 12836 (java) S 12774 12777 4896 0 -1 1077944384 58844 12431 0 0 985 8 5 2 20 0 15 0 143409580 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140093675752176 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12837] ppid=12774 vsize=14069564 CPUtime=10.24 cores=1,3,5,7
/proc/12777/task/12837/stat : 12837 (java) S 12774 12777 4896 0 -1 1077944384 55766 12431 0 0 1010 7 5 2 20 0 15 0 143409580 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140093674699632 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12838] ppid=12774 vsize=14069564 CPUtime=4.23 cores=1,3,5,7
/proc/12777/task/12838/stat : 12838 (java) S 12774 12777 4896 0 -1 1077944384 60008 12431 0 0 407 9 5 2 20 0 15 0 143409581 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140093673646576 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12839] ppid=12774 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/12777/task/12839/stat : 12839 (java) S 12774 12777 4896 0 -1 1077944384 3 12431 0 0 0 0 5 2 20 0 15 0 143409581 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140093672594272 140094201505493 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
[pid=12777/tid=12840] ppid=12774 vsize=14069564 CPUtime=1.28 cores=1,3,5,7
/proc/12777/task/12840/stat : 12840 (java) S 12774 12777 4896 0 -1 1077944384 1971 12431 0 0 57 64 5 2 20 0 15 0 143409584 14407233536 1082537 18446744073709551615 4194304 4196468 140734190703168 140093671541296 140094201506434 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27951104 140734190704592 140734190707377 140734190707377 140734190710735 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 14069564

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

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

Child status: 143
Real time (s): 2469.85
CPU time (s): 2520.11
CPU user time (s): 2511.25
CPU system time (s): 8.85834
CPU usage (%): 102.035
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.25
system time used= 8.85834
maximum resident set size= 4331652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 547336
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81029
involuntary context switches= 2993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6402 second user time and 15.8105 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-11 09:31:43
IDJOB=4262213
IDBENCH=124394
IDSOLVER=2650
FILE ID=node132/4262213-1502437567
RUNJOBID= node132-1502411403-4960
PBS_JOBID= 
Free space on /tmp= 62008 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-4262213-1502437567/watcher-4262213-1502437567 -o /tmp/evaluation-result-4262213-1502437567/solver-4262213-1502437567 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580  bin/concrete HOME/instance-4262213-1502437567.xml

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

MD5SUM BENCH= 4ab7546591ba88ff6acec2aa7538cbc2
RANDOM SEED=1626034506

node132.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.74
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.74
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.74
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.74
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:        30660524 kB
MemAvailable:   31511356 kB
Buffers:          292384 kB
Cached:           869164 kB
SwapCached:            0 kB
Active:          1174888 kB
Inactive:         497004 kB
Active(anon):     511308 kB
Inactive(anon):    49012 kB
Active(file):     663580 kB
Inactive(file):   447992 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24168 kB
Writeback:             4 kB
AnonPages:        509704 kB
Mapped:            72456 kB
Shmem:             49852 kB
Slab:             136820 kB
SReclaimable:     110192 kB
SUnreclaim:        26628 kB
KernelStack:        3520 kB
PageTables:         8404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1283480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

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