Trace number 4246280

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)772 2400.1 2309.16

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n45-k6.xml
MD5SUMccd62f28d001d5578c14e849049b60f5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark715
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables2070
Number of constraints2024
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}]
Minimum variable degree0
Maximum variable degree87
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}]
Minimum constraint arity1
Maximum constraint arity44
Distribution of constraint arities[{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}]
Number of extensional constraints0
Number of intensional constraints44
Distribution of constraint types[{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}]
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.57/2.21	c Concrete v3.4 running
18.83/5.90	o 1680
19.22/6.07	o 1658
20.40/6.37	o 1619
20.77/6.47	o 1618
21.10/6.57	o 1610
21.53/6.77	o 1609
21.63/6.87	o 1607
21.74/6.95	o 1590
21.86/7.04	o 1566
22.15/7.14	o 1565
22.47/7.24	o 1551
22.81/7.33	o 1549
23.09/7.54	o 1539
23.20/7.67	o 1530
23.42/7.88	o 1521
23.53/7.98	o 1519
23.93/8.22	o 1518
24.03/8.34	o 1514
24.13/8.45	o 1509
24.34/8.66	o 1505
24.46/8.77	o 1498
24.57/8.89	o 1496
24.94/9.11	o 1492
25.05/9.20	o 1455
25.15/9.31	o 1440
25.27/9.44	o 1434
25.47/9.67	o 1433
25.68/9.90	o 1427
26.16/10.14	o 1418
26.30/10.25	o 1386
26.40/10.36	o 1354
26.70/10.60	o 1348
26.80/10.75	o 1344
26.90/10.86	o 1329
27.32/11.28	o 1305
28.60/12.34	o 1279
28.70/12.45	o 1275
28.81/12.57	o 1258
28.91/12.69	o 1255
29.67/13.32	o 1250
30.67/14.06	o 1237
32.06/15.38	o 1191
32.75/15.93	o 1183
32.95/16.13	o 1135
33.05/16.23	o 1132
33.57/16.70	o 1129
33.57/16.79	o 1119
34.71/17.75	o 1112
34.81/17.84	o 1088
34.93/17.93	o 1082
35.23/18.23	o 1080
36.26/19.27	o 1073
36.37/19.38	o 1064
37.84/20.62	o 1030
38.92/21.64	o 1029
39.32/21.97	o 1027
39.43/22.07	o 1025
40.26/22.88	o 1024
41.08/23.64	o 1023
43.31/25.79	o 1009
45.98/28.27	o 1007
49.20/31.16	o 1006
58.24/39.65	o 980
60.46/41.75	o 978
62.28/43.57	o 977
62.61/43.80	o 975
62.93/44.01	o 918
64.77/45.87	o 917
66.64/47.57	o 916
67.04/47.91	o 901
67.45/48.38	o 893
74.03/54.66	o 886
80.66/61.08	o 878
80.76/61.18	o 871
80.97/61.38	o 866
81.55/61.83	o 864
82.06/62.39	o 863
83.58/63.81	o 862
84.80/65.02	o 838
85.20/65.50	o 833
89.40/69.46	o 831
94.19/74.04	o 826
99.70/79.21	o 819
143.73/122.07	o 818
169.11/146.75	o 811
175.16/152.54	o 810
179.03/156.30	o 808
224.65/200.09	o 806
233.27/208.10	o 805
296.15/268.22	o 787
300.22/272.08	o 783
410.62/376.65	o 777
507.15/467.59	o 776
546.54/504.61	o 772
2400.02/2309.10	java.util.concurrent.TimeoutException
2400.02/2309.10		at concrete.MAC.mac(MAC.scala:74)
2400.02/2309.10		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.02/2309.10		at scala.util.Try$.apply(Try.scala:209)
2400.02/2309.10		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.02/2309.10		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.02/2309.10		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.02/2309.10		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.02/2309.10		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.02/2309.10		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.02/2309.10		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.02/2309.10		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.02/2309.10		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.02/2309.10		at concrete.MAC.oneRun(MAC.scala:146)
2400.02/2309.11		at concrete.MAC.nextSolution(MAC.scala:166)
2400.02/2309.11		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.02/2309.11		at concrete.ProblemState.map(ProblemState.scala:203)
2400.02/2309.11		at concrete.ProblemState.map(ProblemState.scala:188)
2400.02/2309.11		at concrete.MAC.nextSolution(MAC.scala:195)
2400.02/2309.11		at concrete.Solver.hasNext(Solver.scala:202)
2400.02/2309.11		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.02/2309.11		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.02/2309.11		at concrete.Solver.toStream(Solver.scala:73)
2400.02/2309.11		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.02/2309.11		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.02/2309.11		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.02/2309.11		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.02/2309.11		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.02/2309.11		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.02/2309.11		at scala.util.Success.map(Try.scala:209)
2400.02/2309.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.02/2309.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.02/2309.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.02/2309.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.02/2309.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.02/2309.11		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.02/2309.11		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.02/2309.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.02/2309.11		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.02/2309.11		at scala.collection.immutable.List.foreach(List.scala:389)
2400.02/2309.11		at scala.App.main(App.scala:76)
2400.02/2309.11		at scala.App.main$(App.scala:74)
2400.02/2309.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.02/2309.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.02/2309.11	v <instantiation cost="772">
2400.02/2309.11	v       <list>
2400.02/2309.11	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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]
2400.02/2309.11	v       </list>
2400.02/2309.11	v       <values>
2400.02/2309.11	v         0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 21 49 47 100 85 37 98 84 68 100 95 21 14 33 57 42 36 23 56 100 38 94 32 11 68 49 90 68 35 63 62 27 64 19 22 100 42 100 100 89 81 85 29 72
2400.02/2309.11	v       </values>
2400.02/2309.11	v     </instantiation>
2400.02/2309.11	s SATISFIABLE

Verifier Data 

OK	772

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

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.08 2.36 2/248 23032
/proc/meminfo: memFree=31612112/32770624 swapFree=5700/355808
[pid=23032] ppid=23026 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23032/stat : 23032 (bash) S 23026 23032 22965 0 -1 4202496 654 0 0 0 0 0 0 0 20 0 1 0 6565652 9736192 350 33554432000 4194304 5098028 140720916286544 140720916284184 139827469368320 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 8826880 140720916288782 140720916288867 140720916288867 140720916291566 0
/proc/23032/statm: 2377 350 278 221 0 86 0

[startup+0.100137 s]
/proc/loadavg: 2.08 2.08 2.36 2/248 23032
/proc/meminfo: memFree=31612112/32770624 swapFree=5700/355808
[pid=23032] ppid=23026 vsize=9640 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23032/stat : 23032 (bash) S 23026 23032 22965 0 -1 4202496 878 6413 0 0 0 0 0 2 20 0 1 0 6565652 9871360 377 33554432000 4194304 5098028 140720916286544 140720916280552 139827469368320 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 0 0 0 7196144 7232144 8826880 140720916288782 140720916288867 140720916288867 140720916291566 0
/proc/23032/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640

[startup+0.200369 s]
/proc/loadavg: 2.08 2.08 2.36 2/248 23032
/proc/meminfo: memFree=31612112/32770624 swapFree=5700/355808
[pid=23032] ppid=23026 vsize=10435860 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/23032/stat : 23032 (java) S 23026 23032 22965 0 -1 1077944320 4899 12294 0 0 3 1 8 4 20 0 13 0 6565652 10686320640 4779 33554432000 4194304 4196468 140734828358752 140734828341296 140482445528823 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
/proc/23032/statm: 2608965 4779 2117 1 0 2597403 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10435860

[startup+0.300361 s]
/proc/loadavg: 2.08 2.08 2.36 2/248 23032
/proc/meminfo: memFree=31612112/32770624 swapFree=5700/355808
[pid=23032] ppid=23026 vsize=10902324 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/23032/stat : 23032 (java) S 23026 23032 22965 0 -1 1077944320 7820 12294 0 0 19 2 8 4 20 0 20 0 6565652 11163979776 8926 33554432000 4194304 4196468 140734828358752 140734828341296 140482445528823 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
/proc/23032/statm: 2725581 8992 2970 1 0 2713898 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10902324

[startup+0.700171 s]
/proc/loadavg: 2.08 2.08 2.36 2/248 23032
/proc/meminfo: memFree=31612112/32770624 swapFree=5700/355808
[pid=23032] ppid=23026 vsize=10902720 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/23032/stat : 23032 (java) S 23026 23032 22965 0 -1 1077944320 12368 12294 0 0 71 3 8 4 20 0 20 0 6565652 11164385280 15711 33554432000 4194304 4196468 140734828358752 140734828341296 140482445528823 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
/proc/23032/statm: 2725680 15711 3182 1 0 2713890 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10902720

[startup+1.50108 s]
/proc/loadavg: 2.08 2.08 2.36 7/284 23174
/proc/meminfo: memFree=31409488/32770624 swapFree=5700/357024
[pid=23032] ppid=23026 vsize=10913344 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/23032/stat : 23032 (java) S 23026 23032 22965 0 -1 1077944320 27391 12294 0 0 198 12 8 4 20 0 20 0 6565652 11175264256 44469 33554432000 4194304 4196468 140734828358752 140734828341296 140482445528823 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
/proc/23032/statm: 2728336 44469 3387 1 0 2716450 0
[pid=23032/tid=23137] ppid=23026 vsize=10913344 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23137/stat : 23137 (java) R 23026 23032 22965 0 -1 4202560 19818 12294 0 0 123 5 8 4 20 0 20 0 6565667 11175264256 44469 33554432000 4194304 4196468 140734828358752 140482449751744 140482445550749 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23139] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23139/stat : 23139 (java) S 23026 23032 22965 0 -1 1077944384 144 12294 0 0 0 0 8 4 20 0 20 0 6565668 11175264256 44469 33554432000 4194304 4196468 140734828358752 140482408635536 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23140] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23140/stat : 23140 (java) S 23026 23032 22965 0 -1 1077944384 35 12294 0 0 0 0 8 4 20 0 20 0 6565668 11175264256 44469 33554432000 4194304 4196468 140734828358752 140482051759120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23141] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23141/stat : 23141 (java) S 23026 23032 22965 0 -1 1077944384 16 12294 0 0 0 0 8 4 20 0 20 0 6565668 11175264256 44469 33554432000 4194304 4196468 140734828358752 140482050706320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23142] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23142/stat : 23142 (java) S 23026 23032 22965 0 -1 1077944384 14 12294 0 0 0 0 8 4 20 0 20 0 6565668 11175264256 44469 33554432000 4194304 4196468 140734828358752 140482049653520 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23143] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23143/stat : 23143 (java) S 23026 23032 22965 0 -1 1077944384 24 12294 0 0 0 0 8 4 20 0 20 0 6565668 11175264256 44469 33554432000 4194304 4196468 140734828358752 140482048600720 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23145] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23145/stat : 23145 (java) S 23026 23032 22965 0 -1 1077944384 12 12294 0 0 0 0 8 4 20 0 20 0 6565668 11175264256 44469 33554432000 4194304 4196468 140734828358752 140482047547920 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23146] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23146/stat : 23146 (java) S 23026 23032 22965 0 -1 1077944384 25 12294 0 0 0 0 8 4 20 0 20 0 6565668 11175264256 44469 33554432000 4194304 4196468 140734828358752 140482046495120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23147] ppid=23026 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23147/stat : 23147 (java) S 23026 23032 22965 0 -1 1077944384 55 12294 0 0 1 0 8 4 20 0 20 0 6565668 11175264256 44469 33554432000 4194304 4196468 140734828358752 140482045442320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23155] ppid=23026 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23155/stat : 23155 (java) S 23026 23032 22965 0 -1 1077944384 1603 12294 0 0 1 0 8 4 20 0 20 0 6565670 11175264256 44469 33554432000 4194304 4196468 140734828358752 140481651706736 140482445539970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23157] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23157/stat : 23157 (java) S 23026 23032 22965 0 -1 1077944384 55 12294 0 0 0 0 8 4 20 0 20 0 6565671 11175264256 44469 33554432000 4194304 4196468 140734828358752 140481650652768 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23158] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23158/stat : 23158 (java) R 23026 23032 22965 0 -1 4202560 44 12294 0 0 0 0 8 4 20 0 20 0 6565671 11175264256 44469 33554432000 4194304 4196468 140734828358752 140481649599856 140482425721773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23161] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23161/stat : 23161 (java) S 23026 23032 22965 0 -1 1077944384 1 12294 0 0 0 0 8 4 20 0 20 0 6565675 11175264256 44469 33554432000 4194304 4196468 140734828358752 140481648548176 140482445547419 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23162] ppid=23026 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23162/stat : 23162 (java) S 23026 23032 22965 0 -1 1077944384 826 12294 0 0 12 0 8 4 20 0 20 0 6565675 11175264256 44469 33554432000 4194304 4196468 140734828358752 140481647495536 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23163] ppid=23026 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23163/stat : 23163 (java) S 23026 23032 22965 0 -1 1077944384 417 12294 0 0 12 0 8 4 20 0 20 0 6565675 11175264256 44469 33554432000 4194304 4196468 140734828358752 140481646442736 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23164] ppid=23026 vsize=10913344 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23164/stat : 23164 (java) S 23026 23032 22965 0 -1 1077944384 1317 12294 0 0 16 0 8 4 20 0 20 0 6565675 11175264256 44469 33554432000 4194304 4196468 140734828358752 140481645389936 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23165] ppid=23026 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23165/stat : 23165 (java) R 23026 23032 22965 0 -1 4202560 852 12294 0 0 25 0 8 4 20 0 20 0 6565675 11175264256 44469 33554432000 4194304 4196468 140734828358752 140481644337264 140482437566404 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23166] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23166/stat : 23166 (java) S 23026 23032 22965 0 -1 1077944384 3 12294 0 0 0 0 8 4 20 0 20 0 6565675 11175264256 44469 33554432000 4194304 4196468 140734828358752 140481643285600 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23167] ppid=23026 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23167/stat : 23167 (java) S 23026 23032 22965 0 -1 1077944384 3 12294 0 0 0 0 8 4 20 0 20 0 6565675 11175264256 44469 33554432000 4194304 4196468 140734828358752 140481642232880 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 10913344

[startup+3.10108 s]
/proc/loadavg: 2.07 2.08 2.36 8/284 23174
/proc/meminfo: memFree=31235212/32770624 swapFree=5700/357544
[pid=23032] ppid=23026 vsize=10923772 CPUtime=7.22 cores=0,2,4,6,8,10,12,14
/proc/23032/stat : 23032 (java) S 23026 23032 22965 0 -1 1077944320 42844 12294 1 0 691 19 8 4 20 0 20 0 6565652 11185942528 58195 33554432000 4194304 4196468 140734828358752 140734828341296 140482445528823 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
/proc/23032/statm: 2730943 58195 3478 1 0 2718498 0
[pid=23032/tid=23137] ppid=23026 vsize=10923772 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23137/stat : 23137 (java) R 23026 23032 22965 0 -1 4202560 25284 12294 1 0 278 7 8 4 20 0 20 0 6565667 11185942528 58195 33554432000 4194304 4196468 140734828358752 140482449756536 140482092528891 0 4 0 16800975 0 0 0 -1 12 0 0 1 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23139] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23139/stat : 23139 (java) S 23026 23032 22965 0 -1 1077944384 144 12294 0 0 0 0 8 4 20 0 20 0 6565668 11185942528 58195 33554432000 4194304 4196468 140734828358752 140482408635536 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23140] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23140/stat : 23140 (java) S 23026 23032 22965 0 -1 1077944384 35 12294 0 0 0 0 8 4 20 0 20 0 6565668 11185942528 58195 33554432000 4194304 4196468 140734828358752 140482051759120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23141] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23141/stat : 23141 (java) S 23026 23032 22965 0 -1 1077944384 16 12294 0 0 0 0 8 4 20 0 20 0 6565668 11185942528 58195 33554432000 4194304 4196468 140734828358752 140482050706320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23142] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23142/stat : 23142 (java) S 23026 23032 22965 0 -1 1077944384 14 12294 0 0 0 0 8 4 20 0 20 0 6565668 11185942528 58195 33554432000 4194304 4196468 140734828358752 140482049653520 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23143] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23143/stat : 23143 (java) S 23026 23032 22965 0 -1 1077944384 24 12294 0 0 0 0 8 4 20 0 20 0 6565668 11185942528 58195 33554432000 4194304 4196468 140734828358752 140482048600720 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23145] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23145/stat : 23145 (java) S 23026 23032 22965 0 -1 1077944384 12 12294 0 0 0 0 8 4 20 0 20 0 6565668 11185942528 58195 33554432000 4194304 4196468 140734828358752 140482047547920 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23146] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23146/stat : 23146 (java) S 23026 23032 22965 0 -1 1077944384 25 12294 0 0 0 0 8 4 20 0 20 0 6565668 11185942528 58195 33554432000 4194304 4196468 140734828358752 140482046495120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23147] ppid=23026 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23147/stat : 23147 (java) S 23026 23032 22965 0 -1 1077944384 55 12294 0 0 1 0 8 4 20 0 20 0 6565668 11185942528 58195 33554432000 4194304 4196468 140734828358752 140482045442320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23155] ppid=23026 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23155/stat : 23155 (java) S 23026 23032 22965 0 -1 1077944384 1959 12294 0 0 1 0 8 4 20 0 20 0 6565670 11185942528 58195 33554432000 4194304 4196468 140734828358752 140481651706736 140482445539970 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23157] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23157/stat : 23157 (java) S 23026 23032 22965 0 -1 1077944384 55 12294 0 0 0 0 8 4 20 0 20 0 6565671 11185942528 58195 33554432000 4194304 4196468 140734828358752 140481650652768 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23158] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23158/stat : 23158 (java) S 23026 23032 22965 0 -1 1077944384 44 12294 0 0 0 0 8 4 20 0 20 0 6565671 11185942528 58195 33554432000 4194304 4196468 140734828358752 140481649599856 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23161] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23161/stat : 23161 (java) S 23026 23032 22965 0 -1 1077944384 1 12294 0 0 0 0 8 4 20 0 20 0 6565675 11185942528 58195 33554432000 4194304 4196468 140734828358752 140481648548176 140482445547419 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23162] ppid=23026 vsize=10923772 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23162/stat : 23162 (java) R 23026 23032 22965 0 -1 4202560 4659 12294 0 0 103 1 8 4 20 0 20 0 6565675 11185942528 58195 33554432000 4194304 4196468 140734828358752 140481647495536 140482425184032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23163] ppid=23026 vsize=10923772 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23163/stat : 23163 (java) R 23026 23032 22965 0 -1 4202560 1491 12294 0 0 89 1 8 4 20 0 20 0 6565675 11185942528 58195 33554432000 4194304 4196468 140734828358752 140481646424816 140482429042848 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23164] ppid=23026 vsize=10923772 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23164/stat : 23164 (java) R 23026 23032 22965 0 -1 4202560 2724 12294 0 0 90 1 8 4 20 0 20 0 6565675 11185942528 58195 33554432000 4194304 4196468 140734828358752 140481645376480 140482430638389 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23165] ppid=23026 vsize=10923772 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23165/stat : 23165 (java) R 23026 23032 22965 0 -1 4202560 4165 12294 0 0 119 1 8 4 20 0 20 0 6565675 11185942528 58195 33554432000 4194304 4196468 140734828358752 140481644337136 140482423692593 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23166] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23166/stat : 23166 (java) S 23026 23032 22965 0 -1 1077944384 3 12294 0 0 0 0 8 4 20 0 20 0 6565675 11185942528 58195 33554432000 4194304 4196468 140734828358752 140481643285600 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23167] ppid=23026 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23167/stat : 23167 (java) S 23026 23032 22965 0 -1 1077944384 7 12294 0 0 0 0 8 4 20 0 20 0 6565675 11185942528 58195 33554432000 4194304 4196468 140734828358752 140481642232880 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 10923772

[startup+6.30076 s]
/proc/loadavg: 2.07 2.08 2.36 16/284 23174
/proc/meminfo: memFree=30896172/32770624 swapFree=5700/358024
[pid=23032] ppid=23026 vsize=10997500 CPUtime=20.4 cores=0,2,4,6,8,10,12,14
/proc/23032/stat : 23032 (java) S 23026 23032 22965 0 -1 1077944320 86575 12294 1 0 1995 33 8 4 20 0 20 0 6565652 11261440000 98871 33554432000 4194304 4196468 140734828358752 140734828341296 140482445528823 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
/proc/23032/statm: 2749375 98871 3513 1 0 2736930 0
[pid=23032/tid=23137] ppid=23026 vsize=10997500 CPUtime=5.67 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23137/stat : 23137 (java) R 23026 23032 22965 0 -1 4202560 41896 12294 1 0 545 10 8 4 20 0 20 0 6565667 11261440000 98871 33554432000 4194304 4196468 140734828358752 140482449758904 140482091431328 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23139] ppid=23026 vsize=10997500 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23139/stat : 23139 (java) S 23026 23032 22965 0 -1 1077944384 183 12294 0 0 27 0 8 4 20 0 20 0 6565668 11261440000 98871 33554432000 4194304 4196468 140734828358752 140482408635536 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23140] ppid=23026 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23140/stat : 23140 (java) S 23026 23032 22965 0 -1 1077944384 84 12294 0 0 31 1 8 4 20 0 20 0 6565668 11261440000 98871 33554432000 4194304 4196468 140734828358752 140482051759120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23141] ppid=23026 vsize=10997500 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23141/stat : 23141 (java) S 23026 23032 22965 0 -1 1077944384 69 12294 0 0 23 1 8 4 20 0 20 0 6565668 11261440000 98871 33554432000 4194304 4196468 140734828358752 140482050706320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23142] ppid=23026 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23142/stat : 23142 (java) S 23026 23032 22965 0 -1 1077944384 83 12294 0 0 31 1 8 4 20 0 20 0 6565668 11261440000 98871 33554432000 4194304 4196468 140734828358752 140482049653520 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23143] ppid=23026 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23143/stat : 23143 (java) S 23026 23032 22965 0 -1 1077944384 106 12294 0 0 31 1 8 4 20 0 20 0 6565668 11261440000 98871 33554432000 4194304 4196468 140734828358752 140482048600720 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23145] ppid=23026 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23145/stat : 23145 (java) S 23026 23032 22965 0 -1 1077944384 74 12294 0 0 31 1 8 4 20 0 20 0 6565668 11261440000 98871 33554432000 4194304 4196468 140734828358752 140482047547920 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23146] ppid=23026 vsize=10997500 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23146/stat : 23146 (java) S 23026 23032 22965 0 -1 1077944384 69 12294 0 0 32 1 8 4 20 0 20 0 6565668 11261440000 98871 33554432000 4194304 4196468 140734828358752 140482046495120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23147] ppid=23026 vsize=10997500 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23147/stat : 23147 (java) S 23026 23032 22965 0 -1 1077944384 349 12294 0 0 24 1 8 4 20 0 20 0 6565668 11261440000 98871 33554432000 4194304 4196468 140734828358752 140482045442320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23155] ppid=23026 vsize=10997500 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23155/stat : 23155 (java) S 23026 23032 22965 0 -1 1077944384 6389 12294 0 0 15 1 8 4 20 0 20 0 6565670 11261440000 98871 33554432000 4194304 4196468 140734828358752 140481651706736 140482445539970 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23157] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23157/stat : 23157 (java) S 23026 23032 22965 0 -1 1077944384 59 12294 0 0 0 0 8 4 20 0 20 0 6565671 11261440000 98871 33554432000 4194304 4196468 140734828358752 140481650652768 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23158] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23158/stat : 23158 (java) S 23026 23032 22965 0 -1 1077944384 48 12294 0 0 0 0 8 4 20 0 20 0 6565671 11261440000 98871 33554432000 4194304 4196468 140734828358752 140481649599872 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23161] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23161/stat : 23161 (java) S 23026 23032 22965 0 -1 1077944384 1 12294 0 0 0 0 8 4 20 0 20 0 6565675 11261440000 98871 33554432000 4194304 4196468 140734828358752 140481648548176 140482445547419 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23162] ppid=23026 vsize=10997500 CPUtime=3.33 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23162/stat : 23162 (java) R 23026 23032 22965 0 -1 4202560 8659 12294 0 0 320 1 8 4 20 0 20 0 6565675 11261440000 98871 33554432000 4194304 4196468 140734828358752 140481647488728 140482431562320 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23163] ppid=23026 vsize=10997500 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23163/stat : 23163 (java) R 23026 23032 22965 0 -1 4202560 9914 12294 0 0 351 3 8 4 20 0 20 0 6565675 11261440000 98871 33554432000 4194304 4196468 140734828358752 140481646423120 140482429025611 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23164] ppid=23026 vsize=10997500 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23164/stat : 23164 (java) R 23026 23032 22965 0 -1 4202560 6352 12294 0 0 285 1 8 4 20 0 20 0 6565675 11261440000 98871 33554432000 4194304 4196468 140734828358752 140481645372656 140482424761798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23165] ppid=23026 vsize=10997500 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23165/stat : 23165 (java) S 23026 23032 22965 0 -1 1077944384 10094 12294 0 0 241 3 8 4 20 0 20 0 6565675 11261440000 98871 33554432000 4194304 4196468 140734828358752 140481644337136 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23166] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14

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

[pid=23032/tid=23163] ppid=23026 vsize=10997500 CPUtime=7.57 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23163/stat : 23163 (java) S 23026 23032 22965 0 -1 1077944384 25569 12294 0 0 739 6 8 4 20 0 20 0 6565675 11261440000 717923 33554432000 4194304 4196468 140734828358752 140481646442736 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23164] ppid=23026 vsize=10997500 CPUtime=7.09 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23164/stat : 23164 (java) S 23026 23032 22965 0 -1 1077944384 28622 12294 0 0 691 6 8 4 20 0 20 0 6565675 11261440000 717923 33554432000 4194304 4196468 140734828358752 140481645389936 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23165] ppid=23026 vsize=10997500 CPUtime=4.53 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23165/stat : 23165 (java) S 23026 23032 22965 0 -1 1077944384 42977 12294 0 0 433 8 8 4 20 0 20 0 6565675 11261440000 717923 33554432000 4194304 4196468 140734828358752 140481644337136 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23166] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23166/stat : 23166 (java) S 23026 23032 22965 0 -1 1077944384 3 12294 0 0 0 0 8 4 20 0 20 0 6565675 11261440000 717923 33554432000 4194304 4196468 140734828358752 140481643285600 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23167] ppid=23026 vsize=10997500 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23167/stat : 23167 (java) S 23026 23032 22965 0 -1 1077944384 833 12294 0 0 65 55 8 4 20 0 20 0 6565675 11261440000 717923 33554432000 4194304 4196468 140734828358752 140481642232880 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
Current children cumulated CPU time (s) 2292.93
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 1.83 1.87 1.86 4/282 23269
/proc/meminfo: memFree=25387320/32770624 swapFree=5700/360284
[pid=23032] ppid=23026 vsize=10997500 CPUtime=2353.08 cores=0,2,4,6,8,10,12,14
/proc/23032/stat : 23032 (java) S 23026 23032 22965 0 -1 1077944320 721363 12294 1 0 234017 1279 8 4 20 0 20 0 6565652 11261440000 744566 33554432000 4194304 4196468 140734828358752 140734828341296 140482445528823 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
/proc/23032/statm: 2749375 744566 3527 1 0 2736930 0
[pid=23032/tid=23137] ppid=23026 vsize=10997500 CPUtime=2246.97 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23137/stat : 23137 (java) R 23026 23032 22965 0 -1 4202560 508782 12294 1 0 224590 95 8 4 20 0 20 0 6565667 11261440000 744566 33554432000 4194304 4196468 140734828358752 140482449762736 140482445542705 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23139] ppid=23026 vsize=10997500 CPUtime=9.6 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23139/stat : 23139 (java) S 23026 23032 22965 0 -1 1077944384 8091 12294 0 0 813 135 8 4 20 0 20 0 6565668 11261440000 744566 33554432000 4194304 4196468 140734828358752 140482408635536 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23140] ppid=23026 vsize=10997500 CPUtime=9.54 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23140/stat : 23140 (java) S 23026 23032 22965 0 -1 1077944384 7762 12294 0 0 800 142 8 4 20 0 20 0 6565668 11261440000 744566 33554432000 4194304 4196468 140734828358752 140482051759120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23141] ppid=23026 vsize=10997500 CPUtime=9.57 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23141/stat : 23141 (java) S 23026 23032 22965 0 -1 1077944384 7286 12294 0 0 806 139 8 4 20 0 20 0 6565668 11261440000 744566 33554432000 4194304 4196468 140734828358752 140482050706320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23142] ppid=23026 vsize=10997500 CPUtime=9.64 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23142/stat : 23142 (java) S 23026 23032 22965 0 -1 1077944384 9742 12294 0 0 814 138 8 4 20 0 20 0 6565668 11261440000 744566 33554432000 4194304 4196468 140734828358752 140482049653520 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23143] ppid=23026 vsize=10997500 CPUtime=9.56 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23143/stat : 23143 (java) S 23026 23032 22965 0 -1 1077944384 5266 12294 0 0 803 141 8 4 20 0 20 0 6565668 11261440000 744566 33554432000 4194304 4196468 140734828358752 140482048600720 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23145] ppid=23026 vsize=10997500 CPUtime=9.56 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23145/stat : 23145 (java) S 23026 23032 22965 0 -1 1077944384 8521 12294 0 0 806 138 8 4 20 0 20 0 6565668 11261440000 744566 33554432000 4194304 4196468 140734828358752 140482047547920 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23146] ppid=23026 vsize=10997500 CPUtime=9.65 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23146/stat : 23146 (java) S 23026 23032 22965 0 -1 1077944384 7373 12294 0 0 806 147 8 4 20 0 20 0 6565668 11261440000 744566 33554432000 4194304 4196468 140734828358752 140482046495120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23147] ppid=23026 vsize=10997500 CPUtime=9.46 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23147/stat : 23147 (java) S 23026 23032 22965 0 -1 1077944384 10212 12294 0 0 795 139 8 4 20 0 20 0 6565668 11261440000 744566 33554432000 4194304 4196468 140734828358752 140482045442320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23155] ppid=23026 vsize=10997500 CPUtime=3.24 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23155/stat : 23155 (java) S 23026 23032 22965 0 -1 1077944384 23038 12294 0 0 276 36 8 4 20 0 20 0 6565670 11261440000 744566 33554432000 4194304 4196468 140734828358752 140481651706736 140482445539970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23157] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23157/stat : 23157 (java) S 23026 23032 22965 0 -1 1077944384 105 12294 0 0 0 0 8 4 20 0 20 0 6565671 11261440000 744566 33554432000 4194304 4196468 140734828358752 140481650652768 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23158] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23158/stat : 23158 (java) S 23026 23032 22965 0 -1 1077944384 49 12294 0 0 0 0 8 4 20 0 20 0 6565671 11261440000 744566 33554432000 4194304 4196468 140734828358752 140481649599872 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23161] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23161/stat : 23161 (java) S 23026 23032 22965 0 -1 1077944384 1 12294 0 0 0 0 8 4 20 0 20 0 6565675 11261440000 744566 33554432000 4194304 4196468 140734828358752 140481648548176 140482445547419 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23162] ppid=23026 vsize=10997500 CPUtime=7.25 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23162/stat : 23162 (java) S 23026 23032 22965 0 -1 1077944384 24978 12294 0 0 708 5 8 4 20 0 20 0 6565675 11261440000 744566 33554432000 4194304 4196468 140734828358752 140481647495536 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23163] ppid=23026 vsize=10997500 CPUtime=7.57 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23163/stat : 23163 (java) S 23026 23032 22965 0 -1 1077944384 25571 12294 0 0 739 6 8 4 20 0 20 0 6565675 11261440000 744566 33554432000 4194304 4196468 140734828358752 140481646442736 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23164] ppid=23026 vsize=10997500 CPUtime=7.09 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23164/stat : 23164 (java) S 23026 23032 22965 0 -1 1077944384 28625 12294 0 0 691 6 8 4 20 0 20 0 6565675 11261440000 744566 33554432000 4194304 4196468 140734828358752 140481645389936 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23165] ppid=23026 vsize=10997500 CPUtime=4.53 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23165/stat : 23165 (java) S 23026 23032 22965 0 -1 1077944384 42979 12294 0 0 433 8 8 4 20 0 20 0 6565675 11261440000 744566 33554432000 4194304 4196468 140734828358752 140481644337136 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23166] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23166/stat : 23166 (java) S 23026 23032 22965 0 -1 1077944384 3 12294 0 0 0 0 8 4 20 0 20 0 6565675 11261440000 744566 33554432000 4194304 4196468 140734828358752 140481643285600 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23167] ppid=23026 vsize=10997500 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23167/stat : 23167 (java) S 23026 23032 22965 0 -1 1077944384 851 12294 0 0 67 57 8 4 20 0 20 0 6565675 11261440000 744566 33554432000 4194304 4196468 140734828358752 140481642232880 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
Current children cumulated CPU time (s) 2353.08
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2309.1 s]
/proc/loadavg: 2.00 1.90 1.87 4/282 23410
/proc/meminfo: memFree=28541012/32770624 swapFree=5700/360320
[pid=23032] ppid=23026 vsize=10997500 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/23032/stat : 23032 (java) S 23026 23032 22965 0 -1 1077944320 745161 12294 1 0 238702 1288 8 4 20 0 20 0 6565652 11261440000 757911 33554432000 4194304 4196468 140734828358752 140734828341296 140482445528823 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
/proc/23032/statm: 2749375 757911 3527 1 0 2736930 0
[pid=23032/tid=23137] ppid=23026 vsize=10997500 CPUtime=2293.71 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23137/stat : 23137 (java) R 23026 23032 22965 0 -1 4202560 531924 12294 1 0 229263 96 8 4 20 0 20 0 6565667 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482449762736 140482089183568 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23139] ppid=23026 vsize=10997500 CPUtime=9.63 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23139/stat : 23139 (java) S 23026 23032 22965 0 -1 1077944384 8103 12294 0 0 815 136 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482408635536 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23140] ppid=23026 vsize=10997500 CPUtime=9.57 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23140/stat : 23140 (java) S 23026 23032 22965 0 -1 1077944384 7776 12294 0 0 802 143 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482051759120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23141] ppid=23026 vsize=10997500 CPUtime=9.59 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23141/stat : 23141 (java) S 23026 23032 22965 0 -1 1077944384 7309 12294 0 0 807 140 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482050706320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23142] ppid=23026 vsize=10997500 CPUtime=9.66 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23142/stat : 23142 (java) S 23026 23032 22965 0 -1 1077944384 9757 12294 0 0 815 139 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482049653520 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23143] ppid=23026 vsize=10997500 CPUtime=9.58 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23143/stat : 23143 (java) S 23026 23032 22965 0 -1 1077944384 5334 12294 0 0 804 142 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482048600720 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23145] ppid=23026 vsize=10997500 CPUtime=9.58 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23145/stat : 23145 (java) S 23026 23032 22965 0 -1 1077944384 8747 12294 0 0 807 139 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482047547920 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23146] ppid=23026 vsize=10997500 CPUtime=9.67 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23146/stat : 23146 (java) S 23026 23032 22965 0 -1 1077944384 7381 12294 0 0 807 148 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482046495120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23147] ppid=23026 vsize=10997500 CPUtime=9.47 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23147/stat : 23147 (java) S 23026 23032 22965 0 -1 1077944384 10279 12294 0 0 796 139 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482045442320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23155] ppid=23026 vsize=10997500 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23155/stat : 23155 (java) S 23026 23032 22965 0 -1 1077944384 23234 12294 0 0 277 36 8 4 20 0 20 0 6565670 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481651706736 140482445539970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23157] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23157/stat : 23157 (java) S 23026 23032 22965 0 -1 1077944384 105 12294 0 0 0 0 8 4 20 0 20 0 6565671 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481650652768 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23158] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23158/stat : 23158 (java) S 23026 23032 22965 0 -1 1077944384 49 12294 0 0 0 0 8 4 20 0 20 0 6565671 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481649599872 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23161] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23161/stat : 23161 (java) S 23026 23032 22965 0 -1 1077944384 1 12294 0 0 0 0 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481648548176 140482445547419 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23162] ppid=23026 vsize=10997500 CPUtime=7.25 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23162/stat : 23162 (java) S 23026 23032 22965 0 -1 1077944384 24981 12294 0 0 708 5 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481647495536 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23163] ppid=23026 vsize=10997500 CPUtime=7.57 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23163/stat : 23163 (java) S 23026 23032 22965 0 -1 1077944384 25573 12294 0 0 739 6 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481646442736 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23164] ppid=23026 vsize=10997500 CPUtime=7.09 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23164/stat : 23164 (java) S 23026 23032 22965 0 -1 1077944384 28627 12294 0 0 691 6 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481645389936 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23165] ppid=23026 vsize=10997500 CPUtime=4.53 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23165/stat : 23165 (java) S 23026 23032 22965 0 -1 1077944384 42981 12294 0 0 433 8 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481644337136 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23166] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23166/stat : 23166 (java) S 23026 23032 22965 0 -1 1077944384 3 12294 0 0 0 0 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481643285600 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23167] ppid=23026 vsize=10997500 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23167/stat : 23167 (java) S 23026 23032 22965 0 -1 1077944384 869 12294 0 0 68 58 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481642232880 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500

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

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

[startup+2309.1 s]
/proc/loadavg: 2.00 1.90 1.87 4/282 23410
/proc/meminfo: memFree=28541012/32770624 swapFree=5700/360320
[pid=23032] ppid=23026 vsize=10997500 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/23032/stat : 23032 (java) S 23026 23032 22965 0 -1 1077944320 745161 12294 1 0 238702 1288 8 4 20 0 20 0 6565652 11261440000 757911 33554432000 4194304 4196468 140734828358752 140734828341296 140482445528823 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
/proc/23032/statm: 2749375 757911 3527 1 0 2736930 0
[pid=23032/tid=23137] ppid=23026 vsize=10997500 CPUtime=2293.71 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23137/stat : 23137 (java) R 23026 23032 22965 0 -1 4202560 531924 12294 1 0 229263 96 8 4 20 0 20 0 6565667 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482449762736 140482089183568 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23139] ppid=23026 vsize=10997500 CPUtime=9.63 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23139/stat : 23139 (java) S 23026 23032 22965 0 -1 1077944384 8103 12294 0 0 815 136 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482408635536 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23140] ppid=23026 vsize=10997500 CPUtime=9.57 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23140/stat : 23140 (java) S 23026 23032 22965 0 -1 1077944384 7776 12294 0 0 802 143 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482051759120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23141] ppid=23026 vsize=10997500 CPUtime=9.59 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23141/stat : 23141 (java) S 23026 23032 22965 0 -1 1077944384 7309 12294 0 0 807 140 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482050706320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23142] ppid=23026 vsize=10997500 CPUtime=9.66 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23142/stat : 23142 (java) S 23026 23032 22965 0 -1 1077944384 9757 12294 0 0 815 139 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482049653520 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23143] ppid=23026 vsize=10997500 CPUtime=9.58 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23143/stat : 23143 (java) S 23026 23032 22965 0 -1 1077944384 5334 12294 0 0 804 142 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482048600720 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23145] ppid=23026 vsize=10997500 CPUtime=9.58 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23145/stat : 23145 (java) S 23026 23032 22965 0 -1 1077944384 8747 12294 0 0 807 139 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482047547920 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23146] ppid=23026 vsize=10997500 CPUtime=9.67 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23146/stat : 23146 (java) S 23026 23032 22965 0 -1 1077944384 7381 12294 0 0 807 148 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482046495120 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23147] ppid=23026 vsize=10997500 CPUtime=9.47 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23147/stat : 23147 (java) S 23026 23032 22965 0 -1 1077944384 10279 12294 0 0 796 139 8 4 20 0 20 0 6565668 11261440000 757911 33554432000 4194304 4196468 140734828358752 140482045442320 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23155] ppid=23026 vsize=10997500 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23155/stat : 23155 (java) S 23026 23032 22965 0 -1 1077944384 23234 12294 0 0 277 36 8 4 20 0 20 0 6565670 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481651706736 140482445539970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23157] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23157/stat : 23157 (java) S 23026 23032 22965 0 -1 1077944384 105 12294 0 0 0 0 8 4 20 0 20 0 6565671 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481650652768 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23158] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23158/stat : 23158 (java) S 23026 23032 22965 0 -1 1077944384 49 12294 0 0 0 0 8 4 20 0 20 0 6565671 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481649599872 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23161] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23161/stat : 23161 (java) S 23026 23032 22965 0 -1 1077944384 1 12294 0 0 0 0 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481648548176 140482445547419 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23162] ppid=23026 vsize=10997500 CPUtime=7.25 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23162/stat : 23162 (java) S 23026 23032 22965 0 -1 1077944384 24981 12294 0 0 708 5 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481647495536 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23163] ppid=23026 vsize=10997500 CPUtime=7.57 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23163/stat : 23163 (java) S 23026 23032 22965 0 -1 1077944384 25573 12294 0 0 739 6 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481646442736 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23164] ppid=23026 vsize=10997500 CPUtime=7.09 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23164/stat : 23164 (java) S 23026 23032 22965 0 -1 1077944384 28627 12294 0 0 691 6 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481645389936 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23165] ppid=23026 vsize=10997500 CPUtime=4.53 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23165/stat : 23165 (java) S 23026 23032 22965 0 -1 1077944384 42981 12294 0 0 433 8 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481644337136 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23166] ppid=23026 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23166/stat : 23166 (java) S 23026 23032 22965 0 -1 1077944384 3 12294 0 0 0 0 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481643285600 140482445539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
[pid=23032/tid=23167] ppid=23026 vsize=10997500 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/23032/task/23167/stat : 23167 (java) S 23026 23032 22965 0 -1 1077944384 869 12294 0 0 68 58 8 4 20 0 20 0 6565675 11261440000 757911 33554432000 4194304 4196468 140734828358752 140481642232880 140482445539970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7614464 140734828366529 140734828369303 140734828369303 140734828371919 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500

Child status: 143
Real time (s): 2309.16
CPU time (s): 2400.1
CPU user time (s): 2387.13
CPU system time (s): 12.9661
CPU usage (%): 103.938
Max. virtual memory (cumulated for all children) (KiB): 11000212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.13
system time used= 12.9661
maximum resident set size= 3032360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 758869
page faults= 1
swaps= 0
block input operations= 2840
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161765
involuntary context switches= 149070

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.592 second user time and 18.9236 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 10:43:01
IDJOB=4246280
IDBENCH=124392
IDSOLVER=2630
FILE ID=node130/4246280-1500712981
RUNJOBID= node130-1500712981-22996
PBS_JOBID= 20623351
Free space on /tmp= 61880 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k6.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246280-1500712981/watcher-4246280-1500712981 -o /tmp/evaluation-result-4246280-1500712981/solver-4246280-1500712981 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22996 --watchdog 2560  bin/concrete HOME/instance-4246280-1500712981.xml

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

MD5SUM BENCH= ccd62f28d001d5578c14e849049b60f5
RANDOM SEED=1614531442

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31613320 kB
MemAvailable:   32001164 kB
Buffers:          135684 kB
Cached:           533168 kB
SwapCached:            0 kB
Active:           354664 kB
Inactive:         364652 kB
Active(anon):      53984 kB
Inactive(anon):     8844 kB
Active(file):     300680 kB
Inactive(file):   355808 kB
Unevictable:        5700 kB
Mlocked:            5700 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48080 kB
Writeback:             0 kB
AnonPages:         56880 kB
Mapped:            29984 kB
Shmem:              8844 kB
Slab:             127944 kB
SReclaimable:      94384 kB
SUnreclaim:        33560 kB
KernelStack:        4128 kB
PageTables:         5316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     310672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61832 MiB
End job on node130 at 2017-07-22 11:21:31