Trace number 4262222

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)748 2520.1001 2471.55

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 benchmark725
Best CPU time to get the best result obtained on this benchmark2400.03
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.36/2.21	c Concrete v3.4 running
15.04/6.01	o 1660
15.64/6.25	o 1652
16.25/6.44	o 1639
16.87/6.61	o 1602
17.18/6.78	o 1579
17.70/6.93	o 1502
18.05/7.10	o 1454
18.24/7.23	o 1431
18.48/7.37	o 1417
19.09/7.60	o 1413
19.38/7.69	o 1395
19.56/7.80	o 1392
19.80/7.91	o 1368
19.90/8.02	o 1364
20.00/8.14	o 1347
20.12/8.25	o 1345
20.63/8.56	o 1339
20.74/8.68	o 1302
20.88/8.80	o 1288
21.25/9.08	o 1278
21.37/9.19	o 1265
21.70/9.45	o 1253
21.80/9.58	o 1242
22.01/9.70	o 1232
22.11/9.82	o 1223
22.21/9.94	o 1212
22.32/10.07	o 1208
22.67/10.33	o 1204
22.77/10.45	o 1196
23.07/10.70	o 1195
23.17/10.83	o 1163
23.74/11.33	o 1159
24.39/11.94	o 1145
24.49/12.08	o 1144
24.60/12.20	o 1140
24.89/12.49	o 1125
25.16/12.63	o 1122
25.26/12.78	o 1121
25.52/12.94	o 1119
25.62/13.07	o 1117
25.82/13.25	o 1114
25.92/13.39	o 1106
26.12/13.52	o 1104
26.84/14.28	o 1089
27.96/15.21	o 1087
28.07/15.33	o 1074
28.18/15.46	o 1068
28.47/15.71	o 1058
28.68/15.99	o 1048
29.00/16.27	o 1035
30.35/17.20	o 1034
33.04/19.50	o 1021
33.27/19.78	o 1017
35.36/21.72	o 1015
35.46/21.84	o 1012
35.56/21.98	o 1011
35.88/22.22	o 1003
36.08/22.47	o 997
36.38/22.73	o 995
36.70/23.00	o 984
36.82/23.15	o 978
37.91/24.19	o 976
40.09/26.25	o 973
44.58/30.56	o 972
45.39/31.35	o 957
45.49/31.47	o 956
45.60/31.57	o 951
49.30/35.16	o 943
57.09/42.62	o 933
60.65/46.20	o 931
63.40/48.81	o 930
67.09/52.40	o 924
67.40/52.78	o 922
67.70/53.08	o 909
68.64/53.98	o 893
68.83/54.10	o 891
72.85/58.03	o 883
74.96/60.19	o 881
75.16/60.34	o 871
75.57/60.75	o 868
75.67/60.89	o 862
75.97/61.16	o 859
76.09/61.30	o 858
80.80/65.81	o 856
82.91/67.99	o 855
84.93/69.96	o 854
89.31/74.28	o 851
90.12/75.00	o 844
90.36/75.28	o 843
91.78/76.64	o 842
94.10/78.92	o 838
100.10/84.85	o 836
114.25/98.73	o 827
123.59/107.98	o 819
134.59/118.71	o 815
139.58/123.64	o 814
157.24/140.94	o 809
157.53/141.27	o 798
172.32/155.66	o 794
172.74/156.02	o 793
196.22/178.94	o 780
319.17/298.89	o 779
353.83/332.46	o 775
383.90/361.55	o 773
414.15/390.71	o 772
752.99/719.62	o 770
753.94/720.52	o 768
1235.66/1192.12	o 766
1463.15/1418.12	o 763
1819.79/1773.20	o 754
1821.79/1775.11	o 748
2520.02/2471.50	java.util.concurrent.TimeoutException
2520.02/2471.50		at concrete.MAC.mac(MAC.scala:74)
2520.02/2471.50		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.02/2471.50		at scala.util.Try$.apply(Try.scala:209)
2520.02/2471.50		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2471.50		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2471.50		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2471.50		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2471.50		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.02/2471.50		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2471.50		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2471.50		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2471.50		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2471.50		at concrete.MAC.oneRun(MAC.scala:146)
2520.02/2471.50		at concrete.MAC.nextSolution(MAC.scala:166)
2520.02/2471.50		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.02/2471.50		at concrete.ProblemState.map(ProblemState.scala:203)
2520.02/2471.50		at concrete.ProblemState.map(ProblemState.scala:188)
2520.02/2471.50		at concrete.MAC.nextSolution(MAC.scala:195)
2520.02/2471.50		at concrete.Solver.hasNext(Solver.scala:202)
2520.02/2471.50		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.02/2471.50		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.02/2471.50		at concrete.Solver.toStream(Solver.scala:73)
2520.02/2471.50		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.02/2471.50		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.02/2471.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.02/2471.51		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.02/2471.51		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.02/2471.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2471.51		at scala.util.Success.map(Try.scala:209)
2520.02/2471.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.02/2471.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.02/2471.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.02/2471.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.02/2471.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.02/2471.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2471.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2471.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2471.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2471.51		at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2471.51		at scala.App.main(App.scala:76)
2520.02/2471.51		at scala.App.main$(App.scala:74)
2520.02/2471.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.02/2471.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2471.51	v <instantiation cost="748">
2520.02/2471.51	v       <list>
2520.02/2471.51	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]
2520.02/2471.51	v       </list>
2520.02/2471.51	v       <values>
2520.02/2471.51	v         0 1 0 0 0 0 1 0 0 1 0 0 1 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 1 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 29 48 33 100 43 19 82 35 29 75 69 19 62 100 87 100 22 56 50 79 59 100 100 83 43 100 79 88 100 70 100 64 100 19 67 31 57 32 49 33 62 73 47 81 100 50 19 22 94
2520.02/2471.51	v       </values>
2520.02/2471.51	v     </instantiation>
2520.02/2471.51	s SATISFIABLE

Verifier Data 

OK	748

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-4262222-1502439395/watcher-4262222-1502439395 -o /tmp/evaluation-result-4262222-1502439395/solver-4262222-1502439395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580 bin/concrete HOME/instance-4262222-1502439395.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.29 1.35 1.33 4/202 20605
/proc/meminfo: memFree=30384148/32770624 swapFree=0/460624
[pid=20605] ppid=20602 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20605/stat : 20605 (runsolver) D 20602 20605 13007 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 85850696 24240128 108 18446744073709551615 4194304 4338465 140727994822288 140727994819928 140152353731287 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 28622848 140727994826960 140727994827337 140727994827337 140727994830794 0
/proc/20605/statm: 5918 108 54 36 0 2156 0

[startup+0.100076 s]
/proc/loadavg: 1.29 1.35 1.33 4/202 20605
/proc/meminfo: memFree=30384148/32770624 swapFree=0/460624
[pid=20605] ppid=20602 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/20605/stat : 20605 (bash) S 20602 20605 13007 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 85850696 9736192 351 18446744073709551615 4194304 5098028 140731861995456 140731861993096 139698939198464 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 18984960 140731862000148 140731862000233 140731862000233 140731862003690 0
/proc/20605/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200231 s]
/proc/loadavg: 1.29 1.35 1.33 4/202 20605
/proc/meminfo: memFree=30384148/32770624 swapFree=0/460624
[pid=20605] ppid=20602 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/20605/stat : 20605 (bash) S 20602 20605 13007 0 -1 4202496 891 6484 0 0 0 0 0 1 20 0 1 0 85850696 9867264 377 18446744073709551615 4194304 5098028 140731861995456 140731861989464 139698939198464 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 18984960 140731862000148 140731862000233 140731862000233 140731862003690 0
/proc/20605/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.301134 s]
/proc/loadavg: 1.29 1.35 1.33 4/202 20605
/proc/meminfo: memFree=30384148/32770624 swapFree=0/460624
[pid=20605] ppid=20602 vsize=13575516 CPUtime=0.12 cores=1,3,5,7
/proc/20605/stat : 20605 (java) S 20602 20605 13007 0 -1 1077944320 5214 12465 0 0 4 1 5 2 20 0 10 0 85850696 13901328384 4972 18446744073709551615 4194304 4196468 140721581107776 140721581090320 140569699184375 0 0 1 16800970 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
/proc/20605/statm: 3393879 4972 2145 1 0 3383376 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13575516

[startup+0.701628 s]
/proc/loadavg: 1.29 1.35 1.33 4/202 20605
/proc/meminfo: memFree=30384148/32770624 swapFree=0/460624
[pid=20605] ppid=20602 vsize=13974784 CPUtime=0.62 cores=1,3,5,7
/proc/20605/stat : 20605 (java) S 20602 20605 13007 0 -1 1077944320 13761 12465 0 0 50 5 5 2 20 0 15 0 85850696 14310178816 14175 18446744073709551615 4194304 4196468 140721581107776 140721581090320 140569699184375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
/proc/20605/statm: 3493696 14175 3093 1 0 3482965 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13974784

[startup+1.50059 s]
/proc/loadavg: 1.29 1.35 1.33 3/215 20668
/proc/meminfo: memFree=30301032/32770624 swapFree=0/460888
[pid=20605] ppid=20602 vsize=13985408 CPUtime=1.82 cores=1,3,5,7
/proc/20605/stat : 20605 (java) S 20602 20605 13007 0 -1 1077944320 27824 12465 0 0 166 9 5 2 20 0 15 0 85850696 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140721581090320 140569699184375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
/proc/20605/statm: 3496352 33891 3330 1 0 3485525 0
[pid=20605/tid=20655] ppid=20602 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/20605/task/20655/stat : 20655 (java) R 20602 20605 13007 0 -1 4202560 22576 12465 0 0 114 6 5 2 20 0 15 0 85850721 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569703412960 140569683264862 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20656] ppid=20602 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20656/stat : 20656 (java) S 20602 20605 13007 0 -1 1077944384 1 12465 0 0 0 0 5 2 20 0 15 0 85850722 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569656150544 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20657] ppid=20602 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20657/stat : 20657 (java) S 20602 20605 13007 0 -1 1077944384 1 12465 0 0 0 0 5 2 20 0 15 0 85850722 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569655098000 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20658] ppid=20602 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20658/stat : 20658 (java) S 20602 20605 13007 0 -1 1077944384 1 12465 0 0 0 0 5 2 20 0 15 0 85850722 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569654044944 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20659] ppid=20602 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20659/stat : 20659 (java) S 20602 20605 13007 0 -1 1077944384 2 12465 0 0 0 0 5 2 20 0 15 0 85850722 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569652992400 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20660] ppid=20602 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20660/stat : 20660 (java) S 20602 20605 13007 0 -1 1077944384 5 12465 0 0 0 0 5 2 20 0 15 0 85850723 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569177213680 140569699195522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20661] ppid=20602 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20661/stat : 20661 (java) S 20602 20605 13007 0 -1 1077944384 33 12465 0 0 0 0 5 2 20 0 15 0 85850724 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569176159904 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20662] ppid=20602 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20662/stat : 20662 (java) S 20602 20605 13007 0 -1 1077944384 21 12465 0 0 0 0 5 2 20 0 15 0 85850724 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569175106800 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20663] ppid=20602 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20663/stat : 20663 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850726 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569174055376 140569699202971 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20664] ppid=20602 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/20605/task/20664/stat : 20664 (java) R 20602 20605 13007 0 -1 4202560 791 12465 0 0 12 0 5 2 20 0 15 0 85850726 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569172992864 140569679745136 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20665] ppid=20602 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/20605/task/20665/stat : 20665 (java) S 20602 20605 13007 0 -1 1077944384 910 12465 0 0 16 0 5 2 20 0 15 0 85850726 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569171949936 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20666] ppid=20602 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/20605/task/20666/stat : 20666 (java) R 20602 20605 13007 0 -1 4202560 1319 12465 0 0 22 0 5 2 20 0 15 0 85850727 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569170896880 140569677553014 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20667] ppid=20602 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20667/stat : 20667 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850727 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569169844576 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20668] ppid=20602 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20668/stat : 20668 (java) S 20602 20605 13007 0 -1 1077944384 9 12465 0 0 0 0 5 2 20 0 15 0 85850730 14321057792 33891 18446744073709551615 4194304 4196468 140721581107776 140569168792624 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 13985408

[startup+3.10059 s]
/proc/loadavg: 1.29 1.35 1.33 4/215 20668
/proc/meminfo: memFree=30226536/32770624 swapFree=0/460920
[pid=20605] ppid=20602 vsize=13995836 CPUtime=5.95 cores=1,3,5,7
/proc/20605/stat : 20605 (java) S 20602 20605 13007 0 -1 1077944320 40478 12465 0 0 573 15 5 2 20 0 15 0 85850696 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140721581090320 140569699184375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
/proc/20605/statm: 3498959 57018 3454 1 0 3487573 0
[pid=20605/tid=20655] ppid=20602 vsize=13995836 CPUtime=2.84 cores=1,3,5,7
/proc/20605/task/20655/stat : 20655 (java) R 20602 20605 13007 0 -1 4202560 27952 12465 0 0 268 9 5 2 20 0 15 0 85850721 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569703413872 140569340805633 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20656] ppid=20602 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/20605/task/20656/stat : 20656 (java) S 20602 20605 13007 0 -1 1077944384 205 12465 0 0 1 0 5 2 20 0 15 0 85850722 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569656150544 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20657] ppid=20602 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/20605/task/20657/stat : 20657 (java) S 20602 20605 13007 0 -1 1077944384 50 12465 0 0 1 0 5 2 20 0 15 0 85850722 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569655098000 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20658] ppid=20602 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/20605/task/20658/stat : 20658 (java) S 20602 20605 13007 0 -1 1077944384 36 12465 0 0 1 0 5 2 20 0 15 0 85850722 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569654044944 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20659] ppid=20602 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/20605/task/20659/stat : 20659 (java) S 20602 20605 13007 0 -1 1077944384 73 12465 0 0 1 0 5 2 20 0 15 0 85850722 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569652992400 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20660] ppid=20602 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/20605/task/20660/stat : 20660 (java) S 20602 20605 13007 0 -1 1077944384 1719 12465 0 0 1 0 5 2 20 0 15 0 85850723 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569177213680 140569699195522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20661] ppid=20602 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20661/stat : 20661 (java) S 20602 20605 13007 0 -1 1077944384 55 12465 0 0 0 0 5 2 20 0 15 0 85850724 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569176159904 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20662] ppid=20602 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20662/stat : 20662 (java) S 20602 20605 13007 0 -1 1077944384 43 12465 0 0 0 0 5 2 20 0 15 0 85850724 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569175106800 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20663] ppid=20602 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20663/stat : 20663 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850726 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569174055376 140569699202971 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20664] ppid=20602 vsize=13995836 CPUtime=0.98 cores=1,3,5,7
/proc/20605/task/20664/stat : 20664 (java) R 20602 20605 13007 0 -1 4202560 2134 12465 0 0 91 0 5 2 20 0 15 0 85850726 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569173000880 140569684113845 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20665] ppid=20602 vsize=13995836 CPUtime=1.09 cores=1,3,5,7
/proc/20605/task/20665/stat : 20665 (java) R 20602 20605 13007 0 -1 4202560 2091 12465 0 0 101 1 5 2 20 0 15 0 85850726 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569171939664 140569680557908 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20666] ppid=20602 vsize=13995836 CPUtime=1.12 cores=1,3,5,7
/proc/20605/task/20666/stat : 20666 (java) S 20602 20605 13007 0 -1 1077944384 3951 12465 0 0 104 1 5 2 20 0 15 0 85850727 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569170896880 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20667] ppid=20602 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20667/stat : 20667 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850727 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569169844576 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20668] ppid=20602 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20668/stat : 20668 (java) S 20602 20605 13007 0 -1 1077944384 12 12465 0 0 0 0 5 2 20 0 15 0 85850730 14331736064 57018 18446744073709551615 4194304 4196468 140721581107776 140569168792624 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 13995836

[startup+6.30071 s]
/proc/loadavg: 1.35 1.36 1.33 7/215 20668
/proc/meminfo: memFree=30039644/32770624 swapFree=0/460920
[pid=20605] ppid=20602 vsize=14069564 CPUtime=15.95 cores=1,3,5,7
/proc/20605/stat : 20605 (java) S 20602 20605 13007 0 -1 1077944320 80618 12465 0 0 1563 25 5 2 20 0 15 0 85850696 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140721581090320 140569699184375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
/proc/20605/statm: 3517391 98375 3478 1 0 3506005 0
[pid=20605/tid=20655] ppid=20602 vsize=14069564 CPUtime=5.55 cores=1,3,5,7
/proc/20605/task/20655/stat : 20655 (java) R 20602 20605 13007 0 -1 4202560 46689 12465 0 0 535 13 5 2 20 0 15 0 85850721 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569703415904 140569337217262 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20656] ppid=20602 vsize=14069564 CPUtime=0.33 cores=1,3,5,7
/proc/20605/task/20656/stat : 20656 (java) S 20602 20605 13007 0 -1 1077944384 366 12465 0 0 26 0 5 2 20 0 15 0 85850722 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569656150544 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20657] ppid=20602 vsize=14069564 CPUtime=0.37 cores=1,3,5,7
/proc/20605/task/20657/stat : 20657 (java) S 20602 20605 13007 0 -1 1077944384 139 12465 0 0 29 1 5 2 20 0 15 0 85850722 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569655098000 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20658] ppid=20602 vsize=14069564 CPUtime=0.36 cores=1,3,5,7
/proc/20605/task/20658/stat : 20658 (java) S 20602 20605 13007 0 -1 1077944384 627 12465 0 0 29 0 5 2 20 0 15 0 85850722 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569654044944 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20659] ppid=20602 vsize=14069564 CPUtime=0.38 cores=1,3,5,7
/proc/20605/task/20659/stat : 20659 (java) S 20602 20605 13007 0 -1 1077944384 240 12465 0 0 31 0 5 2 20 0 15 0 85850722 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569652992400 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20660] ppid=20602 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/20605/task/20660/stat : 20660 (java) S 20602 20605 13007 0 -1 1077944384 2433 12465 0 0 14 0 5 2 20 0 15 0 85850723 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569177213680 140569699195522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20661] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20661/stat : 20661 (java) S 20602 20605 13007 0 -1 1077944384 55 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569176160032 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20662] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20662/stat : 20662 (java) S 20602 20605 13007 0 -1 1077944384 45 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569175106816 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20663] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20663/stat : 20663 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850726 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569174055376 140569699202971 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20664] ppid=20602 vsize=14069564 CPUtime=3.59 cores=1,3,5,7
/proc/20605/task/20664/stat : 20664 (java) R 20602 20605 13007 0 -1 4202560 10701 12465 0 0 351 1 5 2 20 0 15 0 85850726 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569172990832 140569676779456 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20665] ppid=20602 vsize=14069564 CPUtime=3.48 cores=1,3,5,7
/proc/20605/task/20665/stat : 20665 (java) R 20602 20605 13007 0 -1 4202560 8247 12465 0 0 339 2 5 2 20 0 15 0 85850726 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569171933888 140569682542865 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20666] ppid=20602 vsize=14069564 CPUtime=2.13 cores=1,3,5,7
/proc/20605/task/20666/stat : 20666 (java) S 20602 20605 13007 0 -1 1077944384 8894 12465 0 0 203 3 5 2 20 0 15 0 85850727 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569170896880 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20667] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20667/stat : 20667 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850727 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569169844576 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20668] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20668/stat : 20668 (java) S 20602 20605 13007 0 -1 1077944384 25 12465 0 0 0 0 5 2 20 0 15 0 85850730 14407233536 98375 18446744073709551615 4194304 4196468 140721581107776 140569168792624 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
Current children cumulated CPU time (s) 15.95
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.40 1.37 1.34 3/214 20669
/proc/meminfo: memFree=29854768/32770624 swapFree=0/460916
[pid=20605] ppid=20602 vsize=14069564 CPUtime=25.26 cores=1,3,5,7
/proc/20605/stat : 20605 (java) S 20602 20605 13007 0 -1 1077944320 86228 12465 0 0 2479 40 5 2 20 0 15 0 85850696 14407233536 148507 18446744073709551615 4194304 4196468 140721581107776 140721581090320 140569699184375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
/proc/20605/statm: 3517391 148507 3482 1 0 3506005 0
[pid=20605/tid=20655] ppid=20602 vsize=14069564 CPUtime=11.88 cores=1,3,5,7
/proc/20605/task/20655/stat : 20655 (java) R 20602 20605 13007 0 -1 4202560 47133 12465 0 0 1166 15 5 2 20 0 15 0 85850721 14407233536 148507 18446744073709551615 4194304 4196468 140721581107776 140569703415792 140569338364718 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20656] ppid=20602 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/20605/task/20656/stat : 20656 (java) S 20602 20605 13007 0 -1 1077944384 448 12465 0 0 30 3 5 2 20 0 15 0 85850722 14407233536 148507 18446744073709551615 4194304 4196468 140721581107776 140569656150544 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20657] ppid=20602 vsize=14069564 CPUtime=0.42 cores=1,3,5,7
/proc/20605/task/20657/stat : 20657 (java) S 20602 20605 13007 0 -1 1077944384 226 12465 0 0 31 4 5 2 20 0 15 0 85850722 14407233536 148507 18446744073709551615 4194304 4196468 140721581107776 140569655098000 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20658] ppid=20602 vsize=14069564 CPUtime=0.43 cores=1,3,5,7
/proc/20605/task/20658/stat : 20658 (java) S 20602 20605 13007 0 -1 1077944384 856 12465 0 0 32 4 5 2 20 0 15 0 85850722 14407233536 148507 18446744073709551615 4194304 4196468 140721581107776 140569654044944 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20659] ppid=20602 vsize=14069564 CPUtime=0.43 cores=1,3,5,7
/proc/20605/task/20659/stat : 20659 (java) S 20602 20605 13007 0 -1 1077944384 289 12465 0 0 33 3 5 2 20 0 15 0 85850722 14407233536 148507 18446744073709551615 4194304 4196468 140721581107776 140569652992400 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20660] ppid=20602 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/20605/task/20660/stat : 20660 (java) S 20602 20605 13007 0 -1 1077944384 2635 12465 0 0 14 0 5 2 20 0 15 0 85850723 14407233536 148507 18446744073709551615 4194304 4196468 140721581107776 140569177213680 140569699195522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20661] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20661/stat : 20661 (java) S 20602 20605 13007 0 -1 1077944384 58 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 148507 18446744073709551615 4194304 4196468 140721581107776 140569176160032 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20662] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20662/stat : 20662 (java) S 20602 20605 13007 0 -1 1077944384 55 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 148507 18446744073709551615 4194304 4196468 140721581107776 140569175106816 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20663] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20663/stat : 20663 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850726 14407233536 148507 18446744073709551615 4194304 4196468 140721581107776 140569174055376 140569699202971 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0

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

/proc/20605/task/20667/stat : 20667 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850727 14407233536 1089994 18446744073709551615 4194304 4196468 140721581107776 140569169844576 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20668] ppid=20602 vsize=14069564 CPUtime=1.22 cores=1,3,5,7
/proc/20605/task/20668/stat : 20668 (java) S 20602 20605 13007 0 -1 1077944384 1134 12465 0 0 54 61 5 2 20 0 15 0 85850730 14407233536 1089994 18446744073709551615 4194304 4196468 140721581107776 140569168792624 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
Current children cumulated CPU time (s) 2370.6
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.56 1.59 1.59 3/214 21064
/proc/meminfo: memFree=25783104/32770624 swapFree=0/461620
[pid=20605] ppid=20602 vsize=14069564 CPUtime=2430.69 cores=1,3,5,7
/proc/20605/stat : 20605 (java) S 20602 20605 13007 0 -1 1077944320 802104 12465 0 0 242323 739 5 2 20 0 15 0 85850696 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140721581090320 140569699184375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
/proc/20605/statm: 3517391 1090506 3493 1 0 3506005 0
[pid=20605/tid=20655] ppid=20602 vsize=14069564 CPUtime=2371.44 cores=1,3,5,7
/proc/20605/task/20655/stat : 20655 (java) R 20602 20605 13007 0 -1 4202560 508742 12465 0 0 237060 77 5 2 20 0 15 0 85850721 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569703418608 140569350855184 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20656] ppid=20602 vsize=14069564 CPUtime=8.24 cores=1,3,5,7
/proc/20605/task/20656/stat : 20656 (java) S 20602 20605 13007 0 -1 1077944384 26526 12465 0 0 671 146 5 2 20 0 15 0 85850722 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569656150544 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20657] ppid=20602 vsize=14069564 CPUtime=8.29 cores=1,3,5,7
/proc/20605/task/20657/stat : 20657 (java) S 20602 20605 13007 0 -1 1077944384 22970 12465 0 0 675 147 5 2 20 0 15 0 85850722 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569655098000 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20658] ppid=20602 vsize=14069564 CPUtime=8.27 cores=1,3,5,7
/proc/20605/task/20658/stat : 20658 (java) S 20602 20605 13007 0 -1 1077944384 29449 12465 0 0 674 146 5 2 20 0 15 0 85850722 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569654044944 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20659] ppid=20602 vsize=14069564 CPUtime=8.27 cores=1,3,5,7
/proc/20605/task/20659/stat : 20659 (java) S 20602 20605 13007 0 -1 1077944384 31746 12465 0 0 674 146 5 2 20 0 15 0 85850722 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569652992400 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20660] ppid=20602 vsize=14069564 CPUtime=2.01 cores=1,3,5,7
/proc/20605/task/20660/stat : 20660 (java) S 20602 20605 13007 0 -1 1077944384 26425 12465 0 0 168 26 5 2 20 0 15 0 85850723 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569177213680 140569699195522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20661] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20661/stat : 20661 (java) S 20602 20605 13007 0 -1 1077944384 89 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569176160032 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20662] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20662/stat : 20662 (java) S 20602 20605 13007 0 -1 1077944384 55 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569175106816 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20663] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20663/stat : 20663 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850726 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569174055376 140569699202971 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20664] ppid=20602 vsize=14069564 CPUtime=9.83 cores=1,3,5,7
/proc/20605/task/20664/stat : 20664 (java) S 20602 20605 13007 0 -1 1077944384 50677 12465 0 0 969 7 5 2 20 0 15 0 85850726 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569173002480 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20665] ppid=20602 vsize=14069564 CPUtime=9.49 cores=1,3,5,7
/proc/20605/task/20665/stat : 20665 (java) S 20602 20605 13007 0 -1 1077944384 47511 12465 0 0 935 7 5 2 20 0 15 0 85850726 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569171949936 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20666] ppid=20602 vsize=14069564 CPUtime=4.12 cores=1,3,5,7
/proc/20605/task/20666/stat : 20666 (java) S 20602 20605 13007 0 -1 1077944384 54598 12465 0 0 396 9 5 2 20 0 15 0 85850727 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569170896880 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20667] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20667/stat : 20667 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850727 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569169844576 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20668] ppid=20602 vsize=14069564 CPUtime=1.25 cores=1,3,5,7
/proc/20605/task/20668/stat : 20668 (java) S 20602 20605 13007 0 -1 1077944384 1159 12465 0 0 55 63 5 2 20 0 15 0 85850730 14407233536 1090506 18446744073709551615 4194304 4196468 140721581107776 140569168792624 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
Current children cumulated CPU time (s) 2430.69
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.77 1.63 1.60 3/214 21066
/proc/meminfo: memFree=25777900/32770624 swapFree=0/461636
[pid=20605] ppid=20602 vsize=14069564 CPUtime=2490.78 cores=1,3,5,7
/proc/20605/stat : 20605 (java) S 20602 20605 13007 0 -1 1077944320 813261 12465 0 0 248330 741 5 2 20 0 15 0 85850696 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140721581090320 140569699184375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
/proc/20605/statm: 3517391 1091018 3493 1 0 3506005 0
[pid=20605/tid=20655] ppid=20602 vsize=14069564 CPUtime=2431.42 cores=1,3,5,7
/proc/20605/task/20655/stat : 20655 (java) R 20602 20605 13007 0 -1 4202560 517598 12465 0 0 243057 78 5 2 20 0 15 0 85850721 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569703417840 140569347481511 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20656] ppid=20602 vsize=14069564 CPUtime=8.26 cores=1,3,5,7
/proc/20605/task/20656/stat : 20656 (java) S 20602 20605 13007 0 -1 1077944384 26577 12465 0 0 673 146 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569656150544 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20657] ppid=20602 vsize=14069564 CPUtime=8.3 cores=1,3,5,7
/proc/20605/task/20657/stat : 20657 (java) S 20602 20605 13007 0 -1 1077944384 24443 12465 0 0 676 147 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569655098000 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20658] ppid=20602 vsize=14069564 CPUtime=8.29 cores=1,3,5,7
/proc/20605/task/20658/stat : 20658 (java) S 20602 20605 13007 0 -1 1077944384 29672 12465 0 0 676 146 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569654044944 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20659] ppid=20602 vsize=14069564 CPUtime=8.28 cores=1,3,5,7
/proc/20605/task/20659/stat : 20659 (java) S 20602 20605 13007 0 -1 1077944384 31913 12465 0 0 675 146 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569652992400 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20660] ppid=20602 vsize=14069564 CPUtime=2.02 cores=1,3,5,7
/proc/20605/task/20660/stat : 20660 (java) S 20602 20605 13007 0 -1 1077944384 26774 12465 0 0 169 26 5 2 20 0 15 0 85850723 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569177213680 140569699195522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20661] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20661/stat : 20661 (java) S 20602 20605 13007 0 -1 1077944384 89 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569176160032 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20662] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20662/stat : 20662 (java) S 20602 20605 13007 0 -1 1077944384 55 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569175106816 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20663] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20663/stat : 20663 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850726 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569174055376 140569699202971 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20664] ppid=20602 vsize=14069564 CPUtime=9.83 cores=1,3,5,7
/proc/20605/task/20664/stat : 20664 (java) S 20602 20605 13007 0 -1 1077944384 50680 12465 0 0 969 7 5 2 20 0 15 0 85850726 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569173002480 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20665] ppid=20602 vsize=14069564 CPUtime=9.49 cores=1,3,5,7
/proc/20605/task/20665/stat : 20665 (java) S 20602 20605 13007 0 -1 1077944384 47519 12465 0 0 935 7 5 2 20 0 15 0 85850726 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569171949936 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20666] ppid=20602 vsize=14069564 CPUtime=4.12 cores=1,3,5,7
/proc/20605/task/20666/stat : 20666 (java) S 20602 20605 13007 0 -1 1077944384 54602 12465 0 0 396 9 5 2 20 0 15 0 85850727 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569170896880 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20667] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20667/stat : 20667 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850727 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569169844576 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20668] ppid=20602 vsize=14069564 CPUtime=1.28 cores=1,3,5,7
/proc/20605/task/20668/stat : 20668 (java) S 20602 20605 13007 0 -1 1077944384 1182 12465 0 0 57 64 5 2 20 0 15 0 85850730 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569168792624 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
Current children cumulated CPU time (s) 2490.78
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2471.5 s]
/proc/loadavg: 1.86 1.67 1.62 3/214 21066
/proc/meminfo: memFree=25778144/32770624 swapFree=0/461640
[pid=20605] ppid=20602 vsize=14069564 CPUtime=2520.02 cores=1,3,5,7
/proc/20605/stat : 20605 (java) S 20602 20605 13007 0 -1 1077944320 819344 12465 0 0 251253 742 5 2 20 0 15 0 85850696 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140721581090320 140569699184375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
/proc/20605/statm: 3517391 1091018 3493 1 0 3506005 0
[pid=20605/tid=20655] ppid=20602 vsize=14069564 CPUtime=2460.61 cores=1,3,5,7
/proc/20605/task/20655/stat : 20655 (java) R 20602 20605 13007 0 -1 4202560 521459 12465 0 0 245976 78 5 2 20 0 15 0 85850721 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569703417872 140569331438227 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20656] ppid=20602 vsize=14069564 CPUtime=8.27 cores=1,3,5,7
/proc/20605/task/20656/stat : 20656 (java) S 20602 20605 13007 0 -1 1077944384 26756 12465 0 0 674 146 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569656150544 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20657] ppid=20602 vsize=14069564 CPUtime=8.31 cores=1,3,5,7
/proc/20605/task/20657/stat : 20657 (java) S 20602 20605 13007 0 -1 1077944384 24562 12465 0 0 677 147 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569655098000 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20658] ppid=20602 vsize=14069564 CPUtime=8.3 cores=1,3,5,7
/proc/20605/task/20658/stat : 20658 (java) S 20602 20605 13007 0 -1 1077944384 31123 12465 0 0 677 146 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569654044944 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20659] ppid=20602 vsize=14069564 CPUtime=8.29 cores=1,3,5,7
/proc/20605/task/20659/stat : 20659 (java) S 20602 20605 13007 0 -1 1077944384 32047 12465 0 0 676 146 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569652992400 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20660] ppid=20602 vsize=14069564 CPUtime=2.02 cores=1,3,5,7
/proc/20605/task/20660/stat : 20660 (java) S 20602 20605 13007 0 -1 1077944384 27109 12465 0 0 169 26 5 2 20 0 15 0 85850723 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569177213680 140569699195522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20661] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20661/stat : 20661 (java) S 20602 20605 13007 0 -1 1077944384 89 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569176160032 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20662] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20662/stat : 20662 (java) S 20602 20605 13007 0 -1 1077944384 55 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569175106816 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20663] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20663/stat : 20663 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850726 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569174055376 140569699202971 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20664] ppid=20602 vsize=14069564 CPUtime=9.83 cores=1,3,5,7
/proc/20605/task/20664/stat : 20664 (java) S 20602 20605 13007 0 -1 1077944384 50680 12465 0 0 969 7 5 2 20 0 15 0 85850726 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569173002480 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20665] ppid=20602 vsize=14069564 CPUtime=9.49 cores=1,3,5,7
/proc/20605/task/20665/stat : 20665 (java) S 20602 20605 13007 0 -1 1077944384 47519 12465 0 0 935 7 5 2 20 0 15 0 85850726 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569171949936 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20666] ppid=20602 vsize=14069564 CPUtime=4.12 cores=1,3,5,7
/proc/20605/task/20666/stat : 20666 (java) S 20602 20605 13007 0 -1 1077944384 54602 12465 0 0 396 9 5 2 20 0 15 0 85850727 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569170896880 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20667] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20667/stat : 20667 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850727 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569169844576 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20668] ppid=20602 vsize=14069564 CPUtime=1.3 cores=1,3,5,7
/proc/20605/task/20668/stat : 20668 (java) S 20602 20605 13007 0 -1 1077944384 1186 12465 0 0 58 65 5 2 20 0 15 0 85850730 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569168792624 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
Current children cumulated CPU time (s) 2520.02
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 20605 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2471.5 s]
/proc/loadavg: 1.86 1.67 1.62 3/214 21066
/proc/meminfo: memFree=25778144/32770624 swapFree=0/461640
[pid=20605] ppid=20602 vsize=14069564 CPUtime=2520.02 cores=1,3,5,7
/proc/20605/stat : 20605 (java) S 20602 20605 13007 0 -1 1077944320 819344 12465 0 0 251253 742 5 2 20 0 15 0 85850696 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140721581090320 140569699184375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
/proc/20605/statm: 3517391 1091018 3493 1 0 3506005 0
[pid=20605/tid=20655] ppid=20602 vsize=14069564 CPUtime=2460.61 cores=1,3,5,7
/proc/20605/task/20655/stat : 20655 (java) R 20602 20605 13007 0 -1 4202560 521459 12465 0 0 245976 78 5 2 20 0 15 0 85850721 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569703417872 140569331438227 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20656] ppid=20602 vsize=14069564 CPUtime=8.27 cores=1,3,5,7
/proc/20605/task/20656/stat : 20656 (java) S 20602 20605 13007 0 -1 1077944384 26756 12465 0 0 674 146 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569656150544 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20657] ppid=20602 vsize=14069564 CPUtime=8.31 cores=1,3,5,7
/proc/20605/task/20657/stat : 20657 (java) S 20602 20605 13007 0 -1 1077944384 24562 12465 0 0 677 147 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569655098000 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20658] ppid=20602 vsize=14069564 CPUtime=8.3 cores=1,3,5,7
/proc/20605/task/20658/stat : 20658 (java) S 20602 20605 13007 0 -1 1077944384 31123 12465 0 0 677 146 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569654044944 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20659] ppid=20602 vsize=14069564 CPUtime=8.29 cores=1,3,5,7
/proc/20605/task/20659/stat : 20659 (java) S 20602 20605 13007 0 -1 1077944384 32047 12465 0 0 676 146 5 2 20 0 15 0 85850722 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569652992400 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20660] ppid=20602 vsize=14069564 CPUtime=2.02 cores=1,3,5,7
/proc/20605/task/20660/stat : 20660 (java) S 20602 20605 13007 0 -1 1077944384 27109 12465 0 0 169 26 5 2 20 0 15 0 85850723 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569177213680 140569699195522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20661] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20661/stat : 20661 (java) S 20602 20605 13007 0 -1 1077944384 89 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569176160032 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20662] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20662/stat : 20662 (java) S 20602 20605 13007 0 -1 1077944384 55 12465 0 0 0 0 5 2 20 0 15 0 85850724 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569175106816 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20663] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20663/stat : 20663 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850726 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569174055376 140569699202971 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20664] ppid=20602 vsize=14069564 CPUtime=9.83 cores=1,3,5,7
/proc/20605/task/20664/stat : 20664 (java) S 20602 20605 13007 0 -1 1077944384 50680 12465 0 0 969 7 5 2 20 0 15 0 85850726 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569173002480 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20665] ppid=20602 vsize=14069564 CPUtime=9.49 cores=1,3,5,7
/proc/20605/task/20665/stat : 20665 (java) S 20602 20605 13007 0 -1 1077944384 47519 12465 0 0 935 7 5 2 20 0 15 0 85850726 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569171949936 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20666] ppid=20602 vsize=14069564 CPUtime=4.12 cores=1,3,5,7
/proc/20605/task/20666/stat : 20666 (java) S 20602 20605 13007 0 -1 1077944384 54602 12465 0 0 396 9 5 2 20 0 15 0 85850727 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569170896880 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20667] ppid=20602 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/20605/task/20667/stat : 20667 (java) S 20602 20605 13007 0 -1 1077944384 3 12465 0 0 0 0 5 2 20 0 15 0 85850727 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569169844576 140569699194581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
[pid=20605/tid=20668] ppid=20602 vsize=14069564 CPUtime=1.3 cores=1,3,5,7
/proc/20605/task/20668/stat : 20668 (java) S 20602 20605 13007 0 -1 1077944384 1186 12465 0 0 58 65 5 2 20 0 15 0 85850730 14407233536 1091018 18446744073709551615 4194304 4196468 140721581107776 140569168792624 140569699195522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14319616 140721581111248 140721581114033 140721581114033 140721581117391 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2471.55
CPU time (s): 2520.1
CPU user time (s): 2512.62
CPU system time (s): 7.48195
CPU usage (%): 101.965
Max. virtual memory (cumulated for all children) (KiB): 14071684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.62
system time used= 7.48195
maximum resident set size= 4364608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 836897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103131
involuntary context switches= 4702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4902 second user time and 15.0249 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-11 10:02:40
IDJOB=4262222
IDBENCH=124451
IDSOLVER=2650
FILE ID=node135/4262222-1502439395
RUNJOBID= node135-1502411443-13072
PBS_JOBID= 
Free space on /tmp= 62008 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-4262222-1502439395/watcher-4262222-1502439395 -o /tmp/evaluation-result-4262222-1502439395/solver-4262222-1502439395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580  bin/concrete HOME/instance-4262222-1502439395.xml

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

MD5SUM BENCH= 994883c0320da003cf1ede0b66369d8b
RANDOM SEED=277009047

node135.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.21
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.21
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.21
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.21
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:        30384524 kB
MemAvailable:   31204204 kB
Buffers:          287660 kB
Cached:           824112 kB
SwapCached:            0 kB
Active:          1451624 kB
Inactive:         493764 kB
Active(anon):     834196 kB
Inactive(anon):    33140 kB
Active(file):     617428 kB
Inactive(file):   460624 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24472 kB
Writeback:             0 kB
AnonPages:        837760 kB
Mapped:            63784 kB
Shmem:             33464 kB
Slab:             142268 kB
SReclaimable:     114924 kB
SUnreclaim:        27344 kB
KernelStack:        3536 kB
PageTables:         7660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1446432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    593920 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= 61984 MiB
End job on node135 at 2017-08-11 10:43:52