Trace number 4259853

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)780 259.32599 240.043

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-P-n50-k10.xml
MD5SUM994883c0320da003cf1ede0b66369d8b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark740
Best CPU time to get the best result obtained on this benchmark251.90199
Satisfiable
(Un)Satisfiability was proved
Number of variables2550
Number of constraints2499
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":50},{"size":2,"count":2450},{"size":101,"count":49}]
Minimum variable degree0
Maximum variable degree97
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":50},{"degree":2,"count":98},{"degree":4,"count":2352},{"degree":97,"count":49}]
Minimum constraint arity1
Maximum constraint arity49
Distribution of constraint arities[{"arity":1,"count":49},{"arity":3,"count":2352},{"arity":49,"count":98}]
Number of extensional constraints0
Number of intensional constraints49
Distribution of constraint types[{"type":"intension","count":49},{"type":"sum","count":2352},{"type":"count","count":98}]
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.45/2.25	c Concrete v3.4 running
15.05/6.07	o 1660
15.93/6.32	o 1652
16.52/6.51	o 1639
16.83/6.66	o 1602
17.44/6.82	o 1579
17.63/6.97	o 1502
18.01/7.14	o 1454
18.17/7.27	o 1431
18.65/7.40	o 1417
19.25/7.64	o 1413
19.54/7.74	o 1395
19.65/7.85	o 1392
19.75/7.95	o 1368
19.85/8.07	o 1364
19.96/8.19	o 1347
20.18/8.31	o 1345
20.65/8.61	o 1339
20.75/8.74	o 1302
20.93/8.85	o 1288
21.27/9.13	o 1278
21.40/9.25	o 1265
21.72/9.51	o 1253
21.83/9.64	o 1242
21.93/9.77	o 1232
22.04/9.89	o 1223
22.24/10.01	o 1212
22.37/10.14	o 1208
22.69/10.40	o 1204
22.79/10.53	o 1196
22.99/10.79	o 1195
23.19/10.91	o 1163
23.77/11.42	o 1159
24.44/12.04	o 1145
24.55/12.18	o 1144
24.74/12.31	o 1140
24.94/12.59	o 1125
25.21/12.74	o 1122
25.32/12.89	o 1121
25.56/13.06	o 1119
25.67/13.19	o 1117
25.87/13.37	o 1114
26.07/13.51	o 1106
26.17/13.65	o 1104
27.00/14.41	o 1089
28.00/15.35	o 1087
28.11/15.47	o 1074
28.33/15.61	o 1068
28.53/15.85	o 1058
28.83/16.14	o 1048
29.16/16.42	o 1035
30.29/17.35	o 1034
33.04/19.55	o 1021
33.37/19.81	o 1017
35.26/21.64	o 1015
35.36/21.76	o 1012
35.46/21.89	o 1011
35.79/22.13	o 1003
35.98/22.38	o 997
36.28/22.63	o 995
36.60/22.90	o 984
36.72/23.04	o 978
37.81/24.05	o 976
39.92/26.04	o 973
44.10/30.01	o 972
44.82/30.78	o 957
44.92/30.89	o 956
45.13/31.00	o 951
48.53/34.34	o 943
55.61/41.14	o 933
58.97/44.48	o 931
61.51/46.95	o 930
65.01/50.32	o 924
65.32/50.69	o 922
65.62/50.98	o 909
66.53/51.86	o 893
66.66/51.99	o 891
70.43/55.63	o 883
72.47/57.67	o 881
72.68/57.81	o 871
73.08/58.21	o 868
73.18/58.35	o 862
73.49/58.61	o 859
73.59/58.75	o 858
77.88/62.90	o 856
79.96/64.97	o 855
81.88/66.83	o 854
85.96/70.83	o 851
86.68/71.53	o 844
86.87/71.79	o 843
88.33/73.11	o 842
90.44/75.27	o 838
96.01/80.77	o 836
108.66/93.19	o 827
117.09/101.48	o 819
126.98/111.14	o 815
131.57/115.67	o 814
147.39/131.13	o 809
147.69/131.45	o 798
160.96/144.39	o 794
161.36/144.74	o 793
182.45/165.21	o 780
259.26/240.00	java.util.concurrent.TimeoutException
259.26/240.00		at concrete.MAC.mac(MAC.scala:74)
259.26/240.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
259.26/240.00		at scala.util.Try$.apply(Try.scala:209)
259.26/240.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
259.26/240.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
259.26/240.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
259.26/240.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
259.26/240.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
259.26/240.00		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
259.26/240.00		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
259.26/240.00		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
259.26/240.00		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
259.26/240.00		at concrete.MAC.oneRun(MAC.scala:146)
259.26/240.00		at concrete.MAC.nextSolution(MAC.scala:166)
259.26/240.00		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
259.26/240.00		at concrete.ProblemState.map(ProblemState.scala:203)
259.26/240.00		at concrete.ProblemState.map(ProblemState.scala:188)
259.26/240.00		at concrete.MAC.nextSolution(MAC.scala:195)
259.26/240.00		at concrete.Solver.hasNext(Solver.scala:202)
259.26/240.00		at scala.collection.Iterator.toStream(Iterator.scala:1403)
259.26/240.00		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
259.26/240.00		at concrete.Solver.toStream(Solver.scala:73)
259.26/240.00		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
259.26/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
259.26/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
259.26/240.00		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
259.26/240.00		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
259.26/240.00		at scala.util.Success.$anonfun$map$1(Try.scala:251)
259.26/240.00		at scala.util.Success.map(Try.scala:209)
259.26/240.00		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
259.26/240.00		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
259.26/240.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
259.26/240.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
259.26/240.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
259.26/240.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
259.26/240.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
259.26/240.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
259.26/240.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
259.26/240.01		at scala.collection.immutable.List.foreach(List.scala:389)
259.26/240.01		at scala.App.main(App.scala:76)
259.26/240.01		at scala.App.main$(App.scala:74)
259.26/240.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
259.26/240.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
259.26/240.01	v <instantiation cost="780">
259.26/240.01	v       <list>
259.26/240.01	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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]
259.26/240.01	v       </list>
259.26/240.01	v       <values>
259.26/240.01	v         0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 56 48 61 100 80 19 100 35 82 75 69 33 62 100 23 38 24 67 50 59 59 100 73 95 54 100 79 88 15 70 100 40 100 19 85 31 37 32 49 33 89 100 74 50 100 35 19 100 67
259.26/240.01	v       </values>
259.26/240.01	v     </instantiation>
259.26/240.01	s SATISFIABLE

Verifier Data 

OK	780

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

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

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


[startup+0 s]
/proc/loadavg: 1.73 1.66 1.69 3/195 6535
/proc/meminfo: memFree=29647200/32770624 swapFree=0/943220
[pid=6535] ppid=6532 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6535/stat : 6535 (runsolver) D 6532 6535 5678 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13679504 24240128 106 18446744073709551615 4194304 4338465 140730623249152 140730623246792 140160643891927 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 23068672 140730623250640 140730623251014 140730623251014 140730623254474 0
/proc/6535/statm: 5918 106 53 36 0 2156 0

[startup+0.100579 s]
/proc/loadavg: 1.73 1.66 1.69 3/195 6535
/proc/meminfo: memFree=29647200/32770624 swapFree=0/943220
[pid=6535] ppid=6532 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/6535/stat : 6535 (bash) S 6532 6535 5678 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 13679504 9736192 351 18446744073709551615 4194304 5098028 140730640096608 140730640094248 139992672177152 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 27738112 140730640101905 140730640101990 140730640101990 140730640105450 0
/proc/6535/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200228 s]
/proc/loadavg: 1.73 1.66 1.69 3/195 6535
/proc/meminfo: memFree=29647200/32770624 swapFree=0/943220
[pid=6535] ppid=6532 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/6535/stat : 6535 (bash) S 6532 6535 5678 0 -1 4202496 892 6492 0 0 0 0 0 1 20 0 1 0 13679504 9867264 377 18446744073709551615 4194304 5098028 140730640096608 140730640090616 139992672177152 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 27738112 140730640101905 140730640101990 140730640101990 140730640105450 0
/proc/6535/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300355 s]
/proc/loadavg: 1.73 1.66 1.69 3/195 6535
/proc/meminfo: memFree=29647200/32770624 swapFree=0/943220
[pid=6535] ppid=6532 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/6535/stat : 6535 (java) S 6532 6535 5678 0 -1 1077944320 5867 12350 0 0 5 1 5 2 20 0 14 0 13679504 14241083392 5533 18446744073709551615 4194304 4196468 140734970816176 140734970798720 139890517081847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
/proc/6535/statm: 3476827 5533 2548 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.702242 s]
/proc/loadavg: 1.73 1.66 1.69 3/195 6535
/proc/meminfo: memFree=29647200/32770624 swapFree=0/943220
[pid=6535] ppid=6532 vsize=13974784 CPUtime=0.64 cores=0,2,4,6
/proc/6535/stat : 6535 (java) S 6532 6535 5678 0 -1 1077944320 13913 12350 0 0 53 4 5 2 20 0 15 0 13679504 14310178816 14387 18446744073709551615 4194304 4196468 140734970816176 140734970798720 139890517081847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
/proc/6535/statm: 3493696 14387 3113 1 0 3482973 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 13974784

[startup+1.50067 s]
/proc/loadavg: 1.73 1.66 1.69 3/210 6598
/proc/meminfo: memFree=29553244/32770624 swapFree=0/943696
[pid=6535] ppid=6532 vsize=13985408 CPUtime=1.83 cores=0,2,4,6
/proc/6535/stat : 6535 (java) S 6532 6535 5678 0 -1 1077944320 28225 12350 0 0 169 7 5 2 20 0 15 0 13679504 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 140734970798720 139890517081847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
/proc/6535/statm: 3496352 33941 3329 1 0 3485533 0
[pid=6535/tid=6585] ppid=6532 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/6535/task/6585/stat : 6585 (java) R 6532 6535 5678 0 -1 4202560 23075 12350 0 0 116 6 5 2 20 0 15 0 13679527 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139890521313840 139890497357234 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6586] ppid=6532 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6586/stat : 6586 (java) S 6532 6535 5678 0 -1 1077944384 1 12350 0 0 0 0 5 2 20 0 15 0 13679528 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139890451515664 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6587] ppid=6532 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6587/stat : 6587 (java) S 6532 6535 5678 0 -1 1077944384 1 12350 0 0 0 0 5 2 20 0 15 0 13679528 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139890450463120 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6588] ppid=6532 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6588/stat : 6588 (java) S 6532 6535 5678 0 -1 1077944384 1 12350 0 0 0 0 5 2 20 0 15 0 13679528 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139890449410576 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6589] ppid=6532 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6589/stat : 6589 (java) S 6532 6535 5678 0 -1 1077944384 2 12350 0 0 0 0 5 2 20 0 15 0 13679528 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139890448358032 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6590] ppid=6532 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6590/stat : 6590 (java) S 6532 6535 5678 0 -1 1077944384 5 12350 0 0 0 0 5 2 20 0 15 0 13679529 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139889995119088 139890517092994 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6591] ppid=6532 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6591/stat : 6591 (java) S 6532 6535 5678 0 -1 1077944384 33 12350 0 0 0 0 5 2 20 0 15 0 13679530 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139889994065312 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6592] ppid=6532 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6592/stat : 6592 (java) S 6532 6535 5678 0 -1 1077944384 21 12350 0 0 0 0 5 2 20 0 15 0 13679530 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139889993012720 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6593] ppid=6532 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6593/stat : 6593 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139889991961296 139890517100443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6594] ppid=6532 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/6535/task/6594/stat : 6594 (java) S 6532 6535 5678 0 -1 1077944384 957 12350 0 0 16 0 5 2 20 0 15 0 13679533 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139889990907888 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6595] ppid=6532 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/6535/task/6595/stat : 6595 (java) S 6532 6535 5678 0 -1 1077944384 665 12350 0 0 13 0 5 2 20 0 15 0 13679533 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139889989855344 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6596] ppid=6532 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/6535/task/6596/stat : 6596 (java) S 6532 6535 5678 0 -1 1077944384 1296 12350 0 0 22 0 5 2 20 0 15 0 13679533 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139889988802800 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6597] ppid=6532 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6597/stat : 6597 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139889987750496 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6598] ppid=6532 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6598/stat : 6598 (java) S 6532 6535 5678 0 -1 1077944384 10 12350 0 0 0 0 5 2 20 0 15 0 13679537 14321057792 33941 18446744073709551615 4194304 4196468 140734970816176 139889986698032 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13985408

[startup+3.10519 s]
/proc/loadavg: 1.73 1.66 1.69 5/210 6598
/proc/meminfo: memFree=29475100/32770624 swapFree=0/943696
[pid=6535] ppid=6532 vsize=13995836 CPUtime=6.22 cores=0,2,4,6
/proc/6535/stat : 6535 (java) S 6532 6535 5678 0 -1 1077944320 43769 12350 0 0 602 13 5 2 20 0 15 0 13679504 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 140734970798720 139890517081847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
/proc/6535/statm: 3498959 56044 3441 1 0 3487581 0
[pid=6535/tid=6585] ppid=6532 vsize=13995836 CPUtime=2.85 cores=0,2,4,6
/proc/6535/task/6585/stat : 6585 (java) S 6532 6535 5678 0 -1 1077944384 29941 12350 0 0 270 8 5 2 20 0 15 0 13679527 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139890521308720 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6586] ppid=6532 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6586/stat : 6586 (java) S 6532 6535 5678 0 -1 1077944384 37 12350 0 0 0 0 5 2 20 0 15 0 13679528 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139890451515664 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6587] ppid=6532 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/6535/task/6587/stat : 6587 (java) S 6532 6535 5678 0 -1 1077944384 48 12350 0 0 1 0 5 2 20 0 15 0 13679528 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139890450463120 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6588] ppid=6532 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/6535/task/6588/stat : 6588 (java) S 6532 6535 5678 0 -1 1077944384 51 12350 0 0 1 0 5 2 20 0 15 0 13679528 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139890449410576 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6589] ppid=6532 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/6535/task/6589/stat : 6589 (java) S 6532 6535 5678 0 -1 1077944384 219 12350 0 0 1 0 5 2 20 0 15 0 13679528 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139890448358032 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6590] ppid=6532 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/6535/task/6590/stat : 6590 (java) S 6532 6535 5678 0 -1 1077944384 1563 12350 0 0 1 0 5 2 20 0 15 0 13679529 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139889995119088 139890517092994 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6591] ppid=6532 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6591/stat : 6591 (java) S 6532 6535 5678 0 -1 1077944384 55 12350 0 0 0 0 5 2 20 0 15 0 13679530 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139889994065312 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6592] ppid=6532 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6592/stat : 6592 (java) S 6532 6535 5678 0 -1 1077944384 44 12350 0 0 0 0 5 2 20 0 15 0 13679530 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139889993012720 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6593] ppid=6532 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6593/stat : 6593 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139889991961296 139890517100443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6594] ppid=6532 vsize=13995836 CPUtime=1.22 cores=0,2,4,6
/proc/6535/task/6594/stat : 6594 (java) R 6532 6535 5678 0 -1 4202560 4095 12350 0 0 115 0 5 2 20 0 15 0 13679533 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139889990907696 139890496975073 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6595] ppid=6532 vsize=13995836 CPUtime=1.13 cores=0,2,4,6
/proc/6535/task/6595/stat : 6595 (java) R 6532 6535 5678 0 -1 4202560 2111 12350 0 0 106 0 5 2 20 0 15 0 13679533 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139889989842304 139890496338422 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6596] ppid=6532 vsize=13995836 CPUtime=1.11 cores=0,2,4,6
/proc/6535/task/6596/stat : 6596 (java) S 6532 6535 5678 0 -1 1077944384 3436 12350 0 0 103 1 5 2 20 0 15 0 13679533 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139889988802800 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6597] ppid=6532 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6597/stat : 6597 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139889987750496 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6598] ppid=6532 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6598/stat : 6598 (java) S 6532 6535 5678 0 -1 1077944384 11 12350 0 0 0 0 5 2 20 0 15 0 13679537 14331736064 56044 18446744073709551615 4194304 4196468 140734970816176 139889986698032 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 13995836

[startup+6.30147 s]
/proc/loadavg: 1.83 1.68 1.70 5/210 6598
/proc/meminfo: memFree=29305284/32770624 swapFree=0/943708
[pid=6535] ppid=6532 vsize=14069564 CPUtime=15.93 cores=0,2,4,6
/proc/6535/stat : 6535 (java) S 6532 6535 5678 0 -1 1077944320 75770 12350 0 0 1564 22 5 2 20 0 15 0 13679504 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 140734970798720 139890517081847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
/proc/6535/statm: 3517391 93286 3469 1 0 3506013 0
[pid=6535/tid=6585] ppid=6532 vsize=14069564 CPUtime=5.57 cores=0,2,4,6
/proc/6535/task/6585/stat : 6585 (java) R 6532 6535 5678 0 -1 4202560 46666 12350 0 0 538 12 5 2 20 0 15 0 13679527 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139890521315488 139890140177686 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6586] ppid=6532 vsize=14069564 CPUtime=0.39 cores=0,2,4,6
/proc/6535/task/6586/stat : 6586 (java) S 6532 6535 5678 0 -1 1077944384 229 12350 0 0 31 1 5 2 20 0 15 0 13679528 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139890451515664 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6587] ppid=6532 vsize=14069564 CPUtime=0.37 cores=0,2,4,6
/proc/6535/task/6587/stat : 6587 (java) S 6532 6535 5678 0 -1 1077944384 178 12350 0 0 30 0 5 2 20 0 15 0 13679528 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139890450463120 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6588] ppid=6532 vsize=14069564 CPUtime=0.38 cores=0,2,4,6
/proc/6535/task/6588/stat : 6588 (java) S 6532 6535 5678 0 -1 1077944384 119 12350 0 0 31 0 5 2 20 0 15 0 13679528 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139890449410576 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6589] ppid=6532 vsize=14069564 CPUtime=0.39 cores=0,2,4,6
/proc/6535/task/6589/stat : 6589 (java) S 6532 6535 5678 0 -1 1077944384 324 12350 0 0 32 0 5 2 20 0 15 0 13679528 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139890448358032 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6590] ppid=6532 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/6535/task/6590/stat : 6590 (java) S 6532 6535 5678 0 -1 1077944384 3995 12350 0 0 14 0 5 2 20 0 15 0 13679529 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139889995119088 139890517092994 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6591] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6591/stat : 6591 (java) S 6532 6535 5678 0 -1 1077944384 55 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139889994065376 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6592] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6592/stat : 6592 (java) S 6532 6535 5678 0 -1 1077944384 44 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139889993012736 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6593] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6593/stat : 6593 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139889991961296 139890517100443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6594] ppid=6532 vsize=14069564 CPUtime=3.5 cores=0,2,4,6
/proc/6535/task/6594/stat : 6594 (java) R 6532 6535 5678 0 -1 4202560 7690 12350 0 0 342 1 5 2 20 0 15 0 13679533 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139889990893984 139890496327753 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6595] ppid=6532 vsize=14069564 CPUtime=3.45 cores=0,2,4,6
/proc/6535/task/6595/stat : 6595 (java) R 6532 6535 5678 0 -1 4202560 5392 12350 0 0 337 1 5 2 20 0 15 0 13679533 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139889989840784 139890498627130 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6596] ppid=6532 vsize=14069564 CPUtime=2.12 cores=0,2,4,6
/proc/6535/task/6596/stat : 6596 (java) S 6532 6535 5678 0 -1 1077944384 8899 12350 0 0 203 2 5 2 20 0 15 0 13679533 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139889988802800 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6597] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6597/stat : 6597 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139889987750496 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6598] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6598/stat : 6598 (java) S 6532 6535 5678 0 -1 1077944384 21 12350 0 0 0 0 5 2 20 0 15 0 13679537 14407233536 93286 18446744073709551615 4194304 4196468 140734970816176 139889986698032 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
Current children cumulated CPU time (s) 15.93
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 2.00 1.72 1.71 3/210 6598
/proc/meminfo: memFree=29032236/32770624 swapFree=0/943716
[pid=6535] ppid=6532 vsize=14069564 CPUtime=25.21 cores=0,2,4,6
/proc/6535/stat : 6535 (java) S 6532 6535 5678 0 -1 1077944320 82386 12350 0 0 2478 36 5 2 20 0 15 0 13679504 14407233536 144504 18446744073709551615 4194304 4196468 140734970816176 140734970798720 139890517081847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
/proc/6535/statm: 3517391 144504 3481 1 0 3506013 0
[pid=6535/tid=6585] ppid=6532 vsize=14069564 CPUtime=11.89 cores=0,2,4,6
/proc/6535/task/6585/stat : 6585 (java) R 6532 6535 5678 0 -1 4202560 47151 12350 0 0 1169 13 5 2 20 0 15 0 13679527 14407233536 144504 18446744073709551615 4194304 4196468 140734970816176 139890521310384 139890142002739 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6586] ppid=6532 vsize=14069564 CPUtime=0.44 cores=0,2,4,6
/proc/6535/task/6586/stat : 6586 (java) S 6532 6535 5678 0 -1 1077944384 285 12350 0 0 34 3 5 2 20 0 15 0 13679528 14407233536 144504 18446744073709551615 4194304 4196468 140734970816176 139890451515664 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6587] ppid=6532 vsize=14069564 CPUtime=0.42 cores=0,2,4,6
/proc/6535/task/6587/stat : 6587 (java) S 6532 6535 5678 0 -1 1077944384 223 12350 0 0 32 3 5 2 20 0 15 0 13679528 14407233536 144504 18446744073709551615 4194304 4196468 140734970816176 139890450463120 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6588] ppid=6532 vsize=14069564 CPUtime=0.43 cores=0,2,4,6
/proc/6535/task/6588/stat : 6588 (java) S 6532 6535 5678 0 -1 1077944384 340 12350 0 0 33 3 5 2 20 0 15 0 13679528 14407233536 144504 18446744073709551615 4194304 4196468 140734970816176 139890449410576 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6589] ppid=6532 vsize=14069564 CPUtime=0.45 cores=0,2,4,6
/proc/6535/task/6589/stat : 6589 (java) S 6532 6535 5678 0 -1 1077944384 388 12350 0 0 35 3 5 2 20 0 15 0 13679528 14407233536 144504 18446744073709551615 4194304 4196468 140734970816176 139890448358032 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6590] ppid=6532 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/6535/task/6590/stat : 6590 (java) S 6532 6535 5678 0 -1 1077944384 4237 12350 0 0 14 0 5 2 20 0 15 0 13679529 14407233536 144504 18446744073709551615 4194304 4196468 140734970816176 139889995119088 139890517092994 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6591] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6591/stat : 6591 (java) S 6532 6535 5678 0 -1 1077944384 67 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 144504 18446744073709551615 4194304 4196468 140734970816176 139889994065376 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6592] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6592/stat : 6592 (java) S 6532 6535 5678 0 -1 1077944384 52 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 144504 18446744073709551615 4194304 4196468 140734970816176 139889993012736 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6593] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6593/stat : 6593 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 144504 18446744073709551615 4194304 4196468 140734970816176 139889991961296 139890517100443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0

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

/proc/6535/task/6597/stat : 6597 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 286985 18446744073709551615 4194304 4196468 140734970816176 139889987750496 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6598] ppid=6532 vsize=14069564 CPUtime=0.09 cores=0,2,4,6
/proc/6535/task/6598/stat : 6598 (java) S 6532 6535 5678 0 -1 1077944384 58 12350 0 0 1 1 5 2 20 0 15 0 13679537 14407233536 286985 18446744073709551615 4194304 4196468 140734970816176 139889986698032 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
Current children cumulated CPU time (s) 65.82
Current children cumulated vsize (KiB) 14069564

[startup+102.301 s]
/proc/loadavg: 1.73 1.72 1.71 3/210 6600
/proc/meminfo: memFree=28339404/32770624 swapFree=0/943844
[pid=6535] ppid=6532 vsize=14069564 CPUtime=118.02 cores=0,2,4,6
/proc/6535/stat : 6535 (java) S 6532 6535 5678 0 -1 1077944320 121460 12350 0 0 11701 94 5 2 20 0 15 0 13679504 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 140734970798720 139890517081847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
/proc/6535/statm: 3517391 292364 3483 1 0 3506013 0
[pid=6535/tid=6585] ppid=6532 vsize=14069564 CPUtime=101.15 cores=0,2,4,6
/proc/6535/task/6585/stat : 6585 (java) R 6532 6535 5678 0 -1 4202560 56758 12350 0 0 10089 19 5 2 20 0 15 0 13679527 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139890521315792 139890142010650 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6586] ppid=6532 vsize=14069564 CPUtime=0.76 cores=0,2,4,6
/proc/6535/task/6586/stat : 6586 (java) S 6532 6535 5678 0 -1 1077944384 2516 12350 0 0 53 16 5 2 20 0 15 0 13679528 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139890451515664 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6587] ppid=6532 vsize=14069564 CPUtime=0.73 cores=0,2,4,6
/proc/6535/task/6587/stat : 6587 (java) S 6532 6535 5678 0 -1 1077944384 1250 12350 0 0 51 15 5 2 20 0 15 0 13679528 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139890450463120 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6588] ppid=6532 vsize=14069564 CPUtime=0.74 cores=0,2,4,6
/proc/6535/task/6588/stat : 6588 (java) S 6532 6535 5678 0 -1 1077944384 2292 12350 0 0 52 15 5 2 20 0 15 0 13679528 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139890449410576 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6589] ppid=6532 vsize=14069564 CPUtime=0.75 cores=0,2,4,6
/proc/6535/task/6589/stat : 6589 (java) S 6532 6535 5678 0 -1 1077944384 1176 12350 0 0 53 15 5 2 20 0 15 0 13679528 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139890448358032 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6590] ppid=6532 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/6535/task/6590/stat : 6590 (java) S 6532 6535 5678 0 -1 1077944384 5392 12350 0 0 16 2 5 2 20 0 15 0 13679529 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139889995119088 139890517092994 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6591] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6591/stat : 6591 (java) S 6532 6535 5678 0 -1 1077944384 84 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139889994065376 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6592] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6592/stat : 6592 (java) S 6532 6535 5678 0 -1 1077944384 52 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139889993012736 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6593] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6593/stat : 6593 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139889991961296 139890517100443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6594] ppid=6532 vsize=14069564 CPUtime=5.96 cores=0,2,4,6
/proc/6535/task/6594/stat : 6594 (java) S 6532 6535 5678 0 -1 1077944384 17322 12350 0 0 586 3 5 2 20 0 15 0 13679533 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139889990907888 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6595] ppid=6532 vsize=14069564 CPUtime=5.65 cores=0,2,4,6
/proc/6535/task/6595/stat : 6595 (java) S 6532 6535 5678 0 -1 1077944384 13077 12350 0 0 556 2 5 2 20 0 15 0 13679533 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139889989855344 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6596] ppid=6532 vsize=14069564 CPUtime=2.45 cores=0,2,4,6
/proc/6535/task/6596/stat : 6596 (java) S 6532 6535 5678 0 -1 1077944384 19283 12350 0 0 235 3 5 2 20 0 15 0 13679533 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139889988802800 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6597] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6597/stat : 6597 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139889987750496 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6598] ppid=6532 vsize=14069564 CPUtime=0.11 cores=0,2,4,6
/proc/6535/task/6598/stat : 6598 (java) S 6532 6535 5678 0 -1 1077944384 100 12350 0 0 3 1 5 2 20 0 15 0 13679537 14407233536 292364 18446744073709551615 4194304 4196468 140734970816176 139889986698032 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
Current children cumulated CPU time (s) 118.02
Current children cumulated vsize (KiB) 14069564

[startup+162.301 s]
/proc/loadavg: 1.51 1.65 1.68 3/210 6602
/proc/meminfo: memFree=29115904/32770624 swapFree=0/943916
[pid=6535] ppid=6532 vsize=14069564 CPUtime=179.47 cores=0,2,4,6
/proc/6535/stat : 6535 (java) S 6532 6535 5678 0 -1 1077944320 133834 12350 0 0 17837 103 5 2 20 0 15 0 13679504 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 140734970798720 139890517081847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
/proc/6535/statm: 3517391 215046 3485 1 0 3506013 0
[pid=6535/tid=6585] ppid=6532 vsize=14069564 CPUtime=160.81 cores=0,2,4,6
/proc/6535/task/6585/stat : 6585 (java) R 6532 6535 5678 0 -1 4202560 58725 12350 0 0 16055 19 5 2 20 0 15 0 13679527 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139890521315568 139890142002396 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6586] ppid=6532 vsize=14069564 CPUtime=1.03 cores=0,2,4,6
/proc/6535/task/6586/stat : 6586 (java) S 6532 6535 5678 0 -1 1077944384 3013 12350 0 0 79 17 5 2 20 0 15 0 13679528 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139890451515664 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6587] ppid=6532 vsize=14069564 CPUtime=1.01 cores=0,2,4,6
/proc/6535/task/6587/stat : 6587 (java) S 6532 6535 5678 0 -1 1077944384 1491 12350 0 0 77 17 5 2 20 0 15 0 13679528 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139890450463120 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6588] ppid=6532 vsize=14069564 CPUtime=1.01 cores=0,2,4,6
/proc/6535/task/6588/stat : 6588 (java) S 6532 6535 5678 0 -1 1077944384 3617 12350 0 0 78 16 5 2 20 0 15 0 13679528 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139890449410576 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6589] ppid=6532 vsize=14069564 CPUtime=1.03 cores=0,2,4,6
/proc/6535/task/6589/stat : 6589 (java) S 6532 6535 5678 0 -1 1077944384 1533 12350 0 0 79 17 5 2 20 0 15 0 13679528 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139890448358032 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6590] ppid=6532 vsize=14069564 CPUtime=0.28 cores=0,2,4,6
/proc/6535/task/6590/stat : 6590 (java) S 6532 6535 5678 0 -1 1077944384 5458 12350 0 0 19 2 5 2 20 0 15 0 13679529 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139889995119088 139890517092994 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6591] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6591/stat : 6591 (java) S 6532 6535 5678 0 -1 1077944384 84 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139889994065376 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6592] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6592/stat : 6592 (java) S 6532 6535 5678 0 -1 1077944384 52 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139889993012736 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6593] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6593/stat : 6593 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139889991961296 139890517100443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6594] ppid=6532 vsize=14069564 CPUtime=6.24 cores=0,2,4,6
/proc/6535/task/6594/stat : 6594 (java) S 6532 6535 5678 0 -1 1077944384 19158 12350 0 0 614 3 5 2 20 0 15 0 13679533 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139889990907888 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6595] ppid=6532 vsize=14069564 CPUtime=5.91 cores=0,2,4,6
/proc/6535/task/6595/stat : 6595 (java) S 6532 6535 5678 0 -1 1077944384 15761 12350 0 0 582 2 5 2 20 0 15 0 13679533 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139889989855344 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6596] ppid=6532 vsize=14069564 CPUtime=2.51 cores=0,2,4,6
/proc/6535/task/6596/stat : 6596 (java) S 6532 6535 5678 0 -1 1077944384 22608 12350 0 0 241 3 5 2 20 0 15 0 13679533 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139889988802800 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6597] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6597/stat : 6597 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139889987750496 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6598] ppid=6532 vsize=14069564 CPUtime=0.15 cores=0,2,4,6
/proc/6535/task/6598/stat : 6598 (java) S 6532 6535 5678 0 -1 1077944384 176 12350 0 0 5 3 5 2 20 0 15 0 13679537 14407233536 215046 18446744073709551615 4194304 4196468 140734970816176 139889986698032 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
Current children cumulated CPU time (s) 179.47
Current children cumulated vsize (KiB) 14069564

[startup+222.307 s]
/proc/loadavg: 1.70 1.68 1.69 3/209 6730
/proc/meminfo: memFree=29354872/32770624 swapFree=0/944032
[pid=6535] ppid=6532 vsize=14069564 CPUtime=241.14 cores=0,2,4,6
/proc/6535/stat : 6535 (java) S 6532 6535 5678 0 -1 1077944320 150964 12350 0 0 23980 127 5 2 20 0 15 0 13679504 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 140734970798720 139890517081847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
/proc/6535/statm: 3517391 152679 3485 1 0 3506013 0
[pid=6535/tid=6585] ppid=6532 vsize=14069564 CPUtime=220.35 cores=0,2,4,6
/proc/6535/task/6585/stat : 6585 (java) R 6532 6535 5678 0 -1 4202560 61051 12350 0 0 22008 20 5 2 20 0 15 0 13679527 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139890521314024 139890122624706 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6586] ppid=6532 vsize=14069564 CPUtime=1.41 cores=0,2,4,6
/proc/6535/task/6586/stat : 6586 (java) S 6532 6535 5678 0 -1 1077944384 3835 12350 0 0 112 22 5 2 20 0 15 0 13679528 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139890451515664 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6587] ppid=6532 vsize=14069564 CPUtime=1.38 cores=0,2,4,6
/proc/6535/task/6587/stat : 6587 (java) S 6532 6535 5678 0 -1 1077944384 2212 12350 0 0 109 22 5 2 20 0 15 0 13679528 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139890450463120 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6588] ppid=6532 vsize=14069564 CPUtime=1.4 cores=0,2,4,6
/proc/6535/task/6588/stat : 6588 (java) S 6532 6535 5678 0 -1 1077944384 4260 12350 0 0 111 22 5 2 20 0 15 0 13679528 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139890449410576 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6589] ppid=6532 vsize=14069564 CPUtime=1.41 cores=0,2,4,6
/proc/6535/task/6589/stat : 6589 (java) S 6532 6535 5678 0 -1 1077944384 4082 12350 0 0 112 22 5 2 20 0 15 0 13679528 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139890448358032 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6590] ppid=6532 vsize=14069564 CPUtime=0.36 cores=0,2,4,6
/proc/6535/task/6590/stat : 6590 (java) S 6532 6535 5678 0 -1 1077944384 6164 12350 0 0 25 4 5 2 20 0 15 0 13679529 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139889995119088 139890517092994 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6591] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6591/stat : 6591 (java) S 6532 6535 5678 0 -1 1077944384 89 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139889994065376 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6592] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6592/stat : 6592 (java) S 6532 6535 5678 0 -1 1077944384 52 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139889993012736 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6593] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6593/stat : 6593 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139889991961296 139890517100443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6594] ppid=6532 vsize=14069564 CPUtime=6.47 cores=0,2,4,6
/proc/6535/task/6594/stat : 6594 (java) S 6532 6535 5678 0 -1 1077944384 20919 12350 0 0 637 3 5 2 20 0 15 0 13679533 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139889990907888 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6595] ppid=6532 vsize=14069564 CPUtime=6.15 cores=0,2,4,6
/proc/6535/task/6595/stat : 6595 (java) S 6532 6535 5678 0 -1 1077944384 19824 12350 0 0 606 2 5 2 20 0 15 0 13679533 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139889989855344 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6596] ppid=6532 vsize=14069564 CPUtime=2.56 cores=0,2,4,6
/proc/6535/task/6596/stat : 6596 (java) S 6532 6535 5678 0 -1 1077944384 26113 12350 0 0 245 4 5 2 20 0 15 0 13679533 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139889988802800 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6597] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6597/stat : 6597 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139889987750496 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6598] ppid=6532 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/6535/task/6598/stat : 6598 (java) S 6532 6535 5678 0 -1 1077944384 205 12350 0 0 6 5 5 2 20 0 15 0 13679537 14407233536 152679 18446744073709551615 4194304 4196468 140734970816176 139889986698032 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
Current children cumulated CPU time (s) 241.14
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.79 1.70 1.70 3/209 6731
/proc/meminfo: memFree=29048612/32770624 swapFree=0/944048
[pid=6535] ppid=6532 vsize=14069564 CPUtime=259.26 cores=0,2,4,6
/proc/6535/stat : 6535 (java) S 6532 6535 5678 0 -1 1077944320 152224 12350 0 0 25788 131 5 2 20 0 15 0 13679504 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 140734970798720 139890517081847 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
/proc/6535/statm: 3517391 131949 3485 1 0 3506013 0
[pid=6535/tid=6585] ppid=6532 vsize=14069564 CPUtime=237.93 cores=0,2,4,6
/proc/6535/task/6585/stat : 6585 (java) R 6532 6535 5678 0 -1 4202560 61109 12350 0 0 23766 20 5 2 20 0 15 0 13679527 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139890521316256 139890498730912 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6586] ppid=6532 vsize=14069564 CPUtime=1.49 cores=0,2,4,6
/proc/6535/task/6586/stat : 6586 (java) S 6532 6535 5678 0 -1 1077944384 3854 12350 0 0 119 23 5 2 20 0 15 0 13679528 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139890451515664 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6587] ppid=6532 vsize=14069564 CPUtime=1.46 cores=0,2,4,6
/proc/6535/task/6587/stat : 6587 (java) S 6532 6535 5678 0 -1 1077944384 2246 12350 0 0 116 23 5 2 20 0 15 0 13679528 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139890450463120 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6588] ppid=6532 vsize=14069564 CPUtime=1.47 cores=0,2,4,6
/proc/6535/task/6588/stat : 6588 (java) S 6532 6535 5678 0 -1 1077944384 4292 12350 0 0 118 22 5 2 20 0 15 0 13679528 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139890449410576 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6589] ppid=6532 vsize=14069564 CPUtime=1.49 cores=0,2,4,6
/proc/6535/task/6589/stat : 6589 (java) S 6532 6535 5678 0 -1 1077944384 4109 12350 0 0 119 23 5 2 20 0 15 0 13679528 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139890448358032 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6590] ppid=6532 vsize=14069564 CPUtime=0.38 cores=0,2,4,6
/proc/6535/task/6590/stat : 6590 (java) S 6532 6535 5678 0 -1 1077944384 6171 12350 0 0 27 4 5 2 20 0 15 0 13679529 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139889995119088 139890517092994 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6591] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6591/stat : 6591 (java) S 6532 6535 5678 0 -1 1077944384 89 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139889994065376 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6592] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6592/stat : 6592 (java) S 6532 6535 5678 0 -1 1077944384 52 12350 0 0 0 0 5 2 20 0 15 0 13679530 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139889993012736 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6593] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6593/stat : 6593 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139889991961296 139890517100443 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6594] ppid=6532 vsize=14069564 CPUtime=6.56 cores=0,2,4,6
/proc/6535/task/6594/stat : 6594 (java) S 6532 6535 5678 0 -1 1077944384 21210 12350 0 0 646 3 5 2 20 0 15 0 13679533 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139889990907888 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6595] ppid=6532 vsize=14069564 CPUtime=6.24 cores=0,2,4,6
/proc/6535/task/6595/stat : 6595 (java) S 6532 6535 5678 0 -1 1077944384 20176 12350 0 0 614 3 5 2 20 0 15 0 13679533 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139889989855344 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6596] ppid=6532 vsize=14069564 CPUtime=2.58 cores=0,2,4,6
/proc/6535/task/6596/stat : 6596 (java) S 6532 6535 5678 0 -1 1077944384 26550 12350 0 0 247 4 5 2 20 0 15 0 13679533 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139889988802800 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6597] ppid=6532 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/6535/task/6597/stat : 6597 (java) S 6532 6535 5678 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 13679533 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139889987750496 139890517092053 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
[pid=6535/tid=6598] ppid=6532 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/6535/task/6598/stat : 6598 (java) S 6532 6535 5678 0 -1 1077944384 208 12350 0 0 7 5 5 2 20 0 15 0 13679537 14407233536 131949 18446744073709551615 4194304 4196468 140734970816176 139889986698032 139890517092994 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140734970824653 140734970827438 140734970827438 140734970830799 0
Current children cumulated CPU time (s) 259.26
Current children cumulated vsize (KiB) 14069564

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

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

Child status: 143
Real time (s): 240.043
CPU time (s): 259.326
CPU user time (s): 257.971
CPU system time (s): 1.35489
CPU usage (%): 108.033
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.971
system time used= 1.35489
maximum resident set size= 1309680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18424
involuntary context switches= 524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04339 second user time and 1.47363 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 06:55:09
IDJOB=4259853
IDBENCH=124451
IDSOLVER=2646
FILE ID=node128/4259853-1501650548
RUNJOBID= node128-1501642693-29417
PBS_JOBID= 
Free space on /tmp= 61828 MiB

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

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

MD5SUM BENCH= 994883c0320da003cf1ede0b66369d8b
RANDOM SEED=2031859746

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29684956 kB
MemAvailable:   30628464 kB
Buffers:          121020 kB
Cached:          1103288 kB
SwapCached:            0 kB
Active:          1716972 kB
Inactive:         951752 kB
Active(anon):    1445332 kB
Inactive(anon):     8532 kB
Active(file):     271640 kB
Inactive(file):   943220 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24308 kB
Writeback:             4 kB
AnonPages:       1444760 kB
Mapped:            43760 kB
Shmem:              8872 kB
Slab:             114568 kB
SReclaimable:      88968 kB
SUnreclaim:        25600 kB
KernelStack:        3440 kB
PageTables:         7552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2425028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1216512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

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