Trace number 4246287

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)1213 2400.15 2306.79

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.86/2.25	c Concrete v3.4 running
23.22/7.07	o 3256
24.24/7.39	o 3240
24.93/7.72	o 3204
25.59/8.05	o 3154
26.34/8.41	o 3085
27.10/8.74	o 3029
27.92/9.03	o 3010
28.41/9.31	o 2998
28.75/9.60	o 2980
28.95/9.86	o 2964
29.26/10.15	o 2944
29.88/10.43	o 2906
30.09/10.66	o 2887
30.72/11.22	o 2842
31.03/11.50	o 2840
31.23/11.77	o 2751
31.76/12.05	o 2742
32.07/12.34	o 2700
32.45/12.60	o 2686
32.65/12.87	o 2679
32.96/13.13	o 2645
33.88/13.72	o 2622
34.11/13.99	o 2600
34.41/14.30	o 2595
34.73/14.58	o 2589
35.03/14.90	o 2583
36.02/15.52	o 2546
36.67/16.13	o 2543
36.99/16.43	o 2533
37.29/16.73	o 2502
37.59/17.04	o 2449
37.89/17.32	o 2437
38.22/17.62	o 2403
39.94/18.95	o 2398
40.24/19.25	o 2396
40.86/19.90	o 2355
41.26/20.22	o 2315
42.81/21.66	o 2303
43.94/22.70	o 2289
44.24/23.02	o 2274
44.66/23.41	o 2268
45.68/24.48	o 2257
46.46/24.88	o 2246
46.86/25.23	o 2243
48.37/26.27	o 2229
48.68/26.56	o 2210
50.54/28.31	o 2202
51.15/28.98	o 2198
52.81/30.39	o 2190
53.25/30.71	o 2182
54.28/31.74	o 2171
55.03/32.42	o 2063
56.15/33.54	o 2035
58.55/35.67	o 2034
58.85/35.98	o 2024
59.15/36.27	o 2015
60.17/37.28	o 2007
60.58/37.62	o 1986
60.89/37.96	o 1970
61.20/38.29	o 1968
61.72/38.62	o 1963
62.12/38.98	o 1950
62.52/39.31	o 1917
64.68/41.44	o 1916
66.10/42.89	o 1909
68.47/44.78	o 1877
69.58/45.80	o 1873
69.88/46.12	o 1852
70.29/46.51	o 1839
71.31/47.58	o 1834
73.53/49.74	o 1821
74.14/50.32	o 1795
75.68/51.70	o 1790
75.98/51.98	o 1776
76.59/52.57	o 1774
77.59/53.53	o 1755
80.55/56.43	o 1728
80.86/56.77	o 1714
81.67/57.14	o 1712
82.02/57.44	o 1700
82.32/57.77	o 1695
82.94/58.35	o 1689
86.18/61.59	o 1688
87.39/62.79	o 1686
89.47/64.70	o 1677
90.29/65.50	o 1675
91.39/66.63	o 1671
91.91/67.20	o 1669
92.80/68.09	o 1666
93.41/68.69	o 1662
95.13/70.39	o 1658
95.78/70.73	o 1657
96.08/71.02	o 1655
96.38/71.33	o 1654
97.29/72.26	o 1651
97.59/72.57	o 1646
97.91/72.87	o 1637
99.62/74.59	o 1636
112.50/86.62	o 1622
113.14/87.27	o 1617
113.34/87.47	o 1608
113.74/87.88	o 1603
113.95/88.10	o 1602
114.64/88.75	o 1600
115.16/89.25	o 1596
118.90/92.62	o 1592
122.13/95.85	o 1574
129.15/102.42	o 1558
129.35/102.64	o 1544
134.67/107.73	o 1539
135.89/108.95	o 1534
136.48/109.50	o 1520
136.69/109.78	o 1504
146.47/119.08	o 1499
146.97/119.55	o 1494
147.17/119.79	o 1490
151.46/123.96	o 1489
161.13/133.39	o 1486
161.43/133.64	o 1472
168.47/140.53	o 1462
170.59/142.66	o 1459
184.03/155.76	o 1455
185.45/157.13	o 1452
185.76/157.42	o 1441
194.80/166.22	o 1434
201.24/172.70	o 1418
319.11/286.65	o 1414
333.92/300.52	o 1410
367.05/330.52	o 1398
384.97/347.03	o 1382
495.90/451.84	o 1352
509.87/465.49	o 1350
560.20/513.70	o 1348
560.62/514.00	o 1334
560.92/514.35	o 1330
579.93/532.25	o 1328
580.71/532.91	o 1314
581.43/533.62	o 1313
583.40/535.45	o 1303
605.08/555.56	o 1293
610.09/560.19	o 1291
930.03/864.36	o 1288
949.85/882.03	o 1270
976.77/906.51	o 1266
981.57/911.13	o 1259
1026.59/952.70	o 1253
1130.29/1049.73	o 1244
1169.22/1086.64	o 1230
1180.75/1097.70	o 1217
1181.05/1098.06	o 1213
2400.06/2306.72	java.util.concurrent.TimeoutException
2400.06/2306.72		at concrete.MAC.mac(MAC.scala:74)
2400.06/2306.72		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.06/2306.72		at scala.util.Try$.apply(Try.scala:209)
2400.06/2306.72		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.06/2306.72		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.06/2306.72		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.06/2306.72		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.06/2306.72		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.06/2306.72		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.06/2306.72		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.06/2306.72		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.06/2306.72		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.06/2306.72		at concrete.MAC.oneRun(MAC.scala:146)
2400.06/2306.72		at concrete.MAC.nextSolution(MAC.scala:166)
2400.06/2306.72		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.06/2306.72		at concrete.ProblemState.map(ProblemState.scala:203)
2400.06/2306.72		at concrete.ProblemState.map(ProblemState.scala:188)
2400.06/2306.72		at concrete.MAC.nextSolution(MAC.scala:195)
2400.06/2306.72		at concrete.Solver.hasNext(Solver.scala:202)
2400.06/2306.72		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.06/2306.72		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.06/2306.72		at concrete.Solver.toStream(Solver.scala:73)
2400.06/2306.72		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.06/2306.72		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.06/2306.72		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.06/2306.72		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.06/2306.72		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.06/2306.72		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.06/2306.72		at scala.util.Success.map(Try.scala:209)
2400.06/2306.72		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.06/2306.72		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.06/2306.72		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.06/2306.72		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.06/2306.72		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.06/2306.72		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.06/2306.72		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.06/2306.72		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.06/2306.72		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.06/2306.72		at scala.collection.immutable.List.foreach(List.scala:389)
2400.06/2306.72		at scala.App.main(App.scala:76)
2400.06/2306.72		at scala.App.main$(App.scala:74)
2400.06/2306.72		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.06/2306.72		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.06/2306.74	v <instantiation cost="1213">
2400.06/2306.74	v       <list>
2400.06/2306.74	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]
2400.06/2306.74	v       </list>
2400.06/2306.74	v       <values>
2400.06/2306.74	v         0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 100 83 100 7 36 8 82 100 100 50 22 77 54 36 53 41 76 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 18 100 68 59 66 100 23 34 100 19 82
2400.06/2306.74	v       </values>
2400.06/2306.74	v     </instantiation>
2400.06/2306.74	s SATISFIABLE

Verifier Data 

OK	1213

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-4246287-1500712981/watcher-4246287-1500712981 -o /tmp/evaluation-result-4246287-1500712981/solver-4246287-1500712981 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22997 --watchdog 2560 bin/concrete HOME/instance-4246287-1500712981.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.08 2.36 3/242 23023
/proc/meminfo: memFree=31612888/32770624 swapFree=5700/355808
[pid=23023] ppid=23020 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23023/stat : 23023 (bash) S 23020 23023 22965 0 -1 4202496 655 0 0 0 0 0 0 0 20 0 1 0 6565651 9736192 350 33554432000 4194304 5098028 140721077895776 140721077893416 140577955732480 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 7733248 140721077900558 140721077900643 140721077900643 140721077903342 0
/proc/23023/statm: 2377 350 277 221 0 86 0

[startup+0.100157 s]
/proc/loadavg: 2.08 2.08 2.36 3/242 23023
/proc/meminfo: memFree=31612888/32770624 swapFree=5700/355808
[pid=23023] ppid=23020 vsize=9640 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23023/stat : 23023 (bash) S 23020 23023 22965 0 -1 4202496 885 6414 0 1 0 0 0 2 20 0 1 0 6565651 9871360 378 33554432000 4194304 5098028 140721077895776 140721077889784 140577955732480 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 0 0 0 7196144 7232144 7733248 140721077900558 140721077900643 140721077900643 140721077903342 0
/proc/23023/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640

[startup+0.200452 s]
/proc/loadavg: 2.08 2.08 2.36 3/242 23023
/proc/meminfo: memFree=31612888/32770624 swapFree=5700/355808
[pid=23023] ppid=23020 vsize=10236168 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/23023/stat : 23023 (java) S 23020 23023 22965 0 -1 1077944320 4543 12280 0 1 2 1 9 4 20 0 10 0 6565651 10481836032 4459 33554432000 4194304 4196468 140722995288464 140722995271008 139721364639479 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
/proc/23023/statm: 2559042 4459 1986 1 0 2547480 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10236168

[startup+0.300348 s]
/proc/loadavg: 2.08 2.08 2.36 3/242 23023
/proc/meminfo: memFree=31612888/32770624 swapFree=5700/355808
[pid=23023] ppid=23020 vsize=10902292 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/23023/stat : 23023 (java) S 23020 23023 22965 0 -1 1077944320 6831 12280 0 1 16 2 9 4 20 0 20 0 6565651 11163947008 7611 33554432000 4194304 4196468 140722995288464 140722995271008 139721364639479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
/proc/23023/statm: 2725573 7611 2961 1 0 2713890 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10902292

[startup+0.700307 s]
/proc/loadavg: 2.08 2.08 2.36 3/242 23023
/proc/meminfo: memFree=31612888/32770624 swapFree=5700/355808
[pid=23023] ppid=23020 vsize=10902720 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/23023/stat : 23023 (java) S 23020 23023 22965 0 -1 1077944320 12136 12280 0 1 67 5 9 4 20 0 20 0 6565651 11164385280 14989 33554432000 4194304 4196468 140722995288464 140722995271008 139721364639479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
/proc/23023/statm: 2725680 14989 3137 1 0 2713890 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10902720

[startup+1.50075 s]
/proc/loadavg: 2.08 2.08 2.36 5/284 23174
/proc/meminfo: memFree=31412280/32770624 swapFree=5700/357024
[pid=23023] ppid=23020 vsize=10913344 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/23023/stat : 23023 (java) S 23020 23023 22965 0 -1 1077944320 26929 12280 0 1 189 14 9 4 20 0 20 0 6565651 11175264256 43852 33554432000 4194304 4196468 140722995288464 140722995271008 139721364639479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
/proc/23023/statm: 2728336 43852 3398 1 0 2716450 0
[pid=23023/tid=23138] ppid=23020 vsize=10913344 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23138/stat : 23138 (java) R 23020 23023 22965 0 -1 4202560 19147 12280 0 1 119 6 9 4 20 0 20 0 6565667 11175264256 43852 33554432000 4194304 4196468 140722995288464 139721368857888 139721348719966 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23144] ppid=23020 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23144/stat : 23144 (java) S 23020 23023 22965 0 -1 1077944384 27 12280 0 1 1 0 9 4 20 0 20 0 6565668 11175264256 43852 33554432000 4194304 4196468 140722995288464 139721327745296 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23148] ppid=23020 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23148/stat : 23148 (java) S 23020 23023 22965 0 -1 1077944384 16 12280 0 1 0 0 9 4 20 0 20 0 6565668 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720970131856 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23149] ppid=23020 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23149/stat : 23149 (java) S 23020 23023 22965 0 -1 1077944384 20 12280 0 1 1 0 9 4 20 0 20 0 6565668 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720969079312 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23150] ppid=23020 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23150/stat : 23150 (java) S 23020 23023 22965 0 -1 1077944384 27 12280 0 1 1 0 9 4 20 0 20 0 6565668 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720968026768 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23151] ppid=23020 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23151/stat : 23151 (java) S 23020 23023 22965 0 -1 1077944384 124 12280 0 1 1 0 9 4 20 0 20 0 6565668 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720966974224 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23152] ppid=23020 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23152/stat : 23152 (java) S 23020 23023 22965 0 -1 1077944384 41 12280 0 1 1 0 9 4 20 0 20 0 6565668 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720965921680 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23153] ppid=23020 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23153/stat : 23153 (java) S 23020 23023 22965 0 -1 1077944384 40 12280 0 1 1 0 9 4 20 0 20 0 6565668 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720964869136 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23154] ppid=23020 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23154/stat : 23154 (java) S 23020 23023 22965 0 -1 1077944384 15 12280 0 1 1 0 9 4 20 0 20 0 6565668 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720963816592 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23156] ppid=23020 vsize=10913344 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23156/stat : 23156 (java) S 23020 23023 22965 0 -1 1077944384 1593 12280 0 1 2 0 9 4 20 0 20 0 6565671 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720839190512 139721364650626 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23159] ppid=23020 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23159/stat : 23159 (java) R 23020 23023 22965 0 -1 4202560 55 12280 0 1 0 0 9 4 20 0 20 0 6565672 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720838136736 139721364651414 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23160] ppid=23020 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23160/stat : 23160 (java) R 23020 23023 22965 0 -1 4202560 43 12280 0 1 0 0 9 4 20 0 20 0 6565672 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720837084144 139721000693548 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23168] ppid=23020 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23168/stat : 23168 (java) S 23020 23023 22965 0 -1 1077944384 1 12280 0 1 0 0 9 4 20 0 20 0 6565676 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720836032720 139721364658075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23169] ppid=23020 vsize=10913344 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23169/stat : 23169 (java) S 23020 23023 22965 0 -1 1077944384 1710 12280 0 1 15 0 9 4 20 0 20 0 6565676 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720834980336 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23170] ppid=23020 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23170/stat : 23170 (java) S 23020 23023 22965 0 -1 1077944384 282 12280 0 1 9 0 9 4 20 0 20 0 6565676 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720833927792 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23171] ppid=23020 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23171/stat : 23171 (java) S 23020 23023 22965 0 -1 1077944384 491 12280 0 1 9 1 9 4 20 0 20 0 6565676 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720832875248 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23172] ppid=23020 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23172/stat : 23172 (java) R 23020 23023 22965 0 -1 4202560 1157 12280 0 1 23 0 9 4 20 0 20 0 6565676 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720831822704 139721364660826 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23173] ppid=23020 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23173/stat : 23173 (java) S 23020 23023 22965 0 -1 1077944384 3 12280 0 1 0 0 9 4 20 0 20 0 6565676 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720830769376 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23174] ppid=23020 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23174/stat : 23174 (java) S 23020 23023 22965 0 -1 1077944384 3 12280 0 1 0 0 9 4 20 0 20 0 6565677 11175264256 43852 33554432000 4194304 4196468 140722995288464 139720829716912 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 10913344

[startup+3.10113 s]
/proc/loadavg: 2.07 2.08 2.36 6/284 23174
/proc/meminfo: memFree=31235584/32770624 swapFree=5700/357544
[pid=23023] ppid=23020 vsize=10923772 CPUtime=7.01 cores=1,3,5,7,9,11,13,15
/proc/23023/stat : 23023 (java) S 23020 23023 22965 0 -1 1077944320 42063 12280 0 1 670 18 9 4 20 0 20 0 6565651 11185942528 58559 33554432000 4194304 4196468 140722995288464 140722995271008 139721364639479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
/proc/23023/statm: 2730943 58559 3478 1 0 2718498 0
[pid=23023/tid=23138] ppid=23020 vsize=10923772 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23138/stat : 23138 (java) R 23020 23023 22965 0 -1 4202560 24934 12280 0 1 276 8 9 4 20 0 20 0 6565667 11185942528 58559 33554432000 4194304 4196468 140722995288464 139721368871928 139721000740792 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23144] ppid=23020 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23144/stat : 23144 (java) S 23020 23023 22965 0 -1 1077944384 27 12280 0 1 1 0 9 4 20 0 20 0 6565668 11185942528 58559 33554432000 4194304 4196468 140722995288464 139721327745296 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23148] ppid=23020 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23148/stat : 23148 (java) S 23020 23023 22965 0 -1 1077944384 16 12280 0 1 0 0 9 4 20 0 20 0 6565668 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720970131856 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23149] ppid=23020 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23149/stat : 23149 (java) S 23020 23023 22965 0 -1 1077944384 20 12280 0 1 1 0 9 4 20 0 20 0 6565668 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720969079312 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23150] ppid=23020 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23150/stat : 23150 (java) S 23020 23023 22965 0 -1 1077944384 27 12280 0 1 1 0 9 4 20 0 20 0 6565668 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720968026768 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23151] ppid=23020 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23151/stat : 23151 (java) S 23020 23023 22965 0 -1 1077944384 124 12280 0 1 1 0 9 4 20 0 20 0 6565668 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720966974224 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23152] ppid=23020 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23152/stat : 23152 (java) S 23020 23023 22965 0 -1 1077944384 41 12280 0 1 1 0 9 4 20 0 20 0 6565668 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720965921680 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23153] ppid=23020 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23153/stat : 23153 (java) S 23020 23023 22965 0 -1 1077944384 40 12280 0 1 1 0 9 4 20 0 20 0 6565668 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720964869136 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23154] ppid=23020 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23154/stat : 23154 (java) S 23020 23023 22965 0 -1 1077944384 15 12280 0 1 1 0 9 4 20 0 20 0 6565668 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720963816592 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23156] ppid=23020 vsize=10923772 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23156/stat : 23156 (java) S 23020 23023 22965 0 -1 1077944384 1821 12280 0 1 2 0 9 4 20 0 20 0 6565671 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720839190512 139721364650626 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23159] ppid=23020 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23159/stat : 23159 (java) S 23020 23023 22965 0 -1 1077944384 55 12280 0 1 0 0 9 4 20 0 20 0 6565672 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720838136800 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23160] ppid=23020 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23160/stat : 23160 (java) S 23020 23023 22965 0 -1 1077944384 44 12280 0 1 0 0 9 4 20 0 20 0 6565672 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720837084160 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23168] ppid=23020 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23168/stat : 23168 (java) S 23020 23023 22965 0 -1 1077944384 1 12280 0 1 0 0 9 4 20 0 20 0 6565676 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720836032720 139721364658075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23169] ppid=23020 vsize=10923772 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23169/stat : 23169 (java) R 23020 23023 22965 0 -1 4202560 5449 12280 0 1 105 1 9 4 20 0 20 0 6565676 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720834966432 139721356928861 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23170] ppid=23020 vsize=10923772 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23170/stat : 23170 (java) R 23020 23023 22965 0 -1 4202560 1270 12280 0 1 75 1 9 4 20 0 20 0 6565676 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720833909776 139721356928928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23171] ppid=23020 vsize=10923772 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23171/stat : 23171 (java) R 23020 23023 22965 0 -1 4202560 2154 12280 0 1 85 1 9 4 20 0 20 0 6565676 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720832861024 139721356928861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23172] ppid=23020 vsize=10923772 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23172/stat : 23172 (java) R 23020 23023 22965 0 -1 4202560 3920 12280 0 1 115 1 9 4 20 0 20 0 6565676 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720831822624 139721343581062 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23173] ppid=23020 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23173/stat : 23173 (java) S 23020 23023 22965 0 -1 1077944384 3 12280 0 1 0 0 9 4 20 0 20 0 6565676 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720830769376 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23174] ppid=23020 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23174/stat : 23174 (java) S 23020 23023 22965 0 -1 1077944384 8 12280 0 1 0 0 9 4 20 0 20 0 6565677 11185942528 58559 33554432000 4194304 4196468 140722995288464 139720829716912 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 10923772

[startup+6.30085 s]
/proc/loadavg: 2.07 2.08 2.36 14/284 23174
/proc/meminfo: memFree=30896172/32770624 swapFree=5700/358024
[pid=23023] ppid=23020 vsize=10932112 CPUtime=19.01 cores=1,3,5,7,9,11,13,15
/proc/23023/stat : 23023 (java) S 23020 23023 22965 0 -1 1077944320 90975 12280 0 1 1849 39 9 4 20 0 20 0 6565651 11194482688 104563 33554432000 4194304 4196468 140722995288464 140722995271008 139721364639479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
/proc/23023/statm: 2733028 104563 3513 1 0 2720583 0
[pid=23023/tid=23138] ppid=23020 vsize=10932112 CPUtime=6.01 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23138/stat : 23138 (java) R 23020 23023 22965 0 -1 4202560 42706 12280 0 1 576 12 9 4 20 0 20 0 6565667 11194482688 104563 33554432000 4194304 4196468 140722995288464 139721368869664 139721364651414 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23144] ppid=23020 vsize=10932112 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23144/stat : 23144 (java) S 23020 23023 22965 0 -1 1077944384 103 12280 0 1 10 2 9 4 20 0 20 0 6565668 11194482688 104563 33554432000 4194304 4196468 140722995288464 139721327745296 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23148] ppid=23020 vsize=10932112 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23148/stat : 23148 (java) S 23020 23023 22965 0 -1 1077944384 105 12280 0 1 10 2 9 4 20 0 20 0 6565668 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720970131856 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23149] ppid=23020 vsize=10932112 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23149/stat : 23149 (java) S 23020 23023 22965 0 -1 1077944384 49 12280 0 1 8 1 9 4 20 0 20 0 6565668 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720969079312 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23150] ppid=23020 vsize=10932112 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23150/stat : 23150 (java) S 23020 23023 22965 0 -1 1077944384 276 12280 0 1 9 2 9 4 20 0 20 0 6565668 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720968026768 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23151] ppid=23020 vsize=10932112 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23151/stat : 23151 (java) S 23020 23023 22965 0 -1 1077944384 145 12280 0 1 8 1 9 4 20 0 20 0 6565668 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720966974224 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23152] ppid=23020 vsize=10932112 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23152/stat : 23152 (java) S 23020 23023 22965 0 -1 1077944384 116 12280 0 1 8 0 9 4 20 0 20 0 6565668 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720965921680 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23153] ppid=23020 vsize=10932112 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23153/stat : 23153 (java) S 23020 23023 22965 0 -1 1077944384 83 12280 0 1 8 1 9 4 20 0 20 0 6565668 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720964869136 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23154] ppid=23020 vsize=10932112 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23154/stat : 23154 (java) S 23020 23023 22965 0 -1 1077944384 96 12280 0 1 9 1 9 4 20 0 20 0 6565668 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720963816592 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23156] ppid=23020 vsize=10932112 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23156/stat : 23156 (java) S 23020 23023 22965 0 -1 1077944384 6890 12280 0 1 6 0 9 4 20 0 20 0 6565671 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720839190512 139721364650626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23159] ppid=23020 vsize=10932112 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23159/stat : 23159 (java) S 23020 23023 22965 0 -1 1077944384 61 12280 0 1 0 0 9 4 20 0 20 0 6565672 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720838136864 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23160] ppid=23020 vsize=10932112 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23160/stat : 23160 (java) S 23020 23023 22965 0 -1 1077944384 47 12280 0 1 0 0 9 4 20 0 20 0 6565672 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720837084160 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23168] ppid=23020 vsize=10932112 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23168/stat : 23168 (java) S 23020 23023 22965 0 -1 1077944384 1 12280 0 1 0 0 9 4 20 0 20 0 6565676 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720836032720 139721364658075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23169] ppid=23020 vsize=10932112 CPUtime=3.51 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23169/stat : 23169 (java) R 23020 23023 22965 0 -1 4202560 11243 12280 0 1 336 2 9 4 20 0 20 0 6565676 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720834970128 139721364651414 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23170] ppid=23020 vsize=10932112 CPUtime=3.18 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23170/stat : 23170 (java) R 23020 23023 22965 0 -1 4202560 9477 12280 0 1 302 3 9 4 20 0 20 0 6565676 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720833913672 139721346183655 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23171] ppid=23020 vsize=10932112 CPUtime=3.31 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23171/stat : 23171 (java) R 23020 23023 22965 0 -1 4202560 7668 12280 0 1 316 2 9 4 20 0 20 0 6565676 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720832861680 139721364660826 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23172] ppid=23020 vsize=10932112 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23172/stat : 23172 (java) R 23020 23023 22965 0 -1 4202560 9716 12280 0 1 234 3 9 4 20 0 20 0 6565676 11194482688 104587 33554432000 4194304 4196468 140722995288464 139720831822512 139721364651414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23173] ppid=23020 vsize=10932112 CPUtime=0.13 cores=1,3,5,7,9,11,13,15

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

/proc/23023/task/23170/stat : 23170 (java) S 23020 23023 22965 0 -1 1077944384 46518 12280 0 1 743 10 9 4 20 0 20 0 6565676 11194331136 812960 33554432000 4194304 4196468 140722995288464 139720833927792 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23171] ppid=23020 vsize=10931964 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23171/stat : 23171 (java) S 23020 23023 22965 0 -1 1077944384 49690 12280 0 1 750 8 9 4 20 0 20 0 6565676 11194331136 812960 33554432000 4194304 4196468 140722995288464 139720832875248 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23172] ppid=23020 vsize=10931964 CPUtime=4.54 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23172/stat : 23172 (java) S 23020 23023 22965 0 -1 1077944384 66746 12280 0 1 430 11 9 4 20 0 20 0 6565676 11194331136 812960 33554432000 4194304 4196468 140722995288464 139720831822704 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23173] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23173/stat : 23173 (java) S 23020 23023 22965 0 -1 1077944384 3 12280 0 1 0 0 9 4 20 0 20 0 6565676 11194331136 812960 33554432000 4194304 4196468 140722995288464 139720830769376 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23174] ppid=23020 vsize=10931964 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23174/stat : 23174 (java) S 23020 23023 22965 0 -1 1077944384 2066 12280 0 1 46 53 9 4 20 0 20 0 6565677 11194331136 812960 33554432000 4194304 4196468 140722995288464 139720829716912 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
Current children cumulated CPU time (s) 2295.14
Current children cumulated vsize (KiB) 10931964

[startup+2262.3 s]
/proc/loadavg: 1.83 1.87 1.86 3/282 23269
/proc/meminfo: memFree=25387320/32770624 swapFree=5700/360284
[pid=23023] ppid=23020 vsize=10931964 CPUtime=2355.49 cores=1,3,5,7,9,11,13,15
/proc/23023/stat : 23023 (java) S 23020 23023 22965 0 -1 1077944320 523254 12280 0 1 232457 3079 9 4 20 0 20 0 6565651 11194331136 812703 33554432000 4194304 4196468 140722995288464 140722995271008 139721364639479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
/proc/23023/statm: 2732991 812703 3531 1 0 2720546 0
[pid=23023/tid=23138] ppid=23020 vsize=10931964 CPUtime=2250.46 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23138/stat : 23138 (java) R 23020 23023 22965 0 -1 4202560 178387 12280 0 1 224982 51 9 4 20 0 20 0 6565667 11194331136 812703 33554432000 4194304 4196468 140722995288464 139721368873520 139721013771164 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23144] ppid=23020 vsize=10931964 CPUtime=9.62 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23144/stat : 23144 (java) S 23020 23023 22965 0 -1 1077944384 14274 12280 0 1 580 369 9 4 20 0 20 0 6565668 11194331136 812703 33554432000 4194304 4196468 140722995288464 139721327745296 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23148] ppid=23020 vsize=10931964 CPUtime=9.69 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23148/stat : 23148 (java) S 23020 23023 22965 0 -1 1077944384 13069 12280 0 1 585 371 9 4 20 0 20 0 6565668 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720970131856 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23149] ppid=23020 vsize=10931964 CPUtime=9.45 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23149/stat : 23149 (java) S 23020 23023 22965 0 -1 1077944384 10305 12280 0 1 565 367 9 4 20 0 20 0 6565668 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720969079312 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23150] ppid=23020 vsize=10931964 CPUtime=9.56 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23150/stat : 23150 (java) S 23020 23023 22965 0 -1 1077944384 15592 12280 0 1 573 370 9 4 20 0 20 0 6565668 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720968026768 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23151] ppid=23020 vsize=10931964 CPUtime=9.59 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23151/stat : 23151 (java) S 23020 23023 22965 0 -1 1077944384 11264 12280 0 1 576 370 9 4 20 0 20 0 6565668 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720966974224 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23152] ppid=23020 vsize=10931964 CPUtime=9.56 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23152/stat : 23152 (java) S 23020 23023 22965 0 -1 1077944384 10287 12280 0 1 580 363 9 4 20 0 20 0 6565668 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720965921680 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23153] ppid=23020 vsize=10931964 CPUtime=9.55 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23153/stat : 23153 (java) S 23020 23023 22965 0 -1 1077944384 18705 12280 0 1 574 368 9 4 20 0 20 0 6565668 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720964869136 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23154] ppid=23020 vsize=10931964 CPUtime=9.6 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23154/stat : 23154 (java) S 23020 23023 22965 0 -1 1077944384 12159 12280 0 1 575 372 9 4 20 0 20 0 6565668 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720963816592 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23156] ppid=23020 vsize=10931964 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23156/stat : 23156 (java) S 23020 23023 22965 0 -1 1077944384 30201 12280 0 1 77 16 9 4 20 0 20 0 6565671 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720839190512 139721364650626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23159] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23159/stat : 23159 (java) S 23020 23023 22965 0 -1 1077944384 102 12280 0 1 0 0 9 4 20 0 20 0 6565672 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720838136864 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23160] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23160/stat : 23160 (java) S 23020 23023 22965 0 -1 1077944384 48 12280 0 1 0 0 9 4 20 0 20 0 6565672 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720837084160 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23168] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23168/stat : 23168 (java) S 23020 23023 22965 0 -1 1077944384 1 12280 0 1 0 0 9 4 20 0 20 0 6565676 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720836032720 139721364658075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23169] ppid=23020 vsize=10931964 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23169/stat : 23169 (java) S 23020 23023 22965 0 -1 1077944384 41662 12280 0 1 775 8 9 4 20 0 20 0 6565676 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720834980336 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23170] ppid=23020 vsize=10931964 CPUtime=7.66 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23170/stat : 23170 (java) S 23020 23023 22965 0 -1 1077944384 46526 12280 0 1 743 10 9 4 20 0 20 0 6565676 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720833927792 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23171] ppid=23020 vsize=10931964 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23171/stat : 23171 (java) S 23020 23023 22965 0 -1 1077944384 49695 12280 0 1 750 8 9 4 20 0 20 0 6565676 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720832875248 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23172] ppid=23020 vsize=10931964 CPUtime=4.54 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23172/stat : 23172 (java) S 23020 23023 22965 0 -1 1077944384 66749 12280 0 1 430 11 9 4 20 0 20 0 6565676 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720831822704 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23173] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23173/stat : 23173 (java) S 23020 23023 22965 0 -1 1077944384 3 12280 0 1 0 0 9 4 20 0 20 0 6565676 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720830769376 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23174] ppid=23020 vsize=10931964 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23174/stat : 23174 (java) S 23020 23023 22965 0 -1 1077944384 2091 12280 0 1 48 55 9 4 20 0 20 0 6565677 11194331136 812703 33554432000 4194304 4196468 140722995288464 139720829716912 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
Current children cumulated CPU time (s) 2355.49
Current children cumulated vsize (KiB) 10931964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2306.7 s]
/proc/loadavg: 2.00 1.90 1.87 3/282 23270
/proc/meminfo: memFree=25335156/32770624 swapFree=5700/360320
[pid=23023] ppid=23020 vsize=10931964 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/23023/stat : 23023 (java) S 23020 23023 22965 0 -1 1077944320 528504 12280 0 1 236912 3081 9 4 20 0 20 0 6565651 11194331136 812704 33554432000 4194304 4196468 140722995288464 140722995271008 139721364639479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
/proc/23023/statm: 2732991 812704 3531 1 0 2720546 0
[pid=23023/tid=23138] ppid=23020 vsize=10931964 CPUtime=2294.82 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23138/stat : 23138 (java) R 23020 23023 22965 0 -1 4202560 181099 12280 0 1 229417 52 9 4 20 0 20 0 6565667 11194331136 812704 33554432000 4194304 4196468 140722995288464 139721368872880 139721021828612 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23144] ppid=23020 vsize=10931964 CPUtime=9.64 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23144/stat : 23144 (java) S 23020 23023 22965 0 -1 1077944384 14289 12280 0 1 582 369 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139721327745296 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23148] ppid=23020 vsize=10931964 CPUtime=9.71 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23148/stat : 23148 (java) S 23020 23023 22965 0 -1 1077944384 13255 12280 0 1 587 371 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720970131856 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23149] ppid=23020 vsize=10931964 CPUtime=9.46 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23149/stat : 23149 (java) S 23020 23023 22965 0 -1 1077944384 10326 12280 0 1 566 367 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720969079312 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23150] ppid=23020 vsize=10931964 CPUtime=9.58 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23150/stat : 23150 (java) S 23020 23023 22965 0 -1 1077944384 15831 12280 0 1 575 370 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720968026768 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23151] ppid=23020 vsize=10931964 CPUtime=9.62 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23151/stat : 23151 (java) S 23020 23023 22965 0 -1 1077944384 12758 12280 0 1 579 370 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720966974224 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23152] ppid=23020 vsize=10931964 CPUtime=9.58 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23152/stat : 23152 (java) S 23020 23023 22965 0 -1 1077944384 10371 12280 0 1 582 363 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720965921680 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23153] ppid=23020 vsize=10931964 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23153/stat : 23153 (java) S 23020 23023 22965 0 -1 1077944384 18806 12280 0 1 576 368 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720964869136 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23154] ppid=23020 vsize=10931964 CPUtime=9.63 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23154/stat : 23154 (java) S 23020 23023 22965 0 -1 1077944384 12168 12280 0 1 578 372 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720963816592 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23156] ppid=23020 vsize=10931964 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23156/stat : 23156 (java) S 23020 23023 22965 0 -1 1077944384 30548 12280 0 1 77 16 9 4 20 0 20 0 6565671 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720839190512 139721364650626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23159] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23159/stat : 23159 (java) S 23020 23023 22965 0 -1 1077944384 102 12280 0 1 0 0 9 4 20 0 20 0 6565672 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720838136864 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23160] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23160/stat : 23160 (java) S 23020 23023 22965 0 -1 1077944384 48 12280 0 1 0 0 9 4 20 0 20 0 6565672 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720837084160 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23168] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23168/stat : 23168 (java) S 23020 23023 22965 0 -1 1077944384 1 12280 0 1 0 0 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720836032720 139721364658075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23169] ppid=23020 vsize=10931964 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23169/stat : 23169 (java) S 23020 23023 22965 0 -1 1077944384 41666 12280 0 1 775 8 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720834980336 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23170] ppid=23020 vsize=10931964 CPUtime=7.66 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23170/stat : 23170 (java) S 23020 23023 22965 0 -1 1077944384 46530 12280 0 1 743 10 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720833927792 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23171] ppid=23020 vsize=10931964 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23171/stat : 23171 (java) S 23020 23023 22965 0 -1 1077944384 49701 12280 0 1 750 8 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720832875248 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23172] ppid=23020 vsize=10931964 CPUtime=4.54 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23172/stat : 23172 (java) S 23020 23023 22965 0 -1 1077944384 66754 12280 0 1 430 11 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720831822704 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23173] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23173/stat : 23173 (java) S 23020 23023 22965 0 -1 1077944384 3 12280 0 1 0 0 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720830769376 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23174] ppid=23020 vsize=10931964 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23174/stat : 23174 (java) S 23020 23023 22965 0 -1 1077944384 2114 12280 0 1 49 55 9 4 20 0 20 0 6565677 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720829716912 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10931964

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

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

[startup+2306.7 s]
/proc/loadavg: 2.00 1.90 1.87 3/282 23270
/proc/meminfo: memFree=25335156/32770624 swapFree=5700/360320
[pid=23023] ppid=23020 vsize=10931964 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/23023/stat : 23023 (java) S 23020 23023 22965 0 -1 1077944320 528504 12280 0 1 236912 3081 9 4 20 0 20 0 6565651 11194331136 812704 33554432000 4194304 4196468 140722995288464 140722995271008 139721364639479 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
/proc/23023/statm: 2732991 812704 3531 1 0 2720546 0
[pid=23023/tid=23138] ppid=23020 vsize=10931964 CPUtime=2294.82 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23138/stat : 23138 (java) R 23020 23023 22965 0 -1 4202560 181099 12280 0 1 229417 52 9 4 20 0 20 0 6565667 11194331136 812704 33554432000 4194304 4196468 140722995288464 139721368872880 139721021828612 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23144] ppid=23020 vsize=10931964 CPUtime=9.64 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23144/stat : 23144 (java) S 23020 23023 22965 0 -1 1077944384 14289 12280 0 1 582 369 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139721327745296 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23148] ppid=23020 vsize=10931964 CPUtime=9.71 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23148/stat : 23148 (java) S 23020 23023 22965 0 -1 1077944384 13255 12280 0 1 587 371 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720970131856 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23149] ppid=23020 vsize=10931964 CPUtime=9.46 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23149/stat : 23149 (java) S 23020 23023 22965 0 -1 1077944384 10326 12280 0 1 566 367 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720969079312 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23150] ppid=23020 vsize=10931964 CPUtime=9.58 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23150/stat : 23150 (java) S 23020 23023 22965 0 -1 1077944384 15831 12280 0 1 575 370 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720968026768 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23151] ppid=23020 vsize=10931964 CPUtime=9.62 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23151/stat : 23151 (java) S 23020 23023 22965 0 -1 1077944384 12758 12280 0 1 579 370 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720966974224 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23152] ppid=23020 vsize=10931964 CPUtime=9.58 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23152/stat : 23152 (java) S 23020 23023 22965 0 -1 1077944384 10371 12280 0 1 582 363 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720965921680 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23153] ppid=23020 vsize=10931964 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23153/stat : 23153 (java) S 23020 23023 22965 0 -1 1077944384 18806 12280 0 1 576 368 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720964869136 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23154] ppid=23020 vsize=10931964 CPUtime=9.63 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23154/stat : 23154 (java) S 23020 23023 22965 0 -1 1077944384 12168 12280 0 1 578 372 9 4 20 0 20 0 6565668 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720963816592 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23156] ppid=23020 vsize=10931964 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23156/stat : 23156 (java) S 23020 23023 22965 0 -1 1077944384 30548 12280 0 1 77 16 9 4 20 0 20 0 6565671 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720839190512 139721364650626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23159] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23159/stat : 23159 (java) S 23020 23023 22965 0 -1 1077944384 102 12280 0 1 0 0 9 4 20 0 20 0 6565672 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720838136864 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23160] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23160/stat : 23160 (java) S 23020 23023 22965 0 -1 1077944384 48 12280 0 1 0 0 9 4 20 0 20 0 6565672 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720837084160 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23168] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23168/stat : 23168 (java) S 23020 23023 22965 0 -1 1077944384 1 12280 0 1 0 0 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720836032720 139721364658075 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23169] ppid=23020 vsize=10931964 CPUtime=7.96 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23169/stat : 23169 (java) S 23020 23023 22965 0 -1 1077944384 41666 12280 0 1 775 8 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720834980336 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23170] ppid=23020 vsize=10931964 CPUtime=7.66 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23170/stat : 23170 (java) S 23020 23023 22965 0 -1 1077944384 46530 12280 0 1 743 10 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720833927792 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23171] ppid=23020 vsize=10931964 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23171/stat : 23171 (java) S 23020 23023 22965 0 -1 1077944384 49701 12280 0 1 750 8 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720832875248 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23172] ppid=23020 vsize=10931964 CPUtime=4.54 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23172/stat : 23172 (java) S 23020 23023 22965 0 -1 1077944384 66754 12280 0 1 430 11 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720831822704 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23173] ppid=23020 vsize=10931964 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23173/stat : 23173 (java) S 23020 23023 22965 0 -1 1077944384 3 12280 0 1 0 0 9 4 20 0 20 0 6565676 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720830769376 139721364649685 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
[pid=23023/tid=23174] ppid=23020 vsize=10931964 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/23023/task/23174/stat : 23174 (java) S 23020 23023 22965 0 -1 1077944384 2114 12280 0 1 49 55 9 4 20 0 20 0 6565677 11194331136 812704 33554432000 4194304 4196468 140722995288464 139720829716912 139721364650626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140722995296961 140722995299735 140722995299735 140722995302351 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10931964

Child status: 143
Real time (s): 2306.79
CPU time (s): 2400.15
CPU user time (s): 2369.25
CPU system time (s): 30.9008
CPU usage (%): 104.047
Max. virtual memory (cumulated for all children) (KiB): 10932112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2369.25
system time used= 30.9008
maximum resident set size= 3253372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546200
page faults= 1
swaps= 0
block input operations= 2256
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94348
involuntary context switches= 128169

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5187 second user time and 18.5208 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 10:43:01
IDJOB=4246287
IDBENCH=124394
IDSOLVER=2630
FILE ID=node130/4246287-1500712981
RUNJOBID= node130-1500712981-22997
PBS_JOBID= 20623351
Free space on /tmp= 61880 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-4246287-1500712981/watcher-4246287-1500712981 -o /tmp/evaluation-result-4246287-1500712981/solver-4246287-1500712981 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22997 --watchdog 2560  bin/concrete HOME/instance-4246287-1500712981.xml

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

MD5SUM BENCH= 4ab7546591ba88ff6acec2aa7538cbc2
RANDOM SEED=1614531442

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31614064 kB
MemAvailable:   32001908 kB
Buffers:          135684 kB
Cached:           533168 kB
SwapCached:            0 kB
Active:           352072 kB
Inactive:         366920 kB
Active(anon):      53660 kB
Inactive(anon):     8844 kB
Active(file):     298412 kB
Inactive(file):   358076 kB
Unevictable:        5700 kB
Mlocked:            5700 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48080 kB
Writeback:             0 kB
AnonPages:         56396 kB
Mapped:            29984 kB
Shmem:              8844 kB
Slab:             127944 kB
SReclaimable:      94384 kB
SUnreclaim:        33560 kB
KernelStack:        4128 kB
PageTables:         4832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     308604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61832 MiB
End job on node130 at 2017-07-22 11:21:28