Trace number 4246315

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)947 2400.06 2315.33

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n36-k5.xml
MD5SUMbb36812fd58cb568268e8c9b807d30b9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark853
Best CPU time to get the best result obtained on this benchmark2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables1332
Number of constraints1295
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}]
Minimum variable degree0
Maximum variable degree69
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}]
Minimum constraint arity1
Maximum constraint arity35
Distribution of constraint arities[{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}]
Number of extensional constraints0
Number of intensional constraints35
Distribution of constraint types[{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}]
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.55/2.05	c Concrete v3.4 running
16.22/5.35	o 2173
17.02/5.55	o 2159
17.36/5.65	o 2100
17.71/5.73	o 2089
17.71/5.78	o 2066
18.11/5.84	o 1998
18.49/5.90	o 1972
18.49/5.95	o 1914
18.89/6.01	o 1866
18.89/6.06	o 1816
19.11/6.12	o 1802
19.11/6.16	o 1725
19.26/6.21	o 1722
19.26/6.26	o 1720
19.38/6.31	o 1719
19.38/6.36	o 1683
19.67/6.47	o 1677
20.05/6.53	o 1675
20.47/6.63	o 1672
20.47/6.68	o 1640
20.68/6.77	o 1627
20.79/6.82	o 1624
20.79/6.86	o 1618
20.91/6.91	o 1583
21.03/7.00	o 1560
21.03/7.05	o 1548
21.03/7.09	o 1524
21.15/7.14	o 1523
21.15/7.18	o 1522
21.30/7.22	o 1510
21.30/7.26	o 1507
21.46/7.31	o 1489
21.57/7.46	o 1471
21.80/7.63	o 1449
21.80/7.67	o 1431
22.22/8.00	o 1415
22.37/8.08	o 1408
22.48/8.12	o 1384
22.48/8.16	o 1372
22.83/8.48	o 1363
22.95/8.57	o 1352
23.05/8.62	o 1338
23.56/9.00	o 1336
23.66/9.16	o 1318
23.80/9.26	o 1299
24.02/9.43	o 1298
24.36/9.72	o 1290
24.67/9.94	o 1286
24.67/9.99	o 1280
25.11/10.38	o 1275
25.53/10.70	o 1269
25.85/11.01	o 1254
26.08/11.13	o 1228
26.36/11.43	o 1226
27.34/12.32	o 1221
28.03/12.95	o 1195
28.03/12.99	o 1181
28.17/13.03	o 1149
28.69/13.55	o 1142
28.79/13.61	o 1141
29.12/13.99	o 1132
29.25/14.08	o 1131
29.35/14.20	o 1126
32.84/17.26	o 1112
33.63/17.93	o 1104
34.46/18.63	o 1097
35.62/19.80	o 1094
36.97/20.95	o 1084
41.14/24.84	o 1081
49.01/32.25	o 1078
49.01/32.28	o 1061
51.76/34.83	o 1047
57.22/40.08	o 1046
57.45/40.26	o 1031
62.73/45.35	o 1023
63.33/45.98	o 1016
64.14/46.77	o 1007
66.25/48.73	o 1001
68.24/50.61	o 997
86.79/68.67	o 996
86.79/68.70	o 994
92.72/74.38	o 986
114.53/95.54	o 984
115.04/96.04	o 983
115.14/96.11	o 981
115.14/96.14	o 979
130.70/111.28	o 947
2400.01/2315.30	java.util.concurrent.TimeoutException
2400.01/2315.30		at concrete.MAC.mac(MAC.scala:74)
2400.01/2315.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.01/2315.30		at scala.util.Try$.apply(Try.scala:209)
2400.01/2315.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.01/2315.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.01/2315.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.01/2315.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.01/2315.30		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.01/2315.30		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.01/2315.30		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.01/2315.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.01/2315.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.01/2315.31		at concrete.MAC.oneRun(MAC.scala:146)
2400.01/2315.31		at concrete.MAC.nextSolution(MAC.scala:166)
2400.01/2315.31		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.01/2315.31		at concrete.ProblemState.map(ProblemState.scala:203)
2400.01/2315.31		at concrete.ProblemState.map(ProblemState.scala:188)
2400.01/2315.31		at concrete.MAC.nextSolution(MAC.scala:195)
2400.01/2315.31		at concrete.Solver.hasNext(Solver.scala:202)
2400.01/2315.31		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.01/2315.31		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.01/2315.31		at concrete.Solver.toStream(Solver.scala:73)
2400.01/2315.31		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.01/2315.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.01/2315.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.01/2315.31		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.01/2315.31		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.01/2315.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.01/2315.31		at scala.util.Success.map(Try.scala:209)
2400.01/2315.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.01/2315.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.01/2315.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.01/2315.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.01/2315.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.01/2315.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.01/2315.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.01/2315.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.01/2315.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.01/2315.31		at scala.collection.immutable.List.foreach(List.scala:389)
2400.01/2315.31		at scala.App.main(App.scala:76)
2400.01/2315.31		at scala.App.main$(App.scala:74)
2400.01/2315.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.01/2315.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.01/2315.31	v <instantiation cost="947">
2400.01/2315.31	v       <list>
2400.01/2315.31	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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]
2400.01/2315.32	v       </list>
2400.01/2315.32	v       <values>
2400.01/2315.32	v         0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 11 80 31 55 100 33 77 46 82 100 100 21 36 64 55 10 51 73 23 100 88 22 39 15 100 16 81 16 71 47 44 34 73 50 66
2400.01/2315.32	v       </values>
2400.01/2315.32	v     </instantiation>
2400.01/2315.32	s SATISFIABLE

Verifier Data 

OK	947

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-4246315-1500713355/watcher-4246315-1500713355 -o /tmp/evaluation-result-4246315-1500713355/solver-4246315-1500713355 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13637 --watchdog 2560 bin/concrete HOME/instance-4246315-1500713355.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.59 1.60 1.57 3/260 20507
/proc/meminfo: memFree=31009340/32770624 swapFree=5828/268524
[pid=20507] ppid=20504 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20507/stat : 20507 (bash) S 20504 20507 13605 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 6602337 9736192 350 33554432000 4194304 5098028 140726997741584 140726997739224 139968739658752 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 16060416 140726997746958 140726997747043 140726997747043 140726997749742 0
/proc/20507/statm: 2377 350 277 221 0 86 0

[startup+0.100088 s]
/proc/loadavg: 1.59 1.60 1.57 3/260 20507
/proc/meminfo: memFree=31009340/32770624 swapFree=5828/268524
[pid=20507] ppid=20504 vsize=361200 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/stat : 20507 (java) S 20504 20507 13605 0 -1 1077944320 2542 12667 0 0 0 0 5 3 20 0 2 0 6602337 369868800 1924 33554432000 4194304 4196468 140728438530688 140728438513232 139707512458999 0 0 0 16784584 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
/proc/20507/statm: 90300 1924 1073 1 0 79211 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 361200

[startup+0.200318 s]
/proc/loadavg: 1.59 1.60 1.57 3/260 20507
/proc/meminfo: memFree=31009340/32770624 swapFree=5828/268524
[pid=20507] ppid=20504 vsize=10902392 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20507/stat : 20507 (java) S 20504 20507 13605 0 -1 1077944320 6860 12667 0 0 13 2 5 3 20 0 20 0 6602337 11164049408 8670 33554432000 4194304 4196468 140728438530688 140728438513232 139707512458999 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
/proc/20507/statm: 2725598 8670 3006 1 0 2713890 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 10902392

[startup+0.300279 s]
/proc/loadavg: 1.59 1.60 1.57 3/260 20507
/proc/meminfo: memFree=31009340/32770624 swapFree=5828/268524
[pid=20507] ppid=20504 vsize=10902720 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/20507/stat : 20507 (java) S 20504 20507 13605 0 -1 1077944320 10229 12667 0 0 24 3 5 3 20 0 20 0 6602337 11164385280 11855 33554432000 4194304 4196468 140728438530688 140728438513232 139707512458999 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
/proc/20507/statm: 2725680 11855 3089 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902720

[startup+0.700188 s]
/proc/loadavg: 1.59 1.60 1.57 3/260 20507
/proc/meminfo: memFree=31009340/32770624 swapFree=5828/268524
[pid=20507] ppid=20504 vsize=10902868 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/20507/stat : 20507 (java) S 20504 20507 13605 0 -1 1077944320 17111 12667 0 0 93 5 5 3 20 0 20 0 6602337 11164536832 20812 33554432000 4194304 4196468 140728438530688 140728438513232 139707512458999 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
/proc/20507/statm: 2725717 20812 3266 1 0 2713890 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 10902868

[startup+1.5008 s]
/proc/loadavg: 1.59 1.60 1.57 3/280 20580
/proc/meminfo: memFree=30899092/32770624 swapFree=5828/268600
[pid=20507] ppid=20504 vsize=10915392 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/20507/stat : 20507 (java) S 20504 20507 13605 0 -1 1077944320 27363 12667 0 0 216 13 5 3 20 0 20 0 6602337 11177361408 44851 33554432000 4194304 4196468 140728438530688 140728438513232 139707512458999 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
/proc/20507/statm: 2728848 44851 3410 1 0 2716962 0
[pid=20507/tid=20562] ppid=20504 vsize=10915392 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20562/stat : 20562 (java) R 20504 20507 13605 0 -1 4202560 19112 12667 0 0 128 5 5 3 20 0 20 0 6602346 11177361408 44851 33554432000 4194304 4196468 140728438530688 139707516691408 139707493865288 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20563] ppid=20504 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20563/stat : 20563 (java) S 20504 20507 13605 0 -1 1077944384 53 12667 0 0 1 0 5 3 20 0 20 0 6602347 11177361408 44851 33554432000 4194304 4196468 140728438530688 139707438533392 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20564] ppid=20504 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20564/stat : 20564 (java) S 20504 20507 13605 0 -1 1077944384 11 12667 0 0 1 0 5 3 20 0 20 0 6602347 11177361408 44851 33554432000 4194304 4196468 140728438530688 139707437480848 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20565] ppid=20504 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20565/stat : 20565 (java) S 20504 20507 13605 0 -1 1077944384 127 12667 0 0 1 0 5 3 20 0 20 0 6602347 11177361408 44851 33554432000 4194304 4196468 140728438530688 139707436428304 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20566] ppid=20504 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20566/stat : 20566 (java) S 20504 20507 13605 0 -1 1077944384 28 12667 0 0 1 0 5 3 20 0 20 0 6602347 11177361408 44851 33554432000 4194304 4196468 140728438530688 139707115629712 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20567] ppid=20504 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20567/stat : 20567 (java) S 20504 20507 13605 0 -1 1077944384 24 12667 0 0 1 0 5 3 20 0 20 0 6602347 11177361408 44851 33554432000 4194304 4196468 140728438530688 139707114576144 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20568] ppid=20504 vsize=10915392 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20568/stat : 20568 (java) S 20504 20507 13605 0 -1 1077944384 50 12667 0 0 0 0 5 3 20 0 20 0 6602347 11177361408 44851 33554432000 4194304 4196468 140728438530688 139707113523600 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20569] ppid=20504 vsize=10915392 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20569/stat : 20569 (java) S 20504 20507 13605 0 -1 1077944384 25 12667 0 0 0 0 5 3 20 0 20 0 6602347 11177361408 44851 33554432000 4194304 4196468 140728438530688 139707112471056 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20570] ppid=20504 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20570/stat : 20570 (java) S 20504 20507 13605 0 -1 1077944384 16 12667 0 0 1 0 5 3 20 0 20 0 6602347 11177361408 44851 33554432000 4194304 4196468 140728438530688 139707111418512 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20571] ppid=20504 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20571/stat : 20571 (java) S 20504 20507 13605 0 -1 1077944384 1288 12667 0 0 1 0 5 3 20 0 20 0 6602348 11177361408 44851 33554432000 4194304 4196468 140728438530688 139706852772336 139707512470146 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20572] ppid=20504 vsize=10915392 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20572/stat : 20572 (java) S 20504 20507 13605 0 -1 1077944384 56 12667 0 0 0 0 5 3 20 0 20 0 6602349 11177361408 44851 33554432000 4194304 4196468 140728438530688 139706851718624 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20573] ppid=20504 vsize=10915392 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20573/stat : 20573 (java) S 20504 20507 13605 0 -1 1077944384 46 12667 0 0 0 0 5 3 20 0 20 0 6602349 11177361408 44851 33554432000 4194304 4196468 140728438530688 139706850665968 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20574] ppid=20504 vsize=10915392 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20574/stat : 20574 (java) S 20504 20507 13605 0 -1 1077944384 1 12667 0 0 0 0 5 3 20 0 20 0 6602352 11177361408 44851 33554432000 4194304 4196468 140728438530688 139706849614544 139707512477595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20575] ppid=20504 vsize=10915392 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20575/stat : 20575 (java) S 20504 20507 13605 0 -1 1077944384 1161 12667 0 0 14 0 5 3 20 0 20 0 6602352 11177361408 44851 33554432000 4194304 4196468 140728438530688 139706848561136 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20576] ppid=20504 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20576/stat : 20576 (java) S 20504 20507 13605 0 -1 1077944384 1253 12667 0 0 17 0 5 3 20 0 20 0 6602352 11177361408 44851 33554432000 4194304 4196468 140728438530688 139706847508592 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20577] ppid=20504 vsize=10915392 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20577/stat : 20577 (java) S 20504 20507 13605 0 -1 1077944384 427 12667 0 0 13 0 5 3 20 0 20 0 6602352 11177361408 44851 33554432000 4194304 4196468 140728438530688 139706846456048 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20578] ppid=20504 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20578/stat : 20578 (java) R 20504 20507 13605 0 -1 4202560 1549 12667 0 0 31 0 5 3 20 0 20 0 6602352 11177361408 44851 33554432000 4194304 4196468 140728438530688 139706845399352 139707490948784 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20579] ppid=20504 vsize=10915392 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20579/stat : 20579 (java) S 20504 20507 13605 0 -1 1077944384 3 12667 0 0 0 0 5 3 20 0 20 0 6602352 11177361408 44851 33554432000 4194304 4196468 140728438530688 139706844351200 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20580] ppid=20504 vsize=10915392 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20580/stat : 20580 (java) S 20504 20507 13605 0 -1 1077944384 4 12667 0 0 0 0 5 3 20 0 20 0 6602352 11177361408 44851 33554432000 4194304 4196468 140728438530688 139706843298736 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 10915392

[startup+3.10081 s]
/proc/loadavg: 1.59 1.60 1.57 6/280 20580
/proc/meminfo: memFree=30826092/32770624 swapFree=5828/268600
[pid=20507] ppid=20504 vsize=10925820 CPUtime=7.42 cores=1,3,5,7,9,11,13,15
/proc/20507/stat : 20507 (java) S 20504 20507 13605 0 -1 1077944320 43801 12667 0 0 715 19 5 3 20 0 20 0 6602337 11188039680 61147 33554432000 4194304 4196468 140728438530688 140728438513232 139707512458999 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
/proc/20507/statm: 2731455 61147 3479 1 0 2719010 0
[pid=20507/tid=20562] ppid=20504 vsize=10925820 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20562/stat : 20562 (java) R 20504 20507 13605 0 -1 4202560 24528 12667 0 0 285 7 5 3 20 0 20 0 6602346 11188039680 61147 33554432000 4194304 4196468 140728438530688 139707516687560 139707496539486 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20563] ppid=20504 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20563/stat : 20563 (java) S 20504 20507 13605 0 -1 1077944384 53 12667 0 0 1 0 5 3 20 0 20 0 6602347 11188039680 61147 33554432000 4194304 4196468 140728438530688 139707438533392 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20564] ppid=20504 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20564/stat : 20564 (java) S 20504 20507 13605 0 -1 1077944384 11 12667 0 0 1 0 5 3 20 0 20 0 6602347 11188039680 61147 33554432000 4194304 4196468 140728438530688 139707437480848 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20565] ppid=20504 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20565/stat : 20565 (java) S 20504 20507 13605 0 -1 1077944384 127 12667 0 0 1 0 5 3 20 0 20 0 6602347 11188039680 61147 33554432000 4194304 4196468 140728438530688 139707436428304 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20566] ppid=20504 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20566/stat : 20566 (java) S 20504 20507 13605 0 -1 1077944384 28 12667 0 0 1 0 5 3 20 0 20 0 6602347 11188039680 61147 33554432000 4194304 4196468 140728438530688 139707115629712 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20567] ppid=20504 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20567/stat : 20567 (java) S 20504 20507 13605 0 -1 1077944384 24 12667 0 0 1 0 5 3 20 0 20 0 6602347 11188039680 61147 33554432000 4194304 4196468 140728438530688 139707114576144 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20568] ppid=20504 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20568/stat : 20568 (java) S 20504 20507 13605 0 -1 1077944384 50 12667 0 0 0 0 5 3 20 0 20 0 6602347 11188039680 61147 33554432000 4194304 4196468 140728438530688 139707113523600 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20569] ppid=20504 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20569/stat : 20569 (java) S 20504 20507 13605 0 -1 1077944384 25 12667 0 0 0 0 5 3 20 0 20 0 6602347 11188039680 61147 33554432000 4194304 4196468 140728438530688 139707112471056 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20570] ppid=20504 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20570/stat : 20570 (java) S 20504 20507 13605 0 -1 1077944384 16 12667 0 0 1 0 5 3 20 0 20 0 6602347 11188039680 61147 33554432000 4194304 4196468 140728438530688 139707111418512 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20571] ppid=20504 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20571/stat : 20571 (java) S 20504 20507 13605 0 -1 1077944384 1323 12667 0 0 1 0 5 3 20 0 20 0 6602348 11188039680 61147 33554432000 4194304 4196468 140728438530688 139706852772336 139707512470146 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20572] ppid=20504 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20572/stat : 20572 (java) S 20504 20507 13605 0 -1 1077944384 56 12667 0 0 0 0 5 3 20 0 20 0 6602349 11188039680 61147 33554432000 4194304 4196468 140728438530688 139706851718624 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20573] ppid=20504 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20573/stat : 20573 (java) S 20504 20507 13605 0 -1 1077944384 46 12667 0 0 0 0 5 3 20 0 20 0 6602349 11188039680 61147 33554432000 4194304 4196468 140728438530688 139706850665968 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20574] ppid=20504 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20574/stat : 20574 (java) S 20504 20507 13605 0 -1 1077944384 1 12667 0 0 0 0 5 3 20 0 20 0 6602352 11188039680 61147 33554432000 4194304 4196468 140728438530688 139706849614544 139707512477595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20575] ppid=20504 vsize=10925820 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20575/stat : 20575 (java) S 20504 20507 13605 0 -1 1077944384 2601 12667 0 0 90 1 5 3 20 0 20 0 6602352 11188039680 61147 33554432000 4194304 4196468 140728438530688 139706848561136 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20576] ppid=20504 vsize=10925820 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20576/stat : 20576 (java) S 20504 20507 13605 0 -1 1077944384 5322 12667 0 0 112 1 5 3 20 0 20 0 6602352 11188039680 61147 33554432000 4194304 4196468 140728438530688 139706847508592 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20577] ppid=20504 vsize=10925820 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20577/stat : 20577 (java) S 20504 20507 13605 0 -1 1077944384 1479 12667 0 0 86 0 5 3 20 0 20 0 6602352 11188039680 61147 33554432000 4194304 4196468 140728438530688 139706846456048 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20578] ppid=20504 vsize=10925820 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20578/stat : 20578 (java) S 20504 20507 13605 0 -1 1077944384 5975 12667 0 0 127 2 5 3 20 0 20 0 6602352 11188039680 61147 33554432000 4194304 4196468 140728438530688 139706845403504 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20579] ppid=20504 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20579/stat : 20579 (java) S 20504 20507 13605 0 -1 1077944384 3 12667 0 0 0 0 5 3 20 0 20 0 6602352 11188039680 61147 33554432000 4194304 4196468 140728438530688 139706844351200 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20580] ppid=20504 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20580/stat : 20580 (java) S 20504 20507 13605 0 -1 1077944384 5 12667 0 0 0 0 5 3 20 0 20 0 6602352 11188039680 61147 33554432000 4194304 4196468 140728438530688 139706843298736 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 10925820

[startup+6.30082 s]
/proc/loadavg: 2.03 1.69 1.60 7/280 20580
/proc/meminfo: memFree=30639552/32770624 swapFree=5828/268612
[pid=20507] ppid=20504 vsize=10997500 CPUtime=19.38 cores=1,3,5,7,9,11,13,15
/proc/20507/stat : 20507 (java) S 20504 20507 13605 0 -1 1077944320 85616 12667 0 0 1893 37 5 3 20 0 20 0 6602337 11261440000 100117 33554432000 4194304 4196468 140728438530688 140728438513232 139707512458999 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
/proc/20507/statm: 2749375 100117 3513 1 0 2736930 0
[pid=20507/tid=20562] ppid=20504 vsize=10997500 CPUtime=5.73 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20562/stat : 20562 (java) R 20504 20507 13605 0 -1 4202560 40663 12667 0 0 554 11 5 3 20 0 20 0 6602346 11261440000 100117 33554432000 4194304 4196468 140728438530688 139707516690808 139707121268295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20563] ppid=20504 vsize=10997500 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20563/stat : 20563 (java) S 20504 20507 13605 0 -1 1077944384 115 12667 0 0 27 1 5 3 20 0 20 0 6602347 11261440000 100117 33554432000 4194304 4196468 140728438530688 139707438533392 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20564] ppid=20504 vsize=10997500 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20564/stat : 20564 (java) S 20504 20507 13605 0 -1 1077944384 130 12667 0 0 23 1 5 3 20 0 20 0 6602347 11261440000 100117 33554432000 4194304 4196468 140728438530688 139707437480848 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20565] ppid=20504 vsize=10997500 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20565/stat : 20565 (java) S 20504 20507 13605 0 -1 1077944384 178 12667 0 0 26 1 5 3 20 0 20 0 6602347 11261440000 100117 33554432000 4194304 4196468 140728438530688 139707436428304 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20566] ppid=20504 vsize=10997500 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20566/stat : 20566 (java) S 20504 20507 13605 0 -1 1077944384 147 12667 0 0 25 1 5 3 20 0 20 0 6602347 11261440000 100117 33554432000 4194304 4196468 140728438530688 139707115629712 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20567] ppid=20504 vsize=10997500 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20567/stat : 20567 (java) S 20504 20507 13605 0 -1 1077944384 360 12667 0 0 24 1 5 3 20 0 20 0 6602347 11261440000 100117 33554432000 4194304 4196468 140728438530688 139707114576144 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20568] ppid=20504 vsize=10997500 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20568/stat : 20568 (java) S 20504 20507 13605 0 -1 1077944384 132 12667 0 0 25 1 5 3 20 0 20 0 6602347 11261440000 100117 33554432000 4194304 4196468 140728438530688 139707113523600 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20569] ppid=20504 vsize=10997500 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20569/stat : 20569 (java) S 20504 20507 13605 0 -1 1077944384 97 12667 0 0 30 1 5 3 20 0 20 0 6602347 11261440000 100117 33554432000 4194304 4196468 140728438530688 139707112471056 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20570] ppid=20504 vsize=10997500 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20570/stat : 20570 (java) S 20504 20507 13605 0 -1 1077944384 812 12667 0 0 27 1 5 3 20 0 20 0 6602347 11261440000 100117 33554432000 4194304 4196468 140728438530688 139707111418512 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20571] ppid=20504 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20571/stat : 20571 (java) S 20504 20507 13605 0 -1 1077944384 2598 12667 0 0 16 1 5 3 20 0 20 0 6602348 11261440000 100117 33554432000 4194304 4196468 140728438530688 139706852772336 139707512470146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20572] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20572/stat : 20572 (java) S 20504 20507 13605 0 -1 1077944384 61 12667 0 0 0 0 5 3 20 0 20 0 6602349 11261440000 100117 33554432000 4194304 4196468 140728438530688 139706851718688 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20573] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20573/stat : 20573 (java) S 20504 20507 13605 0 -1 1077944384 61 12667 0 0 0 0 5 3 20 0 20 0 6602349 11261440000 100117 33554432000 4194304 4196468 140728438530688 139706850665984 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20574] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20574/stat : 20574 (java) S 20504 20507 13605 0 -1 1077944384 1 12667 0 0 0 0 5 3 20 0 20 0 6602352 11261440000 100117 33554432000 4194304 4196468 140728438530688 139706849614544 139707512477595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20575] ppid=20504 vsize=10997500 CPUtime=2.76 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20575/stat : 20575 (java) R 20504 20507 13605 0 -1 1077944384 6584 12667 0 0 266 2 5 3 20 0 20 0 6602352 11261440000 100117 33554432000 4194304 4196468 140728438530688 139706848549808 139707512469205 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20576] ppid=20504 vsize=10997500 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20576/stat : 20576 (java) S 20504 20507 13605 0 -1 1077944384 8495 12667 0 0 292 1 5 3 20 0 20 0 6602352 11261440000 100117 33554432000 4194304 4196468 140728438530688 139706847508592 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20577] ppid=20504 vsize=10997500 CPUtime=3.35 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20577/stat : 20577 (java) S 20504 20507 13605 0 -1 1077944384 14576 12667 0 0 325 2 5 3 20 0 20 0 6602352 11261440000 100117 33554432000 4194304 4196468 140728438530688 139706846456048 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20578] ppid=20504 vsize=10997500 CPUtime=2.36 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20578/stat : 20578 (java) R 20504 20507 13605 0 -1 4202560 8259 12667 0 0 225 3 5 3 20 0 20 0 6602352 11261440000 100117 33554432000 4194304 4196468 140728438530688 139706845401464 139707512470934 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20579] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15

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

[pid=20507/tid=20576] ppid=20504 vsize=10997500 CPUtime=7.02 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20576/stat : 20576 (java) S 20504 20507 13605 0 -1 1077944384 27297 12667 0 0 688 6 5 3 20 0 20 0 6602352 11261440000 189154 33554432000 4194304 4196468 140728438530688 139706847508592 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20577] ppid=20504 vsize=10997500 CPUtime=7.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20577/stat : 20577 (java) S 20504 20507 13605 0 -1 1077944384 30672 12667 0 0 694 6 5 3 20 0 20 0 6602352 11261440000 189154 33554432000 4194304 4196468 140728438530688 139706846456048 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20578] ppid=20504 vsize=10997500 CPUtime=4.14 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20578/stat : 20578 (java) S 20504 20507 13605 0 -1 1077944384 37865 12667 0 0 398 8 5 3 20 0 20 0 6602352 11261440000 189154 33554432000 4194304 4196468 140728438530688 139706845403504 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20579] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20579/stat : 20579 (java) S 20504 20507 13605 0 -1 1077944384 3 12667 0 0 0 0 5 3 20 0 20 0 6602352 11261440000 189154 33554432000 4194304 4196468 140728438530688 139706844351200 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20580] ppid=20504 vsize=10997500 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20580/stat : 20580 (java) S 20504 20507 13605 0 -1 1077944384 1259 12667 0 0 52 53 5 3 20 0 20 0 6602352 11261440000 189154 33554432000 4194304 4196468 140728438530688 139706843298736 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
Current children cumulated CPU time (s) 2283.91
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 1.56 1.66 1.62 3/281 20814
/proc/meminfo: memFree=27807532/32770624 swapFree=5828/271300
[pid=20507] ppid=20504 vsize=10997500 CPUtime=2345.5 cores=1,3,5,7,9,11,13,15
/proc/20507/stat : 20507 (java) S 20504 20507 13605 0 -1 1077944320 257388 12667 0 0 234037 505 5 3 20 0 20 0 6602337 11261440000 187369 33554432000 4194304 4196468 140728438530688 140728438513232 139707512458999 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
/proc/20507/statm: 2749375 187369 3528 1 0 2736930 0
[pid=20507/tid=20562] ppid=20504 vsize=10997500 CPUtime=2243.2 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20562/stat : 20562 (java) R 20504 20507 13605 0 -1 4202560 76922 12667 0 0 224278 34 5 3 20 0 20 0 6602346 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707516693024 139707135809784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20563] ppid=20504 vsize=10997500 CPUtime=8.91 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20563/stat : 20563 (java) S 20504 20507 13605 0 -1 1077944384 6364 12667 0 0 835 48 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707438533392 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20564] ppid=20504 vsize=10997500 CPUtime=8.8 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20564/stat : 20564 (java) S 20504 20507 13605 0 -1 1077944384 9507 12667 0 0 824 48 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707437480848 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20565] ppid=20504 vsize=10997500 CPUtime=8.79 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20565/stat : 20565 (java) S 20504 20507 13605 0 -1 1077944384 5500 12667 0 0 823 48 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707436428304 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20566] ppid=20504 vsize=10997500 CPUtime=8.7 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20566/stat : 20566 (java) S 20504 20507 13605 0 -1 1077944384 2994 12667 0 0 816 46 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707115629712 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20567] ppid=20504 vsize=10997500 CPUtime=8.82 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20567/stat : 20567 (java) S 20504 20507 13605 0 -1 1077944384 2999 12667 0 0 823 51 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707114576144 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20568] ppid=20504 vsize=10997500 CPUtime=8.73 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20568/stat : 20568 (java) S 20504 20507 13605 0 -1 1077944384 4771 12667 0 0 816 49 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707113523600 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20569] ppid=20504 vsize=10997500 CPUtime=8.85 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20569/stat : 20569 (java) S 20504 20507 13605 0 -1 1077944384 5218 12667 0 0 827 50 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707112471056 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20570] ppid=20504 vsize=10997500 CPUtime=8.79 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20570/stat : 20570 (java) S 20504 20507 13605 0 -1 1077944384 9674 12667 0 0 827 44 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707111418512 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20571] ppid=20504 vsize=10997500 CPUtime=6.77 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20571/stat : 20571 (java) S 20504 20507 13605 0 -1 1077944384 13095 12667 0 0 627 42 5 3 20 0 20 0 6602348 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706852772336 139707512470146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20572] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20572/stat : 20572 (java) S 20504 20507 13605 0 -1 1077944384 72 12667 0 0 0 0 5 3 20 0 20 0 6602349 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706851718688 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20573] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20573/stat : 20573 (java) S 20504 20507 13605 0 -1 1077944384 61 12667 0 0 0 0 5 3 20 0 20 0 6602349 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706850665984 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20574] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20574/stat : 20574 (java) S 20504 20507 13605 0 -1 1077944384 1 12667 0 0 0 0 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706849614544 139707512477595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20575] ppid=20504 vsize=10997500 CPUtime=6.68 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20575/stat : 20575 (java) S 20504 20507 13605 0 -1 1077944384 20961 12667 0 0 654 6 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706848561136 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20576] ppid=20504 vsize=10997500 CPUtime=7.02 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20576/stat : 20576 (java) S 20504 20507 13605 0 -1 1077944384 27299 12667 0 0 688 6 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706847508592 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20577] ppid=20504 vsize=10997500 CPUtime=7.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20577/stat : 20577 (java) S 20504 20507 13605 0 -1 1077944384 30674 12667 0 0 694 6 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706846456048 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20578] ppid=20504 vsize=10997500 CPUtime=4.14 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20578/stat : 20578 (java) S 20504 20507 13605 0 -1 1077944384 37867 12667 0 0 398 8 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706845403504 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20579] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20579/stat : 20579 (java) S 20504 20507 13605 0 -1 1077944384 3 12667 0 0 0 0 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706844351200 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20580] ppid=20504 vsize=10997500 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20580/stat : 20580 (java) S 20504 20507 13605 0 -1 1077944384 1277 12667 0 0 54 55 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706843298736 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
Current children cumulated CPU time (s) 2345.5
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2315.3 s]
/proc/loadavg: 1.60 1.65 1.62 3/281 20815
/proc/meminfo: memFree=27790644/32770624 swapFree=5828/271388
[pid=20507] ppid=20504 vsize=10997500 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/20507/stat : 20507 (java) S 20504 20507 13605 0 -1 1077944320 258165 12667 0 0 239481 512 5 3 20 0 20 0 6602337 11261440000 187369 33554432000 4194304 4196468 140728438530688 140728438513232 139707512458999 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
/proc/20507/statm: 2749375 187369 3528 1 0 2736930 0
[pid=20507/tid=20562] ppid=20504 vsize=10997500 CPUtime=2295.73 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20562/stat : 20562 (java) S 20504 20507 13605 0 -1 1077944384 77271 12667 0 0 229531 34 5 3 20 0 20 0 6602346 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707516692320 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20563] ppid=20504 vsize=10997500 CPUtime=9.13 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20563/stat : 20563 (java) S 20504 20507 13605 0 -1 1077944384 6391 12667 0 0 856 49 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707438533392 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20564] ppid=20504 vsize=10997500 CPUtime=9.02 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20564/stat : 20564 (java) S 20504 20507 13605 0 -1 1077944384 9528 12667 0 0 845 49 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707437480848 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20565] ppid=20504 vsize=10997500 CPUtime=9.03 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20565/stat : 20565 (java) S 20504 20507 13605 0 -1 1077944384 5515 12667 0 0 847 48 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707436428304 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20566] ppid=20504 vsize=10997500 CPUtime=8.92 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20566/stat : 20566 (java) S 20504 20507 13605 0 -1 1077944384 3013 12667 0 0 838 46 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707115629712 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20567] ppid=20504 vsize=10997500 CPUtime=9.04 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20567/stat : 20567 (java) S 20504 20507 13605 0 -1 1077944384 3038 12667 0 0 845 51 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707114576144 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20568] ppid=20504 vsize=10997500 CPUtime=8.97 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20568/stat : 20568 (java) S 20504 20507 13605 0 -1 1077944384 5001 12667 0 0 839 50 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707113523600 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20569] ppid=20504 vsize=10997500 CPUtime=9.07 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20569/stat : 20569 (java) S 20504 20507 13605 0 -1 1077944384 5233 12667 0 0 848 51 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707112471056 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20570] ppid=20504 vsize=10997500 CPUtime=9.01 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20570/stat : 20570 (java) S 20504 20507 13605 0 -1 1077944384 9687 12667 0 0 848 45 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707111418512 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20571] ppid=20504 vsize=10997500 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20571/stat : 20571 (java) R 20504 20507 13605 0 -1 4202560 13130 12667 0 0 642 42 5 3 20 0 20 0 6602348 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706852770848 139707512480346 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20572] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20572/stat : 20572 (java) S 20504 20507 13605 0 -1 1077944384 72 12667 0 0 0 0 5 3 20 0 20 0 6602349 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706851718688 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20573] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20573/stat : 20573 (java) S 20504 20507 13605 0 -1 1077944384 61 12667 0 0 0 0 5 3 20 0 20 0 6602349 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706850665984 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20574] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20574/stat : 20574 (java) S 20504 20507 13605 0 -1 1077944384 1 12667 0 0 0 0 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706849614544 139707512477595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20575] ppid=20504 vsize=10997500 CPUtime=6.68 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20575/stat : 20575 (java) S 20504 20507 13605 0 -1 1077944384 20963 12667 0 0 654 6 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706848561136 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20576] ppid=20504 vsize=10997500 CPUtime=7.02 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20576/stat : 20576 (java) S 20504 20507 13605 0 -1 1077944384 27301 12667 0 0 688 6 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706847508592 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20577] ppid=20504 vsize=10997500 CPUtime=7.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20577/stat : 20577 (java) S 20504 20507 13605 0 -1 1077944384 30676 12667 0 0 694 6 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706846456048 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20578] ppid=20504 vsize=10997500 CPUtime=4.14 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20578/stat : 20578 (java) S 20504 20507 13605 0 -1 1077944384 37869 12667 0 0 398 8 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706845403504 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20579] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20579/stat : 20579 (java) S 20504 20507 13605 0 -1 1077944384 3 12667 0 0 0 0 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706844351200 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20580] ppid=20504 vsize=10997500 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20580/stat : 20580 (java) S 20504 20507 13605 0 -1 1077944384 1283 12667 0 0 55 56 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706843298736 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 10997500

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 20507 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2315.3 s]
/proc/loadavg: 1.60 1.65 1.62 3/281 20815
/proc/meminfo: memFree=27790644/32770624 swapFree=5828/271388
[pid=20507] ppid=20504 vsize=10997500 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/20507/stat : 20507 (java) S 20504 20507 13605 0 -1 1077944320 258165 12667 0 0 239481 512 5 3 20 0 20 0 6602337 11261440000 187369 33554432000 4194304 4196468 140728438530688 140728438513232 139707512458999 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
/proc/20507/statm: 2749375 187369 3528 1 0 2736930 0
[pid=20507/tid=20562] ppid=20504 vsize=10997500 CPUtime=2295.73 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20562/stat : 20562 (java) S 20504 20507 13605 0 -1 1077944384 77271 12667 0 0 229531 34 5 3 20 0 20 0 6602346 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707516692320 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20563] ppid=20504 vsize=10997500 CPUtime=9.13 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20563/stat : 20563 (java) S 20504 20507 13605 0 -1 1077944384 6391 12667 0 0 856 49 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707438533392 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20564] ppid=20504 vsize=10997500 CPUtime=9.02 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20564/stat : 20564 (java) S 20504 20507 13605 0 -1 1077944384 9528 12667 0 0 845 49 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707437480848 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20565] ppid=20504 vsize=10997500 CPUtime=9.03 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20565/stat : 20565 (java) S 20504 20507 13605 0 -1 1077944384 5515 12667 0 0 847 48 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707436428304 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20566] ppid=20504 vsize=10997500 CPUtime=8.92 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20566/stat : 20566 (java) S 20504 20507 13605 0 -1 1077944384 3013 12667 0 0 838 46 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707115629712 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20567] ppid=20504 vsize=10997500 CPUtime=9.04 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20567/stat : 20567 (java) S 20504 20507 13605 0 -1 1077944384 3038 12667 0 0 845 51 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707114576144 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20568] ppid=20504 vsize=10997500 CPUtime=8.97 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20568/stat : 20568 (java) S 20504 20507 13605 0 -1 1077944384 5001 12667 0 0 839 50 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707113523600 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20569] ppid=20504 vsize=10997500 CPUtime=9.07 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20569/stat : 20569 (java) S 20504 20507 13605 0 -1 1077944384 5233 12667 0 0 848 51 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707112471056 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20570] ppid=20504 vsize=10997500 CPUtime=9.01 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20570/stat : 20570 (java) S 20504 20507 13605 0 -1 1077944384 9687 12667 0 0 848 45 5 3 20 0 20 0 6602347 11261440000 187369 33554432000 4194304 4196468 140728438530688 139707111418512 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20571] ppid=20504 vsize=10997500 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20571/stat : 20571 (java) R 20504 20507 13605 0 -1 4202560 13130 12667 0 0 642 42 5 3 20 0 20 0 6602348 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706852770848 139707512480346 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20572] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20572/stat : 20572 (java) S 20504 20507 13605 0 -1 1077944384 72 12667 0 0 0 0 5 3 20 0 20 0 6602349 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706851718688 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20573] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20573/stat : 20573 (java) S 20504 20507 13605 0 -1 1077944384 61 12667 0 0 0 0 5 3 20 0 20 0 6602349 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706850665984 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20574] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20574/stat : 20574 (java) S 20504 20507 13605 0 -1 1077944384 1 12667 0 0 0 0 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706849614544 139707512477595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20575] ppid=20504 vsize=10997500 CPUtime=6.68 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20575/stat : 20575 (java) S 20504 20507 13605 0 -1 1077944384 20963 12667 0 0 654 6 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706848561136 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20576] ppid=20504 vsize=10997500 CPUtime=7.02 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20576/stat : 20576 (java) S 20504 20507 13605 0 -1 1077944384 27301 12667 0 0 688 6 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706847508592 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20577] ppid=20504 vsize=10997500 CPUtime=7.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20577/stat : 20577 (java) S 20504 20507 13605 0 -1 1077944384 30676 12667 0 0 694 6 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706846456048 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20578] ppid=20504 vsize=10997500 CPUtime=4.14 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20578/stat : 20578 (java) S 20504 20507 13605 0 -1 1077944384 37869 12667 0 0 398 8 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706845403504 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20579] ppid=20504 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20579/stat : 20579 (java) S 20504 20507 13605 0 -1 1077944384 3 12667 0 0 0 0 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706844351200 139707512469205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
[pid=20507/tid=20580] ppid=20504 vsize=10997500 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/20507/task/20580/stat : 20580 (java) S 20504 20507 13605 0 -1 1077944384 1283 12667 0 0 55 56 5 3 20 0 20 0 6602352 11261440000 187369 33554432000 4194304 4196468 140728438530688 139706843298736 139707512470146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33697792 140728438532801 140728438535575 140728438535575 140728438538191 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 10997500

Child status: 143
Real time (s): 2315.33
CPU time (s): 2400.06
CPU user time (s): 2394.89
CPU system time (s): 5.16684
CPU usage (%): 103.66
Max. virtual memory (cumulated for all children) (KiB): 11000412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.89
system time used= 5.16684
maximum resident set size= 1160496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272284
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 285659
involuntary context switches= 176056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9155 second user time and 18.8289 second system time

The end

Launcher Data 

Begin job on node136 at 2017-07-22 10:49:15
IDJOB=4246315
IDBENCH=124412
IDSOLVER=2630
FILE ID=node136/4246315-1500713355
RUNJOBID= node136-1500683313-13637
PBS_JOBID= 20623338
Free space on /tmp= 61972 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n36-k5.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246315-1500713355/watcher-4246315-1500713355 -o /tmp/evaluation-result-4246315-1500713355/solver-4246315-1500713355 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13637 --watchdog 2560  bin/concrete HOME/instance-4246315-1500713355.xml

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

MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9
RANDOM SEED=217604891

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31009736 kB
MemAvailable:   31232328 kB
Buffers:          124956 kB
Cached:           378296 kB
SwapCached:            0 kB
Active:          1046244 kB
Inactive:         277304 kB
Active(anon):     823180 kB
Inactive(anon):     8780 kB
Active(file):     223064 kB
Inactive(file):   268524 kB
Unevictable:        5828 kB
Mlocked:            5860 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24364 kB
Writeback:             0 kB
AnonPages:        825864 kB
Mapped:            44076 kB
Shmem:              8852 kB
Slab:             127208 kB
SReclaimable:      93676 kB
SUnreclaim:        33532 kB
KernelStack:        4496 kB
PageTables:         6808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1626624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    729088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61948 MiB
End job on node136 at 2017-07-22 11:27:50