Trace number 4246294

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)709 2400.06 2308.63

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n33-k5.xml
MD5SUM7965d79c566fadd70d01c63d02ba9078
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark661
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables1122
Number of constraints1088
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}]
Minimum variable degree0
Maximum variable degree63
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}]
Minimum constraint arity1
Maximum constraint arity32
Distribution of constraint arities[{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}]
Number of extensional constraints0
Number of intensional constraints32
Distribution of constraint types[{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}]
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.69/2.10	c Concrete v3.4 running
15.36/5.11	o 1955
15.76/5.22	o 1935
15.76/5.29	o 1908
16.20/5.35	o 1891
16.58/5.40	o 1879
16.58/5.46	o 1815
17.03/5.51	o 1808
17.03/5.56	o 1775
17.44/5.61	o 1765
17.44/5.66	o 1717
17.44/5.70	o 1715
17.76/5.74	o 1686
17.76/5.78	o 1673
17.95/5.81	o 1668
17.95/5.85	o 1662
17.95/5.88	o 1645
18.11/5.96	o 1569
18.11/5.99	o 1568
18.47/6.03	o 1554
18.47/6.06	o 1526
18.87/6.10	o 1520
18.87/6.14	o 1468
18.87/6.17	o 1453
19.26/6.29	o 1452
19.55/6.33	o 1427
19.55/6.36	o 1426
19.65/6.47	o 1410
19.77/6.50	o 1387
19.77/6.53	o 1366
19.77/6.57	o 1362
19.88/6.68	o 1361
20.02/6.71	o 1302
20.02/6.79	o 1285
20.12/6.82	o 1237
20.12/6.84	o 1232
20.37/7.06	o 1226
20.37/7.09	o 1220
20.48/7.13	o 1216
20.59/7.20	o 1182
20.74/7.33	o 1163
20.96/7.40	o 1162
21.07/7.59	o 1154
21.19/7.67	o 1152
21.39/7.74	o 1105
21.39/7.78	o 1100
21.64/7.95	o 1049
22.20/8.24	o 1044
22.30/8.33	o 1042
22.30/8.36	o 1010
22.30/8.39	o 1001
22.52/8.59	o 1000
22.63/8.62	o 994
22.73/8.77	o 993
22.73/8.80	o 979
22.84/8.85	o 968
22.98/8.91	o 961
22.98/8.95	o 958
23.32/9.28	o 949
24.14/9.92	o 942
25.52/11.21	o 938
25.62/11.36	o 926
25.73/11.42	o 920
29.41/14.89	o 916
29.51/14.95	o 905
30.98/16.31	o 901
31.08/16.40	o 893
31.40/16.75	o 892
31.40/16.79	o 890
32.40/17.61	o 879
32.60/17.84	o 877
32.60/17.87	o 873
32.71/17.90	o 865
32.71/17.92	o 851
32.71/17.96	o 846
33.68/18.88	o 845
36.16/21.21	o 843
36.26/21.37	o 819
36.26/21.40	o 815
36.36/21.47	o 808
37.95/22.97	o 804
39.10/24.06	o 758
46.37/30.97	o 756
53.52/37.78	o 752
53.72/37.99	o 751
70.37/54.01	o 750
75.96/59.48	o 748
80.09/63.43	o 744
121.36/103.48	o 742
121.61/103.60	o 731
635.80/595.50	o 727
1972.92/1895.22	o 718
1984.85/1906.76	o 709
2400.02/2308.60	java.util.concurrent.TimeoutException
2400.02/2308.60		at concrete.MAC.mac(MAC.scala:74)
2400.02/2308.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.02/2308.60		at scala.util.Try$.apply(Try.scala:209)
2400.02/2308.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.02/2308.60		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.02/2308.60		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.02/2308.60		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.02/2308.60		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.02/2308.60		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.02/2308.60		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.02/2308.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.02/2308.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.02/2308.60		at concrete.MAC.oneRun(MAC.scala:146)
2400.02/2308.60		at concrete.MAC.nextSolution(MAC.scala:166)
2400.02/2308.60		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.02/2308.60		at concrete.ProblemState.map(ProblemState.scala:203)
2400.02/2308.60		at concrete.ProblemState.map(ProblemState.scala:188)
2400.02/2308.60		at concrete.MAC.nextSolution(MAC.scala:195)
2400.02/2308.60		at concrete.Solver.hasNext(Solver.scala:202)
2400.02/2308.60		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.02/2308.60		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.02/2308.60		at concrete.Solver.toStream(Solver.scala:73)
2400.02/2308.60		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.02/2308.61		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.02/2308.61		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.02/2308.61		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.02/2308.61		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.02/2308.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.02/2308.61		at scala.util.Success.map(Try.scala:209)
2400.02/2308.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.02/2308.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.02/2308.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.02/2308.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.02/2308.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.02/2308.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.02/2308.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.02/2308.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.02/2308.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.02/2308.61		at scala.collection.immutable.List.foreach(List.scala:389)
2400.02/2308.61		at scala.App.main(App.scala:76)
2400.02/2308.61		at scala.App.main$(App.scala:74)
2400.02/2308.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.02/2308.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.02/2308.61	v <instantiation cost="709">
2400.02/2308.61	v       <list>
2400.02/2308.61	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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]
2400.02/2308.61	v       </list>
2400.02/2308.61	v       <values>
2400.02/2308.61	v         0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 62 36 30 100 91 67 64 43 48 20 100 100 87 81 100 82 72 33 95 10 72 100 81 49 40 45 63 20 16 83 57 13
2400.02/2308.61	v       </values>
2400.02/2308.61	v     </instantiation>
2400.02/2308.62	s SATISFIABLE

Verifier Data

OK	709

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-4246294-1500713101/watcher-4246294-1500713101 -o /tmp/evaluation-result-4246294-1500713101/solver-4246294-1500713101 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16359 --watchdog 2560 bin/concrete HOME/instance-4246294-1500713101.xml 

pid=23963
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.64 1.53 1.50 4/262 23966
/proc/meminfo: memFree=30998600/32770624 swapFree=5896/116632
[pid=23966] ppid=23963 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23966/stat : 23966 (bash) S 23963 23966 16327 0 -1 4202496 686 1535 0 0 0 0 0 0 20 0 1 0 6579739 9736192 351 33554432000 4194304 5098028 140724083673808 140724083671448 140524668398592 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 35115008 140724083680526 140724083680611 140724083680611 140724083683310 0
/proc/23966/statm: 2377 351 278 221 0 86 0

[startup+0.100173 s]
/proc/loadavg: 1.64 1.53 1.50 4/262 23966
/proc/meminfo: memFree=30998600/32770624 swapFree=5896/116632
[pid=23966] ppid=23963 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23966/stat : 23966 (bash) S 23963 23966 16327 0 -1 4202496 878 6424 0 0 0 0 0 1 20 0 1 0 6579739 9871360 378 33554432000 4194304 5098028 140724083673808 140724083667816 140524668398592 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 35115008 140724083680526 140724083680611 140724083680611 140724083683310 0
/proc/23966/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200334 s]
/proc/loadavg: 1.64 1.53 1.50 4/262 23966
/proc/meminfo: memFree=30998600/32770624 swapFree=5896/116632
[pid=23966] ppid=23963 vsize=10901872 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/23966/stat : 23966 (java) S 23963 23966 16327 0 -1 1077944320 5900 12430 0 0 8 1 8 3 20 0 20 0 6579739 11163516928 6582 33554432000 4194304 4196468 140727790292944 140727790275488 139777500155639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
/proc/23966/statm: 2725468 6582 2686 1 0 2713890 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10901872

[startup+0.300291 s]
/proc/loadavg: 1.64 1.53 1.50 4/262 23966
/proc/meminfo: memFree=30998600/32770624 swapFree=5896/116632
[pid=23966] ppid=23963 vsize=10902392 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/23966/stat : 23966 (java) S 23963 23966 16327 0 -1 1077944320 9913 12430 0 0 22 2 8 3 20 0 20 0 6579739 11164049408 10951 33554432000 4194304 4196468 140727790292944 140727790275488 139777500155639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
/proc/23966/statm: 2725598 10951 2945 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392

[startup+0.700255 s]
/proc/loadavg: 1.64 1.53 1.50 4/262 23966
/proc/meminfo: memFree=30998600/32770624 swapFree=5896/116632
[pid=23966] ppid=23963 vsize=10902720 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/23966/stat : 23966 (java) S 23963 23966 16327 0 -1 1077944320 13484 12430 0 0 87 4 8 3 20 0 20 0 6579739 11164385280 16837 33554432000 4194304 4196468 140727790292944 140727790275488 139777500155639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
/proc/23966/statm: 2725680 16837 3232 1 0 2713890 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10902720

[startup+1.50076 s]
/proc/loadavg: 1.59 1.52 1.50 3/281 24039
/proc/meminfo: memFree=30888656/32770624 swapFree=5896/116784
[pid=23966] ppid=23963 vsize=10915392 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/23966/stat : 23966 (java) S 23963 23966 16327 0 -1 1077944320 27731 12430 0 0 205 14 8 3 20 0 20 0 6579739 11177361408 44238 33554432000 4194304 4196468 140727790292944 140727790275488 139777500155639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
/proc/23966/statm: 2728848 44238 3413 1 0 2716962 0
[pid=23966/tid=24021] ppid=23963 vsize=10915392 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24021/stat : 24021 (java) R 23963 23966 16327 0 -1 4202560 19433 12430 0 0 125 6 8 3 20 0 20 0 6579750 11177361408 44238 33554432000 4194304 4196468 140727790292944 139777504378016 139777484236156 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24022] ppid=23963 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24022/stat : 24022 (java) S 23963 23966 16327 0 -1 1077944384 32 12430 0 0 0 0 8 3 20 0 20 0 6579751 11177361408 44238 33554432000 4194304 4196468 140727790292944 139777436846480 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24023] ppid=23963 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24023/stat : 24023 (java) S 23963 23966 16327 0 -1 1077944384 154 12430 0 0 0 0 8 3 20 0 20 0 6579751 11177361408 44238 33554432000 4194304 4196468 140727790292944 139777435793680 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24024] ppid=23963 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24024/stat : 24024 (java) S 23963 23966 16327 0 -1 1077944384 9 12430 0 0 0 0 8 3 20 0 20 0 6579751 11177361408 44238 33554432000 4194304 4196468 140727790292944 139777434741392 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24025] ppid=23963 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24025/stat : 24025 (java) S 23963 23966 16327 0 -1 1077944384 15 12430 0 0 0 0 8 3 20 0 20 0 6579751 11177361408 44238 33554432000 4194304 4196468 140727790292944 139777433688592 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24026] ppid=23963 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24026/stat : 24026 (java) S 23963 23966 16327 0 -1 1077944384 29 12430 0 0 1 0 8 3 20 0 20 0 6579751 11177361408 44238 33554432000 4194304 4196468 140727790292944 139777432636304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24027] ppid=23963 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24027/stat : 24027 (java) S 23963 23966 16327 0 -1 1077944384 15 12430 0 0 0 0 8 3 20 0 20 0 6579751 11177361408 44238 33554432000 4194304 4196468 140727790292944 139777431583504 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24028] ppid=23963 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24028/stat : 24028 (java) S 23963 23966 16327 0 -1 1077944384 30 12430 0 0 1 0 8 3 20 0 20 0 6579751 11177361408 44238 33554432000 4194304 4196468 140727790292944 139777430531216 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24029] ppid=23963 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24029/stat : 24029 (java) S 23963 23966 16327 0 -1 1077944384 48 12430 0 0 1 0 8 3 20 0 20 0 6579751 11177361408 44238 33554432000 4194304 4196468 140727790292944 139777099557904 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24030] ppid=23963 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24030/stat : 24030 (java) S 23963 23966 16327 0 -1 1077944384 1478 12430 0 0 1 0 8 3 20 0 20 0 6579753 11177361408 44238 33554432000 4194304 4196468 140727790292944 139776706275440 139777500166786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24031] ppid=23963 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24031/stat : 24031 (java) S 23963 23966 16327 0 -1 1077944384 56 12430 0 0 0 0 8 3 20 0 20 0 6579754 11177361408 44238 33554432000 4194304 4196468 140727790292944 139776705221472 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24032] ppid=23963 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24032/stat : 24032 (java) S 23963 23966 16327 0 -1 1077944384 44 12430 0 0 0 0 8 3 20 0 20 0 6579754 11177361408 44238 33554432000 4194304 4196468 140727790292944 139776704169072 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24033] ppid=23963 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24033/stat : 24033 (java) S 23963 23966 16327 0 -1 1077944384 1 12430 0 0 0 0 8 3 20 0 20 0 6579757 11177361408 44238 33554432000 4194304 4196468 140727790292944 139776703117392 139777500174235 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24034] ppid=23963 vsize=10915392 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24034/stat : 24034 (java) S 23963 23966 16327 0 -1 1077944384 1470 12430 0 0 15 0 8 3 20 0 20 0 6579757 11177361408 44238 33554432000 4194304 4196468 140727790292944 139776702065264 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24035] ppid=23963 vsize=10915392 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24035/stat : 24035 (java) S 23963 23966 16327 0 -1 1077944384 523 12430 0 0 9 1 8 3 20 0 20 0 6579757 11177361408 44243 33554432000 4194304 4196468 140727790292944 139776701012464 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24036] ppid=23963 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24036/stat : 24036 (java) R 23963 23966 16327 0 -1 4202560 750 12430 0 0 13 0 8 3 20 0 20 0 6579757 11177361408 44243 33554432000 4194304 4196468 140727790292944 139776699946960 139777479872775 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24037] ppid=23963 vsize=10915392 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24037/stat : 24037 (java) R 23963 23966 16327 0 -1 4202560 1509 12430 0 0 29 0 8 3 20 0 20 0 6579757 11177361408 44243 33554432000 4194304 4196468 140727790292944 139776698907376 139777500167574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24038] ppid=23963 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24038/stat : 24038 (java) S 23963 23966 16327 0 -1 1077944384 3 12430 0 0 0 0 8 3 20 0 20 0 6579757 11177361408 44243 33554432000 4194304 4196468 140727790292944 139776697854304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24039] ppid=23963 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24039/stat : 24039 (java) S 23963 23966 16327 0 -1 1077944384 7 12430 0 0 0 0 8 3 20 0 20 0 6579758 11177361408 44243 33554432000 4194304 4196468 140727790292944 139776696801584 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10915392

[startup+3.10073 s]
/proc/loadavg: 1.59 1.52 1.50 5/281 24039
/proc/meminfo: memFree=30821692/32770624 swapFree=5896/116668
[pid=23966] ppid=23963 vsize=10925820 CPUtime=7.02 cores=1,3,5,7,9,11,13,15
/proc/23966/stat : 23966 (java) S 23963 23966 16327 0 -1 1077944320 43295 12430 0 0 670 21 8 3 20 0 20 0 6579739 11188039680 58831 33554432000 4194304 4196468 140727790292944 140727790275488 139777500155639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
/proc/23966/statm: 2731455 58831 3480 1 0 2719010 0
[pid=23966/tid=24021] ppid=23963 vsize=10925820 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24021/stat : 24021 (java) R 23963 23966 16327 0 -1 4202560 25775 12430 0 0 282 9 8 3 20 0 20 0 6579750 11188039680 58831 33554432000 4194304 4196468 140727790292944 139777504387512 139777500167574 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24022] ppid=23963 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24022/stat : 24022 (java) S 23963 23966 16327 0 -1 1077944384 32 12430 0 0 0 0 8 3 20 0 20 0 6579751 11188039680 58831 33554432000 4194304 4196468 140727790292944 139777436846480 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24023] ppid=23963 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24023/stat : 24023 (java) S 23963 23966 16327 0 -1 1077944384 154 12430 0 0 0 0 8 3 20 0 20 0 6579751 11188039680 58831 33554432000 4194304 4196468 140727790292944 139777435793680 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24024] ppid=23963 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24024/stat : 24024 (java) S 23963 23966 16327 0 -1 1077944384 9 12430 0 0 0 0 8 3 20 0 20 0 6579751 11188039680 58831 33554432000 4194304 4196468 140727790292944 139777434741392 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24025] ppid=23963 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24025/stat : 24025 (java) S 23963 23966 16327 0 -1 1077944384 15 12430 0 0 0 0 8 3 20 0 20 0 6579751 11188039680 58831 33554432000 4194304 4196468 140727790292944 139777433688592 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24026] ppid=23963 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24026/stat : 24026 (java) S 23963 23966 16327 0 -1 1077944384 29 12430 0 0 1 0 8 3 20 0 20 0 6579751 11188039680 58831 33554432000 4194304 4196468 140727790292944 139777432636304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24027] ppid=23963 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24027/stat : 24027 (java) S 23963 23966 16327 0 -1 1077944384 15 12430 0 0 0 0 8 3 20 0 20 0 6579751 11188039680 58831 33554432000 4194304 4196468 140727790292944 139777431583504 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24028] ppid=23963 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24028/stat : 24028 (java) S 23963 23966 16327 0 -1 1077944384 30 12430 0 0 1 0 8 3 20 0 20 0 6579751 11188039680 58831 33554432000 4194304 4196468 140727790292944 139777430531216 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24029] ppid=23963 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24029/stat : 24029 (java) S 23963 23966 16327 0 -1 1077944384 48 12430 0 0 1 0 8 3 20 0 20 0 6579751 11188039680 58831 33554432000 4194304 4196468 140727790292944 139777099557904 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24030] ppid=23963 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24030/stat : 24030 (java) S 23963 23966 16327 0 -1 1077944384 1502 12430 0 0 2 0 8 3 20 0 20 0 6579753 11188039680 58831 33554432000 4194304 4196468 140727790292944 139776706275440 139777500166786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24031] ppid=23963 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24031/stat : 24031 (java) S 23963 23966 16327 0 -1 1077944384 56 12430 0 0 0 0 8 3 20 0 20 0 6579754 11188039680 58831 33554432000 4194304 4196468 140727790292944 139776705221472 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24032] ppid=23963 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24032/stat : 24032 (java) S 23963 23966 16327 0 -1 1077944384 44 12430 0 0 0 0 8 3 20 0 20 0 6579754 11188039680 58831 33554432000 4194304 4196468 140727790292944 139776704169072 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24033] ppid=23963 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24033/stat : 24033 (java) S 23963 23966 16327 0 -1 1077944384 1 12430 0 0 0 0 8 3 20 0 20 0 6579757 11188039680 58831 33554432000 4194304 4196468 140727790292944 139776703117392 139777500174235 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24034] ppid=23963 vsize=10925820 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24034/stat : 24034 (java) R 23963 23966 16327 0 -1 4202560 3059 12430 0 0 85 1 8 3 20 0 20 0 6579757 11188039680 58831 33554432000 4194304 4196468 140727790292944 139776702065264 139777500167574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24035] ppid=23963 vsize=10925820 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24035/stat : 24035 (java) R 23963 23966 16327 0 -1 4202560 2208 12430 0 0 88 2 8 3 20 0 20 0 6579757 11188039680 58831 33554432000 4194304 4196468 140727790292944 139776701012464 139777479844072 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24036] ppid=23963 vsize=10925820 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24036/stat : 24036 (java) R 23963 23966 16327 0 -1 4202560 2096 12430 0 0 78 1 8 3 20 0 20 0 6579757 11188039680 58831 33554432000 4194304 4196468 140727790292944 139776699946992 139777481681269 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24037] ppid=23963 vsize=10925820 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24037/stat : 24037 (java) R 23963 23966 16327 0 -1 4202560 6083 12430 0 0 125 1 8 3 20 0 20 0 6579757 11188039680 58831 33554432000 4194304 4196468 140727790292944 139776698903104 139777500176986 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24038] ppid=23963 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24038/stat : 24038 (java) S 23963 23966 16327 0 -1 1077944384 3 12430 0 0 0 0 8 3 20 0 20 0 6579757 11188039680 58840 33554432000 4194304 4196468 140727790292944 139776697854304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24039] ppid=23963 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24039/stat : 24039 (java) S 23963 23966 16327 0 -1 1077944384 8 12430 0 0 0 0 8 3 20 0 20 0 6579758 11188039680 58840 33554432000 4194304 4196468 140727790292944 139776696801584 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 10925820

[startup+6.30082 s]
/proc/loadavg: 1.59 1.52 1.50 4/281 24039
/proc/meminfo: memFree=30625940/32770624 swapFree=5896/116672
[pid=23966] ppid=23963 vsize=10997500 CPUtime=19.55 cores=1,3,5,7,9,11,13,15
/proc/23966/stat : 23966 (java) S 23963 23966 16327 0 -1 1077944320 85941 12430 0 0 1905 39 8 3 20 0 20 0 6579739 11261440000 105547 33554432000 4194304 4196468 140727790292944 140727790275488 139777500155639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
/proc/23966/statm: 2749375 105547 3513 1 0 2736930 0
[pid=23966/tid=24021] ppid=23963 vsize=10997500 CPUtime=5.81 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24021/stat : 24021 (java) R 23963 23966 16327 0 -1 4202560 41663 12430 0 0 557 13 8 3 20 0 20 0 6579750 11261440000 105547 33554432000 4194304 4196468 140727790292944 139777504391232 139777129051008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24022] ppid=23963 vsize=10997500 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24022/stat : 24022 (java) S 23963 23966 16327 0 -1 1077944384 954 12430 0 0 22 2 8 3 20 0 20 0 6579751 11261440000 105547 33554432000 4194304 4196468 140727790292944 139777436846480 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24023] ppid=23963 vsize=10997500 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24023/stat : 24023 (java) S 23963 23966 16327 0 -1 1077944384 210 12430 0 0 19 2 8 3 20 0 20 0 6579751 11261440000 105547 33554432000 4194304 4196468 140727790292944 139777435793680 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24024] ppid=23963 vsize=10997500 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24024/stat : 24024 (java) S 23963 23966 16327 0 -1 1077944384 98 12430 0 0 22 1 8 3 20 0 20 0 6579751 11261440000 105547 33554432000 4194304 4196468 140727790292944 139777434741392 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24025] ppid=23963 vsize=10997500 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24025/stat : 24025 (java) S 23963 23966 16327 0 -1 1077944384 64 12430 0 0 22 1 8 3 20 0 20 0 6579751 11261440000 105547 33554432000 4194304 4196468 140727790292944 139777433688592 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24026] ppid=23963 vsize=10997500 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24026/stat : 24026 (java) S 23963 23966 16327 0 -1 1077944384 76 12430 0 0 17 1 8 3 20 0 20 0 6579751 11261440000 105547 33554432000 4194304 4196468 140727790292944 139777432636304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24027] ppid=23963 vsize=10997500 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24027/stat : 24027 (java) S 23963 23966 16327 0 -1 1077944384 111 12430 0 0 20 1 8 3 20 0 20 0 6579751 11261440000 105547 33554432000 4194304 4196468 140727790292944 139777431583504 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24028] ppid=23963 vsize=10997500 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24028/stat : 24028 (java) S 23963 23966 16327 0 -1 1077944384 338 12430 0 0 19 1 8 3 20 0 20 0 6579751 11261440000 105547 33554432000 4194304 4196468 140727790292944 139777430531216 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24029] ppid=23963 vsize=10997500 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24029/stat : 24029 (java) S 23963 23966 16327 0 -1 1077944384 317 12430 0 0 24 1 8 3 20 0 20 0 6579751 11261440000 105547 33554432000 4194304 4196468 140727790292944 139777099557904 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24030] ppid=23963 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24030/stat : 24030 (java) S 23963 23966 16327 0 -1 1077944384 2747 12430 0 0 15 0 8 3 20 0 20 0 6579753 11261440000 105547 33554432000 4194304 4196468 140727790292944 139776706275440 139777500166786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24031] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24031/stat : 24031 (java) S 23963 23966 16327 0 -1 1077944384 63 12430 0 0 0 0 8 3 20 0 20 0 6579754 11261440000 105547 33554432000 4194304 4196468 140727790292944 139776705221472 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24032] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24032/stat : 24032 (java) S 23963 23966 16327 0 -1 1077944384 45 12430 0 0 0 0 8 3 20 0 20 0 6579754 11261440000 105547 33554432000 4194304 4196468 140727790292944 139776704169088 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24033] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24033/stat : 24033 (java) S 23963 23966 16327 0 -1 1077944384 1 12430 0 0 0 0 8 3 20 0 20 0 6579757 11261440000 105547 33554432000 4194304 4196468 140727790292944 139776703117392 139777500174235 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24034] ppid=23963 vsize=10997500 CPUtime=3.18 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24034/stat : 24034 (java) S 23963 23966 16327 0 -1 1077944384 7696 12430 0 0 305 2 8 3 20 0 20 0 6579757 11261440000 105547 33554432000 4194304 4196468 140727790292944 139776702065264 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24035] ppid=23963 vsize=10997500 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24035/stat : 24035 (java) S 23963 23966 16327 0 -1 1077944384 7800 12430 0 0 291 2 8 3 20 0 20 0 6579757 11261440000 105547 33554432000 4194304 4196468 140727790292944 139776701012464 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24036] ppid=23963 vsize=10997500 CPUtime=3.48 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24036/stat : 24036 (java) R 23963 23966 16327 0 -1 4202560 12385 12430 0 0 334 3 8 3 20 0 20 0 6579757 11261440000 105547 33554432000 4194304 4196468 140727790292944 139776699960472 139777479401526 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24037] ppid=23963 vsize=10997500 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24037/stat : 24037 (java) S 23963 23966 16327 0 -1 1077944384 8780 12430 0 0 229 2 8 3 20 0 20 0 6579757 11261440000 105547 33554432000 4194304 4196468 140727790292944 139776698907376 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24038] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15

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

[pid=23966/tid=24035] ppid=23963 vsize=10997500 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24035/stat : 24035 (java) S 23963 23966 16327 0 -1 1077944384 24751 12430 0 0 657 7 8 3 20 0 20 0 6579757 11261440000 158068 33554432000 4194304 4196468 140727790292944 139776701012464 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24036] ppid=23963 vsize=10997500 CPUtime=7.07 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24036/stat : 24036 (java) S 23963 23966 16327 0 -1 1077944384 23114 12430 0 0 690 6 8 3 20 0 20 0 6579757 11261440000 158068 33554432000 4194304 4196468 140727790292944 139776699960176 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24037] ppid=23963 vsize=10997500 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24037/stat : 24037 (java) S 23963 23966 16327 0 -1 1077944384 41368 12430 0 0 401 7 8 3 20 0 20 0 6579757 11261440000 158068 33554432000 4194304 4196468 140727790292944 139776698907376 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24038] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24038/stat : 24038 (java) S 23963 23966 16327 0 -1 1077944384 3 12430 0 0 0 0 8 3 20 0 20 0 6579757 11261440000 158068 33554432000 4194304 4196468 140727790292944 139776697854304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24039] ppid=23963 vsize=10997500 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24039/stat : 24039 (java) S 23963 23966 16327 0 -1 1077944384 1271 12430 0 0 46 59 8 3 20 0 20 0 6579758 11261440000 158068 33554432000 4194304 4196468 140727790292944 139776696801584 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
Current children cumulated CPU time (s) 2228.48
Current children cumulated vsize (KiB) 10997500

[startup+2202.31 s]
/proc/loadavg: 1.00 0.95 1.20 2/256 24183
/proc/meminfo: memFree=31216564/32770624 swapFree=5896/118696
[pid=23966] ppid=23963 vsize=10997500 CPUtime=2290.32 cores=1,3,5,7,9,11,13,15
/proc/23966/stat : 23966 (java) S 23963 23966 16327 0 -1 1077944320 318356 12430 0 0 228403 618 8 3 20 0 20 0 6579739 11261440000 155886 33554432000 4194304 4196468 140727790292944 140727790275488 139777500155639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
/proc/23966/statm: 2749375 155886 3525 1 0 2736930 0
[pid=23966/tid=24021] ppid=23963 vsize=10997500 CPUtime=2182.95 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24021/stat : 24021 (java) R 23963 23966 16327 0 -1 4202560 124041 12430 0 0 218231 53 8 3 20 0 20 0 6579750 11261440000 155886 33554432000 4194304 4196468 140727790292944 139777504389904 139777111629126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24022] ppid=23963 vsize=10997500 CPUtime=9.68 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24022/stat : 24022 (java) S 23963 23966 16327 0 -1 1077944384 10022 12430 0 0 895 62 8 3 20 0 20 0 6579751 11261440000 155886 33554432000 4194304 4196468 140727790292944 139777436846480 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24023] ppid=23963 vsize=10997500 CPUtime=9.54 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24023/stat : 24023 (java) S 23963 23966 16327 0 -1 1077944384 5244 12430 0 0 882 61 8 3 20 0 20 0 6579751 11261440000 155886 33554432000 4194304 4196468 140727790292944 139777435793680 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24024] ppid=23963 vsize=10997500 CPUtime=9.53 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24024/stat : 24024 (java) S 23963 23966 16327 0 -1 1077944384 9364 12430 0 0 885 57 8 3 20 0 20 0 6579751 11261440000 155886 33554432000 4194304 4196468 140727790292944 139777434741392 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24025] ppid=23963 vsize=10997500 CPUtime=9.59 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24025/stat : 24025 (java) S 23963 23966 16327 0 -1 1077944384 6658 12430 0 0 890 58 8 3 20 0 20 0 6579751 11261440000 155886 33554432000 4194304 4196468 140727790292944 139777433688592 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24026] ppid=23963 vsize=10997500 CPUtime=9.43 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24026/stat : 24026 (java) S 23963 23966 16327 0 -1 1077944384 6400 12430 0 0 873 59 8 3 20 0 20 0 6579751 11261440000 155886 33554432000 4194304 4196468 140727790292944 139777432636304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24027] ppid=23963 vsize=10997500 CPUtime=9.62 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24027/stat : 24027 (java) S 23963 23966 16327 0 -1 1077944384 10672 12430 0 0 892 59 8 3 20 0 20 0 6579751 11261440000 155886 33554432000 4194304 4196468 140727790292944 139777431583504 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24028] ppid=23963 vsize=10997500 CPUtime=9.46 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24028/stat : 24028 (java) S 23963 23966 16327 0 -1 1077944384 6789 12430 0 0 877 58 8 3 20 0 20 0 6579751 11261440000 155886 33554432000 4194304 4196468 140727790292944 139777430531216 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24029] ppid=23963 vsize=10997500 CPUtime=9.59 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24029/stat : 24029 (java) S 23963 23966 16327 0 -1 1077944384 9391 12430 0 0 890 58 8 3 20 0 20 0 6579751 11261440000 155886 33554432000 4194304 4196468 140727790292944 139777099557904 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24030] ppid=23963 vsize=10997500 CPUtime=6.31 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24030/stat : 24030 (java) S 23963 23966 16327 0 -1 1077944384 14398 12430 0 0 570 50 8 3 20 0 20 0 6579753 11261440000 155886 33554432000 4194304 4196468 140727790292944 139776706275440 139777500166786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24031] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24031/stat : 24031 (java) S 23963 23966 16327 0 -1 1077944384 85 12430 0 0 0 0 8 3 20 0 20 0 6579754 11261440000 155886 33554432000 4194304 4196468 140727790292944 139776705221472 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24032] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24032/stat : 24032 (java) S 23963 23966 16327 0 -1 1077944384 45 12430 0 0 0 0 8 3 20 0 20 0 6579754 11261440000 155886 33554432000 4194304 4196468 140727790292944 139776704169088 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24033] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24033/stat : 24033 (java) S 23963 23966 16327 0 -1 1077944384 1 12430 0 0 0 0 8 3 20 0 20 0 6579757 11261440000 155886 33554432000 4194304 4196468 140727790292944 139776703117392 139777500174235 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24034] ppid=23963 vsize=10997500 CPUtime=6.82 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24034/stat : 24034 (java) S 23963 23966 16327 0 -1 1077944384 22586 12430 0 0 664 7 8 3 20 0 20 0 6579757 11261440000 155886 33554432000 4194304 4196468 140727790292944 139776702065264 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24035] ppid=23963 vsize=10997500 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24035/stat : 24035 (java) S 23963 23966 16327 0 -1 1077944384 24753 12430 0 0 657 7 8 3 20 0 20 0 6579757 11261440000 155886 33554432000 4194304 4196468 140727790292944 139776701012464 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24036] ppid=23963 vsize=10997500 CPUtime=7.07 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24036/stat : 24036 (java) S 23963 23966 16327 0 -1 1077944384 23116 12430 0 0 690 6 8 3 20 0 20 0 6579757 11261440000 155886 33554432000 4194304 4196468 140727790292944 139776699960176 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24037] ppid=23963 vsize=10997500 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24037/stat : 24037 (java) S 23963 23966 16327 0 -1 1077944384 41370 12430 0 0 401 7 8 3 20 0 20 0 6579757 11261440000 155886 33554432000 4194304 4196468 140727790292944 139776698907376 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24038] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24038/stat : 24038 (java) S 23963 23966 16327 0 -1 1077944384 3 12430 0 0 0 0 8 3 20 0 20 0 6579757 11261440000 155886 33554432000 4194304 4196468 140727790292944 139776697854304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24039] ppid=23963 vsize=10997500 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24039/stat : 24039 (java) S 23963 23966 16327 0 -1 1077944384 1290 12430 0 0 47 61 8 3 20 0 20 0 6579758 11261440000 155886 33554432000 4194304 4196468 140727790292944 139776696801584 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
Current children cumulated CPU time (s) 2290.32
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 0.97 0.95 1.18 2/256 24184
/proc/meminfo: memFree=31222632/32770624 swapFree=5896/118748
[pid=23966] ppid=23963 vsize=10997500 CPUtime=2352.19 cores=1,3,5,7,9,11,13,15
/proc/23966/stat : 23966 (java) S 23963 23966 16327 0 -1 1077944320 320547 12430 0 0 234579 629 8 3 20 0 20 0 6579739 11261440000 154396 33554432000 4194304 4196468 140727790292944 140727790275488 139777500155639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
/proc/23966/statm: 2749375 154396 3525 1 0 2736930 0
[pid=23966/tid=24021] ppid=23963 vsize=10997500 CPUtime=2242.4 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24021/stat : 24021 (java) R 23963 23966 16327 0 -1 4202560 124999 12430 0 0 224175 54 8 3 20 0 20 0 6579750 11261440000 154396 33554432000 4194304 4196468 140727790292944 139777504389680 139777130501992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24022] ppid=23963 vsize=10997500 CPUtime=9.97 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24022/stat : 24022 (java) S 23963 23966 16327 0 -1 1077944384 10102 12430 0 0 923 63 8 3 20 0 20 0 6579751 11261440000 154396 33554432000 4194304 4196468 140727790292944 139777436846480 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24023] ppid=23963 vsize=10997500 CPUtime=9.8 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24023/stat : 24023 (java) S 23963 23966 16327 0 -1 1077944384 5312 12430 0 0 908 61 8 3 20 0 20 0 6579751 11261440000 154396 33554432000 4194304 4196468 140727790292944 139777435793680 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24024] ppid=23963 vsize=10997500 CPUtime=9.8 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24024/stat : 24024 (java) S 23963 23966 16327 0 -1 1077944384 9483 12430 0 0 911 58 8 3 20 0 20 0 6579751 11261440000 154396 33554432000 4194304 4196468 140727790292944 139777434741392 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24025] ppid=23963 vsize=10997500 CPUtime=9.88 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24025/stat : 24025 (java) S 23963 23966 16327 0 -1 1077944384 6840 12430 0 0 918 59 8 3 20 0 20 0 6579751 11261440000 154396 33554432000 4194304 4196468 140727790292944 139777433688592 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24026] ppid=23963 vsize=10997500 CPUtime=9.69 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24026/stat : 24026 (java) S 23963 23966 16327 0 -1 1077944384 6456 12430 0 0 898 60 8 3 20 0 20 0 6579751 11261440000 154396 33554432000 4194304 4196468 140727790292944 139777432636304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24027] ppid=23963 vsize=10997500 CPUtime=9.89 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24027/stat : 24027 (java) S 23963 23966 16327 0 -1 1077944384 10846 12430 0 0 918 60 8 3 20 0 20 0 6579751 11261440000 154396 33554432000 4194304 4196468 140727790292944 139777431583504 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24028] ppid=23963 vsize=10997500 CPUtime=9.75 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24028/stat : 24028 (java) S 23963 23966 16327 0 -1 1077944384 7046 12430 0 0 905 59 8 3 20 0 20 0 6579751 11261440000 154396 33554432000 4194304 4196468 140727790292944 139777430531216 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24029] ppid=23963 vsize=10997500 CPUtime=9.85 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24029/stat : 24029 (java) S 23963 23966 16327 0 -1 1077944384 9436 12430 0 0 915 59 8 3 20 0 20 0 6579751 11261440000 154396 33554432000 4194304 4196468 140727790292944 139777099557904 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24030] ppid=23963 vsize=10997500 CPUtime=6.47 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24030/stat : 24030 (java) S 23963 23966 16327 0 -1 1077944384 14624 12430 0 0 585 51 8 3 20 0 20 0 6579753 11261440000 154396 33554432000 4194304 4196468 140727790292944 139776706275440 139777500166786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24031] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24031/stat : 24031 (java) S 23963 23966 16327 0 -1 1077944384 85 12430 0 0 0 0 8 3 20 0 20 0 6579754 11261440000 154396 33554432000 4194304 4196468 140727790292944 139776705221472 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24032] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24032/stat : 24032 (java) S 23963 23966 16327 0 -1 1077944384 45 12430 0 0 0 0 8 3 20 0 20 0 6579754 11261440000 154396 33554432000 4194304 4196468 140727790292944 139776704169088 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24033] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24033/stat : 24033 (java) S 23963 23966 16327 0 -1 1077944384 1 12430 0 0 0 0 8 3 20 0 20 0 6579757 11261440000 154396 33554432000 4194304 4196468 140727790292944 139776703117392 139777500174235 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24034] ppid=23963 vsize=10997500 CPUtime=6.82 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24034/stat : 24034 (java) S 23963 23966 16327 0 -1 1077944384 22588 12430 0 0 664 7 8 3 20 0 20 0 6579757 11261440000 154396 33554432000 4194304 4196468 140727790292944 139776702065264 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24035] ppid=23963 vsize=10997500 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24035/stat : 24035 (java) S 23963 23966 16327 0 -1 1077944384 24755 12430 0 0 657 7 8 3 20 0 20 0 6579757 11261440000 154396 33554432000 4194304 4196468 140727790292944 139776701012464 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24036] ppid=23963 vsize=10997500 CPUtime=7.07 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24036/stat : 24036 (java) S 23963 23966 16327 0 -1 1077944384 23118 12430 0 0 690 6 8 3 20 0 20 0 6579757 11261440000 154396 33554432000 4194304 4196468 140727790292944 139776699960176 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24037] ppid=23963 vsize=10997500 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24037/stat : 24037 (java) S 23963 23966 16327 0 -1 1077944384 41372 12430 0 0 401 7 8 3 20 0 20 0 6579757 11261440000 154396 33554432000 4194304 4196468 140727790292944 139776698907376 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24038] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24038/stat : 24038 (java) S 23963 23966 16327 0 -1 1077944384 3 12430 0 0 0 0 8 3 20 0 20 0 6579757 11261440000 154396 33554432000 4194304 4196468 140727790292944 139776697854304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24039] ppid=23963 vsize=10997500 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24039/stat : 24039 (java) S 23963 23966 16327 0 -1 1077944384 1308 12430 0 0 48 63 8 3 20 0 20 0 6579758 11261440000 154396 33554432000 4194304 4196468 140727790292944 139776696801584 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
Current children cumulated CPU time (s) 2352.19
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2308.6 s]
/proc/loadavg: 0.99 0.96 1.17 2/256 24185
/proc/meminfo: memFree=31218496/32770624 swapFree=5896/118776
[pid=23966] ppid=23963 vsize=10997500 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/23966/stat : 23966 (java) S 23963 23966 16327 0 -1 1077944320 322541 12430 0 0 239354 637 8 3 20 0 20 0 6579739 11261440000 155338 33554432000 4194304 4196468 140727790292944 140727790275488 139777500155639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
/proc/23966/statm: 2749375 155338 3525 1 0 2736930 0
[pid=23966/tid=24021] ppid=23963 vsize=10997500 CPUtime=2288.26 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24021/stat : 24021 (java) R 23963 23966 16327 0 -1 4202560 126063 12430 0 0 228761 54 8 3 20 0 20 0 6579750 11261440000 155338 33554432000 4194304 4196468 140727790292944 139777504389680 139777129509504 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24022] ppid=23963 vsize=10997500 CPUtime=10.2 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24022/stat : 24022 (java) S 23963 23966 16327 0 -1 1077944384 10294 12430 0 0 945 64 8 3 20 0 20 0 6579751 11261440000 155338 33554432000 4194304 4196468 140727790292944 139777436846480 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24023] ppid=23963 vsize=10997500 CPUtime=10.03 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24023/stat : 24023 (java) S 23963 23966 16327 0 -1 1077944384 5343 12430 0 0 929 63 8 3 20 0 20 0 6579751 11261440000 155338 33554432000 4194304 4196468 140727790292944 139777435793680 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24024] ppid=23963 vsize=10997500 CPUtime=10.03 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24024/stat : 24024 (java) S 23963 23966 16327 0 -1 1077944384 9555 12430 0 0 934 58 8 3 20 0 20 0 6579751 11261440000 155338 33554432000 4194304 4196468 140727790292944 139777434741392 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24025] ppid=23963 vsize=10997500 CPUtime=10.1 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24025/stat : 24025 (java) S 23963 23966 16327 0 -1 1077944384 6902 12430 0 0 939 60 8 3 20 0 20 0 6579751 11261440000 155338 33554432000 4194304 4196468 140727790292944 139777433688592 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24026] ppid=23963 vsize=10997500 CPUtime=9.93 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24026/stat : 24026 (java) S 23963 23966 16327 0 -1 1077944384 6507 12430 0 0 920 62 8 3 20 0 20 0 6579751 11261440000 155338 33554432000 4194304 4196468 140727790292944 139777432636304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24027] ppid=23963 vsize=10997500 CPUtime=10.12 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24027/stat : 24027 (java) S 23963 23966 16327 0 -1 1077944384 10984 12430 0 0 940 61 8 3 20 0 20 0 6579751 11261440000 155338 33554432000 4194304 4196468 140727790292944 139777431583504 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24028] ppid=23963 vsize=10997500 CPUtime=9.99 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24028/stat : 24028 (java) S 23963 23966 16327 0 -1 1077944384 7100 12430 0 0 928 60 8 3 20 0 20 0 6579751 11261440000 155338 33554432000 4194304 4196468 140727790292944 139777430531216 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24029] ppid=23963 vsize=10997500 CPUtime=10.06 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24029/stat : 24029 (java) S 23963 23966 16327 0 -1 1077944384 9546 12430 0 0 935 60 8 3 20 0 20 0 6579751 11261440000 155338 33554432000 4194304 4196468 140727790292944 139777099557904 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24030] ppid=23963 vsize=10997500 CPUtime=6.6 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24030/stat : 24030 (java) S 23963 23966 16327 0 -1 1077944384 14821 12430 0 0 598 51 8 3 20 0 20 0 6579753 11261440000 155338 33554432000 4194304 4196468 140727790292944 139776706275440 139777500166786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24031] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24031/stat : 24031 (java) S 23963 23966 16327 0 -1 1077944384 85 12430 0 0 0 0 8 3 20 0 20 0 6579754 11261440000 155338 33554432000 4194304 4196468 140727790292944 139776705221472 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24032] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24032/stat : 24032 (java) S 23963 23966 16327 0 -1 1077944384 45 12430 0 0 0 0 8 3 20 0 20 0 6579754 11261440000 155338 33554432000 4194304 4196468 140727790292944 139776704169088 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24033] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24033/stat : 24033 (java) S 23963 23966 16327 0 -1 1077944384 1 12430 0 0 0 0 8 3 20 0 20 0 6579757 11261440000 155338 33554432000 4194304 4196468 140727790292944 139776703117392 139777500174235 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24034] ppid=23963 vsize=10997500 CPUtime=6.82 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24034/stat : 24034 (java) S 23963 23966 16327 0 -1 1077944384 22590 12430 0 0 664 7 8 3 20 0 20 0 6579757 11261440000 155338 33554432000 4194304 4196468 140727790292944 139776702065264 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24035] ppid=23963 vsize=10997500 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24035/stat : 24035 (java) S 23963 23966 16327 0 -1 1077944384 24758 12430 0 0 657 7 8 3 20 0 20 0 6579757 11261440000 155338 33554432000 4194304 4196468 140727790292944 139776701012464 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24036] ppid=23963 vsize=10997500 CPUtime=7.07 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24036/stat : 24036 (java) S 23963 23966 16327 0 -1 1077944384 23120 12430 0 0 690 6 8 3 20 0 20 0 6579757 11261440000 155338 33554432000 4194304 4196468 140727790292944 139776699960176 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24037] ppid=23963 vsize=10997500 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24037/stat : 24037 (java) S 23963 23966 16327 0 -1 1077944384 41374 12430 0 0 401 7 8 3 20 0 20 0 6579757 11261440000 155338 33554432000 4194304 4196468 140727790292944 139776698907376 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24038] ppid=23963 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24038/stat : 24038 (java) S 23963 23966 16327 0 -1 1077944384 3 12430 0 0 0 0 8 3 20 0 20 0 6579757 11261440000 155338 33554432000 4194304 4196468 140727790292944 139776697854304 139777500165845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
[pid=23966/tid=24039] ppid=23963 vsize=10997500 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/23966/task/24039/stat : 24039 (java) S 23963 23966 16327 0 -1 1077944384 1322 12430 0 0 49 65 8 3 20 0 20 0 6579758 11261440000 155338 33554432000 4194304 4196468 140727790292944 139776696801584 139777500166786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7741440 140727790295745 140727790298519 140727790298519 140727790301135 0
Current children cumulated CPU time (s) 2400.02
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 23966 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2308.63
CPU time (s): 2400.06
CPU user time (s): 2393.65
CPU system time (s): 6.41371
CPU usage (%): 103.961
Max. virtual memory (cumulated for all children) (KiB): 10999692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.65
system time used= 6.41371
maximum resident set size= 1340720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 278125
involuntary context switches= 179120

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4123 second user time and 19.8987 second system time

The end

Launcher Data

Begin job on node107 at 2017-07-22 10:45:01
IDJOB=4246294
IDBENCH=124395
IDSOLVER=2630
FILE ID=node107/4246294-1500713101
RUNJOBID= node107-1500682951-16359
PBS_JOBID= 20623334
Free space on /tmp= 61852 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k5.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246294-1500713101/watcher-4246294-1500713101 -o /tmp/evaluation-result-4246294-1500713101/solver-4246294-1500713101 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16359 --watchdog 2560  bin/concrete HOME/instance-4246294-1500713101.xml

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

MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078
RANDOM SEED=1555369684

node107.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		: 1600.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.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.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.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30998656 kB
MemAvailable:   31164928 kB
Buffers:          194552 kB
Cached:           226280 kB
SwapCached:            0 kB
Active:          1109164 kB
Inactive:         175204 kB
Active(anon):     816316 kB
Inactive(anon):    58572 kB
Active(file):     292848 kB
Inactive(file):   116632 kB
Unevictable:        5896 kB
Mlocked:            5896 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24340 kB
Writeback:             0 kB
AnonPages:        889200 kB
Mapped:            44140 kB
Shmem:              8852 kB
Slab:             179476 kB
SReclaimable:     145256 kB
SUnreclaim:        34220 kB
KernelStack:        4864 kB
PageTables:         7332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1719504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    677888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61852 MiB
End job on node107 at 2017-07-22 11:23:30