Trace number 4259842

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)1269 258.742 240.032

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n48-k7.xml
MD5SUM45202abbf2fd4260704b0005edccc47f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1215
Best CPU time to get the best result obtained on this benchmark251.95799
Satisfiable
(Un)Satisfiability was proved
Number of variables2352
Number of constraints2303
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":48},{"size":2,"count":2256},{"size":101,"count":47}]
Minimum variable degree0
Maximum variable degree93
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":48},{"degree":2,"count":94},{"degree":4,"count":2162},{"degree":93,"count":47}]
Minimum constraint arity1
Maximum constraint arity47
Distribution of constraint arities[{"arity":1,"count":47},{"arity":3,"count":2162},{"arity":47,"count":94}]
Number of extensional constraints0
Number of intensional constraints47
Distribution of constraint types[{"type":"intension","count":47},{"type":"sum","count":2162},{"type":"count","count":94}]
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.29/2.21	c Concrete v3.4 running
14.91/5.98	o 2938
15.82/6.22	o 2912
16.65/6.53	o 2901
16.97/6.66	o 2827
17.27/6.78	o 2775
17.56/6.88	o 2754
17.85/6.99	o 2738
18.08/7.08	o 2736
18.23/7.17	o 2724
18.42/7.27	o 2665
18.73/7.39	o 2645
19.34/7.55	o 2623
19.57/7.64	o 2565
19.87/7.85	o 2557
19.96/7.94	o 2536
20.07/8.04	o 2534
20.30/8.25	o 2508
20.40/8.34	o 2494
20.51/8.43	o 2473
20.61/8.51	o 2466
20.71/8.60	o 2457
20.84/8.70	o 2435
20.95/8.80	o 2381
21.08/8.91	o 2377
21.19/9.03	o 2362
21.29/9.13	o 2358
21.40/9.24	o 2342
21.50/9.35	o 2329
21.59/9.47	o 2307
21.70/9.58	o 2293
21.92/9.70	o 2262
22.04/9.81	o 2234
22.55/10.31	o 2210
22.65/10.42	o 2197
22.77/10.53	o 2174
22.97/10.75	o 2171
23.41/11.12	o 2168
23.51/11.23	o 2163
23.62/11.34	o 2160
23.72/11.46	o 2155
24.12/11.73	o 2152
24.22/11.85	o 2058
25.04/12.53	o 2018
25.14/12.67	o 2016
25.46/12.95	o 1984
25.87/13.33	o 1978
26.08/13.57	o 1882
26.18/13.69	o 1851
26.86/14.26	o 1821
27.28/14.67	o 1814
28.45/15.71	o 1786
28.65/15.95	o 1774
28.75/16.07	o 1733
29.08/16.34	o 1722
29.92/17.19	o 1702
30.55/17.79	o 1701
30.86/18.05	o 1699
30.98/18.15	o 1687
31.08/18.25	o 1685
31.70/18.87	o 1668
31.79/18.99	o 1660
31.99/19.11	o 1652
33.74/20.72	o 1641
35.03/21.94	o 1632
35.80/22.64	o 1631
36.52/23.36	o 1630
37.36/24.15	o 1628
39.53/26.26	o 1601
41.02/27.61	o 1583
41.19/27.79	o 1544
43.25/29.72	o 1543
44.50/30.93	o 1539
44.60/31.02	o 1534
44.91/31.31	o 1522
46.24/32.63	o 1514
46.57/32.95	o 1496
48.54/34.82	o 1495
51.54/37.70	o 1479
52.79/38.98	o 1474
52.89/39.05	o 1446
53.64/39.75	o 1445
53.73/39.83	o 1441
56.22/42.28	o 1430
58.70/44.64	o 1427
62.17/48.00	o 1423
65.44/51.26	o 1416
65.64/51.42	o 1414
65.74/51.50	o 1394
66.55/52.39	o 1392
66.75/52.57	o 1391
69.82/55.57	o 1385
71.04/56.72	o 1372
76.29/61.84	o 1369
76.71/62.23	o 1365
76.91/62.49	o 1361
82.75/68.13	o 1360
89.37/74.69	o 1358
96.20/81.35	o 1353
104.14/89.12	o 1342
104.64/89.62	o 1338
119.10/103.86	o 1316
119.32/104.00	o 1279
122.98/107.62	o 1278
125.02/109.63	o 1271
135.54/119.99	o 1269
258.69/240.00	java.util.concurrent.TimeoutException
258.69/240.00		at concrete.MAC.mac(MAC.scala:74)
258.69/240.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
258.69/240.00		at scala.util.Try$.apply(Try.scala:209)
258.69/240.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
258.69/240.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
258.69/240.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
258.69/240.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
258.69/240.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
258.69/240.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
258.69/240.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
258.69/240.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
258.69/240.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
258.69/240.01		at concrete.MAC.oneRun(MAC.scala:146)
258.69/240.01		at concrete.MAC.nextSolution(MAC.scala:166)
258.69/240.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
258.69/240.01		at concrete.ProblemState.map(ProblemState.scala:203)
258.69/240.01		at concrete.ProblemState.map(ProblemState.scala:188)
258.69/240.01		at concrete.MAC.nextSolution(MAC.scala:195)
258.69/240.01		at concrete.Solver.hasNext(Solver.scala:202)
258.69/240.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
258.69/240.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
258.69/240.01		at concrete.Solver.toStream(Solver.scala:73)
258.69/240.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
258.69/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
258.69/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
258.69/240.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
258.69/240.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
258.69/240.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
258.69/240.01		at scala.util.Success.map(Try.scala:209)
258.69/240.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
258.69/240.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
258.69/240.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
258.69/240.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
258.69/240.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
258.69/240.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
258.69/240.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
258.69/240.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
258.69/240.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
258.69/240.01		at scala.collection.immutable.List.foreach(List.scala:389)
258.69/240.01		at scala.App.main(App.scala:76)
258.69/240.01		at scala.App.main$(App.scala:74)
258.69/240.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
258.69/240.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
258.69/240.01	v <instantiation cost="1269">
258.69/240.01	v       <list>
258.69/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[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47]
258.69/240.01	v       </list>
258.69/240.01	v       <values>
258.69/240.01	v         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 1 0 0 0 0 1 0 0 1 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 63 50 15 55 43 88 93 75 26 76 69 77 38 21 87 100 36 100 85 57 36 90 100 44 61 43 31 100 28 48 21 93 86 16 30 55 38 69 91 10 100 91 19 100 16 66 22
258.69/240.01	v       </values>
258.69/240.01	v     </instantiation>
258.69/240.01	s SATISFIABLE

Verifier Data 

OK	1269

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

pid=8124
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.30 1.49 1.65 2/197 8127
/proc/meminfo: memFree=31023200/32770624 swapFree=0/246208
[pid=8127] ppid=8124 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8127/stat : 8127 (runsolver) D 8124 8127 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 6912200 24240128 108 18446744073709551615 4194304 4338465 140727786041200 140727786038840 140307335844567 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 14123008 140727786045649 140727786046023 140727786046023 140727786049482 0
/proc/8127/statm: 5918 108 54 36 0 2156 0

[startup+0.100086 s]
/proc/loadavg: 1.30 1.49 1.65 2/197 8127
/proc/meminfo: memFree=31023200/32770624 swapFree=0/246208
[pid=8127] ppid=8124 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/8127/stat : 8127 (bash) R 8124 8127 3187 0 -1 4202496 755 5095 0 0 0 0 0 1 20 0 1 0 6912200 9867264 360 18446744073709551615 4194304 5098028 140731204489824 140731204487464 140063500121932 0 65538 5 65536 0 0 0 17 3 0 0 8 0 0 7196144 7232144 27414528 140731204493842 140731204493927 140731204493927 140731204497386 0
/proc/8127/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200236 s]
/proc/loadavg: 1.30 1.49 1.65 2/197 8127
/proc/meminfo: memFree=31023200/32770624 swapFree=0/246208
[pid=8127] ppid=8124 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/8127/stat : 8127 (bash) S 8124 8127 3187 0 -1 4202496 896 6484 0 0 0 0 0 1 20 0 1 0 6912200 9867264 377 18446744073709551615 4194304 5098028 140731204489824 140731204483832 140063500295168 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 27414528 140731204493842 140731204493927 140731204493927 140731204497386 0
/proc/8127/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300274 s]
/proc/loadavg: 1.30 1.49 1.65 2/197 8127
/proc/meminfo: memFree=31023200/32770624 swapFree=0/246208
[pid=8127] ppid=8124 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 3187 0 -1 1077944320 5857 12696 0 0 5 1 5 3 20 0 14 0 6912200 14241083392 5529 18446744073709551615 4194304 4196468 140727909535184 140727909517728 140180689186551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
/proc/8127/statm: 3476827 5529 2547 1 0 3466332 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700179 s]
/proc/loadavg: 1.30 1.49 1.65 2/197 8127
/proc/meminfo: memFree=31023200/32770624 swapFree=0/246208
[pid=8127] ppid=8124 vsize=13974784 CPUtime=0.64 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 3187 0 -1 1077944320 13848 12696 0 0 52 4 5 3 20 0 15 0 6912200 14310178816 14291 18446744073709551615 4194304 4196468 140727909535184 140727909517728 140180689186551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
/proc/8127/statm: 3493696 14291 3097 1 0 3482973 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 13974784

[startup+1.50065 s]
/proc/loadavg: 1.30 1.49 1.65 3/212 8190
/proc/meminfo: memFree=30909440/32770624 swapFree=0/246204
[pid=8127] ppid=8124 vsize=13985408 CPUtime=1.84 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 3187 0 -1 1077944320 27886 12696 0 0 167 9 5 3 20 0 15 0 6912200 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140727909517728 140180689186551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
/proc/8127/statm: 3496352 34360 3331 1 0 3485533 0
[pid=8127/tid=8177] ppid=8124 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/8127/task/8177/stat : 8177 (java) R 8124 8127 3187 0 -1 4202560 22639 12696 0 0 114 6 5 3 20 0 15 0 6912224 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180693404512 140180689208477 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8178] ppid=8124 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8178/stat : 8178 (java) S 8124 8127 3187 0 -1 1077944384 1 12696 0 0 0 0 5 3 20 0 15 0 6912225 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180623620368 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8179] ppid=8124 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8179/stat : 8179 (java) S 8124 8127 3187 0 -1 1077944384 1 12696 0 0 0 0 5 3 20 0 15 0 6912225 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180622567824 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8180] ppid=8124 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8180/stat : 8180 (java) S 8124 8127 3187 0 -1 1077944384 1 12696 0 0 0 0 5 3 20 0 15 0 6912225 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180621515280 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8181] ppid=8124 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8181/stat : 8181 (java) S 8124 8127 3187 0 -1 1077944384 2 12696 0 0 0 0 5 3 20 0 15 0 6912225 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180620462736 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8182] ppid=8124 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8182/stat : 8182 (java) S 8124 8127 3187 0 -1 1077944384 5 12696 0 0 0 0 5 3 20 0 15 0 6912226 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180167698928 140180689197698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8183] ppid=8124 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8183/stat : 8183 (java) S 8124 8127 3187 0 -1 1077944384 33 12696 0 0 0 0 5 3 20 0 15 0 6912226 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180166645152 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8184] ppid=8124 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8184/stat : 8184 (java) S 8124 8127 3187 0 -1 1077944384 21 12696 0 0 0 0 5 3 20 0 15 0 6912227 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180165592560 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8185] ppid=8124 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8185/stat : 8185 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912229 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180164541136 140180689205147 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8186] ppid=8124 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/8127/task/8186/stat : 8186 (java) S 8124 8127 3187 0 -1 1077944384 1050 12696 0 0 16 0 5 3 20 0 15 0 6912229 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180163487728 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8187] ppid=8124 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/8127/task/8187/stat : 8187 (java) S 8124 8127 3187 0 -1 1077944384 606 12696 0 0 14 0 5 3 20 0 15 0 6912229 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180162435184 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8188] ppid=8124 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/8127/task/8188/stat : 8188 (java) R 8124 8127 3187 0 -1 4202560 1358 12696 0 0 22 1 5 3 20 0 15 0 6912229 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180161382640 140180667719763 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8189] ppid=8124 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8189/stat : 8189 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912230 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180160330336 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8190] ppid=8124 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8190/stat : 8190 (java) S 8124 8127 3187 0 -1 1077944384 9 12696 0 0 0 0 5 3 20 0 15 0 6912233 14321057792 34360 18446744073709551615 4194304 4196468 140727909535184 140180159277872 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13985408

[startup+3.10096 s]
/proc/loadavg: 1.36 1.50 1.65 3/212 8190
/proc/meminfo: memFree=30816368/32770624 swapFree=0/246204
[pid=8127] ppid=8124 vsize=13995836 CPUtime=5.88 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 3187 0 -1 1077944320 40137 12696 0 0 564 16 5 3 20 0 15 0 6912200 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140727909517728 140180689186551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
/proc/8127/statm: 3498959 57288 3444 1 0 3487581 0
[pid=8127/tid=8177] ppid=8124 vsize=13995836 CPUtime=2.85 cores=1,3,5,7
/proc/8127/task/8177/stat : 8177 (java) R 8124 8127 3187 0 -1 4202560 27027 12696 0 0 268 9 5 3 20 0 15 0 6912224 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180693414608 140180310040444 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8178] ppid=8124 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8178/stat : 8178 (java) S 8124 8127 3187 0 -1 1077944384 50 12696 0 0 0 0 5 3 20 0 15 0 6912225 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180623620368 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8179] ppid=8124 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/8127/task/8179/stat : 8179 (java) S 8124 8127 3187 0 -1 1077944384 39 12696 0 0 1 0 5 3 20 0 15 0 6912225 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180622567824 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8180] ppid=8124 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/8127/task/8180/stat : 8180 (java) S 8124 8127 3187 0 -1 1077944384 71 12696 0 0 1 0 5 3 20 0 15 0 6912225 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180621515280 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8181] ppid=8124 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/8127/task/8181/stat : 8181 (java) S 8124 8127 3187 0 -1 1077944384 195 12696 0 0 1 0 5 3 20 0 15 0 6912225 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180620462736 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8182] ppid=8124 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/8127/task/8182/stat : 8182 (java) S 8124 8127 3187 0 -1 1077944384 1551 12696 0 0 1 0 5 3 20 0 15 0 6912226 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180167698928 140180689197698 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8183] ppid=8124 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8183/stat : 8183 (java) S 8124 8127 3187 0 -1 1077944384 55 12696 0 0 0 0 5 3 20 0 15 0 6912226 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180166645216 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8184] ppid=8124 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8184/stat : 8184 (java) S 8124 8127 3187 0 -1 1077944384 45 12696 0 0 0 0 5 3 20 0 15 0 6912227 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180165592576 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8185] ppid=8124 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8185/stat : 8185 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912229 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180164541136 140180689205147 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8186] ppid=8124 vsize=13995836 CPUtime=0.99 cores=1,3,5,7
/proc/8127/task/8186/stat : 8186 (java) R 8124 8127 3187 0 -1 4202560 2227 12696 0 0 91 0 5 3 20 0 15 0 6912229 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180163473608 140180670707718 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8187] ppid=8124 vsize=13995836 CPUtime=1.03 cores=1,3,5,7
/proc/8127/task/8187/stat : 8187 (java) R 8124 8127 3187 0 -1 4202560 2108 12696 0 0 94 1 5 3 20 0 15 0 6912229 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180162416112 140180670709788 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8188] ppid=8124 vsize=13995836 CPUtime=1.12 cores=1,3,5,7
/proc/8127/task/8188/stat : 8188 (java) S 8124 8127 3187 0 -1 1077944384 4596 12696 0 0 103 1 5 3 20 0 15 0 6912229 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180161382640 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8189] ppid=8124 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8189/stat : 8189 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912230 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180160330336 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8190] ppid=8124 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8190/stat : 8190 (java) S 8124 8127 3187 0 -1 1077944384 12 12696 0 0 0 0 5 3 20 0 15 0 6912233 14331736064 57288 18446744073709551615 4194304 4196468 140727909535184 140180159277872 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 13995836

[startup+6.30096 s]
/proc/loadavg: 1.36 1.50 1.65 5/212 8190
/proc/meminfo: memFree=30598736/32770624 swapFree=0/246216
[pid=8127] ppid=8124 vsize=14069564 CPUtime=16.1 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 3187 0 -1 1077944320 91561 12696 0 0 1573 29 5 3 20 0 15 0 6912200 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140727909517728 140180689186551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
/proc/8127/statm: 3517391 98836 3467 1 0 3506013 0
[pid=8127/tid=8177] ppid=8124 vsize=14069564 CPUtime=5.56 cores=1,3,5,7
/proc/8127/task/8177/stat : 8177 (java) R 8124 8127 3187 0 -1 4202560 45091 12696 0 0 533 15 5 3 20 0 15 0 6912224 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180693417800 140180303732081 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8178] ppid=8124 vsize=14069564 CPUtime=0.38 cores=1,3,5,7
/proc/8127/task/8178/stat : 8178 (java) S 8124 8127 3187 0 -1 1077944384 173 12696 0 0 29 1 5 3 20 0 15 0 6912225 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180623620368 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8179] ppid=8124 vsize=14069564 CPUtime=0.38 cores=1,3,5,7
/proc/8127/task/8179/stat : 8179 (java) S 8124 8127 3187 0 -1 1077944384 441 12696 0 0 29 1 5 3 20 0 15 0 6912225 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180622567824 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8180] ppid=8124 vsize=14069564 CPUtime=0.37 cores=1,3,5,7
/proc/8127/task/8180/stat : 8180 (java) S 8124 8127 3187 0 -1 1077944384 858 12696 0 0 29 0 5 3 20 0 15 0 6912225 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180621515280 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8181] ppid=8124 vsize=14069564 CPUtime=0.35 cores=1,3,5,7
/proc/8127/task/8181/stat : 8181 (java) S 8124 8127 3187 0 -1 1077944384 386 12696 0 0 26 1 5 3 20 0 15 0 6912225 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180620462736 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8182] ppid=8124 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/8127/task/8182/stat : 8182 (java) S 8124 8127 3187 0 -1 1077944384 14745 12696 0 0 14 0 5 3 20 0 15 0 6912226 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180167698928 140180689197698 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8183] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8183/stat : 8183 (java) S 8124 8127 3187 0 -1 1077944384 58 12696 0 0 0 0 5 3 20 0 15 0 6912226 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180166645216 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8184] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8184/stat : 8184 (java) S 8124 8127 3187 0 -1 1077944384 48 12696 0 0 0 0 5 3 20 0 15 0 6912227 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180165592576 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8185] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8185/stat : 8185 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912229 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180164541136 140180689205147 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8186] ppid=8124 vsize=14069564 CPUtime=3.65 cores=1,3,5,7
/proc/8127/task/8186/stat : 8186 (java) R 8124 8127 3187 0 -1 4202560 10559 12696 0 0 355 2 5 3 20 0 15 0 6912229 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180163479504 140180675250528 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8187] ppid=8124 vsize=14069564 CPUtime=3.58 cores=1,3,5,7
/proc/8127/task/8187/stat : 8187 (java) S 8124 8127 3187 0 -1 1077944384 6926 12696 0 0 349 1 5 3 20 0 15 0 6912229 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180162435184 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8188] ppid=8124 vsize=14069564 CPUtime=2.15 cores=1,3,5,7
/proc/8127/task/8188/stat : 8188 (java) S 8124 8127 3187 0 -1 1077944384 10093 12696 0 0 204 3 5 3 20 0 15 0 6912229 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180161382640 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8189] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8189/stat : 8189 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912230 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180160330336 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8190] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8190/stat : 8190 (java) S 8124 8127 3187 0 -1 1077944384 22 12696 0 0 0 0 5 3 20 0 15 0 6912233 14407233536 98836 18446744073709551615 4194304 4196468 140727909535184 140180159277872 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
Current children cumulated CPU time (s) 16.1
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.53 1.54 1.66 3/212 8190
/proc/meminfo: memFree=30456932/32770624 swapFree=0/246228
[pid=8127] ppid=8124 vsize=14069564 CPUtime=25.25 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 3187 0 -1 1077944320 96555 12696 0 0 2473 44 5 3 20 0 15 0 6912200 14407233536 163706 18446744073709551615 4194304 4196468 140727909535184 140727909517728 140180689186551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
/proc/8127/statm: 3517391 163706 3471 1 0 3506013 0
[pid=8127/tid=8177] ppid=8124 vsize=14069564 CPUtime=11.88 cores=1,3,5,7
/proc/8127/task/8177/stat : 8177 (java) R 8124 8127 3187 0 -1 4202560 45776 12696 0 0 1162 18 5 3 20 0 15 0 6912224 14407233536 163706 18446744073709551615 4194304 4196468 140727909535184 140180693420920 140180301536033 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8178] ppid=8124 vsize=14069564 CPUtime=0.43 cores=1,3,5,7
/proc/8127/task/8178/stat : 8178 (java) S 8124 8127 3187 0 -1 1077944384 238 12696 0 0 32 3 5 3 20 0 15 0 6912225 14407233536 163706 18446744073709551615 4194304 4196468 140727909535184 140180623620368 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8179] ppid=8124 vsize=14069564 CPUtime=0.44 cores=1,3,5,7
/proc/8127/task/8179/stat : 8179 (java) S 8124 8127 3187 0 -1 1077944384 533 12696 0 0 32 4 5 3 20 0 15 0 6912225 14407233536 163706 18446744073709551615 4194304 4196468 140727909535184 140180622567824 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8180] ppid=8124 vsize=14069564 CPUtime=0.44 cores=1,3,5,7
/proc/8127/task/8180/stat : 8180 (java) S 8124 8127 3187 0 -1 1077944384 1725 12696 0 0 33 3 5 3 20 0 15 0 6912225 14407233536 163706 18446744073709551615 4194304 4196468 140727909535184 140180621515280 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8181] ppid=8124 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/8127/task/8181/stat : 8181 (java) S 8124 8127 3187 0 -1 1077944384 460 12696 0 0 29 3 5 3 20 0 15 0 6912225 14407233536 163706 18446744073709551615 4194304 4196468 140727909535184 140180620462736 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8182] ppid=8124 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/8127/task/8182/stat : 8182 (java) S 8124 8127 3187 0 -1 1077944384 14910 12696 0 0 15 0 5 3 20 0 15 0 6912226 14407233536 163706 18446744073709551615 4194304 4196468 140727909535184 140180167698928 140180689197698 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8183] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8183/stat : 8183 (java) S 8124 8127 3187 0 -1 1077944384 58 12696 0 0 0 0 5 3 20 0 15 0 6912226 14407233536 163706 18446744073709551615 4194304 4196468 140727909535184 140180166645216 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8184] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8184/stat : 8184 (java) S 8124 8127 3187 0 -1 1077944384 48 12696 0 0 0 0 5 3 20 0 15 0 6912227 14407233536 163706 18446744073709551615 4194304 4196468 140727909535184 140180165592576 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8185] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8185/stat : 8185 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912229 14407233536 163706 18446744073709551615 4194304 4196468 140727909535184 140180164541136 140180689205147 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0

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

/proc/8127/task/8189/stat : 8189 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912230 14407233536 300001 18446744073709551615 4194304 4196468 140727909535184 140180160330336 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8190] ppid=8124 vsize=14069564 CPUtime=0.09 cores=1,3,5,7
/proc/8127/task/8190/stat : 8190 (java) S 8124 8127 3187 0 -1 1077944384 690 12696 0 0 0 1 5 3 20 0 15 0 6912233 14407233536 300001 18446744073709551615 4194304 4196468 140727909535184 140180159277872 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
Current children cumulated CPU time (s) 65.33
Current children cumulated vsize (KiB) 14069564

[startup+102.301 s]
/proc/loadavg: 1.46 1.52 1.64 3/214 8320
/proc/meminfo: memFree=28905660/32770624 swapFree=0/246316
[pid=8127] ppid=8124 vsize=14069564 CPUtime=117.59 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 3187 0 -1 1077944320 126519 12696 0 0 11652 99 5 3 20 0 15 0 6912200 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140727909517728 140180689186551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
/proc/8127/statm: 3517391 315410 3482 1 0 3506013 0
[pid=8127/tid=8177] ppid=8124 vsize=14069564 CPUtime=101.14 cores=1,3,5,7
/proc/8127/task/8177/stat : 8177 (java) R 8124 8127 3187 0 -1 4202560 52666 12696 0 0 10082 24 5 3 20 0 15 0 6912224 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180693420400 140180304360268 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8178] ppid=8124 vsize=14069564 CPUtime=0.73 cores=1,3,5,7
/proc/8127/task/8178/stat : 8178 (java) S 8124 8127 3187 0 -1 1077944384 868 12696 0 0 50 15 5 3 20 0 15 0 6912225 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180623620368 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8179] ppid=8124 vsize=14069564 CPUtime=0.73 cores=1,3,5,7
/proc/8127/task/8179/stat : 8179 (java) S 8124 8127 3187 0 -1 1077944384 1457 12696 0 0 50 15 5 3 20 0 15 0 6912225 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180622567824 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8180] ppid=8124 vsize=14069564 CPUtime=0.73 cores=1,3,5,7
/proc/8127/task/8180/stat : 8180 (java) S 8124 8127 3187 0 -1 1077944384 3141 12696 0 0 51 14 5 3 20 0 15 0 6912225 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180621515280 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8181] ppid=8124 vsize=14069564 CPUtime=0.71 cores=1,3,5,7
/proc/8127/task/8181/stat : 8181 (java) S 8124 8127 3187 0 -1 1077944384 1808 12696 0 0 48 15 5 3 20 0 15 0 6912225 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180620462736 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8182] ppid=8124 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8127/task/8182/stat : 8182 (java) S 8124 8127 3187 0 -1 1077944384 15739 12696 0 0 18 1 5 3 20 0 15 0 6912226 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180167698928 140180689197698 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8183] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8183/stat : 8183 (java) S 8124 8127 3187 0 -1 1077944384 68 12696 0 0 0 0 5 3 20 0 15 0 6912226 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180166645216 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8184] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8184/stat : 8184 (java) S 8124 8127 3187 0 -1 1077944384 48 12696 0 0 0 0 5 3 20 0 15 0 6912227 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180165592576 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8185] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8185/stat : 8185 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912229 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180164541136 140180689205147 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8186] ppid=8124 vsize=14069564 CPUtime=5.79 cores=1,3,5,7
/proc/8127/task/8186/stat : 8186 (java) S 8124 8127 3187 0 -1 1077944384 16503 12696 0 0 568 3 5 3 20 0 15 0 6912229 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180163487728 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8187] ppid=8124 vsize=14069564 CPUtime=5.52 cores=1,3,5,7
/proc/8127/task/8187/stat : 8187 (java) S 8124 8127 3187 0 -1 1077944384 14626 12696 0 0 542 2 5 3 20 0 15 0 6912229 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180162435184 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8188] ppid=8124 vsize=14069564 CPUtime=2.47 cores=1,3,5,7
/proc/8127/task/8188/stat : 8188 (java) S 8124 8127 3187 0 -1 1077944384 16723 12696 0 0 235 4 5 3 20 0 15 0 6912229 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180161382640 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8189] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8189/stat : 8189 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912230 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180160330336 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8190] ppid=8124 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/8127/task/8190/stat : 8190 (java) S 8124 8127 3187 0 -1 1077944384 711 12696 0 0 2 2 5 3 20 0 15 0 6912233 14407233536 315410 18446744073709551615 4194304 4196468 140727909535184 140180159277872 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
Current children cumulated CPU time (s) 117.59
Current children cumulated vsize (KiB) 14069564

[startup+162.301 s]
/proc/loadavg: 1.47 1.52 1.64 3/214 8322
/proc/meminfo: memFree=29136120/32770624 swapFree=0/246344
[pid=8127] ppid=8124 vsize=14069564 CPUtime=179 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 3187 0 -1 1077944320 138233 12696 0 0 17783 109 5 3 20 0 15 0 6912200 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140727909517728 140180689186551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
/proc/8127/statm: 3517391 229807 3482 1 0 3506013 0
[pid=8127/tid=8177] ppid=8124 vsize=14069564 CPUtime=160.79 cores=1,3,5,7
/proc/8127/task/8177/stat : 8177 (java) R 8124 8127 3187 0 -1 4202560 54643 12696 0 0 16047 24 5 3 20 0 15 0 6912224 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180693420064 140180310036792 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8178] ppid=8124 vsize=14069564 CPUtime=0.99 cores=1,3,5,7
/proc/8127/task/8178/stat : 8178 (java) S 8124 8127 3187 0 -1 1077944384 1179 12696 0 0 75 16 5 3 20 0 15 0 6912225 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180623620368 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8179] ppid=8124 vsize=14069564 CPUtime=0.99 cores=1,3,5,7
/proc/8127/task/8179/stat : 8179 (java) S 8124 8127 3187 0 -1 1077944384 1822 12696 0 0 74 17 5 3 20 0 15 0 6912225 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180622567824 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8180] ppid=8124 vsize=14069564 CPUtime=1 cores=1,3,5,7
/proc/8127/task/8180/stat : 8180 (java) S 8124 8127 3187 0 -1 1077944384 3372 12696 0 0 76 16 5 3 20 0 15 0 6912225 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180621515280 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8181] ppid=8124 vsize=14069564 CPUtime=0.97 cores=1,3,5,7
/proc/8127/task/8181/stat : 8181 (java) S 8124 8127 3187 0 -1 1077944384 3503 12696 0 0 73 16 5 3 20 0 15 0 6912225 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180620462736 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8182] ppid=8124 vsize=14069564 CPUtime=0.33 cores=1,3,5,7
/proc/8127/task/8182/stat : 8182 (java) S 8124 8127 3187 0 -1 1077944384 16031 12696 0 0 22 3 5 3 20 0 15 0 6912226 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180167698928 140180689197698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8183] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8183/stat : 8183 (java) S 8124 8127 3187 0 -1 1077944384 73 12696 0 0 0 0 5 3 20 0 15 0 6912226 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180166645216 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8184] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8184/stat : 8184 (java) S 8124 8127 3187 0 -1 1077944384 48 12696 0 0 0 0 5 3 20 0 15 0 6912227 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180165592576 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8185] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8185/stat : 8185 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912229 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180164541136 140180689205147 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8186] ppid=8124 vsize=14069564 CPUtime=6.05 cores=1,3,5,7
/proc/8127/task/8186/stat : 8186 (java) S 8124 8127 3187 0 -1 1077944384 18277 12696 0 0 594 3 5 3 20 0 15 0 6912229 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180163487728 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8187] ppid=8124 vsize=14069564 CPUtime=5.8 cores=1,3,5,7
/proc/8127/task/8187/stat : 8187 (java) S 8124 8127 3187 0 -1 1077944384 17137 12696 0 0 569 3 5 3 20 0 15 0 6912229 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180162435184 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8188] ppid=8124 vsize=14069564 CPUtime=2.53 cores=1,3,5,7
/proc/8127/task/8188/stat : 8188 (java) S 8124 8127 3187 0 -1 1077944384 19254 12696 0 0 241 4 5 3 20 0 15 0 6912229 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180161382640 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8189] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8189/stat : 8189 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912230 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180160330336 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8190] ppid=8124 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/8127/task/8190/stat : 8190 (java) S 8124 8127 3187 0 -1 1077944384 733 12696 0 0 3 4 5 3 20 0 15 0 6912233 14407233536 229807 18446744073709551615 4194304 4196468 140727909535184 140180159277872 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
Current children cumulated CPU time (s) 179
Current children cumulated vsize (KiB) 14069564

[startup+222.307 s]
/proc/loadavg: 1.32 1.47 1.61 3/214 8324
/proc/meminfo: memFree=30031996/32770624 swapFree=0/246388
[pid=8127] ppid=8124 vsize=14069564 CPUtime=240.57 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 3187 0 -1 1077944320 148910 12696 0 0 23929 120 5 3 20 0 15 0 6912200 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140727909517728 140180689186551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
/proc/8127/statm: 3517391 120004 3482 1 0 3506013 0
[pid=8127/tid=8177] ppid=8124 vsize=14069564 CPUtime=220.32 cores=1,3,5,7
/proc/8127/task/8177/stat : 8177 (java) R 8124 8127 3187 0 -1 4202560 55677 12696 0 0 22000 24 5 3 20 0 15 0 6912224 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180693420688 140180310037518 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8178] ppid=8124 vsize=14069564 CPUtime=1.3 cores=1,3,5,7
/proc/8127/task/8178/stat : 8178 (java) S 8124 8127 3187 0 -1 1077944384 1410 12696 0 0 104 18 5 3 20 0 15 0 6912225 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180623620368 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8179] ppid=8124 vsize=14069564 CPUtime=1.3 cores=1,3,5,7
/proc/8127/task/8179/stat : 8179 (java) S 8124 8127 3187 0 -1 1077944384 2001 12696 0 0 104 18 5 3 20 0 15 0 6912225 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180622567824 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8180] ppid=8124 vsize=14069564 CPUtime=1.31 cores=1,3,5,7
/proc/8127/task/8180/stat : 8180 (java) S 8124 8127 3187 0 -1 1077944384 5056 12696 0 0 106 17 5 3 20 0 15 0 6912225 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180621515280 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8181] ppid=8124 vsize=14069564 CPUtime=1.28 cores=1,3,5,7
/proc/8127/task/8181/stat : 8181 (java) S 8124 8127 3187 0 -1 1077944384 3809 12696 0 0 101 19 5 3 20 0 15 0 6912225 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180620462736 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8182] ppid=8124 vsize=14069564 CPUtime=0.47 cores=1,3,5,7
/proc/8127/task/8182/stat : 8182 (java) S 8124 8127 3187 0 -1 1077944384 16386 12696 0 0 34 5 5 3 20 0 15 0 6912226 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180167698928 140180689197698 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8183] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8183/stat : 8183 (java) S 8124 8127 3187 0 -1 1077944384 73 12696 0 0 0 0 5 3 20 0 15 0 6912226 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180166645216 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8184] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8184/stat : 8184 (java) S 8124 8127 3187 0 -1 1077944384 48 12696 0 0 0 0 5 3 20 0 15 0 6912227 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180165592576 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8185] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8185/stat : 8185 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912229 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180164541136 140180689205147 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8186] ppid=8124 vsize=14069564 CPUtime=6.33 cores=1,3,5,7
/proc/8127/task/8186/stat : 8186 (java) S 8124 8127 3187 0 -1 1077944384 20638 12696 0 0 622 3 5 3 20 0 15 0 6912229 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180163487728 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8187] ppid=8124 vsize=14069564 CPUtime=6.08 cores=1,3,5,7
/proc/8127/task/8187/stat : 8187 (java) S 8124 8127 3187 0 -1 1077944384 19155 12696 0 0 597 3 5 3 20 0 15 0 6912229 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180162435184 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8188] ppid=8124 vsize=14069564 CPUtime=2.59 cores=1,3,5,7
/proc/8127/task/8188/stat : 8188 (java) S 8124 8127 3187 0 -1 1077944384 21737 12696 0 0 246 5 5 3 20 0 15 0 6912229 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180161382640 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8189] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8189/stat : 8189 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912230 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180160330336 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8190] ppid=8124 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/8127/task/8190/stat : 8190 (java) S 8124 8127 3187 0 -1 1077944384 759 12696 0 0 5 6 5 3 20 0 15 0 6912233 14407233536 120004 18446744073709551615 4194304 4196468 140727909535184 140180159277872 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
Current children cumulated CPU time (s) 240.57
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.34 1.46 1.61 3/214 8338
/proc/meminfo: memFree=30115704/32770624 swapFree=0/246424
[pid=8127] ppid=8124 vsize=14069564 CPUtime=258.69 cores=1,3,5,7
/proc/8127/stat : 8127 (java) S 8124 8127 3187 0 -1 1077944320 155633 12696 0 0 25738 123 5 3 20 0 15 0 6912200 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140727909517728 140180689186551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
/proc/8127/statm: 3517391 110140 3482 1 0 3506013 0
[pid=8127/tid=8177] ppid=8124 vsize=14069564 CPUtime=237.87 cores=1,3,5,7
/proc/8127/task/8177/stat : 8177 (java) R 8124 8127 3187 0 -1 4202560 56313 12696 0 0 23755 24 5 3 20 0 15 0 6912224 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180693420464 140180304361083 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8178] ppid=8124 vsize=14069564 CPUtime=1.38 cores=1,3,5,7
/proc/8127/task/8178/stat : 8178 (java) S 8124 8127 3187 0 -1 1077944384 1532 12696 0 0 112 18 5 3 20 0 15 0 6912225 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180623620368 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8179] ppid=8124 vsize=14069564 CPUtime=1.39 cores=1,3,5,7
/proc/8127/task/8179/stat : 8179 (java) S 8124 8127 3187 0 -1 1077944384 2524 12696 0 0 112 19 5 3 20 0 15 0 6912225 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180622567824 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8180] ppid=8124 vsize=14069564 CPUtime=1.4 cores=1,3,5,7
/proc/8127/task/8180/stat : 8180 (java) S 8124 8127 3187 0 -1 1077944384 5136 12696 0 0 114 18 5 3 20 0 15 0 6912225 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180621515280 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8181] ppid=8124 vsize=14069564 CPUtime=1.36 cores=1,3,5,7
/proc/8127/task/8181/stat : 8181 (java) S 8124 8127 3187 0 -1 1077944384 3851 12696 0 0 109 19 5 3 20 0 15 0 6912225 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180620462736 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8182] ppid=8124 vsize=14069564 CPUtime=0.52 cores=1,3,5,7
/proc/8127/task/8182/stat : 8182 (java) S 8124 8127 3187 0 -1 1077944384 16694 12696 0 0 38 6 5 3 20 0 15 0 6912226 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180167698928 140180689197698 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8183] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8183/stat : 8183 (java) S 8124 8127 3187 0 -1 1077944384 73 12696 0 0 0 0 5 3 20 0 15 0 6912226 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180166645216 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8184] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8184/stat : 8184 (java) S 8124 8127 3187 0 -1 1077944384 48 12696 0 0 0 0 5 3 20 0 15 0 6912227 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180165592576 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8185] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8185/stat : 8185 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912229 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180164541136 140180689205147 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8186] ppid=8124 vsize=14069564 CPUtime=6.42 cores=1,3,5,7
/proc/8127/task/8186/stat : 8186 (java) S 8124 8127 3187 0 -1 1077944384 22705 12696 0 0 630 4 5 3 20 0 15 0 6912229 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180163487728 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8187] ppid=8124 vsize=14069564 CPUtime=6.17 cores=1,3,5,7
/proc/8127/task/8187/stat : 8187 (java) S 8124 8127 3187 0 -1 1077944384 20182 12696 0 0 605 4 5 3 20 0 15 0 6912229 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180162435184 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8188] ppid=8124 vsize=14069564 CPUtime=2.61 cores=1,3,5,7
/proc/8127/task/8188/stat : 8188 (java) S 8124 8127 3187 0 -1 1077944384 23637 12696 0 0 248 5 5 3 20 0 15 0 6912229 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180161382640 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8189] ppid=8124 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8127/task/8189/stat : 8189 (java) S 8124 8127 3187 0 -1 1077944384 3 12696 0 0 0 0 5 3 20 0 15 0 6912230 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180160330336 140180689196757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
[pid=8127/tid=8190] ppid=8124 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/8127/task/8190/stat : 8190 (java) S 8124 8127 3187 0 -1 1077944384 777 12696 0 0 5 6 5 3 20 0 15 0 6912233 14407233536 110140 18446744073709551615 4194304 4196468 140727909535184 140180159277872 140180689197698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140727909537742 140727909540527 140727909540527 140727909543887 0
Current children cumulated CPU time (s) 258.69
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 8127 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.032
CPU time (s): 258.742
CPU user time (s): 257.461
CPU system time (s): 1.28137
CPU usage (%): 107.795
Max. virtual memory (cumulated for all children) (KiB): 14071664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.461
system time used= 1.28137
maximum resident set size= 1342528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169839
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= 21318
involuntary context switches= 1128

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02424 second user time and 1.55821 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 06:46:15
IDJOB=4259842
IDBENCH=124397
IDSOLVER=2646
FILE ID=node135/4259842-1501650016
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-n48-k7.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259842-1501650016/watcher-4259842-1501650016 -o /tmp/evaluation-result-4259842-1501650016/solver-4259842-1501650016 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300  bin/concrete HOME/instance-4259842-1501650016.xml

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

MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f
RANDOM SEED=1425173514

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:        31023464 kB
MemAvailable:   31293308 kB
Buffers:          125248 kB
Cached:           421788 kB
SwapCached:            0 kB
Active:          1074876 kB
Inactive:         254800 kB
Active(anon):     783264 kB
Inactive(anon):     8592 kB
Active(file):     291612 kB
Inactive(file):   246208 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24468 kB
Writeback:             4 kB
AnonPages:        782648 kB
Mapped:            42332 kB
Shmem:              8960 kB
Slab:             122104 kB
SReclaimable:      95716 kB
SUnreclaim:        26388 kB
KernelStack:        3456 kB
PageTables:         6464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1632864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    540672 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 06:50:15