Trace number 4259840

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)882 259.21899 240.04201

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 benchmark789
Best CPU time to get the best result obtained on this benchmark251.90401
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 

3.23/2.17	c Concrete v3.4 running
12.39/5.17	o 1933
12.70/5.29	o 1927
13.00/5.39	o 1926
13.32/5.46	o 1890
13.66/5.54	o 1802
13.66/5.59	o 1769
13.94/5.64	o 1703
14.24/5.70	o 1695
14.24/5.75	o 1693
14.54/5.80	o 1692
14.54/5.84	o 1660
14.54/5.88	o 1654
14.85/5.92	o 1639
15.15/6.01	o 1632
15.15/6.04	o 1600
15.15/6.08	o 1599
15.37/6.11	o 1528
15.37/6.14	o 1505
15.37/6.17	o 1488
15.67/6.20	o 1475
15.67/6.24	o 1468
15.67/6.28	o 1454
15.95/6.31	o 1450
16.21/6.44	o 1446
16.21/6.47	o 1445
16.46/6.57	o 1440
16.46/6.59	o 1407
16.58/6.62	o 1395
16.58/6.66	o 1386
16.58/6.69	o 1375
16.69/6.71	o 1351
16.69/6.74	o 1333
16.80/6.80	o 1324
16.80/6.83	o 1318
16.80/6.86	o 1314
16.92/6.93	o 1287
16.92/7.00	o 1255
17.03/7.10	o 1241
17.17/7.13	o 1225
17.52/7.37	o 1214
17.63/7.44	o 1200
17.75/7.52	o 1198
17.99/7.75	o 1186
18.43/8.02	o 1184
18.58/8.12	o 1133
18.91/8.31	o 1125
19.02/8.47	o 1124
19.13/8.50	o 1116
19.34/8.74	o 1089
19.68/9.01	o 1080
19.78/9.12	o 1070
20.45/9.78	o 1065
20.56/9.84	o 1046
22.07/11.29	o 1000
23.50/12.56	o 999
24.02/13.03	o 986
25.35/14.21	o 983
26.53/15.35	o 982
27.38/16.18	o 977
31.90/20.32	o 974
32.00/20.46	o 960
38.26/26.35	o 952
41.22/29.13	o 950
41.22/29.15	o 946
45.44/33.18	o 938
46.30/33.93	o 916
113.36/99.47	o 902
117.17/103.16	o 901
122.23/108.03	o 900
125.03/110.78	o 890
129.29/114.86	o 882
259.16/240.00	java.util.concurrent.TimeoutException
259.16/240.00		at concrete.MAC.mac(MAC.scala:74)
259.16/240.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
259.16/240.00		at scala.util.Try$.apply(Try.scala:209)
259.16/240.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
259.16/240.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
259.16/240.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
259.16/240.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
259.16/240.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
259.16/240.00		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
259.16/240.00		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
259.16/240.00		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
259.16/240.00		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
259.16/240.00		at concrete.MAC.oneRun(MAC.scala:146)
259.16/240.00		at concrete.MAC.nextSolution(MAC.scala:166)
259.16/240.00		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
259.16/240.00		at concrete.ProblemState.map(ProblemState.scala:203)
259.16/240.00		at concrete.ProblemState.map(ProblemState.scala:188)
259.16/240.00		at concrete.MAC.nextSolution(MAC.scala:195)
259.16/240.00		at concrete.Solver.hasNext(Solver.scala:202)
259.16/240.00		at scala.collection.Iterator.toStream(Iterator.scala:1403)
259.16/240.00		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
259.16/240.00		at concrete.Solver.toStream(Solver.scala:73)
259.16/240.00		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
259.16/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
259.16/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
259.16/240.00		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
259.16/240.00		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
259.16/240.00		at scala.util.Success.$anonfun$map$1(Try.scala:251)
259.16/240.00		at scala.util.Success.map(Try.scala:209)
259.16/240.00		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
259.16/240.00		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
259.16/240.00		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
259.16/240.00		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
259.16/240.00		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
259.16/240.00		at scala.Function0.apply$mcV$sp(Function0.scala:34)
259.16/240.00		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
259.16/240.00		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
259.16/240.00		at scala.App.$anonfun$main$1$adapted(App.scala:76)
259.16/240.01		at scala.collection.immutable.List.foreach(List.scala:389)
259.16/240.01		at scala.App.main(App.scala:76)
259.16/240.01		at scala.App.main$(App.scala:74)
259.16/240.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
259.16/240.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
259.16/240.01	v <instantiation cost="882">
259.16/240.01	v       <list>
259.16/240.01	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[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]
259.16/240.01	v       </list>
259.16/240.01	v       <values>
259.16/240.01	v         0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 44 86 67 100 93 100 88 57 32 63 62 15 100 37 39 37 11 53 100 27 99 84 85 69 87 87 42 100 65 46 27 100
259.16/240.01	v       </values>
259.16/240.01	v     </instantiation>
259.16/240.01	s SATISFIABLE

Verifier Data 

OK	882

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-4259840-1501650741/watcher-4259840-1501650741 -o /tmp/evaluation-result-4259840-1501650741/solver-4259840-1501650741 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259840-1501650741.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.72 1.68 1.67 3/198 8917
/proc/meminfo: memFree=29386288/32770624 swapFree=0/247032
[pid=8917] ppid=8914 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8917/stat : 8917 (runsolver) D 8914 8917 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 6984765 24240128 106 18446744073709551615 4194304 4338465 140733827779440 140733827777080 140157131547351 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 8495104 140733827780817 140733827781191 140733827781191 140733827784650 0
/proc/8917/statm: 5918 106 53 36 0 2156 0

[startup+0.100089 s]
/proc/loadavg: 1.72 1.68 1.67 3/198 8917
/proc/meminfo: memFree=29386288/32770624 swapFree=0/247032
[pid=8917] ppid=8914 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/8917/stat : 8917 (bash) R 8914 8917 3187 0 -1 4202496 856 6180 0 0 0 0 0 1 20 0 1 0 6984765 9867264 366 18446744073709551615 4194304 5098028 140720359646064 140720359639800 139786354367488 0 0 5 65536 0 0 0 17 5 0 0 8 0 0 7196144 7232144 15335424 140720359649810 140720359649895 140720359649895 140720359653354 0
/proc/8917/statm: 2409 366 287 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200708 s]
/proc/loadavg: 1.72 1.68 1.67 3/198 8917
/proc/meminfo: memFree=29386288/32770624 swapFree=0/247032
[pid=8917] ppid=8914 vsize=356956 CPUtime=0.08 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 3187 0 -1 1077944320 2585 12701 0 0 0 0 5 3 20 0 2 0 6984765 365522944 1874 18446744073709551615 4194304 4196468 140737267878224 140737267860768 140702912356087 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
/proc/8917/statm: 89239 1874 1025 1 0 79217 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 356956

[startup+0.300263 s]
/proc/loadavg: 1.72 1.68 1.67 3/198 8917
/proc/meminfo: memFree=29386288/32770624 swapFree=0/247032
[pid=8917] ppid=8914 vsize=13973936 CPUtime=0.15 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 3187 0 -1 1077944320 6065 12701 0 0 6 1 5 3 20 0 15 0 6984765 14309310464 6782 18446744073709551615 4194304 4196468 140737267878224 140737267860768 140702912356087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
/proc/8917/statm: 3493484 6782 2702 1 0 3482973 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13973936

[startup+0.700296 s]
/proc/loadavg: 1.72 1.68 1.67 3/198 8917
/proc/meminfo: memFree=29386288/32770624 swapFree=0/247032
[pid=8917] ppid=8914 vsize=13974784 CPUtime=0.71 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 3187 0 -1 1077944320 14023 12701 0 0 59 4 5 3 20 0 15 0 6984765 14310178816 15507 18446744073709551615 4194304 4196468 140737267878224 140737267860768 140702912356087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
/proc/8917/statm: 3493696 15507 3118 1 0 3482973 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784

[startup+1.50062 s]
/proc/loadavg: 1.72 1.68 1.67 4/213 8980
/proc/meminfo: memFree=29291520/32770624 swapFree=0/247056
[pid=8917] ppid=8914 vsize=13985408 CPUtime=1.94 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 3187 0 -1 1077944320 26616 12701 0 0 177 9 5 3 20 0 15 0 6984765 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140737267860768 140702912356087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
/proc/8917/statm: 3496352 43224 3363 1 0 3485533 0
[pid=8917/tid=8967] ppid=8914 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 3187 0 -1 4202560 20465 12701 0 0 115 6 5 3 20 0 15 0 6984785 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140702916576240 140702898049590 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8968] ppid=8914 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 3187 0 -1 1077944384 33 12701 0 0 0 0 5 3 20 0 15 0 6984786 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140702869322256 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8969] ppid=8914 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 3187 0 -1 1077944384 190 12701 0 0 1 0 5 3 20 0 15 0 6984786 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140702868269712 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8970] ppid=8914 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 3187 0 -1 1077944384 24 12701 0 0 1 0 5 3 20 0 15 0 6984786 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140702867216656 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8971] ppid=8914 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 3187 0 -1 1077944384 51 12701 0 0 1 0 5 3 20 0 15 0 6984786 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140702866164112 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8972] ppid=8914 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 3187 0 -1 1077944384 643 12701 0 0 1 0 5 3 20 0 15 0 6984787 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140701828639472 140702912367234 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8973] ppid=8914 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 3187 0 -1 1077944384 56 12701 0 0 0 0 5 3 20 0 15 0 6984787 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140701827585696 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8974] ppid=8914 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 3187 0 -1 1077944384 44 12701 0 0 0 0 5 3 20 0 15 0 6984788 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140701826532592 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8975] ppid=8914 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140701825481168 140702912374683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8976] ppid=8914 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 3187 0 -1 1077944384 1009 12701 0 0 15 0 5 3 20 0 15 0 6984790 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140701824428272 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8977] ppid=8914 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) S 8914 8917 3187 0 -1 1077944384 632 12701 0 0 14 0 5 3 20 0 15 0 6984790 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140701823375728 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8978] ppid=8914 vsize=13985408 CPUtime=0.32 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 3187 0 -1 1077944384 1304 12701 0 0 24 0 5 3 20 0 15 0 6984790 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140701822322672 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8979] ppid=8914 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140701821270368 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8980] ppid=8914 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984794 14321057792 43224 18446744073709551615 4194304 4196468 140737267878224 140701820218416 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 13985408

[startup+3.10667 s]
/proc/loadavg: 1.66 1.67 1.66 4/213 8980
/proc/meminfo: memFree=29218968/32770624 swapFree=0/247056
[pid=8917] ppid=8914 vsize=13997884 CPUtime=6.18 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 3187 0 -1 1077944320 35059 12701 0 0 596 14 5 3 20 0 15 0 6984765 14333833216 56799 18446744073709551615 4194304 4196468 140737267878224 140737267860768 140702912356087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
/proc/8917/statm: 3499471 56799 3437 1 0 3488093 0
[pid=8917/tid=8967] ppid=8914 vsize=13997884 CPUtime=2.9 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 3187 0 -1 4202560 24033 12701 0 0 273 9 5 3 20 0 15 0 6984785 14333833216 56799 18446744073709551615 4194304 4196468 140737267878224 140702916585912 140702551446128 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8968] ppid=8914 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 3187 0 -1 1077944384 33 12701 0 0 0 0 5 3 20 0 15 0 6984786 14333833216 56799 18446744073709551615 4194304 4196468 140737267878224 140702869322256 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8969] ppid=8914 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 3187 0 -1 1077944384 190 12701 0 0 1 0 5 3 20 0 15 0 6984786 14333833216 56799 18446744073709551615 4194304 4196468 140737267878224 140702868269712 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8970] ppid=8914 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 3187 0 -1 1077944384 24 12701 0 0 1 0 5 3 20 0 15 0 6984786 14333833216 56799 18446744073709551615 4194304 4196468 140737267878224 140702867216656 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8971] ppid=8914 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 3187 0 -1 1077944384 51 12701 0 0 1 0 5 3 20 0 15 0 6984786 14333833216 56865 18446744073709551615 4194304 4196468 140737267878224 140702866164112 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8972] ppid=8914 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 3187 0 -1 1077944384 645 12701 0 0 1 0 5 3 20 0 15 0 6984787 14333833216 56865 18446744073709551615 4194304 4196468 140737267878224 140701828639472 140702912367234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8973] ppid=8914 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 3187 0 -1 1077944384 56 12701 0 0 0 0 5 3 20 0 15 0 6984787 14333833216 56865 18446744073709551615 4194304 4196468 140737267878224 140701827585696 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8974] ppid=8914 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 3187 0 -1 1077944384 44 12701 0 0 0 0 5 3 20 0 15 0 6984788 14333833216 56865 18446744073709551615 4194304 4196468 140737267878224 140701826532592 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8975] ppid=8914 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14333833216 56865 18446744073709551615 4194304 4196468 140737267878224 140701825481168 140702912374683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8976] ppid=8914 vsize=13997884 CPUtime=0.99 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) R 8914 8917 3187 0 -1 4202560 1607 12701 0 0 90 1 5 3 20 0 15 0 6984790 14333833216 56865 18446744073709551615 4194304 4196468 140737267878224 140701824428272 140702890800832 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8977] ppid=8914 vsize=13997884 CPUtime=1.21 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) R 8914 8917 3187 0 -1 4202560 2555 12701 0 0 113 0 5 3 20 0 15 0 6984790 14333833216 56865 18446744073709551615 4194304 4196468 140737267878224 140701823375728 140702889950838 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8978] ppid=8914 vsize=13997884 CPUtime=1.21 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) R 8914 8917 3187 0 -1 4202560 3675 12701 0 0 112 1 5 3 20 0 15 0 6984790 14333833216 56865 18446744073709551615 4194304 4196468 140737267878224 140701822318808 140702905459569 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8979] ppid=8914 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14333833216 56865 18446744073709551615 4194304 4196468 140737267878224 140701821270368 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8980] ppid=8914 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984794 14333833216 56865 18446744073709551615 4194304 4196468 140737267878224 140701820218416 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 13997884

[startup+6.30066 s]
/proc/loadavg: 1.66 1.67 1.66 5/213 8980
/proc/meminfo: memFree=29002216/32770624 swapFree=0/247068
[pid=8917] ppid=8914 vsize=14069564 CPUtime=15.95 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 3187 0 -1 1077944320 69933 12701 0 0 1562 25 5 3 20 0 15 0 6984765 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140737267860768 140702912356087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
/proc/8917/statm: 3517391 102383 3471 1 0 3506013 0
[pid=8917/tid=8967] ppid=8914 vsize=14069564 CPUtime=5.72 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 3187 0 -1 4202560 42658 12701 0 0 551 13 5 3 20 0 15 0 6984785 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140702916587416 140702561415888 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8968] ppid=8914 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 3187 0 -1 1077944384 658 12701 0 0 15 0 5 3 20 0 15 0 6984786 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140702869322256 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8969] ppid=8914 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 3187 0 -1 1077944384 242 12701 0 0 20 0 5 3 20 0 15 0 6984786 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140702868269712 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8970] ppid=8914 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 3187 0 -1 1077944384 76 12701 0 0 19 1 5 3 20 0 15 0 6984786 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140702867216656 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8971] ppid=8914 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 3187 0 -1 1077944384 84 12701 0 0 16 0 5 3 20 0 15 0 6984786 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140702866164112 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8972] ppid=8914 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 3187 0 -1 1077944384 2683 12701 0 0 14 0 5 3 20 0 15 0 6984787 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140701828639472 140702912367234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8973] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 3187 0 -1 1077944384 60 12701 0 0 0 0 5 3 20 0 15 0 6984787 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140701827585760 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8974] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 3187 0 -1 1077944384 51 12701 0 0 0 0 5 3 20 0 15 0 6984788 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140701826532608 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8975] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140701825481168 140702912374683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8976] ppid=8914 vsize=14069564 CPUtime=3.76 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 3187 0 -1 1077944384 7866 12701 0 0 367 1 5 3 20 0 15 0 6984790 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140701824428272 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8977] ppid=8914 vsize=14069564 CPUtime=3.67 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) R 8914 8917 3187 0 -1 4202560 6275 12701 0 0 358 1 5 3 20 0 15 0 6984790 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140701823362272 140702897481482 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8978] ppid=8914 vsize=14069564 CPUtime=2.07 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 3187 0 -1 1077944384 7106 12701 0 0 196 3 5 3 20 0 15 0 6984790 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140701822322672 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8979] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140701821270368 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8980] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 3187 0 -1 1077944384 12 12701 0 0 0 0 5 3 20 0 15 0 6984794 14407233536 102383 18446744073709551615 4194304 4196468 140737267878224 140701820218416 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
Current children cumulated CPU time (s) 15.95
Current children cumulated vsize (KiB) 14069564

[startup+12.7008 s]
/proc/loadavg: 1.71 1.68 1.67 3/213 8980
/proc/meminfo: memFree=28723756/32770624 swapFree=0/247072
[pid=8917] ppid=8914 vsize=14069564 CPUtime=23.72 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 3187 0 -1 1077944320 78377 12701 0 0 2331 33 5 3 20 0 15 0 6984765 14407233536 172375 18446744073709551615 4194304 4196468 140737267878224 140737267860768 140702912356087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
/proc/8917/statm: 3517391 172375 3474 1 0 3506013 0
[pid=8917/tid=8967] ppid=8914 vsize=14069564 CPUtime=12.1 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 3187 0 -1 4202560 45003 12701 0 0 1184 18 5 3 20 0 15 0 6984785 14407233536 172375 18446744073709551615 4194304 4196468 140737267878224 140702916588056 140702552653851 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8968] ppid=8914 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 3187 0 -1 1077944384 747 12701 0 0 17 1 5 3 20 0 15 0 6984786 14407233536 172375 18446744073709551615 4194304 4196468 140737267878224 140702869322256 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8969] ppid=8914 vsize=14069564 CPUtime=0.31 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 3187 0 -1 1077944384 1205 12701 0 0 22 1 5 3 20 0 15 0 6984786 14407233536 172375 18446744073709551615 4194304 4196468 140737267878224 140702868269712 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8970] ppid=8914 vsize=14069564 CPUtime=0.31 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 3187 0 -1 1077944384 136 12701 0 0 21 2 5 3 20 0 15 0 6984786 14407233536 172375 18446744073709551615 4194304 4196468 140737267878224 140702867216656 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8971] ppid=8914 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 3187 0 -1 1077944384 551 12701 0 0 18 1 5 3 20 0 15 0 6984786 14407233536 172375 18446744073709551615 4194304 4196468 140737267878224 140702866164112 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8972] ppid=8914 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 3187 0 -1 1077944384 3065 12701 0 0 14 0 5 3 20 0 15 0 6984787 14407233536 172375 18446744073709551615 4194304 4196468 140737267878224 140701828639472 140702912367234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8973] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 3187 0 -1 1077944384 66 12701 0 0 0 0 5 3 20 0 15 0 6984787 14407233536 172375 18446744073709551615 4194304 4196468 140737267878224 140701827585760 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8974] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 3187 0 -1 1077944384 51 12701 0 0 0 0 5 3 20 0 15 0 6984788 14407233536 172375 18446744073709551615 4194304 4196468 140737267878224 140701826532608 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8975] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 172375 18446744073709551615 4194304 4196468 140737267878224 140701825481168 140702912374683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0

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

/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 277534 18446744073709551615 4194304 4196468 140737267878224 140701821270368 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8980] ppid=8914 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 3187 0 -1 1077944384 386 12701 0 0 1 1 5 3 20 0 15 0 6984794 14407233536 277534 18446744073709551615 4194304 4196468 140737267878224 140701820218416 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
Current children cumulated CPU time (s) 64.05
Current children cumulated vsize (KiB) 14069564

[startup+102.301 s]
/proc/loadavg: 1.68 1.68 1.67 3/214 9124
/proc/meminfo: memFree=29409896/32770624 swapFree=0/247168
[pid=8917] ppid=8914 vsize=14069564 CPUtime=116.36 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 3187 0 -1 1077944320 114156 12701 0 0 11565 63 5 3 20 0 15 0 6984765 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140737267860768 140702912356087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
/proc/8917/statm: 3517391 255116 3483 1 0 3506013 0
[pid=8917/tid=8967] ppid=8914 vsize=14069564 CPUtime=101.46 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 3187 0 -1 4202560 52026 12701 0 0 10113 25 5 3 20 0 15 0 6984785 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140702916588120 140702561996158 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8968] ppid=8914 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 3187 0 -1 1077944384 1177 12701 0 0 27 5 5 3 20 0 15 0 6984786 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140702869322256 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8969] ppid=8914 vsize=14069564 CPUtime=0.46 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 3187 0 -1 1077944384 2791 12701 0 0 32 6 5 3 20 0 15 0 6984786 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140702868269712 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8970] ppid=8914 vsize=14069564 CPUtime=0.45 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 3187 0 -1 1077944384 1444 12701 0 0 31 6 5 3 20 0 15 0 6984786 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140702867216656 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8971] ppid=8914 vsize=14069564 CPUtime=0.42 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 3187 0 -1 1077944384 2199 12701 0 0 28 6 5 3 20 0 15 0 6984786 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140702866164112 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8972] ppid=8914 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 3187 0 -1 1077944384 3812 12701 0 0 19 2 5 3 20 0 15 0 6984787 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140701828639472 140702912367234 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8973] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 3187 0 -1 1077944384 77 12701 0 0 0 0 5 3 20 0 15 0 6984787 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140701827585760 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8974] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 3187 0 -1 1077944384 51 12701 0 0 0 0 5 3 20 0 15 0 6984788 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140701826532608 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8975] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140701825481168 140702912374683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8976] ppid=8914 vsize=14069564 CPUtime=5.39 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 3187 0 -1 1077944384 17906 12701 0 0 528 3 5 3 20 0 15 0 6984790 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140701824428272 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8977] ppid=8914 vsize=14069564 CPUtime=5.53 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) S 8914 8917 3187 0 -1 1077944384 14427 12701 0 0 543 2 5 3 20 0 15 0 6984790 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140701823375728 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8978] ppid=8914 vsize=14069564 CPUtime=2.44 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 3187 0 -1 1077944384 15662 12701 0 0 233 3 5 3 20 0 15 0 6984790 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140701822322672 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8979] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140701821270368 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8980] ppid=8914 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 3187 0 -1 1077944384 422 12701 0 0 2 2 5 3 20 0 15 0 6984794 14407233536 255116 18446744073709551615 4194304 4196468 140737267878224 140701820218416 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
Current children cumulated CPU time (s) 116.36
Current children cumulated vsize (KiB) 14069564

[startup+162.301 s]
/proc/loadavg: 1.62 1.65 1.67 3/219 9155
/proc/meminfo: memFree=29838760/32770624 swapFree=0/247272
[pid=8917] ppid=8914 vsize=14069564 CPUtime=178.23 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 3187 0 -1 1077944320 124067 12701 0 0 17743 72 5 3 20 0 15 0 6984765 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140737267860768 140702912356087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
/proc/8917/statm: 3517391 203882 3483 1 0 3506013 0
[pid=8917/tid=8967] ppid=8914 vsize=14069564 CPUtime=161 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 3187 0 -1 4202560 53679 12701 0 0 16067 25 5 3 20 0 15 0 6984785 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140702916589952 140702542850176 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8968] ppid=8914 vsize=14069564 CPUtime=0.69 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 3187 0 -1 1077944384 1838 12701 0 0 54 7 5 3 20 0 15 0 6984786 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140702869322256 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8969] ppid=8914 vsize=14069564 CPUtime=0.73 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 3187 0 -1 1077944384 3101 12701 0 0 58 7 5 3 20 0 15 0 6984786 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140702868269712 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8970] ppid=8914 vsize=14069564 CPUtime=0.74 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 3187 0 -1 1077944384 1654 12701 0 0 58 8 5 3 20 0 15 0 6984786 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140702867216656 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8971] ppid=8914 vsize=14069564 CPUtime=0.69 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 3187 0 -1 1077944384 2477 12701 0 0 54 7 5 3 20 0 15 0 6984786 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140702866164112 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8972] ppid=8914 vsize=14069564 CPUtime=0.45 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 3187 0 -1 1077944384 4074 12701 0 0 32 5 5 3 20 0 15 0 6984787 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140701828639472 140702912367234 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8973] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 3187 0 -1 1077944384 82 12701 0 0 0 0 5 3 20 0 15 0 6984787 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140701827585760 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8974] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 3187 0 -1 1077944384 51 12701 0 0 0 0 5 3 20 0 15 0 6984788 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140701826532608 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8975] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140701825481168 140702912374683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8976] ppid=8914 vsize=14069564 CPUtime=5.85 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 3187 0 -1 1077944384 20207 12701 0 0 574 3 5 3 20 0 15 0 6984790 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140701824428272 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8977] ppid=8914 vsize=14069564 CPUtime=6 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) S 8914 8917 3187 0 -1 1077944384 15465 12701 0 0 590 2 5 3 20 0 15 0 6984790 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140701823375728 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8978] ppid=8914 vsize=14069564 CPUtime=2.55 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 3187 0 -1 1077944384 18837 12701 0 0 243 4 5 3 20 0 15 0 6984790 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140701822322672 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8979] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140701821270368 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8980] ppid=8914 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 3187 0 -1 1077944384 440 12701 0 0 3 4 5 3 20 0 15 0 6984794 14407233536 203882 18446744073709551615 4194304 4196468 140737267878224 140701820218416 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
Current children cumulated CPU time (s) 178.23
Current children cumulated vsize (KiB) 14069564

[startup+222.301 s]
/proc/loadavg: 1.49 1.61 1.65 3/219 9157
/proc/meminfo: memFree=30385508/32770624 swapFree=0/247324
[pid=8917] ppid=8914 vsize=14069564 CPUtime=240.8 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 3187 0 -1 1077944320 135285 12701 0 0 23988 84 5 3 20 0 15 0 6984765 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140737267860768 140702912356087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
/proc/8917/statm: 3517391 187020 3483 1 0 3506013 0
[pid=8917/tid=8967] ppid=8914 vsize=14069564 CPUtime=220.45 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 3187 0 -1 4202560 54866 12701 0 0 22011 26 5 3 20 0 15 0 6984785 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140702916590064 140702542710077 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8968] ppid=8914 vsize=14069564 CPUtime=0.97 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 3187 0 -1 1077944384 2411 12701 0 0 81 8 5 3 20 0 15 0 6984786 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140702869322256 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8969] ppid=8914 vsize=14069564 CPUtime=1.01 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 3187 0 -1 1077944384 3217 12701 0 0 85 8 5 3 20 0 15 0 6984786 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140702868269712 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8970] ppid=8914 vsize=14069564 CPUtime=1.01 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 3187 0 -1 1077944384 1830 12701 0 0 84 9 5 3 20 0 15 0 6984786 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140702867216656 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8971] ppid=8914 vsize=14069564 CPUtime=0.98 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 3187 0 -1 1077944384 3596 12701 0 0 82 8 5 3 20 0 15 0 6984786 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140702866164112 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8972] ppid=8914 vsize=14069564 CPUtime=0.67 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 3187 0 -1 1077944384 4417 12701 0 0 51 8 5 3 20 0 15 0 6984787 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140701828639472 140702912367234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8973] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 3187 0 -1 1077944384 82 12701 0 0 0 0 5 3 20 0 15 0 6984787 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140701827585760 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8974] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 3187 0 -1 1077944384 51 12701 0 0 0 0 5 3 20 0 15 0 6984788 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140701826532608 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8975] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140701825481168 140702912374683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8976] ppid=8914 vsize=14069564 CPUtime=6.57 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 3187 0 -1 1077944384 23416 12701 0 0 645 4 5 3 20 0 15 0 6984790 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140701824428272 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8977] ppid=8914 vsize=14069564 CPUtime=6.74 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) S 8914 8917 3187 0 -1 1077944384 17351 12701 0 0 663 3 5 3 20 0 15 0 6984790 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140701823375728 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8978] ppid=8914 vsize=14069564 CPUtime=2.84 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 3187 0 -1 1077944384 21424 12701 0 0 272 4 5 3 20 0 15 0 6984790 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140701822322672 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8979] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140701821270368 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8980] ppid=8914 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 3187 0 -1 1077944384 462 12701 0 0 5 6 5 3 20 0 15 0 6984794 14407233536 187020 18446744073709551615 4194304 4196468 140737267878224 140701820218416 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
Current children cumulated CPU time (s) 240.8
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.60 1.63 1.66 3/219 9157
/proc/meminfo: memFree=30416292/32770624 swapFree=0/247332
[pid=8917] ppid=8914 vsize=14069564 CPUtime=259.16 cores=1,3,5,7
/proc/8917/stat : 8917 (java) S 8914 8917 3187 0 -1 1077944320 135434 12701 0 0 25822 86 5 3 20 0 15 0 6984765 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140737267860768 140702912356087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
/proc/8917/statm: 3517391 185480 3483 1 0 3506013 0
[pid=8917/tid=8967] ppid=8914 vsize=14069564 CPUtime=237.97 cores=1,3,5,7
/proc/8917/task/8967/stat : 8967 (java) R 8914 8917 3187 0 -1 4202560 54968 12701 0 0 23763 26 5 3 20 0 15 0 6984785 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140702916590080 140702542534232 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8968] ppid=8914 vsize=14069564 CPUtime=1.05 cores=1,3,5,7
/proc/8917/task/8968/stat : 8968 (java) S 8914 8917 3187 0 -1 1077944384 2417 12701 0 0 89 8 5 3 20 0 15 0 6984786 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140702869322256 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8969] ppid=8914 vsize=14069564 CPUtime=1.1 cores=1,3,5,7
/proc/8917/task/8969/stat : 8969 (java) S 8914 8917 3187 0 -1 1077944384 3225 12701 0 0 93 9 5 3 20 0 15 0 6984786 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140702868269712 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8970] ppid=8914 vsize=14069564 CPUtime=1.1 cores=1,3,5,7
/proc/8917/task/8970/stat : 8970 (java) S 8914 8917 3187 0 -1 1077944384 1839 12701 0 0 92 10 5 3 20 0 15 0 6984786 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140702867216656 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8971] ppid=8914 vsize=14069564 CPUtime=1.06 cores=1,3,5,7
/proc/8917/task/8971/stat : 8971 (java) S 8914 8917 3187 0 -1 1077944384 3608 12701 0 0 90 8 5 3 20 0 15 0 6984786 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140702866164112 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8972] ppid=8914 vsize=14069564 CPUtime=0.75 cores=1,3,5,7
/proc/8917/task/8972/stat : 8972 (java) S 8914 8917 3187 0 -1 1077944384 4417 12701 0 0 58 9 5 3 20 0 15 0 6984787 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140701828639472 140702912367234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8973] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8973/stat : 8973 (java) S 8914 8917 3187 0 -1 1077944384 82 12701 0 0 0 0 5 3 20 0 15 0 6984787 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140701827585760 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8974] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8974/stat : 8974 (java) S 8914 8917 3187 0 -1 1077944384 51 12701 0 0 0 0 5 3 20 0 15 0 6984788 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140701826532608 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8975] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8975/stat : 8975 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140701825481168 140702912374683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8976] ppid=8914 vsize=14069564 CPUtime=6.74 cores=1,3,5,7
/proc/8917/task/8976/stat : 8976 (java) S 8914 8917 3187 0 -1 1077944384 23420 12701 0 0 662 4 5 3 20 0 15 0 6984790 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140701824428272 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8977] ppid=8914 vsize=14069564 CPUtime=6.9 cores=1,3,5,7
/proc/8917/task/8977/stat : 8977 (java) S 8914 8917 3187 0 -1 1077944384 17352 12701 0 0 679 3 5 3 20 0 15 0 6984790 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140701823375728 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8978] ppid=8914 vsize=14069564 CPUtime=2.9 cores=1,3,5,7
/proc/8917/task/8978/stat : 8978 (java) S 8914 8917 3187 0 -1 1077944384 21431 12701 0 0 278 4 5 3 20 0 15 0 6984790 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140701822322672 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8979] ppid=8914 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8917/task/8979/stat : 8979 (java) S 8914 8917 3187 0 -1 1077944384 3 12701 0 0 0 0 5 3 20 0 15 0 6984790 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140701821270368 140702912366293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
[pid=8917/tid=8980] ppid=8914 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/8917/task/8980/stat : 8980 (java) S 8914 8917 3187 0 -1 1077944384 462 12701 0 0 5 6 5 3 20 0 15 0 6984794 14407233536 185480 18446744073709551615 4194304 4196468 140737267878224 140701820218416 140702912367234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10121216 140737267886030 140737267888815 140737267888815 140737267892175 0
Current children cumulated CPU time (s) 259.16
Current children cumulated vsize (KiB) 14069564

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

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

Child status: 143
Real time (s): 240.042
CPU time (s): 259.219
CPU user time (s): 258.306
CPU system time (s): 0.913556
CPU usage (%): 107.989
Max. virtual memory (cumulated for all children) (KiB): 14071684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.306
system time used= 0.913556
maximum resident set size= 1113172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27856
involuntary context switches= 1682

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42078 second user time and 1.1822 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 06:58:21
IDJOB=4259840
IDBENCH=124459
IDSOLVER=2646
FILE ID=node135/4259840-1501650741
RUNJOBID= node135-1501639717-27967
PBS_JOBID= 
Free space on /tmp= 61816 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-4259840-1501650741/watcher-4259840-1501650741 -o /tmp/evaluation-result-4259840-1501650741/solver-4259840-1501650741 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300  bin/concrete HOME/instance-4259840-1501650741.xml

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

MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab
RANDOM SEED=2124152864

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29386572 kB
MemAvailable:   29657796 kB
Buffers:          126292 kB
Cached:           421960 kB
SwapCached:            0 kB
Active:          2703328 kB
Inactive:         255624 kB
Active(anon):    2411192 kB
Inactive(anon):     8592 kB
Active(file):     292136 kB
Inactive(file):   247032 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24168 kB
Writeback:             0 kB
AnonPages:       2340412 kB
Mapped:            42416 kB
Shmem:              8960 kB
Slab:             122472 kB
SReclaimable:      95784 kB
SUnreclaim:        26688 kB
KernelStack:        3760 kB
PageTables:         9756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3158920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2113536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61792 MiB
End job on node135 at 2017-08-02 07:02:21