Trace number 4246385

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)803 2400.11 2306.03

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n34-k5.xml
MD5SUM72c979ceab0684897cea6dc90bd0dbab
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark783
Best CPU time to get the best result obtained on this benchmark19994.6
Satisfiable
(Un)Satisfiability was proved
Number of variables1190
Number of constraints1155
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}]
Minimum variable degree0
Maximum variable degree65
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}]
Minimum constraint arity1
Maximum constraint arity33
Distribution of constraint arities[{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}]
Number of extensional constraints0
Number of intensional constraints33
Distribution of constraint types[{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}]
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 

4.01/2.33	c Concrete v3.4 running
16.24/5.59	o 1933
16.98/5.72	o 1927
17.42/5.82	o 1926
17.42/5.89	o 1890
17.82/5.95	o 1802
17.82/6.00	o 1769
18.22/6.06	o 1703
18.63/6.13	o 1695
18.63/6.18	o 1693
19.03/6.23	o 1692
19.03/6.28	o 1660
19.43/6.33	o 1654
19.43/6.37	o 1639
19.75/6.45	o 1632
19.75/6.48	o 1600
19.90/6.52	o 1599
19.90/6.55	o 1528
19.90/6.58	o 1505
20.16/6.61	o 1488
20.16/6.64	o 1475
20.16/6.68	o 1468
20.46/6.72	o 1454
20.46/6.76	o 1450
20.83/6.89	o 1446
21.24/6.92	o 1445
21.59/7.02	o 1440
21.59/7.04	o 1407
21.59/7.07	o 1395
21.75/7.11	o 1386
21.75/7.13	o 1375
21.75/7.16	o 1351
21.75/7.19	o 1333
21.88/7.25	o 1324
21.88/7.28	o 1318
21.99/7.30	o 1314
21.99/7.37	o 1287
22.09/7.44	o 1255
22.22/7.54	o 1241
22.22/7.57	o 1225
22.80/7.82	o 1214
22.80/7.88	o 1200
22.89/7.96	o 1198
23.26/8.20	o 1186
23.62/8.52	o 1184
23.73/8.62	o 1133
23.98/8.82	o 1125
24.09/8.97	o 1124
24.19/9.00	o 1116
24.42/9.24	o 1089
24.74/9.53	o 1080
24.91/9.69	o 1070
25.72/10.36	o 1065
25.83/10.42	o 1046
27.51/11.91	o 1000
28.99/13.21	o 999
29.48/13.70	o 986
30.88/14.95	o 983
32.16/16.13	o 982
33.02/16.98	o 977
37.76/21.22	o 974
37.87/21.36	o 960
44.43/27.40	o 952
47.39/30.26	o 950
47.39/30.29	o 946
51.84/34.42	o 938
52.60/35.19	o 916
123.10/103.46	o 902
127.13/107.34	o 901
132.31/112.39	o 900
135.31/115.22	o 890
139.77/119.53	o 882
415.41/382.32	o 881
572.20/532.70	o 851
695.81/652.61	o 840
716.67/672.79	o 837
716.77/672.82	o 832
721.05/676.96	o 831
721.05/676.99	o 830
732.15/687.43	o 822
1726.55/1653.69	o 816
1726.85/1653.93	o 815
1807.27/1731.65	o 803
2400.06/2306.00	java.util.concurrent.TimeoutException
2400.06/2306.00		at concrete.MAC.mac(MAC.scala:74)
2400.06/2306.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.06/2306.00		at scala.util.Try$.apply(Try.scala:209)
2400.06/2306.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.06/2306.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.06/2306.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.06/2306.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.06/2306.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.06/2306.00		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.06/2306.00		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.06/2306.00		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.06/2306.00		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.06/2306.00		at concrete.MAC.oneRun(MAC.scala:146)
2400.06/2306.00		at concrete.MAC.nextSolution(MAC.scala:166)
2400.06/2306.00		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.06/2306.00		at concrete.ProblemState.map(ProblemState.scala:203)
2400.06/2306.00		at concrete.ProblemState.map(ProblemState.scala:188)
2400.06/2306.01		at concrete.MAC.nextSolution(MAC.scala:195)
2400.06/2306.01		at concrete.Solver.hasNext(Solver.scala:202)
2400.06/2306.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.06/2306.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.06/2306.01		at concrete.Solver.toStream(Solver.scala:73)
2400.06/2306.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.06/2306.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.06/2306.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.06/2306.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.06/2306.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.06/2306.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.06/2306.01		at scala.util.Success.map(Try.scala:209)
2400.06/2306.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.06/2306.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.06/2306.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.06/2306.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.06/2306.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.06/2306.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.06/2306.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.06/2306.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.06/2306.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.06/2306.01		at scala.collection.immutable.List.foreach(List.scala:389)
2400.06/2306.01		at scala.App.main(App.scala:76)
2400.06/2306.01		at scala.App.main$(App.scala:74)
2400.06/2306.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.06/2306.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.06/2306.01	v <instantiation cost="803">
2400.06/2306.01	v       <list>
2400.06/2306.01	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33]
2400.06/2306.01	v       </list>
2400.06/2306.01	v       <values>
2400.06/2306.01	v         0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 60 17 59 80 65 32 8 88 30 100 63 35 95 100 37 96 37 11 53 65 19 72 84 50 76 100 87 49 100 30 53 34 100
2400.06/2306.01	v       </values>
2400.06/2306.01	v     </instantiation>
2400.06/2306.01	s SATISFIABLE

Verifier Data 

OK	803

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

pid=19805
running on 8 cores: 0,2,4,6,8,10,12,14

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.61 1.92 2.05 3/244 19808
/proc/meminfo: memFree=31810696/32770624 swapFree=5920/130104
[pid=19808] ppid=19805 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19808/stat : 19808 (bash) R 19805 19808 19746 0 -1 4202496 618 0 0 0 0 0 0 0 20 0 1 0 6746120 9736192 284 33554432000 4194304 5098028 140720620855952 140720620855952 140421009048704 0 0 4100 65536 0 0 0 17 8 0 0 1 0 0 7196144 7232144 14127104 140720620860686 140720620860771 140720620860771 140720620863470 0
/proc/19808/statm: 2377 284 236 221 0 86 0

[startup+0.100202 s]
/proc/loadavg: 1.61 1.92 2.05 3/244 19808
/proc/meminfo: memFree=31810696/32770624 swapFree=5920/130104
[pid=19808] ppid=19805 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19808/stat : 19808 (bash) S 19805 19808 19746 0 -1 4202496 885 6413 0 1 0 0 0 1 20 0 1 0 6746120 9871360 378 33554432000 4194304 5098028 140720620855952 140720620849960 140421009783808 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 1 0 0 7196144 7232144 14127104 140720620860686 140720620860771 140720620860771 140720620863470 0
/proc/19808/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200319 s]
/proc/loadavg: 1.61 1.92 2.05 3/244 19808
/proc/meminfo: memFree=31810696/32770624 swapFree=5920/130104
[pid=19808] ppid=19805 vsize=10435860 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/19808/stat : 19808 (java) S 19805 19808 19746 0 -1 1077944320 4992 12472 0 1 4 1 8 4 20 0 13 0 6746120 10686320640 4811 33554432000 4194304 4196468 140726177358832 140726177341376 140681373798135 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 1 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
/proc/19808/statm: 2608965 4811 2129 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860

[startup+0.30029 s]
/proc/loadavg: 1.61 1.92 2.05 3/244 19808
/proc/meminfo: memFree=31810696/32770624 swapFree=5920/130104
[pid=19808] ppid=19805 vsize=10902392 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/19808/stat : 19808 (java) S 19805 19808 19746 0 -1 1077944320 7410 12472 0 1 20 2 8 4 20 0 20 0 6746120 11164049408 9088 33554432000 4194304 4196468 140726177358832 140726177341376 140681373798135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 1 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
/proc/19808/statm: 2725598 9088 2976 1 0 2713890 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10902392

[startup+0.700129 s]
/proc/loadavg: 1.61 1.92 2.05 3/244 19808
/proc/meminfo: memFree=31810696/32770624 swapFree=5920/130104
[pid=19808] ppid=19805 vsize=10902720 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/19808/stat : 19808 (java) S 19805 19808 19746 0 -1 1077944320 12640 12472 0 1 75 4 8 4 20 0 20 0 6746120 11164385280 15977 33554432000 4194304 4196468 140726177358832 140726177341376 140681373798135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 1 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
/proc/19808/statm: 2725680 15977 3207 1 0 2713890 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 10902720

[startup+1.50071 s]
/proc/loadavg: 1.61 1.92 2.05 3/284 19954
/proc/meminfo: memFree=31604496/32770624 swapFree=5920/131376
[pid=19808] ppid=19805 vsize=10913344 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/19808/stat : 19808 (java) S 19805 19808 19746 0 -1 1077944320 27608 12472 2 1 193 14 8 4 20 0 20 0 6746120 11175264256 44022 33554432000 4194304 4196468 140726177358832 140726177341376 140681373798135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 1 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
/proc/19808/statm: 2728336 44022 3402 1 0 2716450 0
[pid=19808/tid=19918] ppid=19805 vsize=10913344 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19918/stat : 19918 (java) R 19805 19808 19746 0 -1 4202560 19529 12472 2 1 119 5 8 4 20 0 20 0 6746135 11175264256 44022 33554432000 4194304 4196468 140726177358832 140681378013680 140681373810070 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19927] ppid=19805 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19927/stat : 19927 (java) S 19805 19808 19746 0 -1 1077944384 43 12472 0 1 1 0 8 4 20 0 20 0 6746136 11175264256 44022 33554432000 4194304 4196468 140726177358832 140681326419088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19928] ppid=19805 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19928/stat : 19928 (java) S 19805 19808 19746 0 -1 1077944384 28 12472 0 1 1 0 8 4 20 0 20 0 6746136 11175264256 44022 33554432000 4194304 4196468 140726177358832 140681325366288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19929] ppid=19805 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19929/stat : 19929 (java) S 19805 19808 19746 0 -1 1077944384 60 12472 0 1 0 0 8 4 20 0 20 0 6746136 11175264256 44022 33554432000 4194304 4196468 140726177358832 140681324313488 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19930] ppid=19805 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19930/stat : 19930 (java) S 19805 19808 19746 0 -1 1077944384 15 12472 0 1 1 0 8 4 20 0 20 0 6746136 11175264256 44022 33554432000 4194304 4196468 140726177358832 140681323260688 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19931] ppid=19805 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19931/stat : 19931 (java) S 19805 19808 19746 0 -1 1077944384 30 12472 0 1 1 0 8 4 20 0 20 0 6746136 11175264256 44022 33554432000 4194304 4196468 140726177358832 140681322207888 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19932] ppid=19805 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19932/stat : 19932 (java) S 19805 19808 19746 0 -1 1077944384 131 12472 0 1 1 0 8 4 20 0 20 0 6746136 11175264256 44022 33554432000 4194304 4196468 140726177358832 140681321155088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19933] ppid=19805 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19933/stat : 19933 (java) S 19805 19808 19746 0 -1 1077944384 17 12472 0 1 0 0 8 4 20 0 20 0 6746136 11175264256 44022 33554432000 4194304 4196468 140726177358832 140681320102288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19934] ppid=19805 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19934/stat : 19934 (java) S 19805 19808 19746 0 -1 1077944384 14 12472 0 1 0 0 8 4 20 0 20 0 6746136 11175264256 44022 33554432000 4194304 4196468 140726177358832 140680972917008 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19936] ppid=19805 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19936/stat : 19936 (java) S 19805 19808 19746 0 -1 1077944384 1655 12472 0 1 1 0 8 4 20 0 20 0 6746138 11175264256 44022 33554432000 4194304 4196468 140726177358832 140680578980720 140681373809282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19938] ppid=19805 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19938/stat : 19938 (java) R 19805 19808 19746 0 -1 4202560 56 12472 0 1 0 0 8 4 20 0 20 0 6746138 11175264256 44022 33554432000 4194304 4196468 140726177358832 140680577925480 140680999617345 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19940] ppid=19805 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19940/stat : 19940 (java) S 19805 19808 19746 0 -1 1077944384 43 12472 0 1 0 0 8 4 20 0 20 0 6746139 11175264256 44022 33554432000 4194304 4196468 140726177358832 140680576873824 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19941] ppid=19805 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19941/stat : 19941 (java) S 19805 19808 19746 0 -1 1077944384 1 12472 0 1 0 0 8 4 20 0 20 0 6746142 11175264256 44022 33554432000 4194304 4196468 140726177358832 140680575822160 140681373816731 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19942] ppid=19805 vsize=10913344 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19942/stat : 19942 (java) S 19805 19808 19746 0 -1 1077944384 833 12472 0 1 11 0 8 4 20 0 20 0 6746142 11175264256 44022 33554432000 4194304 4196468 140726177358832 140680574769520 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19943] ppid=19805 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19943/stat : 19943 (java) S 19805 19808 19746 0 -1 1077944384 1062 12472 0 1 13 0 8 4 20 0 20 0 6746142 11175264256 44022 33554432000 4194304 4196468 140726177358832 140680573716720 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19944] ppid=19805 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19944/stat : 19944 (java) S 19805 19808 19746 0 -1 1077944384 630 12472 0 1 12 0 8 4 20 0 20 0 6746142 11175264256 44022 33554432000 4194304 4196468 140726177358832 140680572663920 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19945] ppid=19805 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19945/stat : 19945 (java) R 19805 19808 19746 0 -1 4202560 1318 12472 0 1 25 0 8 4 20 0 20 0 6746142 11175264256 44022 33554432000 4194304 4196468 140726177358832 140680571609080 140681352717022 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19946] ppid=19805 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19946/stat : 19946 (java) S 19805 19808 19746 0 -1 1077944384 3 12472 0 1 0 0 8 4 20 0 20 0 6746142 11175264256 44022 33554432000 4194304 4196468 140726177358832 140680570559584 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19947] ppid=19805 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19947/stat : 19947 (java) S 19805 19808 19746 0 -1 1077944384 7 12472 0 1 0 0 8 4 20 0 20 0 6746143 11175264256 44022 33554432000 4194304 4196468 140726177358832 140680569506864 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10913344

[startup+3.10102 s]
/proc/loadavg: 1.61 1.92 2.05 5/284 19954
/proc/meminfo: memFree=31461872/32770624 swapFree=5920/132704
[pid=19808] ppid=19805 vsize=10923772 CPUtime=6.32 cores=0,2,4,6,8,10,12,14
/proc/19808/stat : 19808 (java) S 19805 19808 19746 0 -1 1077944320 38985 12472 2 1 599 21 8 4 20 0 20 0 6746120 11185942528 52578 33554432000 4194304 4196468 140726177358832 140726177341376 140681373798135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 1 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
/proc/19808/statm: 2730943 52578 3475 1 0 2718498 0
[pid=19808/tid=19918] ppid=19805 vsize=10923772 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19918/stat : 19918 (java) R 19805 19808 19746 0 -1 4202560 24248 12472 2 1 275 8 8 4 20 0 20 0 6746135 11185942528 52578 33554432000 4194304 4196468 140726177358832 140681378027368 140681002895603 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19927] ppid=19805 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19927/stat : 19927 (java) S 19805 19808 19746 0 -1 1077944384 43 12472 0 1 1 0 8 4 20 0 20 0 6746136 11185942528 52578 33554432000 4194304 4196468 140726177358832 140681326419088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19928] ppid=19805 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19928/stat : 19928 (java) S 19805 19808 19746 0 -1 1077944384 28 12472 0 1 1 0 8 4 20 0 20 0 6746136 11185942528 52578 33554432000 4194304 4196468 140726177358832 140681325366288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19929] ppid=19805 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19929/stat : 19929 (java) S 19805 19808 19746 0 -1 1077944384 60 12472 0 1 0 0 8 4 20 0 20 0 6746136 11185942528 52578 33554432000 4194304 4196468 140726177358832 140681324313488 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19930] ppid=19805 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19930/stat : 19930 (java) S 19805 19808 19746 0 -1 1077944384 15 12472 0 1 1 0 8 4 20 0 20 0 6746136 11185942528 52578 33554432000 4194304 4196468 140726177358832 140681323260688 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19931] ppid=19805 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19931/stat : 19931 (java) S 19805 19808 19746 0 -1 1077944384 30 12472 0 1 1 0 8 4 20 0 20 0 6746136 11185942528 52578 33554432000 4194304 4196468 140726177358832 140681322207888 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19932] ppid=19805 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19932/stat : 19932 (java) S 19805 19808 19746 0 -1 1077944384 131 12472 0 1 1 0 8 4 20 0 20 0 6746136 11185942528 52578 33554432000 4194304 4196468 140726177358832 140681321155088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19933] ppid=19805 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19933/stat : 19933 (java) S 19805 19808 19746 0 -1 1077944384 17 12472 0 1 0 0 8 4 20 0 20 0 6746136 11185942528 52578 33554432000 4194304 4196468 140726177358832 140681320102288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19934] ppid=19805 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19934/stat : 19934 (java) S 19805 19808 19746 0 -1 1077944384 14 12472 0 1 0 0 8 4 20 0 20 0 6746136 11185942528 52578 33554432000 4194304 4196468 140726177358832 140680972917008 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19936] ppid=19805 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19936/stat : 19936 (java) S 19805 19808 19746 0 -1 1077944384 1677 12472 0 1 1 0 8 4 20 0 20 0 6746138 11185942528 52578 33554432000 4194304 4196468 140726177358832 140680578980720 140681373809282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19938] ppid=19805 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19938/stat : 19938 (java) S 19805 19808 19746 0 -1 1077944384 56 12472 0 1 0 0 8 4 20 0 20 0 6746138 11185942528 52578 33554432000 4194304 4196468 140726177358832 140680577926752 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19940] ppid=19805 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19940/stat : 19940 (java) S 19805 19808 19746 0 -1 1077944384 43 12472 0 1 1 0 8 4 20 0 20 0 6746139 11185942528 52578 33554432000 4194304 4196468 140726177358832 140680576873840 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19941] ppid=19805 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19941/stat : 19941 (java) S 19805 19808 19746 0 -1 1077944384 1 12472 0 1 0 0 8 4 20 0 20 0 6746142 11185942528 52578 33554432000 4194304 4196468 140726177358832 140680575822160 140681373816731 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19942] ppid=19805 vsize=10923772 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19942/stat : 19942 (java) S 19805 19808 19746 0 -1 1077944384 1596 12472 0 1 57 1 8 4 20 0 20 0 6746142 11185942528 52578 33554432000 4194304 4196468 140726177358832 140680574769520 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19943] ppid=19805 vsize=10923772 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19943/stat : 19943 (java) S 19805 19808 19746 0 -1 1077944384 3227 12472 0 1 66 1 8 4 20 0 20 0 6746142 11185942528 52578 33554432000 4194304 4196468 140726177358832 140680573716720 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19944] ppid=19805 vsize=10923772 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19944/stat : 19944 (java) R 19805 19808 19746 0 -1 4202560 1514 12472 0 1 71 0 8 4 20 0 20 0 6746142 11185942528 52578 33554432000 4194304 4196468 140726177358832 140680572650352 140681358678394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19945] ppid=19805 vsize=10923772 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19945/stat : 19945 (java) R 19805 19808 19746 0 -1 4202560 4140 12472 0 1 115 1 8 4 20 0 20 0 6746142 11185942528 52578 33554432000 4194304 4196468 140726177358832 140680571607120 140681352287904 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19946] ppid=19805 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19946/stat : 19946 (java) S 19805 19808 19746 0 -1 1077944384 3 12472 0 1 0 0 8 4 20 0 20 0 6746142 11185942528 52578 33554432000 4194304 4196468 140726177358832 140680570559584 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19947] ppid=19805 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19947/stat : 19947 (java) S 19805 19808 19746 0 -1 1077944384 8 12472 0 1 0 0 8 4 20 0 20 0 6746143 11185942528 52578 33554432000 4194304 4196468 140726177358832 140680569506864 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 10923772

[startup+6.3011 s]
/proc/loadavg: 1.80 1.96 2.06 8/284 19954
/proc/meminfo: memFree=31090108/32770624 swapFree=5920/132804
[pid=19808] ppid=19805 vsize=10997500 CPUtime=19.43 cores=0,2,4,6,8,10,12,14
/proc/19808/stat : 19808 (java) S 19805 19808 19746 0 -1 1077944320 90998 12472 2 1 1897 34 8 4 20 0 20 0 6746120 11261440000 105890 33554432000 4194304 4196468 140726177358832 140726177341376 140681373798135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 1 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
/proc/19808/statm: 2749375 105890 3507 1 0 2736930 0
[pid=19808/tid=19918] ppid=19805 vsize=10997500 CPUtime=5.7 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19918/stat : 19918 (java) R 19805 19808 19746 0 -1 4202560 43357 12472 2 1 546 12 8 4 20 0 20 0 6746135 11261440000 105890 33554432000 4194304 4196468 140726177358832 140681378032984 140681019640947 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19927] ppid=19805 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19927/stat : 19927 (java) S 19805 19808 19746 0 -1 1077944384 72 12472 0 1 28 1 8 4 20 0 20 0 6746136 11261440000 105890 33554432000 4194304 4196468 140726177358832 140681326419088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19928] ppid=19805 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19928/stat : 19928 (java) S 19805 19808 19746 0 -1 1077944384 81 12472 0 1 28 1 8 4 20 0 20 0 6746136 11261440000 105890 33554432000 4194304 4196468 140726177358832 140681325366288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19929] ppid=19805 vsize=10997500 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19929/stat : 19929 (java) S 19805 19808 19746 0 -1 1077944384 108 12472 0 1 29 1 8 4 20 0 20 0 6746136 11261440000 105890 33554432000 4194304 4196468 140726177358832 140681324313488 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19930] ppid=19805 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19930/stat : 19930 (java) S 19805 19808 19746 0 -1 1077944384 54 12472 0 1 28 1 8 4 20 0 20 0 6746136 11261440000 105890 33554432000 4194304 4196468 140726177358832 140681323260688 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19931] ppid=19805 vsize=10997500 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19931/stat : 19931 (java) S 19805 19808 19746 0 -1 1077944384 79 12472 0 1 25 1 8 4 20 0 20 0 6746136 11261440000 105890 33554432000 4194304 4196468 140726177358832 140681322207888 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19932] ppid=19805 vsize=10997500 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19932/stat : 19932 (java) S 19805 19808 19746 0 -1 1077944384 210 12472 0 1 24 1 8 4 20 0 20 0 6746136 11261440000 105890 33554432000 4194304 4196468 140726177358832 140681321155088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19933] ppid=19805 vsize=10997500 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19933/stat : 19933 (java) S 19805 19808 19746 0 -1 1077944384 62 12472 0 1 21 0 8 4 20 0 20 0 6746136 11261440000 105890 33554432000 4194304 4196468 140726177358832 140681320102288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19934] ppid=19805 vsize=10997500 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19934/stat : 19934 (java) S 19805 19808 19746 0 -1 1077944384 272 12472 0 1 21 1 8 4 20 0 20 0 6746136 11261440000 105890 33554432000 4194304 4196468 140726177358832 140680972917008 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19936] ppid=19805 vsize=10997500 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19936/stat : 19936 (java) S 19805 19808 19746 0 -1 1077944384 9301 12472 0 1 14 0 8 4 20 0 20 0 6746138 11261440000 105890 33554432000 4194304 4196468 140726177358832 140680578980720 140681373809282 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19938] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19938/stat : 19938 (java) S 19805 19808 19746 0 -1 1077944384 59 12472 0 1 0 0 8 4 20 0 20 0 6746138 11261440000 105890 33554432000 4194304 4196468 140726177358832 140680577926752 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19940] ppid=19805 vsize=10997500 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19940/stat : 19940 (java) S 19805 19808 19746 0 -1 1077944384 46 12472 0 1 1 0 8 4 20 0 20 0 6746139 11261440000 105890 33554432000 4194304 4196468 140726177358832 140680576873856 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19941] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19941/stat : 19941 (java) S 19805 19808 19746 0 -1 1077944384 1 12472 0 1 0 0 8 4 20 0 20 0 6746142 11261440000 105890 33554432000 4194304 4196468 140726177358832 140680575822160 140681373816731 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19942] ppid=19805 vsize=10997500 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19942/stat : 19942 (java) R 19805 19808 19746 0 -1 4202560 5652 12472 0 1 262 2 8 4 20 0 20 0 6746142 11261440000 105890 33554432000 4194304 4196468 140726177358832 140680574756064 140681358717437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19943] ppid=19805 vsize=10997500 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19943/stat : 19943 (java) R 19805 19808 19746 0 -1 4202560 8381 12472 0 1 276 2 8 4 20 0 20 0 6746142 11261440000 105890 33554432000 4194304 4196468 140726177358832 140680573703456 140681373810070 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19944] ppid=19805 vsize=10997500 CPUtime=3.57 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19944/stat : 19944 (java) R 19805 19808 19746 0 -1 4202560 12054 12472 0 1 343 2 8 4 20 0 20 0 6746142 11261440000 105890 33554432000 4194304 4196468 140726177358832 140680572655248 140681373819482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19945] ppid=19805 vsize=10997500 CPUtime=2.57 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19945/stat : 19945 (java) S 19805 19808 19746 0 -1 1077944384 9058 12472 0 1 241 4 8 4 20 0 20 0 6746142 11261440000 105890 33554432000 4194304 4196468 140726177358832 140680571611120 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19946] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14

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

[pid=19808/tid=19943] ppid=19805 vsize=10997500 CPUtime=6.83 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19943/stat : 19943 (java) S 19805 19808 19746 0 -1 1077944384 20304 12472 0 1 665 6 8 4 20 0 20 0 6746142 11261440000 165842 33554432000 4194304 4196468 140726177358832 140680573716720 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19944] ppid=19805 vsize=10997500 CPUtime=7.63 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19944/stat : 19944 (java) S 19805 19808 19746 0 -1 1077944384 23881 12472 0 1 745 6 8 4 20 0 20 0 6746142 11261440000 165842 33554432000 4194304 4196468 140726177358832 140680572663920 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19945] ppid=19805 vsize=10997500 CPUtime=4.32 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19945/stat : 19945 (java) S 19805 19808 19746 0 -1 1077944384 38859 12472 0 1 412 8 8 4 20 0 20 0 6746142 11261440000 165842 33554432000 4194304 4196468 140726177358832 140680571611120 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19946] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19946/stat : 19946 (java) S 19805 19808 19746 0 -1 1077944384 3 12472 0 1 0 0 8 4 20 0 20 0 6746142 11261440000 165842 33554432000 4194304 4196468 140726177358832 140680570559584 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19947] ppid=19805 vsize=10997500 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19947/stat : 19947 (java) S 19805 19808 19746 0 -1 1077944384 774 12472 0 1 56 46 8 4 20 0 20 0 6746143 11261440000 165842 33554432000 4194304 4196468 140726177358832 140680569506864 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
Current children cumulated CPU time (s) 2231.22
Current children cumulated vsize (KiB) 10997500

[startup+2202.31 s]
/proc/loadavg: 2.04 1.79 1.76 3/281 20016
/proc/meminfo: memFree=27882580/32770624 swapFree=5920/134896
[pid=19808] ppid=19805 vsize=10997500 CPUtime=2293.15 cores=0,2,4,6,8,10,12,14
/proc/19808/stat : 19808 (java) S 19805 19808 19746 0 -1 1077944320 350687 12472 2 1 228590 713 8 4 20 0 20 0 6746120 11261440000 175517 33554432000 4194304 4196468 140726177358832 140726177341376 140681373798135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 1 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
/proc/19808/statm: 2749375 175517 3526 1 0 2736930 0
[pid=19808/tid=19918] ppid=19805 vsize=10997500 CPUtime=2182.88 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19918/stat : 19918 (java) R 19805 19808 19746 0 -1 4202560 164491 12472 2 1 218219 57 8 4 20 0 20 0 6746135 11261440000 175517 33554432000 4194304 4196468 140726177358832 140681378031552 140681015886055 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19927] ppid=19805 vsize=10997500 CPUtime=9.89 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19927/stat : 19927 (java) S 19805 19808 19746 0 -1 1077944384 7529 12472 0 1 902 75 8 4 20 0 20 0 6746136 11261440000 175517 33554432000 4194304 4196468 140726177358832 140681326419088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19928] ppid=19805 vsize=10997500 CPUtime=9.73 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19928/stat : 19928 (java) S 19805 19808 19746 0 -1 1077944384 5690 12472 0 1 890 71 8 4 20 0 20 0 6746136 11261440000 175517 33554432000 4194304 4196468 140726177358832 140681325366288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19929] ppid=19805 vsize=10997500 CPUtime=9.87 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19929/stat : 19929 (java) S 19805 19808 19746 0 -1 1077944384 5863 12472 0 1 905 70 8 4 20 0 20 0 6746136 11261440000 175517 33554432000 4194304 4196468 140726177358832 140681324313488 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19930] ppid=19805 vsize=10997500 CPUtime=9.92 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19930/stat : 19930 (java) S 19805 19808 19746 0 -1 1077944384 7224 12472 0 1 903 77 8 4 20 0 20 0 6746136 11261440000 175517 33554432000 4194304 4196468 140726177358832 140681323260688 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19931] ppid=19805 vsize=10997500 CPUtime=9.82 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19931/stat : 19931 (java) S 19805 19808 19746 0 -1 1077944384 7206 12472 0 1 899 71 8 4 20 0 20 0 6746136 11261440000 175517 33554432000 4194304 4196468 140726177358832 140681322207888 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19932] ppid=19805 vsize=10997500 CPUtime=9.93 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19932/stat : 19932 (java) S 19805 19808 19746 0 -1 1077944384 6790 12472 0 1 909 72 8 4 20 0 20 0 6746136 11261440000 175517 33554432000 4194304 4196468 140726177358832 140681321155088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19933] ppid=19805 vsize=10997500 CPUtime=9.88 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19933/stat : 19933 (java) S 19805 19808 19746 0 -1 1077944384 7330 12472 0 1 907 69 8 4 20 0 20 0 6746136 11261440000 175517 33554432000 4194304 4196468 140726177358832 140681320102288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19934] ppid=19805 vsize=10997500 CPUtime=9.89 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19934/stat : 19934 (java) S 19805 19808 19746 0 -1 1077944384 8265 12472 0 1 902 75 8 4 20 0 20 0 6746136 11261440000 175517 33554432000 4194304 4196468 140726177358832 140680972917008 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19936] ppid=19805 vsize=10997500 CPUtime=6.17 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19936/stat : 19936 (java) S 19805 19808 19746 0 -1 1077944384 19726 12472 0 1 550 55 8 4 20 0 20 0 6746138 11261440000 175517 33554432000 4194304 4196468 140726177358832 140680578980720 140681373809282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19938] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19938/stat : 19938 (java) S 19805 19808 19746 0 -1 1077944384 98 12472 0 1 0 0 8 4 20 0 20 0 6746138 11261440000 175517 33554432000 4194304 4196468 140726177358832 140680577926752 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19940] ppid=19805 vsize=10997500 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19940/stat : 19940 (java) S 19805 19808 19746 0 -1 1077944384 46 12472 0 1 1 0 8 4 20 0 20 0 6746139 11261440000 175517 33554432000 4194304 4196468 140726177358832 140680576873856 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19941] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19941/stat : 19941 (java) S 19805 19808 19746 0 -1 1077944384 1 12472 0 1 0 0 8 4 20 0 20 0 6746142 11261440000 175517 33554432000 4194304 4196468 140726177358832 140680575822160 140681373816731 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19942] ppid=19805 vsize=10997500 CPUtime=6.71 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19942/stat : 19942 (java) S 19805 19808 19746 0 -1 1077944384 24451 12472 0 1 654 5 8 4 20 0 20 0 6746142 11261440000 175517 33554432000 4194304 4196468 140726177358832 140680574769520 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19943] ppid=19805 vsize=10997500 CPUtime=6.83 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19943/stat : 19943 (java) S 19805 19808 19746 0 -1 1077944384 20306 12472 0 1 665 6 8 4 20 0 20 0 6746142 11261440000 175517 33554432000 4194304 4196468 140726177358832 140680573716720 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19944] ppid=19805 vsize=10997500 CPUtime=7.63 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19944/stat : 19944 (java) S 19805 19808 19746 0 -1 1077944384 23883 12472 0 1 745 6 8 4 20 0 20 0 6746142 11261440000 175517 33554432000 4194304 4196468 140726177358832 140680572663920 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19945] ppid=19805 vsize=10997500 CPUtime=4.32 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19945/stat : 19945 (java) S 19805 19808 19746 0 -1 1077944384 38861 12472 0 1 412 8 8 4 20 0 20 0 6746142 11261440000 175517 33554432000 4194304 4196468 140726177358832 140680571611120 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19946] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19946/stat : 19946 (java) S 19805 19808 19746 0 -1 1077944384 3 12472 0 1 0 0 8 4 20 0 20 0 6746142 11261440000 175517 33554432000 4194304 4196468 140726177358832 140680570559584 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19947] ppid=19805 vsize=10997500 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19947/stat : 19947 (java) S 19805 19808 19746 0 -1 1077944384 790 12472 0 1 58 47 8 4 20 0 20 0 6746143 11261440000 175517 33554432000 4194304 4196468 140726177358832 140680569506864 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
Current children cumulated CPU time (s) 2293.15
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 1.75 1.76 1.75 3/281 20024
/proc/meminfo: memFree=27884124/32770624 swapFree=5920/134944
[pid=19808] ppid=19805 vsize=10997500 CPUtime=2354.89 cores=0,2,4,6,8,10,12,14
/proc/19808/stat : 19808 (java) S 19805 19808 19746 0 -1 1077944320 356339 12472 2 1 234755 722 8 4 20 0 20 0 6746120 11261440000 175081 33554432000 4194304 4196468 140726177358832 140726177341376 140681373798135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 1 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
/proc/19808/statm: 2749375 175081 3526 1 0 2736930 0
[pid=19808/tid=19918] ppid=19805 vsize=10997500 CPUtime=2242.37 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19918/stat : 19918 (java) R 19805 19808 19746 0 -1 4202560 168847 12472 2 1 224167 58 8 4 20 0 20 0 6746135 11261440000 175081 33554432000 4194304 4196468 140726177358832 140681378031552 140681015419819 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19927] ppid=19805 vsize=10997500 CPUtime=10.15 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19927/stat : 19927 (java) S 19805 19808 19746 0 -1 1077944384 7662 12472 0 1 927 76 8 4 20 0 20 0 6746136 11261440000 175081 33554432000 4194304 4196468 140726177358832 140681326419088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19928] ppid=19805 vsize=10997500 CPUtime=10 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19928/stat : 19928 (java) S 19805 19808 19746 0 -1 1077944384 5824 12472 0 1 916 72 8 4 20 0 20 0 6746136 11261440000 175081 33554432000 4194304 4196468 140726177358832 140681325366288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19929] ppid=19805 vsize=10997500 CPUtime=10.11 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19929/stat : 19929 (java) S 19805 19808 19746 0 -1 1077944384 5956 12472 0 1 928 71 8 4 20 0 20 0 6746136 11261440000 175081 33554432000 4194304 4196468 140726177358832 140681324313488 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19930] ppid=19805 vsize=10997500 CPUtime=10.17 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19930/stat : 19930 (java) S 19805 19808 19746 0 -1 1077944384 7460 12472 0 1 927 78 8 4 20 0 20 0 6746136 11261440000 175081 33554432000 4194304 4196468 140726177358832 140681323260688 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19931] ppid=19805 vsize=10997500 CPUtime=10.1 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19931/stat : 19931 (java) S 19805 19808 19746 0 -1 1077944384 7277 12472 0 1 926 72 8 4 20 0 20 0 6746136 11261440000 175081 33554432000 4194304 4196468 140726177358832 140681322207888 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19932] ppid=19805 vsize=10997500 CPUtime=10.18 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19932/stat : 19932 (java) S 19805 19808 19746 0 -1 1077944384 6977 12472 0 1 933 73 8 4 20 0 20 0 6746136 11261440000 175081 33554432000 4194304 4196468 140726177358832 140681321155088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19933] ppid=19805 vsize=10997500 CPUtime=10.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19933/stat : 19933 (java) S 19805 19808 19746 0 -1 1077944384 7483 12472 0 1 931 70 8 4 20 0 20 0 6746136 11261440000 175081 33554432000 4194304 4196468 140726177358832 140681320102288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19934] ppid=19805 vsize=10997500 CPUtime=10.15 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19934/stat : 19934 (java) S 19805 19808 19746 0 -1 1077944384 8302 12472 0 1 927 76 8 4 20 0 20 0 6746136 11261440000 175081 33554432000 4194304 4196468 140726177358832 140680972917008 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19936] ppid=19805 vsize=10997500 CPUtime=6.34 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19936/stat : 19936 (java) S 19805 19808 19746 0 -1 1077944384 19953 12472 0 1 566 56 8 4 20 0 20 0 6746138 11261440000 175081 33554432000 4194304 4196468 140726177358832 140680578980720 140681373809282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19938] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19938/stat : 19938 (java) S 19805 19808 19746 0 -1 1077944384 98 12472 0 1 0 0 8 4 20 0 20 0 6746138 11261440000 175081 33554432000 4194304 4196468 140726177358832 140680577926752 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19940] ppid=19805 vsize=10997500 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19940/stat : 19940 (java) S 19805 19808 19746 0 -1 1077944384 46 12472 0 1 1 0 8 4 20 0 20 0 6746139 11261440000 175081 33554432000 4194304 4196468 140726177358832 140680576873856 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19941] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19941/stat : 19941 (java) S 19805 19808 19746 0 -1 1077944384 1 12472 0 1 0 0 8 4 20 0 20 0 6746142 11261440000 175081 33554432000 4194304 4196468 140726177358832 140680575822160 140681373816731 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19942] ppid=19805 vsize=10997500 CPUtime=6.71 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19942/stat : 19942 (java) S 19805 19808 19746 0 -1 1077944384 24453 12472 0 1 654 5 8 4 20 0 20 0 6746142 11261440000 175081 33554432000 4194304 4196468 140726177358832 140680574769520 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19943] ppid=19805 vsize=10997500 CPUtime=6.84 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19943/stat : 19943 (java) S 19805 19808 19746 0 -1 1077944384 20308 12472 0 1 666 6 8 4 20 0 20 0 6746142 11261440000 175081 33554432000 4194304 4196468 140726177358832 140680573716720 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19944] ppid=19805 vsize=10997500 CPUtime=7.63 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19944/stat : 19944 (java) S 19805 19808 19746 0 -1 1077944384 23885 12472 0 1 745 6 8 4 20 0 20 0 6746142 11261440000 175081 33554432000 4194304 4196468 140726177358832 140680572663920 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19945] ppid=19805 vsize=10997500 CPUtime=4.32 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19945/stat : 19945 (java) S 19805 19808 19746 0 -1 1077944384 38863 12472 0 1 412 8 8 4 20 0 20 0 6746142 11261440000 175081 33554432000 4194304 4196468 140726177358832 140680571611120 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19946] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19946/stat : 19946 (java) S 19805 19808 19746 0 -1 1077944384 3 12472 0 1 0 0 8 4 20 0 20 0 6746142 11261440000 175081 33554432000 4194304 4196468 140726177358832 140680570559584 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19947] ppid=19805 vsize=10997500 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19947/stat : 19947 (java) S 19805 19808 19746 0 -1 1077944384 807 12472 0 1 59 49 8 4 20 0 20 0 6746143 11261440000 175081 33554432000 4194304 4196468 140726177358832 140680569506864 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
Current children cumulated CPU time (s) 2354.89
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2306 s]
/proc/loadavg: 1.74 1.76 1.75 3/281 20025
/proc/meminfo: memFree=27890196/32770624 swapFree=5920/134980
[pid=19808] ppid=19805 vsize=10997500 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/19808/stat : 19808 (java) S 19805 19808 19746 0 -1 1077944320 364347 12472 2 1 239264 730 8 4 20 0 20 0 6746120 11261440000 173659 33554432000 4194304 4196468 140726177358832 140726177341376 140681373798135 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 1 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
/proc/19808/statm: 2749375 173659 3526 1 0 2736930 0
[pid=19808/tid=19918] ppid=19805 vsize=10997500 CPUtime=2285.68 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19918/stat : 19918 (java) R 19805 19808 19746 0 -1 4202560 175080 12472 2 1 228498 58 8 4 20 0 20 0 6746135 11261440000 173659 33554432000 4194304 4196468 140726177358832 140681378031904 140681020547727 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19927] ppid=19805 vsize=10997500 CPUtime=10.37 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19927/stat : 19927 (java) S 19805 19808 19746 0 -1 1077944384 7751 12472 0 1 948 77 8 4 20 0 20 0 6746136 11261440000 173659 33554432000 4194304 4196468 140726177358832 140681326419088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19928] ppid=19805 vsize=10997500 CPUtime=10.2 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19928/stat : 19928 (java) S 19805 19808 19746 0 -1 1077944384 6286 12472 0 1 935 73 8 4 20 0 20 0 6746136 11261440000 173659 33554432000 4194304 4196468 140726177358832 140681325366288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19929] ppid=19805 vsize=10997500 CPUtime=10.31 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19929/stat : 19929 (java) S 19805 19808 19746 0 -1 1077944384 6014 12472 0 1 947 72 8 4 20 0 20 0 6746136 11261440000 173659 33554432000 4194304 4196468 140726177358832 140681324313488 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19930] ppid=19805 vsize=10997500 CPUtime=10.39 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19930/stat : 19930 (java) S 19805 19808 19746 0 -1 1077944384 7596 12472 0 1 948 79 8 4 20 0 20 0 6746136 11261440000 173659 33554432000 4194304 4196468 140726177358832 140681323260688 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19931] ppid=19805 vsize=10997500 CPUtime=10.32 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19931/stat : 19931 (java) S 19805 19808 19746 0 -1 1077944384 7377 12472 0 1 947 73 8 4 20 0 20 0 6746136 11261440000 173659 33554432000 4194304 4196468 140726177358832 140681322207888 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19932] ppid=19805 vsize=10997500 CPUtime=10.39 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19932/stat : 19932 (java) S 19805 19808 19746 0 -1 1077944384 7177 12472 0 1 954 73 8 4 20 0 20 0 6746136 11261440000 173659 33554432000 4194304 4196468 140726177358832 140681321155088 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19933] ppid=19805 vsize=10997500 CPUtime=10.37 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19933/stat : 19933 (java) S 19805 19808 19746 0 -1 1077944384 7828 12472 0 1 954 71 8 4 20 0 20 0 6746136 11261440000 173659 33554432000 4194304 4196468 140726177358832 140681320102288 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19934] ppid=19805 vsize=10997500 CPUtime=10.38 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19934/stat : 19934 (java) S 19805 19808 19746 0 -1 1077944384 8451 12472 0 1 950 76 8 4 20 0 20 0 6746136 11261440000 173659 33554432000 4194304 4196468 140726177358832 140680972917008 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19936] ppid=19805 vsize=10997500 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19936/stat : 19936 (java) S 19805 19808 19746 0 -1 1077944384 20165 12472 0 1 575 56 8 4 20 0 20 0 6746138 11261440000 173659 33554432000 4194304 4196468 140726177358832 140680578980720 140681373809282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19938] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19938/stat : 19938 (java) S 19805 19808 19746 0 -1 1077944384 98 12472 0 1 0 0 8 4 20 0 20 0 6746138 11261440000 173659 33554432000 4194304 4196468 140726177358832 140680577926752 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19940] ppid=19805 vsize=10997500 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19940/stat : 19940 (java) S 19805 19808 19746 0 -1 1077944384 46 12472 0 1 1 0 8 4 20 0 20 0 6746139 11261440000 173659 33554432000 4194304 4196468 140726177358832 140680576873856 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19941] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19941/stat : 19941 (java) S 19805 19808 19746 0 -1 1077944384 1 12472 0 1 0 0 8 4 20 0 20 0 6746142 11261440000 173659 33554432000 4194304 4196468 140726177358832 140680575822160 140681373816731 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19942] ppid=19805 vsize=10997500 CPUtime=6.71 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19942/stat : 19942 (java) S 19805 19808 19746 0 -1 1077944384 24455 12472 0 1 654 5 8 4 20 0 20 0 6746142 11261440000 173659 33554432000 4194304 4196468 140726177358832 140680574769520 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19943] ppid=19805 vsize=10997500 CPUtime=6.84 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19943/stat : 19943 (java) S 19805 19808 19746 0 -1 1077944384 20310 12472 0 1 666 6 8 4 20 0 20 0 6746142 11261440000 173659 33554432000 4194304 4196468 140726177358832 140680573716720 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19944] ppid=19805 vsize=10997500 CPUtime=7.63 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19944/stat : 19944 (java) S 19805 19808 19746 0 -1 1077944384 23887 12472 0 1 745 6 8 4 20 0 20 0 6746142 11261440000 173659 33554432000 4194304 4196468 140726177358832 140680572663920 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19945] ppid=19805 vsize=10997500 CPUtime=4.32 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19945/stat : 19945 (java) S 19805 19808 19746 0 -1 1077944384 38865 12472 0 1 412 8 8 4 20 0 20 0 6746142 11261440000 173659 33554432000 4194304 4196468 140726177358832 140680571611120 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19946] ppid=19805 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19946/stat : 19946 (java) S 19805 19808 19746 0 -1 1077944384 3 12472 0 1 0 0 8 4 20 0 20 0 6746142 11261440000 173659 33554432000 4194304 4196468 140726177358832 140680570559584 140681373808341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
[pid=19808/tid=19947] ppid=19805 vsize=10997500 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/19808/task/19947/stat : 19947 (java) S 19805 19808 19746 0 -1 1077944384 823 12472 0 1 60 50 8 4 20 0 20 0 6746143 11261440000 173659 33554432000 4194304 4196468 140726177358832 140680569506864 140681373809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28475392 140726177364673 140726177367447 140726177367447 140726177370063 0
Current children cumulated CPU time (s) 2400.06
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 19808 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2306.03
CPU time (s): 2400.11
CPU user time (s): 2392.75
CPU system time (s): 7.36175
CPU usage (%): 104.08
Max. virtual memory (cumulated for all children) (KiB): 11000412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.75
system time used= 7.36175
maximum resident set size= 1354452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378434
page faults= 3
swaps= 0
block input operations= 9024
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 266583
involuntary context switches= 173545

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7111 second user time and 19.7912 second system time

The end

Launcher Data 

Begin job on node106 at 2017-07-22 11:12:44
IDJOB=4246385
IDBENCH=124459
IDSOLVER=2630
FILE ID=node106/4246385-1500714764
RUNJOBID= node106-1500714764-19777
PBS_JOBID= 20623356
Free space on /tmp= 61960 MiB

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

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

MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab
RANDOM SEED=1585513460

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31811232 kB
MemAvailable:   31991368 kB
Buffers:          144656 kB
Cached:           307712 kB
SwapCached:            0 kB
Active:           321476 kB
Inactive:         184248 kB
Active(anon):      10500 kB
Inactive(anon):    54144 kB
Active(file):     310976 kB
Inactive(file):   130104 kB
Unevictable:        5920 kB
Mlocked:            5920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48296 kB
Writeback:             0 kB
AnonPages:         59036 kB
Mapped:            30636 kB
Shmem:              8852 kB
Slab:             143320 kB
SReclaimable:     109780 kB
SUnreclaim:        33540 kB
KernelStack:        4080 kB
PageTables:         4684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     310184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61912 MiB
End job on node106 at 2017-07-22 11:51:11